{"id":"27f26dee-35dd-4100-8df9-e245f723b780","arxiv_id":"2506.12054","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"A reversible, deterministic evolution of signed particles on the frame bundle of a finite simplicial complex is defined, generalizing single-particle geodesic flow to interacting multi-particle systems.","lead":"This paper defines a new multi-particle model on discrete manifolds, where signed particles move along geodesics on a frame bundle and interact only when they share a facet. It offers a deterministic, reversible, parameter-free cellular automaton that may serve as a toy model for space-time and matter, though most of its dynamical claims are left unproved.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Section 1.12's B formula is not an involution as written; only the Mathematica code's B is. Since reversibility of T=BA hinges on B^2=id, the manuscript's central definition is internally inconsistent as printed.","rationale":"The reader's stated weakest assumptions focus on the star condition and the eddie reduction, but the rationale separately notes that the text formula for B disagrees with the code. The B discrepancy is the single most load-bearing issue because the paper's central claim is that T=BA is a deterministic reversible map, and §1.12 is the only definition of B. As printed, the text's B is not an involution for q≥2, so T^{-1}=AB does not follow; the code appears to fix this by using the opposite exponent for negative particles. The star condition, by contrast, is explicitly assumed and is independently plausible for Dehn-Sommerville manifolds via [18]; the eddie statement, while unproved, is auxiliary and can be justified by the fact that B's rotation depends only on counts modulo q+1. Since the core issue is a fixable definitional inconsistency rather than an unfixable mathematical obstruction, the existing CONDITIONAL verdict is appropriate.","tokens_in":10050,"tokens_out":22211,"duration_ms":258035,"concrete_test":"Compute B twice by hand for a single positive particle at a frame x in the octahedron K_{2,2,2} (q=2, q+1=3), with k-l=1. Using the §1.12 text formula: first step gives -Lx; second step gives +L(Lx)=+L^2x ≠ x. Repeat with the code's definition, which applies RL by k-l to both signs: first step gives -Lx; second step gives L^{-1}(Lx)=x. If the text is corrected to match the code, B is an involution.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The text in §1.12 defines B(+x) = -L^{k-l}(x) and B(-x) = +L^{l-k}(x) = +R^{k-l}(x), while the code applies RL (i.e., L) by k-l for both signs. The two agree for q=1, since l-k ≡ k-l mod 2, but not for q≥2. Concretely, take a single positive particle at a frame x in a q=2 complex, so k-l=1. The text's first application gives -Lx. Now the particle is negative and the text's negative rule uses exponent l-k, which is 1 after the count swap, so B(-Lx) = +L(Lx) = +L^2x. Thus B^2(x) = L^2x ≠ x, whereas the code's B gives B^2(x)=x. For a single particle the text's B has period 3, not 2. Since §1.6 explicitly claims that B and A are involutions and that T^{-1}=AB, the reversibility of the central map depends on B^2=id. The printed formula therefore does not define the reversible evolution claimed in the strongest statement; only the code version does. This is not a missing proof but a concrete inconsistency in the central definition, and it is not detectable in the q=1 experiments of §2.3.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":10295,"tokens_out":13581,"duration_ms":120994,"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":[{"comment":"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.","section":"§1.12 and §1.6"},{"comment":"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.","section":"§1.9 and §1.14"},{"comment":"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.","section":"§1.12 and §1.17(2)"},{"comment":"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.","section":"§1.2 and §1.5"}],"minor_comments":[{"comment":"The phrase 'principle Sq+1-fiber bundle' should be 'principal S_{q+1}-fiber bundle'.","section":"§1.4"},{"comment":"The spelling 'eddie' is used in most of the paper but 'eddy' appears in Question Q1; the terminology should be unified.","section":"§1.9, §1.14, §5.1"},{"comment":"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.","section":"§2.2"},{"comment":"The text 'We have defined a —bf global reversible dynamical system' contains a formatting artifact ('—bf'); it should read 'a global reversible dynamical system'.","section":"§1.17(1)"},{"comment":"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.","section":"§4"},{"comment":"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.","section":"§2.3"}],"recommendation":"major_revision","confidential_remarks":"The paper's central idea is interesting and the code appears to produce the advertised examples, but the mathematical presentation falls short of the standard for a journal article: the main map's definition is internally inconsistent, and several structural claims are asserted without proof. The manuscript would benefit from a rigorous statement of the configuration space, a corrected definition of B with a proof of its involution property (or, alternatively, a proof of reversibility that does not require B^2=id), and a proof of the eddie-invisibility property. The heavy reliance on the author's unpublished work [23] is also a concern; the geodesic flow definition should be reproduced or at least precisely stated."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the one thing to know: the central definition of B in Section 1.12 is not an involution, and the Mathematica code defines a different map. For a single positive particle in a q=2 complex, the printed formula gives B(+x)=-Lx and then B^2(x)=L^2x, not x, so the claimed T^{-1}=AB fails. The code rotates both signs by the same count, so it is not the same map; the stress-test's claim that the code's B is an involution is off—the code also gives period 3 for a single particle. The paper thus does not pin down a unique reversible evolution.\n\nWhat is genuinely new: a parameter-free deterministic interacting particle system on the frame bundle of a finite simplicial complex, with divisors as configurations, local interactions, and a single-particle geodesic limit. The eddy idea is cute, and the paper is honest about its exploratory status, ending with open questions. The Mathematica code is included, and the examples illustrate the intended behavior.\n\nThe soft spots are real. Beyond the B inconsistency, the paper asserts rather than proves that A and B are involutions, that T is a permutation, and that q+1 same-sign particles are dynamically invisible. The star condition for the partner map is imported from [18], not proved for Dehn-Sommerville manifolds in this paper. Experiments are illustrative, with no data or repository.\n\nThis is a definition-plus-conjectures preprint. If the author corrects the B formula, reconciles text and code, and either proves or explicitly conjectures the key properties, it could be a useful toy model for reversible discrete dynamics. As written, I wouldn't cite it. But the idea is novel enough that I'd send it to a referee with instructions to check the definitions carefully. The right outcome is probably major revision, not desk rejection.","headline":"Central B definition is internally inconsistent (not an involution) and the code disagrees with the text, so the reversibility claim is unverifiable as written.","tokens_in":10831,"tokens_out":12088,"would_cite":false,"duration_ms":109263,"reading_group":"maybe","serious_thinker":"no","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37B15","37D40","05E45"],"pacs":[],"model":"deepseek-v4-flash","headline":"A deterministic reversible rule on ordered facets makes one particle follow a discrete geodesic and many particles interact only when sharing a facet.","keywords":["discrete geodesics","frame bundle","simplicial complexes","reversible cellular automaton","particle configurations","divisors","Dehn-Sommerville manifolds","interacting particle systems"],"falsifier":"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.","tokens_in":9773,"feed_emoji":"⚛️","tokens_out":7727,"duration_ms":70318,"temperature":0.7,"pith_summary":"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.","feed_headline":"Particles on discrete manifolds move reversibly along geodesics","feed_subtitle":"A parameter-free, reversible rule on ordered facets sends single particles along geodesics; many interact only when sharing a facet.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Defines the single-particle geodesic flow that the interacting dynamics reduces to for one particle.","marker":"[23]"},{"why":"Supplies the result that Dehn-Sommerville manifolds satisfy the wall condition giving every frame a unique partner.","marker":"[18]"},{"why":"Provides the divisor and Riemann-Roch language used to represent signed particle configurations on the frame bundle.","marker":"[3]"},{"why":"Gives the reversible cellular automaton setting that justifies interpreting the particle evolution as a local reversible dynamical system.","marker":"[11]"}],"fun_headline_variants":["Discrete geodesics: reversible particle interactions on frames","Reversible particle motion along discrete geodesics","Interacting particles trace geodesics on discrete manifolds","Deterministic reversible flow on discrete frame bundles","Particles on discrete manifolds: geodesic interactions, reversible"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Discrete geodesics: reversible particle interactions on frames","Reversible particle motion along discrete geodesics","Interacting particles trace geodesics on discrete manifolds","Deterministic reversible flow on discrete frame bundles","Particles on discrete manifolds: geodesic interactions, reversible"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00047,"raw_usage":{"total_tokens":2262,"prompt_tokens":792,"completion_tokens":1470,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":408,"completion_tokens_details":{"reasoning_tokens":1395}},"tokens_in":408,"tokens_out":1470,"duration_ms":10475,"temperature":1.0,"reasoning_tokens":1395,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T12:35:37.546697+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the single-particle geodesic flow that the interacting dynamics reduces to for one particle."},{"cited_title":"Baker and S","cited_arxiv_id":null,"evidence_quote":"Provides the divisor and Riemann-Roch language used to represent signed particle configurations on the frame bundle."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the reversible cellular automaton setting that justifies interpreting the particle evolution as a local reversible dynamical system."}],"review_version":1}