Pith. sign in

REVIEW 5 major objections 5 minor 18 references

Geometric Constraints in Link Isotopy

T0 review · 5 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Geometrically locked unknots exist, and there are infinitely many distinct classes of them.

desk verdict Novel construction and important claim, but the proof asserts the key steps and does not verify the cited lemma's hypotheses. read the letter →

arxiv 2506.04442 v1 pith:NXWSAFEA submitted 2025-06-04 math.GT

José Ayala This is my paper
classification math.GT MSC 57K1053C4257N3557N2553A04
keywords gordianunknotphysicalknottheorythinknotsthicknessparametrisationcurvatureconstraintsgeometricisotopystratifiedspacesropelength
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper aims to prove a long-standing conjecture: there are unknots, loops that topologically can be untangled into a round circle, that nevertheless cannot be untangled if the motion must keep length, tube thickness, and curvature within fixed bounds. It constructs such a gordian unknot explicitly, as a double-overhand core capped with bounded-curvature arcs, and argues that every admissible isotopy to a round circle would have to push a long arc through a narrowing aperture, forcing either a curvature violation or a thickness violation. If this argument is correct, the space of thin unknots with curvature and thickness at most one has infinitely many connected components, so geometric constraints separate configurations that classical knot theory identifies. The result matters because physical ropes, filaments, and DNA are governed by exactly such constraints, making geometric isotopy, not just topological isotopy, the relevant notion.

What carries the argument

The load-bearing object is the aperture triple $(\alpha_t, D_t, N_t)$: a simple closed curve on the tube boundary, a disk it bounds, and the near-contact region where the tube's local reach drops below twice its radius. This triple defines a physical bottleneck that separates a long arc of the unknot from the rest of the tube. The argument tracks the cone angle subtended by the aperture from a tip of the long arc, assumes the bottleneck persists until the arc crosses the disk, and then invokes the geometric obstruction lemma that a $1$-constrained arc cannot have endpoints on the boundary plane of an open cylinder and rise above a tangent sphere while staying inside the cylinder; squeezing the arc through the narrowing aperture therefore forces curvature or thickness to exceed its bound.

What would settle it

One concrete way to settle the claim is to exhibit an explicit sequence of tube shapes, all with curvature bounded by one and thickness one, starting at the constructed double-overhand unknot and ending at a round circle; even a single such sequence would disprove Theorem 4.1. A more local check is whether the disk-shaped bottleneck used in the proof actually keeps positive size and area throughout the deformation, since the contradiction depends on that persistence.

Watch

Extended reading notes

Core claim

The central claim is Theorem 4.1: there exists an embedded tube in $\mathbb{R}^3$ that is topologically an unknot but is not isotopic to a thickened round circle through any isotopy preserving length, tube thickness, and the curvature bound. The construction starts from a nearly tight open overhand knot of thickness two, embeds two parallel thickness-one tubes inside it, reapplies a tightening algorithm, and caps the open ends with planar bounded-curvature arcs to form a closed thin unknot $K_0$. The proof isolates one long arc separated from the rest of the tube by a physical bottleneck, encoded as an aperture contour with a disk and a near-contact region, and asserts that the bottleneck persists until the arc tries to pass through it; the cone angle of the aperture would then collapse, and a geometric obstruction lemma says a $1$-constrained arc cannot pass through a small planar aperture without violating the curvature bound, while the near-contact region cannot thin out without violating the thickness bound. Consequently, the unknot is geometrically locked even though it is topologically trivial.

Load-bearing premise

The proof depends on assuming that, in every allowed deformation, a particular long part of the rope has to pass through a particular disk-shaped narrow neck, and that this neck cannot shrink or disappear before the crossing.

Editorial extensions

