REVIEW 3 major objections 3 minor 41 references
Stationary distributions of McKean-Vlasov SDEs with jumps: existence, uniqueness, and multiplicity
T0 review · 3 major / 3 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read Weak mean-field coupling forces a unique stationary law for Lévy-driven McKean–Vlasov SDEs.
desk verdict Solid, honest extension of the Brownian fixed-point machinery to jump noise; the load-bearing caveat is the standing strong well-posedness assumption, which sits outside the numbered hypotheses. 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 central object is the fixed-point map $\Lambda: \mathcal{P}_{\beta_*} \to \mathcal{P}_{\beta_*}$, $\Lambda(\mu) = \pi_\mu$, where $\pi_\mu$ is the unique invariant probability measure of the linear (frozen) SDE $dY_t = b(Y_t, \mu) \, dt + dZ_t$. Fixed points of $\Lambda$ are exactly the stationary distributions of the original nonlinear SDE. Existence and multiplicity rely on Schauder's fixed point theorem applied to $\Lambda$ on a compact convex subset of a Banach space of signed measures with a Kantorovich–Rubinstein metric; uniqueness is proved by showing $\Lambda$ is a contraction in the weighted total variation norm, using the Duhamel formula $P^{\mu_1}_t \psi - P^{\mu_2}_t \psi = \int_0^t P^{\mu_2}_{t-s} (L^{\mu_1} - L^{\mu_2}) P^{\mu_1}_s \psi \, ds$ together with the gradient estimate of Assumption (A6) to control the sensitivity to the measure argument.
What would settle it
Construct an explicit Lévy-driven McKean–Vlasov SDE satisfying Assumptions (A1), (A2), (A3), (A5), and (A6) for which one can compute the measure-dependence constant $K_1$ in (1.17) and exhibit two distinct stationary distributions while $K_1 \le K^*$; this would directly contradict Theorem 1.7. A more feasible test: for the double-well potential example (1.21), compute $K_1$ numerically as the Lipschitz constant of $\mu \mapsto b(\cdot, \mu)$ in the weighted total variation norm and compare it with a numerically estimated value of $K^*$ obtained from the contraction factor in the proof.
Extended reading notes
Core claim
The central result, Theorem 1.7, states that under Assumptions (A1)–(A3) and (A5)–(A6) there is a positive constant $K^*$ such that whenever the measure-dependence constant $K_1$ in (1.17) satisfies $K_1 \le K^*$, the McKean–Vlasov SDE (1.5) has a unique stationary distribution $\pi \in \mathcal{P}_{\beta_*}$, and the nonlinear semigroup $(P^*_t)$ converges to $\pi$ with the explicit rate $\|P^*_t\mu - \pi\|_U \le C e^{-\lambda t}\|\mu - \pi\|_U$ for all initial measures $\mu \in \mathcal{P}_\beta$. Existence of at least one stationary distribution is obtained through Schauder's fixed point theorem applied to the map $\Lambda(\mu) = \pi_\mu$, where $\pi_\mu$ is the unique invariant measure of the frozen SDE (1.8); multiplicity is obtained by showing that the fixed-point map preserves small balls centered at distinct points $y_i$, yielding at least $k$ distinct stationary measures when the centers are sufficiently far apart. The uniqueness proof is the technical heart: it uses Duhamel's formula and gradient estimates for jump SDEs to show that $\Lambda$ is a contraction in the weighted total variation distance whenever $K_1$ is below the threshold $K^*$.
Load-bearing premise
The paper assumes, without proof in this work, that the McKean–Vlasov SDE (1.5) is strongly well-posed; if that well-posedness fails, the fixed-point formulation and the nonlinear semigroup used in the main theorems are not defined.
Editorial extensions
If this is right
- If the small-interaction condition $K_1 \le K^*$ holds, the nonlinear semigroup is exponentially ergodic in a weighted total variation distance, giving quantitative convergence rates for the law of the process to its unique equilibrium.
- The threshold $K^*$ provides a concrete criterion for phase transition: increasing the strength of the mean-field interaction beyond the threshold can destroy uniqueness and create multiple stationary states.
- The examples with two and three stationary distributions show that the theory covers genuine non-uniqueness, not just uniqueness regimes, and they supply explicit families of Lévy-driven McKean–Vlasov SDEs where the number of equilibria is known exactly.
- The uniqueness theorem also extends to the $L^1$-Wasserstein setting via the appendix, yielding a companion criterion for uniqueness when the drift is continuous in the measure under the Wasserstein distance.
- The results pave the way for studying local convergence near each equilibrium in the multiple-stationary regime, a problem the authors explicitly leave open.
Reading between the lines
- The threshold $K^*$ likely scales with the spectral gap of the frozen SDE and the strength of the gradient estimate; an explicit formula for $K^*$ in terms of the constants in (A1), (A5), and (A6) would let practitioners check uniqueness without solving the fixed-point equation.
- For symmetric $\alpha$-stable noise, Corollary 1.9 supplies a workable form of (A6), so the uniqueness theorem applies directly whenever (A1), (A3), (A5), and one-sided Lipschitzness hold; one could numerically test the threshold by computing $K_1$ for concrete potentials such as the double-well example.
- The paper's fixed-point approach may transfer to other nonlocal noise models, such as tempered stable or compound Poisson processes, as long as the associated frozen SDE admits a unique invariant measure with suitable moment and coupling estimates.
- A natural testable extension is to determine whether the number of stationary distributions in the multiple regime of Example 1.5 is exactly three or could be larger; the current argument gives at least three, and the phase-transition literature suggests the count is governed by the number of local minima of the effective potential.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies stationary distributions of McKean-Vlasov SDEs driven by pure-jump Lévy processes. It proves, under Lyapunov-type and continuity assumptions, the existence of at least one stationary distribution via Schauder's fixed point theorem (Theorem 1.1), the existence of multiple stationary distributions under a locally dissipative condition (Theorem 1.3), and, when the measure-dependence constant K1 is sufficiently small, uniqueness of the stationary distribution together with exponential convergence in weighted total variation distance (Theorem 1.7). The appendix provides an alternative uniqueness result in the L1-Wasserstein distance and gives explicit conditions for the ergodicity of the frozen SDE. Two examples exhibit one, two, or three stationary distributions. The proofs are detailed and combine Krylov-Bogoliubov arguments, fixed-point methods, coupling estimates, and Duhamel-type comparisons.
Significance. If the results are correct, they provide a systematic treatment of existence, uniqueness, and multiplicity of stationary distributions for distribution-dependent SDEs with jumps, extending a line of work previously developed mainly for Brownian McKean-Vlasov SDEs. The total-variation uniqueness result with an explicit threshold K* and exponential convergence is a meaningful contribution, as is the verification of the abstract assumptions in concrete examples. The paper is written with care and contains many explicit computations. However, two load-bearing points need attention: the unproved standing assumption on strong well-posedness of the nonlinear SDE, and a gap between uniqueness in the invariant set P_{M*}^{β*} and the claimed uniqueness in the full class P_{β*}.
major comments (3)
- [Section 1.2, text following Eq. (1.5)] The paper assumes, rather than proves, that the McKean-Vlasov SDE (1.5) is strongly well-posed, citing the authors' preprint [2, Theorem 1]. This premise is load-bearing: the proof of Theorem 1.1 converts a fixed point of μ ↦ π_μ into a stationary distribution of (1.5) by invoking weak uniqueness of (1.5), and the proof of Theorem 1.7 uses the nonlinear semigroup (P*_t) and the decoupled equation (4.11), both of which require the well-posedness of (1.5). Since this standing assumption is not included in the numbered hypotheses (A1)-(A6) and is not proved or independently verified in the present paper, the main theorems are conditional on an external result whose hypotheses are not checked. Please either prove well-posedness under (A1)-(A6) or state it as an explicit numbered assumption with a proof or a fully verified reference.
- [Section 4, proof of Theorem 1.7] The contraction argument establishes uniqueness of fixed points of the map Λ within the invariant set P_{M*}^{β*}, but the theorem claims uniqueness of a stationary distribution within the larger class P_{β*}. No argument is given that every stationary distribution in P_{β*} necessarily lies in P_{M*}^{β*}; without such an argument, a second stationary distribution with β*-th moment larger than M* is not excluded by the proof. This can be repaired by combining the fixed-point equation μ = π_μ with the moment bound in Lemma 2.1 to obtain a uniform bound, but this step is missing and should be added.
- [Section 2, Lemma 2.2 and Assumption (A4)] The notation M* is used both for the moment threshold in Lemma 2.2 and for the threshold appearing in Assumption (A4) and Theorem 1.3. These appear to be different constants, and the proof of Theorem 1.3 requires both. The paper should distinguish the two quantities clearly, for example by writing M^* for the Lemma 2.2 constant and M_* for the (A4) threshold, to avoid ambiguity in the statements of Theorem 1.3.
minor comments (3)
- [Section 5.1, Theorem 5.1] The statement of Theorem 5.1 contains a typo: it reads 'Assume that (H1) and (H2) hold, and that (1.6) is satisfised with β∗ ∈ [1, 2]. hold.' The extra word 'hold' should be deleted, and 'satisfised' should be 'satisfied'.
- [Abstract and Introduction] The phrase 'with regarding to' in the abstract should be 'regarding' or 'with regard to'; there are also a few other grammatical slips throughout the paper that should be corrected in a final editorial pass.
- [Example 1.5] The verification of Assumptions (A2) and (A31) in Example 1.5 is delegated to [37, Theorem 7.4]; since these assumptions are central to the example, it would be helpful to state briefly why the cited theorem applies to the specific drift in (1.10).
Circularity Check
No circular derivation: existence, uniqueness, and multiplicity proofs are self-contained fixed-point/contraction arguments; the only caveat is a load-bearing but non-circular well-posedness assumption deferred to the authors' preprint [2].
full rationale
The main theorems are proved from the numbered assumptions rather than from their conclusions. Theorem 1.1 constructs a stationary distribution as a Schauder fixed point of the map μ ↦ π_μ; the proof does not define the target measure as π_μ, but verifies that a fixed point gives a stationary law of (1.5) through well-posedness. Theorem 1.7 derives uniqueness and exponential convergence by proving that Λ is a Banach contraction when K1 is small; the key bound (4.4) follows from the frozen-semigroup contraction (1.16), the measure-Lipschitz condition (1.17), the gradient estimate (A6), and Duhamel's formula, and (1.18) then follows from Gronwall and the semigroup property (4.10). Theorem 1.3 similarly uses the invariant-set construction from Lemma 2.2 and separation of centers, not a restatement of (A4). Examples 1.5, 1.6, and 1.10 check the assumptions with explicit inequalities and external criteria; no fitted parameter is relabeled as a prediction. The only flagged issue is the standing assumption after (1.5): 'Throughout the paper, we assume that the McKean-Vlasov SDE (1.5) is strongly well-posed under suitable conditions; see, for example, [2, Theorem 1] and references within for related details.' This premise is essential because P*_t and the fixed-point characterization require well-posedness, and [2] is a preprint by the same authors. That is a missing/self-cited hypothesis and a completeness risk, not a circular reduction: the paper does not derive Theorem 1.7 from [2], and no displayed equation equates the target result with an input by construction. Hence the circularity score is 1.
Assumptions & free parameters
free parameters (1)
- K* (threshold for interaction constant K1 in uniqueness theorems)
assumptions (5)
- domain assumption Strong well-posedness of the McKean-Vlasov SDE (1.5)
- domain assumption Assumption (A2): each frozen SDE (1.8) is Cb-Feller and has a unique invariant probability measure πµ
- domain assumption Assumption (A3): weak continuity of µ ↦ πµ on PM*_β*
- domain assumption Assumption (A5): contraction of reference semigroup in weighted TV plus continuity of drift under TV
- domain assumption Assumption (A6): gradient estimates for the frozen semigroup
Cite this review
Pith. "Pith review of Stationary distributions of McKean-Vlasov SDEs with jumps: existence, uniqueness, and multiplicity." pith.science (2026). https://pith.science/paper/FZNLGZAN
@misc{pith2026250415898,
author = {Pith},
title = {Pith review of: Stationary distributions of McKean-Vlasov SDEs with jumps: existence, uniqueness, and multiplicity},
year = {2026},
howpublished = {\url{https://pith.science/paper/FZNLGZAN}},
note = {Machine review of arXiv:2504.15898}
}
abstract
In this paper, we are interested in the issues on existence, uniqueness, and multiplicity of stationary distributions for McKean-Vlasov SDEs with jumps. In detail, with regarding to McKean-Vlasov SDEs driven by pure jump L\'{e}vy processes, we principally (i) explore the existence of stationary distributions via Schauder's fixed point theorem under an appropriate Lyapunov condition; (ii) tackle the uniqueness of stationary distributions and the convergence to the equilibria as long as the underlying drifts are continuous with respect to the measure variables under the weighted total variation distance and the $L^1$-Wasserstein distance, respectively; (iii) demonstrate the multiplicity of stationary distributions under a locally dissipative condition. In addition, some illustrative examples are provided to show that the associated McKean-Vlasov SDEs possess a unique, two and three stationary distributions, respectively.
Reference graph
Works this paper leans on
-
[2]
and Wang, J.: A note on Lévy-driven McKean -Vlasov SDEs under monotonicity, arXiv:2412.01070
Bao, J., Liu, Y. and Wang, J.: A note on Lévy-driven McKean -Vlasov SDEs under monotonicity, arXiv:2412.01070
-
[1]
and Ding, X.: On invariant measures of nonlin ear Markov processes, J
Ahmed, N.U. and Ding, X.: On invariant measures of nonlin ear Markov processes, J. Appl. Math. Stochastic Anal., (1993), 385–406
work page 1993
-
[3]
and Xie, Y.: Quantitative estim ates for Lévy driven SDEs with different drifts and applications, J
Bao, J., Sun, X., Wang, J. and Xie, Y.: Quantitative estim ates for Lévy driven SDEs with different drifts and applications, J. Differential Equations , 398 (2024), 182–217
work page 2024
-
[4]
Bogachev, V.I., Röckner, M. and Shaposhnikov, S.V.: Con vergence in variation of solutions of nonlinear Fokker-Planck-Kolmogorov equations to stationary measur es, J. Funct. Anal. , 276 (2019), 3681–3713
work page 2019
-
[5]
Butkovsky, O.A.: On ergodic properties of nonlinear Mar kov chains and stochastic McKean-Vlasov equations, Theory Probab. Appl. , 58 (2014), 661–674
work page 2014
-
[6]
World Scientific, Singapore, 2004
Chen, M.-F.: From Markov Chains to Non-Equilibrium Particle Systems , 2nd ed. World Scientific, Singapore, 2004
work page 2004
-
[7]
Cormier, Q.: On the stability of the invariant probabili ty measures of McKean-Vlasov equations, arXiv:2201.11612
-
[8]
and Zabczyk, J.: Ergodicity for Infinite Dimensional Systems , Cambridge university press, 1996
Da Prato, G. and Zabczyk, J.: Ergodicity for Infinite Dimensional Systems , Cambridge university press, 1996
work page 1996
Show all 41 references
-
[9]
Dawson, D.A.: Critical dynamics and fluctuations for a me an-field model of cooperative behavior, J. Stat. Phys., 31 (1983), 29–85
1983
-
[10]
Deimling, K.: Nonlinear Functional Analysis , Springer-Verlag, Berlin Heidelberg, 1985
1985
-
[11]
and Guillin, A.: Subgeometric rates o f convergence of f -ergodic strong Markov processes, Stochastic Process
Douc, R., Fort, G. and Guillin, A.: Subgeometric rates o f convergence of f -ergodic strong Markov processes, Stochastic Process. Appl., 119 (2009), 897–923
2009
-
[12]
Dragomir, S.S.: Some Gronwall Type Inequalities and Applications , Nova Science Publishers, Inc., Hauppauge, NY, 2003
2003
-
[13]
Theory Related Fields , 166 (2016), 851–886
Eberle, A.: Reflection couplings and contraction rates for diffusions, Probab. Theory Related Fields , 166 (2016), 851–886
2016
-
[14]
and Zimmer, R.: Quantitative Ha rris-type theorems for diffusions and McKean-Vlasov processes, Trans
Eberle, A., Guillin, A. and Zimmer, R.: Quantitative Ha rris-type theorems for diffusions and McKean-Vlasov processes, Trans. Amer. Math. Soc. , 371 (2019), 7135–7173
2019
-
[15]
and Mattingly, J
Hairer, M. and Mattingly, J. C.: Yet another look at Harr is’s ergodic theorem for Markov chains. In: Seminar on Stochastic Analysis, Random Fields and Applications VI , 109–117, Progr. Probab. 63, Birkhäuser/Springer, Basel AG, Basel, 2011
2011
-
[16]
and Scheutzow, M.: Asympto tic coupling and a general form of Harris’ theorem with applications to stochastic delay equations, Probab
Hairer, M., Mattingly, J.C. and Scheutzow, M.: Asympto tic coupling and a general form of Harris’ theorem with applications to stochastic delay equations, Probab. Theory Related Fields , 149 (2011), 223–259
2011
-
[17]
Hairer, M., Convergence of Markov Processes, https:// www.hairer.org/notes/Convergence.pdf
-
[18]
and Wang, J.: Approxima tion of heavy-tailed distributions via stable-driven SDEs, Bernoulli, 27 (2021), 2040–2068
Huang, L.-J., Majka, Mateusz B. and Wang, J.: Approxima tion of heavy-tailed distributions via stable-driven SDEs, Bernoulli, 27 (2021), 2040–2068
2021
-
[19]
and Sandrić, N.: On sub-geometric ergodicity of diffusion processes, Bernoulli, 27 (2021), 348–380
Lazić, P. and Sandrić, N.: On sub-geometric ergodicity of diffusion processes, Bernoulli, 27 (2021), 348–380
2021
-
[20]
and Wang, J.: Exponential e rgodicity for SDEs and McKean-Vlasov processes with Lévy noise, Ann
Liang, M., Majka, Mateusz B. and Wang, J.: Exponential e rgodicity for SDEs and McKean-Vlasov processes with Lévy noise, Ann. Inst. Henri Poincaré Probab. Stat. , 57 (2021), 1665–1701
2021
-
[21]
and Zhang, C.: Long-time behaviors of mea n-field interacting particle systems related to McKean-Vlasov equations, Comm
Liu, W., Wu, L. and Zhang, C.: Long-time behaviors of mea n-field interacting particle systems related to McKean-Vlasov equations, Comm. Math. Phys. , 387 (2021), 179–214
2021
-
[22]
and Zhang, M.: Phase transitions for a cl ass of time-inhomogeneous diffusion processes, J
Liu, Y., Xie, Y. and Zhang, M.: Phase transitions for a cl ass of time-inhomogeneous diffusion processes, J. Stat. Phys. , 190 (2023), Paper no. 42, 16 pp
2023
-
[23]
and Wang, J.: Exponential convergence in Lp-Wasserstein distance for diffusion processes without uniformly dissipative drift, Math
Luo, D. and Wang, J.: Exponential convergence in Lp-Wasserstein distance for diffusion processes without uniformly dissipative drift, Math. Nachr. , 289 (2016), 1909–1926. EXISTENCE, UNIQUENESS, AND MULTIPLICITY 31
2016
-
[24]
and Wang, J.: Refined basic couplings and Wassers tein-type distances for SDEs with Lévy noises, Stochastic Process
Luo, D. and Wang, J.: Refined basic couplings and Wassers tein-type distances for SDEs with Lévy noises, Stochastic Process. Appl., 129 (2019), 3129–3173
2019
-
[25]
and Tweedie, R.L.: Stability of Markovian pr ocesses
Meyn, S.P. and Tweedie, R.L.: Stability of Markovian pr ocesses. III. Foster–Lyapunov criteria for continuous- time processes, Adv. Appl. Probab. , 25 (1993), 518–548
1993
-
[26]
and Reygner, J.: Local convergence rates for Wasserstein gradient flows and McKean-Vlasov equations with multiple stationary solutions, arXiv:2404 .15725
Monmarché, P. and Reygner, J.: Local convergence rates for Wasserstein gradient flows and McKean-Vlasov equations with multiple stationary solutions, arXiv:2404 .15725
-
[27]
and Röckner, M.: A Concise Course on Stochastic Partial Differential Equations , Lecture Notes in Mathematics, vol
Prévôt, C. and Röckner, M.: A Concise Course on Stochastic Partial Differential Equations , Lecture Notes in Mathematics, vol. 1905, Springer, Berlin, 2007
1905
-
[28]
and Zhi, Y.: Global dynamics of McKean-Vl asov SDEs via stochastic order, arXiv: 2411.01364
Qu, B., Yao, J. and Zhi, Y.: Global dynamics of McKean-Vl asov SDEs via stochastic order, arXiv: 2411.01364
-
[29]
Appl., XXIX (1985), 647–676
Rachev, S.: The Monge-Kantonovich mass transference p roblem and its stochastic applications, Theory Probab. Appl., XXIX (1985), 647–676
1985
-
[30]
Probab., 41 (2010), 1427–1460
Tugaut, J.: Convergence to the equilibria for self-sta bilizing processes in double well landscape, Ann. Probab., 41 (2010), 1427–1460
2010
-
[31]
Tugaut, J.: Phase transitions of McKean-Vlasov proces ses in double-wells landscape, Stochastics, 86 (2014), 257–284
2014
-
[32]
Tugaut, J.: Convergence in Wasserstein distance for se lf-stabilizing diffusion evolving in a double-well land- scape, C. R. Acad. Sci. Paris, Ser. I , 356 (2018), 657–660
2018
-
[33]
Appl., 128 (2018), 595–621
Wang, F.-Y.: Distribution dependent SDEs for Landau ty pe equations, Stochastic Process. Appl., 128 (2018), 595–621
2018
-
[34]
Wang, F.-Y.: Exponential ergodicity for non-dissipat ive McKean-Vlasov SDEs, Bernoulli, 29 (2023), 1035– 1062
2023
-
[35]
and Wang, J.: Harnack inequalities for stoc hastic equations driven by Lévy noise, J
Wang, F.-Y. and Wang, J.: Harnack inequalities for stoc hastic equations driven by Lévy noise, J. Math. Anal. Appl., 410 (2014), 513–523
2014
-
[36]
Appl., 120 (2010), 1680–1700
Wang, J.: Regularity of semigroups generated by Levy ty pe operators via coupling, Stochastic Process. Appl., 120 (2010), 1680–1700
2010
-
[37]
and Zhang, X.: Ergodicity of stochastic differen tial equations with jumps and singular coefficients, Ann
Xie, L. and Zhang, X.: Ergodicity of stochastic differen tial equations with jumps and singular coefficients, Ann. Inst. Henri Poincaré Probab. Stat. , 56 (2020), 175–229
2020
-
[38]
1321, Springer, 1988, 89–91
Yan, J.-A.: A perturbation theorem for semigroups of li near operators, in: Séminaire de Probabilités XXII , Lecture Notes in Mathematics, vol. 1321, Springer, 1988, 89–91
1988
-
[39]
Zhang, S.-Q.: Existence and non-uniqueness of station ary distributions for distribution dependent SDEs, Electron. J. Probab., 28 (2023), Paper No. 93, 34 pp
2023
-
[40]
Zhang, S.-Q.: Local convergence near equilibria for di stribution dependent SDEs, arXiv:2501.04313
-
[41]
Appl., 123 (2013), 1213–1228
Zhang, X.: Derivative formulas and gradient estimates for SDEs driven by α -stable processes, Stochastic Process. Appl., 123 (2013), 1213–1228
2013
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.