REVIEW 1 major objections 4 minor 1 cited by
A functional inequality between Hessians in spaces with non-zero curvature
T0 review · 1 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read This paper proves that on any compact Riemannian manifold without boundary, the Hessian of $\sqrt{u}$ is controlled by the Hessian of $\log u$, with a constant that depends only on dimension.
desk verdict A fixable but load-bearing coefficient error in the central identity; the theorem is likely true and deserves refereeing. 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 object is the Bochner formula $\frac12\Delta_g|\nabla f|^2 = g(\nabla f,\nabla\Delta_g f) + |\nabla^2 f|^2 + \mathrm{Ric}(\nabla f,\nabla f)$, applied once to $f=\sqrt{u}$ and once to $f=\log u$. Combined with integration by parts on a boundary-free compact manifold, it converts each Hessian integral into terms involving $\Delta_g u$, $\nabla u$, and the Ricci curvature; the Ricci terms cancel between the two expressions. What remains is controlled by the trace estimate and the Bernis-type estimate, closing the argument with a constant independent of curvature.
What would settle it
On any closed Riemannian manifold, compute the ratio $\int_M |\nabla^2\sqrt{u}|^2\,d\mathrm{Vol}_g \,/\, \int_M u|\nabla^2\log u|^2\,d\mathrm{Vol}_g$ for a sequence of positive smooth functions concentrating near a point. The theorem predicts this ratio stays bounded by a dimension-dependent constant; a sequence with ratio tending to infinity would be a counterexample.
Extended reading notes
Core claim
The central discovery is that curvature does not obstruct the flat Hessian comparison: the Ricci terms produced by applying the Bochner formula to $\sqrt{u}$ and to $\log u$ cancel exactly when the two integrated quantities are compared. After this cancellation, the proof reduces to identity (3.5) plus two estimates: a Bernis-type bound $\int_M |\nabla u|^4/u^3 \le C\int_M u|\nabla^2\log u|^2$ and the pointwise trace inequality $|\Delta_g f|^2 \le n|\nabla^2 f|^2$. The same argument also proves a Riemannian version of the Bernis inequality. Thus the theorem is a global comparison valid on every closed manifold, not a perturbative statement limited to small curvature.
Load-bearing premise
The key premise is that $M$ is compact with no boundary, so every integration by parts is free of boundary terms; if a boundary is present, the cancellation in the comparison no longer holds and the proof's estimates do not close.
Editorial extensions
If this is right
- On any closed Riemannian manifold, the Hessian of $\sqrt{u}$ is globally controlled by the weighted Hessian of $\log u$, so the geometry enters only through the manifold and its volume form, not through the curvature size.
- The Bernis-type inequality $\int_M |\nabla u|^4/u^3 \le C\int_M u|\nabla^2\log u|^2$ holds on closed manifolds, extending a flat-space tool to curved settings.
- Because the right-hand side is the dissipation term for Fisher information along the heat flow, the inequality makes Fisher-information-based energy estimates available on curved backgrounds.
- The comparison identity (3.5) gives an explicit decomposition of the two Hessian integrals, which could be used to track constants in concrete PDE applications.
Reading between the lines
- An extension not pursued in the paper: the same Bochner-comparison strategy may work on manifolds with boundary if the boundary terms that appear in (3.5) can be controlled by mean-curvature quantities.
- The cancellation of Ricci terms suggests the inequality is robust under metric deformation, and a sharper version tracking the intermediate estimates could yield an explicit optimal constant in terms of $n$ alone.
- A natural testable variant is an $L^p$ analogue of the inequality obtained by replacing both Hessian $L^2$ norms with $L^p$ norms and using interpolation with the trace inequality.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves a Riemannian version of the Hessian inequality of Cieślak–Fuest–Hajduk–Sierżęga, namely that on a compact Riemannian manifold without boundary there exists a constant C (depending only on the dimension) such that for every positive smooth u, the squared Hessian norm of sqrt(1/u) is bounded by C times the squared Hessian norm of log u, integrated against u. The proof uses the Bochner formula, integration by parts, and the trace inequality |Δf|^2 ≤ n|∇²f|^2. A by-product is a Riemannian Bernis-type inequality for ∫|∇u|⁴/u³. The paper is short and the intended argument is transparent.
Significance. If the proof were correct, the result would be a clean and useful generalization of a known flat-space inequality to Riemannian manifolds, with plausible applications to dissipative PDE systems and to functionals of Perelman type. The paper is self-contained, uses only standard tools, and involves no fitted parameters; the stated dimension dependence of C is credible. However, the central comparison identity (3.5) is false as written, and since the final estimate uses (3.5) verbatim, the proof is currently invalid. The result appears repairable, but the manuscript is not yet in publishable form.
major comments (1)
- [Section 3, equations (3.1) and (3.5)] The displayed derivation contains a factor-of-two error in the coefficient of the term involving ∇(|∇u|²/u^{3/2}). After applying the Bochner formula to √u, the contribution from −∫g(∇√u,∇Δ√u) that contains this term should have coefficient 1/8, since ∇√u = (2√u)^{-1}∇u and Δ√u contains the term −(1/4)∇(|∇u|²/u^{3/2}); the paper writes 1/4 instead. Consequently the coefficients in (3.3) and (3.5) are incorrect. In the flat case, a direct pointwise expansion gives ∫|∇²√u|² = (1/4)∫u|∇²logu|² + (1/4)∫∇²u(∇u,∇u)/u² − (3/16)∫|∇u|⁴/u³, whereas (3.5) would give coefficients 1/4, 1/2, and −3/8; these differ for nonconstant positive u on a flat torus, which is covered by Theorem 1. Since (3.5) is used in the final step to combine (3.6) and (3.7), the proof as written is invalid. The theorem appears to be repairable, because the corrected identity still yields ∫|∇²√u|² ≤ (1/4)∫u|∇²logu|² + (1/4)∫∇²u(∇u,∇u)/u², and (3.7) bounds the second term by C∫u|∇²logu|², but the manuscript must be corrected before acceptance.
minor comments (4)
- [Section 2, equation (2.4)] The integration-by-parts formula as stated is missing a minus sign: with the Laplacian defined as tr∇², the correct identity is ∫ g(∇f,∇u)dVol = −∫ fΔu dVol. The subsequent calculations seem to use the correct sign, so this appears to be a typo, but the displayed formula should be fixed.
- [Section 3, text before (3.5)] The phrase 'Comparing (3.3) i (3.4)' contains a Polish word 'i'; it should read 'and'.
- [Title and abstract] The title and abstract say 'spaces with non-zero curvature', but Theorem 1 and the proof apply equally to flat manifolds; the wording should be adjusted to avoid suggesting that the result excludes the flat case.
- [Section 3, (3.6) and (3.7)] The symbol C is reused with different values in (3.6) and (3.7); this is not an error but may confuse. Consider distinguishing C₁ and C₂.
Circularity Check
No significant circularity: Theorem 1 is derived self-containedly from the Bochner formula, integration by parts, and the trace inequality; citations to the authors' earlier flat-case paper are motivational, not load-bearing.
full rationale
The derivation of Theorem 1 does not assume the target inequality or any equivalent form of it. The proof starts from standard identities — the Bochner formula (2.1), formulas (2.2)–(2.3), integration by parts (2.4), and the pointwise trace estimate (2.5) — and then derives expressions for the two Hessian integrals. The comparison identity (3.5) is obtained algebraically from (3.3) and (3.4), which are themselves obtained by direct calculation, not by assuming the conclusion. The later estimates (3.6) and (3.7) follow from integration by parts, Lemma 1, Cauchy–Schwarz, and Lemma 2, again without importing the desired bound. No parameter is fitted, no uniqueness theorem is invoked, and no ansatz is smuggled in via citation. The references to the authors' earlier work [3] and to [8] are cited as background or motivation for the flat-case inequality and the Bernis-type estimate, but the proofs here are fully written out and do not rely on those references as authoritative inputs. Even if equation (3.5) contains a coefficient error, as a skeptic might argue, that is a correctness or repairability issue, not a circularity issue: the argument is still an independent derivation from stated lemmas rather than a restatement of its inputs. Hence the manuscript exhibits no significant circularity.
Assumptions & free parameters
assumptions (5)
- standard math Bochner formula (2.1): 1/2 Δ|∇u|² = g(∇u,∇Δu) + |∇²u|² + Ric(∇u,∇u)
- standard math Integration by parts formula (2.4): ∫ g(∇f,∇u) dVol = ∫ f Δu dVol on closed manifolds
- standard math Trace inequality |Δf|² ≤ n|∇²f|² for symmetric Hessian (Lemma 2)
- domain assumption Positivity and smoothness of u
- domain assumption Compact, boundary-free manifold
Cite this review
Pith. "Pith review of A functional inequality between Hessians in spaces with non-zero curvature." pith.science (2026). https://pith.science/paper/HVLYK2PD
@misc{pith2026250607292,
author = {Pith},
title = {Pith review of: A functional inequality between Hessians in spaces with non-zero curvature},
year = {2026},
howpublished = {\url{https://pith.science/paper/HVLYK2PD}},
note = {Machine review of arXiv:2506.07292}
}
read the original abstract
A version of the recent functional inequality between the Hessians of the square root and the logarithm of positive functions is proven in spaces with non-zero curvature.
Forward citations
Cited by 1 Pith paper
-
Nonlinear Fisher information, corresponding functional inequalities and applications
A new nonlinear Fisher information identity is used to prove global existence for the critical 1D Keller-Segel system with D=(1+u)^{-2}, S=u(1+u)^{-1}.
Reference graph
Works this paper leans on
-
[1]
P. Bies, T. Cie\'slak , Global-in-time regular unique solutions with positive temperature to one-dimensional thermoelasticity, SIAM J. Math. Anal. 55 , (2023) 7024–-7038
work page 2023
-
[2]
P. Bies, T. Cie\'slak , Time-asymptotics of a heated string, Math. Annalen 391 , (2025) 5941–-5964
work page 2025
-
[3]
T. Cie\'slak , M. Fuest , K. Hajduk , M. Sier\. z e ga , On existence of global solutions for the 3D chemorepulsion system, Z. Anal. Anwend. 43 , (2024), 49--65
work page 2024
-
[4]
Hamilton , A matrix Harnack estimate for the heat equation, Comm
R. Hamilton , A matrix Harnack estimate for the heat equation, Comm. Anal. Geom. 1 , (1993) 113--126
work page 1993
-
[5]
S. Li, J. Yang , Characterisations for the depletion of reactant in a one-dimensional dynamic combustion model, Phys. D 461 (2024), article no. 134099
work page 2024
-
[6]
Perelman , The entropy formula for the Ricci flow and its geometric applications, arXiV, 2002
G. Perelman , The entropy formula for the Ricci flow and its geometric applications, arXiV, 2002
work page 2002
-
[7]
I. Stavrov , Curvature of Space and Time, with an Introduction to Geometric Analysis, Student Mathematical Library, vol. 93, AMS, 2020
work page 2020
-
[8]
M. Winkler , Global large-data solutions in a chemotaxis-(Navier-)Stokes system modeling cellular swimming in fluid drops, Comm. Partial Differential Equations 37 (2012), 319–-351
work page 2012
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.