If this is right

  • Directly from Proposition 4.2, the space $U_1$ of thin unknots with curvature and thickness at most one has infinitely many path components.
  • Directly from Corollary 4.3, the stratified union $\bigcup_{\tau \le 1} U_\tau$ contains infinitely many distinct isotopy classes, because thinner tubes inherit the classes found at thickness one.
  • Classical topological classification no longer governs physical entanglement: topologically trivial unknots can be geometrically locked, so purely topological unknotting proofs cannot be transferred to thickness- and curvature-preserving isotopies.
  • The obstruction mechanism is curvature-driven rather than volume-driven, so lockedness persists even in the zero-thickness limit and does not require excluded volume.
  • The qualitative change at thickness two means the thick regime needs separate treatment; the thin-regime obstructions cannot simply be scaled up to the saturated thickness case.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • An implication the author leaves implicit is that the same aperture-and-bottleneck construction should produce gordian knots of arbitrary prescribed knot type, by swapping the double-overhand core for a thick core of that type and capping it with bounded-curvature arcs.
  • The cone-angle and bottleneck picture suggests a quantitative invariant, such as the minimal aperture diameter or area a given arc must cross, which could separate these geometric classes and could be estimated numerically even where exact proofs are not available.
  • A testable extension is to use the number of overhand cores in the stacked unknots $K_n$ as a crude lower bound and run a numerical search for an admissible isotopy between $K_n$ and $K_m$; finding one would pinpoint exactly where the bottleneck assumption fails.
  • If the persistence assumption in the proof is the fragile step, varying the construction, for example by using caps with slightly different curvature profiles, would produce a family of candidate gordian unknots whose status under numerical tightening could be compared, clarifying how robust the phenomenon is.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

5 major / 5 minor

Summary. The paper claims to prove the existence of gordian unknots: embedded tubes that are topologically trivial but cannot be deformed to a thickened round circle by any isotopy preserving length, thickness, and a curvature bound. It introduces a parametrized thickness τ and spaces Uτ of 1-constrained unknots, and states that U1 has infinitely many path components (Proposition 4.2) and that the stratified union over τ≤1 has infinitely many isotopy classes (Corollary 4.3). The main argument in Theorem 4.1 constructs a double-overhand unknot via a numerical SONO procedure, attaches to it an 'aperture triple' (αt, Dt, Nt), and claims that any admissible isotopy to the round circle must push a long arc through a bottleneck disk, causing a contradiction. The paper also proposes two conjectures about decompositions and stratified obstruction theory.

Significance. If the main theorem were correct, it would confirm a long-standing conjecture on the existence of geometrically locked unknots and would establish that the space of thin unknots has infinitely many path components, a striking contrast with classical knot theory. The paper also frames plausible conjectures and a stratified framework that could be of interest. However, the proof as written does not establish the main theorem: the central geometric object is not rigorously defined, the aperture triple and its persistence are asserted rather than derived, the decisive 'long arc passes through the aperture' step is an unproved assumption, and the cited Lemma 2.3 is not shown to apply. Because these gaps are load-bearing, the significance currently remains conditional on a future rigorous proof.

major comments (5)
  1. [§4, proof of Theorem 4.1] The curve K0 is never defined as a precise mathematical object. It is described as the output of the SONO algorithm applied to a nearly minimal ropelength configuration, with no coordinates, convergence guarantee, or error bounds, and the subsequent embedding of two parallel tubes and capping by Dubins paths is only described qualitatively. Since the aperture triple is attached to this specific K0 and all later arguments depend on its geometry, the existence claim of the theorem is not established. The manuscript must either give an explicit construction of K0 with verified properties or prove that such a curve exists.
  2. [§4, 'The aperture contour' paragraph] The aperture triple (α0, D0, N0) is introduced by listing properties, but no argument shows that such a disk D0 exists for the constructed K0, that it is embedded and transverse to ∂K0, or that it separates the long arc from the rest of the tube. The persistence conditions inf_t diam(D_t)>0 and liminf_{t→t0} Area(N_t)>0 are asserted immediately after the definitions and are not derived from the isotopy or from the geometry. These conditions are later used to contradict liminf θ(t)=0, so the proof is relying on unsupported assumptions.
  3. [§4, 'Cone angle collapse' paragraph] The sentence 'By assumption, the long arc eventually passes through the aperture: there exists a first time t1...' is the crux of the contradiction, but it is not proved. No argument rules out isotopies that move the long arc around the disk D_t, or that deform the contour α_t so that no crossing occurs. This is exactly the kind of motion that would untangle a double overhand, and the paper simply asserts that it cannot happen. This assumption is load-bearing and its failure would collapse the proof.
  4. [§4, curvature violation branch; Lemma 2.3] The curvature-violation branch states that the long arc 'squeezed through the narrowing cone' is a shorter arc with endpoints within D_t, and then concludes by Lemma 2.3 that curvature must increase. However, Lemma 2.3 applies only to a κ-constrained arc in the open half-cylinder C={x^2+y^2<1, z≥0} with endpoints on the xy-plane and on a unit sphere S centered on the negative z-axis, and with some point above S. None of these hypotheses are verified for the arc in question, and the lemma's conclusion is non-existence of an arc satisfying both (1) and (2), not a general statement that curvature increases under a squeezing process. The contradiction is therefore not a consequence of the cited lemma.
  5. [§4, Proposition 4.2] Even if Theorem 4.1 were valid, it would only show that each K_n is gordian (cannot be isotoped to the round circle). It does not show that K_n and K_m cannot be connected to each other by an admissible isotopy, which is what is needed to conclude π0(U1)=∞. The proof asserts 'no two of these unknots can be connected' without any argument. Additionally, the stacking construction with 'short vertical tubes' is not shown to preserve the 1-constrained property or the thickness bounds at the joins, so the constructed K_n are not verified to lie in U1.
