pith. sign in

arxiv: 2205.11430 · v7 · submitted 2022-05-23 · 🧮 math.GT · math.SG

Conjectures on the Khovanov Homology of Torus Knots, Twist Knots, and Legendrian Simple Knots

Vladimir Chernov , Ryan Maguire This is my paper

Pith reviewed 2026-05-24 11:51 UTC · model grok-4.3

classification 🧮 math.GT math.SG
keywords Khovanov homologytorus knotstwist knotsLegendrian simple knotsknot invariantsknot detectionLegendrian simplicity
0
0 comments X

The pith

Khovanov homology is conjectured to distinguish all torus knots, twist knots, and Legendrian simple knots.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper presents conjectures that the Khovanov homology of a knot uniquely identifies it when the knot is a torus knot or twist knot. This rests on checking every prime knot with 20 or fewer crossings and finding that none share the same Khovanov polynomial with a torus or twist knot unless they are the same knot. A parallel conjecture states that Khovanov homology distinguishes Legendrian simple knots, again backed by the same finite enumeration and by known results on which knots are Legendrian simple. If these conjectures hold, Khovanov homology would detect membership in these knot families, extending the known detection results for the unknot, trefoils, and figure-eight knot.

Core claim

The authors conjecture that Khovanov homology distinguishes all torus and twist knots, meaning that if a knot has the same Khovanov polynomial as a torus or twist knot then it must be that knot. The same conjecture is stated for Legendrian simple knots. Both claims are supported by exhaustive computation: among all 2,199,471,680 prime knots with 20 or fewer crossings, no knot outside these families shares the Khovanov polynomial of any member of the families.

What carries the argument

The Khovanov polynomial, the Poincaré polynomial of Khovanov homology, used as the invariant that is checked for uniqueness within each family.

If this is right

  • Torus knots would be detected by their Khovanov homology alone.
  • Twist knots would likewise be detected by their Khovanov homology.
  • Legendrian simple knots would be distinguished from all other knots by Khovanov homology.
  • The connection between Khovanov homology and Legendrian simplicity would be strengthened.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The conjectures could be tested by computing Khovanov polynomials for selected knots with 21 or more crossings that are known to be torus or twist knots.
  • If the conjectures hold, they would give a practical computational test for membership in these knot families.
  • The results suggest examining whether other knot homologies exhibit similar distinguishing power for these families.

Load-bearing premise

The pattern observed for all prime knots with 20 or fewer crossings continues to hold for knots with arbitrarily many crossings.

What would settle it

A single prime knot with more than 20 crossings whose Khovanov polynomial equals that of some torus knot but which is not isotopic to that torus knot.

Figures

Figures reproduced from arXiv: 2205.11430 by Ryan Maguire, Vladimir Chernov.

Figure 1
Figure 1. Figure 1: Hyperplane Distribution for dz − y dx by considering the standard contact structure of R 3 . This is an assignment of a plane to every point in R 3 such that there is no surface M ⊂ R 3 (even infinitesimally) where for every p ∈ M the tangent plane TpM is given by the plane of the contact structure. In R 3 this is described by the one-form dz − y dx, the plane at (x, y, z) being spanned by the vectors ∂x +… view at source ↗
read the original abstract

