pith. sign in

arxiv: 2605.11279 · v2 · submitted 2026-05-11 · 🧮 math.PR

Flocking with Multiple Types: Competition, Fluid Limits and Traveling Waves

Sayan Banerjee , Andrew Nguyen This is my paper

Pith reviewed 2026-05-14 20:38 UTC · model grok-4.3

classification 🧮 math.PR
keywords interacting particle systemsMcKean-Vlasov equationtraveling wavespropagation of chaosflockingintegro-differential equationsheteroclinic orbit
0
0 comments X

The pith

Two-type particles with order-based switching converge to a McKean-Vlasov process that supports traveling waves.

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

The paper proves that the empirical measure of many particles of two types, which jump forward at type-dependent rates and switch types according to the fraction of the opposite type ahead of them, converges to the unique solution of a McKean-Vlasov equation. Tightness in Wasserstein space together with a martingale characterization of limit points gives subsequence convergence, while a Kolmogorov-Smirnov-type distance that respects the particle ordering supplies uniqueness and therefore full convergence plus propagation of chaos on finite intervals. For exponential jump lengths and unidirectional drift, the nonlocal integro-differential system reduces to a coupled nonlinear ODE system whose phase-plane analysis produces a heteroclinic orbit connecting two equilibria; this orbit corresponds to a traveling wave whose speed, mass partition, and tail decay are identified explicitly.

Core claim

The empirical measure of the two-type particle system converges to a deterministic measure-valued process solving a McKean-Vlasov equation. When jumps are exponential and one drift vanishes, the equation becomes a local ODE system that admits a traveling-wave solution realized as a heteroclinic orbit between constant equilibria, with explicit wave speed and type-mass ratio.

What carries the argument

The McKean-Vlasov equation for the joint position-type measure, which reduces to a coupled nonlinear ODE system for exponential jumps and allows phase-plane construction of the traveling wave.

If this is right

  • The full sequence of empirical measures converges, not merely a subsequence, yielding propagation of chaos on any finite time horizon.
  • Traveling waves exist with an identifiable propagation speed and a fixed partition of mass between the two types.
  • Tail asymptotics of the wave profiles are governed by the principal eigenvalue of the linearized system around the equilibria.
  • Because of the persistent drift, long-time behavior is captured by these traveling profiles rather than by invariant measures.

Where Pith is reading between the lines

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

  • The ordering-adapted distance used for uniqueness may extend to other particle systems whose interactions are discontinuous but monotone in the spatial order.
  • The explicit traveling-wave ODE reduction opens the possibility of studying stability or selection of the wave speed under small perturbations of the jump law.
  • Such waves provide a candidate description for the spatial spread of type dominance in competitive systems with one-way motion.

Load-bearing premise

The type-switching rate depends on the proportion of opposite-type particles located ahead, producing a discontinuous nonlinear dependence on the empirical measure that is handled by an ordering-adapted distance for uniqueness.

What would settle it

A large-particle simulation whose empirical measure fails to track the predicted McKean-Vlasov trajectory or whose long-time profile fails to approach a traveling wave with the calculated speed and mass split.

Figures

Figures reproduced from arXiv: 2605.11279 by Andrew Nguyen, Sayan Banerjee.

Figure 1
Figure 1. Figure 1: Traveling wave plots 13 [PITH_FULL_IMAGE:figures/full_fig_p013_1.png] view at source ↗
read the original abstract

We study a class of interacting particle systems on $\mathbb{R}$ with two types. Particles evolve by independent jumps sampled from a fixed distribution, with type-dependent jump rates $v_+$, $v_-$ and stochastic type switching driven by non-local order-based interactions. The switching rates depend on the empirical distribution through the proportion of opposite-type particles located ahead, leading to a nonlinear and discontinuous dependence on the empirical measure outside the standard Lipschitz McKean-Vlasov framework. Our first main result is a law of large numbers for the empirical measure process: we prove convergence, along subsequences, to a deterministic measure-valued process characterized by a McKean-Vlasov equation. The proof combines tightness in Wasserstein space with a martingale characterization of limit points. A uniqueness argument based on a Kolmogorov-Smirnov-type distance adapted to the ordering structure yields convergence of the full empirical measure sequence and, in turn, propagation of chaos on finite time intervals. We then study the long-time behavior of the limiting dynamics. Because the system has persistent drift, invariant distributions do not arise; instead, we analyze traveling waves, corresponding to stationary profiles in a moving frame. For exponential jump distributions, the associated non-local integro-differential system admits a local description. In the regime $v_+>v_-=0$, this further reduces to a coupled system of non-linear ODEs, allowing a phase-plane analysis that yields a traveling wave as a heteroclinic orbit connecting two equilibria. We also identify the wave speed and mass partition, and derive tail asymptotics by spectral analysis of the linearized system.

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 paper studies a two-type interacting particle system on the real line where particles perform independent jumps from a fixed distribution with type-dependent rates v+, v- and switch types according to non-local order-based interactions depending on the proportion of opposite-type particles ahead. It proves a law of large numbers: the empirical measure converges (along subsequences, then fully) to a deterministic measure-valued process solving a McKean-Vlasov equation, via Wasserstein tightness plus martingale characterization, with uniqueness obtained from a Kolmogorov-Smirnov-type distance adapted to particle ordering. For exponential jump distributions in the regime v+ > v- = 0 the non-local system reduces to a coupled nonlinear ODE system whose traveling-wave profiles are constructed as heteroclinic orbits by phase-plane analysis; the wave speed, mass partition, and tail asymptotics are also identified.