minor comments (5)
  1. [§2, Lemma 2.2] The phrase 'radius 13-ball' appears twice and is clearly a typo for 'radius 1/3-ball'; please correct this.
  2. [§3, Definition 3.1 and §4, Theorem 4.1] The term 'admissible isotopy' is used in the proof of Theorem 4.1 but is not formally defined; the reader must infer it means a 1-constrained isotopy preserving length and thickness, and it would help to state this explicitly.
  3. [§4, aperture contour definition] In the definition N_0 = {x∈D_0 | reach(∂K_0,x)<2r}, the symbol r is not defined. The paper also uses 'thickness' ambiguously as both diameter and radius; for example, Proposition 4.2 refers to 'tube radius 1/2', which should be clarified.
  4. [§4, 'Cone angle collapse' paragraph] The expression 'lim inf_{t→t0} Area(N_t)>0' uses t0 without definition; presumably t0 is the first-passage time t1, but this should be stated.
  5. [References] The proofs of Lemmas 2.2 and 2.3 are cited to the author's previous work [3], which is listed as 'accepted for publication' but not yet available; the manuscript should either include the proofs or make the dependence on unpublished work explicit in the introduction.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the gordian-unknot claim rests on unproven geometric assumptions, not on a definitional or self-citation reduction.

full rationale

The paper's derivation chain does not reduce to its inputs. Theorem 4.1's conclusion—the existence of a gordian unknot—is supported by an explicit geometric construction (double overhand core with Dubins caps) and an obstruction argument via the aperture triple and Lemma 2.3. The load-bearing Lemma 2.3 is cited from the author's prior work [3], but it is a parameter-free geometric statement about kappa-constrained arcs in a half-cylinder with stated hypotheses that do not include the existence of a gordian unknot; it is therefore independent support rather than a self-citation that closes the argument. The proof does contain unproven geometric assertions, most notably 'By assumption, the long arc eventually passes through the aperture' and the persistence conditions inf_t diam(D_t)>0 and liminf Area(N_t)>0, and Lemma 2.3 is applied without verifying its cylinder and sphere hypotheses. These are gaps in justification and correctness risks, not equations that equal their conclusions by construction. No fitted parameters are renamed as predictions, no uniqueness theorem is imported to forbid alternatives, and no ansatz is smuggled in solely by citation. Accordingly, the appropriate circularity score is 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The proof rests on geometric lemmas from the author's prior paper, on numerical outputs of SONO, and on unproved persistence properties of an aperture triple. None of these is fitted to data, but all are load-bearing for the claimed existence theorem.

