Pith. sign in

REVIEW 4 major objections 6 minor 31 references

Interacting Geodesics on Discrete Manifolds

T0 review · 4 major / 6 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 A deterministic reversible rule on ordered facets makes one particle follow a discrete geodesic and many particles interact only when sharing a facet.

desk verdict Central B definition is internally inconsistent (not an involution) and the code disagrees with the text, so the reversibility claim is unverifiable as written. read the letter →

arxiv 2506.12054 v1 pith:4XQXALO2 submitted 2025-05-30 math.DS cs.DMmath-phmath.MP

Oliver Knill This is my paper
classification math.DScs.DMmath-phmath.MP MSC 37B1537D4005E45
keywords discretegeodesicsframebundlesimplicialcomplexesreversiblecellularautomatonparticleconfigurationsdivisorsDehn-Sommervillemanifoldsinteractingsystems
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 tries to establish a fully deterministic, parameter-free model in which particles move on a finite simplicial complex and interact only when occupying a common facet. Each particle is a signed totally ordered maximal simplex, and the dynamics is the composition of two involutions, which makes the evolution reversible by construction. If the construction works, it provides a reversible interacting particle system on any finite complex whose walls bound at most two facets, with single-particle motion reducing to discrete geodesics and multi-particle motion producing a time-dependent reversible deformation of space. The motivation is to have a simple toy model, in the spirit of a lattice gas, that raises sharply posed dynamical questions rather than attempting a physical theory.

What carries the argument

The central object is the discrete frame bundle $P$: the set of totally ordered $q$-simplices, called frames, of a finite $q$-dimensional simplicial complex $G$, together with the projection that forgets the order and records the facet. The dynamics is $T=BA$: $A(x)=-x'$ sends an ordered simplex to its unique partner across the wall and flips its sign, while $B$ rotates the order of the frame by $k-l$ positions, where $k$ and $l$ are the numbers of positive and negative particles on the same facet. For one particle this reduces to a geodesic flow on $G$; for many particles, particles influence one another only through the counts $k$ and $l$ at a shared facet.

What would settle it

On a complex containing a wall bounded by three facets, the partner in $A(x)=-x'$ is not unique, so $T$ is not single-valued. On a small complex such as the octahedron, compare the full divisor orbit with the orbit obtained after deleting all $q+1$ identical same-sign particles at one frame; any discrepancy in another particle's trajectory would refute the eddy claim.

Watch

Extended reading notes

Core claim

The central claim is that the map $T=BA$ on the set of signed frame configurations is a deterministic reversible permutation, and that it deserves to be called interacting geodesics: for a single particle it reproduces the geodesic flow of reference [23], while for several particles interaction occurs only when two particles project to the same facet. The two involutions are $A(x)=-x'$, which moves a particle across the unique wall partner of its frame, and $B$, which rotates entries of the frame in the fiber by the signed surplus of positive over negative particles at that facet. Since $T^{-1}=AB$, reversibility is built in. The paper further claims that $q+1$ same-sign particles at a single frame are dynamically invisible, so configurations differing by such eddies are equivalent, and that the resulting motion of a divisor deforms space reversibly and locally at a universal speed.

Load-bearing premise

The construction presumes every wall bounds at most two facets, and it treats as an unproved premise that $q+1$ identical same-sign particles at one frame are dynamically invisible.

Editorial extensions

If this is right

  • For one particle, $T$ reduces to the geodesic flow, so the known single-particle geometry is embedded in the interacting system.
  • The evolution is reversible because $T^{-1}=AB$, and both total particle number and total signed degree are preserved.
  • If every frame carries a constant number $k$ of particles with $k$ and $q+1$ coprime, the motion is conjugate to the standard geodesic flow; one particle plus one antiparticle per frame gives a period-2 blinker.
  • The dynamics is a local cellular automaton: a change at one facet cannot influence particles at graph distance $n$ in fewer than $n$ steps, so signals propagate at a universal speed.
  • Particle-antiparticle configurations on every frame encode the gluing of space, so the evolving divisor can be read as a reversible deformation of the complex itself.

