pith. sign in

arxiv: 2605.15718 · v1 · pith:ILM7HK6Xnew · submitted 2026-05-15 · 🧮 math.PR

Mean-field derivation of a two-dimensional signal-dependent parabolic-elliptic Keller-Segel system in algebraic scaling

Lukas Bol , Li Chen This is my paper

Pith reviewed 2026-05-19 19:54 UTC · model grok-4.3

classification 🧮 math.PR
keywords mean-field limitKeller-Segel systempropagation of chaosalgebraic scalingmoderate interactionsparticle systemsparabolic-elliptic
0
0 comments X

The pith

Particle trajectories converge in probability to the two-dimensional Keller-Segel system under algebraic scaling with interactions only in diffusion.

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

This paper proves a mean-field limit for moderately interacting particles whose diffusion term carries the entire interaction under algebraic scaling. It establishes convergence in probability of the particle paths to the deterministic flow given by the parabolic-elliptic Keller-Segel equation. For short times and regular initial data the empirical densities converge in L1 norm to the continuum solution. The argument uses a stopping time constructed from a power mean of the trajectories and shows this is equivalent to uniform-norm convergence. A reader cares because the result supplies a microscopic particle justification for a macroscopic model of biological aggregation when the scaling places interactions inside diffusion rather than drift.

Core claim

We prove convergence in probability for the particle trajectories. Moreover, for short times and regularity assumptions on the initial data we show the convergence of the densities in the L1 norm. The novelty is the treatment of a particle model (with algebraic scaling) where the moderate interaction completely takes place in the diffusive term.

What carries the argument

A stopping time defined via a power mean of the sample paths, shown equivalent to convergence in the supremum norm on trajectories.

If this is right

  • Particle trajectories converge in probability to the mean-field Keller-Segel flow.
  • Empirical densities converge in L1 for short times when initial data are regular.
  • Propagation of chaos holds in the weak sense for this algebraic scaling.
  • The diffusive placement of the interaction avoids the singular-kernel analysis required for drift interactions.

Where Pith is reading between the lines

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

  • The algebraic scaling may permit absorption of interactions into diffusion in other aggregation models without singular drifts.
  • Numerical sampling of trajectories could test the practical equivalence of power-mean and max-norm stopping times.
  • Short-time L1 control might be extendable to longer times under additional a-priori bounds on the PDE solution.

Load-bearing premise

The moderate interaction occurs entirely inside the diffusive term under algebraic scaling, together with sufficient regularity of the initial data to obtain short-time L1 convergence.

What would settle it

A concrete computation showing that the probability of large deviation between particle paths and the PDE flow stays bounded away from zero for large particle numbers would falsify the convergence claim.

read the original abstract

This paper continues our survey about the mean-field derivation of the two-dimensional signal-dependent Keller-Segel system studied in [1]. Therefore, we consider the same system of moderately interacting particles as before. The difference lies in the scaling. Since logarithmic scaling was treated in [1], we now consider algebraic scaling to obtain propagation of chaos in the weak sense. We prove convergence in probability for the particle trajectories. Moreover, for short times and regularity assumptions on the initial data we show the convergence of the densities in the L1 norm. The novelty of this paper is the treatment of a particle model (with algebraic scaling) where the moderate interaction completely takes place in the diffusive term. This structure with algebraic scaling makes tremendous difference from the propagation of chaos discussion when the interaction appears in the drift terms with singular kernel in [8]. The argument for convergence in probability proceeds by defining a stopping time based on a power mean of the sample paths. Furthermore, we prove that the convergence in probability with this power-mean is equivalent to the convergence with maximum norm on trajectories.

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

1 major / 1 minor

