{"id":"e1d0127d-4f74-4d4e-a253-3425cdf65a33","arxiv_id":"2601.04951","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Coarse-grained exact microscopic density correlations of 1D hard rods match BMFT predictions, verifying hydrodynamic fluctuation assumptions in this integrable model.","lead":"This paper works out exact formulas for density correlations in a one-dimensional gas of hard rods, at both the microscopic scale and the fluid (hydrodynamic) scale. Coarse-graining the exact microscopic formulas reproduces the predictions of ballistic macroscopic fluctuation theory (BMFT), in one of the few fully analytical checks of that theory against exact microscopic dynamics.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Agreement with BMFT is established only for an initial point-particle ensemble whose rod coordinates already carry Euler-scale long-range correlations; this restricts the claimed validation of hydrodynamic assumptions.","rationale":"The reader's weakest_assumption already identifies the same load-bearing concern: the initial point-particle i.i.d. ensemble mapped to rods carries long-range correlations from the outset, so the paper validates BMFT for a specialized, already-correlated initial condition rather than for generic local-equilibrium states. I considered other potential objections—the apparent dimensional typo in Eq. (42a), the absence of quantitative error bars, and the fact that BMFT is from the same group—but these are presentation or independence issues and do not strike at the core derivation. The genuine scope limitation is the initial ensemble. If the proposed factorized-ensemble test fails, the central claim would need to be weakened to 'BMFT and the microscopic calculation agree for the point-particle-ordered initial ensemble'; the exact formulas would remain correct but the abstract's validation language would be too broad. Since the reader's CONDITIONAL verdict already captures this and the paper's main finite-N calculations are internally consistent, no further verdict change is needed beyond the condition already stated.","tokens_in":28063,"tokens_out":24433,"duration_ms":282873,"concrete_test":"Repeat the numerical comparison of §5 for the factorized non-overlapping hard-rod initial ensemble: initialize rods from a local-equilibrium product measure with the same density profile and Maxwell velocity distribution (no point-particle ordering shift), compute the connected coarse-grained density correlation C(X_a,t;X_b,t) for N=200, a=0.002, ℓ=20, ΔX=0.1ℓ, and compare with the BMFT prediction obtained for that ensemble. If the O(1/ℓ) long-range part matches, the hydrodynamic validation is general; if it vanishes or differs, the paper's conclusion is specific to the pre-correlated point-particle ensemble.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (Abstract and §6) is that coarse-graining exact microscopic correlations agrees with BMFT and thereby validates hydrodynamic assumptions. But every exact formula (Eqs. 17, 19, 23) is built on the initial point-particle ensemble of Eq. (2): i.i.d. positions and velocities, then mapped to rods via X_i = x_i + a(i−1). In rod variables this ensemble is not a short-range local-equilibrium state: the shift a(i−1) couples each rod position to the cumulative point-particle count over the whole interval, so the initial rod density already has Euler-scale long-range correlations of the same order as those later attributed to emergence. The paper itself notes (§2, final paragraph) that this ensemble 'already contains long-range correlation', unlike the factorized non-overlapping ensemble used in [12,13]. BMFT is then applied with the same point-particle large-deviation free energy (Eq. D.5), so the micro-macro agreement may amount to checking consistency of two calculations based on the same pre-correlated ensemble, rather than testing hydrodynamic projection/local relaxation for generic short-range initial states. Consequently, the abstract's phrase 'emergence of long-range correlations' is not supported for the studied setup, and the 'validation of the underlying assumptions of hydrodynamic theory' is narrower than stated. This does not invalidate the exact finite-N microscopic formulas or their internal consistency, but it is the weakest point of the central claim.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies density correlations in a one-dimensional hard-rod gas at both microscopic and hydrodynamic scales. For a particular class of initial conditions—positions of point particles drawn i.i.d. from φ(x), velocities from h(v), ordered, and then mapped to rods via X_i = x_i + a(i−1)—the authors derive exact finite-N expressions for the two-time and equal-time microscopic density correlation (Eqs. (19) and (23)), and validate them against extensive numerical simulations. They then derive Euler-scale equal-time and space-time correlations from Ballistic Macroscopic Fluctuation Theory (Eqs. (42) and (43)) and compare them with the corresponding fluid-cell coarse-graining of the microscopic correlation via Eq. (8). The reported agreement is presented as a 'concrete validation of the underlying assumptions of hydrodynamic theory' and as evidence for the 'emergence of long-range correlations' on the Euler scale.","tokens_in":28221,"tokens_out":3983,"duration_ms":46577,"significance":"The exact combinatorial derivations in the main text and Appendices A–C are a genuine technical achievement: they provide closed-form finite-N correlation functions for hard rods that are verified by simulations with very large statistics, and the scaling collapse in Fig. 4 supports the Euler-scale scaling form (Eq. (40)). If the hydrodynamic claim were established for generic local-equilibrium initial states, this would be an important test of BMFT. However, as discussed below, the chosen initial ensemble already contains long-range correlations in the rod variables, and the BMFT calculation uses the same point-particle free-energy functional. The agreement therefore demonstrates internal consistency of two calculations based on the same pre-correlated ensemble more than it validates hydrodynamic projection or local relaxation for short-range initial states. This narrows the significance of the central claim considerably.","major_comments":[{"comment":"The initial rod ensemble is not a short-range local-equilibrium state. Because X_i = x_i + a(i−1), each rod position is coupled to the cumulative point-particle count over the entire interval, so the initial rod density already carries Euler-scale long-range correlations. The manuscript itself acknowledges this: 'In this case the hard-rod gas initially has only short-range correlation unlike our case where the gas already contains long-range correlation (produced by the transformation in Eq. (1)) to start with.' Since both the exact microscopic correlation (Eqs. (17), (19), (23)) and the BMFT saddle-point free energy (Appendix D, Eq. (D.5)) are built on the same i.i.d. point-particle ensemble, the micro-macro agreement may amount to a consistency check of two calculations based on the same pre-correlated ensemble, rather than a test of hydrodynamic projection / local relaxation for gener","section":"Sec. 2, final paragraph; Eqs. (1)–(2)"},{"comment":"The abstract's phrase 'emergence of long-range correlations' and the conclusion's 'validating the assumptions of this theory in the context of one dimensional gas of hard rods' overstate what is demonstrated. Long-range correlations are present in the initial rod configuration by construction, so their presence at later times is not emergent from hydrodynamic evolution. To make the validation claim load-bearing, the authors would need either to (a) explicitly restrict all claims to the particular initial ensemble and show that BMFT reproduces the exact coarse-grained correlations for that ensemble, or (b) repeat the comparison for a factorized non-overlapping initial state with only short-range correlations (as used in Refs. [12,13]). As written, the central conclusion is narrower than the abstract claims.","section":"Abstract and Sec. 6"},{"comment":"The BMFT equal-time correlation contains a singular term (1−ϱ)^2 ϱ δ(X_a−X_b), while the fluid-cell coarse-grained microscopic correlation (Eq. (8)) is obtained by integrating over cells of finite size ΔX and cannot produce a delta function. The comparison in Fig. 4 appears to be made for non-coincident points, which is reasonable, but the treatment of the singular part is not stated. Please clarify whether the singular term is meant to survive after coarse-graining (e.g., as a finite-cell contribution when X_a=X_b) or whether the comparison is only for the nonsingular long-range part. This is a presentational gap, but it matters for a precise statement of the micro-macro correspondence.","section":"Sec. 5.1, Eq. (42a)"}],"minor_comments":[{"comment":"The sentence admitting the initial long-range correlations is important and should be placed prominently in the abstract or conclusion, not only in the initial-condition section, so that readers do not misinterpret 'emergence'.","section":"Sec. 2, final paragraph"},{"comment":"Typographical errors: 'assumtions' in Sec. 1, 'compairing' in the Fig. 4 caption, 'symnbols' in the Fig. 3 caption, and 'equal-time correlation' in the Fig. 5 caption should be 'two-time' or 'space-time' correlation.","section":"Throughout"},{"comment":"The formula for C_r would be easier to read with explicit parentheses; currently 'a(1−a¯ϱ(X_a,t))¯ϱ(X_a,t)(∂_{X_b}¯ϱ(X_b,t))' appears without a clear bracket structure.","section":"Eq. (42c)"},{"comment":"The notation g(z,u) is used both for −ln(φ(z)h(u)) and as the denominator weight; please use a different symbol (e.g., f_eq(z,u)) to avoid ambiguity in the saddle-point normalization.","section":"Appendix D, Eq. (D.9)"}],"recommendation":"major_revision","confidential_remarks":"The stress-test concern is valid and is the main reason for the recommendation. The exact microscopic correlation formulas are sound and publishable, but the hydrodynamic 'validation' claim needs to be substantially reframed or supplemented with a short-range initial-state check. The use of a same-group BMFT result (Ref. [13]) as the benchmark strengthens the need for such a reframing; as it stands, the paper demonstrates internal consistency of two calculations on a specially chosen, already-correlated ensemble rather than an independent test of hydrodynamic assumptions."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Worth reading if you work on hard rods or BMFT. For the i.i.d. point-particle ensemble mapped to rods, the authors obtain exact binomial order-statistics formulas for the microscopic density correlations (Eqs. 17, 19, 23), a finite-N Gaussian approximation (Eq. 30), and a non-equilibrium two-time BMFT expression (Eq. 43) that extends ref. [13]. The appendices are self-contained, the combinatorics checks out, and the simulations over 10^7 to 5×10^10 configurations agree visually. That is a serious piece of work. For anyone who wants benchmark formulas for finite-N hard-rod correlations, this paper is useful.\n\nThe soft spot is not the computation; it is the frame. The initial ensemble in Eq. (2) is i.i.d. point particles mapped to rods via X_i = x_i + a(i−1), and that shift already produces Euler-scale long-range correlations in the rod variables. The authors admit this in the last paragraph of Sec. 2. So the abstract's phrase \"emergence of long-range correlations\" is misleading, and the claim to \"validate the underlying assumptions of hydrodynamic theory\" is narrower than stated. What is actually shown is that, for this specially pre-correlated ensemble, coarse-graining the exact microscopic correlation reproduces the BMFT prediction derived from the same point-particle large-deviation functional. That is a consistency check between two calculations sharing the same ensemble, not an independent derivation of local relaxation from short-range initial data. The fact that the BMFT side is the same group's earlier work (ref. [13]) is not a flaw by itself, but it further reduces the weight of the agreement as external validation.\n\nTwo smaller issues. Eq. (42a) has a Dirac-delta term that does not look dimensionally consistent as written; that deserves a fix, not a scandal. And \"agree precisely\" appears without error bars or quantitative deviation metrics; given the simulation sizes, a simple L2 or relative-error plot would make the claim testable.\n\nFor the ensemble studied, I think the correspondence claim holds up. The exact finite-N formulas are new, the derivations are transparent, and the paper is honest about the initial-state correlations. The main fix is to revise the abstract and conclusion to say what was actually validated, add a quantitative comparison, and correct the typo. I would send this to a competent referee and expect a conditional accept.","headline":"Exact finite-N hard-rod correlation formulas and their coarse-grained BMFT match are real, but the 'emergence/validation' framing overstates a correspondence built on a pre-correlated initial ensemble.","tokens_in":28866,"tokens_out":1964,"would_cite":true,"duration_ms":23625,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper establishes that for a one-dimensional hard-rod gas, the exact microscopic density correlation, coarse-grained over fluid cells, equals the ballistic macroscopic fluctuation theory prediction, analytically validating hydrodynamic","keywords":["hard rod gas","density correlations","coarse-graining","ballistic macroscopic fluctuation theory","Euler hydrodynamics","long-range correlations","integrable systems","exact microscopic solution"],"falsifier":"Simulate the same hydrodynamic setup starting from factorized non-overlapping hard rods (initial positions satisfying X_{i+1} ≥ X_i+a, velocities independent), coarse-grain the resulting micro-scale correlations over fluid cells, and compare the equal-time and two-time results with Eqs. (42) and (43); any deviation would show the validation is specific to the paper's correlated initial ensemble.","tokens_in":27764,"feed_emoji":"📊","tokens_out":8047,"duration_ms":84921,"temperature":0.7,"pith_summary":"The paper builds a micro-to-macro bridge for density correlations in a one-dimensional gas of hard rods. For a specific initial ensemble, it computes the two-point correlation of the microscopic mass density exactly, using a mapping from rods to non-interacting point particles. It then coarse-grains that exact result over mesoscopic fluid cells and shows it agrees precisely with the correlation predicted by ballistic macroscopic fluctuation theory (BMFT), built from the Euler-scale solution of generalized hydrodynamics. If correct, this analytically validates the two core assumptions of hydrodynamic theory for hard rods: fluctuations of coarse-grained conserved densities are projected onto local equilibrium, and no independent dynamical noise emerges on the Euler scale. It also shows how long-range density correlations arise on the hydrodynamic scale from inhomogeneous initial conditions.","feed_headline":"Hard-rod density correlations match hydrodynamics exactly","feed_subtitle":"Exact microscopic two-point correlations, coarse-grained over fluid cells, reproduce ballistic macroscopic fluctuation theory on Euler scale","key_machinery":"The central object is the exact microscopic two-point correlation of the empirical mass density, obtained in Eqs. (19) and (23) as binomial order-statistics expressions. The key transformation is the hard-rod to hard-point mapping x_i = X_i − (i−1)a, which turns colliding rods into non-interacting point particles. The bridge to macroscopic scales is Eq. (8), which states that the coarse-grained correlation is exactly the fluid-cell average of the microscopic correlation. On the hydrodynamic side, BMFT supplies the path-integral saddle-point calculation whose free energy F[f] = ∫ f[g + ln f] encodes the same initial ensemble. The equality of the two sides is what carries the argument.","core_discovery":"For an initial state in which point-particle positions are drawn independently from a smooth profile and velocities independently from h(v), then mapped to rods via X_i = x_i + (i−1)a, the authors obtain exact closed-form expressions for the connected two-point mass-density correlation, both equal-time and unequal-time. Coarse-graining these expressions through the fluid-cell average and taking the Euler scaling limit yields precisely the BMFT correlation formulas, including a delta-function local-equilibrium part and a long-range part built from derivatives of the Euler density. The agreement holds for both equal-time and two-time correlations and respects the scaling form C(ℓX,ℓt;ℓY,ℓt′) =","pith_inferences":["A decisive open question is whether the agreement survives the alternative factorized non-overlapping rod ensemble, in which rods are drawn directly with no overlap. Since the paper's exact formulas rely on the point-particle i.i.d. ensemble, repeating the coarse-graining there would test the generality of BMFT rather than only one initial state.","The large-N Gaussian approximation for equal-time correlations suggests a way to probe higher-order effects: computing the third cumulant of the coarse-grained density microscopically could test whether the 'no dynamical noise' assumption holds beyond Gaussian order.","Extending the microscopic approach to the integrated current would allow a direct comparison with BMFT's prediction for current fluctuations, providing a stricter test of the hydrodynamic action than density correlations alone."],"forward_implications":["Coarse-grained equal-time and two-time density correlations in hard rods are exactly the BMFT expressions, built only from the Euler solution and its derivatives.","Density fluctuations on the Euler scale thus evolve as deterministic transports of initial fluctuations, with no dynamically generated noise contributing to two-point correlations.","Long-range correlations in mass density emerge on the hydrodynamic scale for inhomogeneous initial conditions and vanish for homogeneous equilibrium, as BMFT predicts.","The scaling form C(ℓX,ℓt;ℓY,ℓt′) = (1/ℓ) C(X,t;Y,t′) is confirmed by data collapse across different particle numbers and fluid-cell sizes.","The exact finite-N microscopic expressions go beyond the Euler solution and match simulations, providing a controlled benchmark for hydrodynamic descriptions."],"fun_headline_variants":["Exact rod-gas correlations verify hydrodynamic theory","Micro to macro: hard-rod correlations match BMFT","1D hard rods: exact correlations confirm hydrodynamics","Hard-rod gas: exact correlations validate BMFT"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing premise is the initial ensemble: point-particle positions and velocities are sampled independently, and rods are then obtained by shifting the i-th point by (i−1)a; because this mapping already builds long-range correlations into the initial rod state, the exact formulas and the BMFT match are established only for this ensemble, not for a directly drawn non-overlapping rod state.","fun_headline_variants_meta":{"raw":{"variants":["Exact rod-gas correlations verify hydrodynamic theory","Micro to macro: hard-rod correlations match BMFT","1D hard rods: exact correlations confirm hydrodynamics","Hard-rod gas: exact correlations validate BMFT"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000798,"raw_usage":{"total_tokens":3293,"prompt_tokens":633,"completion_tokens":2660,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":377,"completion_tokens_details":{"reasoning_tokens":2607}},"tokens_in":377,"tokens_out":2660,"duration_ms":19375,"temperature":1.0,"reasoning_tokens":2607,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T11:51:04.026088+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Simulate the same hydrodynamic setup starting from factorized non-overlapping hard rods (initial positions satisfying X_{i+1} ≥ X_i+a, velocities independent), coarse-grain the resulting micro-scale correlations over fluid cells, and compare the equal-time and two-time results with Eqs. (42) and (43); any deviation would show the validation is specific to the paper's correlated initial ensemble.","supporting_citations":[],"review_version":1}