{"id":"53ea6f9c-4406-46b5-9579-2dcd028a650e","arxiv_id":"2502.02509","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Exact full counting statistics for a stochastic charged cellular automaton yield a one-parameter family of typical charge-current distributions interpolating between single-file and Gaussian limits.","lead":"This paper derives the exact distribution of charge current fluctuations in a stochastic cellular automaton in which charged particles either pass through each other or reflect with a fixed probability. It finds a one-parameter family of typical fluctuation laws that interpolates between the known single-file distribution and a Gaussian.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The k-resummation in Eqs. (4.49)-(4.51) lacks uniform error bounds; without them the asymptotic FCS (4.51) is not rigorously established, and the variance term feeding Eq. (5.18) rests on an unchecked interchange.","rationale":"The reader's weakest assumption pins the same step: the uncontrolled uniform-in-k passage from trace asymptotics to the resummed FCS. This is indeed the most load-bearing gap in the analytic derivation of the central distribution (5.18). I considered whether another step is more critical, such as the reflection-relation handling of the vacancy factor or the 'one-parameter' interpolation limits, but these are either standard identities or internally consistent once the missing overbars on Γ are restored. The numerical comparison in Fig. 2 gives independent support for the final distribution, so I would not change the conditional verdict. The concrete test proposed above would settle whether the k-resummation step actually fails or can be made rigorous; if it passes, the manuscript would be strengthened toward acceptance. The verdict remains CONDITIONAL pending this check.","tokens_in":28096,"tokens_out":41392,"duration_ms":392507,"concrete_test":"For a fixed γ and several δ values, compute the exact traces I_(k) using the sum representation (4.2) for k=1,...,K with K = t^{1/4}, and compare each with the asymptotic (4.42). Then form the truncated k-sum in Eq. (4.49) and check that the remainder and the accumulated error are o(√t) uniformly for μ in a small neighborhood of 1 (e.g., μ = 1 + ε with |ε| ≤ 0.1). If the error grows with k as k^α/t^β in a way that invalidates the interchange for K = t^{1/4}, the resummation step is not justified.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central derivation switches from the exact trace series (3.29) to the asymptotic expression (4.51) by replacing each trace I_(k) with the Laplace-method estimate (4.42) and then interchanging the sum over k with the integral over ξ, using the identity (4.50). The paper provides no error bound for the trace estimate that is uniform in k, and no justification for the interchange in Eqs. (4.49)-(4.51). This matters because the vacancy-dressing integral in Eq. (5.11) and the subsequent typical-fluctuation result (5.18) rely on the validity of (4.51) as an asymptotic FCS for the six-vertex model. For the typical-scale limit λ ~ t^{-1/4}, only the k=1 term survives in the expansion in powers of (μ-1), so the practical impact may be limited. However, the derivation of Eq. (5.13) explicitly uses the resummed expression (4.51); a rigorous derivation of the central distribution should either prove the uniform estimates or derive the k=1 contribution directly from (4.42) without passing through the resummation.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies equilibrium charge-current fluctuations in a one-dimensional stochastic cellular automaton with vacancies and positively/negatively charged particles that are transmitted or reflected stochastically upon collision. The authors map the full counting statistics (FCS) of the charge current to a vacancy-dressed stochastic six-vertex model, obtain a Fredholm determinant representation, and then analyze its asymptotics. Their central physical results are: (i) for zero net charge, typical fluctuations occur on the diffusive scale and obey the one-parameter distribution (5.18), interpolating between the Mainardi--Wright distribution at pure reflection and a Gaussian at pure transmission; and (ii) large fluctuations are independent of the crossing probability and match the ballistic macroscopic fluctuation theory prediction (5.22). The manuscript includes parameter-free numerical comparisons over several decades of the distribution tails.","tokens_in":28314,"tokens_out":4946,"duration_ms":49316,"significance":"If the asymptotic steps are valid, this is a substantial exact result: it extends the previously known single-file and free limits to a tunable stochastic scattering model and gives a concrete microscopic confirmation of a hydrodynamic prediction with no fitted parameters. The strengths of the manuscript are the careful reduction to the dressed six-vertex model, the exact Fredholm determinant representation, the nontrivial checks against the continuous-time SSEP limit and the free/single-file limits, and the direct numerical verification of the final distribution. The main unresolved point is an asymptotic resummation in Section 4.4 whose uniformity is not demonstrated; because the later equilibrium fluctuation results inherit this step, the central claim is defensible but needs that point tightened.","major_comments":[{"comment":"The passage from the exact series (3.29) to the asymptotic FCS replaces each trace I^(k) by the Laplace estimate (4.42) and then interchanges the sum over k with the integral over xi via identity (4.50). The estimate (4.42) is obtained for fixed k, and no error bound uniform in k is supplied; the identity (4.50) is an exact summation identity, and applying it after substitution of an asymptotic approximation requires a uniformity or dominated-convergence argument. This step is load-bearing because Eq. (5.13), and hence the central distribution (5.18), are extracted from (4.51). I ask the authors to either prove the required uniformity (with explicit remainder bounds) or, more simply, derive the O(lambda^2) coefficient entering (5.13) directly from the k=1 term of (4.42), which is the only term contributing at the typical scale.","section":"Section 4.4, Eqs. (4.49)--(4.51)"},{"comment":"The asymptotic form (4.51) is inserted into the vacancy integral over delta whose support includes delta=0 and, through the reflection relation (3.42), negative delta. The trace estimate (4.42) is stated for t-x=delta sqrt(t) with delta>=0 and its remainder is not controlled uniformly in delta near zero; after the reflection extension the same remark applies for delta<0. Since the Gaussian prefactor does not by itself justify interchanging the lambda -> 0 limit with the delta integral, the derivation of the variance term in (5.18) needs an additional uniformity argument or an alternative route that avoids resummed expression (4.51). Deriving the k=1 contribution directly on both sides of delta=0 would address this concern and would also remove reliance on the uncontrolled resummation.","section":"Section 5.1, Eqs. (5.11)--(5.14)"}],"minor_comments":[{"comment":"There are numerous typographical errors that should be corrected, including “aymtptotics”, “exlcusion”, “the the”, “correspodning”, “dynamicaly”, “bistochstic”, “is is”, and “indicting” in Sections 1, 3, 4, and 5.","section":"Throughout"},{"comment":"The labels “210 211 212 213 214 215 216” should read “2^10, 2^11, ..., 2^16” (or equivalent) to avoid confusion between exponents and powers of ten.","section":"Figure 2 caption"},{"comment":"The notation for the traces alternates between I^(k) and I_(k); please unify the notation throughout Section 3 and Section 4.","section":"Eqs. (3.29)--(3.30) and (4.1)--(4.3)"},{"comment":"In the summary and in (2.41), “the left of x+1” should read “to the left of x+1”; please also check that the definition of N_x is stated consistently in the main text and in the abstract-level formulas.","section":"Eq. (2.41) and surrounding text"},{"comment":"The phrase “s(z -> infinity) -> 0” and the similar phrase for z -> 0 should be written as “s(z) -> 0 as z -> infinity” and “s(z) ~ pi^{-1/2} z^{-1} as z -> 0” to keep the notation precise.","section":"Section 5.1.2 after Eq. (5.19)"}],"recommendation":"major_revision","confidential_remarks":"This is a strong exact-computation paper that fits the journal well. The central physical message is convincing and the numerical comparison is compelling. The only substantive obstacle is the uncontrolled k-resummation in Section 4.4 and its use inside the vacancy integral in Section 5.1; this is likely fixable within the manuscript's scope, either by proving uniformity or by deriving the k=1 contribution directly. I do not see issues of novelty disclosure or inappropriate citation: the heavy citation of the authors' related work is contextual and not circular."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThis paper is worth a serious read. It derives the exact full counting statistics for a three-color stochastic cellular automaton — free vacancies plus charged particles that swap or reflect at collisions — by mapping it to a vacancy-dressed bistochastic six-vertex model. The genuinely new result is a one-parameter family of typical charge-current fluctuation distributions, Eq. (5.18), which interpolates between the single-file Mainardi–Wright law at pure reflection and a Gaussian at pure transmission. The paper also gives asymptotics for the six-vertex FCS and confirms a recent ballistic MFT prediction.\n\nThe technical work is solid in many places. The mapping to the six-vertex model is careful, the Fredholm determinant representation follows the standard Borodin–Corwin–Gorin machinery cleanly, and the free and single-file limits reduce correctly to known results. The numerical comparison in Fig. 2 has no free parameters and looks convincing over several orders of magnitude. That is real evidence.\n\nThe soft spot is exactly what the stress-test note identifies: the passage from the trace series to the asymptotic FCS, Eqs. (4.49)–(4.51), replaces each trace by its Laplace-method estimate and then interchanges a sum and an integral without uniform error bounds. That is a genuine gap in rigor. I am fairly convinced it can be closed — the k=1 term already gives the typical-scale answer, and the resummation is a formal convenience — but as written the derivation of the centered result rests on an unproven interchange. A referee should ask for either a bound or a direct derivation of the k=1 contribution. This is a moderate concern, not a fatal one.\n\nThe self-citation is heavy but contextual; the paper builds directly on earlier work by the same group and by Borodin–Corwin–Gorin and Derrida–Gerschenfeld. No data are fitted. The central distribution is new and testable.\n\nWho is this for? People working in exact non-equilibrium statistical mechanics, integrable probability, and full counting statistics. It deserves a serious referee rather than a desk rejection.\n\nMy recommendation: send it to review. Ask the authors to address the uniformity of the trace asymptotics or to rederive Eq. (5.13) from the k=1 trace directly. With that addressed, I would be comfortable seeing it published.","headline":"A solid exact-FCS result for a charged cellular automaton; the main unresolved step is an unchecked uniform asymptotics interchange, but the physics and numerics support the central distribution.","tokens_in":28841,"tokens_out":2319,"would_cite":true,"duration_ms":21569,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["82C22","82B20","82C23","60F10"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper derives exact charge-current statistics for a stochastic charged cellular automaton by mapping it to a vacancy-dressed bistochastic six-vertex model, yielding a one-parameter fluctuation distribution interpolating between…","keywords":["full counting statistics","stochastic cellular automata","six-vertex model","charge current fluctuations","anomalous fluctuations","Mainardi-Wright distribution","large deviations","equilibrium fluctuations"],"falsifier":"Evaluate the exact trace sum in Eq. (4.2) numerically for $k=1,2,3$ at $t=2^{16}$, $\\Gamma=0.5$, and $t-x=\\delta\\sqrt{t}$ with $\\delta=0.1$, and compare each trace with the asymptotic expression $\\sqrt{t/(\\pi\\gamma k)}\\,p(\\delta\\sqrt{\\gamma k}/4)$, where $p(z)=e^{-z^2}-z\\sqrt{\\pi}\\,\\mathrm{erfc}\\,z$. If the ratio does not approach 1 as $t$ grows, the interchange of the Laplace method and the trace summation leading to Eq. (4.51) is not justified; alternatively, direct simulation of the automaton at zero net charge would show deviations from Eq. (5.18) that persist at large $t$.","tokens_in":27916,"feed_emoji":"⚛️","tokens_out":7028,"duration_ms":67024,"temperature":0.7,"pith_summary":"This paper derives the exact full counting statistics of the time-integrated charge current in a cellular automaton of vacancies and positively and negatively charged particles that scatter stochastically on collision. The derivation maps the problem onto a vacancy-dressed bistochastic six-vertex model, computes the generating function as a Fredholm determinant, and extracts its large-time asymptotics. The central result is that at zero net charge the typical current fluctuations occur on a diffusive $t^{1/4}$ scale and follow a one-parameter family of non-Gaussian distributions. The distribution interpolates between the Mainardi-Wright single-file distribution at pure reflection and a Gaussian at pure transmission, and the prediction matches parameter-free numerical simulation over five orders of magnitude. A sympathetic reader would care because this gives an exactly solvable microscopic instance of anomalous charge-fluctuation universality recently predicted from hydrodynamics.","feed_headline":"One distribution captures charge noise in a stochastic cellular automaton","feed_subtitle":"Exact full counting statistics interpolate from single-file Mainardi-Wright at pure reflection to Gaussian at pure transmission.","key_machinery":"The vacancy-dressed full counting statistics (2.47) is the central object: vacancies are contracted exactly because they pass freely, leaving the six-vertex generating function for particles evaluated at dressed counting fields $\\mu_\\pm = \\cosh\\lambda \\mp b_\\pm \\sinh\\lambda$ and their product $\\mu = \\mu_+\\mu_-$. The six-vertex part is carried by the Fredholm determinant $\\det_{c_r}[1+(\\mu-1)K_{x,t}]$ of the kernel $K_{x,t}(z,z') = z^{t-x} h^t(z)/(1-2z+zz')$, where $h(z) = (1+(z^{-1}-2)\\Gamma)/(1-\\Gamma z)$ is an exponentiated discrete dispersion relation. The argument proceeds by expanding the determinant in traces, applying Laplace's method to each trace sum, and using the reflection identity $E_{\\rm step}(\\mu^{N_x}|t)\\,\\mu^t = E_{\\rm step}(\\mu^{N_t}|x)\\,\\mu^x$ to cover the whole spacetime quadrant; these pieces combine into the asymptotic generating function and then the current distribution.","core_discovery":"The paper's central claim is that the full counting statistics $\\langle e^{\\lambda J(t)}\\rangle$ of the stochastic charged cellular automaton equals a vacancy-dressed full counting statistics of a bistochastic six-vertex model with step initial conditions, Eq. (2.47). From there, an exact multiple-integral and Fredholm determinant representation of the six-vertex generating function leads, by Laplace-method asymptotics of the trace expansion, to the asymptotic formula (4.51) for diffusive shape fluctuations. Substituting this into the vacancy dressing yields, at vanishing charge density, the typical fluctuation distribution (5.18), a one-parameter family with scale parameter $a = 2\\sqrt{\\rho/\\gamma}$. In the limits $\\Gamma \\to 0$ and $\\Gamma \\to 1$ it reduces respectively to the Mainardi-Wright distribution and a Gaussian, and the large-deviation function (5.22) is independent of $\\Gamma$, confirming the hydrodynamic prediction.","pith_inferences":["The same vacancy-dressing plus Fredholm-determinant route should extend to generic bipartite initial measures, not only equilibrium ones, in analogy with the previously solved single-file case; the paper explicitly flags this direction.","The one-parameter family (5.18) is likely the fingerprint of a wider stochastic-scattering universality class: any microscopic model whose particles reflect with probability $\\Gamma$ and pass with probability $1-\\Gamma$ should show the same scaled current distribution.","The point $\\Gamma=1$ appears singular: the $t^{1/4}$ family reaches the Gaussian only in the limit, so the free point is not itself part of the diffusive family, and any small amount of scattering changes the fluctuation scale discontinuously.","A natural testable extension is a biased version of the automaton in which positive and negative particles scatter asymmetrically; the same integrable combinatorics should yield a modified one-parameter family, which could be checked by simulation."],"forward_implications":["At zero net charge, typical charge current fluctuations are non-Gaussian, occur on the $t^{1/4}$ scale, and are described by Eq. (5.18) for every scattering probability $0 \\le \\Gamma < 1$.","Any nonzero back-scattering rate changes the dynamical exponent for charge fluctuations from ballistic ($z=1$) to diffusive ($z=2$); the variance diverges as $\\Gamma \\to 1$, signalling the return to free-particle fluctuations.","Large charge fluctuations are exponentially suppressed with a rate (5.22) that is independent of $\\Gamma$, confirming the hydrodynamic prediction for the single-file case.","As an intermediate result, the paper gives a closed asymptotic formula, Eq. (4.51), for the full counting statistics of the bistochastic six-vertex model on a large square lattice with diffusive shape fluctuations, and shows that ballistic shape fluctuations are exponentially suppressed."],"supporting_citations":[{"why":"Supplies the multiple-integral representation and Fredholm determinant analysis of the stochastic six-vertex model from which the derivation starts.","marker":"[48]"},{"why":"Shows how to transform the trace expansion of the full counting statistics into a form amenable to Laplace-method asymptotics, adapted here to the discrete-time setting.","marker":"[44]"},{"why":"Provides the symmetric-exclusion analogue of the asymptotic full counting statistics and trace asymptotics used for comparison and validation.","marker":"[49]"},{"why":"Supplies the single-file full counting statistics and the Mainardi-Wright limit that the new distribution must recover at $\\Gamma=0$.","marker":"[25]"},{"why":"Gives the hydrodynamic prediction for anomalous charge fluctuations, which the paper confirms microscopically.","marker":"[31]"},{"why":"Defines the stochastic charged cellular automaton and its two-body scattering map studied in this work.","marker":"[33]"}],"fun_headline_variants":["Exact charge noise interpolates from single-file to Gaussian","Charge fluctuations in automaton exactly bridge two universality classes","One-parameter distribution solves charge current statistics","From Mainardi-Wright to Gaussian: exact charge statistics","Stochastic cellular automaton charge noise fully characterized"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the family of Laplace-method asymptotics for the trace terms is accurate uniformly in the trace order $k$ and that the sum and integral can be interchanged when resumming into Eq. (4.51), a step for which the paper supplies no error bound.","fun_headline_variants_meta":{"raw":{"variants":["Exact charge noise interpolates from single-file to Gaussian","Charge fluctuations in automaton exactly bridge two universality classes","One-parameter distribution solves charge current statistics","From Mainardi-Wright to Gaussian: exact charge statistics","Stochastic cellular automaton charge noise fully characterized"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000485,"raw_usage":{"total_tokens":2320,"prompt_tokens":796,"completion_tokens":1524,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":412,"completion_tokens_details":{"reasoning_tokens":1448}},"tokens_in":412,"tokens_out":1524,"duration_ms":12549,"temperature":1.0,"reasoning_tokens":1448,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-09T11:53:04.612090+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate the exact trace sum in Eq. (4.2) numerically for $k=1,2,3$ at $t=2^{16}$, $\\Gamma=0.5$, and $t-x=\\delta\\sqrt{t}$ with $\\delta=0.1$, and compare each trace with the asymptotic expression $\\sqrt{t/(\\pi\\gamma k)}\\,p(\\delta\\sqrt{\\gamma k}/4)$, where $p(z)=e^{-z^2}-z\\sqrt{\\pi}\\,\\mathrm{erfc}\\,z$. If the ratio does not approach 1 as $t$ grows, the interchange of the Laplace method and the trace summation leading to Eq. (4.51) is not justified; alternatively, direct simulation of the automaton at zero net charge would show deviations from Eq. (5.18) that persist at large $t$.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Shows how to transform the trace expansion of the full counting statistics into a form amenable to Laplace-method asymptotics, adapted here to the discrete-time setting."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the symmetric-exclusion analogue of the asymptotic full counting statistics and trace asymptotics used for comparison and validation."},{"cited_title":"Anomalous current fluctuations from Euler hydrodynamics","cited_arxiv_id":"2406.20091","evidence_quote":"Gives the hydrodynamic prediction for anomalous charge fluctuations, which the paper confirms microscopically."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the stochastic charged cellular automaton and its two-body scattering map studied in this work."}],"review_version":1}