arXiv research

Study on hard Legendrian unknots using normal rulings.

Three hard diagrams of the unknot require extra crossings to simplify.

RL pipeline simplifies knot diagrams, including very hard unknots.

We describe a method for generating minimal hard prime surface-link diagrams. We extend the known examples of minimal hard prime classical unknot and unlink diagrams up to three components and generate figures of all minimal hard prime surface-unknot and surface-unlink diagrams with prime base surface components up to …

Agent finds unknotting sequences for complex knots.

This paper gives infinitely many examples of unknot diagrams that are hard, in the sense that the diagrams need to be made more complicated by Reidemeister moves before they can be simplified. In order to construct these diagrams, we prove theorems characterizing when the numerator of the sum of two rational tangles is…

Study categorizes knots and links as rigid or shaky based on Reidemeister moves.

We prove that deciding if a diagram of the unknot can be untangled using at most $k$ Riedemeister moves (where $k$ is part of the input) is NP-hard. We also prove that several natural questions regarding links in the $3$-sphere are NP-hard, including detecting whether a link contains a trivial sublink with $n$ componen…

Computer experiments reveal complex knots that don't simplify.

We introduce and illustrate a new approach to the unknotting problem via the dynamics of vortex strings in a nonlinear partial differential equation of reaction-diffusion type. To untangle a given knot, a Biot-Savart construction is used to initialize the knot as a vortex string in the FitzHugh-Nagumo equation. Remarka…

We prove that the problem of deciding whether a 2- or 3-dimensional simplicial complex embeds into $\mathbb{R}^3$ is NP-hard. Our construction also shows that deciding whether a 3-manifold with boundary tori admits an $\mathbb{S}^{3}$ filling is NP-hard. The former stands in contrast with the lower dimensional cases wh…

Quantum algorithm approximates Khovanov homology ranks.

The (ordinary) unknotting-number of 1-dimensional knots, which is defined by using the crossing-change, is a very basic and important invariant. It is very natural to consider the `unknotting-number' associated with other local-moves on n-dimensional knots, where n is a natural number. In this paper we prove the follow…

Shows large unknotting number for simple knots.

New invariant measures how many twists are needed to unknot welded knots.

We prove that if an alternating knot has unknotting number one, then there exists an unknotting crossing in any alternating diagram. This is done by showing that the obstruction to unknotting number one developed by Greene in his work on alternating 3-braid knots is sufficient to identify all unknotting number one alte…

Grid homology shows knot unknotting lower bound.

We determine a wide class of knots, which includes unknotting number one knots, within which Khovanov homology detects the unknot. A corollary is that the Khovanov homology of many satellite knots, including the Whitehead double, detects the unknot.

Determining unknotting numbers is a large and widely studied problem. We consider the more general question of the unknotting number of a spatial graph. We show the unknotting number of spatial graphs is subadditive. Let $g$ be an embedding of a planar graph $G$, then we show $u(g) \geq \max\{u(s) |$ $s$ is a non-overl…

This paper concerns the H(2)-unknotting numbers of links related to 2-bridge links. It consists of three parts. In the first part, we consider a necessary and sufficient condition for a 2-bridge link to have H(2)-unknotting number one. The second part concerns an explicit form of composite links with H(2)-unknotting nu…

The virtual unknotting number of a virtual knot is the minimal number of crossing changes that makes the virtual knot to be the unknot, which is defined only for virtual knots virtually homotopic to the unknot. We focus on the virtual knot obtained from the standard (p,q)-torus knot diagram by replacing all crossings o…

A bound on knot unknotting using equivariant signature.

The unknotting number is the classical invariant of a knot. However, its determination is difficult in general. To obtain the unknotting number from definition one has to investigate all possible diagrams of the knot. We tried to show the unknotting number can be obtained from any one diagram of the knot. To do this we…

The unknotting number of a knot is bounded from below by its slice genus. It is a well-known fact that the genera and unknotting numbers of torus knots coincide. In this note we characterize quasipositive knots for which the genus bound is sharp: the slice genus of a quasipositive knot equals its unknotting number, if …

Study on bounds of knot untangling for specific types of knots.

New Boolean algebra method shows knot unknotting number is (c+1)/2.

Lower bounds on unknotting number for cabled knots.

Every knot can be unknotted with two generalized twists; this was first proved by Ohyama. Here we prove that any knot of genus g can be unknotted with 2g null-homologous twists and that there exist genus g knots that cannot be unknotted with fewer than 2g null-homologous twists.

Study determines $Δ$-unknotting numbers for two-bridge knots.

Two algorithms use normal surfaces to detect unknots and prove knots.

Paper shows that for torus knots, the pinch number equals the unoriented band unknotting number.

Spatial embeddings of planar graphs can have higher unknotting numbers than crossing numbers.

Single twist can unknot certain knots, study shows.

New knot invariant λ bounds rational unknotting.

New method for simplifying knots with specific properties.

A knot in the 3-sphere is said to have zero negative unknotting number if it can be transformed into the unknot by performing only positive crossing changes. In this paper, we provide an obstruction for a knot to having zero negative unknotting number, and discuss its application to two classes of knots.

New unknots with geometric constraints exist, proving a long-standing conjecture.

Knot 11n102 requires 2 changes to untangle.

The paper finds virtual knots with specific unknotting indices.

For a knot K in S^3, let T(K) be the characteristic toric sub-orbifold of the orbifold (S^3,K) as defined by Bonahon and Siebenmann. If K has unknotting number one, we show that an unknotting arc for K can always be found which is disjoint from T(K), unless either K is an EM-knot (of Eudave-Munoz) or (S^3,K) contains a…

We use Heegaard Floer homology to obtain bounds on unknotting numbers. This is a generalisation of Ozsvath and Szabo's obstruction to unknotting number one. We determine the unknotting numbers of 9_10, 9_13, 9_35, 9_38, 10_53, 10_101 and 10_120; this completes the table of unknotting numbers for prime knots with crossi…

The Jones unknot conjecture states that the Jones polynomial distinguishes the unknot from nontrivial knots. We prove it for knots up to 23 crossings.

We resolve parts (A) and (B) of Problem 1.100 from Kirby's list by showing that many nontrivial links arise as cross-sections of unknotted holomorphic disks in the four-ball. The techniques can be used to produce unknotted ribbon surfaces with prescribed cross-sections, including unknotted Lagrangian disks with nontriv…

A knot is an an embedding of a circle into three-dimensional space. We say that a knot is unknotted if there is an ambient isotopy of the embedding to a standard circle. By representing knots via planar diagrams, we discuss the problem of unknotting a knot diagram when we know that it is unknotted. This problem is surp…

We introduce a new knot diagram invariant called the Self-Crossing Index (SCI). Using SCI, we provide bounds for unknotting two families of framed unknots. For one of these families, unknotting using framed Reidemeister moves is significantly harder than unknotting using regular Reidemeister moves. We also investigate …

In this paper we introduce the notion of an unknotting index for virtual knots. We give some examples of computation by using writhe invariants, and discuss a relationship between the unknotting index and the virtual knot module. In particular, we show that for any non-negative integer $n$ there exists a virtual knot w…

New measure shows how links can be untangled as twists increase.

The surgery unknotting number of a Legendrian link is defined as the minimal number of particular oriented surgeries that are required to convert the link into a Legendrian unknot. Lower bounds for the surgery unknotting number are given in terms of classical invariants of the Legendrian link. The surgery unknotting nu…