Significance. If the claims hold, the work supplies a rigorous fluid limit for competitive flocking models whose switching rates are discontinuous and order-dependent, outside the classical Lipschitz McKean-Vlasov setting. The order-adapted distance that yields uniqueness and propagation of chaos is a technical contribution that may apply to other systems with ranking-based interactions. The explicit reduction to ODEs and heteroclinic-orbit construction for traveling waves gives concrete, falsifiable predictions for long-time behavior under persistent drift, strengthening the link between microscopic stochastic models and macroscopic wave phenomena.

minor comments (2)
  1. [Abstract] Abstract, line on regime: the notation 'v+ > v- = 0' is slightly ambiguous; writing 'v+ > v- and v- = 0' would remove any chance of misreading.
  2. [Introduction / §2] The manuscript should state explicitly in the introduction or §2 whether the adapted Kolmogorov-Smirnov distance metrizes the topology needed for the martingale problem to be well-posed under the discontinuous coefficients.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for the positive assessment of both the fluid-limit result and the traveling-wave analysis. We are pleased that the recommendation is to accept.

Circularity Check

0 steps flagged

No significant circularity; derivations use external tools and classical methods

full rationale

The central claims rest on tightness of the empirical measure in Wasserstein space, martingale characterization of limit points, and uniqueness via a Kolmogorov-Smirnov-type distance adapted to particle ordering. These rely on standard probabilistic machinery external to the paper. The reduction of the non-local integro-differential system to a coupled nonlinear ODE system for exponential jumps, followed by phase-plane analysis yielding a heteroclinic orbit, employs classical ODE techniques on the limiting dynamics without parameter fitting, self-definition, or load-bearing self-citations. Wave speed and mass partition are identified from equilibria of the reduced system. The derivation chain is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The central claims rest on standard tools from stochastic analysis and ODE theory. No free parameters are fitted to data, no new entities are postulated, and the axioms invoked are background results from probability theory.

axioms (3)
  • standard math Tightness of the empirical measure process in Wasserstein space
    Invoked to extract convergent subsequences for the law of large numbers.
  • standard math Martingale characterization of limit points
    Used to identify the limit as a solution of the McKean-Vlasov equation.
  • domain assumption Existence of a heteroclinic orbit connecting the two equilibria in the phase plane
    Obtained via analysis of the reduced nonlinear ODE system for exponential jumps.

pith-pipeline@v0.9.0 · 5584 in / 1621 out tokens · 45377 ms · 2026-05-14T20:38:29.159638+00:00 · methodology

Review history (2 revisions) →

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.

Reference graph

Works this paper leans on

