Regularity Estimates for Singular Density Dependent SDEs
Pith reviewed 2026-05-16 07:19 UTC · model grok-4.3
The pith
Density-dependent SDEs with singular drifts admit relative entropy estimates controlled by Wasserstein distances of initial laws.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For density dependent SDEs on R^d with drifts that are locally integrable but may be singular in the density ρ, the relative entropy between two time-marginal distributions is bounded by a constant times the squared Wasserstein distance of the initial distributions. When d=1 and the drift decays at rate t^{1/2+} near zero, this bound coincides with the classical entropy-cost inequality for elliptic diffusions. A refined Khasminskii estimate is derived to control the singular behavior.
What carries the argument
Refined Khasminskii estimate for singular density-dependent SDEs that controls the effect of singularities on entropy production.
If this is right
- Entropy estimates extend to singular density interactions.
- Renyi entropy estimates are obtained alongside relative entropy.
- The bounds provide regularity for marginal laws of these processes.
Where Pith is reading between the lines
- This may extend to regularity results for McKean-Vlasov equations with singular interactions.
- The 1D coincidence suggests the singularity does not increase entropy production beyond the classical case.
- Numerical verification could test the bound for specific singular drifts like 1/|x| type dependencies.
Load-bearing premise
The drift b_t(x,ρ(x),ρ) is locally integrable in (t,x) and the singularity in ρ is controlled sufficiently for the refined Khasminskii estimate to apply.
What would settle it
A counterexample in one dimension with drift decaying slower than t to the 1/2 power at t=0 where the relative entropy exceeds any multiple of the initial Wasserstein distance squared.
read the original abstract
Consider the density dependent (i.e. Nemytskii-type) SDEs on $\mathbb R^d$, where the drift $b_t(x,\rho(x),\rho)$ is locally integrable in $(t,x)\in [0,\infty)\times \mathbb R^d$ and may be singular in the distribution density function $\rho$. The relative/Renyi entropies between two time-marginal distributions are estimated by using the Wasserstein distance of initial distributions. When $d=1$ and $b_t$ decays at $t=0$ with rate $t^{\frac 1 2+}$, our the relative entropy estimate coincides with the classical entropy-cost inequality for elliptic diffusion processes. To estimate the Renyi entropy, a refined Khasminskii estimate is presented for singular SDEs which may be interesting by itself.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript establishes bounds on relative and Rényi entropies between time-marginal distributions of density-dependent SDEs whose drift b_t(x,ρ(x),ρ) is locally integrable but may be singular in the density ρ. These bounds are controlled by the initial Wasserstein distance. In the special case d=1 with b_t decaying at rate t^{1/2+} near t=0, the relative-entropy estimate is shown to coincide exactly with the classical entropy-cost inequality for elliptic diffusions. A refined Khasminskii lemma is derived to control the singular case.
Significance. If the derivations hold, the results extend entropy-cost inequalities to a class of singular density-dependent SDEs, with the d=1 reduction providing a direct consistency check against well-known elliptic theory. The refined Khasminskii estimate may be of independent interest for other singular SDEs.
minor comments (2)
- [Abstract] Abstract: the sentence beginning 'When d=1 and b_t decays...' contains the phrase 'our the relative entropy estimate'; this should be corrected to 'our relative entropy estimate'.
- [Abstract] The abstract states the main claims but supplies no outline of the proof architecture (e.g., how the refined Khasminskii lemma is combined with the Wasserstein control). Adding a one-sentence sketch would improve readability without lengthening the abstract.
Simulated Author's Rebuttal
We thank the referee for the positive summary, the recognition of the significance of extending entropy-cost inequalities to singular density-dependent SDEs, and the recommendation for minor revision. The report correctly identifies the main contributions, including the refined Khasminskii estimate and the one-dimensional consistency check. Since no specific major comments were raised in the report, we have no points requiring detailed rebuttal at this stage and will incorporate any minor suggestions during the revision process.
Circularity Check
No significant circularity detected
full rationale
The derivation proceeds from standard stochastic analysis: relative/Renyi entropy bounds controlled by initial Wasserstein distance, obtained via Ito calculus and a refined Khasminskii lemma under local integrability of the drift and the stated decay condition on b_t. When d=1 and t^{1/2+} decay holds, the singular terms vanish and the bound reduces exactly to the classical entropy-cost inequality; this is a direct consequence of the hypothesis rather than a self-referential fit or definition. No load-bearing self-citations, ansatzes smuggled via prior work, or parameters fitted to a subset and then relabeled as predictions appear in the stated claims. The estimates are therefore self-contained against external benchmarks in Wasserstein and entropy theory.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
- [1]
- [2]
-
[3]
Z. Hao, M. R¨ ockner, X. Zhang,Euler scheme for density dependent stochastic differ- ential equations,J. Differ. Equ. 274 (2021), 996-1014. HRW25
work page 2021
-
[4]
Entropy-Cost Inequalities for McKean-Vlasov SDEs with Singular Interactions
X. Huang, P. Ren, F.-Y. Wang,Entropy-cost inequalities for Mckean-Vlasov SDEs with singular interactions,arXiv:2505.19787. 27 IR
work page internal anchor Pith review Pith/arXiv arXiv
-
[5]
E. Issoglio, F. Russo,McKean SDEs with singular coefficients,Ann. Inst. Henri Poincar´ e Probab. Stat. 59(2023), 1530-1548. JM
work page 2023
-
[6]
B. Jourdain, S. M´ el´ eard,Propagation of chaos and fluctuations for a moderate model with smooth initial data,Ann. Inst. Henri Poinc. Probab. Stat. 34(1998), 727-766. K
work page 1998
-
[7]
R. Z. Khasminskii,On positive solutions of the equationLu+V u= 0(in Rusian), Teorija Verojat. i ee Primen. 4(1959), 309-318. MPZ
work page 1959
-
[8]
S. Menozzi, A. Pesce, X. Zhang,Density and gradient estimates for non degenerate Brownian SDEs with unbounded measurable drift, J. Differential Equations 272(2021), 330-369. R23
work page 2021
-
[9]
P. Ren,Singular McKean-Vlasov SDEs: well-posedness, regularities and Wang’s Har- nack inequality, Stochastic Process. Appl. 156(2023), 291-311. RW21
work page 2023
- [10]
-
[11]
WangSingular density dependent stochastic differential equations,J
F.-Y. WangSingular density dependent stochastic differential equations,J. Diff. Equat. 361(2023), 562–589. RW25
work page 2023
-
[12]
P. Xia, L. Xie, X. Zhang, G. Zhao,L q(Lp)-theory of stochastic differential equations, Stoch. Proc. Appl. 130(2020), 5188–5211. YZ
work page 2020
- [13]
-
[14]
Zhang,Second order McKean-Vlasov SDEs and kinetic Fokker-Planck-Kolmogorov equations,Discrete Contin
X. Zhang,Second order McKean-Vlasov SDEs and kinetic Fokker-Planck-Kolmogorov equations,Discrete Contin. Dyn. Syst. Ser. S 18(2025), 2973–3026. 28
work page 2025
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.