Pith. sign in

REVIEW 2 major objections 4 minor 2 cited by

Lattice-filtered move graphs model knot types as finite graphs whose components merge at computable length barriers, with figure-eight and 6₃ seeds merging with their mirrors at 32 and 44 under BFACF moves.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · grok-4.5

2026-07-14 18:43 UTC pith:RG6AQMAG

load-bearing objection Solid, carefully scoped discrete-knot experiment: new merge numbers for 4_{1} and 6_{3} under BFACF seeds, with honest hedging and dual verification. the 2 major comments →

arxiv 2605.25322 v3 pith:RG6AQMAG submitted 2026-05-25 math.GT math.CO

Discrete Knot Theory via Lattice-Filtered Move Graphs

Makoto Ozawa This is my paper
classification math.GT math.CO MSC 57K1057M25
keywords lattice knotsmove graphsBFACF movesdiscrete chiralitymerge scaleropelengthsimple cubic latticeknot theory
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

This paper builds finite-state experimental models of knot types by filtering lattice polygons by edge length. At each length bound N, representatives of a fixed knot type (up to orientation-preserving lattice isometries) become vertices of a graph whose edges are prescribed local moves; connected components are discrete stand-ins for the admissible pieces of a ropelength-filtered knot space. The first N at which two components join is a discrete merge scale, and subtracting birth length yields an ultrapseudometric when components eventually merge. Specializing to the simple cubic lattice and BFACF-type moves (treated as a chosen rewrite system, not a full lattice-isotopy calculus), the authors compute seed-generated components for amphichiral knots: a 30-edge figure-eight seed and its mirror stay separate through N=30 and join at N=32; a 40-edge minimal seed of 6₃ and its mirror join at N=44. Explicit, independently checked move paths and a second 6₃ seed confirm the numbers. A reader who cares about how hard it is to reverse chirality under length limits gets concrete, reproducible length barriers rather than only asymptotic existence statements.

Core claim

Lattice-filtered move graphs supply finite discrete models of length-restricted knot connectivity. For the chosen BFACF move system on the simple cubic lattice, seed-generated components of a 30-edge figure-eight polygon ω and its mirror ω! are disconnected at N=30 and first connect at N=32, so the seed merge scale is 32; for a 40-edge minimal seed σ of 6₃ and its mirror the corresponding scale is 44 (separated at 40 and 42). These values are verified by explicit move paths and, for 6₃, by an independently constructed second minimal seed. The theory is move-system independent; the numbers are seed- and BFACF-specific length-barrier computations, not global merge matrices of full minimal laye

What carries the argument

Lattice-filtered move graphs: at level N the vertices are lattice polygons of a fixed knot type with length at most N, modulo orientation-preserving lattice isometries, and the edges are a prescribed local-move system (here BFACF). Connected components and the first merge level between them are the discrete analogues of ropelength-filtered admissible components and of chirality barriers; after subtracting birth length the merge data define an ultrapseudometric on eventually merging components.

Load-bearing premise

That BFACF-type local moves, used as a chosen rewrite system rather than a complete lattice-isotopy calculus, together with seed-generated components under isometry canonicalization, correctly capture the connectivity barriers being measured.

What would settle it

An explicit BFACF path joining the figure-eight seed ω to its mirror at lattice length strictly less than 32, or a complete enumeration of the N=30 and N=31 layers showing those seed components already connected; likewise any path for the 6₃ seeds joining below length 44.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • Merge scales become concrete, reproducible length barriers measuring how hard chirality reversal is under length-restricted lattice moves.
  • Because the theory is move-system independent, other local rewrite systems can be substituted for comparative barrier experiments.
  • For PL-realizable move systems, discrete paths project to finite Reidemeister certificates of isotopy.
  • After subtracting birth length, the merge data define an ultrapseudometric on eventually merging components.
  • Seed-specific results can be cross-checked by independent seeds and by publicly verifiable move paths.

Where Pith is reading between the lines

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

  • The reported barriers may serve as discrete lower bounds on continuous ropelength costs of amphichiral mirror transitions.
  • Full-layer (not merely seed-generated) merge matrices could systematically rank amphichiral knots by discrete chirality difficulty.
  • Replacing BFACF by a complete lattice-isotopy calculus would test whether the barriers are artifacts of the chosen rewrite system.
  • The same filtered-graph construction could discretize other knot-energy landscapes beyond chirality.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 4 minor

