REVIEW 4 major objections 5 minor 24 references
Killed path-dependent McKean-Vlasov SDEs for a probabilistic representation of non-conservative McKean PDEs
T0 review · 4 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read The paper proves that the survivor law of a killed McKean–Vlasov diffusion is a weak solution of a non-conservative, path-dependent reaction-diffusion PDE.
desk verdict Killed path-dependent McKean-Vlasov representation of a non-conservative PDE: plausible core, real and repairable proof gaps, worth a serious referee. 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
Two devices carry the argument. The first is the representation of the killing time as the first jump of a time-changed Poisson process with compensator $\Lambda_t = \int_0^t \lambda c_0 \exp(-\lambda \int_0^s K*\nu_r(X_s)\,dr)\,ds$; this places the reaction term inside Itô's formula as a jump term. The second is the lifted process $(X,\Lambda)$ together with the map $\Phi(\mu)(dx)=\int_{\mathbb{R}^2} e^{-y} \mu(dx,dy)$, which converts sub-probability measures on $\mathbb{R}$ into genuine probability measures on $\mathbb{R}^2$. The lifted formulation turns the non-conservative problem into a standard McKean–Vlasov fixed point: bounding the Wasserstein distance $D^2_t$ between two solutions yields a Gronwall inequality, hence pathwise uniqueness, and Yamada–Watanabe upgrades this to strong existence. The uniform bounds $m$ and $M$ on the denominator in the drift coefficients are what keep those coefficients bounded and Lipschitz, so the contraction estimates close.
What would settle it
Simulate the killed particle system with a Gaussian mollifier, form the empirical density of the survivors as $N$ grows, and evaluate the residual in the weak formulation of Theorem 3.2 for several smooth test functions: a residual that does not vanish as $N\to\infty$ would refute the representation. A preliminary probe is to track $\varphi_0 + \varphi_1 c_0 \exp(-\lambda \int_0^t K*\rho(\cdot,x)(s)\,ds)$: if it reaches zero before $T$, the boundedness premise behind the existence theorems has failed.
Extended reading notes
Core claim
At its core, the paper establishes that the non-conservative, path-dependent reaction-diffusion PDE (1),(4) is the macroscopic image of a killed McKean–Vlasov diffusion. If $X$ solves (5) with killing time (7), then $\nu_t := P(X_t \in \cdot, t<\tau)$ is a sub-probability measure, and it has a density $v(t,\cdot)$. Theorem 3.2 shows that this density satisfies the weak formulation of the PDE, displayed as the identity between $\int f\,d\nu_t$ and the sum of the initial term, the diffusion term, the drift term, and the reaction term $-\int_0^t \int f\, \lambda c_0 e^{-\lambda K*v(\cdot,x)(s)} v(s,x)\,dx\,ds$. Theorem 2.8 gives a strong, pathwise unique solution of the killed equation, and Proposition 4.1 gives the same well-posedness for the finite system of surviving particles. The construction is offered as the microscopic counterpart of the authors' earlier Feynman–Kac representation of the same PDE in [21].
Load-bearing premise
Everything rests on the denominator in the drift staying bounded away from zero throughout [0,T]; if the parameters and the evolving density let it approach zero, the drift becomes unbounded and the existence and uniqueness proofs fall apart.
Editorial extensions
If this is right
- A direct corollary of Theorem 3.2 is existence of a weak solution of the non-conservative, path-dependent PDE (1),(4), exhibited as the marginal density of the killed diffusion rather than obtained by PDE methods.
- Theorem 2.8 makes the killed McKean–Vlasov SDE a legitimate object for simulation: pathwise uniqueness in law means numerical schemes for (5),(7) have a well-defined target.
- Proposition 4.1 validates the finite particle system of survivors as a well-posed approximation of the same sub-probability law, so the empirical measure of alive particles is a principled Monte Carlo estimator of the PDE solution.
- Because the proofs use only boundedness and Lipschitz continuity of the coefficients, the representation extends to any advection and reaction terms with those properties, not only the explicit exponential coefficients (4).
Reading between the lines
- A natural testable extension is the singular limit in which the mollifier width tends to zero: the authors list this as future work, and the natural conjecture is that the killed-particle laws converge to a weak solution of the unregularized sulphation PDE (38).
- The SDE uniqueness proof suggests a route to PDE uniqueness that the paper itself does not take: two weak solutions arising as densities of killed-diffusion laws would have to coincide by the Wasserstein contraction in Proposition 2.7.
- The standing assumption that the drift denominator stays bounded away from zero can be probed numerically for negative $\varphi_1$ and concentrated initial data; finding parameters where it hits zero would mark the boundary of the theory and predict a finite-time breakdown of the particle model.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies a killed McKean-Vlasov SDE whose coefficients depend on the time-integrated, spatially mollified law of the surviving process, with a killing time governed by a state-dependent exponential intensity. The main results are: pathwise strong existence and uniqueness for the killed SDE (Theorem 2.8, via the auxiliary lifted system in Proposition 2.7); existence of an L^p density for the sub-probability law and identification of that density as a weak solution of the non-conservative path-dependent PDE (Theorems 3.1 and 3.2); and well-posedness of the associated finite particle system (Proposition 4.1). The coefficient class is the specific family (4), and the paper positions itself as a probabilistic complement to the authors' earlier Feynman-Kac representation in [21].
Significance. If the proofs are completed, the paper would give a natural killed-process representation of a non-conservative, path-dependent reaction-diffusion PDE, and it would unify the strong-solution and density approaches with the earlier analytic representation. The construction of the killing time through an inhomogeneous Poisson time-change and the lift to an R^2-valued system are clean ideas, and the particle-system well-posedness is a useful complement. The paper also states clear boundedness and Lipschitz conditions under which the main results are claimed to extend to general coefficients. However, several load-bearing estimates are incomplete or false as written: the sign bound (17), the contraction argument in Proposition 2.7, and the Girsanov step in Theorem 3.1 all need repair before the central claims are supported. The uniform lower bound on the denominator in (4) is also an unproved assumption on the data.
major comments (4)
- [Section 2.1, eq. (17)] The bound 0 ≤ ∇K*ρ(·,x)(t) ≤ M'_K T is false for any C^1 probability kernel K, because ∫_R ∇K(z) dz = 0 and ∇K changes sign; for the Gaussian kernel, for example, the convolution can be negative where ρ has mass on one side of x. This is not cosmetic: Proposition 2.3 applies Proposition 2.2 with y and y' assumed to lie in R_+^0, and Proposition 2.7 uses the same nonnegativity through (22)-(23). The argument can likely be repaired by replacing the false lower bound with |∇K*ρ(·,x)(t)| ≤ M'_K T and proving the Lipschitz estimate for b on the symmetric box x ∈ [0, M_K T], y ∈ [-M'_K T, M'_K T], where ∂_y b is bounded by a constant depending on exp(λ M_K M'_K T^2). As written, the proof of Proposition 2.3 rests on a false premise, and Proposition 4.1 inherits the same issue when it invokes Proposition 2.3 for the empirical density.
- [Section 2.2, Proposition 2.7] The contraction argument for existence is incomplete. The equality D_T^2(Θ(eµ), Θ(eµ')) = D_T^2(eµ, eµ') in (28) is asserted before eµ and eµ' are known to be fixed points of Θ; the iteration argument requires instead a stability estimate for D_T(Θ(m), Θ(n)) for arbitrary input measures m and n, which is not derived. Moreover, Lemma 2.6 is applied to D_t^2(eµ, eµ') with eµ, eµ' laws on R^2, while the bound in (25) controls only |eX_a - eX'_a| and not the displacement of the eΛ-coordinate; without an additional estimate for the second component, inequality (26) does not follow. These gaps propagate to Theorem 2.8, whose proof is presented as a direct consequence of Proposition 2.7.
- [Section 3, Theorem 3.1] The proof of density existence is not valid as written. The inequality H_t(f) ≤ E[f(eX_t)] is asserted for arbitrary f ∈ C_c^∞, which is false for signed f; the correct starting point is |H_t(f)| ≤ E[|f(eX_t)|]. In addition, equation (31) expresses E_P[f(eX_t)] as E_P[f(X_0 + √2 W_t)(Z_T)^{-1}], but the Girsanov transformation with the displayed density gives, on the path-space level, an expectation of f at the Brownian motion under Q multiplied by Z_T^{-1}; the reduction to a simple product of f(X_0 + √2 W_t) with (Z_T)^{-1} is not justified and appears to have the wrong density direction. The L^q bound may be recoverable by a different argument, but as written the continuity estimate (30) for H_t is not established.
- [Equation (4) and following paragraph] The uniform lower bound m > 0 for φ0 + φ1 c0 exp(-λρ(·,x)(t)) is assumed for the PDE solution, but no explicit conditions on φ0, φ1, c0, ρ0, and T are given that guarantee it; if φ1 is negative and the denominator approaches zero along the evolution, the drift b is unbounded and Proposition 2.2 fails. This premise is load-bearing because boundedness and Lipschitz continuity of b are used in Propositions 2.3, 2.7, and 4.1. Since Theorem 3.2 constructs v only later, the paper cannot simply assert the bound a priori; it needs either explicit parameter hypotheses ensuring m > 0 or a proof that the measure constructed by the SDE keeps the denominator uniformly positive.
minor comments (5)
- [Section 2, eq. (5)] The notation I(τ,T) := [0,τ) ∪ [0,T] is tautological and equals [0,T]; the intended interval is probably [0,τ) ∩ [0,T] or a similar convention, as used in Section 4.
- [Proposition 2.7, exponential estimate] In bounding A1, the proof replaces exp(|y_u - y'_u|) by 1 + |y_u - y'_u| without an exponential factor; since |y_u - y'_u| ≤ λc0T, the correct bound has an additional factor e^{λc0T}. This is a missing constant rather than a conceptual error.
- [Section 5, eq. (38)] The reaction term in the unregularized model appears to be missing the exponential: the intended term is λc0 e^{-λρ(·,x)(t)} ρ(t,x), not λc0(-λρ(·,x)(t))ρ(t,x).
- [Definition 2.1] The definition of a smooth mollifier requires boundedness and Lipschitz continuity of K and ∇K but does not require ∇K ∈ L^1(R); since K is a probability density, one can assume integrability of ∇K if needed for the convolution estimates, and this should be stated explicitly.
- [Notation throughout Section 2] The process eX is sometimes one-dimensional and sometimes the two-dimensional pair (eX, eΛ); for instance, in Proposition 2.7 the map Θ is said to satisfy Θ(eµ) = L(eX) where eX is the R^2-valued solution. The notation should be made consistent, for example by writing X = (X, Λ).
Circularity Check
No significant circularity: the killed-SDE/PDE representation is derived by Itô calculus from an independently defined McKean–Vlasov equation, and the [21] self-citations supply explicit coefficient estimates rather than the target result.
full rationale
The central claim is not circular by construction. The sub-probability law ν_t is defined as the law of the killed SDE (5),(7), not as the solution of PDE (1),(4); the identity (8)/(12) is a McKean–Vlasov fixed-point equation whose well-posedness is proved in Section 2 via the lifted system (19)–(20), and Theorem 3.2 derives the weak PDE formulation from Itô's formula and the compensator of the killing Poisson process. This is a genuine derivation, not a restatement of the input: nothing in the definition of the SDE or the stopping time presupposes the PDE solution. The paper does rely on the same authors' earlier work [21] for Proposition 2.2 and for the uniqueness-in-law proof pattern, but those citations concern elementary boundedness/Lipschitz estimates of the explicit coefficient b and a standard weak-uniqueness argument; they do not assume the killed-SDE well-posedness or the PDE representation as premises, so under the stated rules they are independent support rather than circular self-citation. The sign flaw in (17) — asserting 0 ≤ ∇K*ρ(·,x)(t) although ∇K integrates to zero and changes sign — is a substantive mathematical gap in a load-bearing estimate, but it is not a circular identification: the paper does not define ∇K*ρ as nonnegative or fit it to the conclusion it is used to prove. In short, no step reduces to its own input by construction or by a self-citation chain.
Assumptions & free parameters
assumptions (5)
- domain assumption The denominator φ0 + φ1 c0 exp(-λ ρ(·,x)(t)) is bounded below by m and above by M for all t,x, where ρ solves (1),(4).
- domain assumption K is a smooth mollifier satisfying Definition 2.1: smooth, bounded first and second derivatives, Lipschitz K and ∇K, and integrates to 1.
- domain assumption Z is Exp(1) and independent of X and W.
- domain assumption The initial data satisfy ρ0 in L2(R) ∩ Cb(R), E|ζ0|^2 < ∞, and ν0 = ρ0 dx.
- standard math Standard theorems in stochastic analysis are used as black boxes: Girsanov with Novikov, Riesz representation, Grönwall's lemma, Yamada-Watanabe, and Wasserstein-space fixed point.
Cite this review
Pith. "Pith review of Killed path-dependent McKean-Vlasov SDEs for a probabilistic representation of non-conservative McKean PDEs." pith.science (2026). https://pith.science/paper/GNKTY4IZ
@misc{pith2026250723353,
author = {Pith},
title = {Pith review of: Killed path-dependent McKean-Vlasov SDEs for a probabilistic representation of non-conservative McKean PDEs},
year = {2026},
howpublished = {\url{https://pith.science/paper/GNKTY4IZ}},
note = {Machine review of arXiv:2507.23353}
}
read the original abstract
A McKean-Vlasov stochastic differential equation subject to killing associated to a regularised non-conservative and path-dependent nonlinear parabolic partial differential equation is studied. The existence and pathwise uniqueness of a strong solution and the regularity properties of its sub-probability law are proved. The density of such a law may be seen as a weak solution of the considered PDE. The well-posedness of the associated particle system is also discussed.
Reference graph
Works this paper leans on
-
[21]
D. Morale, L. Tarquini, and S. Ugolini. A probabilistic interpretation of a non-conservative and path-dependent nonlinear reaction-diffusion system for the marble sulphation in Cul- tural Heritage. 2024. arXiv: 2407.19301 [math.PR]
work page Pith review arXiv 2024
-
[1]
G. Al ` ı, V. Furuholt, R. Natalini, and I. Torcicollo. “A mathematical model of sulphite chemical aggression of limestones with high permeability. Part I. Modeling and qualitative analysis”. In: Transport in Porous Media 69.1 (2007), pp. 109–122
work page 2007
-
[2]
G. Al ` ı, V. Furuholt, R. Natalini, and I. Torcicollo. “A mathematical model of sulphite chemical aggression of limestones with high permeability. Part II. Numerical approxima- tion, Transport in Porous Media”. In: Transport in Porous Media 69.1 (2007), pp. 175– 188
work page 2007
-
[3]
Randomness in a nonlinear model of sulphation phenomena
F. Arceci, L.M. Giordano, M. Maurelli, D. Morale, and S. Ugolini. “Randomness in a nonlinear model of sulphation phenomena”. In: MACH2021. Mathematcal Modeling in Cultural Heritage. Ed. by G. Bretti, C. Cavaterra, M. Solci, and M. Spagnuolo. Springer Nature, 2023
work page 2023
-
[4]
A reaction diffusion model with a stochastic boundary condition
F. Arceci, M. Maurelli, D. Morale, and S. Ugolini. “A reaction diffusion model with a stochastic boundary condition”. In: Mathematical Modeling in Cultural Heritage . Ed. by G. Bretti, C. Cavaterra, M. Solci, and M. Spagnuolo. Springer Nature Singapore, 2025, pp. 1–16
work page 2025
- [5]
-
[6]
Francesca Arceci, Francesco Carlo De Vecchi, Daniela Morale, and Stefania Ugolini. Dis- crete reaction-diffusion systems with stochastic dynamical boundary conditions: conver- gence results. 2025. arXiv: 2507.09278
work page Pith review arXiv 2025
-
[7]
D. Aregba-Driollet, F. Diele, and R. Natalini. “A Mathematical Model for the Sulphur Dioxide Aggression to Calcium Carbonate Stones: Numerical Approximation and Asymp- totic Analysis”. In: SIAM Journal on Applied Mathematics 64.5 (2004), pp. 1636–1667
work page 2004
Show all 24 references
-
[8]
A nonlinear model for marble sulphation including surface rugosity and mechanical damage
E. Bonetti, C. Cavaterra, F. Freddi, M. Grasselli, and R. Natalini. “A nonlinear model for marble sulphation including surface rugosity and mechanical damage”. In: Nonlinear Analysis: Real World Applications 73 (2023), p. 103886
2023
-
[9]
A nonlinear model for marble sulphation including surface rugosity: theoretical and numerical results
E. Bonetti, C. Cavaterra, F. Freddi, M. Grasselli, and Natalini R. “A nonlinear model for marble sulphation including surface rugosity: theoretical and numerical results”. In: Communications on Pure & Applied Analysis 18.2 (2019), pp. 977–998
2019
-
[10]
H. Brezis. Functional Analysis, Sobolev Spaces and Partial Differential Equations. Springer New York, NY, 2010
2010
-
[11]
Global existence of solutions to a nonlinear model of sulphation phenomena in calcium carbonate stones
F. R. Guarguaglini and R. Natalini. “Global existence of solutions to a nonlinear model of sulphation phenomena in calcium carbonate stones”. In: Nonlinear Anal. Real World Appl. 6.3 (2005), pp. 477–494. issn: 1468-1218,1878-5719
2005
-
[12]
Fast reaction limit and large time behavior of so- lutions to a nonlinear model of sulphation phenomena
F. R. Guarguaglini and R. Natalini. “Fast reaction limit and large time behavior of so- lutions to a nonlinear model of sulphation phenomena”. In: Comm. Partial Differential Equations 32.1-3 (2007), pp. 163–189
2007
-
[13]
Hambly and P
B. Hambly and P. Jettkant. Control of McKean-Vlasov SDEs with Contagion Through Killing at a State-Dependent Intensity . 2023
2023
-
[14]
McKean Feynman-Kac Probabilistic Repre- sentations of Non-linear Partial Differential Equations
L. Izydorczyk, N. Oudjane, and F. Russo. “McKean Feynman-Kac Probabilistic Repre- sentations of Non-linear Partial Differential Equations”. In: Geometry and Invariance in Stochastic Dynamics. Springer International Publishing, 2021, pp. 187–212
2021
-
[15]
J¨ averg ˚ ard, D
J. J¨ averg ˚ ard, D. Morale, A. Muntean, G. Rui, and S. Ugolini.A hybrid model of sulphation reactions: stochastic particles in a random continuum environment . 2025. arXiv: 2503. 01856
2025
-
[16]
Karatzas and S.E
I. Karatzas and S.E. Shreve. Brownian Motion and Stochastic Calculus . Springer New York, NY, 1991. 18
1991
-
[17]
Probabilistic representation of a class of non conservative nonlinear Partial Differential Equations
A. Lecavil, N. Oudjane, and F. G. Russo. “Probabilistic representation of a class of non conservative nonlinear Partial Differential Equations”. In: ALEA, Lat. Am. J. Probab. Math. Stat. (2016), pp. 1189–1233
2016
-
[18]
Well-posedness of a reaction–diffusion model with stochastic dynamical boundary conditions
M. Maurelli, D. Morale, and S. Ugolini. “Well-posedness of a reaction–diffusion model with stochastic dynamical boundary conditions”. In: Stochastic Processes and their Applications 186 (2025), p. 104646
2025
-
[19]
A propagation of chaos result for a system of particles with moderate interaction
S. Meleard and S. Roelly-Coppoletta. “A propagation of chaos result for a system of particles with moderate interaction”. In: Stochastic Processes and their Applications 26 (1987), pp. 317–332. issn: 0304-4149
1987
-
[20]
A stochastic interacting particle model for the marble sulphation process
D. Morale, G. Rui, and S. Ugolini. “A stochastic interacting particle model for the marble sulphation process”. In: Mathematical Modeling in Cultural Heritage . Ed. by G. Bretti, C. Cavaterra, M. Solci, and M. Spagnuolo. Springer Nature Singapore, 2025, pp. 17–34
2025
-
[22]
Morale, L
D. Morale, L. Tarquini, and S. Ugolini. A mesoscale particle system with killing: conver- gence to a nonlinear non-conservative and path-dependent PDE (in preparation) . 2025
2025
-
[23]
On a probabilistic interpretation of the Keller-Segel parabolic-parabolic equations
M. Tomaˇ sevi´ c. “On a probabilistic interpretation of the Keller-Segel parabolic-parabolic equations”. PhD thesis. Universit´ e Cˆ ote d’Azur, 2018
2018
-
[24]
C. Villani. Optimal Transport. Old and New . Springer Berlin, Heidelberg, 2008. 19
2008
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.