{"id":"c463ba54-000c-45d4-8300-20ed75417d9c","arxiv_id":"2607.18872","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For hard rods of nonzero length in a 1D harmonic trap, every conserved quantity analytic in positions and momenta is a function of total energy and center-of-mass energy.","lead":"A rigorous proof shows that harmonically trapped hard rods with at least one nonzero-width rod have no hidden analytic conserved quantities beyond total energy and center-of-mass energy. The result rules out a popular explanation for the system's strange non-ergodic behavior.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 6.1's proof requires the origin-centered power series to converge on the collision hyperplane; for arbitrary rod lengths this is unproven, so the abstract's 'analytic in positions and momenta' claim is broader than the result.","rationale":"The reader's weakest_assumption exactly identifies the load-bearing gap: the proof assumes power-series convergence around the origin, while the physical phase space for nonzero rod lengths excludes the origin and the collision hyperplanes lie at distances b_n from it. This is not a minor technicality; it changes the class of functions ruled out. The algebraic core (Thms. 3.1, 4.2, 5.1) appears sound for polynomials and globally analytic functions, and the SMED and point-particle results are independent and valuable. However, Theorem 6.2 as stated in the abstract cannot be accepted as covering all conserved quantities analytic on the physical phase space without either extending the proof to local analyticity near the collision hyperplanes or narrowing the claim. The concrete test I propose—re-running Lemma 6.1 around a collision point—would settle whether the gap is merely presentational or reflects a real limitation of the theorem. Since the reader's conditional verdict already captures this risk, my read does not change that verdict.","tokens_in":23042,"tokens_out":26309,"duration_ms":244868,"concrete_test":"Re-derive Lemma 6.1 using a local power series centered at a point on the collision hyperplane, e.g., w = u_n - b_n, with U(1) invariance imposed as a differential equation rather than as a homogeneity condition on monomials. If the conclusion Q = P_n[Q] follows for arbitrary real-analytic Q on the physical domain, the origin-centered assumption is an artifact; if the derivation fails because the U(1) action is inhomogeneous in w, then the proof genuinely requires global balance and the authors must either restrict the abstract to globally analytic conserved quantities or provide a separate argument that local analytic conserved quantities extend to the origin.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central theorem (Thm. 6.2) and its key Lemma 6.1 rely on a power-series expansion around the origin of phase space, as explicitly stated in Sec. 2.2: the proof holds for quantities 'represented as a power series in any open region around the origin.' But for rods with at least one nonzero length, the physical phase space is the open set x_{n+1}-x_n > b_n > 0; the origin (x_i=0, p_i=0) is not in this domain. The collision condition (Eq. 7) is imposed on hyperplanes x_{n+1}-x_n = b_n. In the variables u_n = z_{n+1}-z_n, this hyperplane is u_n = b_n + i y for real y. The origin-centered Taylor series of Q in u_n, \\bar u_n converges only for |u_n| < R; evaluating it at u_n = b_n + i y requires b_n < R, which is not guaranteed for arbitrary rod lengths. A real-analytic function on the physical domain need not extend to an origin-centered power series with radius exceeding max b_n; it may have a singularity at the origin, which lies outside the physical domain. Thus the proof as written rules out only globally analytic quantities (or origin-analytic ones with sufficiently large convergence radius), not all quantities analytic on the physical phase space. The local U(1) part of Thm. 3.1 could likely be salvaged by PDE methods, but the collision argument in Lemma 6.1 uses a global δ-degree decomposition in u_n around 0; in shifted coordinates w = u_n - b_n the U(1) action becomes inhomogeneous (w -> e^{-it}w + b_n(e^{-it}-1)), so the same algebraic separation does not obviously follow. This is a genuine gap between the abstract's claim and the proven statement.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies N hard rods of lengths a_i in a one-dimensional harmonic trap. Motivated by numerical non-ergodicity, it asks whether an additional integral of motion beyond total energy E and center-of-mass energy E_cm exists. The paper proves: (Thm 3.1) any quantity conserved under free harmonic motion is U(1)-invariant and generated by the quadratics z_i \\bar z_j; (Thm 4.2) for point particles (a_i=0) the collision condition forces joint S_N label symmetry, giving an explicit algebra generated by balanced products of Z_{m,n}=Σ_j z_j^m \\bar z_j^n, with 2N-1 independent invariants; (Thm 5.1) for stochastic momentum-exchange dynamics, U(1) invariance plus momentum-permutation invariance implies functional dependence on E and E_cm; (Thm 6.2, main) when at least one rod has non-zero length, collision invariance forces adjacent momentum exchanges and, via U(1), adjacent position exchanges, generating the full permutation group and hence functional dependence on E and E_cm. Numerical Poincaré sections and Lyapunov exponents are presented for equal and unequal rod lengths.","tokens_in":23451,"tokens_out":36986,"duration_ms":299111,"significance":"If proven in full, the main theorem would rule out hidden analytic integrals in trapped hard rods, making the observed non-ergodicity a dynamical (KAM-like) phenomenon rather than a conservation-law effect. The paper is self-contained and parameter-free; the algebraic cores of Theorems 3.1, 4.2, and 5.1 are clean, and the point-particle classification with explicit independent integrals is a useful, falsifiable result. The numerical data for unequal rod lengths are new. However, the central Theorem 6.2 relies on Lemma 6.1, which has a genuine analyticity-domain gap (see major comment 1); as written the result is rigorously established only for polynomial and globally analytic conserved quantities, not for all analytic ones as the abstract claims. The contribution is significant if the statement is corrected or the gap closed.","major_comments":[{"comment":"Lemma 6.1 (used in Thm. 6.2) expands Q in u_n,\\bar u_n about u_n=0 (Eq. (59)) and enforces the collision condition (58) on u_n+\\bar u_n=2b_n. This requires the origin-centered power series to converge on that hyperplane, at distance b_n>0 from u_n=0. For a quantity assumed only analytic at the origin (Sec. 2.2), the convergence radius R need not exceed b_n; moreover the origin is outside the physical domain {x_{i+1}-x_i>b_i}, so origin analyticity does not constrain Q on the collision hyperplane when R<=b_n. Hence Eqs. (60)-(61) are not generally justified. The proof is rigorous for polynomial Q and for globally analytic Q, but the abstract/title claim all quantities analytic in positions and momenta. A function analytic on the physical domain can be singular at the origin (e.g., 1/|z_{n+1}-z_n|^2 for a two-rod system), so the assumption is not implied by analyticity on phase space. The","section":"Sec. 2.2; Lemma 6.1; Thm. 6.2"}],"minor_comments":[{"comment":"The notation C[{Q_α}] is defined in Eq. (11) via finite sums and products, but the theorems apply this to analytic functions that are not polynomials. For example, exp(E) is a conserved quantity for free motion but is not in the finite polynomial algebra C[E,E_cm]. The proofs actually establish a convergent power series in the generators, i.e., functional dependence, which is what the abstract states. Please define the power-series ring explicitly or phrase all conclusions in terms of functional dependence.","section":"Eq. (11); Thms. 3.1, 4.2, 5.1, 6.2"},{"comment":"Typo: 'large number of large number of rods' in the Introduction.","section":"Sec. 1"},{"comment":"Grammar: 'one of the rods have' should be 'has'.","section":"Abstract"},{"comment":"The caption reads 'We have taken 100 different initial conditions used E_cm = 0'; please rephrase and state which parameters are held fixed for each panel.","section":"Fig. 1 caption"},{"comment":"Refs. [60] and [82] contain DOIs that appear to be placeholder strings (10.1103/8l6f-z1jm and 10.1103/b974-mpkc); please verify.","section":"References"},{"comment":"The generator set notation in Eq. (31) is hard to parse; restate as the algebra generated by all products Z_{m_1,n_1}...Z_{m_R,n_R} such that Σ m_α = Σ n_α.","section":"Eq. (31)"}],"recommendation":"major_revision","confidential_remarks":"To the editor: the algebraic core of the paper is likely correct for polynomial and globally analytic conserved quantities, and the point-particle and SMED classifications are solid. The advertised main theorem is not proven in the stated generality because Lemma 6.1 does not control the domain of convergence of the origin-centered expansion on the collision hyperplanes. I recommend asking the authors to either narrow the claim in the title/abstract/theorems to polynomial or globally analytic conserved quantities, or supply a rigorous argument that the collision constraints force the needed analytic continuation. Also request the C[·] notation fix and the placeholder DOI check. The AI-use disclosure is appreciated but suggests the analyticity-domain issue may have been overlooked during automated proof generation."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: the paper proves something real, and it is better than a conjecture. For harmonically trapped hard rods with at least one nonzero length, there is no independent conserved quantity that is a polynomial — or, more generally, analytic in a neighborhood of the origin — in the positions and momenta, beyond E and E_cm. The free-motion U(1) theorem, the point-particle classification in Sec. 4, and the SMED theorem in Sec. 5 are self-contained and clean. The collision argument in Lemma 6.1 is the delicate part, and for polynomial quantities it works. That is enough to settle the open question in the form the numerics really probed, and the explicit family of conserved quantities for zero-length rods is a genuinely useful byproduct.\n\nThe soft spot is exactly the one the stress-test flags. The proof expands around the origin, and for nonzero rod lengths the physical phase space excludes the origin; the collision hyperplanes sit at distance b_n > 0. A real-analytic conserved quantity on the physical domain does not have to extend to an origin-centered power series with radius exceeding max b_n. So the abstract's \"analytic in the positions and momenta\" claim is broader than the theorem as written. What is actually proven is the no-go for polynomial or globally analytic quantities, or origin-analytic ones with sufficiently large convergence radius. That is a genuine scope gap, not a manufactured one, and it should be the main revision request. If the authors can either restrict the claim honestly or provide a continuation argument to the collision hyperplanes, the paper is in good shape.\n\nThe numerical Poincaré-section material is illustrative rather than central; the authors do not oversell it, and it is consistent with their conclusion. The discussion of equal versus unequal lengths is speculative but labeled as such.\n\nWho this is for: people working on classical integrability, trapping-induced non-ergodicity, and the classical analog of quantum many-body scars. It deserves a serious referee. My recommendation is to send it to review with the analyticity domain as the focus. If that gets fixed, I would be happy to see it published.","headline":"Useful and mostly rigorous no-go result for trapped hard rods, but the advertised analyticity claim is broader than the proof supports.","tokens_in":23966,"tokens_out":4982,"would_cite":true,"duration_ms":48834,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37J30","37J35","70H06","82C22"],"pacs":["05.20.-y","05.45.-a"],"model":"deepseek-v4-flash","headline":"Trapped hard rods with finite length have no hidden analytic conserved quantity beyond energy and center-of-mass energy.","keywords":["hard rods","harmonic trap","conserved quantities","integrability","non-ergodicity","analytic invariants","permutation symmetry","center-of-mass energy"],"falsifier":"A conserved quantity $Q$ analytic on the physical phase space of a system with at least one nonzero-length rod that is not functionally dependent on $E$ and $E_{\\mathrm{cm}}$ would refute the main theorem; numerically, one could integrate three unequal-length rods and test whether any smooth function beyond $E$ and $E_{\\mathrm{cm}}$ remains constant along a trajectory.","tokens_in":22869,"feed_emoji":"📏","tokens_out":6545,"duration_ms":59503,"temperature":0.7,"texified_at":"2026-08-05T21:31:55.038212+00:00","pith_summary":"This paper asks why harmonically confined hard rods fail to thermalize despite having only two known conserved quantities: total energy $E$ and center-of-mass energy $E_{\\mathrm{cm}}$. The authors prove that when at least one rod has nonzero length, any conserved quantity analytic in the positions and momenta must be a function of $E$ and $E_{\\mathrm{cm}}$—so no hidden analytic integral explains the observed non-ergodicity. The proof combines a $U(1)$ rotation symmetry forced by free motion with a momentum-permutation symmetry forced by collisions, then shows via invariant theory that only the two quadratic invariants survive. For point particles (zero rod length) the situation is opposite: the paper constructs a full family of extra conserved quantities and shows the system is maximally superintegrable. A sympathetic reader would care because the result redirects the search for an explanation of the rods' anomalous dynamics away from exact conservation laws.","texify_model":"deepseek-v4-flash","texify_usage":{"total_tokens":3936,"prompt_tokens":765,"completion_tokens":3171,"prompt_tokens_details":{"cached_tokens":0},"prompt_cache_hit_tokens":0,"prompt_cache_miss_tokens":765,"completion_tokens_details":{"reasoning_tokens":2446}},"feed_headline":"Trapped hard rods hide no extra conserved quantity","feed_subtitle":"Proof: with at least one finite rod, only total energy and center-of-mass energy survive as analytic invariants.","key_machinery":"The central machinery is a pair of symmetry constraints on any candidate conserved quantity $Q$. Free motion in the harmonic trap is a rotation in each $(x_i, p_i)$ plane, so conservation forces $Q$ to be $U(1)$-invariant; in complex coordinates $z_i = x_i + i p_i$ this means $Q \\in \\mathbb{C}[\\{z_i \\bar z_j\\}]$. A collision between rods of nonzero length then forces $Q$ to be invariant under exchange of the two colliding momenta, which, together with the $U(1)$ action, generates the full permutation group $S_N$ on momenta (and then on positions). The final theorem applies the invariant theory of $SO(2) \\times SO(2N-2)$ to show that the only functions invariant under all these symmetries are functions of the two quadratic forms","core_discovery":"When at least one rod has nonzero length, the algebra of analytic conserved quantities of the harmonically confined hard-rod gas is exactly $\\mathbb{C}[E, E_{\\mathrm{cm}}]$: every conserved quantity that is analytic in phase space is functionally dependent on the total energy and the center-of-mass energy. This is shown by proving conservation under free motion forces $U(1)$ invariance under rotations of each rod's $(x_i, p_i)$ pair, and conservation under collisions forces invariance under arbitrary permutations of the momenta; these combined symmetries reduce the invariant theory to an $SO(2) \\times SO(2N-2)$ problem whose only invariants are the two quadratic norms. The same treatment yields exhaustive results for relate","pith_inferences":["The result implies that the regular orbits and near-zero Lyapunov exponents seen in N=3 trapped rods must arise from quasi-conserved structures rather than exact analytic integrals; a KAM-like 'dressed' invariant that is only defined on part of phase space is a natural next thing to search for.","The same symmetry-imposition recipe—free-motion U(1) plus collision-induced permutation constraints—could be applied to other classical many-body systems with hard constraints, such as classical fractons or multipole-conserving models, to classify their conserved algebras.","For zero-length rods, the paper's explicit conserved quantities suggest a sharp numerical test: a point-particle gas in the same trap should exhibit non-thermalization to Gibbs ensembles, in contrast to finite-length rods."],"forward_implications":["The observed non-ergodicity and regular Poincaré sections of trapped hard rods cannot be explained by an exact analytic conserved quantity; its origin must lie in quasi-conserved or non-analytic structures.","The equal-length case is not special at the level of exact analytic conservation laws: the no-hidden-integral result holds for any set of rod lengths with at least one nonzero length.","Zero-length rods (point particles) in the same trap are maximally superintegrable, with 2N−1 functionally independent conserved quantities explicitly constructed from symmetric power sums.","For the Stochastic Momentum Exchange Dynamics variant, the same method yields the same conclusion: only E and E_cm survive.","The systematic proof technique—imposing free-motion U(1) and collision permutation symmetries—can be applied to other classical many-body systems to rule out or reveal hidden conserved quantities."],"fun_headline_variants":["No hidden analytic invariants in trapped hard rods","Harmonic trap rods: only energy and center-of-mass","Hard rods in trap: no conserved quantity beyond two","Trapped hard rods: exactly two analytic conserved quantities","Finite rod gas in harmonic trap: no extra invariants"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The proof assumes the conserved quantity has a power-series expansion around the phase-space origin, while collisions of nonzero-length rods occur on hyperplanes that may lie outside that series' convergence domain; the conclusion is airtight for polynomial or globally analytic quantities, and for all analytic quantities only if the series converges on the collision hyperplanes.","fun_headline_variants_meta":{"raw":{"variants":["No hidden analytic invariants in trapped hard rods","Harmonic trap rods: only energy and center-of-mass","Hard rods in trap: no conserved quantity beyond two","Trapped hard rods: exactly two analytic conserved quantities","Finite rod gas in harmonic trap: no extra invariants"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00033,"raw_usage":{"total_tokens":1697,"prompt_tokens":784,"completion_tokens":913,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":528,"completion_tokens_details":{"reasoning_tokens":835}},"tokens_in":528,"tokens_out":913,"duration_ms":9287,"temperature":1.0,"reasoning_tokens":835,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T14:05:31.413133+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A conserved quantity $Q$ analytic on the physical phase space of a system with at least one nonzero-length rod that is not functionally dependent on $E$ and $E_{\\mathrm{cm}}$ would refute the main theorem; numerically, one could integrate three unequal-length rods and test whether any smooth function beyond $E$ and $E_{\\mathrm{cm}}$ remains constant along a trajectory.","supporting_citations":[],"review_version":1}