Summary. The paper introduces lattice-filtered move graphs as finite-state models of knot types: at filtration level N the vertices are lattice polygons of a fixed knot type with length at most N, taken modulo orientation-preserving lattice isometries, with edges given by a prescribed local move system. Connected components of these graphs are proposed as discrete analogues of admissible components in ropelength-filtered knot spaces; the first level at which two seed components become connected defines a discrete merge scale, which (after subtracting birth level) yields an ultrapseudometric when eventual merging occurs. The abstract framework is move-system independent. The authors then specialize to the simple cubic lattice and to BFACF-type moves, treated explicitly as a chosen rewrite system rather than a complete lattice-isotopy calculus, and prove a conditional theorem that discrete paths for PL-realizable local moves project to finite Reidemeister certificates. Computationally, dual independent implementations (Python prototype and deterministic C++ accelerator) with the same rules and canonicalization are used to report seed-generated merge scales: for a 30-edge figure-eight seed ω and its mirror, components separate at N=30 and merge at N=32; for a 40-edge minimal seed σ of 6₃ and its mirror they separate at 40 and 42 and merge at 44, confirmed by a second independent minimal seed and by explicit, independently verified move paths. The claims are carefully restricted to seed-s

Significance. If the reported merge scales and the surrounding discrete framework hold, the work supplies a concrete, reproducible experimental model for length-filtered connectivity questions in lattice knot theory, including a well-defined discrete chirality barrier for amphichiral examples. Strengths that raise the contribution above a pure computational note include: (i) an explicitly move-system-independent theoretical core together with a conditional Reidemeister-certificate projection for PL-realizable systems; (ii) dual independent implementations sharing the same BFACF rules and canonicalization; (iii) independently verified explicit move paths; and (iv) a second, independently constructed minimal seed confirming the 6₃ result. The careful scoping (seed-generated components, not full layers; BFACF as a chosen rewrite system) makes the numerical claims falsifiable and non-overreaching. The induced ultrapseudometric on components that eventually merge is a clean formal byproduct that may be of independent interest for discrete knot metrics.

major comments (2)
  1. The central numerical claims rest on seed-generated (not full-layer) components under a fixed BFACF rewrite system. While the abstract and experimental sections correctly hedge that the numbers are not global merge matrices, the manuscript should state more explicitly, near the statements of m_seed^BFACF(ω,ω!)=32 and m_seed^BFACF(σ,σ!)=44, what completeness guarantees (if any) the dual search implementations provide for the seed-generated components themselves—e.g., exhaustive BFS/DFS up to the reported N, or only heuristic exploration. Without that, a reader cannot fully assess whether an earlier merge inside the seed component could have been missed.
  2. The conditional theorem that discrete paths for PL-realizable local move systems project to finite Reidemeister certificates is load-bearing for interpreting the lattice paths as classical certificates. The manuscript should verify, or at least cite a short argument, that the chosen BFACF-type moves are PL-realizable in the sense required by the theorem’s hypotheses, so that the verified paths for ω–ω! and σ–σ! actually yield the promised Reidemeister certificates rather than remaining purely lattice objects.
minor comments (4)
  1. Notation for the merge scale (m_seed^BFACF) and the induced ultrapseudometric appears in the abstract and later fragments; a single displayed definition early in the theoretical section, with birth-level subtraction made explicit, would improve readability.
  2. The distinction between orientation-preserving lattice isometries (used for canonicalization) and full lattice isometries (including reflections) is essential for the amphichiral experiments; a short remark reminding the reader that mirrors are kept as distinct seeds under the orientation-preserving quotient would prevent confusion.
  3. Where the second independent 6₃ seed is introduced, a one-sentence description of how it was constructed (or a pointer to supplementary data) would strengthen the reproducibility claim already made for the dual codebases.
  4. Several passages in the supplied full-text encoding are corrupted; if this reflects source-file encoding issues rather than a review-package artifact, the authors should re-export a clean PDF/source before final submission.

Circularity Check

0 steps flagged

No significant circularity: merge scales are constructive computational outputs of explicit seed-generated BFACF search, not fitted or self-definitional predictions.

full rationale

