Pith. sign in

REVIEW 2 major objections 5 minor 25 references

A criterion for the well-posedness of McKean-Vlasov stochastic differential equations

T0 review · 2 major / 5 minor · reviewed 2026-07-31 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read McKean–Vlasov SDEs are strongly well-posed under a distribution-dependent Lyapunov condition plus a hybrid Perron–Nagumo increment bound that allows a non-integrable singularity at time zero.

desk verdict Solid sufficient well-posedness criterion for MVSDEs; the existence route is the real novelty, uniqueness is cleanly restricted to the Lyapunov class. read the letter →

arxiv 2607.28078 v1 pith:FPXT6TFN submitted 2026-07-30 math.PR

Zhenxin Liu , Ziting Liu This is my paper · ORCID
classification math.PR MSC 60H1060H20
keywords McKean–VlasovSDEpathwiseuniquenessstrongexistencePerron-typeconditionNagumo-typedistribution-dependentLyapunovfunctionYamada–Watanabemean-field
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper gives a criterion for strong existence and pathwise uniqueness of McKean–Vlasov stochastic differential equations when the coefficients need not be Lipschitz, Osgood, or monotone. The coefficients are controlled by a distribution-dependent Lyapunov function that localizes growth, together with a hybrid Perron–Nagumo condition on increments in both the state and the law that allows a non-integrable weight near the initial time. Pathwise uniqueness is proved inside the class of strong solutions whose integrated Lyapunov functional stays finite. Existence is obtained by truncating on nested domains, building absorbed local weak solutions, passing to a global weak solution by tightness, and converting to a strong solution with a restricted Yamada–Watanabe theorem. An explicit one-dimensional example meets the new criterion while violating the classical Lipschitz, Osgood, and monotonicity conditions, so the result genuinely enlarges the known well-posedness range for mean-field SDEs.

What carries the argument

The hybrid Perron–Nagumo condition (H4): it bounds squared increments of drift and diffusion by a concave modulus plus a possibly non-integrable weight u′/u near t=0, then reduces pathwise uniqueness to an ODE comparison whose only solution through the origin is zero; existence is carried by absorbed Euler concatenations, tightness, and a restricted Yamada–Watanabe map on the Lyapunov-admissible class.

What would settle it

Either exhibit two distinct strong solutions of the example SDE that both keep the integrated Lyapunov functional finite, or produce coefficients satisfying (H1)–(H4) for which no strong solution with finite Lyapunov mass exists on [0,T].

Watch

Extended reading notes

Core claim

Under local boundedness and continuity, a coercive integrated Lyapunov condition, and a hybrid Perron–Nagumo increment condition, a McKean–Vlasov SDE admits a strong solution whose integrated Lyapunov functional stays bounded on a fixed time horizon, and that solution is pathwise unique among all strong solutions satisfying the same Lyapunov bound.

Load-bearing premise

Uniqueness holds only among solutions whose integrated Lyapunov functional stays finite; if two strong solutions blow that bound, the criterion says nothing.

Editorial extensions

If this is right

  • Mean-field SDEs whose coefficients fail Lipschitz, Osgood, and monotonicity can still be strongly well-posed if they obey a distribution-dependent Lyapunov bound and the hybrid Perron–Nagumo increment condition.
  • Pathwise uniqueness is guaranteed inside the Lyapunov-admissible class even when the modulus of continuity carries a non-integrable singularity at the initial time.
  • Existence for McKean–Vlasov equations can be obtained by absorbed local weak solutions and tightness without classical pathwise truncation-and-patching, which breaks self-consistency of the law.
  • The restricted Yamada–Watanabe principle converts a compatible Lyapunov-admissible weak solution into the unique strong solution on any prescribed stochastic basis with the same initial law.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same Lyapunov-plus-Perron–Nagumo package may extend to McKean–Vlasov equations with jumps or path-dependent coefficients once an analogous absorbed weak-solution construction is available.
  • Because uniqueness is only inside the Lyapunov class, numerical schemes that preserve a discrete Lyapunov bound would automatically select the unique strong solution the theorem identifies.
  • The law-based absorption limit (rather than pathwise patching) could be reused for other distribution-dependent problems where truncating the state changes the measure argument of the coefficients.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. The paper proves strong existence and pathwise uniqueness for McKean–Vlasov SDEs (2.1) under a distribution-dependent Lyapunov package (H1)–(H3) together with a hybrid Perron–Nagumo increment condition (H4) that allows a non-integrable singular weight u'/u near t=0. Pathwise uniqueness is established inside the class of strong solutions with uniformly bounded integrated Lyapunov functional (3.11). Existence is obtained by truncating coefficients on nested domains Dk, building absorbed one-step weak solutions, concatenating them (Lemma 3.1), passing to absorbed Euler limits (Lemma 3.2), removing absorption by tightness and Borel–Cantelli, and upgrading the resulting compatible weak solution to a strong solution via a restricted Yamada–Watanabe theorem (Lemma 3.3). An explicit one-dimensional example satisfies (H1)–(H4) while violating Lipschitz, Osgood, and standard monotonicity conditions.