A theorem of Kronheimer and Mrowka states that Khovanov homology is able to detect the unknot. That is, if a knot has the Khovanov homology of the unknot, then it is equivalent to it. Similar results hold for the trefoils and the figure-eight knot. We conjecture that Khovanov homology is able to distinguish all torus and twist knots. Numerical evidence has been gathered by examining all prime knots with 20 or fewer crossings, a total of 2,199,471,680 knots (not including mirrors). We found that all knots with the same Khovanov polynomial (the Poincar\'{e} polynomial of Khovanov homology) as a torus or twist knot are indeed torus or twist knots themselves. Since torus knots are known to be Legendrian simple, and since all twist knots $K_{m}$ with $m\geq{-3}$ are Legendrian simple, this provides evidence for the claim that Khovanov homology and Legendrian simplicity may be connected. We conjecture that indeed Khovanov homology is able to distinguish Legendrian simple knots and use the (conjectured) Legendrian simple knots from the Legendrian knot atlas to test this claim. A similar observation was made, and no knots with 20 or fewer crossing share their Khovanov polynomial with the knots in the Legendrian knot atlas (except for the knots that are a part of this atlas).

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript conjectures that Khovanov homology distinguishes all torus knots and all twist knots, and that it distinguishes all Legendrian simple knots. These conjectures rest on exhaustive enumeration showing that none of the 2,199,471,680 prime knots with at most 20 crossings shares the Khovanov polynomial with a torus knot, twist knot, or Legendrian-simple knot outside the respective class. The work also notes that torus knots and many twist knots are Legendrian simple and suggests a possible link between Khovanov homology and Legendrian simplicity.

Significance. If the conjectures hold, they would extend the Kronheimer-Mrowka detection theorem for the unknot (and the known cases for trefoils and the figure-eight) to infinite families, and they would furnish a new empirical connection between Khovanov homology and Legendrian invariants. The scale of the direct computational verification—covering more than two billion knots with no counterexamples—is a clear strength and supplies reproducible, parameter-free evidence within the checked range.

major comments (2)
  1. [Abstract] Abstract: the conjecture that Khovanov homology distinguishes torus and twist knots for knots of arbitrary crossing number is supported solely by the absence of counterexamples among knots of ≤20 crossings; the manuscript supplies no structural property of the Khovanov functor, no spectral-sequence argument, and no classification result that would imply the observed separation persists when crossing number is unbounded.
  2. [Abstract] Abstract: the parallel conjecture for Legendrian-simple knots likewise rests on the finite check against the Legendrian knot atlas; no invariance or functorial reason is offered to explain why the Khovanov polynomial should remain unique to these knots beyond 20 crossings.
minor comments (2)
  1. The parenthetical remark that the count of 2,199,471,680 knots excludes mirrors should be clarified with respect to whether the conjecture is formulated for unoriented knots or for oriented knots up to mirror image.
  2. The notation K_m for twist knots is used without an explicit definition in the provided abstract; a short definition or reference in the introduction would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their report and for noting the scale of the computational verification. The manuscript formulates conjectures supported by exhaustive enumeration rather than proofs; we respond to the comments below.

read point-by-point responses

  1. Referee: [Abstract] the conjecture that Khovanov homology distinguishes torus and twist knots for knots of arbitrary crossing number is supported solely by the absence of counterexamples among knots of ≤20 crossings; the manuscript supplies no structural property of the Khovanov functor, no spectral-sequence argument, and no classification result that would imply the observed separation persists when crossing number is unbounded.

    Authors: We agree that the conjectures rest on the computational evidence up to 20 crossings and that no structural, spectral-sequence, or classification argument is supplied to guarantee persistence at arbitrary crossing number. The paper explicitly presents these statements as conjectures motivated by the absence of counterexamples in the checked range (2.2 billion knots) and does not claim a proof or functorial reason. The contribution is the reproducible, parameter-free verification itself. revision: no

  2. Referee: [Abstract] the parallel conjecture for Legendrian-simple knots likewise rests on the finite check against the Legendrian knot atlas; no invariance or functorial reason is offered to explain why the Khovanov polynomial should remain unique to these knots beyond 20 crossings.

    Authors: The referee is correct that the Legendrian-simple conjecture is likewise supported only by the finite check against the atlas (with no counterexamples found) and that no invariance or functorial explanation is given for uniqueness beyond 20 crossings. The manuscript notes the overlap with known Legendrian-simple families (torus knots and many twist knots) and suggests a possible link, but treats the statement as a conjecture open for further study. revision: no

Circularity Check

0 steps flagged

No circularity; conjecture supported by external enumeration only

full rationale

The paper advances conjectures that Khovanov homology distinguishes torus knots, twist knots, and Legendrian-simple knots. These rest on exhaustive computational verification against the external knot table of all 2,199,471,680 prime knots with ≤20 crossings, together with the independent Kronheimer-Mrowka theorem. No equation or quantity is defined in terms of another, no parameter is fitted and then relabeled a prediction, and no load-bearing step reduces to a self-citation chain. The derivation chain is therefore open and externally falsifiable; the finite enumeration supplies direct evidence rather than a closed loop.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper advances conjectures rather than derivations, so the ledger contains only standard background assumptions from knot theory with no free parameters or invented entities required for the claims.

axioms (2)
  • standard math Khovanov homology is a well-defined knot invariant whose Poincaré polynomial can be computed for any given knot diagram.
    Invoked implicitly when stating that knots share the same Khovanov polynomial.
  • domain assumption The set of all prime knots with 20 or fewer crossings has been exhaustively enumerated and tabulated by prior work.
    Required for the claim that 2,199,471,680 knots were checked.

pith-pipeline@v0.9.0 · 5800 in / 1435 out tokens · 38127 ms · 2026-05-24T11:51:58.924593+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

39 extracted references · 39 canonical work pages

  1. [1]

    http://katlas.org/wiki/DT_Codes

    Knot atlas dt codes. http://katlas.org/wiki/DT_Codes. Accessed: 2022-05-20

    work page 2022

  2. [2]

    http://katlas.org/wiki/DT_Codes

    Knot atlas dt codes. http://katlas.org/wiki/DT_Codes. Accessed: 2022-03-10

    work page 2022

  3. [3]

    http://katlas.org/wiki/4_1

    Knot atlas figure-eight knot. http://katlas.org/wiki/4_1. Accessed: 2022-05-20

    work page 2022

  4. [4]

    http://katlas.org/wiki/K11n19

    Knot atlas k11n19. http://katlas.org/wiki/K11n19. Accessed: 2022- 05-20

    work page 2022

  5. [5]

    http://katlas.org/wiki/Khovanov_ Homology

    Knot atlas khovanov homology. http://katlas.org/wiki/Khovanov_ Homology. Accessed: 2022-03-10

    work page 2022

  6. [6]

    https://services.math.duke.edu/~ng/atlas/

    Legendrian knot atlas. https://services.math.duke.edu/~ng/atlas/. Accessed: 2023-02-10

    work page 2023

  7. [7]

    Khovanov homology and the cinquefoil, 05 2021

    John Baldwin, Ying Hu, and Steven Sivek. Khovanov homology and the cinquefoil, 05 2021

    work page 2021

  8. [8]

    Baldwin, Nathan Dowlin, Adam Simon Levine, Tye Lidman, and Radmila Sazdanovic

    John A. Baldwin, Nathan Dowlin, Adam Simon Levine, Tye Lidman, and Radmila Sazdanovic. Khovanov homology detects the figure-eight knot. Bulletins of the London Mathematical Society , 53(3):871 – 876, 2021

    work page 2021

  9. [9]

    Baldwin and Steven Sivek

    John A. Baldwin and Steven Sivek. Khovanov homology detects the trefoils. Duke Mathematical Journal , 171(4):885 – 956, 2022

    work page 2022

  10. [10]

    On khovanov’s categorification of the jones’ polynomial

    Dror Bar-Natan. On khovanov’s categorification of the jones’ polynomial. Algebraic and Geometric Topology, pages 337–370, 2002

    work page 2002

  11. [11]

    Fast khovanov homology computations

    Dror Bar-Natan. Fast khovanov homology computations. Journal of Knot Theory and Its Ramifications, 16:245–255, 2007

    work page 2007

  12. [12]

    Stabilization in the braid groups ii transversal simplicity of knots

    Joan Birman and William Menasco. Stabilization in the braid groups ii transversal simplicity of knots. Geometric Topology, pages 1425–1452, 2006

    work page 2006

  13. [13]

    Birman and Nancy C

    Joan S. Birman and Nancy C. Wrinkle. On Transversally Simple Knots. Journal of Differential Geometry , 55(2):325 – 354, 2000

    work page 2000

  14. [14]

    Burton, Ryan Budney, William Pettersson, et al

    Benjamin A. Burton, Ryan Budney, William Pettersson, et al. Regina: Software for low-dimensional topology. http://regina-normal.github. io/, 1999–2021

    work page 1999

  15. [15]

    Differential algebra of legendrian links

    Yuri Chekanov. Differential algebra of legendrian links. Inventiones Math- ematicae, pages 441–483, 2002

    work page 2002

  16. [16]

    Dunfield, Matthias Goerner, and Jeffrey R

    Marc Culler, Nathan M. Dunfield, Matthias Goerner, and Jeffrey R. Weeks. SnapPy, a computer program for studying the geometry and topology of 3-manifolds. Available at http://snappy.computop.org (2022/03/10). 30

    work page 2022

  17. [17]

    Legendrian helix and cable links

    Fan Ding and Hansjorg Geiges. Legendrian helix and cable links. Commu- nications in Contemporary Mathematics , 12:487–500, 2006

    work page 2006

  18. [18]

    Dowker and Morwen B

    C.H. Dowker and Morwen B. Thistlethwaite. Classification of knot projec- tions. Topology and its Applications, 16(1):19–31, 1983

    work page 1983

  19. [19]

    Eliashberg and M

    Y. Eliashberg and M. Fraser. Classification of topological trivial legendrian knots. CRM Proceedings and Lecture Notes, pages 17–51, 1998

    work page 1998

  20. [20]

    J. B. Etnyre and K. Honda. Knots and contact geometry i. Jounral of Symplectic Geometry, pages 63–120, 2001

    work page 2001

  21. [21]

    J. B. Etnyre and K. Honda. Cabling and transverse simplicity. Annals of Mathematics, 162:1305–1333, 2005

    work page 2005

  22. [22]

    Legendrian and transverse twist knots

    John Etnyre, Lenhard Ng, and Vera Vertesi. Legendrian and transverse twist knots. Journal of the European Mathematical Society , 15, 02 2010

    work page 2010

  23. [23]

    Foldv´ ari

    V. Foldv´ ari. Legendrian non-simple two-bridge knots. Periodica Mathe- matica Hungarica, pages 12–24, 2019

    work page 2019

  24. [24]

    The jones polynomial

    Vaughan Jones. The jones polynomial. 2005

    work page 2005

  25. [25]

    The jones polynomial for dummies

    Vaughan Jones. The jones polynomial for dummies. 2014

    work page 2014

  26. [26]

    A categorification of the jones polynomial

    Mikhail Khovanov. A categorification of the jones polynomial. Duke Math- ematical Journal, 101:359–426, 1999

    work page 1999

  27. [27]

    P. B. Kronheimer and T. S. Mrowka. Khovanov homology is an unknot- detector. Publications Math´ ematiques de l’IH´ES, pages 97–208, 2001

    work page 2001

  28. [28]

    Jones polynomial database

    Ryan Maguire. Jones polynomial database. http://knots.dartmouth. edu/jones_polynomial/. Accessed: 2023-10-10

    work page 2023

  29. [29]

    Khovanov polynomial database

    Ryan Maguire. Khovanov polynomial database. http://knots. dartmouth.edu/khovanov_polynomial/. Accessed: 2023-10-10

    work page 2023

  30. [30]

    Ryan Maguire. libtmpl. https://github.com/ryanmaguire/libtmpl, 2023

    work page 2023

  31. [31]

    Mathematics-and-physics

    Ryan Maguire. Mathematics-and-physics. https://github.com/ ryanmaguire/Mathematics-and-Physics, 2023

    work page 2023

  32. [32]

    Holomorphic disks and topological invari- ants for closed three-manifolds

    Peter Ozsv´ ath and Zolt´ an Szab´ o. Holomorphic disks and topological invari- ants for closed three-manifolds. Annals of Mathematics , pages 1027–1158, 2004

    work page 2004

  33. [33]

    Joshua M. Sabloff. What is a legendrian knot? Notices of the AMS , pages 1282–1284, 2009

    work page 2009

  34. [34]

    W. A. Stein et al. Sage Mathematics Software (Version 9.2) . The Sage Development Team, 2022. http://www.sagemath.org. 31

    work page 2022

  35. [35]

    Links with trivial jones polynomial

    Morwen Thistlethwaite. Links with trivial jones polynomial. Journal of Knot Theory and Its Ramifications , 10:641–643, 2001

    work page 2001

  36. [36]

    Tuzun and Adam S

    Robert E. Tuzun and Adam S. Sikora. Verification of jones unknot conjec- ture up to 24 crossings. Journal of Knot Theory and Its Ramifications , 30, 2021

    work page 2021

  37. [37]

    Transversally non-simple knots

    Vera Vertesi. Transversally non-simple knots. Algebraic and Geometric Topology, pages 1001–1018, 2008

    work page 2008

  38. [38]

    Knots with identical khovanov homology

    Liam Watson. Knots with identical khovanov homology. Algebraic & Geo- metric Topology, 7:1389–1407, 2007

    work page 2007

  39. [39]

    Khovanov homology and the symmetry group of a knot

    Liam Watson. Khovanov homology and the symmetry group of a knot. Advances in Mathematics, 313:915–946, 2017. 32 The source code used to generate this document, including figures, and all of the analysis is free software and released under version 3 of the GNU General Public License. See [31] and [30]. Vladimir Chernov 6188 Kemeny Hall Mathematics Departme...

    work page 2017