The paper defines lattice-filtered move graphs constructively (vertices = lattice polygons of length ≤ N modulo orientation-preserving lattice isometries; edges = prescribed local moves) and defines the discrete merge scale as the first N at which two seed-generated components become connected. The reported numbers m_seed^BFACF(ω,ω!)=32 and m_seed^BFACF(σ,σ!)=44 are direct outputs of exhaustive/seed-generated search under fixed BFACF rules and canonicalization, corroborated by dual implementations (Python + deterministic C++), independently verified move paths, and a second independently constructed minimal seed for 6₃. No parameter is fitted to data and then re-presented as a prediction; the theoretical framework is move-system independent and does not reduce the experimental claims to a self-citation uniqueness theorem or an ansatz smuggled via prior author work. The abstract and specialization sections explicitly scope the results as seed-specific and BFACF-specific length-barrier computations rather than global merge matrices, so the central claims do not collapse by construction into their inputs. Score 0 is therefore appropriate.

Axiom & Free-Parameter Ledger

2 free parameters · 4 axioms · 2 invented entities

Central claims rest on standard lattice-knot and BFACF background plus two paper-defined constructions (filtered move graphs and merge scales). No numerical free parameters are fitted to data; seeds and the BFACF rule set are modeling choices. Invented entities are definitional experimental objects with computational handles, not unobserved physical mediators.

free parameters (2)
  • BFACF move-system choice (vs other local rewrite systems)
    The experimental numbers are explicitly BFACF-specific; a different local move system would generally change merge levels. This is a discrete modeling choice, not a continuous fit, but the central numerical claims depend on it.
  • Seed polygons ω, σ (and second 6₃ seed)
    Merge scales are seed-generated, not full minimal-layer. Different seeds of the same knot type could in principle merge at different N; the paper confirms 6₃ with a second seed but does not claim seed-independence in general.
axioms (4)
  • standard math Standard facts about lattice polygons in the simple cubic lattice, orientation-preserving lattice isometries, and knot type of closed lattice polygons.
    Background for vertices of the filtered graphs; assumed throughout the specialization.
  • domain assumption BFACF-type local moves are a well-defined, previously studied local rewrite system on lattice polygons (used here as a chosen system, not a complete lattice-isotopy calculus).
    Specialization and experiments depend on this move set; abstract states it is not treated as complete isotopy.
  • ad hoc to paper For PL-realizable local move systems, discrete paths project to finite Reidemeister certificates (conditional theorem).
    Paper’s own conditional theorem linking discrete paths to classical certificates; load-bearing for the claim that discrete connectivity has classical meaning.
  • domain assumption Seed-generated components under the stated canonicalization correctly implement the intended graph connectivity for the reported seeds.
    Required for interpreting computed merge levels; supported by dual Python/C++ implementations and path verification but not by exhaustive full-layer enumeration.
invented entities (2)
  • Lattice-filtered move graph at level N independent evidence
    purpose: Finite-state experimental model whose vertices are isometry classes of lattice polygons of a fixed knot type with length ≤ N and whose edges are prescribed local moves.
    Core definitional object of the paper; independent_evidence is computational (graphs can be built and searched).
  • Discrete merge scale m and induced ultrapseudometric (after subtracting birth level) independent evidence
    purpose: Numerical measure of when two initial components first become connected under the filtered moves; yields an ultrapseudometric when eventual merging occurs.
    Derived from the filtered graphs; falsifiable by independent re-computation of connectivity.

pith-pipeline@v1.1.0-grok45 · 15584 in / 3105 out tokens · 42256 ms · 2026-07-14T18:43:11.082095+00:00 · methodology

0 comments
read the original abstract

We introduce lattice-filtered move graphs as finite-state experimental models for knot types. At level $N$, vertices are lattice-polygon representatives of a fixed knot type with lattice length at most $N$, modulo orientation-preserving lattice isometries, and edges are prescribed local moves. Connected components are discrete analogues of admissible components in ropelength-filtered knot spaces, and the first level at which two initial components become connected defines a discrete merge scale; after subtracting the birth level this gives an ultrapseudometric whenever the relevant components eventually merge. The theoretical part is move-system independent. We then specialize to the simple cubic lattice and to BFACF-type moves, treated as a chosen local move system rather than a complete lattice-isotopy calculus. A separate conditional theorem shows that, for PL-realizable local move systems, discrete paths project to finite Reidemeister certificates. The experimental part reports reproducible seed-generated computations from a prototype Python implementation and a deterministic C++ accelerator using the same BFACF rules and canonicalization. For a 30-edge figure-eight seed $\omega$ and its reflected mirror $\omega!$, the seed-generated components are separated at $N=30$ and merge at $N=32$. For a 40-edge minimal simple cubic seed $\sigma$ of the other amphichiral six-crossing knot $6_3$, they are separated at $N=40$ and $N=42$, and merge at $N=44$. Explicit, independently verified move paths give $m_{\mathrm{seed}}^{\mathrm{BFACF}}(\omega,\omega!)=32$ and $m_{\mathrm{seed}}^{\mathrm{BFACF}}(\sigma,\sigma!)=44$, and the $6_3$ result is confirmed by a second, independently constructed minimal seed. These are seed-specific and BFACF-specific length-barrier computations, not claims about the global merge matrices of the full minimal layers.