Significance. The work usefully extends classical Perron–Nagumo uniqueness criteria from ordinary SDEs to the McKean–Vlasov setting and pairs them with Lyapunov localization in the measure variable. The existence route—absorbed local weak solutions plus tightness, rather than path-space truncation-and-patching—is a genuine alternative that addresses the self-consistency obstruction that arises when one truncates the state of a distribution-dependent equation. The restricted Yamada–Watanabe lemma (Lemma 3.3) is carefully adapted to the Lyapunov-admissible class KV. The example in Section 4 is concrete and cleanly separates (H4) from Lipschitz, Osgood, and monotonicity. If the arguments hold as written, the criterion is a solid addition to the well-posedness literature for mean-field SDEs.

major comments (2)
  1. [Theorem 3.4 proof, existence half] End of the proof of Theorem 3.4 (existence half): compatibility of the limiting weak solution (X̃,B̃) is asserted in a single short paragraph by noting that the filtration is the augmentation of the one generated by (X̃,B̃). Lemma 3.3 makes compatibility a load-bearing hypothesis for the upgrade to a strong solution. A brief but explicit verification that future Brownian increments remain independent of F̃t (or a pointer to the precise statement in Carmona–Delarue used) would make this step checkable without external reconstruction.
  2. [Lemma 3.2; Theorem 3.4(ii)] Lemma 3.2 and the subsequent global limit: after Skorokhod, the indicator 1{r<θ̃k} tends to 1 almost surely, and the martingale problem is identified using uniform integrability from (H2) and the Lyapunov bound (3.29). Because (H1) only gives local boundedness, it would help to record explicitly that the limiting integrands b(r,X̃(r),μ̃(r)) and σ belong to L1/L2 on [0,T] via the growth (3.8) and Fatou, so that the stochastic integral is well-defined as an Itô integral (not merely a local martingale). This is implicit but load-bearing for Definition 2.1.
minor comments (5)
  1. [Definition 2.2] Definition 2.2 presupposes that the one-sided derivatives D± exist everywhere on [0,t0]. A one-line remark that upper/lower functions are taken in the class where these derivatives exist (as in the cited ODE work) would avoid a pedantic objection.
  2. [(H4); Remark 3.5] In (H4) the constant α is defined with the factor 4α1(T∨1)u(T)/(1−4α2(T∨1)). Remark 3.5 correctly notes that the signed-drift variant removes the T∨1 factor; cross-referencing that remark already in the statement of (H4) would help the reader track the constants.
  3. [Figure 1 caption] Figure 1 is helpful conceptually but is only sketched in text. If the journal allows, a simple diagram of the absorbed paths versus the limiting path would clarify the “law-based approximation” slogan.
  4. [Introduction; throughout] Typos/notation: “ana priori” in the Introduction; occasional spacing in operator names (e.g., LX(t)); and the date line “July 31, 2026” looks like a placeholder.
  5. [Section 4] The example verifies (H3) by a one-line appeal to Young and boundedness. Expanding the computation of LV for V(t,x,μ)=|x|2+μ(|·|2) by a few lines would make the example fully self-contained.

Circularity Check

1 steps flagged · score 1.0 of 10