Reading between the lines

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

  • Beyond the paper, the eddy reduction is directly testable by enumeration: on a small complex, delete all $q+1$ identical same-sign particles from a frame and compare the remaining divisor's orbit with the full orbit.
  • Beyond the paper, if the eddy claim holds, the effective state space has $f_q(q+1)!(q+1)$ relevant configurations rather than $(q+1)!^{f_q}$, making exhaustive numerical searches on small complexes such as the octahedron feasible.
  • Beyond the paper, the natural question is whether the time-dependent eddy flow becomes transitive within a time interval whose length grows logarithmically with $|P|$; this is the paper's Q1, but testing it numerically is a direct extension.
  • Beyond the paper, replacing the cyclic fiber rotation by a dihedral reflection could give a Pauli-type exclusion; the paper only sketches this fermionic variant.
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

4 major / 6 minor

Summary. The paper defines a deterministic, reversible interacting particle system on the frame bundle P of a finite simplicial complex G. A particle is a signed totally ordered maximal simplex (a frame), and the evolution is written as T = B ∘ A, where A sends a frame to its unique partner with opposite sign and B rotates signs and frames according to the local counts of positive and negative particles projecting to the same facet. The paper claims that single particles move along geodesics from the author's earlier work [23], that q+1 identical same-sign particles are dynamically invisible and can be removed, that the evolution preserves particle number and total degree, and that the dynamics deforms space reversibly. The remainder of the paper discusses examples in q=1 and q=2, displays Mathematica code implementing the rule, and lists open questions.

Significance. If the construction were correct and fully proved, it would provide a parameter-free reversible cellular automaton on discrete manifolds, with potential interest as a toy model for interacting particle systems, lattice gases, and discrete geometry. The paper is explicit about the model and ships reproducible Mathematica code and figures from experiments. However, the core definition is not yet demonstrated: the printed formula for B is not an involution, the claimed equivalence with geodesic flow is asserted rather than derived, and the 'eddie' invisibility property is stated without proof. These gaps are load-bearing because the reversibility, the state-space reduction, and the geodesic interpretation all depend on them.