assumptions (5)
  • domain assumption Lemma 2.2 from [3]: a 1-constrained arc in a radius 1/3 ball either lies entirely on the boundary or avoids the boundary in its interior.
    Invoked in Remark 2.4 as the basis for Lemma 2.3; accepted from the author's prior paper without proof in this preprint.
  • domain assumption Lemma 2.3 from [3]: the geometric obstruction for kappa-constrained arcs in an open cylinder, used to forbid certain curves with endpoints near a sphere.
    Central to the curvature-violation half of Theorem 4.1, but the present proof never verifies that a squeezed arc lies in the required cylinder or has the required endpoint and sphere configuration.
  • ad hoc to paper The SONO algorithm, applied until a nearly minimal ropelength configuration, produces a well-defined embedded thickness-two open overhand core and a thickness-one double overhand tube.
    The construction of K0 in Theorem 4.1 depends on numerical output that is not specified, not proved to converge, and not accompanied by code or data.
  • ad hoc to paper The aperture triple (alpha_t, D_t, N_t) evolves continuously or upper semicontinuously under any admissible isotopy and retains positive diameter and positive near-contact area.
    This persistence property is asserted in the cone-angle collapse argument and is the mechanism that prevents the bottleneck from vanishing, but no proof is supplied.
  • ad hoc to paper Any admissible isotopy from K0 to a round circle must push the long arc through the aperture disk D_t at some first time t1.
    The proof says by assumption the long arc eventually intersects D_t, but this crossing behavior is load-bearing and is not derived from the definitions of thin isotopy.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Geometric Constraints in Link Isotopy." pith.science (2026). https://pith.science/paper/NXWSAFEA

@misc{pith2026250604442,
  author       = {Pith},
  title        = {Pith review of: Geometric Constraints in Link Isotopy},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NXWSAFEA}},
  note         = {Machine review of arXiv:2506.04442}
}
abstract

We prove the existence of families of distinct isotopy classes of physical unknots through the key concept of parametrised thickness. These unknots have prescribed length, tube thickness, a uniform bound on curvature, and cannot be disentangled into a thickened round circle by an isotopy that preserves these constraints throughout. In particular, we establish the existence of \emph{gordian unknots}: embedded tubes that are topologically trivial but geometrically locked, confirming a long-standing conjecture. These arise within the space $\mathcal{U}_1$ of thin unknots in $\mathbb{R}^3$, and persist across a stratified family $\{ \mathcal{U}_\tau \}_{\tau \in [0,2]}$, where $\tau$ denotes the tube diameter, or thickness. The constraints on curvature and self-distance fragment the isotopy class of the unknot into infinitely many disconnected components, revealing a stratified structure governed by geometric thresholds. This unveils a rich hierarchy of geometric entanglement within topologically trivial configurations.

Figures

Figures reproduced from arXiv: 2506.04442 by the authors.

Figure 1
Figure 1. Left: This represents the standard approach to geometric knots. Both the cord and the horizontal ring maintain a uniform thickness of one, but their curvatures are bounded differently, two for the cord and one for the stadium ring. Under these conditions, the ring can slide freely along the cord without obstruction. Center: The ring to get stuck. In this case both the cord and the ring have curvature bounded above b… view at source ↗
Figure 2
Figure 2. From left to right: a nearly tight open trefoil with τ = 2. A pair of embedded, parallel tubes inside the nearly tight open trefoil, each with τ = 1. A nearly tight double overhand knot capped with Dubins curves. A gordian unknot. paths are attached as caps (both of type ccc, since their tangents are parallel, opposite oriented and distant apart one [9, 1]) forming an embedded thin unknot K0 with a double overhand c… view at source ↗

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages

  1. [1]

    Ayala, D

    J. Ayala, D. Kirszenblat, and J.H. Rubinstein, A geometric approach to shortest bounded curvature paths, Communications in Analysis and Geometry, Vol. 26, No. 4, 2018

    work page 2018

  2. [2]

    Ayala and J

    J. Ayala and J. Hass, Thick Gordian unlinks,https://arxiv.org/abs/2005.13168

    work page arXiv 2005

  3. [3]

    Thin Gordian Unlinks

    J. Ayala, Thin Gordian Unlinks,Proceedings A of the Royal Society of Edinburgh, accepted for publication, https://arxiv.org/abs/2310.14846

    work page Pith review arXiv

  4. [4]

    Cantarella, R

    J. Cantarella, R. B. Kusner, and J. M. Sullivan,On the minimum ropelength of knots and links, Inventiones Mathematicae, Vol. 150, No. 2, pp. 257-286, 2002

    work page 2002

  5. [5]

    Coward and J

    A. Coward and J. Hass, Topological and physical knot theory are distinct,Pacific J. Math., Vol. 276, No. 2, pp. 387-400, 2015

    work page 2015

  6. [6]

    Y. Diao, C. Ernst, and E. J. Janse van Rensburg, Thicknesses of knots, Math. Proc. Cambridge Philos. Soc. 126 (1999), no 2, 293-310

    work page 1999

  7. [7]

    Y. Diao, C. Ernst, and E. J. Janse van Rensburg, Knots with minimal energies, inIdeal Knots, edited by A. Stasiak, V. Katritch, and L.H. Kauffman, World Scientific, pp. 52-69, 1998

    work page 1998

  8. [8]

    Devlin, Unravelling the myth,The Guardian,https://www.theguardian.com/science/2001/sep/13/ physicalsciences.highereducation

    K. Devlin, Unravelling the myth,The Guardian,https://www.theguardian.com/science/2001/sep/13/ physicalsciences.highereducation. 10 JOSÉ AYALA

    work page 2001