No significant circularity: Theorem 3.4 is derived from stated hypotheses (H1)–(H4) via standard SDE tools; self-citations supply comparison lemmas, not the target claim.

  1. self citation load bearing [Proof of Theorem 3.4(i), after (3.16)–(3.17)]
    "Proposition 2.2 of [17] therefore gives a solution of (3.16). We denote its maximum solution by zε, with zε(0)=0. ... Applying [17, Proposition 2.3] to (3.17), we obtain a function z0(t) which is the maximum solution of (3.16) for ε=0 on [0,T] and zε(t) converges uniformly to z0(t) on [0,T] as ε→0. Since (H4) asserts that z0(t)≡0 is the unique solution..."

    The ODE comparison that closes pathwise uniqueness invokes Propositions 2.2–2.3 of the authors’ own prior paper [17]. Those propositions are external lemmas about upper/lower functions for scalar ODEs; they are not restatements of the McKean–Vlasov well-posedness claim. The reduction is therefore ordinary citation of a technical tool, not a circular forcing of the target theorem. Flagged only because it is the sole self-citation that participates in the uniqueness argument.

full rationale

The central result (Theorem 3.4) asserts strong existence and pathwise uniqueness inside the Lyapunov-admissible class under explicit assumptions (H1)–(H4). Uniqueness follows from an L2 estimate on the difference process, reduction to a scalar integral inequality for ζ, and an ODE comparison that uses the hybrid Perron–Nagumo modulus in (H4) together with upper/lower-function arguments taken from the authors’ prior ODE/SDE uniqueness paper [17]. Existence is constructed independently: nested-domain truncation, absorbed one-step weak solutions (Lemmas 3.1–3.2), tightness/Skorokhod passage to a compatible weak solution in KV, and a restricted Yamada–Watanabe principle (Lemma 3.3, after Kurtz). The self-citations ([17] for the comparison propositions, [18] for Lyapunov context) are ordinary inputs; they do not restate or force Theorem 3.4. There are no fitted parameters presented as predictions, no self-definitional identities, and no uniqueness theorem imported solely to forbid alternatives to the present claim. The restriction of uniqueness to the class {sup V < ∞} is stated explicitly in the abstract, the theorem, and the proof, so it is a scope limitation rather than a circular reduction. Score 1 reflects only the minor, non-load-bearing self-citation of comparison lemmas.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

Load-bearing content is the four structural hypotheses (H1)–(H4) plus standard stochastic-analysis machinery. No numerical free parameters are fitted. No new physical entities are postulated; the ‘hybrid Perron–Nagumo condition’ and the Lyapunov functional are analytic assumptions, not invented objects with independent ontology.

assumptions (6)
  • standard math Joint Itô chain rule for functions of (t,x,law) as in Carmona–Delarue Prop. 5.102 (Proposition 2.4), including L-differentiability and moment bounds on Lions derivatives.
    Used to define the generator L and the integrated Lyapunov identity (2.2)–(2.5) throughout uniqueness and existence.
  • standard math Kurtz compatibility framework and restricted Yamada–Watanabe principle (Lemma 3.3, citing Kurtz 2014).
    Converts a compatible KV-admissible weak solution plus pathwise uniqueness in that class into a unique strong solution via a non-anticipative map Φ.
  • domain assumption (H1)–(H3): local boundedness/continuity on sublevel sets of a coercive V0, coercivity/growth of V, and localized integrated Lyapunov inequality with integrable ρ,η.
    These close moment bounds, tightness, and the uniform Lyapunov estimate CV(T) needed for both existence and the uniqueness class.
  • domain assumption (H4): hybrid Perron–Nagumo increment bound with α2 small, modulus ω concave nondecreasing, weight u′/u possibly non-integrable at 0, and x≡0 the unique solution of x′=F(t,x), plus existence of a C1 upper function for F.
    This is the novel uniqueness engine; without unique zero solution of the comparison ODE, the ζ≡0 argument fails.
  • standard math One-step weak existence for bounded continuous frozen-law coefficients on compact domains (Stroock–Varadhan) and Jankov–von Neumann universally measurable selection for concatenation (Lemma 3.1).
    Foundation of the absorbed local weak solutions used before the Euler-limit and global tightness steps.
  • standard math ODE comparison via lower/upper functions as in Liu–Liu [17, Props. 2.2–2.3], extended by continuous extension of F off [0,T].
    Closes pathwise uniqueness after the integral inequality for ζ is obtained from (H4).

