REVIEW 4 major objections 4 minor 30 references
$W$-entropy formulas and Langevin deformation on the $L^q$-Wasserstein space over Riemannian manifolds
T0 review · 4 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read This paper proves that along geodesic flows on the Lq-Wasserstein space, the W-entropy is monotone when Ricci curvature is nonnegative, and equality at a positive time forces the manifold to be Euclidean with an explicit Gaussian-type…
desk verdict The L^q W-entropy identities are sound and new, but the Langevin existence proof applies Kato's theorem to a different PDE for p≠2, a gap that should be fixed before acceptance. 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 central objects are the Lq-Wasserstein geodesic equations (7), namely the p-continuity equation ∂_t ρ + ∇·(ρ|∇φ|^{p−2}∇φ)=0 and the p-Hamilton–Jacobi equation ∂_t φ + (1/p)|∇φ|^p=0, together with the deformed Hessian tensor A = g + (p−2)∇φ⊗∇φ/|∇φ|², whose inverse a converts the Hessian error into the squared norm in the formula. The W-entropy W_{n,p} is defined as the time derivative of t times a relative Boltzmann entropy with a p,q-dependent constant, so its derivative is governed by the second derivative of entropy; that second derivative is computed through a p-Bochner formula and produces the sum of a squared A-norm error and a Ricci term. For the Langevin deformation, the same machinery is modulated by the damping parameter c and a time-scaling function w, yielding the W-entropy-information formula. On the existence side, the argument rewrites the deformation as a symmetric hyperbolic system and proves a vorticity estimate showing that solutions starting from gradient initial data remain gradients.
What would settle it
Take the Langevin deformation Cauchy problem on a compact manifold with smooth ρ0>0 and a smooth φ0 whose gradient vanishes somewhere. If a unique smooth solution exists, the non-degeneracy hypothesis used in the proof is unnecessary; if it does not, Theorem 5.4 as stated fails. Separately, on a flat torus, any smooth nontrivial solution of the Lq geodesic flow whose W-entropy derivative vanishes at a positive time would disprove the Euclidean rigidity conclusion.
Extended reading notes
Core claim
Let p>1, q=p/(p−1), and let (ρ,φ) be a smooth solution of the Lq-geodesic system (7) on a complete Riemannian manifold with bounded geometry. The paper proves the identity d/dt W_{n,p}(ρ,φ,t) = t ∫ ( ||∇φ|^{p−2}∇²φ − a/t|²_A + |∇φ|^{2p−4} Ric(∇φ,∇φ) ) ρ dv, where A = g + (p−2)∇φ⊗∇φ/|∇φ|² and a = $A^{{-1}}$. Consequently, whenever Ric ≥ 0, the W-entropy W_{n,p} is nondecreasing in time, and equality at some t0>0 occurs exactly when M is isometric to ℝⁿ and (ρ,φ) is the special solution (12). For the Langevin deformation (16), the paper proves the analogous W-entropy-information identity 1/η(t) d/dt W_{c,n,p}(ρ,t) + (1/c^p) I_{c,n,p}(ρ,φ,t) = ∫ ( ||∇φ|^{p−2}∇²φ − α(t)a|²_A + |∇φ|^{2p−4} Ric(∇φ,∇φ) ) ρ dv, together with an entropy-information inequality and a Euclidean-space rigidity theorem under Ric ≥ 0. The limits c→0 and c→∞ recover the p-Laplacian heat equation and the Lq-geodesic flow, respectively.
Load-bearing premise
The proof of the local existence part (Theorem 5.4) uses a symmetric-hyperbolic-system theorem that requires the initial velocity to lie in a small Sobolev neighborhood of a state with |u0| ≥ δ2 > 0, a non-degeneracy condition absent from the stated theorem; if that condition is genuinely needed, the claimed well-posedness for arbitrary smooth positive data does not follow.
Editorial extensions
If this is right
- Under Ric ≥ 0, the W-entropy $W_{n,p}$ is nondecreasing along every smooth Lq-geodesic flow, and a plateau at any positive time singles out Euclidean space with the explicit pair (12).
- The function $t\mapsto t\,\mathrm{Ent}(\rho(t))+nt\log t$ is convex along Lq-geodesic flows under Ric ≥ 0, as stated in Theorem 4.2.
- For the Langevin deformation (16), the W-entropy-information inequality (23) holds under Ric ≥ 0, and equality at some $t_0>0$ forces the manifold to be Euclidean and the solution to be the special pair (26).
- In the limits $c\to 0$ and $c\to\infty$, the W-entropy-information formula recovers the W-entropy formula for the p-Laplacian heat equation and the Lq-geodesic formula (10), respectively.
- For $q\in[2,\infty)$, the Cauchy problem for the Langevin deformation is locally well-posed on Euclidean space and on compact Riemannian manifolds, and gradient initial data produce gradient solutions.
Reading between the lines
- Editorial extension: the equality case of Theorem 1.2 gives a transport-geometric rigidity test—a complete Ricci-nonnegative manifold admitting a W-entropy-preserving Lq geodesic flow must be Euclidean; adapting the formula to weighted measures with the CD(0,m) condition, which the paper mentions as omitted, would turn this into a synthetic-curvature test.
- Editorial extension: the local-existence theorem is stated without any non-degeneracy condition on ∇φ0, but its proof uses a symmetric-hyperbolic-system result requiring the initial velocity to lie in a small Sobolev neighborhood of a state with |u0| bounded away from zero; determining whether that condition can be removed would either strengthen Theorem 5.4 or produce a counterexample with critic
- Editorial extension: if global-in-time solutions for p≠2 become available, the W-entropy-information inequality is a natural route to quantitative convergence rates as c→0 and c→∞, a direction the paper leaves open.
- Editorial extension: replacing the Boltzmann entropy by a Rényi entropy in the Langevin deformation should yield parallel monotone quantities; the paper's discussion of isentropic cases suggests such formulas are within reach of the same proof structure.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops W-entropy formulas for two flows associated with the L^q-Wasserstein space over Riemannian manifolds. For the L^q-geodesic flow (7), Theorem 1.2 derives the identity (10) expressing the time derivative of the W-entropy as an integral involving a weighted Hessian deviation and the Ricci curvature, and a rigidity statement when Ric≥0 and equality holds. The paper then introduces a Langevin deformation (14)/(16) that formally interpolates between the p-Laplacian heat equation and the geodesic flow, claims local existence and uniqueness for q∈[2,∞) on Euclidean space and compact manifolds, proves a W-entropy-information formula (22), and states a corresponding rigidity theorem (Theorem 6.4). The central entropy computations are direct consequences of the p-Bochner formula and integration by parts, with explicit self-similar solutions on R^n given in Proposition 2.2.
Significance. If correct, the results extend the Perelman–Li–Li W-entropy theory from the L^2-Wasserstein space to L^q-Wasserstein spaces and connect it with the compressible p-Euler equations with damping. The W-entropy constants are fixed normalization constants derived from explicit self-similar solutions, not fitted parameters, and the c=0 and c=∞ limits reproduce known p-heat and geodesic-flow entropy formulas. However, the paper's advertised local existence theorem is not established by the proof as written, and the rigidity and noncompact entropy formulas rely on hypotheses that are either absent or unverified. The entropy computations themselves appear sound, but the manuscript is not yet in a form where the central claims are fully supported.
major comments (4)
- [§5, Eq. (43) and Theorem 5.4] The symmetric hyperbolic system (43) is not the Langevin deformation (15)/(16) for p≠2. With U=(logρ,u), (43) expands to ∂t(logρ)+|u|^{p-2}u·∇logρ+div u=0 and cp(∂t u+|u|^{p-2}(u·∇)u)+u+∇logρ=0. The continuity equation coming from (15) with u=∇φ and v=|u|^{p-2}u is ∂t(logρ)+u·∇logρ+div(|u|^{p-2}u)=0, which contains the additional anisotropic term (p-2)|u|^{p-4}u_i u_j ∂_j u_i and advection by u rather than by |u|^{p-2}u. If u is instead interpreted as the momentum v=|∇φ|^{p-2}∇φ, then the continuity equation matches but the velocity equation acquires coefficients |u|^{q-2} and |u|^{q-3} and is not the constant-coefficient system (43). Thus Kato's theorem as invoked in Theorem 5.1 and Corollary 5.2 establishes local existence for a different PDE, and the existence claim for (16) in Theorem 5.4 and in the abstract is unsupported. Note also that the abstract states q∈[2,∞), i.e. p∈(1,2], whereas Section 5 assumes p≥2, i.e. q∈(1,2].
- [§5, Theorem 5.4 and Theorem 5.1] Even if the PDE mismatch were repaired, the proof of Theorem 5.4 does not establish the statement as written. Theorem 5.1 and Corollary 5.2 require the initial datum to lie in a neighborhood D of an auxiliary state U00 with |u00|≥δ2>0, while Theorem 5.4 makes no such non-degeneracy assumption on ∇φ0; no approximation or desingularization argument is supplied that would permit arbitrary smooth data with critical points. Moreover, the definition of D is not well posed as written: U00 is declared to lie in C∞_c with ρ00≥δ1>0, but the first component of U is logρ, and a compactly supported positive function cannot be bounded below by a positive constant on all of R^n while having compact support. Consequently, Theorem 5.4's claim of existence for all smooth initial data with ρ0>0 is not proved by the argument given.
- [§2 Theorem 2.1 and §6 Theorem 6.4] Theorems 2.1 and 6.4 are stated for complete noncompact manifolds under a 'reasonable growth condition' referring to Proposition 3.3, but Proposition 3.3 is proved only for solutions of the geodesic system (7), not for solutions of the Langevin deformation (16). The derivations of (17), (22), and (53) use integration by parts on a noncompact manifold and therefore require growth and integrability conditions at infinity for solutions of (16); no such conditions are stated or verified, and no cutoff argument is provided in Section 6. As a result, the noncompact forms of the W-entropy-information formula and the rigidity theorem are conditional on hypotheses that are absent from the manuscript.
- [§4 proof of Theorem 1.2 and §6 proof of Theorem 6.4] The rigidity conclusions rest on an unexamined non-degeneracy of ∇φ. From equality in (10) the proof divides by |∇φ|^{p-2} to obtain ∇i∇jφ = (1/(t|∇φ|^{p-2}))(gij+(q-2)∇iφ∇jφ/|∇φ|²), and similarly in Theorem 6.4 one must divide by |∇φ|^{p-2} and by α(t0). No argument shows that ∇φ(t0) is non-vanishing on M; for p≠2 the tensor A in (11) and the factors |∇φ|^{p-2}, |∇φ|^{2p-4} are singular or non-smooth at ∇φ=0, and the proof of Proposition 3.3 does not supply the ε-regularization announced in Section 3. Positivity of α(t0) is also not established from (18)/(24). As written, the equality-case characterization is therefore not proved, and the p<2 case of the entropy formulas retains an unresolved degeneracy at critical points of φ.
minor comments (4)
- [§2, Eq. (21)] The relative Fisher information I_{c,n,p} is written with |φ(t)|^{p-2}|∇logρ(t)|²_A, but the surrounding formulas (17), (22), and Proposition 2.2 make clear that the first factor should be |∇φ(t)|^{p-2}.
- [§2, Remark 2.3(1)] In the displayed W_0 formula for c=0, the term |∇φ|^{p-2}∇i∇jρ should be |∇φ|^{p-2}∇i∇j logρ (or the equivalent expression), since in this limit φ=-logρ-1.
- [§3, Proposition 3.3] In the estimate for I4(k), the bound uses (p-1)|∇φ|^{2p-4}|∇²φ||∇φ|, which is not controlled in the stated integrability assumptions when 1<p<2 unless one excludes or regularizes the set ∇φ=0; the announced ε-regularization is not carried out in the proof.
- [Abstract and §5] The abstract's range q∈[2,∞) is inconsistent with the hypotheses p≥2 in Theorem 5.1, Corollary 5.2, and Theorem 5.4; the paper should state clearly whether the intended range is p≥2 (q∈(1,2]) or q∈[2,∞) (p∈(1,2]), and adapt the arguments accordingly.
Circularity Check
No significant circularity: the W-entropy identities are direct p-Bochner computations with fixed normalization constants; the local-existence gap is a correctness issue, not a circular reduction.
full rationale
The central derivation chain is self-contained in the relevant sense. Theorem 1.2's formula (10) follows by differentiating the explicitly defined Ent_{n,p} and applying the p-Bochner formula (37); the constant c_{n,p} is a fixed normalization from the explicit Barenblatt-type solution (12), not fitted to the solution whose entropy is being computed. The equality rigidity is imported from an external theorem (Kotschwar-Ni, [10]), not from the authors' own prior work. Theorem 2.1's W-entropy-information identity (22) is an algebraic rearrangement of (58) using the defining ODEs (18), (20), (24) for the auxiliary functions w, eta, and alpha; the subtraction term in the relative Fisher information (21) is selected to cancel the auxiliary ODE terms, so the identity is by construction, but the content is the non-negative Ricci term on the right-hand side, which is not an input. Self-citations to [13,14] provide the p=q=2 model and an elementary identity in Theorem 5.3, but the p-Bochner computation and rigidity are not reduced to those citations. The local existence claim in Theorem 5.4 inherits a possible correctness gap: the symmetric hyperbolic system (43) does not appear to match the p-Euler system (15)/(16) when p≠2, because the continuity equation in (43) omits the extra (p-2)|u|^{p-4}u_i u_j ∂_j u_i term from div(|u|^{p-2}u); also the theorem statement drops the |u0|≥δ2>0 condition used in D. This is an accuracy and rigor concern about an existence theorem, not a circularity: no fitted input is renamed as a prediction and no result is forced by definition. Therefore no circular step is exhibited.
Assumptions & free parameters
assumptions (5)
- standard math p-Bochner formula (equation (37), cited from [10])
- standard math Kato's local existence theorem for quasilinear symmetric hyperbolic systems (Theorem 2 of [11])
- domain assumption Kotschwar-Ni classification theorem (Theorem 6.19 of [10])
- standard math Sobolev embedding and Bernstein-Rellich-Kondrakov-Morrey embedding (inequalities (41) and (42))
- domain assumption Bounded geometry condition on complete Riemannian manifolds
Cite this review
Pith. "Pith review of $W$-entropy formulas and Langevin deformation on the $L^q$-Wasserstein space over Riemannian manifolds." pith.science (2026). https://pith.science/paper/HRWIPV5C
@misc{pith2026250601279,
author = {Pith},
title = {Pith review of: $W$-entropy formulas and Langevin deformation on the $L^q$-Wasserstein space over Riemannian manifolds},
year = {2026},
howpublished = {\url{https://pith.science/paper/HRWIPV5C}},
note = {Machine review of arXiv:2506.01279}
}
abstract
We first prove the $W$-entropy formula and rigidity theorem for the geodesic flow on the $L^q$-Wasserstein space over a complete Riemannian manifold with bounded geometry condition. Then we introduce the Langevin deformation on the $L^q$-Wasserstein space over a complete Riemannian manifold, which interpolates between the $p$-Laplacian heat equation and the geodesic flow on the $L^q$-Wasserstein space, where ${1\over p}+{1\over q}=1$, $1< p, q<\infty$. The local existence, uniqueness and regularity of the Langevin deformation on the $L^q$-Wasserstein space over the Euclidean space and a compact Riemannian manifold are proved for $q\in [2, \infty)$. We further prove the $W$-entropy-information formula and the rigidity theorem for the Langevin deformation on the $L^q$-Wasserstein space over an $n$-dimensional complete Riemannian manifold with non-negative Ricci curvature, where $q\in (1,\infty)$.
Reference graph
Works this paper leans on
-
[1]
L. Ambrosio, N. Gigli, G. Savar´ e. Gradient flows in metric spaces and in the space of probabilit y measures, Lectures in Mathematics, Birkhauer, 2005
work page 2005
-
[2]
T. Aubin. Nonlinear Analysis on Manifolds, Monge–Amp `ere Equations. Springer, Berlin, 1980
work page 1980
-
[3]
J.-D. Benamou, Y . Brenier. A computational fluid mechanics solution to the Monge Kantor ovich mass transfer problem. Numer. Math. 84, (2000), 375–393
work page 2000
-
[4]
L. Brasco. A survey on dynamical transport distances , J. Math. Sci. 181 (2012), no.6, 755–781
work page 2012
-
[5]
H. Brezis. Functional analysis, Sobolev spaces and partial different ial equations. Springer Science & Business Media, 2010
work page 2010
- [6]
- [7]
-
[8]
Kantorovich, On the translocation of masses
L.V . Kantorovich, On the translocation of masses . C.R. (Dokl.) Acad. Sci. URSS(N.S.) 37 (1942), 199–201
work page 1942
Show all 30 references
-
[9]
Kantorovich, G
L.V . Kantorovich, G. S. Rubinstein. On a space of totally additive functions . V estn. Leningrad. Univ. 13 (1958), no. 7, 52–59
1958
-
[10]
Kotschwar, L
B. Kotschwar, L. Ni. Gradient estimate for p-harmonic functions, 1/H flow and an entropy formula , Ann. Sci. ´Ec. Norm. Sup´ er., 42 (2009), no. 1, 1–36
2009
-
[11]
T. Kato. The Cauchy problem for quasi-linear symmetric hyperbolic s ystems. Arch. Rational Mech. Anal. 58 (1975), 181–205. 22
1975
-
[12]
Lei, S.Z
R. Lei, S.Z. Li, X.-D. Li. Langevin deformation for R ´enyi entropy on Wasserstein space over Rieman- nian manifolds, arXiv:2410.20369v1, 2024
2024 arXiv
-
[13]
Li, X.-D
S. Li, X.-D. Li. W-entropy formulas on super Ricci flows and Langevin deforma tion on Wasserstein space over Riemannian manifolds , Sci. China Math. 61 (2018), no. 8, 1385–1406
2018
-
[14]
Li, X.-D
S. Li, X.-D. Li. W-entropy and Langevin deformation on Wasserstein space ov er Riemannian mani- folds, Probab. Theory Relat. Fields, 188 (2024), 911–955
2024
-
[15]
X. -D. Li. Perelman’s entropy formula for the Witten Laplacian on Riem annian manifolds via Bakry- Emery Ricci curvature, Math. Ann. 353 (2012), no. 2, 403–437
2012
-
[16]
J. Lott. Optimal transport and Perelman’s reduced volume, Calc. V ar. and Partial Differential Equations 36 (2009), 9–84
2009
-
[17]
J. Lott, C. Villani. Ricci curvature for metric-measure spaces via optimal tran sport, Annals of Math. 169 (2009), 903–991
2009
-
[18]
R. J. McCann. Polar factorization of maps on Riemannian manifolds. Geom. Funct. Anal.11 (3) (2001), 589–608
2001
-
[19]
A. Majda. Compressible fluid flow and systems of conservation laws in se veral space variables, volume
-
[20]
L. Ni. The entropy formula for linear equation , J. Geom. Anal. 14 (2004), no.1, 87–100
2004
-
[21]
F. Otto. The geometry of dissipative evolution equations: the porou s medium equation , Commun. Partial Differ. Equ. 26 (2001), 101–174
2001
-
[22]
F. Otto, C. Villani. Generalization of an inequality by Talagrandand links with the logarithmic Sobolev inequality. J. Funct. Anal. 173 (2000), 361–400
2000
-
[23]
Perelman
G. Perelman. The entropy formula for the Ricci flow and its geometric appli cations, arXiv.org/abs/maths0211159
-
[24]
Sideris, B
T. Sideris, B. Thomases, D. H. Wang. Long time behavior of solutions to the 3D compressible Euler equations with damping. Commun. PDE 28(3-4) (2003), 795–816
2003
-
[25]
von Renesse, K.-T
M.-K. von Renesse, K.-T. Sturm. Transport inequalities, gradient estimates, entropy, and Ricci curva- ture Commun. Pure Appl. Math. 58 (7) (2005), 923–940
2005
-
[26]
K.-T. Sturm. On the geometry of metric measure spaces I . Acta Math. 196(1) (2006), 65-131, and II. Acta Math.196(1) (2006), 133–177
2006
-
[27]
C. Villani. Topics in optimal transportation . Graduate Studies in Mathematics, 58. American Mathe- matical Society, Providence, RI, 2003. 23
2003
-
[28]
C. Villani. Optimal transport. Old and new . Grundlehren der Mathematischen Wissenschaften, 338. Springer-V erlag, Berlin, 2009
2009
-
[29]
W. Wang, T. Y ang, The pointwise estimates of solutions for Euler equations wi th damping in multi- dimensions. J. Differential Equations 173 (2001), no. 2, 410–450. Rong Lei, Academy of Mathematics and Systems Science, Chine se Academy of Sciences, No. 55, Zhongguancun East R...
2001
-
[53]
Springer Science & Business Media, 2012
2012
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.