REVIEW 3 major objections 5 minor 39 references
For a one-dimensional conditional McKean-Vlasov jump diffusion, the flow of conditional laws contracts exponentially fast in Wasserstein distance whenever the mean-field interaction is weak; hence the measure-valued process has a unique inv
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
Conditional McKean-Vlasov jump diffusions are exponentially contractive in law, and the contraction rate improves as jump noise intensity grows.
T0 review reviewed 2026-08-05 challenge →
load-bearing objection Solid extension of Brownian common-noise ergodicity to jump noises; the main contraction result is proved under a strong, unproved uniform-in-time propagation-of-chaos assumption (H2), so it is a conditional theorem rather than a fully self-contained one, but the proof is detailed and the novelty is real. the 3 major comments →
Ergodicity of conditional McKean-Vlasov jump diffusions
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
Core claim
The paper establishes Theorem 1.2: for the one-dimensional conditional McKean-Vlasov jump diffusion (1.1), under assumptions (H1)-(H3) and sigma, sigma_0 different from zero, there are constants C, lambda*_0, lambda*_3 > 0 such that for all t>=0 and lambda_3 in [0,lambda*_3], W1(L mu_t, L bar-mu_t) <= C e^{-lambda*_0 t} W1(L mu_0, L bar-mu_0). In words, the law of the conditional law forgets its initial condition exponentially fast, uniformly over all times, whenever the drift's dependence on the measure variable is not too strong. The proof first shows the conditional distribution flow solves a stochastic Fokker-Planck equation driven by a Poisson random measure, then proves an infinite-hor
What carries the argument
The asymptotic coupling by reflection is the load-bearing tool. For a small jump, the second copy's jump is multiplied by the reflection matrix Pi_{epsilon,d}(x) = I_d - 2 h_epsilon(rho(x)) n(phi(x)) tensor n(phi(x)), which in one dimension reduces to 1 - 2 h_epsilon(||x||_1), flipping the sign of the jump so the two copies move toward each other; for large jumps the coupling is synchronous. A carefully chosen distance function f built from g_*(r) = lambda_1 integral_0^r s / F_{sigma,sigma_0}(s) ds makes the radial process contract: the reflected small jumps make the jump-integral terms vanish by rotational invariance, leaving a negative drift of order -lambda_0 |z|. The same construction yi
Load-bearing premise
The proof leans on assumption (H2): replacing the true conditional law by the leave-one-out empirical measure of n-1 other particles makes the drift discrepancy vanish uniformly over all time, with a rate phi(n) tending to zero. If this uniformity fails, the particle approximation errors do not die out and the exponential contraction is not obtained.
What would settle it
Compute W1(L mu_t, L bar-mu_t) numerically for a one-dimensional linear example, e.g. b(x,mu) = -x + lambda_3 (mean(mu) - x), with symmetric alpha-stable noise for alpha in (1,2). If the ratio W1(L mu_t, L bar-mu_t)/W1(L mu_0, L bar-mu_0) does not decay exponentially for some lambda_3 below the threshold, or if increasing the common jump intensity slows instead of speeds the decay, Theorem 1.2 would be contradicted. A direct analytic check is to evaluate Lambda_1 and Lambda_2 in Example 3.4 for two different values of |sigma_0| and see whether the predicted rate ordering matches the actual exp
If this is right
- If the theorem holds, the conditional law flow (mu_t) has a unique invariant probability measure whenever lambda_3 is below an explicit threshold, and convergence is exponentially fast in the Wasserstein distance W1.
- Larger Levy intensity in either the common or the idiosyncratic noise increases the exponential rate, because the constants Lambda_1 and Lambda_2 in assumption (H3) decrease with |sigma| and |sigma_0|.
- The proof supplies an infinite-time conditional propagation of chaos under a qualitative condition (H2), requiring only a first moment rather than higher-order integrability.
- The result extends exponential ergodicity from Brownian common-noise McKean-Vlasov models to pure-jump Levy-type noises.
- The SFPE formulation gives a Poisson-random-measure-driven forward equation for the conditional law flow, which is the natural object for further statistical or numerical study.
Where Pith is reading between the lines
- Editorial: the same threshold argument suggests a quantitative trade-off curve for lambda*_3 versus noise intensity: stronger noise should permit stronger mean-field coupling while still preserving contraction, a relation the paper does not spell out.
- Editorial: the small-jump reflection / large-jump synchronous split is a natural blueprint for numerical simulation of coupled conditional laws; one could test the predicted rate monotonicity in a stable-noise example such as the paper's Example 3.4.
- Editorial: the one-dimensional restriction comes from the vanishing of the jump-integral terms; a high-dimensional extension would likely need a different geometric construction or a non-isotropic distance, since the scalar sign-flip reflection no longer suffices.
- Editorial: if rotational invariance of the Levy measures is dropped, the odd integrals do not vanish, so the same proof breaks; a change-of-measure or tilting coupling might restore contraction but is beyond the paper's scope.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies one-dimensional conditional McKean-Vlasov jump diffusions driven by rotationally invariant Lévy noise with both idiosyncratic and common jumps. The main result, Theorem 1.2, states that under hypotheses (H1)–(H3) and for sufficiently small mean-field interaction λ3, the law of the conditional distribution flow is exponentially contractive in the Wasserstein distance W1, thus yielding a unique invariant probability measure for the measure-valued process. The proof proceeds through a stochastic interacting particle system, an asymptotic coupling by reflection adapted to jump noise, a finite-time conditional propagation of chaos, and a uniform-in-time conditional propagation-of-chaos estimate obtained under (H2). The paper also shows that the conditional distribution flow solves a stochastic Fokker–Planck equation driven by a Poisson random measure and that larger jump intensities improve the exponential rate.
Significance. If the main theorem is correct, it is a meaningful extension of ergodicity results for conditional McKean-Vlasov equations from Brownian common noise to Lévy jump noise, with a coupling construction that treats small jumps by reflection and large jumps synchronously. The paper gives explicit constant dependence and an example showing that both idiosyncratic and common jump intensities accelerate convergence. The proof strategy is original in this setting and the finite-time conditional PoC results are useful in themselves. However, the central uniform-in-time estimate rests on the strong hypothesis (H2), which is not established for the jump setting and is only supported by a self-citation, and the proof of Proposition 3.2 contains an inequality that appears false as written. These issues are load-bearing and prevent the present version from being accepted.
major comments (3)
- [Section 3, Eq. (3.6) and subsequent display before (3.12)] The standard add/subtract argument in (3.6) does not produce the term λ3 eμ^n_t(|·|). After adding and subtracting b(X^i_t,eμ^n_t) and b(X^{i,n,ε}_t,eμ^n_t), the measure-dependent part is bounded by λ3 W1(eμ^n_t,bμ^{n,ε}_t), and the natural coupling gives W1(eμ^n_t,bμ^{n,ε}_t) ≤ (1/n)Σ_j |X^j_t-X^{j,n,ε}_t| = ∥Z^{n,ε}_t∥_1. Replacing this by λ3 eμ^n_t(|·|) is not justified and is false: eμ^n_t(|·|) has expectation O(1) in general, while ∥Z^{n,ε}_t∥_1 is the quantity that can be absorbed into the λ0 term. The later bound, 'λ3Eeμ^n_t(|·|) + 1/n Σ_i EJ_i ≤ λ3E∥Z^{n,ε}_t∥_1 + ...', is also invalid as written; for example, if all X^j_t=x and X^{j,n,ε}_t=0, then λ3E eμ^n_t(|·|)=λ3|x| whereas the right-hand side is O(|x|/n). This error directly affects Proposition 3.2 and hence Theorem 1.2. If this is a typo, it must be corrected in (3.6), (3.9), and the display before (3.12), and the Gronwall
- [Assumption (H2), Eq. (1.5)] Hypothesis (H2) is a uniform-in-time conditional propagation-of-chaos bound for the drift: max_i sup_t E|b(X^i_t,μ^i_t)-b(X^i_t,eμ^{n,-i}_t)| ≤ φ(n). This is the only place in Proposition 3.2 where the difference between the true conditional law and the leave-one-out empirical measure is controlled, and it is essential for the J_i terms to vanish as n→∞. If (H2) fails, the O(φ(n)) term in (3.4) does not disappear and the contraction (1.7) is not obtained. The paper does not prove (H2); Remark 1.1 merely states that 'some sufficiencies are furnished in [6, Lemma 4.1]', a self-citation whose content is not reproduced. Since [6] concerns Brownian common noise, it is not immediate that those sufficiencies apply to the jump setting of the present paper. The authors should either prove (H2) for a class of examples satisfying (H1)–(H3), or reproduce the relevant lemma and verify its hypotheses
- [Proposition 3.2 and function f in (3.10)] The distance function f in (3.10) is only C^1, and under the stated hypotheses on g_* its second derivative f''(r) = -g'_*(r)e^{-g_*(r)} is unbounded as r↓0 (e.g., in Example 3.4, g'_*(r) ~ r^{θ-1} with θ∈(0,1)). The proof of Proposition 3.2 applies Itô's formula to f(|Z^{i,n,ε}_t|) and uses the pointwise inequality f(r+δ)+f(r-δ)-2f(r) ≤ f''(r)δ^2. No justification is given for the Itô formula in this non-C^2 case. Although this is likely repairable by a standard mollification argument or by citing a generalized Itô formula, it is a technical gap in a central proof and should be addressed explicitly.
minor comments (5)
- [Throughout] There are several typos, e.g., 'Poission' in Section 2.1, 'Theorem1.2' missing a space, and in Lemma 2.7 the display contains 'X^{N,N,ε}_t' where 'n' is intended.
- [Section 2, Lemma 2.7] The notation in the proof of statement (ii) is sometimes heavy; the definitions of the five Γ^{j,ε}_i terms are clear but could be displayed more uniformly.
- [Section 3, proof of Theorem 1.2] The two systems with initial data X_0 and \bar X_0 are denoted with the same symbol X^i_t in places, which is confusing. Use \bar X^i_t consistently in (3.16) and thereafter.
- [Remark 1.4] The discussion of the coupling construction is helpful, but the comparison with [6,30] could state explicitly that the present paper uses a threshold on jump sizes rather than on Brownian increments.
- [Example 3.4] It would be useful to state explicitly that the constants C_θ, C_1 are positive and that the monotonicity of Λ_1,Λ_2 in |σ|,|σ_0| is what drives the 'noise enhances convergence' statement.
Circularity Check
No significant circularity: Theorem 1.2 is a conditional statement that assumes (H2); the proof uses (H2) directly rather than deriving it, and the exponential rate comes from (H1)/(H3), not from (H2). The self-citations for well-posedness and for sufficiencies of (H2) are not load-bearing in the proof.
full rationale
The paper's central result, Theorem 1.2, is explicitly conditional: 'Assume that (H1), (H2) and (H3) hold...'. Assumption (H2), eq. (1.5), is a uniform-in-time conditional propagation-of-chaos bound on the drift: max_i sup_t E|b(X^i_t, μ^i_t)-b(X^i_t, eμ^{n,-i}_t)| ≤ φ(n) with φ(n)→0. The proof of Proposition 3.2 invokes (H2) to control the Ji terms and obtain (3.4), and the proof of Theorem 1.2 then takes n→∞ so that the φ(n) error vanishes. This is a legitimate use of a hypothesis, not a circular reduction: H2 is not defined in terms of the Wasserstein contraction (1.7), and the exponential rate λ0 in (3.3) is determined by λ1, λ2, λ3 and Fσσ₀ from (H1)/(H3), not by φ. The conclusion of Theorem 1.2 is not equivalent to H2 by construction; H2 is a stronger-looking input but it is not the statement being proved. The paper's Remark 1.1 points to '[6, Lemma 4.1]' for sufficiencies of (H2); this is a self-citation (Bao–Wang), and verifying H2 in applications may indeed be a limitation or a correctness risk, but the theorem's proof does not rest on that citation—it treats H2 as a premise. Similarly, [5] is cited for strong well-posedness, but that is a standard preliminary step and is not the ergodicity claim. The coupling construction in Proposition 2.5 is carried out in the paper rather than imported. There is a possible typo in (3.6), where 'λ3 eμn_t(|·|)' appears where the add/subtract argument would suggest λ3 ∥Z^{n,ε}_t∥1; the subsequent estimate in part (iii) effectively uses the latter form. This is a correctness concern, not a circularity. Overall, the derivation chain is self-contained given the stated assumptions, and no prediction reduces by construction to its own inputs.
Axiom & Free-Parameter Ledger
axioms (8)
- standard math Lévy-Itô decomposition and Itô calculus for pure jump Lévy processes with Lévy measures satisfying ∫(|z|∧|z|²)ν(dz)<∞
- domain assumption Conditional independence structure: X_t is F^0_t-conditional distribution well-defined and satisfies μ_s = L(X_s|F^0_t) a.s. for s≤t.
- domain assumption Assumption (H1): partially dissipative drift (1.3) and W1-Lipschitz in measure (1.4).
- domain assumption Assumption (H2): uniform-in-time drift-level conditional propagation of chaos (1.5).
- domain assumption Assumption (H3): existence of F_{σ,σ0} satisfying small-jump bound (1.6) and smoothness of g* (g*''≤0, g*'''≥0, g*''''≤0).
- domain assumption The noise processes Z and Z^0 are rotationally invariant pure jump Lévy processes.
- domain assumption σ, σ0 ≠ 0 and the one-dimensional setting; the paper restricts to d=1 in Remark 3.3.
- standard math Existence/uniqueness for SDEs (2.4)/(2.5) under (A1), cited from [5, Theorem 1.1/2.1] and [5, Theorem 4.1].
Cite this review
Pith. "Pith review of Ergodicity of conditional McKean-Vlasov jump diffusions." pith.science (2026). https://pith.science/paper/MLR3WG3C
@misc{pith2026250902249,
author = {Pith},
title = {Pith review of: Ergodicity of conditional McKean-Vlasov jump diffusions},
year = {2026},
howpublished = {\url{https://pith.science/paper/MLR3WG3C}},
note = {Machine review of arXiv:2509.02249}
}
read the original abstract
In this paper, we are interested in conditional McKean-Vlasov jump diffusions, which are also termed as McKean-Vlasov stochastic differential equations with jump idiosyncratic noise and jump common noise. As far as conditional McKean-Vlasov jump diffusions are concerned, the corresponding conditional distribution flow is a measure-valued process, which indeed satisfies a stochastic partial integral differential equation driven by a Poisson random measure. Via a novel construction of the asymptotic coupling by reflection, we explore the ergodicity of the underlying measure-valued process corresponding to a one-dimensional conditional McKean-Vlasov jump diffusion when the associated drift term fulfils a partially dissipative condition with respect to the spatial variable. In addition, the theory derived demonstrates that the intensity of the jump common noise and the jump idiosyncratic noise can simultaneously enhance the convergence rate of the exponential ergodicity.
Reference graph
Works this paper leans on
-
[1]
Agram, N. and Rems, J.: Deep learning for conditional McKean-Vlasov jump diffusions,Systems Control Lett., 201 (2025), paper no. 106100, 15 pp
work page 2025
-
[2]
Agram, N. and Øksendal, B.: Optimal stopping of conditional McKean-Vlasov jump diffusions, Systems Control Lett., 188 (2024), paper no. 105815, 6 pp
work page 2024
-
[3]
Agram, N. and Øksendal, B.: Stochastic Fokker-Planck equations for conditional McKean-Vlasov jump dif- fusions and applications to optimal control,SIAM J. Control Optim., 61 (2023), 1472–1493
work page 2023
-
[4]
Aldous, D.: Stopping times and tightness,Ann. Probab., 6 (1978), 335–340
work page 1978
-
[5]
A note on L\'evy-driven McKean-Vlasov SDEs under monotonicity
Bao, J., Liu, Y. and Wang, J.: A note on Lévy-driven McKean-Vlasov SDEs under monotonicity, arXiv:2412.01070
work page internal anchor Pith review Pith/arXiv arXiv
-
[6]
and Wang, J.: Long time behavior of one-dimensional McKean-Vlasov SDEs with common noise,J
Bao, J. and Wang, J.: Long time behavior of one-dimensional McKean-Vlasov SDEs with common noise,J. Math. Anal. Appl., 552, (2025), paper no. 129819, 31 pp
work page 2025
-
[7]
Bo, L., Li, T. and Yu, X.: Centralized systemic risk control in the interbank system: weak formulation and Gamma-convergence, Stochastic Process. Appl., 150 (2022), 622–654
work page 2022
-
[8]
Bo, L., Wang, J., Wei, X. and Yu, X.: Mean-field control with Poissonian common noise: a pathwise com- pactiffcation approach, arXiv:2505.23441
-
[9]
Bo, L., Wang, J., Wei, X. and Yu, X.: Extended mean-field control problems with Poissonian common noise: stochastic maximum principle and Hamiltonian-Jacobi-Bellman equation, arXiv:2407.05356
-
[10]
Brown, M., Trautmann, S.T., Vlahu, R.: Understanding bank-run contagion,Manag. Sci., 63 (2017), 2272– 2282. 24 JIANHAI BAO YAO LIU JIAN W ANG
work page 2017
-
[11]
and Ma, J.: A general conditional McKean-Vlasov stochastic differential equation,Ann
Buckdahn, R., Li, J. and Ma, J.: A general conditional McKean-Vlasov stochastic differential equation,Ann. Appl. Probab., 33 (2023), 2004–2023
work page 2023
-
[12]
Carmona, R. and Delarue, F.: Probabilistic Theory of Mean Field Games with Applications I: Mean Field FBSDEs, Control, and Games, Springer International Publishing, Switzerland, 2018
work page 2018
-
[13]
Carmona, R. and Delarue, F.:Probabilistic Theory of Mean Field Games with Applications II: Mean Field Games with Common Noise and Master Equations, Springer International Publishing, Switzerland, 2018
work page 2018
-
[14]
Cavallazzi, T.: Well-posednessandpropagationofchaosforLévy-drivenMcKean-VlasovSDEsunderLipschitz assumptions, arXiv:2301.08594
work page internal anchor Pith review Pith/arXiv arXiv
-
[15]
Delarue, F., Tanré, E. and Maillet, R.: Ergodicity of some stochastic Fokker-Planck equations with additive common noise, arXiv:2405.09950
-
[16]
and Smith, G.: Simulation of McKean-Vlasov SDEs with super-linear growth, IMA J
dos Reis, G., Engelhardt, S. and Smith, G.: Simulation of McKean-Vlasov SDEs with super-linear growth, IMA J. Numer. Anal., 42 (2022), 874–922
work page 2022
-
[17]
and Zimmer, R.: Quantitative Harris-type theorems for diffusions and McKean-Vlasov processes, Trans
Eberle, A., Guillin, A. and Zimmer, R.: Quantitative Harris-type theorems for diffusions and McKean-Vlasov processes, Trans. Amer. Math. Soc., 371 (2019), 7135–7173
work page 2019
-
[18]
Erny, X., Löcherbach, E. and Loukianova, D.: Conditional propagation of chaos for mean field systems of interacting neurons,Electron. J. Probab., 26 (2021), paper no. 20, 25 pp
work page 2021
-
[19]
Guillin, A., Le Bris, P. and Monmarché, P.: Convergence rates for the Vlasov-Fokker-Planck equation and uniform in time propagation of chaos in non convex cases,Electron. J. Probab., 27 (2022), paper no. 124, 44 pp
work page 2022
-
[20]
Hammersley, William R. P., Šiška, D. and Szpruch, L.: Weak existence and uniqueness for McKean-Vlasov SDEs with common noise,Ann. Probab., 49 (2021), 527–555
work page 2021
-
[21]
Hernández-Hernández, D.andRicalde-Guerrero, J.H.: ConditionalMcKean-Vlasovdifferentialequationswith common Poissonian noise: Propagation of chaos, arXiv:2308.11564
-
[22]
Hernández-Hernández, D. and Ricalde-Guerrero, J.H.: Mean-field games with common Poissonian noise: a maximum principle approach, arXiv:2401.10952
-
[23]
Huang, X.: Coupling by change of measure for conditional McKean-Vlasov SDEs and applications,Stoch. Process. Appl., 179 (2025), no. 104508, 17 pp
work page 2025
-
[24]
Kac, M.: Foundations of kinetic theory, in:Proceedings of the Third Berkeley Symposium on Mathematical Statistics and Probability, 1954–1955, vol. III, pp. 171—197, Univ. California Press, Berkeley-Los Angeles, Calif., 1956
work page 1954
-
[25]
Khue Tran, N., Kieu, T.-T., Luong, Duc-T. Ngo, H.-L., On the infinite time horizon approximation for Lévy-driven McKean-Vlasov SDEs with non-globally Lipschitz continuous and super-linearly growth drift and diffusion coefficients,J. Math. Anal. Appl., 54 (2025), paper no. 128982, 38 pp
work page 2025
-
[26]
Kumar, C., Neelima, Reisinger, C.andStockinger, W.: Well-posednessandtamedschemesforMcKean-Vlasov equations with common noise,Ann. Appl. Probab., 32 (2022), 3283–3330
work page 2022
-
[27]
Lacker, D., Shkolnikov, M., Zhang, J., Superposition and mimicking theorems for conditional McKean-Vlasov equations, J. Eur. Math. Soc. (JEMS), 25 (2023), 3229–3288
work page 2023
-
[28]
and Wang, J.: Exponential ergodicity for SDEs and McKean-Vlasov processes with Lévy noise,Ann
Liang, M., Majka, Mateusz B. and Wang, J.: Exponential ergodicity for SDEs and McKean-Vlasov processes with Lévy noise,Ann. Inst. Henri Poincaré Probab. Stat., 57 (2021), 1665–1701
work page 2021
-
[29]
Luo, D. and Wang, J.: Refined basic couplings and Wasserstein-type distances for SDEs with Lévy noises, Stochastic Process. Appl., 129 (2019), 3129–3173
work page 2019
-
[30]
Maillet, R.: A note on the long time behavior of stochastic McKean-Vlasov equations with common noise, arXiv:2306.16130
-
[31]
Marinelli, C.andRöckner, M.: Onmaximalinequalitiesforpurelydiscontinuousmartingalesininfinitedimen- sions, in: Séminaire de Probabilités XLVI, Lecture Notes in Math., vol.2123, Cham, Springer International Publishing, 2014, 293–315
work page 2014
-
[32]
McKean Jr, H.P.: A class of Markov processes associated with nonlinear parabolic equations,Proceedings of the National Academy of Sciences, 56 (1966), 1907–1911
work page 1966
-
[33]
Neelima, Biswas, S., Kumar, C., dos Reis, G. and Reisinger, C.: Well-posedness and tamed Euler schemes for McKean-Vlasov equations driven by Lévy noise, arXiv:2010.08585
Pith/arXiv arXiv 2010
- [34]
-
[35]
Schuh, K.: Global contractivity for Langevin dynamics with distribution-dependent forces and uniform in time propagation of chaos,Ann. Inst. Henri Poincaré Probab. Stat., 60 (2024), 753–789
work page 2024
-
[36]
Shao, J., Tian, T. and Wang, S.: Conditional McKean-Vlasov SDEs with jumps and Markovian regime- switching: wellposedness, propagation of chaos, averaging principle,J. Math. Anal. Appl., 534 (2024), paper no. 128080, 17 pp
work page 2024
-
[37]
Sznitman, A.S.: Topics in Propagation of Chaos, Springer, Berlin, 1991
work page 1991
-
[38]
Wang, F.-Y. and Ren, P.:Distribution Dependent Stochastic Differential Equations, World Scientific Publish- ing Co. Pte. Ltd., Hackensack, NJ, 2025
work page 2025
-
[39]
Wang, F.-Y.: Exponential ergodicity for non-dissipative McKean-Vlasov SDEs,Bernoulli, 29 (2023), 1035– 1062
work page 2023
This paper was first reviewed by deepseek-v4-flash on August 5, 2026.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.