how reviews work

0 comments
Cite this review

Pith. "Pith review of A criterion for the well-posedness of McKean-Vlasov stochastic differential equations." pith.science (2026). https://pith.science/paper/FPXT6TFN

@misc{pith2026260728078,
  author       = {Pith},
  title        = {Pith review of: A criterion for the well-posedness of McKean-Vlasov stochastic differential equations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/FPXT6TFN}},
  note         = {Machine review of arXiv:2607.28078}
}
read the original abstract

We establish strong existence and pathwise uniqueness for McKean-Vlasov stochastic differential equations with coefficients satisfying a distribution-dependent Lyapunov condition. Under a hybrid Perron-Nagumo condition that permits a non-integrable singularity at the initial time, pathwise uniqueness holds within the class of strong solutions satisfying the corresponding Lyapunov estimate. For existence, we truncate the coefficients on nested bounded domains, construct absorbed local weak solutions, pass to a weak solution via tightness arguments, and then apply a restricted Yamada-Watanabe theorem to obtain a strong solution. Our existence proof, different from the classical truncation-patching method, is interesting in its own right. We also provide an explicit example to which our criterion applies, while none of the Lipschitz, Osgood, or monotonicity conditions is satisfied.

Figures

Figures reproduced from arXiv: 2607.28078 by the authors.

Figure 1
Figure 1. A schematic of the law-based approximation. The process X˜ k is absorbed at ˜θk, whereas no pathwise agreement between X˜ k and X˜ is imposed. The limiting procedure relies on convergence in law, LX˜ k ⇒ LX˜ as k → ∞. (H2) and (3.29) give uniform integrability of the squared coefficients. We now identify the limiting martingale problem. Let (Fˆ s)1≤s≤T +1 be the usual augmentation of the canonical filtration generat… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

25 extracted references · 1 linked inside Pith

  1. [1]

    Augustynowicz, Some remarks on comparison functions,Ann

    A. Augustynowicz, Some remarks on comparison functions,Ann. Pol. Math.96(2009), 97–106

    2009

  2. [2]

    Bahlali, M

    K. Bahlali, M. A. Mezerdi and B. Mezerdi, Stability of McKean-Vlasov stochastic differential equations and applications,Stoch. Dyn.20(2020), no. 1, 2050007, 19 pp

    2020

  3. [3]

    Billingsley,Convergence of Probability Measures, 2nd ed., Wiley Series in Probability and Statistics, Wiley, New York, 1999

    P. Billingsley,Convergence of Probability Measures, 2nd ed., Wiley Series in Probability and Statistics, Wiley, New York, 1999

    1999

  4. [4]

    R. A. Carmona and F. Delarue,Probabilistic Theory of Mean Field Games with Applications. I, Probability Theory and Stochastic Modelling,83, Springer, Cham, 2018

    2018

  5. [5]

    K. L. Chung and R. J. Williams,Introduction to Stochastic Integration, second edition, Modern Birkh¨ auser Classics, Birkh¨ auser/Springer, New York, 2014

    2014

  6. [6]

    Constantin, A uniqueness criterion for ordinary differential equations,J

    A. Constantin, A uniqueness criterion for ordinary differential equations,J. Differential Equations342 (2023), 179–192

    2023

  7. [7]

    Erny, Well-posedness and propagation of chaos for McKean-Vlasov equations with jumps and locally Lipschitz coefficients,Stochastic Process

    X. Erny, Well-posedness and propagation of chaos for McKean-Vlasov equations with jumps and locally Lipschitz coefficients,Stochastic Process. Appl.150(2022), 192–214

    2022

  8. [8]

    Galeati, F

    L. Galeati, F. A. Harang and A. Mayorcas, Distribution dependent SDEs driven by additive continuous noise,Electron. J. Probab.27(2022), Paper No. 37, 38 pp

    2022