29 extracted references · 29 canonical work pages · 1 internal anchor

  1. [1]

    and Tóth, Bálint , year=

    Balázs, Márton and Rácz, Miklós Z. and Tóth, Bálint , year=. Modeling Flocks and Prices: Jumping Particles with An Attractive Interaction , volume=. Annales de l’Institut Henri Poincaré, Probabilités et Statistiques , publisher=. doi:10.1214/12-aihp512 , number=

    work page doi:10.1214/12-aihp512

  2. [2]

    Convergence of Probability Measures , year =

    Billingsley, Patrick , edition =. Convergence of Probability Measures , year =

    work page

  3. [3]

    2001 , address =

    Perko, Lawrence , title =. 2001 , address =

    work page 2001

  4. [4]

    and Kurtz, Thomas G

    Ethier, Stewart N. and Kurtz, Thomas G. , isbn =. Markov Processes: Characterization and Convergence , year =

    work page

  5. [5]

    1991 , publisher=

    An Introduction to Probability Theory and Its Applications , author=. 1991 , publisher=

    work page 1991

  6. [6]

    arXiv , year=:2404.13117 , journal=

    Flocking under Fast and Large Jumps: Stability, Chaos, and Traveling Waves , author=. arXiv , year=:2404.13117 , journal=

    work page arXiv

  7. [7]

    2013 , publisher=

    Differential Equations, Dynamical Systems, and An Introduction to Chaos , author=. 2013 , publisher=

    work page 2013

  8. [8]

    Advances in Applied Probability , volume=

    A Large-Scale Particle System with Independent Jumps and Distributed Synchronization , author=. Advances in Applied Probability , volume=. 2025 , publisher=

    work page 2025

  9. [9]

    and Petrovskii, I

    Kolmogorov, A. and Petrovskii, I. and Piscounov, N. , journal=

    work page

  10. [10]

    Propagation of Chaos: A Review of Models, Methods and Applications. I. Models and Methods

    Chaintron, Louis-Pierre and Diez, Antoine , year=. Propagation of Chaos: A Review of Models, Methods and Applications. I. Models and Methods , volume=. Kinetic and Related Models , publisher=. doi:10.3934/krm.2022017 , number=

    work page doi:10.3934/krm.2022017

  11. [11]

    , author=

    Local versus nonlocal barycentric interactions in 1D agent dynamics. , author=. Mathematical Biosciences and Engineering: MBE , volume=

    work page

  12. [12]

    Physica A: Statistical Mechanics and its Applications , volume=

    A completely solvable model of the nonlinear Boltzmann equation , author=. Physica A: Statistical Mechanics and its Applications , volume=. 1982 , publisher=

    work page 1982

  13. [13]

    Operations research , volume=

    Nonlinear follow-the-leader models of traffic flow , author=. Operations research , volume=. 1961 , publisher=

    work page 1961

  14. [14]

    Follow-the-Leader models can be viewed as a numerical approximation to the

    Holden, Helge and Risebro, Nils Henrik , journal=. Follow-the-Leader models can be viewed as a numerical approximation to the

    work page

  15. [15]

    Traveling Waves for Nonlocal Models of Traffic Flow

    Traveling waves for nonlocal models of traffic flow , author=. arXiv preprint arXiv:1808.03734 , year=

    work page internal anchor Pith review Pith/arXiv arXiv

  16. [16]

    Journal of Statistical Mechanics: Theory and Experiment , volume=

    A toy model of the rat race , author=. Journal of Statistical Mechanics: Theory and Experiment , volume=. 2007 , publisher=

    work page 2007

  17. [17]

    arXiv preprint arXiv:2601.02501 , year=

    Long Time Asymptotics for the Stochastic Follow-the-Leader System , author=. arXiv preprint arXiv:2601.02501 , year=

    work page arXiv

  18. [18]

    ACM SIGMETRICS Performance Evaluation Review , volume=

    Asynchronous updates in large parallel systems , author=. ACM SIGMETRICS Performance Evaluation Review , volume=. 1996 , publisher=

    work page 1996

  19. [19]

    Stochastic Systems , volume=

    A particle system with mean-field interaction: Large-scale limit of stationary distributions , author=. Stochastic Systems , volume=. 2023 , publisher=

    work page 2023

  20. [20]

    Advances in Applied Probability , volume=

    Large-scale behavior of a particle system with mean-field interaction: Traveling wave solutions , author=. Advances in Applied Probability , volume=. 2023 , publisher=

    work page 2023

  21. [21]

    and Pitman, J

    Pal, S. and Pitman, J. , journal=. One-dimensional. 2008 , publisher=

    work page 2008

  22. [22]

    , journal=

    Sarantsev, A. , journal=. Infinite systems of competing. 2017 , publisher=

    work page 2017

  23. [23]

    and Tsai, L-C

    Sarantsev, A. and Tsai, L-C. , journal=. Stationary gap distributions for infinite systems of competing. 2017 , publisher=

    work page 2017

  24. [24]

    and Jara, M

    Dembo, A. and Jara, M. and Olla, S. , booktitle=. The infinite. 2019 , organization=

    work page 2019

  25. [25]

    Banerjee, Sayan , journal=. The. 2016 , publisher=

    work page 2016

  26. [26]

    Domains of attraction of invariant distributions of the infinite

    Banerjee, Sayan and Budhiraja, Amarjit , journal=. Domains of attraction of invariant distributions of the infinite. 2022 , publisher=

    work page 2022

  27. [27]

    Physical Review E , volume=

    Shift in the velocity of a front due to a cutoff , author=. Physical Review E , volume=. 1997 , publisher=

    work page 1997

  28. [28]

    and Remenik, D

    Durrett, R. and Remenik, D. , journal=. Brunet--. 2011 , publisher=

    work page 2011

  29. [29]

    IEEE Transactions on automatic control , volume=

    Emergent behavior in flocks , author=. IEEE Transactions on automatic control , volume=. 2007 , publisher=

    work page 2007