Summary. This manuscript continues prior work on mean-field limits for a 2D signal-dependent parabolic-elliptic Keller-Segel system by considering a system of moderately interacting particles under algebraic scaling (as opposed to the logarithmic scaling treated previously). The moderate interaction is placed entirely in the state-dependent diffusion coefficient. The central results are convergence in probability of the particle trajectories, established via a stopping-time argument that uses a power mean of sample paths, together with a claimed equivalence of this power-mean convergence to convergence in the maximum norm on trajectories; additionally, short-time L1 convergence of the empirical densities is shown under regularity assumptions on the initial data.

Significance. If the estimates close, the paper supplies a technically distinct propagation-of-chaos result in which the moderate interaction resides wholly in the diffusive term under algebraic scaling. This differs from the more common setting of singular drift interactions and therefore enlarges the class of particle models for which mean-field derivations of Keller-Segel-type systems are available. The explicit treatment of the power-mean stopping time and its equivalence to the sup-norm is a potentially reusable device, provided the requisite moment bounds are verified.

major comments (1)
  1. [section on convergence in probability and equivalence of norms] The section establishing convergence in probability (the stopping-time construction based on the power mean of sample paths and the subsequent equivalence to maximum-norm convergence on trajectories) does not explicitly close the moment estimates needed to justify the transfer from power-mean control to uniform sup-norm bounds. Because the diffusion coefficient depends on the empirical measure and the scaling is algebraic, small path deviations can in principle be amplified; without a quantitative bound on the moments of the stopped processes that is uniform in the number of particles, the claimed equivalence remains unverified and is load-bearing for both the trajectory convergence and the short-time L1 density convergence.
minor comments (1)
  1. [Introduction] The abstract and introduction would benefit from a brief comparison table or paragraph contrasting the algebraic-scaling diffusive-interaction setting with the logarithmic-scaling case of the authors' prior work and with the singular-drift models in the cited reference [8].

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive comment on the moment estimates. We address the point in detail below.

read point-by-point responses

  1. Referee: [section on convergence in probability and equivalence of norms] The section establishing convergence in probability (the stopping-time construction based on the power mean of sample paths and the subsequent equivalence to maximum-norm convergence on trajectories) does not explicitly close the moment estimates needed to justify the transfer from power-mean control to uniform sup-norm bounds. Because the diffusion coefficient depends on the empirical measure and the scaling is algebraic, small path deviations can in principle be amplified; without a quantitative bound on the moments of the stopped processes that is uniform in the number of particles, the claimed equivalence remains unverified and is load-bearing for both the trajectory convergence and the short-time L1 density convergence.

    Authors: We thank the referee for highlighting this aspect of the argument. The equivalence between power-mean convergence in probability and sup-norm convergence on trajectories is stated and proved in Section 3 (Proposition 3.4), where the stopping time τ_N is defined via the power mean of the paths. The moment bounds on the stopped processes are obtained in the subsequent estimates by applying Itô's formula to the power-mean functional, exploiting the moderate-interaction structure under algebraic scaling, and closing the resulting inequality via a Gronwall argument. Because the diffusion coefficient is Lipschitz in the empirical measure and the algebraic scaling prevents singular amplification, the Gronwall constant is independent of N, yielding the required uniform-in-N moment bound. Nevertheless, we agree that the uniformity is not stated as a separate lemma and that the potential for amplification deserves explicit mention. In the revised version we will insert a dedicated lemma (new Lemma 3.5) that isolates and verifies the uniform moment bound on the stopped trajectories, thereby making the transfer to the sup-norm fully transparent and reinforcing both the trajectory convergence and the short-time L1 density result. revision: yes

Circularity Check

0 steps flagged

Direct probabilistic proof of propagation of chaos under algebraic scaling with no reduction to inputs

full rationale

The paper presents a self-contained probabilistic argument for convergence in probability of particle trajectories and short-time L1 convergence of densities. It defines a stopping time based on a power mean of sample paths and separately proves equivalence to max-norm convergence on trajectories. These steps rely on standard moderate-interaction techniques and regularity assumptions on initial data rather than any fitted parameter, self-referential definition, or load-bearing self-citation that reduces the central claim to prior unverified work by the same authors. The reference to [1] is contextual for the system setup but does not substitute for the new algebraic-scaling analysis. No step equates a derived quantity to its input by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard assumptions from stochastic analysis for moderately interacting particles and on regularity of initial data for short-time estimates. No free parameters or new postulated entities are introduced.