Show all 25 references
  1. [9]

    W. Hong, S. Hu and W. Liu, McKean-Vlasov SDE and SPDE with locally monotone coefficients,Ann. Appl. Probab.34(2024), no. 2, 2136–2189

    2024

  2. [10]

    Ikeda and S

    N. Ikeda and S. Watanabe,Stochastic Differential Equations and Diffusion Processes, second edition, North-Holland Mathematical Library, 24, North-Holland, Amsterdam; Kodansha, Tokyo, 1989

    1989

  3. [11]

    C. T. Ionescu Tulcea, Mesures dans les espaces produits,Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Nat.(8)7(1949), 208–211

    1949

  4. [12]

    Kac, Foundations of kinetic theory

    M. Kac, Foundations of kinetic theory. InProceedings of the Third Berkeley Symposium on Mathematical Statistics and Probability, 1954–1955,vol. III, pp. 171–197, Univ. California Press, Berkeley–Los Angeles, California, 1956

    1954

  5. [13]

    Kalinin, T

    A. Kalinin, T. Meyer-Brandis and F. N. Proske, Stability, uniqueness and existence of solutions to McKean-Vlasov SDEs: a multidimensional Yamada-Watanabe approach,Stoch. Dyn.24(2024), no. 5, Paper No. 2450039, 49 pp

    2024

  6. [14]

    A. S. Kechris,Classical Descriptive Set Theory, Springer-Verlag, New York, 1995

    1995

  7. [15]

    T. G. Kurtz, Weak and strong solutions of general stochastic models,Electron. Commun. Probab.19 (2014), no. 58, 1–16

    2014

  8. [16]

    Y. Li, X. Mao, Q. Song, F. Wu and G. Yin, Strong convergence of Euler-Maruyama schemes for McKean- Vlasov stochastic differential equations under local Lipschitz conditions of state variables,IMA J. Numer. Anal.43(2023), no. 2, 1001–1035

    2023

  9. [17]

    Liu and Z

    Z. Liu and Z. Liu, The uniqueness for a class of ordinary and stochastic differential equations,J. Differential Equations400(2024), 90–109

    2024

  10. [18]

    Liu and J

    Z. Liu and J. Ma, Existence, uniqueness and ergodicity for McKean–Vlasov SDEs under distribution- dependent Lyapunov conditions, arXiv:2309.05411 (2023), to appear in Commun. Math. Stat

    2023 arXiv

  11. [19]

    H. P. McKean, A class of Markov processes associated with nonlinear parabolic equations,Proc. Nat. Acad. Sci. U.S.A.56(1966), 1907–1911

    1966

  12. [20]

    Negrea, On the pathwise uniqueness of solutions to stochastic differential equations,J

    R. Negrea, On the pathwise uniqueness of solutions to stochastic differential equations,J. Differential Equations355(2023), 1–15

    2023

  13. [21]

    P. Ren, H. Tang and F. Y. Wang, Distribution-path dependent nonlinear SPDEs with application to stochastic transport type equations,Potential Anal.61(2024), no. 2, 379–407

    2024

  14. [22]

    D. W. Stroock and S. R. S. Varadhan,Multidimensional Diffusion Processes, Springer-Verlag, Berlin–New York, 1979

    1979

  15. [23]

    A. S. Sznitman, Topics in propagation of chaos, in ´Ecole d’ ´Et´ e de Probabilit´ es de Saint-Flour XIX—1989, 165–251,Lecture Notes in Math.,1464, Springer, Berlin, 1991

    1989

  16. [24]

    A. A. Vlasov, The vibrational properties of an electron gas,Sov. Phys. Usp.10(1968), 721–733

    1968

  17. [25]

    F. Y. Wang, Distribution dependent SDEs for Landau type equations,Stochastic Process. Appl.128 (2018), no. 2, 595–621. 22 ZHENXIN LIU AND ZITING LIU Zhenxin Liu: School of Mathematical Sciences, Dalian University of Technology, Dalian 116024, P. R. China Email address:zxliu@dl...

    2018

Pith tools

Reviewed July 31, 2026 · model on record in the stance chip above.