{"id":"ec607d1d-79c0-4be9-8b65-22a345e5b71d","arxiv_id":"2411.15406","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For bounded-kernel weakly interacting diffusions with large diffusion, the L2 and Fourier-supremum sizes of chaos are uniformly bounded in time by powers of 1/N, with a central limit theorem for the empirical measure.","lead":"This paper proves that for interacting particle systems with bounded interaction kernels and sufficiently strong noise, the correlation functions stay small uniformly in time, quantifying how quickly particles become independent. The result extends known finite-time chaos estimates to all times and yields a central limit theorem for the empirical measure.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The bootstrap in Theorem 1.1 bounds g[m] by the difference from the heat-evolved initial data, but the forcing estimate (3.5) bounds factors g1 via the normalized difference only, omitting the heat-evolved initial density; as written the closure estimate misses a linear term.","rationale":"The central claim is a uniform-in-time chaos bound, and the proof strategy is coherent. The reader's concern about the omitted derivation of the correlation hierarchy (2.1) is legitimate and load-bearing, since every theorem depends on it. I focused instead on a gap inside the bootstrap argument itself: the control of g1 factors. The paper controls differences from heat-evolved initial data, but product terms containing g1 require a bound on g1, not only on D1. The missing heat-evolved ρ0 part yields linear terms that must be absorbed by the large-σ condition; the displayed inequalities do not account for them. I do not regard this as evidence the theorem is false—the missing terms are likely controllable by the same mechanism—but it is a concrete reason the proof is not self-contained. The hierarchy omission and this bootstrap gap both support the CONDITIONAL verdict; I would not change it.","tokens_in":20640,"tokens_out":25900,"duration_ms":235188,"concrete_test":"Re-run the bootstrap in §3.3 with the decomposition g1 = e^{σtΔ}ρ0 + D1, writing the corrected γ_m inequality that includes the extra linear terms obtained by replacing one g1 factor by e^{σtΔ}ρ0 in every product term of (3.10). Check whether the stated threshold σ > 6||K||_{L∞}(16C0^2 + 12C0 + 1) forces these terms below, say, γ_m/4; if the corrected inequality does not close, Theorem 1.1 is not proved, and if it closes the gap is an omission rather than an error.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In §3.3 the bootstrap controls D_m = g[m] − e^{σtΔ[m]}g0[m], and for m ≥ 2 this equals g[m]. However, in the forcing estimate (3.5), the third line contains product terms ||g_{W∪{k}}||_{L2} ||g_{[m]∪{∗}−W−{k}}||_{L2}; for W = ∅ the first factor is g1. In (3.10)–(3.11) this factor is replaced by C0γ1, i.e. by the normalized bound on D1, not by a bound on g1 itself. Since g1 = e^{σtΔ}ρ0 + D1 and C0 = 2||ρ0||_{L2}, the correct upper bound is ||g1|| ≤ ||ρ0|| + C0γ1 = C0/2 + C0γ1. The omitted ||ρ0|| part contributes a linear term: for m = 2 it is (N−2)/N H1(ρ0 g2), exactly the type of term the large-σ bootstrap must dominate. Equations (3.11)–(3.13) do not track this term, so the proof of Theorem 1.1 does not close as written. The same omission occurs in Theorem 1.4, where the heat-evolved initial density has Fourier l∞ norm at most 1, yet g1 factors are replaced by the normalized difference δ1. This is a fixable gap if a larger σ absorbs the missing linear terms, but the printed argument does not show it.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the N-particle weakly interacting diffusion system (1.1) with bounded kernel on the torus. It defines correlation functions g[m],N via Mobius inversion of the marginals and claims uniform-in-time bounds of size (m-1)! m^2 / N^{m-1}: in L2 for any bounded kernel, provided the diffusion coefficient sigma is large (Theorem 1.1), and in Fourier-l-infinity for kernels with summable Fourier coefficients with universal constants (Theorem 1.4). From the l-infinity estimate it derives propagation of chaos and a uniform-in-time central limit theorem with rate N^{-1/7} (Corollary 1.5). The proofs use the correlation hierarchy (2.1), Fourier methods, Duhamel's formula, and an abstract bootstrap principle.","tokens_in":20965,"tokens_out":18213,"duration_ms":159003,"significance":"If the estimates are correct, they would provide the first uniform-in-time quantitative chaos bounds for first-order systems with merely bounded kernels, removing smoothness assumptions from earlier works. The constants are explicit, no parameters are fitted, and the zero-mean structure of correlation functions is exploited cleanly. The CLT application indicates a useful framework. The main reservations are proof gaps rather than conceptual impossibility.","major_comments":[{"comment":"Section 3.3, Eqs. (3.10)-(3.13) (and similarly Section 4, Eqs. (4.7)-(4.10)): The bootstrap bounds the differences D_m = g[m] - exp(sigma t Delta[m]) g0[m]. For m >= 2, D_m = g[m], but for m=1 the forcing estimates in (3.5) contain factors ||g_{W union {k}}|| with |W union {k}| = 1, i.e. ||g1||. In (3.10) these factors are replaced by C0 gamma1, the normalized bound on D1, whereas g1 = exp(sigma t Delta) rho0 + D1 and ||exp(sigma t Delta) rho0||_{L2} = C0/2. The discarded heat-evolved part contributes positive terms of the same algebraic order; e.g. for m=2, W=emptyset in the second sum of (3.5), the term (1/N)||g2|| ||g1|| is bounded in (3.10) by C0^2/(4N^2) gamma1 gamma2, but the correct bound contains an additional C0^2/(8N^2) gamma2 linear term. Since (3.10)-(3.13) do not track such terms, the proof of Theorem 1.1 does not close as written. The same omission occurs in Theorem 1.4, where ||g1||_{l-infinity} <= 1 + delta1 but the printed inequality uses delta1. The gap appears repairable by carrying the linear terms through and enlarging sigma, but the repair must be supplied.","section":"3.3; 4"},{"comment":"Section 2.1, Eq. (2.1): The correlation-function hierarchy is the foundation of both theorems, yet the paper only states it and says 'The derivation of (2.1) is omitted here', citing [HCR23] without a precise equation number. An algebraic error in any of the six terms would invalidate Theorems 1.1 and 1.4. Please provide a derivation or give a lemma-to-lemma identification with the cited hierarchy.","section":"2.1"},{"comment":"Section 5.1, Proposition 5.3: The estimate ||N g2,N - b||_{l-infinity} <= C2/N is asserted by 'similar arguments' to Proposition 5.1, but no proof is given. This proposition is load-bearing for the variance convergence in Corollary 1.5(ii) and hence for the CLT. A proof with the difference equation, bootstrap hypotheses, and constants should be included.","section":"5.1"},{"comment":"Appendix A, proof of Lemma 5.5: In the final paragraph, the 'latter case' displays |C_l(K(x,rho))| <= k |C_{l-1}(K(x,rho))|. This is circular as written; the preceding calculation (A.4) gives C_l(K(x,rho)) = k C_{l-1}(K(x,rho')), so the displayed inequality should involve K(x,rho'). As written the induction for the coefficient bound does not close. Lemma 5.5 supports Proposition 5.4 and hence Corollary 1.5, so this must be corrected.","section":"Appendix A"}],"minor_comments":[{"comment":"Remark 1.3 contains typos ('conside r', 'thatL1'); the manuscript should be proofread.","section":"Remark 1.3"},{"comment":"In Section 3.3, 'we may choose C = 2||rho0||_{L2}' should be C0, since C already denotes the sigma-threshold constant.","section":"3.3"},{"comment":"In (5.2), the remainder r_N = O(1/N) should be quantified with its norm and the constants in the estimate.","section":"5.1"},{"comment":"In the proof of Proposition 5.1, the identity ||g1,N||_{l-infinity} = ||rho||_{l-infinity} = 1 should be stated as <= 1 for probability densities; equality holds only at the zero mode.","section":"5.1"},{"comment":"Reference [HCR23] should be cited with the precise statement or equation number where the correlation hierarchy is derived.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The central idea is promising and the claimed theorems would be a useful contribution, but the missing heat-evolved contribution in the bootstrap is a real gap in the written proof; the derivation of (2.1) and Proposition 5.3 must be supplied. I would be willing to review a revised version. The paper's overlap with [HCR23] and [BD24] should be clarified in the revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The main theorems are likely true, but the proof as printed does not close. The stress-test note lands: the bootstrap controls D_m = g[m] − e^{σtΔ}g0[m], which for m ≥ 2 is fine because the initial correlations vanish. For m = 1, however, g1 = e^{σtΔ}ρ0 + D1, and the forcing estimates in (3.5) and (4.3) contain g1 factors. In (3.10)–(3.13) and (4.7)–(4.10) those factors are quietly replaced by the normalized D1 bound, dropping the heat-evolved initial density (L2 norm C0/2, Fourier-l∞ norm ≤ 1). That missing term is linear in the lower-order correlation and is exactly the kind of term a large-σ bootstrap must dominate. It may be absorbable by taking σ larger, but the printed inequalities do not show it. So Theorems 1.1 and 1.4 are conditional on a real gap, not established as written.\n\nWhat is genuinely good: the zero-mean structure of correlation functions is used carefully, the Duhamel-plus-bootstrap setup is clean, and the Fourier-l∞ framework for Theorem 1.4 is a sensible way to get initial-data-independent constants and weak-convergence information. The paper also gives credit where it is due: it extends HCR23 from finite to uniform time and adds a fluctuation result, which is a legitimate subfield contribution.\n\nOther soft spots, in proportion. The correlation hierarchy (2.1) is asserted equivalent to BBGKY with derivation omitted; that is a missing proof, though the hierarchy is cited from HCR23. Proposition 5.3 is asserted via “similar arguments” and is load-bearing for the variance limit; that needs a real proof. More seriously, the CLT rate N^{−1/7} looks inconsistent with the cumulant estimates. After standardizing, Proposition 5.4 gives roughly |κ_m(Y_N)| ≤ (m!)4 C^m N^{−(m−2)/2}, so in Proposition 2.3 one would have Δ ~ N^{−1/2}, which makes the Berry–Essen bound grow, not decay. Unless I am misreading the normalization, Corollary 1.5 needs rework.\n\nThis paper is for people working on propagation of chaos and mean-field limits; if the gaps are fixed, it is a useful result. I would send it to peer review rather than desk reject, but ask for a substantive revision. I would not cite it in its current form.","headline":"Uniform-in-time chaos claims are plausible and worth refereeing, but the bootstrap drops the g1 heat-evolved term and the CLT rate looks wrong as stated.","tokens_in":21480,"tokens_out":7218,"would_cite":false,"duration_ms":66017,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["82C22","35Q84","60K35"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper establishes uniform-in-time quantitative bounds on the size of chaos for weakly interacting particle systems with bounded kernels, provided the diffusion is large enough.","keywords":["propagation of chaos","correlation functions","mean-field limit","uniform-in-time estimates","central limit theorem","interacting particle systems","BBGKY hierarchy","bounded kernels"],"falsifier":"Substitute the definitions of $g_{[m]}$ in terms of $f_{[m]}$ into (2.1) for a small case such as $N=3$, $m=2$, and compare coefficients with the BBGKY hierarchy; a mismatch in any coefficient would invalidate all the theorems.","tokens_in":1723,"feed_emoji":"🎲","tokens_out":5719,"duration_ms":78992,"temperature":0.7,"pith_summary":"This paper aims to show that for a first-order interacting particle system with a merely bounded interaction kernel, the correlation functions—the quantities measuring how far the particles are from being independent—decay uniformly in time like $(m-1)!\\,m^2/N^{m-1}$ in $L^2$ norm, provided the diffusion coefficient is large enough. This would give quantitative propagation of chaos for all times, not just on finite time intervals, and for kernels that need not be smooth. A second result achieves the same bound in the Fourier $\\ell^\\infty$ norm with a universal constant, removing the dependence of the diffusion threshold on the initial data, and from it the paper derives a central limit theorem for the empirical measure with rate $O(N^{-1/7})$ uniform in time.","feed_headline":"All-time chaos bounds hold for bounded interaction kernels","feed_subtitle":"Large diffusion suppresses every m-particle correlation to O(N^{1-m}) in L2 and Fourier l-infinity norms.","key_machinery":"The argument rewrites the BBGKY hierarchy in Fourier modes and treats it as a perturbation of the heat equation on the torus. The load-bearing objects are the operators $|\\nabla_k|^{-1}S_{k,l}$ and $|\\nabla_k|^{-1}H_k$, which insert a division by the frequency of the $k$-th variable before the collision operators; Lemma 2.1 shows they are bounded by $\\|K\\|_{L^\\infty}$ on $L^2$. A Duhamel formula converts the hierarchy into an integral inequality, and the Abstract Bootstrap Principle upgrades the estimate from short times to all times. In the Fourier-$\\ell^\\infty$ framework, summability of the kernel's Fourier coefficients makes the same operators bounded in $\\ell^\\infty$ with constant $\\|\\hat{K}\\|_{\\ell^1}$, producing a universal constant in the bound.","core_discovery":"The central claim is that for any bounded kernel $K\\in L^\\infty(\\mathbb{T}^{2d};\\mathbb{R}^d)$ and initial density $\\rho_0\\in L^2(\\mathbb{T}^d)$, once the diffusion coefficient $\\sigma$ exceeds a constant depending on $\\|K\\|_{L^\\infty}$ and $\\|\\rho_0\\|_{L^2}$, the $L^2$ norm of every $m$-particle correlation function $g_{[m],N}(t)$ satisfies $\\|g_{[m],N}(t)\\|_{L^2} \\le C_0 (m-1)!\\,m^2/N^{m-1}$ for all $m\\le N$ and all $t\\ge 0$, with $C_0$ depending only on $\\|\\rho_0\\|_{L^2}$. Under the stronger condition that the Fourier modes of $K$ are summable (i.e., $\\|\\hat{K}\\|_{\\ell^1}<\\infty$), the same bound holds in the Fourier $\\ell^\\infty$ norm with constant $2$ in place of $C_0$, and the threshold on $\\sigma$ depends only on $K$. These are, if correct, the first uniform-in-time quantitative chaos estimates for first-order systems with merely bounded kernels.","pith_inferences":["The omitted derivation of the correlation-function hierarchy (2.1) is the most fragile link; a reader who wants to rely on the theorems should first verify (2.1) directly for small $N$.","If the hierarchy is accepted, the large-diffusion threshold is likely far from sharp, since the bootstrap constants in (3.13) and (4.10) are crude; sharper summation may lower the required $\\sigma$.","The Fourier-$\\ell^\\infty$ result suggests that kernels with summable Fourier coefficients may yield correlation estimates with constants independent of dimension, which could help in high-dimensional mean-field limits, though the paper does not pursue this.","The CLT rate $O(N^{-1/7})$ is presumably non-optimal; a refined cumulant bound might recover the $O(N^{-1/2})$ rate known for smooth kernels."],"forward_implications":["Quantitative propagation of chaos follows: for fixed $j$, the $j$-marginal converges to $\\rho^{\\otimes j}$ at rate $C_j/N$ in the appropriate norm, uniformly in $t$.","A uniform-in-time central limit theorem for the empirical measure holds with Berry–Esseen rate $O(N^{-1/7})$, under the Fourier-summability condition on the kernel.","The $L^2$ bound holds for arbitrary bounded kernels with no smoothness requirement, so the main limitation is only the largeness of the diffusion coefficient.","The $\\ell^\\infty$ bound removes the dependence of the diffusion threshold on the initial data and gives a universal constant, making the estimate dimension-robust within its norm.","The estimates provide a path to studying fluctuations around the mean-field limit, including the Bogolyubov correction $N g_{2,N}\\to b_t$."],"supporting_citations":[{"why":"Supplies the correlation-function hierarchy (2.1) as the starting point of the estimate and the $L^2$ framework for bounded kernels.","marker":"[HCR23]"},{"why":"Provides the prior uniform-in-time size-of-chaos results for smooth kernels via Glauber calculus, which this paper extends to bounded kernels.","marker":"[Due21]"},{"why":"Gives uniform-in-time chaos estimates for second-order systems with smooth kernels, the comparison baseline for the first-order result here.","marker":"[BD24]"},{"why":"States the Abstract Bootstrap Principle used to upgrade local-in-time bounds to uniform-in-time bounds.","marker":"[Tao06]"},{"why":"Supplies the cumulant Berry–Esseen bound (Proposition 2.3) used to convert cumulant estimates into the CLT.","marker":"[DJS22]"},{"why":"Documents the large-diffusion assumption made in Theorem 1.1 and provides context for why the $\\ell^\\infty$ result removing the dependence on $\\rho_0$ is significant.","marker":"[LLF23]"}],"fun_headline_variants":["Uniform chaos bounds for all time with bounded kernels","Large diffusion tames correlations in interacting particle systems","First all-time chaos estimates for bounded interaction kernels","New uniform-in-time bounds on particle correlations","Bounded kernels yield time-uniform chaos with strong diffusion"],"cache_read_input_tokens":23552,"weakest_assumption_plain":"The entire argument rests on the correlation-function hierarchy (2.1) being exactly equivalent to the BBGKY hierarchy even though its derivation is omitted, and on the Fourier-summability condition $\\|\\hat{K}\\|_{\\ell^1}<\\infty$ for the $\\ell^\\infty$ results.","fun_headline_variants_meta":{"raw":{"variants":["Uniform chaos bounds for all time with bounded kernels","Large diffusion tames correlations in interacting particle systems","First all-time chaos estimates for bounded interaction kernels","New uniform-in-time bounds on particle correlations","Bounded kernels yield time-uniform chaos with strong diffusion"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001087,"raw_usage":{"total_tokens":4506,"prompt_tokens":874,"completion_tokens":3632,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":490,"completion_tokens_details":{"reasoning_tokens":3561}},"tokens_in":490,"tokens_out":3632,"duration_ms":20086,"temperature":1.0,"reasoning_tokens":3561,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T14:21:13.461728+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Substitute the definitions of $g_{[m]}$ in terms of $f_{[m]}$ into (2.1) for a small case such as $N=3$, $m=2$, and compare coefficients with the BBGKY hierarchy; a mismatch in any coefficient would invalidate all the theorems.","supporting_citations":[],"review_version":1}