REVIEW 1 major objections 5 minor 1 cited by
Convergence rate for Fluctuations of mean field interacting diffusion and application to 2D viscous Vortex model and Coulomb potential
T0 review · 1 major / 5 minor · reviewed 2026-08-05 · deepseek-v4-flash
Pith's one-line read Mean-field fluctuations converge at rate 1/√N, with applications to the 2D vortex model and Coulomb potential.
desk verdict First quantitative fluctuation rates for mean-field diffusions, but the Jabin–Wang step in the proof has a likely gap that affects the main rate. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The mechanism is a generator comparison on the Hilbert space H^{-λ-2}(T^d), the negative Sobolev space of distributions that carries the fluctuation process and its limit. The limit process ρ solves a linear SPDE whose semigroup is not strongly continuous, so the paper first mollifies the coefficients to obtain approximating processes ρ^n that solve SDEs on H^{-λ-2}(T^d), and proves that ρ^n converges to ρ in probability in L²([0,T];H^{-λ-2}(T^d)). The generator of ρ^n is computed via Itô's formula on Hilbert spaces, and the generator of ρ^N is computed via flat derivatives on probability measures restricted to empirical measures; a key identity matches the second-order pure derivative in pa
What would settle it
Take a linear interaction with a bounded kernel and Gaussian initial data, choose Φ to be a quadratic functional, and compute both sides of the estimate explicitly, since ρ^N and ρ are Gaussian functionals; an explicit ratio larger than the claimed constant would falsify the bound. Conversely, a model that violates the uniform relative-entropy assumption but still shows 1/√N decay would show that Assumption 2.4(3) is not necessary.
Extended reading notes
Core claim
The central result is Theorem 2.11: under regularity assumptions on the drift and a uniform relative-entropy bound, for any twice-Fréchet-differentiable function Φ with bounded first and second derivatives on H^{-λ-2}(T^d), the fluctuation process ρ^N_t = √N(µ^N_t - µ_t) satisfies sup_{0≤t≤T} |E[Φ(ρ^N_t)] - E[Φ(ρ_t)]| ≤ C [Φ]_{C2} (1/√N + W1,H(P_{ρ^N_0}, P_{ρ_0})). This is the first quantitative central-limit-type estimate for mean-field fluctuations. The proof computes the generators of both processes on the Hilbert space H^{-λ-2}(T^d), approximates the limiting linear SPDE by smoother SPDEs that are genuine Hilbert-space SDEs, proves convergence of those approximations in probability, and
Load-bearing premise
The general 1/√N rate rests on the assumption that the N-particle law stays uniformly close, in relative entropy, to the product of independent one-particle laws throughout [0,T]; if that bound fails, the proof only provides a limsup, and the Coulomb case indeed requires weaker model-specific controls.
Editorial extensions
If this is right
- For drifts satisfying the regularity and entropy assumptions, the weak error of the fluctuation process decays at the classical CLT rate 1/√N, uniformly on [0,T], with the constant depending only on the dimension, the horizon, and the C² seminorm of the test function.
- The same 1/√N rate holds for the 2D viscous vortex model with Biot-Savart kernel, upgrading the previously known distributional fluctuation result to a quantitative one.
- For repulsive Coulomb interactions in dimensions two and three, the rate is γ(d,N), namely √log(N)/√N for d=2 and N^{-1/6} for d=3, plus the initial Wasserstein distance.
- Under an additional tightness condition, the quantitative estimate implies convergence in law of ρ^N to ρ on the path space C([0,T];H^{-λ-2}(T^d)), recovering earlier fluctuation results by a non-compactness route.
- Convergence in probability of the mollified SPDEs also yields existence of probabilistically strong solutions to the limiting fluctuation SPDE.
Reading between the lines
- The general 1/√N rate appears to be conditional on the uniform relative-entropy bound Assumption 2.4(3); for models like Coulomb where only weaker entropy controls are available, the method's ceiling may be the slower γ(d,N) rates, so d≥4 would likely need a new control beyond the present sharp functional inequalities.
- For linear interactions with Gaussian initial data, the weak error is a Gaussian functional and can be computed explicitly, offering a concrete numerical test of the dimension-dependent constant in the bound.
- The proof only derives convergence in law under an additional tightness assumption; a natural next step, left open, is to derive tightness directly from the quantitative estimate and remove that hypothesis.
- Because the bound depends on Φ only through its C² seminorm and the initial Wasserstein distance, the result passes by approximation to a broader class of nonlinear observables with bounded second derivatives.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the fluctuation process ρ^N_t = √N(μ^N_t−μ_t) associated with a system of N mean-field interacting diffusions on the torus, and compares it with the solution ρ of the linear SPDE (1.5) obtained in the central limit regime. The main result, Theorem 2.11, asserts a quantitative weak error of order N^{−1/2} for smooth test functions on H^{−λ−2}(T^d), under Assumptions 2.1–2.4. The proof is based on mollifying the limiting SPDE into Hilbert-space-valued SDEs, establishing convergence in probability of the approximation, computing and comparing generators for ρ^N and the approximating process, and estimating the resulting remainder terms R_0,...,R_4 via relative-entropy and Jabin–Wang estimates. The paper also applies the method to the 2D viscous vortex model with the Biot–Savart kernel, obtaining the same N^{−1/2} rate under Osada–Jabin–Wang entropy bounds, and to the repulsive Coulomb potential in dimensions 2 and 3, where the rate is reduced to γ(d,N).
Significance. If fully correct, the paper would be a significant contribution: it gives the first quantitative bound of order N^{−1/2} for the weak fluctuation convergence in negative Sobolev spaces for nonlinear mean-field diffusions, and it extends the rate to singular interactions of vortex and Coulomb type. The approximation of the non-strongly-continuous SPDE by SDEs in a Hilbert space, with convergence in probability (Theorem 3.6), is an interesting technical novelty and is likely to be reusable. The applications are carefully structured, and the weaker rate for the Coulomb case is honestly stated in Theorem 6.18. However, the central proof for the general smooth drift case contains a serious gap: the estimates of the remainders R_2 and R_3 in Lemmas 5.9 and 5.11 apply the Jabin–Wang Theorem 5.8 to kernels that depend on the empirical measure μ^N_s of the same configuration over which the expectation is taken. As stated, Theorem 5.8 only applies to fixed kernels, so the proof of Theorem 2.11 is not complete.
major comments (1)
- [§5, Lemmas 5.9 and 5.11; Theorem 5.8] The bound for R_2 in Lemma 5.9 reduces to an estimate on E[|⟨φ_k(s,·,r,·), μ^N_s⊗μ^N_s⟩|], where φ_k is defined with δb/δm evaluated at the random measure r μ^N_s+(1−r)μ_s. Thus φ_k depends on the same configuration x_1,...,x_N over which the expectation and the variational formula are taken. After the change of measure to μ_s^{⊗N}, the proof applies Theorem 5.8 to bound ∫ μ_s^{⊗N}(dx) exp(κN |N^{-2}∑ φ_k(x_i,x_j)|), but Theorem 5.8 is stated only for a fixed kernel φ(x,z) independent of the configuration. For each fixed empirical measure m one could bound ∫ exp(κN Ψ_m(z)) μ_s^{⊗N}(dz), but this gives no control on the configuration-dependent expression actually appearing in the proof. Lemma 5.11 repeats the same argument for R_3 with δ²b/δm² evaluated at rr′ μ^N_s+(1−rr′)μ_s. These two lemmas are load-bearing for the N^{−1/2} rate in Theorem 2.11, so the main theorem is not proved as wr
minor comments (5)
- [Abstract and §1.1] There are several typographical errors: 'diffential' in the abstract, 'denode' in §2.1, 'empirial' in §2.1, and 'Schwarz' should be 'Schwartz' in several places.
- [Equation (4.23)] Equation (4.23) has an unbalanced parenthesis in the term ⟨A_n(s,f), ∇ˆT^n_{s,t}Φ(f))⟩; the extra closing parenthesis should be removed.
- [Lemma 5.9] In the definition of φ_k, the notation mixes φ(s,x,r,v) and φ_k; the dependence on k should be made explicit consistently throughout the proof.
- [§6.2, Remark 6.19] The discussion of why the Coulomb rate cannot be improved is useful, but it would help to state explicitly that the rates in Lemma 6.17 and Lemma 6.16 combine to give γ(d,N) as in (6.9), since the √log N term from Lemma 6.17 is dominated by log N/√N in d=2.
- [References] The reference 'Maurins theorem' in Lemma A.1 should be 'Maurin's theorem'. Also, the preprint [Nik25] by the second author is cited in related work; this is not load-bearing but the authors may consider noting that the result is independent.
Circularity Check
No significant circularity: the 1/√N rate is derived from generator comparison and external entropy estimates, with no fitted parameter or load-bearing self-citation.
full rationale
Theorem 2.11 is obtained by a genuine generator-comparison argument: Lemma 5.1 and Proposition 5.2 express the weak error as the integral of the difference of the generators of ρ^N and the mollified SPDE ρ^n, and Lemmas 5.4–5.11 estimate the remainders R0–R4 explicitly. The R1–R3 bounds rely on the external Jabin–Wang variational formula (5.4), Theorem 5.8, and the uniform relative entropy bound Assumption 2.4(3); no parameter is fitted to the target quantity E[Φ(ρ^N_t)]−E[Φ(ρ_t)], and no prediction is renamed from an input. The only self-reference, [Nik25], appears in the related-works discussion and is not used in any proof. The singular-kernel results import external estimates from [JW18], [CdCRS25], and [Ser20], which are independent of the present derivation. The skeptic's concern that Lemmas 5.9 and 5.11 apply Theorem 5.8 to a kernel depending on μ^N_s is a potential technical gap in the proof, not a circularity: it does not show that the theorem's conclusion is equivalent to its assumptions by construction. The central claim therefore has independent content and is not forced by self-citation or by definition.
Assumptions & free parameters
free parameters (1)
- Sobolev exponents λ, λ' =
λ > 3d/2, λ' > λ+1
assumptions (6)
- domain assumption Assumption 2.2 existence and stability estimates (2.2)-(2.3)
- domain assumption Assumption 2.3 Ito formula time regularity
- domain assumption Assumption 2.4 uniform relative entropy bound sup_N sup_t H(\bar μ^N_t|μ^{⊗N}_t) < ∞
- standard math Jabin-Wang large deviation estimate Theorem 5.8
- standard math Modulated energy estimates from CdCRS25 (Theorem 6.14, Proposition 6.12)
- standard math Infinite-dimensional SPDE well-posedness and Ito formula from LR15, RL18
Cite this review
Pith. "Pith review of Convergence rate for Fluctuations of mean field interacting diffusion and application to 2D viscous Vortex model and Coulomb potential." pith.science (2026). https://pith.science/paper/ZBP2MOYJ
@misc{pith2026250901266,
author = {Pith},
title = {Pith review of: Convergence rate for Fluctuations of mean field interacting diffusion and application to 2D viscous Vortex model and Coulomb potential},
year = {2026},
howpublished = {\url{https://pith.science/paper/ZBP2MOYJ}},
note = {Machine review of arXiv:2509.01266}
}
abstract
For a system of mean field interacting diffusion on $\mathbb{T}^d$, the empirical measure $\mu^N$ converges to the solution $\mu$ of the Fokker-Planck equation. Refining this mean field limit as a Central Limit Theorem, the fluctuation process $\rho^N_t= \sqrt{N}( \mu^N_t -\mu_t)$ convergences to the solution $\rho$ of a linear stochastic PDE on the negative Sobolev space $H^{-\lambda-2}(\mathbb{T}^d)$. The main result of the paper is to establish a rate for such convergence: we show that $|\mathbb{E}[\Phi(\rho_t^N)] - \mathbb{E}[\Phi(\rho_t)]| = \mathcal{O}(\tfrac{1}{\sqrt{N}})$, for smooth functions on $H^{-\lambda-2}(\mathbb{T}^d)$. The strategy relies on studying the generators of the processes $\rho^N$ and $\rho$ on $H^{-\lambda-2}(\mathbb{T}^d)$, and thus estimating their difference. Among others, this requires to approximate in probability $\rho$ with solutions to stochastic diffential equations on the Hilbert space $H^{-\lambda-2}(\mathbb{T}^d)$. The flexibility of the approach permits to establish a rate for the fluctuations, not only in case of a regular drift, but also for the the 2D viscous Vortex model, governed by the Biot-Savart kernel, and for the repulsive Coulomb potential.
Forward citations
Cited by 1 Pith paper
-
Universal Central Limit Theorem for non-exchangeable interacting diffusions
The global fluctuation field of non-exchangeable interacting diffusions converges to the universal mean field SPDE limit under deterministic denseness conditions on the interaction matrix, with a sharp n^{-1/2} threshold.
Reference graph
Works this paper leans on
-
[1]
[APY21] Ehsan Azmoodeh, Giovanni Peccati, and Xiaochuan Yang, Malliavin–stein method: a survey of some recent developments, Modern Stochastics: Theory and Applications 8 (2021), no. 2, 141–177. [BCD+72] P. Bernat, N. Conze, M. Duflo, M. L´ evy-Nahas, M. Ra¨ ıs, P. Renouard, and M. Vergne,Repr´ esentations des groupes de Lie r´ esolubles, Monographies de l...
work page 2021
-
[14]
[KS22] Franziska K¨ uhn and Ren´ e L. Schilling, Convolution inequalities for Besov and Triebel-Lizorkin spaces, and applications to convolution semigroups , Studia Math. 262 (2022), no. 1, 93–119. MR 4339468 [Kur14] Thomas G. Kurtz, Weak and strong solutions of general stochastic models , Electron. Commun. Probab. 19 (2014), no. 58,
work page 2022
-
[16]
MR 3254737 [KX04] Thomas G. Kurtz and Jie Xiong, A stochastic evolution equation arising from the fluctuations of a class of interacting particle systems , Communications in Mathematical Sciences 2 (2004), no. 3, 325 –
work page 2004
-
[33]
MR 3572548 [M´96] Sylvie M´ el´ eard, Asymptotic behaviour of some interacting particle systems; mckean-vlasov and boltzmann models, Probabilistic models for nonlinear partial differential equations, Lecture Notes in Mathematics, vol. 1627, Springer-Verlag, Berlin; Centro Internazionale Matematico Estivo (C.I.M.E.), Florence, 1996, Lectures given at the 1...
work page 1996
-
[34]
[JW18] Pierre-Emmanuel Jabin and Zhenfu Wang, Quantitative estimates of propagation of chaos for stochastic systems with W−1,∞ kernels, Invent. Math. 214 (2018), no. 1, 523–591. MR 3858403 [Kal02] Olav Kallenberg, Foundations of modern probability , second ed., Probability and its Applications (New York), Springer-Verlag, New York,
work page 2018
-
[50]
MR 2974499 [BJW23] Didier Bresch, Pierre-Emmanuel Jabin, and Zhenfu Wang, Mean field limit and quantitative estimates with singular attractive kernels , Duke Math. J. 172 (2023), no. 13, 2591–2641. MR 4658923 [Bog07] Vladimir I. Bogachev, Measure theory. Vol. I, II , Springer-Verlag, Berlin,
work page 2023
-
[54]
Dobruˇ sin, Vlasov equations , Funktsional
MR 3954791 [Dob79] Roland L. Dobruˇ sin, Vlasov equations , Funktsional. Anal. i Prilozhen. 13 (1979), no. 2, 48–58,
work page 1979
-
[328]
[HMC06] Minyi Huang, Roland P. Malham´ e, and Peter E. Caines, Large population stochastic dynamic games: Closed-loop McKean-Vlasov systems and the Nash certainty equivalence principle , Communications in Information & Systems 6 (2006), no. 3, 221–252. [Jea15] James H. Jeans, On the theory of star-streaming and the structure of the universe , Monthly Noti...
work page 2006
Show all 22 references
-
[358]
[Lac23] Daniel Lacker, Hierarchies, entropy, and quantitative propagation of chaos for mean field diffusions , Probab. Math. Phys. 4 (2023), no. 2, 377–432. MR 4595391 [LL07] Jean-Michel Lasry and Pierre-Louis Lions, Mean field games, Japanese journal of mathematics 2 (2007), ...
2023
-
[1969]
Dawson, Measure-valued markov processes, ´Ecole d’´Et´ e de Probabilit´ es de Saint-Flour XXI— 1991, Lecture Notes in Math., vol
[Daw91] Donald A. Dawson, Measure-valued markov processes, ´Ecole d’´Et´ e de Probabilit´ es de Saint-Flour XXI— 1991, Lecture Notes in Math., vol. 1541, Springer, Berlin, 1991, pp. 1–260. [Del21] Fran¸ cois Delarue, Mean field games, Proceedings of Symposia in Applied Mathema...
1991
-
[1985]
1464, Springer, Berlin, 1991, pp
[Szn91] , Topics in propagation of chaos , ´Ecole d’ ´Et´ e de Probabilit´ es de Saint-Flour XIX—1989, Lecture Notes in Math., vol. 1464, Springer, Berlin, 1991, pp. 165–251. MR 1108185 [TH81] Hiroshi Tanaka and Masuyuki Hitsuda, Central limit theorem for a simple diffusion mo...
1989
-
[1987]
[Szn85] Alain-Sol Sznitman, A fluctuation result for nonlinear diffusions , Infinite dimensional analysis and sto- chastic processes, Semin
MR 891189 56 ALEKOS CECCHIN AND PAUL NIKOLAEV [SZ24] Yufei Shao and Xianliang Zhao, Quantitative particle approximations of stochastic 2d navier–stokes equa- tion, arXiv preprint arXiv:2402.02336 (2024). [Szn85] Alain-Sol Sznitman, A fluctuation result for nonlinear diffusions...
2024 arXiv
-
[1994]
MR 1245492 [MR16] Carlo Marinelli and Michael R¨ ockner, On the maximal inequalities of Burkholder, Davis and Gundy , Expo. Math. 34 (2016), no. 1, 1–26. MR 3463679 [MS02] Olivier Moynot and Manuel Samuelides, Large deviations and mean-field theory for asymmetric random recurr...
2016 arXiv
-
[2006]
MR 2250142 [WZZ23] Zhenfu Wang, Xianliang Zhao, and Rongchan Zhu, Gaussian fluctuations for interacting particle systems with singular kernels , Arch. Ration. Mech. Anal. 247 (2023), no. 5, Paper No. 101,
2023
-
[2011]
MR 2768550 [BD25] Armand Bernou and Mitia Duerinckx, Uniform-in-time estimates on corrections to mean field for inter- acting brownian particles, arXiv preprint, arXiv:2405.19306 (2025). [BFFT12] Javier Baladron, Diego Fasoli, Olivier Faugeras, and Jonathan Touboul, Mean-field...
2025 arXiv
-
[2014]
Ethier and Thomas G
MR 3236753 [EK86] Stewart N. Ethier and Thomas G. Kurtz, Markov processes, Wiley Series in Probability and Mathe- matical Statistics: Probability and Mathematical Statistics, John Wiley & Sons, Inc., New York, 1986, Characterization and convergence. MR 838085 [FG15] Nicolas Fo...
1986 arXiv
-
[2015]
MR 3410409 [LY16] Jian-Guo Liu and Rong Yang, Propagation of chaos for large Brownian particle system with Coulomb interaction, Res. Math. Sci. 3 (2016), Paper No. 40,
2016
-
[2019]
Pr¨ omel, Hegselmann-Krause model with environmental noise , Trans
[CNP25] Li Chen, Paul Nikolaev, and David J. Pr¨ omel, Hegselmann-Krause model with environmental noise , Trans. Amer. Math. Soc. 378 (2025), no. 1, 527–567. MR 4840314 [CP19] Alekos Cecchin and Guglielmo Pelino, Convergence, fluctuations and large deviations for finite state ...
2025
-
[2021]
[DLR19] Fran¸ cois Delarue, Daniel Lacker, and Kavita Ramanan, From the master equation to mean field game limit theory: a central limit theorem , Electron. J. Probab. 24 (2019), Paper No. 51,
2019
-
[2022]
553, Springer, Vienna, 2014, pp
[CCH14] Jos´ e Antonio Carrillo, Young-Pil Choi, and Maxime Hauray, The derivation of swarming models: mean- field limit and Wasserstein distances , Collective dynamics from bacteria to crowds, CISM Courses and Lect., vol. 553, Springer, Vienna, 2014, pp. 1–46. MR 3331178 [CCT...
2014
-
[2023]
MR 4628185 [FM97] Bego˜ na Fernandez and Sylvie M´ el´ eard, A Hilbertian approach for fluctuations on the McKean-Vlasov model, Stochastic Process
©2023. MR 4628185 [FM97] Bego˜ na Fernandez and Sylvie M´ el´ eard, A Hilbertian approach for fluctuations on the McKean-Vlasov model, Stochastic Process. Appl. 71 (1997), no. 1, 33–53. MR 1480638 [GK96] Istv´ an Gy¨ ongy and Nicolai Krylov, Existence of strong solutions for I...
2023 arXiv
-
[4555]
3, 1929 –
[CST22] Jean-Fran¸ cois Chassagneux, Lukasz Szpruch, and Alvin Tse, Weak quantitative propagation of chaos via differential calculus on the space of measures , The Annals of Applied Probability 32 (2022), no. 3, 1929 –
2022
Reviewed August 5, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.