{"id":"34681f5b-8f36-4b3d-b69f-102540c09bf6","arxiv_id":"2507.19222","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The KMP heat transport process converges, in a t^{3/4} scaling window, to the multiplicative-noise stochastic heat equation (the exponential of KPZ) with noise coefficient 1/(2√α).","lead":"This paper proves that the KMP model, a standard stochastic model of heat transport, converges to the Kardar-Parisi-Zhang (KPZ) equation after a careful rescaling of space and time. The proof connects the model to random walks in random environments, giving a precise noise strength in the limiting equation.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The explicit noise coefficient 1/(2√α) rests on an unproved uniform-in-ε exponential decay bound (G_Decay) in Proposition 6.5; absent a proof, dominated convergence over z fails and Proposition 6.7's limit is not established.","rationale":"The reader's weakest assumption identifies the same load-bearing concern I find: the unproved uniform-in-ε exponential decay bound G_Decay in Proposition 6.5. The paper's central theorem is conditional on this bound because the explicit noise strength 1/(2√α) is obtained by taking the limit γ_ε^2→γ^2, and that limit requires dominated convergence over the spatial sum. I considered whether a more serious objection exists elsewhere. The verification of HP5 in Section 4 is sketchy, but the event-decomposition idea is plausible and the resulting exponential tail in the initial separation is believable for the continuous-time kernels. The application of the external theorem [Par24] is a dependency on an unrefereed preprint, but the paper states the needed theorem and checks its hypotheses in good faith; this is a standard risk rather than an internal flaw. The typographical issues in Lemma 5.2 and the misdefinition of Schwartz space are minor and do not affect the central argument. I therefore do not change the reader's conditional verdict: the convergence result is credible and the proof strategy is sound, but the explicit coefficient in Theorem 3.1 is not fully established until the G_Decay bound is supplied. My concrete test asks for the missing bound in the minimal case that would settle the issue.","tokens_in":28844,"tokens_out":17754,"duration_ms":186106,"concrete_test":"Prove or disprove the missing uniform bound for the simplest nontrivial case k=2, r1=r2=1. For the ε-process of Definition 6.2, set n=⌊1/ε⌋ and define C(ε,z)=Σ_{x,y} xy [p^{(2),ε}_n((z,0)→(x+z,y)) − p^ε_n(x+z)p^ε_n(y)]. Show whether there exists an exponentially decaying, ℓ1 function G with |C(ε,z)|≤G(|z|) for all ε and z. A sufficient route is to bound |C(ε,z)| by C P(τ≤n), where τ is the first time the two walkers are at distance 1, and to prove P(τ≤n)≤C e^{-c|z|} uniformly in ε using the fact that each walker makes O(1) moves in n time steps. If such a bound holds, insert it as a lemma and Proposition 6.5 is complete; if a counterexample is found for z=⌊ε^{-1/4}⌋, the proof needs a different truncation argument before the coefficient 1/(2√α) can be claimed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Proposition 6.5 is the bridge that identifies the discrete-time variance γ_ε^2 with the continuous-time γ^2 appearing in Theorem 3.5, and Proposition 6.7 then evaluates γ_ε^2 → 1/(4α). The proof of Proposition 6.5 rewrites N_ε and D_ε as sums over z and asserts the existence of an exponentially decaying, ℓ1(Z_{\\ge0}) function G_Decay bounding the two-point correlation difference uniformly in ε. No proof of this bound is supplied; the text says only that the argument is similar to the proof of HP5 in Section 4. That existing HP5 argument is itself a sketchy event decomposition and does not address uniformity in ε for the discretized process at time ⌊1/ε⌋. Pointwise convergence of p^{(2),ε} to p^{(2)} (Lemma 6.6) is insufficient: interchanging the limit ε→0 with the infinite sum over z requires a z-summable majorant that is uniform in ε, and the asserted G_Decay is exactly that majorant. Without it, the limits N_ε→N and D_ε→D are not justified, so the explicit coefficient 1/(2√α) in Theorem 3.1 is not established. This is a specific, fillable gap rather than evidence of a wrong result. The secondary dependence on the unrefereed preprint [Par24] is real but less internal: if Theorem 3.5 or its hypotheses fail, the convergence input collapses, but the present paper's own contribution is the verification of those hypotheses and the computation of γ.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript proves that the one-dimensional KMP energy process, started from a single unit of energy, converges in a t^{3/4} moderate-deviation window to the multiplicative-noise stochastic heat equation with noise coefficient 1/(2√α), equivalently the logarithm of the solution solves the KPZ equation. The proof identifies the KMP process with a stochastic flow of kernels of a continuous-time random walk in a Beta space-time random environment (Proposition 2.5), verifies the hypotheses of Parekh's general convergence theorem (Proposition 4.1), passes from the interpolated field to the Skorokhod-space field (Proposition 5.1), and computes the noise variance through a discrete-time approximation (Propositions 6.5 and 6.7).","tokens_in":29188,"tokens_out":13287,"duration_ms":135579,"significance":"If correct, the result places the KMP model in the KPZ universality class in the moderate-deviation scaling and fixes the model-dependent constant explicitly as 1/(2√α). The stochastic-flow identification is exact and elegant, and the variance computation is largely self-contained and explicit. The paper clearly states its dependence on Parekh's theorem, which is not circular. The main reservations are that the explicit noise coefficient rests on an unproved uniform-in-ε decay bound, and that the verification of one hypothesis of the external theorem (HP5) is only sketched; both points are fillable but load-bearing.","major_comments":[{"comment":"The proof of Proposition 6.5 asserts that, uniformly in ε, there exists an exponentially decaying ℓ¹(Z_{≥0}) function G_Decay bounding the difference of the two-point correlation terms, and says this follows by an argument similar to the proof of HP5. No proof of this bound is supplied. This bound is exactly the z-summable majorant needed to pass from the pointwise convergence in Lemma 6.6 to convergence of the infinite sums N_ε and D_ε; without it, dominated convergence fails and the limit γ_ε²→γ² is not justified. Since Proposition 6.7 then identifies γ² with 1/(4α), the explicit coefficient 1/(2√α) in Theorem 3.1 is not established as written. This is a specific, fillable gap rather than evidence of a wrong result.","section":"Section 6.2, Proposition 6.5"},{"comment":"The verification of HP5 is only sketched. In the k=2 case, the event E_d is not proved to have the claimed exponentially small probability, and the displayed estimate for E[Δ_i²|E_d] divides by P(E_d) without controlling this denominator; the stated bound C₃e^{−C₄|x₁−x₂|} therefore does not follow from the Cauchy–Schwarz and finiteness-of-Poisson-events remarks as written. The extension to k=3,4 is asserted after 'repeatedly applying the Cauchy-Schwartz inequality' without details. Since HP5 is a hypothesis of Theorem 3.5, the proof of the proposition must be completed.","section":"Section 4, Proposition 4.1 (HP5)"},{"comment":"The main theorem inherits its convergence input entirely from the unrefereed preprint [Par24], stated here as Theorem 3.5. This is not circular, and the authors state the dependence clearly, but it is load-bearing: if [Par24, Theorem 1.4] is not correct or not accepted, the arguments in this manuscript do not independently establish Theorem 3.1. The authors should either cite a published or otherwise refereed version, include a self-contained proof of the needed special case, or make the conditional nature of the dependence explicit in the statement of the main theorem.","section":"Section 3.5, Theorem 3.5"}],"minor_comments":[{"comment":"In the mild solution formula for the stochastic heat equation, the heat kernel in the noise integral should be p_{t−s}(x−y), not p_t(x−y).","section":"Section 3.1"},{"comment":"In the display for Aldous's criterion, a minus sign is missing: the probability should be P(|⟨F_N(τ+θ,·),φ⟩ − ⟨F_N(τ,·),φ⟩|>ε).","section":"Section 5"},{"comment":"The probability for the event that both indicators are zero is (1−ε)², not 1−2ε(1−ε); the displayed expression 1−2ε(1−ε) is the probability that the two indicators are equal.","section":"Section 6.1, Definition 6.2"},{"comment":"The notation p^{(2),ε}_{ε,n} contains a stray subscript ε; it should presumably be p^{(2),ε}_n.","section":"Section 6.1, equation (6.3)"},{"comment":"The term o(N) in estimate (5.1) and in the subsequent display should be o(1), since the estimate is meant to vanish as N→∞.","section":"Section 5, Lemma 5.2"},{"comment":"There are typographical slips in the denominator of γ², where 'p_dif(z.a)' should read p_dif(z,a), and the inner sum notation is otherwise inconsistent.","section":"Section 3.5, equation (3.13)"},{"comment":"The sentence 'by the fact that the there can only be a finite number of Poisson event [0,1], we have obtain' contains grammatical errors and should be rewritten.","section":"Section 4"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is a verification-and-computation paper built on Parekh's unrefereed theorem. I recommend that the editor obtain a report on [Par24] or require a published version before final acceptance, since the main theorem is conditional on it. The two technical gaps I raise (the uniform G_Decay bound in Proposition 6.5 and the proof of HP5) are genuinely fillable, and the rest of the paper appears sound; I therefore do not recommend rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The KMP-to-KPZ convergence is real, and the proof strategy is the right one. The main new idea is Proposition 2.5: the KMP energy field is exactly the quenched transition kernel of a continuous-time random walk in a space-time Beta environment. That observation turns an interacting particle system into a stochastic flow of kernels and lets the authors invoke Parekh's recent convergence theorem for moderate deviations of RWREs. The resulting Theorem 3.1, with the explicit noise coefficient 1/(2√α), is a genuinely new result: earlier work only had Edwards-Wilkinson limits in the diffusive window or MFT predictions for large deviations. The paper also gives a clean derivation of the k-point motion and duality from the flow picture, which is a nice bonus.\n\nThe verification of Parekh's hypotheses is mostly careful. HP1–HP4 and HP6 are handled explicitly, and the one-point annealed kernel is computed exactly. The delicate part is HP5, where the proof is a sketched collision argument with exponential decay asserted rather than written in detail. It reads as fillable, but it is currently a gap.\n\nThe bigger soft spot is Section 6. Proposition 6.5, which bridges the discrete-time variance γ_ε² to the continuous-time γ², needs a uniform-in-ε exponentially decaying majorant G_Decay to justify dominated convergence over the infinite sum over z. The paper asserts this bound by 'a similar argument to' the already sketchy HP5 proof, and the text contains no actual proof. Without that bound, the limit N_ε→N and D_ε→D is not justified, and the explicit coefficient 1/(2√α) is not established. This is a specific, fillable technical gap, not evidence of a wrong theorem — the authors have the right mechanism, and the constant comes out of a direct computation of one-step covariances once the approximation is justified.\n\nSecondary dependence on the unrefereed preprint [Par24] is real but not circular; the paper's own contribution is reducing KMP to that framework and verifying hypotheses. If Theorem 3.5 or its hypotheses collapse, the main theorem falls, but that is true for any reduction to an external deep result.\n\nWho is this for? Specialists in interacting particle systems and KPZ universality. The result is significant enough to deserve refereeing. I would send it out with a request to supply the missing bounds. The gaps are specific, and the central argument is sound.","headline":"A credible and significant proof that KMP converges to KPZ in the t^{3/4} window, provided the asserted uniform-in-ε decay bound in Section 6 is supplied.","tokens_in":29714,"tokens_out":1925,"would_cite":true,"duration_ms":18852,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60K35","60H15"],"pacs":[],"model":"deepseek-v4-flash","headline":"The KMP energy-transport process, observed in a t^{3/4}-shifted window, converges to the multiplicative-noise stochastic heat equation whose logarithm is the KPZ equation, with noise coefficient 1/(2√α).","keywords":["KMP process","KPZ equation","stochastic heat equation","random walk in random environment","stochastic flow of kernels","moderate deviations","interacting particle systems","noise variance"],"falsifier":"Compute $\\gamma_\\varepsilon^2$ explicitly for the discrete-time $\\varepsilon$-approximation at small $\\varepsilon$ and fixed $\\alpha$; if it does not approach $1/(4\\alpha)$, the claimed noise coefficient fails. Alternatively, exhibit points where the asserted uniform exponential decay of the two-point mixed moments fails, which would break the dominated-convergence step and leave the coefficient unproven.","tokens_in":28586,"feed_emoji":"🔥","tokens_out":12224,"duration_ms":101266,"temperature":0.7,"pith_summary":"The paper claims that the Kipnis–Marchioro–Presutti (KMP) process, a standard exactly solvable model of energy transport on the integer line, has a scaling limit governed by the KPZ equation. In a window of width $N^{1/2}$ shifted by $N^{3/4}t$, and after an explicit exponential normalization, the energy density field converges as $N \\to \\infty$ to the multiplicative-noise stochastic heat equation $\\partial_t U = \\frac{1}{2} \\partial_{xx} U + \\frac{1}{2\\sqrt{\\alpha}} U \\Xi$, so that $\\log U$ solves the KPZ equation. The proof works by identifying KMP energies with the quenched transition kernel of a continuous-time random walk in a space-time random environment, then applying a general convergence theorem for such kernels. If the result is correct, the KMP model belongs to the KPZ universality class in this moderate-deviation regime, with the model-dependent noise strength determined explicitly.","feed_headline":"KMP energy model joins the KPZ universality class","feed_subtitle":"At a t^{3/4} shifted window, its density field converges to the stochastic heat equation with noise strength 1/(2√α).","key_machinery":"The load-bearing object is the quenched transition kernel $K_{s,t}(y,x)$ of a continuous-time random walk whose environment is generated by the same Poisson clocks and Beta$(\\alpha,\\alpha)$ variables that drive the KMP redistribution. Proposition 2.5 identifies the KMP energy at site $x$ with the action of this kernel on an initial localized energy, making the energy field a stochastic flow of kernels in the sense of [SSS14]. That identification converts the SPDE convergence problem into checking six hypotheses from [Par24] and then computing the noise variance, which the paper does through a discrete-time $\\varepsilon$-approximation of the kernel flow.","core_discovery":"The central result, Theorem 3.1, states that the rescaled field $F_N(t,x) = C_{N,t,x}\\,\\eta(tN, N^{3/4}t + N^{1/2}x)$, with $C_{N,t,x} = \\exp(N^{1/4}x + N^{1/2}t/2 + t/8)$, is tight in $D([0,T], \\mathcal{S}'(\\mathbb{R}))$, and every limit point coincides with the law of the unique multiplicative-noise stochastic heat equation solution $\\partial_t U = \\frac{1}{2}\\partial_{xx}U + \\frac{1}{2\\sqrt{\\alpha}} U \\Xi$ with $U(0,\\cdot) = \\delta_0$. Equivalently, $\\log U$ solves the KPZ equation. This is a moderate-deviation scaling: the observation window sits between the diffusive scale $t^{1/2}$ and the ballistic scale $vt$, where the fluctuations are multiplicative rather than additive. The paper's identification of the KMP dynamics with a stochastic flow of kernels is what turns this statement into a consequence of the general random-walk-in-random-environment convergence theorem.","pith_inferences":["A direct numerical check of the two-point covariance in the $\\varepsilon$-discretized flow would test the constant $1/(2\\sqrt{\\alpha})$ even before a proof of the missing uniform decay bound is found.","The missing $G_{\\mathrm{Decay}}$ bound is likely obtainable by the same Poisson-event path-counting argument used for hypothesis HP 5; if it fails, convergence might survive with a different noise coefficient, but the theorem as stated would not follow.","The paper's own $\\alpha \\to 0$ question hints that the limiting kernel flow should be a sticky Brownian flow, which would place the KMP model in the same family as discrete beta walks at weak noise."],"forward_implications":["The KMP model, not only exclusion-type models, falls in the KPZ universality class at the $t^{3/4}$ moderate-deviation scale, so log-energy fluctuations there obey the KPZ equation.","The noise strength is fixed at $1/(2\\sqrt{\\alpha})$; any simulation or further theory of KMP fluctuations in this window must reproduce this coefficient.","The proof template applies to any energy redistribution rule that produces a stochastic flow of kernels satisfying the six hypotheses, so the result should extend to multi-site or Beta$(\\alpha,\\beta)$ redistribution up to constants.","The paper conjectures that at ballistic sites $x \\sim vt$ with $v \\neq 0$, log-energy has Tracy–Widom fluctuations, connecting the moderate-deviation KPZ regime to the KPZ fixed point."],"supporting_citations":[{"why":"Introduces the KMP process and its heat-flow dynamics, the object whose scaling limit is studied.","marker":"[KMP82]"},{"why":"Supplies the general convergence theorem (recorded as Theorem 3.5) from kernels of random walks in random environments to the multiplicative-noise stochastic heat equation.","marker":"[Par24]"},{"why":"Defines the stochastic flow of kernels framework used to identify KMP energies with the random-walk transition kernel.","marker":"[SSS14]"},{"why":"Generalizes KMP to Beta(α,α) redistribution and provides the duality and stationary structure used in the proof.","marker":"[CGGR13]"},{"why":"Provides the graphical construction of the KMP process and its particle representation, which underlies the coupling with the random walk.","marker":"[FF98]"},{"why":"Establishes uniqueness of the solution to the multiplicative-noise stochastic heat equation used to characterize the limit.","marker":"[BC95]"},{"why":"Also cited for uniqueness of the narrow-wedge solution that identifies the limit law.","marker":"[Par19]"}],"fun_headline_variants":["KMP process converges to KPZ equation at t^{3/4} scale","Moderate deviations: KMP density field becomes KPZ","New proof: KMP converges to KPZ at t^{3/4} window","KMP joins KPZ universality via t^{3/4} moderate deviations"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof assumes, without a displayed argument, that there is an exponentially decaying $\\ell^1(\\mathbb{Z}_{\\ge 0})$-valued function $G_{\\mathrm{Decay}}$ controlling the two-point mixed moments uniformly in the discretization parameter $\\varepsilon$, and it also assumes the external convergence theorem stated as Theorem 3.5; if either premise gives way, the explicit coefficient $1/(2\\sqrt{\\alpha})$ is not established by this argument.","fun_headline_variants_meta":{"raw":{"variants":["KMP process converges to KPZ equation at t^{3/4} scale","Moderate deviations: KMP density field becomes KPZ","New proof: KMP converges to KPZ at t^{3/4} window","KMP joins KPZ universality via t^{3/4} moderate deviations"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000734,"raw_usage":{"total_tokens":3256,"prompt_tokens":896,"completion_tokens":2360,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":512,"completion_tokens_details":{"reasoning_tokens":2277}},"tokens_in":512,"tokens_out":2360,"duration_ms":15265,"temperature":1.0,"reasoning_tokens":2277,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T17:57:36.935770+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute $\\gamma_\\varepsilon^2$ explicitly for the discrete-time $\\varepsilon$-approximation at small $\\varepsilon$ and fixed $\\alpha$; if it does not approach $1/(4\\alpha)$, the claimed noise coefficient fails. Alternatively, exhibit points where the asserted uniform exponential decay of the two-point mixed moments fails, which would break the dominated-convergence step and leave the coefficient unproven.","supporting_citations":[],"review_version":1}