axioms (2)
  • domain assumption Initial data satisfy sufficient regularity assumptions to obtain short-time L1 convergence of densities.
    Invoked explicitly in the abstract for the L1 convergence result.
  • domain assumption The moderate interaction is confined to the diffusive term under algebraic scaling.
    Stated as the structural novelty that distinguishes the model from drift-interaction cases.

pith-pipeline@v0.9.0 · 5713 in / 1453 out tokens · 38350 ms · 2026-05-19T19:54:47.961991+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

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

  1. [1]

    Two-dimensional signal-dependent parabolic-elliptic Keller-Segel system and its mean-field derivation , journal =

    Lukas Bol and Li Chen and Yue Li , keywords =. Two-dimensional signal-dependent parabolic-elliptic Keller-Segel system and its mean-field derivation , journal =. 2026 , issn =. doi:https://doi.org/10.1016/j.jde.2025.113712 , url =

    work page doi:10.1016/j.jde.2025.113712 2026

  2. [2]

    Lazarovici and P

    D. Lazarovici and P. Pickl , keywords =. A mean field limit for the Vlasov-Poisson system , journal =. 2017 , issn =. doi:https://doi.org/10.1007/s00205-017-1125-0 , url =

    work page doi:10.1007/s00205-017-1125-0 2017

  3. [3]

    On the Mean-Field Limit for the Vlasov–Poisson–Fokker–Planck System , journal =

    Hui Huang and Jian-Guol Liu and Peter Pickl , keywords =. On the Mean-Field Limit for the Vlasov–Poisson–Fokker–Planck System , journal =. 2020 , issn =. doi:https://doi.org/10.1007/s10955-020-02648-3 , url =

    work page doi:10.1007/s10955-020-02648-3 2020

  4. [4]

    SIAM Journal on Control and Optimization , volume =

    Chen, Li and Wang, Yucheng and Wang, Zhao , title =. SIAM Journal on Control and Optimization , volume =. 2025 , doi =. https://doi.org/10.1137/24M1705937 , abstract =

    work page doi:10.1137/24m1705937 2025

  5. [5]

    2001 , publisher=

    Analysis , author=. 2001 , publisher=

    work page 2001

  6. [6]

    2023 , issn =

    Quantitative particle approximation of nonlinear Fokker-Planck equations with singular kernel , journal =. 2023 , issn =

    work page 2023

  7. [7]

    Communications in Mathematical Research , year =

    Yue, Li and Li, Chen and Zhipeng, Zhang , title =. Communications in Mathematical Research , year =. doi:https://doi.org/10.4208/cmr.2023-0002 , url =

    work page doi:10.4208/cmr.2023-0002 2023

  8. [8]

    Journal of the London Mathematical Society , volume =

    Burger, Martin and Laurençot, Philippe and Trescases, Ariane , title =. Journal of the London Mathematical Society , volume =. doi:https://doi.org/10.1112/jlms.12420 , url =. https://londmathsoc.onlinelibrary.wiley.com/doi/pdf/10.1112/jlms.12420 , abstract =

    work page doi:10.1112/jlms.12420

  9. [9]

    Journal of Differential Equations , volume=

    Global existence for a kinetic model of pattern formation with density-suppressed motilities , author=. Journal of Differential Equations , volume=. 2020 , publisher=

    work page 2020

  10. [10]

    Calculus of Variations and Partial Differential Equations , volume=

    Comparison methods for a Keller--Segel-type model of pattern formations with density-suppressed motilities , author=. Calculus of Variations and Partial Differential Equations , volume=. 2021 , publisher=

    work page 2021

  11. [11]

    Nonlinear Analysis , volume=

    Global existence and infinite time blow-up of classical solutions to chemotaxis systems of local sensing in higher dimensions , author=. Nonlinear Analysis , volume=. 2022 , publisher=

    work page 2022

  12. [12]

    Acta Mathematica Scientia , volume=

    Boundedness and exponential stabilization in a parabolic-elliptic Keller-Segel model with signal-dependent motilities for local sensing chemotaxis , author=. Acta Mathematica Scientia , volume=. 2022 , publisher=

    work page 2022

  13. [13]

    Electronic Journal of Probability , volume=

    Quantitative convergence in relative entropy for a moderately interacting particle system on R d , author=. Electronic Journal of Probability , volume=. 2025 , publisher=

    work page 2025

  14. [14]

    Communications in Partial Differential Equations , volume=

    Analysis and mean-field derivation of a porous-medium equation with fractional diffusion , author=. Communications in Partial Differential Equations , volume=. 2022 , publisher=

    work page 2022

  15. [15]

    Zeitschrift f

    Rigorous mean-field limit and cross-diffusion , author=. Zeitschrift f. 2019 , publisher=

    work page 2019

  16. [16]

    Journal of Differential Equations , volume=

    Global existence and uniform boundedness in a chemotaxis model with signal-dependent motility , author=. Journal of Differential Equations , volume=. 2021 , publisher=

    work page 2021

  17. [17]

    Proceedings of the American Mathematical Society , volume=

    Critical mass on the Keller-Segel system with signal-dependent motility , author=. Proceedings of the American Mathematical Society , volume=

    work page

  18. [18]

    Journal of Differential Equations , volume=

    Energy-type estimates and global solvability in a two-dimensional chemotaxis--haptotaxis model with remodeling of non-diffusible attractant , author=. Journal of Differential Equations , volume=. 2014 , publisher=

    work page 2014

  19. [19]

    Mathematical Models and Methods in Applied Sciences , volume=

    Effects of signal-dependent motilities in a Keller--Segel-type reaction--diffusion system , author=. Mathematical Models and Methods in Applied Sciences , volume=. 2017 , publisher=

    work page 2017

  20. [20]

    European Mathematical Society Magazine , number=

    Systems of points with Coulomb interactions , author=. European Mathematical Society Magazine , number=

    work page

  21. [21]

    A Probabilistic Mean-Field Limit for the Vlasov-Poisson System for Ions

    A Probabilistic Mean Field Limit for the Vlasov-Poisson System for Ions , author=. arXiv preprint arXiv:2410.10612 , year=

    work page internal anchor Pith review Pith/arXiv arXiv

  22. [22]

    Duke Mathematical Journal , volume=

    Mean field limit and quantitative estimates with singular attractive kernels , author=. Duke Mathematical Journal , volume=. 2023 , publisher=

    work page 2023

  23. [23]

    On the mean-field limit of Vlasov-Poisson-Fokker-Planck equations.arXiv preprint arXiv:2505.13038, 2025

    On the mean-field limit of Vlasov-Poisson-Fokker-Planck equations , author=. arXiv preprint arXiv:2505.13038 , year=

    work page arXiv

  24. [24]

    A Hilbertian approach for fluctuations on the McKean-Vlasov model , journal =

    Begoña Fernandez and Sylvie Méléard , keywords =. A Hilbertian approach for fluctuations on the McKean-Vlasov model , journal =. 1997 , issn =. doi:https://doi.org/10.1016/S0304-4149(97)00067-7 , url =

    work page doi:10.1016/s0304-4149(97)00067-7 1997

  25. [25]

    Archive for Rational Mechanics and Analysis , volume=

    Fluctuations around the mean-field limit for attractive Riesz potentials in the moderate regime , author=. Archive for Rational Mechanics and Analysis , volume=. 2026 , publisher=

    work page 2026

  26. [26]

    2014 , publisher=

    Brownian motion and stochastic calculus , author=. 2014 , publisher=

    work page 2014