Show all 18 references
  1. [9]

    Dubins, On curves of minimal length with a constraint on average curvature, and with prescribed initial and terminal positions and tangents,American Journal of Mathematics, Vol

    L. Dubins, On curves of minimal length with a constraint on average curvature, and with prescribed initial and terminal positions and tangents,American Journal of Mathematics, Vol. 79, pp. 139-155, 1957

    1957

  2. [10]

    Freedman, Z

    M. Freedman, Z. He, and Z. Wang, Möbius energy of knots and unknots,Annals of Mathematics, Second Series, Vol. 139, No. 1, pp. 1-50, 1994

    1994

  3. [11]

    Hatcher, A proof of the Smale conjecture,Diff(S3)≃O(4),Annals of Mathematics, Vol

    A. Hatcher, A proof of the Smale conjecture,Diff(S3)≃O(4),Annals of Mathematics, Vol. 117, No. 3, pp. 553-607, 1983

    1983

  4. [12]

    Kusner and W

    R. Kusner and W. Kusner,A Gordian Pair of Links, Geometriae Dedicata, vol. 217, article 47, 2023

    2023

  5. [13]

    Kusner and J.M

    R. Kusner and J.M. Sullivan,Möbius-invariant knot energies, inIdeal Knots, edited by A. Stasiak, V. Katritch, and L.H. Kauffman, World Scientific, pp. 315–352, 1998

    1998

  6. [14]

    Litherland, J

    R. Litherland, J. Simon, O. Durumeric, E. Rawdon, Thickness of knots,Topology Appl., Vol. 91, No. 3, pp. 233-244, 1999

    1999

  7. [15]

    Pieranski, S

    P. Pieranski, S. Przybyl, and A. Stasiak, Gordian unknots,Proceedings of the 16th IMACS World Congress 2000, edited by M. Deville and R. Owens, Session 152, Paper 11

    2000

  8. [16]

    Pierański, In Search of Ideal Knots, inIdeal Knots, Series on Knots and Everything, Vol

    P. Pierański, In Search of Ideal Knots, inIdeal Knots, Series on Knots and Everything, Vol. 19, A. Stasiak, V. Katritch, and L. H. Kauffman, Eds., World Scientific Publishing, 1998, pp. 20-41, doi: 10.1142/3843

    1998 doi

  9. [17]

    Pierański, S

    P. Pierański, S. Przybył, and A. Stasiak, Tight Open Knots,Eur. Phys. J. E6, pp. 123–128, 2001

    2001

  10. [18]

    Sussmann, Shortest 3-dimensional paths with a prescribed curvature bound,Proceedings of the 34th IEEE Conference on Decision and Control, pp

    H. Sussmann, Shortest 3-dimensional paths with a prescribed curvature bound,Proceedings of the 34th IEEE Conference on Decision and Control, pp. 3306-3312, 1995. Universidad de Tarapacá, Iquique, Chile Email address:jayalhoff@gmail.com

    1995

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.