Notes on unknotting algorithms using normal surface theory

Hakan Solak

2023-11-07

Abstract:These notes present two normal surface theory algorithms to detect the unknot and use the split-link algorithm to prove that the figure-eight knot is knotted.

Geometric Topology,General Topology

What problem does this paper attempt to address?

A new algorithm for recognizing the unknot

Joan S. Birman,Michael D. Hirsch

DOI: https://doi.org/10.2140/gt.1998.2.175

1999-01-04

Abstract:The topological underpinnings are presented for a new algorithm which answers the question: `Is a given knot the unknot?' The algorithm uses the braid foliation technology of Bennequin and of Birman and Menasco. The approach is to consider the knot as a closed braid, and to use the fact that a knot is unknotted if and only if it is the boundary of a disc with a combinatorial foliation. The main problems which are solved in this paper are: how to systematically enumerate combinatorial braid foliations of a disc; how to verify whether a combinatorial foliation can be realized by an embedded disc; how to find a word in the the braid group whose conjugacy class represents the boundary of the embedded disc; how to check whether the given knot is isotopic to one of the enumerated examples; and finally, how to know when we can stop checking and be sure that our example is not the unknot.

Geometric Topology
Knot Floer homology and the unknotting number

Akram Alishahi,Eaman Eftekhary

DOI: https://doi.org/10.2140/gt.2020.24.2435

2018-10-19

Abstract:Given a knot K in S^3, let u^-(K) (respectively, u^+(K)) denote the minimum number of negative (respectively, positive) crossing changes among all unknotting sequences for K. We use knot Floer homology to construct the invariants l^-(K), l^+(K) and l(K), which give lower bounds on u^-(K), u^+(K) and the unknotting number u(K), respectively. The invariant l(K) only vanishes for the unknot, and is greater than or equal to the \nu^-(K). Moreover, the difference l(K)-\nu^-(K) can be arbitrarily large. We also present several applications towards bounding the unknotting number, the alteration number and the Gordian distance.

Geometric Topology
Hard Unknots and Collapsing Tangles

Louis H. Kauffman,Sofia Lambropoulou

DOI: https://doi.org/10.48550/arXiv.math/0601525

2014-07-26

Abstract: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 an unknot. The key theorem shows that the numerator of the sum of two rational tangles [P/Q] and [R/S] is unknotted if and only if PS + QR has absolute value equal to 1. The paper uses these results in studying processive DNA recombination, finding minimal size unknot diagrams, generalizing to collapses to knots as well as to unknots, and in finding unknots with arbirarily high complexity. The paper is self-contained, with a review of the theory of rational tangles and a last section on relationships of the theme of the paper with other aspects of topology and number theory. The present version of the paper contains a correction to Figure 22 of the previous (and published) version, a small expansion to the section on Farey fractions, and an updated reference to the paper "Unknotting unknots" by Henrich and Kauffman.

Geometric Topology
Knots and 4-manifolds

Brendan Owens

DOI: https://doi.org/10.48550/arXiv.2112.10706

2022-01-21

Abstract:These notes are based on the lectures given by the author during Winter Braids IX in Reims in March 2019. We discuss slice knots and why they are interesting, as well as some ways to decide if a given knot is or is not slice. We describe various methods for drawing diagrams of double branched covers of knots in the 3-sphere and surfaces in the 4-ball, and how these can be useful to decide if an alternating knot is slice. We include a description of the computer search for slice alternating knots due to the author and Frank Swenton.

Geometric Topology
Balanced algebraic unknotting, linking forms, and surfaces in three- and four-space

Peter Feller,Lukas Lewark

DOI: https://doi.org/10.4310/jdg/1717356158

2023-08-08

Abstract:We provide three 3-dimensional characterizations of the Z-slice genus of a knot, the minimal genus of a locally-flat surface in 4-space cobounding the knot whose complement has cyclic fundamental group: in terms of balanced algebraic unknotting, in terms of Seifert surfaces, and in terms of presentation matrices of the Blanchfield pairing. This result generalizes to a knot in an integer homology 3-sphere and surfaces in certain simply connected signature zero 4-manifolds cobounding this homology sphere. Using the Blanchfield characterization, we obtain effective lower bounds for the Z-slice genus from the linking pairing of the double branched covering of the knot. In contrast, we show that for odd primes p, the linking pairing on the first homology of the p-fold branched covering is determined up to isometry by the action of the deck transformation group on said first homology. As an application of the new upper and lower bounds, we complete the calculation of the Z-slice genus for all prime knots with crossing number up to 12.

Geometric Topology
Flattening knotted surfaces

Eva Horvat

DOI: https://doi.org/10.1007/s10711-023-00770-6

2023-02-01

Geometriae Dedicata

Abstract:A knotted surface in may be described by means of a hyperbolic diagram that captures the 0-section of a special Morse function, called a hyperbolic decomposition. We show that every hyperbolic decomposition of a knotted surface defines a projection of onto a 2-sphere , whose set of critical values is the hyperbolic diagram of . We apply such projections, called flattenings, to define three invariants of knotted surfaces: the layering, the trunk, and the partition number. The basic properties of flattenings and their derived invariants are obtained. Our construction is used to study flattenings of satellite 2-knots.

mathematics
Unknotted Curves on Seifert Surfaces

Subhankar Dey,Veronica King,Colby T. Shaw,Bülent Tosun,Bruce Trace

2023-07-10

Abstract:We consider homologically essential simple closed curves on Seifert surfaces of genus one knots in $S^3$, and in particular those that are unknotted or slice in $S^3$. We completely characterize all such curves for most twist knots: they are either positive or negative braid closures; moreover, we determine exactly which of those are unknotted. A surprising consequence of our work is that the figure eight knot admits infinitely many unknotted essential curves up to isotopy on its genus one Seifert surface, and those curves are enumerated by Fibonacci numbers. On the other hand, we prove that many twist knots admit homologically essential curves that cannot be positive or negative braid closures. Indeed, among those curves, we exhibit an example of a slice but not unknotted homologically essential simple closed curve. We further investigate our study of unknotted essential curves for arbitrary Whitehead doubles of non-trivial knots, and obtain that there is a precisely one unknotted essential simple closed curve in the interior of the doubles' standard genus one Seifert surface. As a consequence of all these we obtain many new examples of 3-manifolds that bound contractible 4-manifolds.

Geometric Topology
Unknotting number 21 knots are slice in K3

Marco Marengon,Stefan Mihajlović

2024-07-05

Abstract:We prove that all knots with unknotting number at most 21 are smoothly slice in the K3 surface. We also prove a more general statement for 4-manifolds that contain a plumbing tree of spheres. Our strategy is based on a flexible method to remove double points of immersed surfaces in 4-manifolds by tubing over neighbourhoods of embedded trees. As a byproduct, we recover a classical result of Norman and Suzuki that every knot is smoothly slice in $S^2 \times S^2$ and in $\mathbb{CP}^2 \# \overline{\mathbb{CP}^2}$.

Geometric Topology
Finding planar surfaces in knot- and link-manifolds

William Jaco,J. Hyam Rubinstein,Eric Sedgwick

DOI: https://doi.org/10.48550/arXiv.math/0608700

2006-08-29

Abstract:It is shown that given any link-manifold, there is an algorithm to decide if the manifold contains an embedded, essential planar surface; if it does, the algorithm will construct one. If a slope on the boundary of the link-manifold is given, there is an algorithm to determine if the slope bounds an embedded punctured-disk; if a meridian slope is given, then it can be determined if a longitude bounds an embedded punctured-disk. The methods use normal surface theory but do not follow the classical approach. Properties of minimal vertex triangulations, layered-triangulations, 0--efficient triangulations and especially triangulated Dehn fillings are central to our methods. We also use an average length estimate for boundary curves of embedded normal surfaces; a version of the average length estimate with boundary conditions also is derived. An algorithm is given to construct precisely those slopes on the boundary of a given link-manifold that bound an embedded punctured-disk in the link-manifold.

Geometric Topology
The unknotting number, hard unknot diagrams, and reinforcement learning

Taylor Applebaum,Sam Blackwell,Alex Davies,Thomas Edlich,András Juhász,Marc Lackenby,Nenad Tomašev,Daniel Zheng

2024-09-14

Abstract:We have developed a reinforcement learning agent that often finds a minimal sequence of unknotting crossing changes for a knot diagram with up to 200 crossings, hence giving an upper bound on the unknotting number. We have used this to determine the unknotting number of 57k knots. We took diagrams of connected sums of such knots with oppositely signed signatures, where the summands were overlaid. The agent has found examples where several of the crossing changes in an unknotting collection of crossings result in hyperbolic knots. Based on this, we have shown that, given knots $K$ and $K'$ that satisfy some mild assumptions, there is a diagram of their connected sum and $u(K) + u(K')$ unknotting crossings such that changing any one of them results in a prime knot. As a by-product, we have obtained a dataset of 2.6 million distinct hard unknot diagrams; most of them under 35 crossings. Assuming the additivity of the unknotting number, we have determined the unknotting number of 43 at most 12-crossing knots for which the unknotting number is unknown.

Geometric Topology,Artificial Intelligence,Machine Learning
Unknotting Nonorientable Surfaces of Genus 4 and 5

Mark Pencovitch

2024-02-28

Abstract:Expanding on work by Conway, Orson, and Powell, we study the isotopy classes rel. boundary of nonorientable, compact, locally flatly embedded surfaces in $D^4$ with knot group $\mathbb{Z}_2$. In particular we show that if two such surfaces have fixed knot boundary $K$ in $S^4$ such that $\vert \det(K) \vert =1$, the same normal Euler number, and the same nonorientable genus $4$ or $5$, then they are ambiently isotopic rel. boundary. This implies that closed, nonorientable, locally flatly embedded surfaces in the $4$-sphere with knot group $\mathbb{Z}_2$ of nonorientable genus $4$ and $5$ are topologically unknotted. The proof relies on calculations, implemented in Sage, which imply that the modified surgery obstruction is elementary. Furthermore we show that this method fails for nonorientable genus $6$ and $7$.

Geometric Topology
Nematics, Knots and Non-orientable Surfaces

Thomas Machon,Gareth P. Alexander

DOI: https://doi.org/10.1073/pnas.1308225110

2013-05-01

Abstract:Knots and knotted fields enrich physical phenomena ranging from DNA and molecular chemistry to the vortices of fluid flows and textures of ordered media. Liquid crystals provide an ideal setting for exploring such topological phenomena through control of their characteristic defects. The use of colloids in generating defects and knotted configurations in liquid crystals has been demonstrated for spherical and toroidal particles and shows promise for the development of novel photonic devices. Extending this existing work, we describe the full topological implications of colloids representing non-orientable surfaces and use it to construct torus knots and links of type ($p$,2) around multiply-twisted Möbius strips.

Soft Condensed Matter
On Free Knots and Links

Vassily Olegovich Manturov

DOI: https://doi.org/10.48550/arXiv.0902.0127

2009-02-01

Abstract:Both classical and virtual knots arise as formal Gauss diagrams modulo some abstract moves corresponding to Reidemeister moves. If we forget about both over/under crossings structure and writhe numbers of knots modulo the same Reidemeister moves, we get a dramatic simplification of virtual knots, which kills all classical knots. However, many virtual knots survive after this simplification. We construct invariants of these objects and present their applications to minimality problems of virtual knots as well as some questions related to graph-links. One can easily generalize these results for the orientable case and apply them for solving non-invertibility problems. The main idea behind these invariants is some geometrical construction which reduces the general equivalence to the equivalence only modulo Reidemeister - 2 move.

Geometric Topology
Non-Reidemeister Knot Theory and Its Applications in Dynamical Systems, Geometry, and Topology

Vassily Olegovich Manturov

DOI: https://doi.org/10.48550/arXiv.1501.05208

2015-01-21

Abstract:Classical knot theory deals with {\em diagrams} and {\em invariants}. By means of horizontal {\em trisecants}, we construct a new theory of classical braids with invariants valued in {\em pictures}. These pictures are closely related to diagrams of the initial object. The main tool is the notion of {\em free $k$-braid group}. In the simplest case, for free $2$-braids, the word problem and the conjugacy problem can be solved by finding the minimal representative, which can be thought of as a graph, and is unique, as such. We prove a general theorem about invariants of dynamical systems which are valued in such groups and hence, in pictures. We describe various applications of the above theory: invariants of weavings (collections of skew lines in $\R^{3}$), and many other objects in geometry and topology. In general, provided that for some topological objects (considered up to isotopy, homotopy etc) some easy axioms (coming from some dimensional constraints) hold, one can construct similar dynamical systems and picture-valued invariants.

Geometric Topology
A new unknotting operation for classical and welded links

Danish Ali,Zhiqing Yang,Mohd Ibrahim Sheikh

DOI: https://doi.org/10.48550/arXiv.2208.08761

2022-08-18

Geometric Topology

Abstract:An unknotting operation is a local change on knot diagrams. Any knot diagram can be transformed into a trivial unknot diagram by a series of unknotting operations plus some Reidemeister moves. Unknotting operations have significant importance in knot theory; they are used to study the complexity of knots and invariants of knots. Unknotting operations are also important in biology, chemistry, and physics to study the sophisticated entanglements of strings, organic compounds, and DNA. In this paper, we introduced a new unknotting operation called the diagonal move for classical and welded knots. We show that the crossing change, Delta-move, Sharp-move, Gamma-move, n-gon move, pass move, and 4-move can be realized by a sequence of diagonal moves. We also define the distance induced by the diagonal move and study its properties.
A characterisation of alternating knot exteriors

Joshua Howie

DOI: https://doi.org/10.2140/gt.2017.21.2353

2015-11-16

Abstract:We give a topological characterisation of alternating knot exteriors based on the presence of special spanning surfaces. This shows that alternating is a topological property of the knot exterior and not just a property of diagrams, answering an old question of Fox. We also give a characterisation of alternating link exteriors which have marked meridians. We then describe a normal surface algorithm which can decide if a knot is prime and alternating given a triangulation of its exterior as input.

Geometric Topology
Immersed surfaces with knot group $\mathbb{Z}$

Anthony Conway,Allison N. Miller

2024-10-07

Abstract:This article is concerned with locally flatly immersed surfaces in simply-connected $4$-manifolds where the complement of the surface has fundamental group $\mathbb{Z}$. Once the genus and number of double points are fixed, we classify such immersed surfaces in terms of the equivariant intersection form of their exterior and a secondary invariant. Applications include criteria for deciding when an immersed $\mathbb{Z}$-surface in $S^4$ is isotopic to the standard immersed surface that is obtained from an unknotted surface by adding local double points. As another application, we enumerate $\mathbb{Z}$-disks in $D^4$ with a single double point and boundary a given knot; we prove that the number of such disks may be infinite. We also prove that a knot bounds a $\mathbb{Z}$-disk in $D^4$ with $c_+$ positive double points and $c_-$ negative double points if and only if it can be converted into an Alexander polynomial one knot via changing $c_+$ positive crossings and $c_-$ negative crossings. In $4$-manifolds other than $D^4$ and $S^4$, applications include measuring the extent to which immersed $\mathbb{Z}$-surfaces are determined by the equivariant intersection form of their exterior. Along the way, we prove that any two $\mathbb{Z}^2$-concordances between the Hopf link and an Alexander polynomial one link $L$ are homeomorphic rel. boundary.

Geometric Topology
Alternating links and definite surfaces

Joshua Evan Greene

DOI: https://doi.org/10.1215/00127094-2017-0004

2015-11-20

Abstract:We establish a characterization of alternating links in terms of definite spanning surfaces. We apply it to obtain a new proof of Tait's conjecture that reduced alternating diagrams of the same link have the same crossing number and writhe. We also deduce a result of Banks and Hirasawa-Sakuma about Seifert surfaces for special alternating links. The appendix, written by Juhász and Lackenby, applies the characterization to derive an exponential time algorithm for alternating knot recognition.

Geometric Topology
An Algorithmic Approach to Classify Knots

Charilaos Aneziris

DOI: https://doi.org/10.48550/arXiv.q-alg/9601029

1996-01-24

Abstract:I briefly discuss a method of obtaining distinct classes of topologically equivalent knots by developing appropriate computer programs.

Quantum Algebra
Minimal genus Seifert surface for 11 crossing alternating knots

Neetal Neel

2023-12-01

Abstract:Kakimizu complexes have been found for several classes of links. O.Kakimizu found the Kakimizu complexes of knots with crossing number less than or equal to 10. Hatcher and Thurston found the 0-skeleton of the Kakimizu complex of 2-bridge links. Sakuma later generalized the result for special arborescent links and found the Kakimizu complexes for the same. Jessica Banks gave a complete proof of results announced by Hirasawa and Sakuma, describing explicitly the Kakimizu complexes of non-split, prime special alternating links. The Kakimizu complexes of prime, non-split alternating links have finite number of vertices. In this paper we compute the Kakimizu complexes for all $11$ crossing prime, alternating knots, explicitly describing each of them. For most knots and links we use known algorithms. The rest of the Kakimizu complexes were found by using Murasugi sums and sutured manifold theory developed by Gabai, Scharlemann, Kakimizu and others.

Geometric Topology,General Topology

Notes on unknotting algorithms using normal surface theory

A new algorithm for recognizing the unknot

Knot Floer homology and the unknotting number

Hard Unknots and Collapsing Tangles

Knots and 4-manifolds

Balanced algebraic unknotting, linking forms, and surfaces in three- and four-space

Flattening knotted surfaces

Unknotted Curves on Seifert Surfaces

Unknotting number 21 knots are slice in K3

Finding planar surfaces in knot- and link-manifolds

The unknotting number, hard unknot diagrams, and reinforcement learning

Unknotting Nonorientable Surfaces of Genus 4 and 5

Nematics, Knots and Non-orientable Surfaces

On Free Knots and Links

Non-Reidemeister Knot Theory and Its Applications in Dynamical Systems, Geometry, and Topology

A new unknotting operation for classical and welded links

A characterisation of alternating knot exteriors

Immersed surfaces with knot group $\mathbb{Z}$

Alternating links and definite surfaces

An Algorithmic Approach to Classify Knots

Minimal genus Seifert surface for 11 crossing alternating knots