major comments (4)
  1. [§1.12 and §1.6] The formula for B is not an involution, contradicting the claim in §1.6 that B and A are involutions and that T^{-1}=AB. For a single positive particle at x in a q=2 complex, B(+x) = -L^{k-l}(x) = -Lx (since k=1,l=0). At the new negative particle at Lx, the counts are k=0,l=1, so B(-Lx) = +L^{l-k}(Lx) = +L^1(Lx) = L^2x, which is not x unless L^2=id. Thus B^2(x) = L^2x ≠ x, and the identity T^{-1}=AB fails for the printed definition. The Mathematica code in §4 implements a different rule (no sign flip and the same rotation exponent for both signs); even that rule gives B^2(x)=L^2x for a single particle in q≥2, so it also is not an involution. The authors must correct the definition of B and prove B^2=id, or otherwise establish reversibility of T.
  2. [§1.9 and §1.14] The 'eddie' claim that q+1 same-sign particles at the same frame x are dynamically invisible is asserted without proof. The text in §1.14 states that any set of same-orientation particles whose total degree is 0 modulo q+1 can be removed without affecting the rest, but no argument is given. This property is load-bearing because it justifies the state-space reduction to at most q|P| configurations and underlies the discussion of blinkers in §2.2. It should either be proved from the definitions of A and B or stated explicitly as an assumption.
  3. [§1.12 and §1.17(2)] The claim that a single particle follows the geodesic flow defined in [23] is not verified. For n=1 the definition gives T(x) = B(A(x)) = B(-x'), which involves the rotation exponent k-l computed from the single particle's own counts; the paper does not compute this explicitly or show that it equals the geodesic rule of [23]. Given the inconsistency in B identified above, this statement cannot be checked by the reader. A direct proof or a precise comparison with [23] is needed.
  4. [§1.2 and §1.5] The assertion that Dehn-Sommerville manifolds satisfy the required star condition (every (q-1)-simplex is contained in at most two q-simplices) is imported from [18] with a one-sentence justification about unit spheres being 0-spheres. Since this condition is the foundational hypothesis for the construction, the paper should state the relevant theorem or result from [18] explicitly and indicate how it implies the star condition.
minor comments (6)
  1. [§1.4] The phrase 'principle Sq+1-fiber bundle' should be 'principal S_{q+1}-fiber bundle'.
  2. [§1.9, §1.14, §5.1] The spelling 'eddie' is used in most of the paper but 'eddy' appears in Question Q1; the terminology should be unified.
  3. [§2.2] The sentence 'There are no positive or negative particles in one dimension, just one type of particles' appears to contradict the signed-particle definition in §1.12 for q=1; the paper should clarify whether the two signs are actually identified for q=1.
  4. [§1.17(1)] The text 'We have defined a —bf global reversible dynamical system' contains a formatting artifact ('—bf'); it should read 'a global reversible dynamical system'.
  5. [§4] The Mathematica code is compressed and not self-contained (it depends on a separately defined G); adding comments and a short explanation of the variables would greatly improve reproducibility.
  6. [§2.3] In the q=1 example, the statement 'the second part B of the dynamics T=BA is just negation' is imprecise, since the general formula for B also includes a fiber rotation L^{k-l}; the q=1 special case should be spelled out.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the dynamics is constructed from explicit involutions and prior independent geodesic flow; no fitted parameter is relabeled as a prediction.

full rationale

The paper's central object is a deterministic map T=BA defined in Section 1.12 from explicit involutions A and B; reversibility, degree preservation, and the mod-(q+1) cancellations behind 'eddies' follow algebraically from the definition of the rotation exponents k-l, so they are consequences of the construction rather than predictions fitted to data. The single-particle geodesic statement is inherited from the same author's prior work [23] by direct reduction ('For a single particle n=1, we get the geodesic flow as defined in [23]'), but [23] is a parameter-free prior construction with its own assumptions and is not derived from the present paper's target; this is a self-citation used as independent support, not a circular reduction. The Dehn-Sommerville star-condition input is likewise cited from [18] and is not the paper's conclusion. No fitted parameter is disguised as a prediction, and no uniqueness claim is imported to make a choice forced. The eddie-invisibility assertion in Section 1.14 is stated without an explicit proof, but it is an algebraic consequence of the same B formula and not a circular dependency. The question of whether the printed B formula is literally an involution is a separate correctness issue, not a circularity issue.

Assumptions & free parameters 0 free parameters · 4 assumptions · 1 invented entities

No free parameters are fitted: the model's inputs are the complex G, the dimension q, and the choice of fiber group (cyclic or dihedral). The central construction rests on the star condition, the purity assumption, the imported Dehn-Sommerville property, and the asserted eddie invisibility; none of these is proven in this paper, and the text-code mismatch leaves the precise definition of B uncertain.

assumptions (4)
  • domain assumption Every (q-1)-simplex z has a star U(z) containing the simplex itself plus exactly one or two q-simplices, so every frame x has a unique partner x'.
    Invoked in Sections 1.1 and 1.5 to define the wall-crossing step A; if this fails, A is multivalued or undefined. For Dehn-Sommerville manifolds the property is imported from reference [18] rather than proved here.
  • domain assumption The complex G is pure and generated by its q-simplices, so the set of facets F determines G through its Alexandrov closure.
    Used in Sections 1.4 and 3.3 to justify that the frame bundle P over F carries all geometric information.
  • ad hoc to paper A group of q+1 same-sign, same-orientation particles at one point x in P is dynamically invisible and can be removed without changing the rest of the evolution.
    Stated in Sections 1.9 through 1.14 to justify the eddie concept and the state-space reduction to at most q|P| configurations; no proof or external verification is given.
  • domain assumption The single-particle geodesic flow from reference [23] has the stated motion, so that restricting T to one particle reproduces it.
    Section 1.12 defines T to reduce to the flow of [23] without proving the reduction here; this is a self-cited prior result.
invented entities (1)
  • Eddie (or eddy)
    purpose: A collection of q+1 particles at the same frame claimed to be dynamically invisible, used as a tracer and to reduce the number of relevant configurations.
    Introduced in Sections 1.9 through 1.14; no independent empirical or mathematical evidence is provided beyond the paper's own assertion that such piles do not affect other particles.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Interacting Geodesics on Discrete Manifolds." pith.science (2026). https://pith.science/paper/4XQXALO2

@misc{pith2026250612054,
  author       = {Pith},
  title        = {Pith review of: Interacting Geodesics on Discrete Manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4XQXALO2}},
  note         = {Machine review of arXiv:2506.12054}
}
abstract

