REVIEW 1 major objections 6 minor 41 references
Wasserstein stability of porous medium-type equations on manifolds with Ricci curvature bounded below
T0 review · 1 major / 6 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read This paper proves that on manifolds with Ricci curvature bounded below by $-K$, the Wasserstein distance between two porous medium-type solutions stays controlled by an explicit exponential factor, and that this estimate is sharp in…
desk verdict A genuinely new Wasserstein stability estimate under negative Ricci bounds, but a sign typo in Lemma 5.5 currently breaks the main proof—fixable, and the paper deserves peer review. 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 load-bearing mechanism is the Hamiltonian functional $E_{\rho(t)}[\varphi(t)] = \int_{M^n} |\nabla \varphi(t)|^2 \rho(t)\, dV$, evaluated on a solution $\rho$ and on a solution $\varphi$ of the backward adjoint equation $\partial_t \varphi = -P'_\varepsilon(\rho)\Delta\varphi$. Along the flow it obeys the differential inequality $\frac12 \frac{d}{dt} E_{\rho(t)}[\varphi(t)] \ge -K \int \Gamma(\varphi(t)) P_\varepsilon(\rho(t))\, dV$; the paper closes this inequality using the quantitative $L^1$–$L^\infty$ smoothing estimate from Proposition 4.3, which bounds the sup norm by a power of $t^{-1}$ times the initial mass. The lower-bound proof uses a different geometric ingredient: the small-time comparison of the hyperbolic-space Barenblatt solution with the Euclidean Barenblatt profile, combined with a distance expansion for nearby spheres.
What would settle it
Compute, for a concrete case such as $n=3$, $m=2$, $M=1$ in $H^3_K$, the $W_2$ distance between solutions starting from two Dirac masses separated by a small $\delta$, at times spanning several scales. The paper's lower bound predicts logarithmic growth with exponent $2/(2+n(m-1))=2/5$ in $t$; observing a different exponent, or a prefactor not proportional to $K$ as $t\downarrow 0$, would refute the sharpness claim. For the upper bound, a direct check is to verify that the ratio $W_2(\rho(t),\hat\rho(t))/W_2(\mu_0,\hat\mu_0)$ never exceeds the stated exponential.
Extended reading notes
Core claim
The paper's central claim is that solutions of $\partial_t \rho = \Delta P(\rho)$ started from measures of mass $M$ on a complete manifold with $\mathrm{Ric} \ge -K$ and a Sobolev inequality satisfy the stability estimate (2.6), with the explicit exponential factor above. The same theorem gives the quantitative smoothing bound (2.5), $\|\rho(t)\|_{L^\infty} \le C(t^{-n/(2+n(m-1))} M^{2/(2+n(m-1))} + M)$. The optimality theorem states that in hyperbolic space $H^n_K$, for two close Dirac initial data, the distance ratio is at least $1 + K\kappa(tM^{m-1})^{2/(2+n(m-1))}$ for small times; hence the exponent cannot be improved, and the flow is not a gradient flow of a $\lambda$-convex functional in the Wasserstein metric when $K>0$.
Load-bearing premise
The sharpness result depends on the external fact that, in hyperbolic space, the porous-medium solution from a point mass stays below the Euclidean Barenblatt profile with the Euclidean time scale; the main stability upper bound does not rely on this comparison.
Editorial extensions
If this is right
- For the model case $P(\rho)=\rho^m$, the bound gives an explicit quantitative replacement for the contraction that was previously available only when $\mathrm{Ric}\ge 0$.
- Letting $m\downarrow 1$ recovers the linear heat-flow estimate $W_2(\rho(t),\hat\rho(t)) \le e^{Kt} W_2(\mu_0,\hat\mu_0)$.
- The hyperbolic-space lower bound implies the porous medium equation is not, for $K>0$, a gradient flow of a $\lambda$-convex energy with respect to $W_2$ in the evolutionary variational inequality sense.
- Under a Euclidean Sobolev inequality in place of the lower-dimensional one, the long-time linear term disappears and the exponent reduces to just the power $(tM^{m-1})^{2/(2+n(m-1))}$.
- The estimates cover a whole class of nonlinearities $P$ satisfying the growth conditions (H4)–(H5), not only the pure power law.
Reading between the lines
- One extension left implicit: the smoothing-plus-Hamiltonian mechanism suggests the same kind of bound should hold for the fast-diffusion range $m\in(0,1)$ up to the extinction time, but the compact-support and smoothing estimates would need a different treatment.
- The optimality theorem is proved only in constant-curvature hyperbolic space; a natural test is whether the same small-time exponent is sharp on every Cartan-Hadamard manifold, where the Barenblatt comparison is also available.
- The proof's reliance on PDE smoothing suggests that adapting the estimate to metric-measure spaces would require a quantitative regularization estimate in that setting; the paper singles this out as an obstruction.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the Cauchy problem for porous medium-type equations ∂_t ρ = ΔP(ρ) on complete Riemannian manifolds with Ricci curvature bounded below (Ric ≥ -K) and a Sobolev inequality. The main result (Theorem 2.4) establishes a quantitative 2-Wasserstein stability estimate: for two solutions with initial data of mass M, W_2(ρ(t), ρ̂(t)) ≤ exp{K c_1 C_m[(tM^{m-1})^{2/(2+n(m-1))} ∨ (tM^{m-1})]} W_2(µ_0, µ̂_0). The proof combines the Hamiltonian/Eulerian approach of Ambrosio–Mondino–Savaré with a new quantitative L^1–L^∞ smoothing estimate obtained by Moser iteration, and a compact-support property. Theorem 2.5 shows that, in hyperbolic space, the time exponent in the estimate is sharp for small times, and consequently the PME cannot be a gradient flow of a λ-convex functional in the EVI sense. The paper also provides existence, uniqueness, regularity, moment propagation, and continuity properties of the solutions.
Significance. If the results are correct, they constitute a substantial advance: they provide the first quantitative Wasserstein contraction-type estimate for nonlinear diffusion on manifolds beyond the Ric ≥ 0 regime, with explicit constants and a sharp small-time exponent. The proof is largely self-contained, including the smoothing estimate and the compact-support argument, and the treatment of both noncompact and compact manifolds is careful. The optimality result is a valuable contribution, showing that the PME does not admit a gradient-flow/EVI structure on negatively curved manifolds. The paper also gives credit to previous work and clearly delineates the external inputs (e.g., the hyperbolic-space comparison (5.47)).
major comments (1)
- [§5.2, Lemma 5.5, display following (5.15)] The definition of ψ_{s,t} has the wrong sign of the exponential, and this makes the displayed equality in (5.15) algebraically false. Setting A = 2K c_1 C_m[(tM^{m-1})^{2/(2+n(m-1))} ∨ (tM^{m-1}) + ε t/(c_1 C_m)], the bracket on the preceding line is -1/2 e^{-A} E_{ρ^s_0}[φ_s(0)] + ⟨d/ds ρ^s_0, φ_s(0)⟩. To factor out e^A and obtain an expression of the form -1/2 E[ψ] + ⟨·, ψ⟩, one must set ψ_{s,t} = e^{-A} φ_s(0), because E is quadratic in its argument. With the printed definition ψ_{s,t} = e^{A} φ_s(0), the resulting integrand becomes e^A[-1/2 e^{2A}E[φ_s(0)] + e^{A}⟨·,φ_s(0)⟩] = -1/2 e^{3A}E[φ_s(0)] + e^{2A}⟨·,φ_s(0)⟩, which does not equal the original bracket and is not bounded by the claimed Fenchel-dual term. Since this step is essential for passing from the smoothed Hamiltonian lower bound to the Wasserstein estimate (5.14)–(5.20), the proof of (2.6) as written contains a genuine algebraic gap. The error appears to be a sign typo, but it must be corrected and the subsequent estimate rechecked before the proof is sound.
minor comments (6)
- [Abstract and title] There are several typos, e.g., 'por ous' and 'W ASSERSTEIN ST ABILITY' in the title; the manuscript would benefit from a careful proofreading pass.
- [Theorem 2.4 and Lemma 5.3] The notation 'Cm := Cm−1 2m−2 [2 + n(m − 1)]' is ambiguous; it should be typeset as C^{m-1} 2^{m-2} [2 + n(m-1)] to avoid confusion.
- [§5.4, proof of Theorem 2.5] The sharpness result relies crucially on the comparison (5.47) with the Euclidean Barenblatt profile, imported from [21, Remark 2.12] and [38]. Since the lower bound (5.50) depends on this comparison, it would be helpful to state explicitly the conditions under which (5.47) is known to hold and whether the constants D and k depend only on n and m.
- [§5.3, compact case] The discussion of the spaces V'_E and D'_E is rather brief; adding precise references to the relevant statements in [4] would make the compact-case argument easier to verify.
- [§5.4, Lemma 5.6] The notation 'E := exp_x v^⊥' is a slight abuse; it would be clearer to write 'E := exp_x(v^⊥)' or 'E := {exp_x w : w ∈ v^⊥}'.
- [§5.4, proof of Lemma 5.7] In inequality (5.46), the constant '3κ' appears without explanation; it would be clearer to introduce a new constant (e.g., κ') at that point.
Circularity Check
No significant circularity: the Wasserstein stability estimate is derived from an in-paper smoothing estimate and independent Hamiltonian calculus, with no fitted input called a prediction.
full rationale
The main deliverable (2.6) is obtained by a genuine derivation chain: Lemma 5.2 converts the Ricci lower bound into the Hamiltonian differential inequality; Lemma 5.3 integrates this using the L1–L∞ smoothing effect, which is proved in Proposition 4.3 by Moser iteration; Lemma 5.5 then passes from the Hamiltonian lower bound to the Wasserstein estimate through the Fenchel dual and the identity (3.21). None of these steps fits a parameter to the target W2 bound: the exponential prefactor is an explicit function of K, c1, Cm, t and M, obtained from the smoothing constants, and the target Wasserstein quantity appears only at the end as the output, not as an input. The optimality proof (2.7) uses the external comparison (5.47) between the hyperbolic-space PME profile and the Euclidean Barenblatt profile, cited to [21, Remark 2.12] and [38]; although one of the authors is among the authors of [21], that cited bound is an independent published result about the solution profile and does not assume the stability estimate being proved. The paper also proves its own smoothing estimate rather than citing it, and the curvature-to-Hamiltonian step is standard Bakry–Émery calculus. Any algebraic sign issue in the displayed derivation of Lemma 5.5 would be a correctness defect, not a circularity, since the printed claim does not reduce by construction to its input. Overall, no load-bearing step is equivalent to its own inputs, so the circularity score is 0.
Assumptions & free parameters
assumptions (5)
- domain assumption The manifold supports the Sobolev inequality (H2), i.e., ||f||_{L^{2*}} ≤ C_S(||∇f||_2 + ||f||_2), and hence its Gagliardo-Nirenberg form (4.32).
- domain assumption The Euclidean Barenblatt comparison (5.47): the hyperbolic-space PME solution from a Dirac mass is bounded above by the Euclidean Barenblatt profile.
- standard math The Hamiltonian/Eulerian calculus results of Ambrosio-Mondino-Savaré [4]: identity (3.21) for regular curves, well-posedness of the forward linearized and backward adjoint equations (Theorems 4.9-4.10), and the differentiation formula for the Hamiltonian (Lemma 5.1).
- standard math Ollivier's distance expansion (5.28) for hyperbolic space, together with the double exponential map estimates from [18].
- standard math The equivalence of the Bakry-Émery condition BE(λ,n) with Ric≥λ on smooth Riemannian manifolds (Section 3.1).
Cite this review
Pith. "Pith review of Wasserstein stability of porous medium-type equations on manifolds with Ricci curvature bounded below." pith.science (2026). https://pith.science/paper/IBORGARO
@misc{pith2026190803147,
author = {Pith},
title = {Pith review of: Wasserstein stability of porous medium-type equations on manifolds with Ricci curvature bounded below},
year = {2026},
howpublished = {\url{https://pith.science/paper/IBORGARO}},
note = {Machine review of arXiv:1908.03147}
}
abstract
Given a complete, connected Riemannian manifold $ \mathbb{M}^n $ with Ricci curvature bounded from below, we discuss the stability of the solutions of a porous medium-type equation with respect to the 2-Wasserstein distance. We produce (sharp) stability estimates under negative curvature bounds, which to some extent generalize well-known results by Sturm and Otto-Westdickenberg. The strategy of the proof mainly relies on a quantitative $L^1-L^\infty$ smoothing property of the equation considered, combined with the Hamiltonian approach developed by Ambrosio, Mondino and Savar\'e in a metric-measure setting.
Reference graph
Works this paper leans on
- [21]
-
[38]
J.L. Vázquez, Fundamental solution and long time behavior of the porous me dium equation in hyperbolic space , J. Math. Pures Appl. 104 (2015), 454–484. 40 NICOLÒ DE PONTI, MATTEO MURATORI, CARLO ORRIERI
work page 2015
-
[1]
Gradient Flows in Metr ic Spaces and in the Space of Probability Measures
L. Ambrosio, N. Gigli, G. Savaré, “Gradient Flows in Metr ic Spaces and in the Space of Probability Measures”. Second Edition. Lectures in Mathematics ETH Zürich. Birkhä user Verlag, Basel, 2008
work page 2008
-
[2]
L. Ambrosio, N. Gigli, G. Savaré, Calculus and heat flow in metric measure spaces and applicati ons to spaces with Ricci bounds from below , Invent. Math. 195 (2014), 289–391
work page 2014
-
[3]
L. Ambrosio, N. Gigli, G. Savaré, Bakry-Émery curvature-dimension condition and Riemannia n Ricci curvature bounds, Ann. Probab. 43 (2015), 339–404
work page 2015
-
[4]
L. Ambrosio, A. Mondino, G. Savaré, Nonlinear diffusion equations and curvature conditions in m etric measure spaces, to appear in Mem. Amer. Math. Soc, preprint arXiv: https://arxiv.org/abs/1509.07273
- [5]
- [6]
Show all 41 references
-
[7]
Analysis and Geometry of Markov Diffusion Operators
D. Bakry, I. Gentil, M. Ledoux, “Analysis and Geometry of Markov Diffusion Operators”. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles o f Mathematical Sciences], 348. Springer, Cham, 2014. W ASSERSTEIN STABILITY OF POROUS MEDIUM-TYPE EQUATIONS 39
2014
-
[8]
Bianchi, A.G
D. Bianchi, A.G. Setti, Laplacian cut-offs, porous and fast diffusion on manifolds an d other applications , Calc. Var. Partial Differential Equations 57 (2018), Art. 4, 33 pp
2018
-
[9]
Bolley, J.A
F. Bolley, J.A. Carrillo, Nonlinear diffusion: geodesic convexity is equivalent to Wa sserstein contraction, Comm. Partial Differential Equations 39 (2014), 1860–1869
2014
-
[10]
Bonforte, G
M. Bonforte, G. Grillo, J.L. Vázquez, Fast diffusion flow on manifolds of nonpositive curvature , J. Evol. Equ. 8 (2008), 99–128
2008
-
[11]
Carrillo, R.J
J.A. Carrillo, R.J. McCann, C. Villani, Contractions in the 2-Wasserstein length space and thermal ization of granular media, Arch. Ration. Mech. Anal. 179 (2006), 217–263
2006
-
[12]
Coulhon, D
T. Coulhon, D. Hauer, Regularisation effects of nonlinear semigroups , preprint arXiv: https://arxiv.org/abs/1604.08737
-
[13]
Daneri, G
S. Daneri, G. Savaré, Eulerian calculus for the displacement convexity in the Was serstein distance , SIAM J. Math. Anal. 40 (2008), 1104–1122
2008
-
[14]
Erbar, The heat equation on manifolds as a gradient flow in the Wasser stein space, Ann
M. Erbar, The heat equation on manifolds as a gradient flow in the Wasser stein space, Ann. Inst. Henri Poincaré Probab. Stat. 46 (2010), 1–23
2010
-
[15]
Foote, Regularity of the distance function , Proc
R.L. Foote, Regularity of the distance function , Proc. Amer. Math. Soc. 92 (1984), 153–155
1984
-
[16]
Fotache, M
A.R. Fotache, M. Muratori, Smoothing effects for the filtration equation with different p owers, J. Differential Equations 263 (2017), 3291–3326
2017
-
[17]
Fournier, B
N. Fournier, B. Perthame, Monge-Kantorovich distance for PDEs: the coupling method , preprint arXiv: https://arxiv.org/abs/1903.11349
1903 arXiv
-
[18]
Gavrilov, The double exponential map and covariant derivation , Siberian Math
A.V. Gavrilov, The double exponential map and covariant derivation , Siberian Math. J. 48 (2007), 56–61
2007
-
[19]
Grillo, M
G. Grillo, M. Muratori, M.M. Porzio, Porous media equations with two weights: smoothing and deca y properties of energy solutions via Poincaré inequalities , Discrete Contin. Dyn. Syst. 33 (2013), 3599–3640
2013
-
[20]
Grillo, M
G. Grillo, M. Muratori, F. Punzo, The porous medium equation with large initial data on negati vely curved Riemannian manifolds , J. Math. Pures Appl. 113 (2018), 195–226
2018
-
[22]
Grillo, M
G. Grillo, M. Muratori, J.L. Vázquez, The porous medium equation on Riemannian manifolds with neg ative curvature. The large-time behaviour , Adv. Math. 314 (2017), 328–377
2017
-
[23]
Grillo, M
G. Grillo, M. Muratori, J.L. Vázquez, The porous medium equation on Riemannian manifolds with neg ative curvature: the superquadratic case , Math. Ann. 373 (2019), 119–153
2019
-
[24]
Nonlinear Analysis on Manifolds: Sobolev Sp aces and Inequalities
E. Hebey, “Nonlinear Analysis on Manifolds: Sobolev Sp aces and Inequalities”, Courant Lecture Notes in Mathe- matics, 5. New York University, Courant Institute of Mathem atical Sciences, New York; American Mathematical Society, Providence, RI, 1999
1999
-
[25]
Jordan, D
R. Jordan, D. Kinderlehrer, F. Otto, The variational formulation of the Fokker-Planck equation , SIAM J. Math. Anal. 29 (1998), 1–17
1998
-
[26]
H. Li, G. Toscani, Long-time asymptotics of kinetic models of granular flows , Arch. Ration. Mech. Anal. 172 (2004), 407–428
2004
-
[27]
Lisini, E
S. Lisini, E. Mainini, A. Segatti, A gradient flow approach to the porous medium equation with fr actional pressure, Arch. Ration. Mech. Anal. 227 (2018), 567–606
2018
-
[28]
Introduction to Smooth Manifolds
J.M. Lee, “Introduction to Smooth Manifolds”. Second E dition. Graduate Texts in Mathematics, 218. Springer, New York, 2013
2013
-
[29]
Otto, The geometry of dissipative evolution equations: the porou s medium equation , Comm
F. Otto, The geometry of dissipative evolution equations: the porou s medium equation , Comm. Partial Differ- ential Equations 26 (2001), 101–174
2001
-
[30]
Ollivier, Ricci curvature of Markov chains on metric spaces , J
Y. Ollivier, Ricci curvature of Markov chains on metric spaces , J. Funct. Anal. 256 (2009), 810–864
2009
-
[31]
S. Ohta, A. Takatsu, Displacement convexity of generalized relative entropies, Adv. Math. 228 (2011), 1742–1787
2011
-
[32]
F. Otto, M. Westdickenberg, Eulerian calculus for the contraction in the Wasserstein di stance, SIAM J. Math. Anal. 37 (2005), 1227–1255
2005
-
[33]
von Renesse, K.-T
M.-K. von Renesse, K.-T. Sturm, Transport inequalities, gradient estimates, entropy, and Ricci curvature , Comm. Pure Appl. Math. 58 (2005), 923–940
2005
-
[34]
Strichartz, Analysis of the Laplacian on the complete Riemannian manifo ld, J
R.S. Strichartz, Analysis of the Laplacian on the complete Riemannian manifo ld, J. Funct. Anal. 52 (1983), 48–79
1983
-
[35]
Sturm, Convex functionals of probability measures and nonlinear d iffusions on manifolds , J
K.-T. Sturm, Convex functionals of probability measures and nonlinear d iffusions on manifolds , J. Math. Pures Appl. 84 (2005), 149–168
2005
-
[36]
Varopoulos, Small time Gaussian estimates of heat diffusion kernels
N.Th. Varopoulos, Small time Gaussian estimates of heat diffusion kernels. I. T he semigroup technique , Bull. Sci. Math. 113 (1989), 253–277
1989
-
[37]
Vázquez, Asymptotic behaviour for the heat equation in hyperbolic sp ace, preprint arXiv: https://arxiv.org/abs/1811.09034
J.L. Vázquez, Asymptotic behaviour for the heat equation in hyperbolic sp ace, preprint arXiv: https://arxiv.org/abs/1811.09034
-
[39]
Smoothing and Decay Estimates for Nonli near Diffusion Equations. Equations of Porous Medium Type
J.L. Vázquez, “Smoothing and Decay Estimates for Nonli near Diffusion Equations. Equations of Porous Medium Type”, Oxford Lecture Series in Mathematics and its Applica tions, 33. Oxford University Press, Oxford, 2006
2006
-
[40]
The Porous Medium Equation. Mathematic al Theory
J.L. Vázquez, “The Porous Medium Equation. Mathematic al Theory”, Oxford Mathematical Monographs, The Clarendon Press, Oxford University Press, Oxford, 2007
2007
-
[41]
Optimal Transport, Old and New
C. Villani, “Optimal Transport, Old and New”, Springer Verlag, Grundlehren der mathematischen Wis- senschaften, 2008. Nicolò De Ponti: Dipar timento di Ma tema tica “Felice Casora ti”, Università degli Studi di P a via, Via Ferra ta 5, 27100 P a via (Italy) E-mail address : ni...
2008
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.