New group shows knots can't always be simplified.
problem Understanding concordance in long virtual knots.
method Introduced long virtual knot concordance group and proved a band-pass invariant not a concordance invariant.
result For every concordance class, there exists a knot not band-pass equivalent to the original or other specific knots.
New unknots with geometric constraints exist, proving a long-standing conjecture.
problem Existence of distinct isotopy classes of physical unknots with geometric constraints.
method Parametrised thickness and geometric thresholds to fragment isotopy classes.
result Existence of gordian unknots with prescribed geometric constraints.
New findings on knot operations challenge a long-standing conjecture.
problem Understanding equivariant unknotting numbers of strongly invertible knots.
method Study of symmetric crossing change operations for strongly invertible knots.
result The equivariant unknotting number is not additive under connected sum.
We show there exist tunnel number one hyperbolic 3-manifolds with arbitrarily long unknotting tunnel. This provides a negative answer to an old question of Colin Adams.
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…
Any one-cusped hyperbolic manifold M with an unknotting tunnel tau is obtained by Dehn filling a cusp of a two-cusped hyperbolic manifold. In the case where M is obtained by "generic" Dehn filling, we prove that tau is isotopic to a geodesic, and characterize whether tau is isotopic to an edge in the canonical decompos…
Computer experiments reveal complex knots that don't simplify.
problem Understanding the dynamics of complex knots under self-repulsion.
method Computer simulations of knot theory, focusing on rational knots and tangles.
result Discovered hard unknots and complexified knots that do not reduce to simpler forms under self-repulsion.
Computes homotopy types of embedding spaces in tight contact 3-manifolds.
problem Understanding the structure of embedding spaces in tight contact 3-manifolds.
method Analyzes convex disks and spheres with Legendrian boundaries, using homotopy equivalence and Thurston-Bennequin invariant.
result Homotopy types of embedding spaces determined for various configurations in tight contact 3-manifolds.
Formula derived for cabled knots' concordance invariants.
problem Understanding involutive concordance invariants of cabled knots.
method Proved a formula relating cabled knots' invariants to companion and pattern knots.
result Iterated cables of certain knots are not smoothly slice.
The abstract discusses knots and their isotopy to the unknot, proving a specific case.
problem Whether every knot is isotopic to the unknot.
method An isotopy extending to a link with specific properties and stronger versions of these results.
result The Bing sling is not isotopic to any PL knot.
Study on hard Legendrian unknots using normal rulings.
problem Understanding the complexity of Legendrian unknots in knot theory.
method Using normal rulings to obstruct and construct hard unknot diagrams.
result Construction of infinitely many smoothly hard max-tb unknot diagrams with bounds on minimum possible writhe.
Study shows unknotting number of certain virtual torus knots equals standard torus knot's unknotting number.
problem Determining the unknotting number of virtual torus knots.
method Analyzing virtual knots derived from standard torus knots and counting crossing changes.
result Virtual unknotting number of certain virtual torus knots equals the unknotting number of the corresponding standard torus knot.
New SCI index bounds unknotting framed unknots.
problem Bounding unknotting framed unknots.
method Introducing Self-Crossing Index (SCI) and using it to provide bounds.
result SCI provides bounds for unknotting framed unknots.
Agent finds unknotting sequences for complex knots.
problem Finding minimal crossing changes to unknot complex knots.
method Reinforcement learning agent for knot diagrams.
result Upper bounds on unknotting numbers for thousands of knots.
The paper explores different types of knot unknotting numbers using various local moves.
problem Investigating the unknotting numbers of knots using different local moves.
method Examined ribbon-move and pass-move on 2-knots and 1-knots, and high-dimensional-pass-move on high-dimensional knots.
result Found examples and bounds for various unknotting numbers associated with different local moves.
New knot invariant detects unknots.
problem Detecting unknots in knot theory.
method Introduced Alexander-Beck module as a refined Alexander module.
result Alexander-Beck module detects the unknot.
Proves Jones unknot conjecture for knots up to 23 crossings.
problem Verifying the Jones polynomial distinguishes the unknot from nontrivial knots.
method Analyzing Jones polynomials up to 23 crossings.
result Jones polynomial successfully distinguishes the unknot from nontrivial knots up to 23 crossings.
Study unknotting numbers of prime θ-curves up to 7 crossings.
problem Determine unknotting numbers for prime θ-curves.
method Subadditivity of unknotting numbers, non-overlapping set analysis, crossing changes, new methods for obstructing unknotting number 1.
result Exact unknotting numbers for all prime θ-curves up to 7 crossings.
Shows large unknotting number for simple knots.
problem Finding minimum crossing changes for unknotting.
method Positive-to-negative crossing changes without increasing genus.
result Genus non-increasing totally positive unknotting number can be large.
Paper introduces unknotting index for virtual knots.
problem Computing and understanding virtual knots.
method Using writhe invariants and relationships with virtual knot module.
result Existence of virtual knots with specific unknotting indices.
New invariant measures how many twists are needed to unknot welded knots.
problem Measuring complexity of welded knots.
method Local twist move, Alexander quandle coloring, Gordian distance.
result Established lower bound on twist number and related it to other knot invariants.
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.
problem Knot unknotting number determination
method Grid homology analysis
result Torsion homology classes order bounds unknotting number
RL pipeline simplifies knot diagrams, including very hard unknots.
problem Simplifying complex knot diagrams, especially very hard unknots.
method Reinforcement learning for move proposals and heuristic navigation of Reidemeister moves.
result Trained agent simplifies diagrams, including a 41#910 link to a three-step unknotting process. 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.
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…
Contractibility of unknot's weak reducing disks shown.
problem Contractibility of unknot's weak reducing disks in 3-bridge position.
method Analysis of weak reducing disks in 3-bridge position.
result Complex of weak reducing disks for the unknot in 3-bridge position is contractible.
Monopole Floer homology is used to prove that real projective three-space cannot be obtained from Dehn surgery on a non-trivial knot in the three-sphere. To obtain this result, we use a surgery long exact sequence for monopole Floer homology, together with a non-vanishing theorem, which shows that monopole Floer homolo…
A bound on knot unknotting using equivariant signature.
problem Equivariant unknotting of knots.
method Analysis of strongly invertible knots and application of equivariant unknotting moves.
result The equivariant signature provides a lower bound for the equivariant unknotting number.
Three hard diagrams of the unknot require extra crossings to simplify.
problem Finding diagrams of the unknot that require many crossings to simplify.
method Applying previously proposed methods to construct diagrams and using computational resources to prove their hardness.
result Three hard diagrams of the unknot require at least three extra crossings.
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.
problem Determining upper limits for knot untangling.
method Defined warping degree, examined diagrams combinatorially.
result Upper bounds for unknotting and region unknotting numbers.
New Boolean algebra method shows knot unknotting number is (c+1)/2.
problem Finding the minimum number of region crossing changes to unknot a knot.
method Boolean algebra applied to region crossing changes.
result Region unknotting number is (c+1)/2 for any knot with crossing number c.
Knots can be unknotted with specific twists, proving bounds on the number of twists needed.
problem The minimum number of twists needed to unknock a knot of a given genus.
method Proved using null-homologous twists, showing bounds on the number of twists required.
result There exist knots of genus g that cannot be unknotted with fewer than 2g null-homologous twists.
Lower bounds on unknotting number for cabled knots.
problem Difficulty in computing unknotting number and understanding its behavior under cabling.
method Combining knot Floer homology bounds with computations of cable knot Floer homology.
result Established a lower bound on the unknotting number of cable knots in terms of winding number.
Knot Floer homology provides bounds on knot unknotting numbers.
problem Bounding the unknotting number of knots.
method Using knot Floer homology to construct invariants l^-(K), l^+(K), and l(K).
result The invariant l(K) only vanishes for the unknot, and gives lower bounds on the unknotting number.
Paper finds knots that can't be simplified with only positive changes.
problem Identifying knots that can't be simplified with only positive crossing changes.
method Provides an obstruction for knots to have zero negative unknotting number.
result Knots with zero negative unknotting number can be identified.
Study shows nontrivial links as cross-sections of unknotted holomorphic disks.
problem Resolving parts of Kirby's list problem about nontrivial links.
method Using unknotted holomorphic disks in the four-ball to produce cross-sections.
result Many nontrivial links arise as cross-sections of unknotted holomorphic disks.
Study determines Δ-unknotting numbers for two-bridge knots.
problem Determining the minimum number of Δ-moves to simplify two-bridge knots. method Examined two-bridge knots of specific types and calculated their Δ-unknotting numbers. result Identified two-bridge knots with Δ-unknotting number equal to one. Paper shows that for torus knots, the pinch number equals the unoriented band unknotting number.
problem Determining the minimum number of band surgeries to unknot torus knots.
method Used the torsion order of unoriented knot Floer homology.
result Pinch number and unoriented band unknotting number coincide for torus knots.
Two algorithms use normal surfaces to detect unknots and prove knots.
problem Detecting and proving the unknot and knottedness of links.
method Normal surface theory algorithms and split-link algorithm.
result Figure-eight knot is proven to be knotted.
Spatial embeddings of planar graphs can have higher unknotting numbers than crossing numbers.
problem Understanding the relationship between unknotting numbers and crossing numbers of spatial embeddings of planar graphs.
method Analyzing specific examples of planar graphs and their spatial embeddings to find counterexamples.
result There exist planar graphs and their spatial embeddings where the unknotting number is greater than half the crossing number.
New knot invariant λ bounds rational unknotting.
problem Bounding rational unknotting number.
method Extracted invariant λ from Khovanov homology.
result Invariant λ is lower bound for proper rational unknotting number.
Single twist can unknot certain knots, study shows.
problem Can a knot be unknotted with a single twist?
method Classical knot invariants, Casson-Gordon invariants, and Heegaard Floer theory.
result Obstructions to unknotting with a single twist exist.
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…
New method for simplifying knots with specific properties.
problem Understanding knots with a specific unknotting number.
method Derive and apply the Montesinos trick for proper rational tangle replacement.
result Prove that knots with proper rational unknotting number one are prime and classify certain types.
New presentations and algorithms for links and virtual links simplify knot and unknot transformations.
problem Simplifying and transforming links and virtual links into simpler forms.
method Introducing new presentations, constructing algebraic systems, and proposing Reduction Crossing Algorithms.
result Known unknots and an infinite family of knots can be unknotted efficiently.