pith. sign in

arxiv: 2209.08832 · v4 · pith:FNF4Y2NWnew · submitted 2022-09-19 · 🧮 math.AP · math-ph· math.MP

Mean field, hydrodynamic and graph limits for deterministic interacting particle systems: a survey with quantitative estimates

Thierry Paul (LJLL (UMR\_7598) , LYSM) , Emmanuel Tr\'elat (LJLL (UMR\_7598)) This is my paper

Pith reviewed 2026-05-24 11:12 UTC · model grok-4.3

classification 🧮 math.AP math-phmath.MP
keywords interacting particle systemsmean field limitgraph limithydrodynamic limitVlasov equationpropagation of chaosquantitative estimatesmoment closure
0
0 comments X

The pith

Frozen labels unify mean-field, graph, and hydrodynamic limits for deterministic particle systems with quantitative estimates.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper sets out a unified framework for deterministic interacting particle systems whose interactions can depend on heterogeneous labels. Heterogeneity is preserved at all scales by adjoining a fixed label variable x in Omega to each particle state. Within this setting the authors compare the direct continuum or graph limit, the mean-field passage to a Vlasov equation on the product space, the Liouville lift with propagation of chaos, and hydrodynamic moment closures, supplying quantitative convergence rates and locating precisely where these operations commute. They separate the resulting continuum or graph equation from the classical Euler equations and give the exact conditions (linearity of the interaction in the velocity variables or a monokinetic ansatz) under which the former arises as a closure of the latter.

Core claim

By adjoining a frozen label variable x in Omega to the particle state, the framework keeps heterogeneity intact through every limiting procedure and yields a common language in which the direct graph or continuum limit, the Vlasov mean-field limit, the Liouville lift, and hydrodynamic closures can be compared with explicit quantitative estimates; the continuum or graph equation is shown to coincide with a moment closure of the hydrodynamic system precisely when the interaction is linear in the pair of velocities or when a monokinetic ansatz is imposed.

What carries the argument

The frozen label variable x in Omega adjoined to the state, which carries heterogeneity unchanged through all limiting operations.

If this is right

  • Quantitative convergence rates are obtained for the graph limit and for the passages from the particle system or its Liouville lift to the Vlasov equation.
  • The continuum or graph limit equation arises as a moment closure of the hydrodynamic Euler equations exactly when the interaction is linear in the velocity pair or under the monokinetic ansatz.
  • The order of the limiting operations can be interchanged or not according to explicit commutation rules derived in the framework.
  • The results apply only to deterministic dynamics and break down for singular kernels or stochastic particle systems.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The quantitative estimates could be used to certify the accuracy of reduced-order simulations of heterogeneous networks before running the full particle system.
  • The separation between graph and hydrodynamic limits suggests examining slowly varying labels as an intermediate regime between the present frozen case and fully evolving labels.
  • The framework's emphasis on commutation may guide the construction of consistent multi-scale numerical schemes that alternate between particle and continuum descriptions.

Load-bearing premise

The particle dynamics remain deterministic and the labels stay frozen without evolving.

What would settle it

A concrete nonlinear interaction kernel for which the graph limit fails to equal any moment closure of the corresponding hydrodynamic system would falsify the claimed characterization.

Figures

Figures reproduced from arXiv: 2209.08832 by Emmanuel Tr\'elat (LJLL (UMR\_7598)), LYSM), Thierry Paul (LJLL (UMR\_7598).

Figure 1
Figure 1. Figure 1: Relationships between particle (microscopic) system, Liouville (probabilistic) equation, [PITH_FULL_IMAGE:figures/full_fig_p031_1.png] view at source ↗
read the original abstract