Figures

Figures reproduced from arXiv: 2605.25322 by Makoto Ozawa.

Figure 1
Figure 1. Figure 1: An extracted BFACF path connecting the supplied 30-edge figure-eight seed [PITH_FULL_IMAGE:figures/full_fig_p017_1.png] view at source ↗

Review history (2 revisions) →

discussion (0)

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

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Discrete p-Density and Compression Radii of Lattice Knots

    math.GT 2026-05 unverdicted novelty 6.0

    Introduces discrete p-density and compression radii for lattice knots and shows non-monotonic behavior along a 21-state BFACF path for the figure-eight knot at length bound 32.

  2. Discrete p-Density and Compression Radii of Lattice Knots

    math.GT 2026-05 unverdicted novelty 6.0

    A finite-state lattice framework makes p-density and compression-radius profiles of knot types computable, monotone, and filtrable, with seed-generated BFACF certificates for 4₁ and 6₃.

Reference graph

Works this paper leans on

13 extracted references · 1 linked inside Pith · cited by 1 Pith paper

  1. [1]

    J. W. Alexander and G. B. Briggs, On types of knotted curves, Ann. of Math. 28 (1926/27), 562--586

    1926

  2. [2]

    Burde, H

    G. Burde, H. Zieschang and M. Heusener, Knots, 3rd revised and extended ed., De Gruyter Studies in Mathematics, vol. 5, De Gruyter, 2014

    2014

  3. [3]

    E. J. Janse van Rensburg and S. G. Whittington, The BFACF algorithm and knotted polygons, J. Phys. A: Math. Gen. 24 (1991), 5553--5567

    1991

  4. [4]

    E. J. Janse van Rensburg and S. D. Promislow, Minimal knots in the cubic lattice, J. Knot Theory Ramifications 4 (1995), 115--130

    1995

  5. [5]

    E. J. Janse van Rensburg and A. Rechnitzer, Minimal knotted polygons in cubic lattices, J. Stat. Mech. Theory Exp. (2011), P09008

    2011

  6. [6]

    Hinojosa, A

    G. Hinojosa, A. Verjovsky and C. Verjovsky Marcotte, Cubulated moves and discrete knots, J. Knot Theory Ramifications 22 (2013), 1350079

    2013

  7. [7]

    Diao, Minimal knotted polygons on the cubic lattice, J

    Y. Diao, Minimal knotted polygons on the cubic lattice, J. Knot Theory Ramifications 2 (1993), 413--425

    1993

  8. [8]

    Diao, The number of smallest knots on the cubic lattice, J

    Y. Diao, The number of smallest knots on the cubic lattice, J. Stat. Phys. 74 (1994), 1247--1254

    1994

  9. [9]

    K. Hong, S. No and S. Oh, Upper bounds on the minimum length of cubic lattice knots, J. Phys. A: Math. Theor. 46 (2013), 125001

    2013

  10. [10]

    V. F. R. Jones, A polynomial invariant for knots via von Neumann algebras, Bull. Amer. Math. Soc. 12 (1985), 103--111

    1985

  11. [11]

    R. A. Litherland, J. Simon, O. Durumeric and E. Rawdon, Thickness of knots, Topology Appl. 91 (1999), 233--244

    1999

  12. [12]

    Ozawa, The Ideal Stratum and Deformation Persistence of Knot Types, arXiv:2604.17905, 2026

    M. Ozawa, The Ideal Stratum and Deformation Persistence of Knot Types, arXiv:2604.17905, 2026

    Pith/arXiv arXiv 2026

  13. [13]

    Reidemeister, Knotentheorie, Springer, Berlin, 1932

    K. Reidemeister, Knotentheorie, Springer, Berlin, 1932

    1932