{"id":"faa03b58-eb21-47a6-adec-cd48e2ab3a9c","arxiv_id":"1908.07863","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"Under a frame condition on the stationary density, scaling limits of multi-species fluctuation fields solve a coupled Burgers SPDE, the formal gradient of a coupled KPZ equation.","lead":"Multi-species zero-range particle systems, started from stationary states satisfying a balancing condition, have density fluctuations that converge to a coupled Burgers equation. This is the first rigorous microscopic derivation of a singular coupled KPZ-Burgers system, a key object in stochastic PDE theory.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.4 inherits uniqueness of the energy solution entirely from the companion paper [23]; if Remark 4.13 there does not cover the present multi-species Definition 3.1, only subsequential limits are identified.","rationale":"The paper is a careful multi-species extension of the scalar energy-solution scheme. The martingale decomposition (4.2), the multi-component Boltzmann-Gibbs principle in Theorem 4.1, the tightness argument in Proposition 4.2, and the forward and backward identification in Proposition 4.3 and Section 4.5 are coherent under the stated hypotheses, and I did not find an internal algebraic error in the main proof. The reader's CONDITIONAL verdict is therefore appropriate. My primary load-bearing concern is the imported uniqueness result from the companion preprint [23], because it is what upgrades 'every limit point is an energy solution' to 'the sequence converges to the unique energy solution.' The reader lists this as a secondary dependency, while its primary weakest_assumption is (SG); hence my agreement is partial. (SG) is a real assumption, but it is explicit and the theorem is conditional on it, with (LB) supplied as a sufficient condition. The proposed check directly verifies the match between [23, Remark 4.13] and Definition 3.1, and it settles whether the stated convergence theorem is fully supported or should be weakened to a subsequential statement.","tokens_in":48725,"tokens_out":14604,"duration_ms":159552,"concrete_test":"Locate arXiv:1810.12014 and compare the statement of Remark 4.13 with Definition 3.1 of this paper. Check specifically: (a) does the uniqueness result allow an n-component system with diagonal diffusion lambda*I and independent additive noises sqrt(g_i) grad W^i? (b) does it allow the quadratic term c * sum_{j,k} partial_{a_j} partial_{a_k} gtilde_i(a0) grad(Y^j Y^k), or does it require additional structural hypotheses beyond the trilinear identity (6.4)? (c) does it require the white-noise covariance Gamma(a0) from (3.1)? If all three match, the concern is resolved and the convergence statement in Theorem 3.4 is supported; if any does not, Theorem 3.4 should be weakened to subsequential convergence of limit points.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 3.4 concludes that {Y^N} converges to the unique multi-species energy solution of (3.4). Section 4.5 proves that every limit point satisfies the martingale and energy conditions of Definition 3.1; it does not prove uniqueness. The uniqueness step is imported verbatim: Remark 3.2 invokes 'Remark 4.13 in [23]', and Section 4.5 closes with 'by the unique characterization ... in Definition 3.1, stated in Remark 3.2.' This is the single point where the full convergence assertion, not just tightness and subsequential identification, depends on material outside the manuscript. Definition 3.1 is a rather specific object: stationary spatial white noise with covariance (3.1), the L2-energy condition, zero quadratic variation, and the forward and backward martingale decomposition. The present text does not let the reader check that [23]'s uniqueness theorem applies to exactly this class; for instance, it might require a scalar equation, a gradient-form nonlinearity, additional integrability, or a different formulation of the energy solution. If any hypothesis of [23, Remark 4.13] fails for (3.4), then Theorem 3.4 is not established as stated, and only the weaker statement 'any limit point is an energy solution' holds. The spectral gap assumption (SG) is a genuine hypothesis, but it is explicitly part of the theorem's assumptions; the external uniqueness result is the least secure dependency of the central claim.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the fluctuation fields of multi-species weakly-asymmetric zero-range processes on tori. For weak asymmetry of order 1/N it proves convergence of the linear fluctuation fields to a linear coupled SPDE (Theorem 3.1). The main result, Theorem 3.4, treats asymmetry of order 1/sqrt(N) under a 'Frame condition' (FC) on the stationary density: in the common traveling frame the fluctuation fields converge, in the uniform topology, to the unique multi-species stationary energy solution of the coupled Burgers SPDE (3.4). The proof develops a martingale decomposition, a multi-component Boltzmann-Gibbs principle under a spectral gap hypothesis (SG), tightness of all constituents, identification of limit points via an L2-energy formulation, and a time-reversal argument. The paper also proves a trilinear condition for the limit equation, analyzes multi-color reductions, and constructs a two-species example which is not fully decoupleable.","tokens_in":49046,"tokens_out":9052,"duration_ms":96300,"significance":"If correct, this is a substantial contribution: it provides the first rigorous microscopic derivation of a coupled KPZ-Burgers system, with all coefficients expressed directly in terms of the jump rates and the invariant measure rather than fitted to the target equation. The technical core, the multi-species Boltzmann-Gibbs principle and the energy-solution martingale identification, is developed in detail and appears internally coherent. The spectral gap assumption is stated honestly, and the multi-color and non-decoupleable examples are valuable complements. The main reservation is that the uniqueness step, which is essential to the strong form of Theorem 3.4, is imported verbatim from a companion paper without a verification that its hypotheses cover the present multi-species definition.","major_comments":[{"comment":"Theorem 3.4 asserts convergence to the unique multi-species energy solution of (3.4). Section 4.5 proves that every limit point satisfies Definition 3.1, but it does not prove uniqueness. The only bridge is the closing sentence 'by the unique characterization ... in Definition 3.1, stated in Remark 3.2', which refers to Remark 4.13 of [23]. The manuscript does not state the hypotheses of that uniqueness theorem, nor does it verify that Definition 3.1 — a stationary, finite-volume, multi-component energy solution with covariance (3.1), zero quadratic variation of the quadratic action, and forward/backward martingale decompositions — falls within the class treated in [23]. If, for example, [23, Remark 4.13] requires a scalar equation, a different notion of energy solution, or additional integrability, then Theorem 3.4 is not established as stated; only 'any limit point is an energy solution' would follow. Please state the exact uniqueness theorem from [23] and verify its hypotheses for (3.4) with Definition 3.1, or weaken Theorem 3.4 accordingly.","section":"§4.5 and Remark 3.2"},{"comment":"The statement of Theorem 3.4 lists only gamma = 1/2 and the Frame condition (FC), but the proof uses the spectral gap assumption (SG) in an essential way: it enters through Theorem 4.1, Lemma 5.4 and Proposition 5.2 to control the replacement of local functions by fluctuation-field averages. The standing assumptions (ND), (LG), (INV), (ORI) and (SG) are introduced in Section 2, but the main theorem should state them explicitly so that the reader can see exactly which hypotheses are load-bearing. In particular, since (SG) is not a consequence of the other conditions and is needed for the Boltzmann-Gibbs principle, Theorem 3.4 should list it as a hypothesis.","section":"Theorem 3.4, §2.3"}],"minor_comments":[{"comment":"In the first estimate of Theorem 4.1, and again in the display in the proof of Proposition 4.2, the second factor of the quadratic term is written as ((α_k^N)^{(ℓ)}(x) - a_j^0); it should be ((α_k^N)^{(ℓ)}(x) - a_k^0).","section":"Theorem 4.1"},{"comment":"In item (iv), 'H ∈ D′(T)' should presumably be 'H ∈ D(T)', since the martingale decomposition is applied to smooth test functions.","section":"Definition 3.1(iv)"},{"comment":"The text states that the perturbed example satisfies all necessary conditions including (SG) and (LB), but no verification is given. Please indicate how the finite perturbation preserves the spectral gap bound, or add a reference to a standard argument.","section":"§8.2"},{"comment":"The text refers to 'Figure 1' for the graphs of F and G, but no figure appears in the manuscript. Either include the figure or remove the reference.","section":"§8.2 / Figure 1"}],"recommendation":"major_revision","confidential_remarks":"The central derivation appears sound, and the main obstacle is external: the uniqueness of the multi-species energy solution is cited from [23] without a check of hypotheses. If the authors can confirm, by quoting the relevant theorem and verifying Definition 3.1 against it, that [23, Remark 4.13] applies verbatim, the paper would likely be acceptable after a revision. If not, the theorem should be weakened to a subsequential identification statement. The spectral-gap hypothesis should also be made explicit in Theorem 3.4."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThis is the first rigorous multi-species zero-range derivation of a coupled Burgers/KPZ SPDE. Starting from the invariant measure at a density satisfying the Frame condition, the fluctuation fields in a common traveling frame converge in the uniform topology to the unique multi-species energy solution of the coupled Burgers equation. The proof is long, but the architecture is legible: generator computations, a multi-species Boltzmann-Gibbs principle, tightness, limit-point identification, and then the energy-solution martingale problem. The equivalence-of-ensembles estimates in Section 5 are the real technical core, and the characterization of the Frame condition (Prop 3.3) plus the trilinear condition in Section 6 are clean, self-contained results. The citation pattern is appropriate; they build on Goncalves-Jara-Sethuraman and Gubinelli-Perkovski.\n\nThe soft spot is the one the stress-test flags: uniqueness of the energy solution is not proved here. Section 4.5 shows every limit point is an energy solution in the sense of Definition 3.1; the step from subsequential limits to full convergence is outsourced to Remark 4.13 of [23]. Definition 3.1 is specific enough that the reader cannot check the match without going to [23]. This is a real dependency, but not fatal—the identification is the hard part. The authors should either state the exact hypotheses from [23] or include the verification in a final version.\n\nMinor: the Section 8 claim that the system is not fully decouplable rests on a numerical plot without code or analytic proof. It is a side remark, not load-bearing. The spectral gap assumption (SG) is a genuine condition, but it is stated up front and (LB) gives a large class of rates where it holds, so I do not count it against the paper.\n\nWho this is for: anyone working on microscopic derivations of nonlinear fluctuating hydrodynamics or multi-component KPZ. The paper deserves a serious referee. The core derivation is substantial and the dependency on [23] is resolvable; I would cite it and read it carefully if I were in this area.","headline":"First rigorous multi-species zero-range derivation of a coupled Burgers/KPZ SPDE: substantial and mostly sound, but full convergence leans on an external uniqueness result.","tokens_in":49554,"tokens_out":3427,"would_cite":true,"duration_ms":35403,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60K35","82C22","60H15","60G60","60F17"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that multi-species weakly asymmetric zero-range fluctuations, started from stationary states satisfying a Frame condition, converge in a traveling frame to the unique energy solution of a coupled Burgers SPDE.","keywords":["multi-species zero-range process","weakly asymmetric","fluctuation fields","coupled Burgers SPDE","coupled KPZ equation","energy solution","Boltzmann-Gibbs principle","spectral gap"],"falsifier":"Compute or simulate the canonical inverse spectral gap $W(k,\\ell)$ for a two-species rate family satisfying (INV), (ND), (LG), (ORI), and (FC) but not (LB), such as the perturbed independent-walk rates of Section 8 with parameters outside the (LB) regime, and test whether $\\sup_{\\ell\\ge2} E_{\\nu_{a_0}}[W(\\sum_{x\\in\\Lambda_\\ell}\\alpha(x),\\ell)^2] \\le C\\ell^4$; a growth exceeding $\\ell^4$ would show the Boltzmann-Gibbs replacement fails for that family, blocking the energy-solution identification.","tokens_in":48499,"feed_emoji":"🎲","tokens_out":8306,"duration_ms":113389,"temperature":0.7,"pith_summary":"The paper's central claim is that the density fluctuation fields of a multi-species, weakly asymmetric zero-range process on a one-dimensional torus, started from a stationary product measure, converge in a traveling frame to the unique energy solution of a coupled Burgers stochastic PDE — the formal spatial gradient of a coupled KPZ equation. This matters because it gives the first microscopic derivation of a singular coupled SPDE system, connecting a concrete particle model to the coupled KPZ universality discussion. The convergence is conditional on a Frame condition forcing all species to share one characteristic speed, and on a spectral-gap mixing assumption on the jump rates. Along the way the paper proves a multi-component Boltzmann-Gibbs principle and shows the limit coefficients satisfy a trilinear symmetry that gives white noise as an invariant measure.","feed_headline":"Multi-species density fluctuations converge to a coupled Burgers SPDE","feed_subtitle":"From stationary zero-range processes in a traveling frame, the scaling limit is the unique multi-species energy solution.","key_machinery":"The load-bearing object is the multi-component Boltzmann-Gibbs principle (Theorem 4.1): a local, mean-zero rate function $f(\\tau_x\\alpha)$ can be replaced, in $L^2$ sense, by the quadratic expression $\\frac12\\sum_{j,k}\\partial_{a_j}\\partial_{a_k}\\tilde{f}(a_0)\\big((\\alpha^{(\\ell),j}_s(x)-a_0^j)(\\alpha^{(\\ell),k}_s(x)-a_0^k)-\\Gamma_{jk}/(2\\ell+1)\\big)$, with explicit error bounds in terms of $\\ell$, $N$, and the test function. This replacement closes the equations for the fluctuation fields. The companion machinery is the multi-species energy solution (Definition 3.1), which gives a martingale formulation of the singular SPDE (3.4) and is shown unique by an imported uniqueness result. The spectral-gap condition (SG), a uniform bound on inverse spectral gaps of canonical zero-range chains, supplies the mixing estimates needed for the Boltzmann-Gibbs principle.","core_discovery":"Starting from the invariant measure $\\nu_{a_0}$ with weak-asymmetry strength $\\gamma=1/2$, and assuming the Frame condition (FC) — diagonal covariance with $\\tilde{g}_i(a_0)/\\Gamma_{ii}(a_0)=\\lambda$ independent of $i$ — the fluctuation fields $Y^N$ viewed in the common traveling frame converge in the uniform topology to the unique multi-species energy solution of the coupled Burgers SPDE (3.4): $\\partial_t Y^i = \\frac12 \\partial_{a_i}\\tilde{g}_i(a_0)\\Delta Y^i + c\\sum_{j,k}\\partial_{a_j}\\partial_{a_k}\\tilde{g}_i(a_0)\\nabla(Y^j Y^k) + \\sqrt{\\tilde{g}_i(a_0)}\\,\\nabla\\dot{W}^i$. The drift terms are closed by a multi-component Boltzmann-Gibbs principle that replaces local rate functions by quadratic averages of the fluctuation fields, and any limit point is identified through a multi-species energy martingale problem whose solution is unique. Thus, under these hypotheses, the scaling limit of the multi-species system is rigorously a coupled KPZ-Burgers system in the energy-solution sense.","pith_inferences":["A natural extension to test is the failure of the Frame condition: violating (FC) by choosing unequal characteristic speeds should produce limiting fields with frame-dependent drifts or a breakdown of tightness, and the paper's Remark 1.2 indicates only equal speeds are tractable.","Because the Boltzmann-Gibbs principle is proved for general local functions, the same energy-solution route should transfer to other multi-species conservative particle systems, such as multi-species exclusion, provided an analogous spectral-gap bound holds.","The non-decoupleable two-species example suggests that for three or more species a classification of coupling tensors $\\Gamma^i_{j\\ell}$ satisfying the trilinear condition could reveal many inequivalent coupled KPZ universality classes; the Section 8 computations provide a concrete starting family.","If the spectral-gap condition (SG) could be replaced by a checkable rate criterion, the theorem would become a practical simulation tool: one could read off the limiting SPDE directly from measured covariances and rate derivatives at a density satisfying the Frame condition."],"forward_implications":["Under the Frame condition, the limit SPDE satisfies the trilinear condition and therefore has the appropriate rescaled white noise as its invariant measure, as shown in Section 6.","In multi-color systems, the Frame condition holds exactly when the total density satisfies $\\sigma^2(\\rho_0)=\\rho_0$; then the coupled KPZ equation decouples into a scalar KPZ equation for the total height plus independent Ornstein-Uhlenbeck processes for color differences, and the limit can be formulated on the full line.","For two species, any coupled KPZ-Burgers system satisfying the trilinear condition can be partially decoupled by an orthogonal transformation, while the paper constructs explicit perturbed zero-range systems satisfying all hypotheses that are not fully decoupled.","Linear fluctuations with $\\gamma=1$ converge to a linear cross-diffusion SPDE with diffusion matrix $Q(a_0)=\\operatorname{diag}(\\tilde{g}_i(a_0))\\Gamma(a_0)^{-1}$, giving an Einstein-relation form and a white-noise invariant measure."],"supporting_citations":[{"why":"Supplies the scalar Burgers martingale-decomposition and energy-solution framework that this paper extends to multiple species.","marker":"[16]"},{"why":"Introduces the scalar energy formulation used to interpret the singular Burgers SPDE, extended here to the multi-species energy solution.","marker":"[15]"},{"why":"Provides uniqueness of the multi-species energy solution, the final step in identifying the limit process.","marker":"[23]"},{"why":"Gives uniqueness of scalar energy solutions, used for the multi-color infinite-volume extension of Theorem 3.4.","marker":"[22]"},{"why":"Develops the coupled KPZ equation and the trilinear condition tied to white-noise invariant measures.","marker":"[13]"},{"why":"Derives the compatibility condition and stationary product measures for multi-species zero-range processes used throughout.","marker":"[18]"},{"why":"Provides the two-species zero-range invariant measures and hydrodynamic framework extended here to $n$ species.","marker":"[9]"},{"why":"Establishes spectral gap bounds for homogeneous zero-range chains, a key input to Lemma 2.2.","marker":"[31]"},{"why":"Extends spectral gap bounds to inhomogeneous zero-range chains, connecting condition (LB) to the spectral-gap assumption (SG).","marker":"[26]"},{"why":"Provides the $H^{-1}$ estimate for additive functionals used in the proof of the Boltzmann-Gibbs principle.","marker":"[37]"}],"fun_headline_variants":["Multi-species zero-range scaling yields coupled Burgers SPDE","Stationary multi-species zero-range: coupled Burgers limit","Coupled Burgers SPDE from multi-species zero-range processes","Multi-species fluctuations solve coupled Burgers in limit"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The spectral-gap condition (SG) — a uniform bound on the inverse spectral gaps of finite-box canonical zero-range chains — is the load-bearing mixing assumption: if the jump rates do not mix fast enough, the replacement of local rate functions by quadratic field averages breaks down and the energy-solution identification collapses.","fun_headline_variants_meta":{"raw":{"variants":["Multi-species zero-range scaling yields coupled Burgers SPDE","Stationary multi-species zero-range: coupled Burgers limit","Coupled Burgers SPDE from multi-species zero-range processes","Multi-species fluctuations solve coupled Burgers in limit"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000206,"raw_usage":{"total_tokens":1370,"prompt_tokens":889,"completion_tokens":481,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":505,"completion_tokens_details":{"reasoning_tokens":423}},"tokens_in":505,"tokens_out":481,"duration_ms":11928,"temperature":1.0,"reasoning_tokens":423,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:55:09.903937+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute or simulate the canonical inverse spectral gap $W(k,\\ell)$ for a two-species rate family satisfying (INV), (ND), (LG), (ORI), and (FC) but not (LB), such as the perturbed independent-walk rates of Section 8 with parameters outside the (LB) regime, and test whether $\\sup_{\\ell\\ge2} E_{\\nu_{a_0}}[W(\\sum_{x\\in\\Lambda_\\ell}\\alpha(x),\\ell)^2] \\le C\\ell^4$; a growth exceeding $\\ell^4$ would show the Boltzmann-Gibbs replacement fails for that family, blocking the energy-solution identification.","supporting_citations":[{"cited_title":"G ONC¸ ALVES , M","cited_arxiv_id":null,"evidence_quote":"Supplies the scalar Burgers martingale-decomposition and energy-solution framework that this paper extends to multiple species."},{"cited_title":"G ONC¸ ALVES AND M","cited_arxiv_id":null,"evidence_quote":"Introduces the scalar energy formulation used to interpret the singular Burgers SPDE, extended here to the multi-species energy solution."},{"cited_title":"The infinitesimal generator of the stochastic Burgers equation","cited_arxiv_id":"1810.12014","evidence_quote":"Provides uniqueness of the multi-species energy solution, the final step in identifying the limit process."},{"cited_title":"G UBINELLI AND N","cited_arxiv_id":null,"evidence_quote":"Gives uniqueness of scalar energy solutions, used for the multi-color infinite-volume extension of Theorem 3.4."},{"cited_title":"F UNAKI AND M","cited_arxiv_id":null,"evidence_quote":"Develops the coupled KPZ equation and the trilinear condition tied to white-noise invariant measures."},{"cited_title":"G ROSSKINSKY AND H","cited_arxiv_id":null,"evidence_quote":"Derives the compatibility condition and stationary product measures for multi-species zero-range processes used throughout."},{"cited_title":"D IRR , M.G","cited_arxiv_id":null,"evidence_quote":"Provides the two-species zero-range invariant measures and hydrodynamic framework extended here to $n$ species."},{"cited_title":"L ANDIM , S","cited_arxiv_id":null,"evidence_quote":"Establishes spectral gap bounds for homogeneous zero-range chains, a key input to Lemma 2.2."},{"cited_title":"J ANKOWSKI , Logarithmic Sobolev inequality for the inhomogeneous zero range process , (2006) arXiv: 0606778","cited_arxiv_id":null,"evidence_quote":"Extends spectral gap bounds to inhomogeneous zero-range chains, connecting condition (LB) to the spectral-gap assumption (SG)."},{"cited_title":"S ETHURAMAN , On microscopic derivation of a fractional stochastic Burgers equation, Commun","cited_arxiv_id":null,"evidence_quote":"Provides the $H^{-1}$ estimate for additive functionals used in the proof of the Boltzmann-Gibbs principle."}],"review_version":1}