We present a unified framework, with quantitative estimates, for deterministic interacting particle systems whose pairwise interactions may depend on heterogeneous labels. Heterogeneity is kept at every level by adding a frozen label variable $x\in\Omega$ to the state. Within this framework we compare several limiting procedures: the direct continuum / graph limit, the mean field limit yielding a Vlasov equation on the extended space of labels and states, the Liouville lift of the particle system together with propagation of chaos through marginals of arbitrary order, and the hydrodynamic moment closures. We give a common language for these limits and identify precisely where the various passages commute and where they do not; in particular, we separate the continuum / graph limit equation from the classical hydrodynamic Euler equations and characterize when the former arises as a moment closure of the latter (linearity in $(\xi,\xi')$ or monokinetic ansatz). Along the way, we prove quantitative convergence estimates for the graph limit and for the passages from particles or Liouville to Vlasov, and we discuss the limitations of the framework, in particular concerning singular kernels and stochastic dynamics. The paper is written as a survey with original contributions, with an emphasis on estimates, examples, and a clear delineation of scope.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript presents a unified framework for deterministic interacting particle systems with heterogeneous frozen labels x∈Ω, providing quantitative estimates for the graph/continuum limit and passages from particles or Liouville to Vlasov, while comparing these to hydrodynamic moment closures and characterizing when the continuum/graph equation arises as a moment closure of the Euler equations (precisely under linearity in (ξ,ξ′) or monokinetic ansatz). It supplies a common language for the limits, identifies commutation relations, and discusses scope limitations for singular kernels and stochastic dynamics.

Significance. If the stated quantitative estimates hold, the work is significant as a survey with original contributions that clarifies relationships between scaling limits in a label-preserving setting; the explicit commutation diagram, separation of graph/continuum from classical hydrodynamics, and emphasis on estimates provide a useful reference point for the mean-field and graph-limit literature in mathematical physics and PDE analysis.

minor comments (2)
  1. [Abstract] The abstract and introduction could include a compact table or diagram summarizing the quantitative rates obtained for each passage (graph limit, particle-to-Vlasov, Liouville-to-Vlasov) to make the original contributions immediately visible to readers.
  2. [Introduction] Notation for the extended state space (position, velocity, label) is introduced clearly but would benefit from an early dedicated subsection listing all function spaces and norms used in the estimates.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript and the recommendation to accept. The provided summary accurately captures the paper's contributions on the unified framework, quantitative estimates, commutation relations, and scope limitations.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper constructs a unified framework by adding a frozen label variable x∈Ω to track heterogeneity at all scales, then systematically compares known limiting procedures (continuum/graph, mean-field Vlasov, Liouville, hydrodynamic closures) while supplying quantitative estimates and commutation diagrams. The characterization of when the graph/continuum limit arises as a moment closure (linearity in (ξ,ξ′) or monokinetic ansatz) is stated as an explicit condition rather than derived from a fitted quantity inside the paper. All base limits are referenced to prior literature; the original contributions consist of estimates and scope delineation, none of which reduce by construction to self-defined inputs or load-bearing self-citations. The derivation chain therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The framework rests on standard assumptions of deterministic pairwise interactions and frozen labels; no new free parameters, ad-hoc axioms, or invented entities are introduced beyond those already present in the cited particle-system literature.

axioms (1)
  • domain assumption The underlying particle dynamics are deterministic and the label variable remains frozen.
    Stated in the second paragraph of the abstract as the device that keeps heterogeneity at every level.

pith-pipeline@v0.9.0 · 5778 in / 1315 out tokens · 32629 ms · 2026-05-24T11:12:32.405116+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Function graph transformers universally approximate operators between function spaces

    cs.LG 2026-05 unverdicted novelty 8.0

    Function graph transformers use graph measures to provide a measure-theoretic framework where standard transformer components universally approximate operators between function spaces while preserving single-valued fu...

  2. Lagrangian formulation and Eulerian closure in alignment dynamics

    math.AP 2026-04 unverdicted novelty 7.0

    Global well-posedness and quantitative flocking are shown for Lagrangian p-alignment dynamics; Eulerian variables are constructed via pushforward and disintegration, with defect terms vanishing asymptotically under he...

Reference graph

Works this paper leans on

47 extracted references · 47 canonical work pages · cited by 2 Pith papers

  1. [1]

    G. Albi, L. Pareschi, Modeling of self-organized systems interacting with a few indi- viduals: from microscopic to macroscopic dynamics, Applied Mathematics Letters 401 (2013), no. 26, 397–401

    work page 2013

  2. [2]

    Arnol’d, Sur la g´ eom´ etrie diff´ erentielle des groupes de Lie de dimension infinie et ses applications ` a l’hydrodynamique des fluides parfaits, Ann

    V. Arnol’d, Sur la g´ eom´ etrie diff´ erentielle des groupes de Lie de dimension infinie et ses applications ` a l’hydrodynamique des fluides parfaits, Ann. Inst. Fourier (Grenoble) 16 (1966), fasc. 1, 319–361

    work page 1966

  3. [3]

    Aydogdu, M

    A. Aydogdu, M. Caponigro, S. McQuade, B. Piccoli, N. Pouradier Duteil, F. Rossi, E. Tr´ elat, Interaction network, state space, and control in social dynamics , Active particles. Vol. 1. Advances in theory, models, and applications, 99–140, Model. Simul. Sci. Eng. Technol., Birkh¨ auser/Springer, Cham, 2017. 71

    work page 2017

  4. [4]

    N. Ayi, N. Pouradier Duteil, Mean-field and graph limits for collective dynamics models with time-varying weights, J. Differential Equations 299 (2021), 65–110

    work page 2021

  5. [5]

    Bauer, M

    M. Bauer, M. Bruveris, P. Michor, Overview of the geometries of shape spaces and diffeomor- phism groups, J. Math. Imaging Vision 50 (2014), no. 1-2, 60–97

    work page 2014

  6. [6]

    Bellomo, A

    N. Bellomo, A. Bellouquid, J. Nieto, J. Soler, On the multiscale modeling of vehicular traffic: from kinetic to hydrodynamics, Discrete Contin. Dyn. Syst. Ser. B19 (2014), no. 7, 1869–1888

    work page 2014

  7. [7]

    Biccari, D

    U. Biccari, D. Ko, E. Zuazua, Dynamics and control for multi-agent networked systems: a finite-difference approach, Math. Models Methods Appl. Sci. 29 (2019), no. 4, 755–790

    work page 2019

  8. [8]

    Billingsley, Convergence of Probability Measures, 2nd ed., Wiley, 1999

    P. Billingsley, Convergence of Probability Measures, 2nd ed., Wiley, 1999

    work page 1999

  9. [9]

    Bodineau, I

    T. Bodineau, I. Gallagher, L. Saint-Raymond, The Brownian motion as the limit of a deter- ministic system of hard-spheres , Invent. Math. 203 (2016), no. 2, 493–553

    work page 2016

  10. [10]

    Bogachev, Measure theory, Vol

    V.I. Bogachev, Measure theory, Vol. I, II. Springer-Verlag, Berlin, 2007. Vol. I: xviii+500 pp., Vol. II: xiv+575 pp

    work page 2007

  11. [11]

    Bonnet, N

    B. Bonnet, N. Pouradier Duteil, M. Sigalotti, Consensus formation in first-order graphon models with time-varying topologies , Preprint arXiv:2111.03900v1 (2021)

    work page arXiv 2021

  12. [12]

    Boudin, F

    L. Boudin, F. Salvarani, E. Tr´ elat, Exponential convergence towards consensus for non- symmetric linear first-order systems in finite and infinite dimensions , SIAM J. Math. Anal. 54 (2022), no. 3, 2727–2752

    work page 2022

  13. [13]

    Carrillo, Y.-P

    J.A. Carrillo, Y.-P. Choi, Mean-field limits: from particle descriptions to macroscopic equa- tions, Arch. Ration. Mech. Anal. 241 (2021), no. 3, 1529–1573

    work page 2021

  14. [14]

    Carrillo, Y.-P

    J.A. Carrillo, Y.-P. Choi, M. Hauray, The derivation of swarming models: mean-field limit and Wasserstein distances, Collective dynamics from bacteria to crowds, 1–46, CISM Courses and Lect., 553, Springer, Vienna, 2014

    work page 2014

  15. [15]

    Carrillo, M

    J.A. Carrillo, M. Fornasier, G. Toscani, F. Vecil, Mathematical modeling of collective behavior in socio-economic and life sciences , Particle, kinetic, and hydrodynamic models of swarming, 297–336. Birkh¨ auser Boston, Boston, 2010

    work page 2010

  16. [16]

    Cucker, S

    F. Cucker, S. Smale, Emergent behavior in flocks , IEEE Trans. Automat. Control 52 (2007), no. 5, 852–862

    work page 2007

  17. [17]

    Di Francesco, M.D

    M. Di Francesco, M.D. Rosini, Rigorous derivation of nonlinear scalar conservation laws from follow-the-leader type models via many particle limit , Arch. Ration. Mech. Anal. 217 (2015), no. 3, 831–871

    work page 2015

  18. [18]

    Di Francesco, S

    M. Di Francesco, S. Fagioli, M.D. Rosini, Deterministic particle approximation of scalar con- servation laws, Boll. Unione Mat. Ital. 10 (2017), no. 3, 487–501

    work page 2017

  19. [19]

    Di Francesco, S

    M. Di Francesco, S. Fagioli, E. Radici, Deterministic particle approximation for nonlocal trans- port equations with nonlinear mobility, J. Differential Equations 266 (2019), no. 5, 2830–2868

    work page 2019

  20. [20]

    Engel, R

    K.-J. Engel, R. Nagel, One-parameter semigroups for linear evolution equations , Graduate Texts Math. 194, Springer-Verlag, 2000. 72

    work page 2000

  21. [21]

    Esposito, F.S

    A. Esposito, F.S. Patacchini, A. Schlichting, D. Slepcev, Nonlocal-interaction equation on graphs: gradient flow structure and continuum limit , Arch. Ration. Mech. Anal. 240 (2021), no. 2, 699–760

    work page 2021

  22. [22]

    Figalli, M.-J

    A. Figalli, M.-J. Kang, A rigorous derivation from the kinetic Cucker-Smale model to the pressureless Euler system with nonlocal alignment , Anal. PDE. 12 (2019), 843–866

    work page 2019

  23. [23]

    Fournier, A

    N. Fournier, A. Guillin, On the rate of convergence in Wasserstein distance of the empirical measure, Probab. Theory Related Fields 162 (2015), no. 3-4, 707–738

    work page 2015

  24. [24]

    D. H. Fremlin, Measure theory, Vol. 2, Broad foundations , Corrected second printing of the 2001 original. Torres Fremlin, Colchester, 2003. 563+12 pp

    work page 2001

  25. [25]

    Gallagher, From Newton to Navier-Stokes, or how to connect fluid mechanics equations from microscopic to macroscopic scales, Bull

    I. Gallagher, From Newton to Navier-Stokes, or how to connect fluid mechanics equations from microscopic to macroscopic scales, Bull. Amer. Math. Soc. (N.S.) 56 (2019), no. 1, 65–85

    work page 2019

  26. [26]

    Golse, C

    F. Golse, C. Mouhot, T. Paul, On the mean-field and classical limits of quantum mechanics , Comm. Math. Physics 343 (2016), 165–205

    work page 2016

  27. [27]

    S.-Y. Ha, E. Tadmor, From particle to kinetic and hydrodynamic description of flocking, Kinet. Relat. Models 1 (2008), 415–435

    work page 2008

  28. [28]

    Hartree, The wave mechanics of an atom with a non-Coulomb central field

    D.R. Hartree, The wave mechanics of an atom with a non-Coulomb central field. Part II. Some results and discussions , Proc. Cambridge Phil. Soc. 24 (1928), no. 1, 111–132

    work page 1928

  29. [29]

    Hegselmann, U

    R. Hegselmann, U. Krause, Opinion dynamics and bounded confidence: models, analysis and simulation, J. Artif. Soc. Soc. Sim. 5 (2002), no. 3

    work page 2002

  30. [30]

    K. Ito, F. Kappel, The Trotter-Kato theorem and approximation of PDEs , Math. Comp. 67 (1998), no. 221, 21–44

    work page 1998

  31. [31]

    Jabin, A review of the mean field limits for Vlasov equations , Kinet

    P.-E. Jabin, A review of the mean field limits for Vlasov equations , Kinet. Relat. Models 7 (2014), no. 4, 661–711

    work page 2014

  32. [32]

    McCann, Existence and uniqueness of monotone measure-preserving maps , Duke Math

    R.J. McCann, Existence and uniqueness of monotone measure-preserving maps , Duke Math. J. 80 (1995), no. 2, 309–323

    work page 1995

  33. [33]

    Medvedev, The nonlinear heat equation on dense graphs and graph limits SIAM J

    G.S. Medvedev, The nonlinear heat equation on dense graphs and graph limits SIAM J. Math. Anal. 46 (2014), no. 4, 2743–2766

    work page 2014

  34. [34]

    Natalini, T

    R. Natalini, T. Paul, On the mean field limit for Cucker-Smale models , Discr. Contin. Dynam. Syst. Ser. B 27 (2022), no. 27, 2873–2889

    work page 2022

  35. [35]

    Natalini, T

    R. Natalini, T. Paul, The mean-field limit for hybrid models of collective motions with chemo- taxis, preprint hal-03310547 (2021)

    work page 2021

  36. [36]

    Pazy, Semigroups of linear operators and applications to partial differential equations , Ap- plied Mathematical Sciences, 44, Springer-Verlag, New York, 1983

    A. Pazy, Semigroups of linear operators and applications to partial differential equations , Ap- plied Mathematical Sciences, 44, Springer-Verlag, New York, 1983. viii+279 pp

    work page 1983

  37. [37]

    Piccoli, F

    B. Piccoli, F. Rossi, Transport equation with nonlocal velocity in Wasserstein spaces: conver- gence of numerical schemes , Acta Appl. Math. 124 (2013), 73–105

    work page 2013

  38. [38]

    Piccoli, F

    B. Piccoli, F. Rossi, Generalized Wasserstein distance and its application to transport equations with source, Arch. Ration. Mech. Anal. 211 (2014), no. 1, 335–358. 73

    work page 2014

  39. [39]

    Piccoli, F

    B. Piccoli, F. Rossi, On properties of the generalized Wasserstein distance Arch. Ration. Mech. Anal. 222 (2016), no. 3, 1339–1365

    work page 2016

  40. [40]

    Piccoli, F

    B. Piccoli, F. Rossi, E. Tr´ elat, Control to flocking of the kinetic Cucker-Smale model , SIAM J. Math. Anal. 47 (2015), no. 6, 4685–4719

    work page 2015

  41. [41]

    Santambrogio, Optimal transport for applied mathematicians

    F. Santambrogio, Optimal transport for applied mathematicians. Calculus of variations, PDEs, and modeling , Progress in Nonlinear Differential Equations and their Applications,

    work page

  42. [42]

    xxvii+353 pp

    Birkh¨ auser/Springer, Cham, 2015. xxvii+353 pp

    work page 2015

  43. [43]

    E. M. Stein, Singular integrals and differentiability properties of functions , Princeton Mathe- matical Series, No. 30, Princeton University Press, Princeton, N.J. 1970 xiv+290 pp

    work page 1970

  44. [44]

    Tartar, An introduction to Sobolev spaces and interpolation spaces , Lecture Notes of the Unione Matematica Italiana, 3

    L. Tartar, An introduction to Sobolev spaces and interpolation spaces , Lecture Notes of the Unione Matematica Italiana, 3. Springer, Berlin; UMI, Bologna, 2007. xxvi+218 pp

    work page 2007

  45. [45]

    Villani, Topics in optimal transportation, Graduate Studies in Mathematics, 58

    C. Villani, Topics in optimal transportation, Graduate Studies in Mathematics, 58. American Mathematical Society, Providence, RI, 2003. xvi+370 pp

    work page 2003

  46. [46]

    Villani, Optimal transport

    C. Villani, Optimal transport. Old and new , Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 338. Springer-Verlag, Berlin, 2009. xxii+973 pp

    work page 2009

  47. [47]

    Vlasov, On the kinetic theory of an assembly of particles with collective interaction, Acad

    A.A. Vlasov, On the kinetic theory of an assembly of particles with collective interaction, Acad. Sci. USSR. J. Phys. 9 (1945), 25–40. 74

    work page 1945