We define an evolution of multiple particles on a discrete manifold $G$. Each particle alone moves on geodesics and particles can interact if they are on the same facet. They move deterministically and reversibly on the frame bundle $P$ of the abstract simplicial complex $G$. Particles are signed and each is represented by a totally ordered maximal simplex $p \in P$ in $G$. The motion of divisors on $P$ also defines a time dependent reversible deformation of space.

Figures

Figures reproduced from arXiv: 2506.12054 by the authors.

Figure 1
Figure 1. We see a positive and negative particle scatter in a 2 dimensional complex. 6 [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗
Figure 2
Figure 2. Here we see a molecule of two positive particles colliding with a negative particle. In this case, one of the positive parts gets attached to the negative particle and moves away [PITH_FULL_IMAGE:figures/full_fig_p007_2.png] view at source ↗
Figure 3
Figure 3. Three positive particles, where one is a molecule scatter and leave all individually. 7 [PITH_FULL_IMAGE:figures/full_fig_p007_3.png] view at source ↗
Figures from the paper (2 more)
Figure 4
Figure 4. Figure 4: Three particles scattering in 3 dimensions. The method and code works without modification in any dimension [PITH_FULL_IMAGE:figures/full_fig_p008_4.png]
Figure 5
Figure 5. Figure 5: Two positive and one negative particles form a triple collision, leaving a particle-anti-particle blinker and one freely moving particle. 3. Remarks 3.1. The definition given here was motivated by classical mechanics, noting that particles interact by transferring mome…

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

31 extracted references · 26 canonical work pages

  1. [18]

    O. Knill. Dehn-Sommerville from Gauss-Bonnet. https://arxiv.org/abs/1905.04831, 2019

    arXiv 1905

  2. [23]

    O. Knill. Geodesics for discrete manifolds, 2025. 11 PARTICLES

    work page 2025

  3. [1]

    Alexandroff

    P. Alexandroff. Diskrete R¨ aume.Mat. Sb. 2 , 2, 1937

    work page 1937

  4. [2]

    Bachmann

    F. Bachmann. Aufbau der Geometrie aus dem Spiegelungsbegriff . Springer Verlag, 1959

    work page 1959

  5. [3]

    Baker and S

    M. Baker and S. Norine. Riemann-Roch and Abel-Jacobi theory on a finite graph.Advances in Mathematics, 215:766–788, 2007

    work page 2007

  6. [4]

    Brown and K

    W. Brown and K. Hepp. The Vlasov dynamics and its fluctuations in the 1/n limit of interacting classical particles. Comm. Math. Phys. , 56:101–113, 1977

    work page 1977

  7. [5]

    Chopard and M

    B. Chopard and M. Droz. Cellular automata modeling of physical systems . Collection Al´ ea-Saclay: Mono- graphs and Texts in Statistical Physics. Cambridge University Press, Cambridge, 1998

    work page 1998

  8. [6]

    M. Gardner. wheels, Life and Other Mathematical Amusements . Freeman and Company, 1983

    work page 1983

Show all 31 references
  1. [7]

    Hardy, O

    J. Hardy, O. de Pazzis, and Y. Pomeau. Molecular dynamics of a classical lattice gas: transport properties and time correlation functions. Phys. Rev. A , 13:1949–1961, 1976

    1949

  2. [8]

    Hardy and Y

    J. Hardy and Y. Pomeau. Thermodynamics and hydrodynamics for a modeled fluid. J. Math. Phys. , 13:1042–1051, 1972

    1972

  3. [9]

    Hasslacher

    B. Hasslacher. Discrete fluids. In N. Grant Cooper, editor, From Cardinals to Chaos. Cambridge University Press, 1987

    1987

  4. [10]

    J. Hawkins. The mathematics of cellular automata , volume 108 of Student Mathematical Library. American Mathematical Society, 2024

    2024

  5. [11]

    G.A. Hedlund. Endomorphisms and automorphisms of the shift dynamical system. Math. Syst. Theor. , 3:320–375, 1969

    1969

  6. [12]

    Hof and O

    A. Hof and O. Knill. Cellular automata with almost periodic initial conditions. Nonlinearity, 8(4):477–491, 1995

    1995

  7. [13]

    Hofer and E

    H. Hofer and E. Zehnder. Symplectic invariants and Hamiltonian Dynamics . Birkh¨ auser Advanced texts. Birkh¨ auser, 1994

    1994

  8. [14]

    Ilachinski

    A. Ilachinski. Cellular automata . World Scientific Publishing Co, 2001. A discrete universe

    2001

  9. [15]

    M. Jeger. Transformation geometry. Goerge Allen and Unwin Ltd, 1966

    1966

  10. [16]

    O. Knill. An existence theorem for vlasov gas dynamics in regions with moving boundaries. https://www.researchgate.net/publication/2331504, 2000

    2000

  11. [17]

    O. Knill. A graph theoretical Gauss-Bonnet-Chern theorem. http://arxiv.org/abs/1111.5395, 2011

    2011 arXiv

  12. [19]

    O. Knill. More on numbers and graphs. https://arxiv.org/abs/1905.13387, 2019

    1905 arXiv

  13. [20]

    O. Knill. On Graphs, Groups and Geometry. https://arxiv.org/abs/2205.14097, 2022

    2022 arXiv

  14. [21]

    O. Knill. Finite topologies for finite geometries. https://arxiv.org/abs/2301.03156, 2023

    2023 arXiv

  15. [22]

    O. Knill. Fudsion inequality for quadratic cohomology, 2024

    2024

  16. [24]

    N. Levitt. The Euler characteristic is the unique locally determined numerical homotopy invariant of finite complexes. Discrete Comput. Geom. , 7:59–67, 1992

    1992

  17. [25]

    J.L. Schiff. Cellular automata . Series in Discrete Mathematics and Optimization. Wiley-Interscience, 2008. A discrete view of the world

    2008

  18. [26]

    C.E. Shannon. A mathematical theory of communication. The Bell System Technical Journal , 27:379– 423,623–656, 1948

    1948

  19. [27]

    ’t Hooft

    G. ’t Hooft. The Cellular Automaton Interpretation of Quantum Mechanics , volume 185 of Fundamental Theories of Physics . Springer Open, 2016

    2016

  20. [28]

    A.A. Vlasov. Many-particle theory and its application to plasma , volume 7 of Russian monographs and texts on advanced mathematics and physics . Gordon and Breach, New York, 1961

    1961

  21. [29]

    H. Weyl. Space, Time, Matter . Dover, 1950

    1950

  22. [30]

    S. Wolfram. Theory and Applications of Cellular Automata . World Scientific, 1986

    1986

  23. [31]

    S. Wolfram. A new kind of Science . Wolfram Media, 2002. Department of Mathematics, Harvard University, Cambridge, MA, 02138 12

    2002

Pith tools

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