arXiv research

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.

We prove that the Khovanov homology of the 2-cable detects the unknot. A corollary is that Khovanov's categorification of the 2-colored Jones polynomial detects the unknot.

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

Vertex distortion detects if a knot is unknot.

Study instanton Floer homology for links in RP^3 and use it to detect knots.

We introduce the Alexander-Beck module of a knot as a canonical refinement of the classical Alexander module, and we prove that this new invariant is an unknot-detector.

We explore the application of automated reasoning techniques to unknot detection, a classical problem of computational topology. We adopt a two-pronged experimental approach, using a theorem prover to try to establish a positive result (i.e. that a knot is the unknot), whilst simultaneously using a model finder to try …

New methods detect and create Brunnian links efficiently.

We prove that a knot is the unknot if and only if its reduced Khovanov cohomology has rank 1. The proof has two steps. We show first that there is a spectral sequence beginning with the reduced Khovanov cohomology and abutting to a knot homology defined using singular instantons. We then show that the latter homology i…

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…

It follows from earlier work of Silver-Williams and the authors that twisted Alexander polynomials detect the unknot and the Hopf link. We now show that twisted Alexander polynomials also detect the trefoil and the figure-8 knot, that twisted Alexander polynomials detect whether a link is split and that twisted Alexand…

Kishino's knot is not detected by the fundamental group or the bracket polynomial; these invariants cannot differentiate between Kishino's knot and the unknot. However, we can show that Kishino's knot is not equivalent to unknot by applying either the 3-strand bracket polynomial or the surface bracket polynomial. In th…

The group of a nontrivial knot admits a finite permutation representation such that the corresponding twisted Alexander polynomial is not a unit.

In this article, we present some of the properties of the $L^2$-Alexander invariant of a knot defined by Li and Zhang, some of which are similar to those of the classical Alexander polynomial. Notably we prove that the $L^2$-Alexander invariant detects the trivial knot.

Detects torus knots using SL(2,C) representations and instanton Floer homology.

The abstract discusses detecting knotted spheres through their traces in high dimensions.

Study positive braid knots and their taut foliations, proving some L-space conjecture evidence.

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…

Geometric approach connects Burau representation to sphere metrics, identifying kernels.

Detects (2,5) torus knot using Khovanov homology and Floer homology.

We show that the only irreducible three-manifold with positive first Betti number and Heegaard Floer homology of rank two is homeomorphic to zero-framed surgery on the trefoil. We classify links whose branched double cover gives rise to this manifold. Together with a spectral sequence from Khovanov homology to the Floe…

We address the question: Does there exist a non-trivial knot with a trivial Jones polynomial? To find such a knot, it is almost certainly sufficient to find a non-trivial braid on four strands in the kernel of the Burau representation. I will describe a computer algorithm to search for such a braid.

The aim of this article is to detect new classes of quasi-alternating links. Quasi-alternating links are a natural generalization of alternating links. Their knot Floer and Khovanov homology are particularly easy to compute. Since knot Floer homology detects the genus of a knot as well as whether a knot is fibered, as …

New invariant detects more elements in 4D diffeomorphism group.

We review the use of grid diagrams in the development of Heegaard Floer theory. We describe the construction of the combinatorial link Floer complex, and the resulting algorithm for unknot detection. We also explain how grid diagrams can be used to show that the Heegaard Floer invariants of 3-manifolds and 4-manifolds …

Study on hard Legendrian unknots using normal rulings.

We show that a non-trivial, non-central normal subgroup of the braid groups contains a braid whose closure is a hyperbolic knot with arbitrary large genus. This shows that non-faithfulness of a quantum representation implies that the corresponding quantum invariant fails to detect the unknot. The proof utilizes the Deh…

There are many fundamental algorithmic problems on triangulated 3-manifolds whose complexities are unknown. Here we study the problem of finding a taut angle structure on a 3-manifold triangulation, whose existence has implications for both the geometry and combinatorics of the triangulation. We prove that detecting ta…

Agent finds unknotting sequences for complex knots.

Detects knots in thickened surfaces using instanton homology.

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 study the 4-move invariant \crl\ for links in the 3-sphere developed by Dabkowski and Sahi, which is defined as a quotient of the fundamental group of the link complement. We develop techniques for computing this invariant and show that for several classes of knots it is equal to the invariant for the unknot; theref…

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.

RL pipeline simplifies knot diagrams, including very hard unknots.

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.

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

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.