REVIEW 5 major objections 5 minor 43 references
Heat kernel estimate on weighted Riemannian manifolds under lower $N$-Ricci curvature bounds with $\epsilon$-range and it's application
T0 review · 5 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read The paper proves two-sided Gaussian heat kernel bounds on weighted Riemannian manifolds with lower N-Ricci curvature in the ε-range, under a two-sided bound on the weight, and derives Liouville, uniqueness, spectral, and gradient-estimate…
desk verdict A promising but incomplete extension: the heat-kernel upper bound is plausible, but the lower bound and two applications have real gaps. 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 $\phi$-heat kernel $H^\phi(x,y,t)$, the minimal positive fundamental solution of $(\partial_t-\Delta_\phi)u=0$, with $\Delta_\phi=\Delta-\langle\nabla\phi,\nabla\cdot\rangle$ self-adjoint on $L^2(\mu)$. The machinery consists of four linked inequalities: the $\phi$-Laplacian comparison and Bishop–Gromov volume comparison for the $\varepsilon$-range bound; the resulting local Sobolev, Neumann–Poincaré, and volume-doubling estimates; the parabolic mean value inequality and Moser's Harnack inequality; and Davies' double-integral estimate, combined with a Li–Yau-type Harnack inequality. Each step needs the two-sided weight bound $0<a\le e^{2(1-\varepsilon)\phi/(n-1)}\le b$ to keep the curvature parameter $c=(1-\varepsilon^2(N-n)/(N-1))/(n-1)$ effective.
What would settle it
Compute the $\phi$-heat kernel explicitly on a model warped-product space where $\mathrm{Ric}_N^\phi$ equals the $\varepsilon$-range bound with equality, and check whether the Gaussian exponent and the volume prefactor in Theorem 1.1 are reproduced; a discrepancy in the power of $V_x(\sqrt t)$ or in the rate $d^2/(4(1+\varepsilon)t)$ would falsify the estimate.
Extended reading notes
Core claim
The central assertion is Theorem 1.1: for all $x,y\in M$ and $t>0$, the minimal positive heat kernel of $\Delta_\phi$ satisfies a Gaussian upper bound of the form $C(\varepsilon)E'_2\exp(2D_2\sqrt{K_\varepsilon(q,10\sqrt t)}\,/\sqrt t)\,(V_x(\sqrt t)V_y(\sqrt t))^{-1/2}\exp(-d^2(x,y)/4(1+\varepsilon)t)$ and a lower bound of the form $C'_{12}\exp(-C'_{13}t - C'_{14}d^2(x,y)/t)V_x(\sqrt t)^{-1}$. Here the constants $E'_2,D_2$ depend on $a,b,n,\nu$; the $C'_i$ depend on $n,\nu,a,b,c,K$; and $C(\varepsilon)\to\infty$ as $\varepsilon\to0$, while $V_x(\sqrt t)$ is the weighted volume of the geodesic ball of radius $\sqrt t$ centered at $x$. The proof is a comparison-geometry chain: the $\varepsilon$-range curvature condition gives a $\phi$-Laplacian comparison and a Bishop–Gromov volume comparison; these feed a local Sobolev inequality and Moser iteration, yielding the parabolic mean value and Harnack inequalities; Davies' double-integral estimate gives the Gaussian upper bound, and a Li–Yau-type Harnack inequality converts the upper bound into the lower bound.
Load-bearing premise
The proof collapses if the stretching factor $e^{2(1-\varepsilon)\phi(x)/(n-1)}$ is not trapped between two fixed positive constants $a$ and $b$ on the whole manifold, since that trap is what makes the Laplacian comparison, volume comparison, and Sobolev inequality quantitative.
Editorial extensions
If this is right
- Any nonnegative $L^1_\phi(\mu)$-integrable $\phi$-subharmonic function is constant; in particular, every $L^1(\mu)$ harmonic function is constant.
- Every $L^1_\phi$ solution of the weighted heat equation is uniquely determined by its initial data.
- The eigenvalues of $\Delta_\phi$ admit explicit lower bounds; when $K=0$, $\lambda_k \ge C(k+1)^{2c/(c+1)}/d^2$ with $C$ depending only on $n,\nu,a,b$ and $d$ the diameter.
- A Li–Yau-type gradient estimate holds for positive solutions of the weighted heat equation under the constraint $\|\nabla\phi\|_{L^p(\mu)}\le V$ with $p>n$, partially answering the negative-dimensional $N$-Ricci question.
Reading between the lines
- The operative quantity in the estimates is the ratio $b/a$; this suggests that the same proof strategy could tolerate a slowly growing weight, with the ratio entering only through explicit constants and yielding polynomial volume-growth corrections instead of the exponential factors here.
- Because the $\varepsilon$-range formulation was designed for weighted Finsler and Lorentzian settings, the same Harnack-to-kernel route may transfer to those geometries once a parabolic Harnack inequality and a Davies-type double-integral estimate are available.
- Testing the gradient estimate on explicit model weights with known heat kernels would show whether $p>n$ is a genuine threshold or an artifact of the proof.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper studies weighted Riemannian manifolds with lower N-Ricci curvature in the ε-range and a two-sided bound on e^{2(1-ε)φ/(n-1)}. The main result (Theorem 1.1) is a pair of Gaussian upper and lower bounds for the φ-heat kernel. The authors then apply the heat kernel bounds to prove an L1 Liouville theorem for φ-subharmonic functions, L1 uniqueness for the φ-heat equation, eigenvalue lower bounds for Δφ, and a Li-Yau-type gradient estimate under an Lp bound on |∇φ|. The proofs follow the standard Davies/Saloff-Coste framework, using comparison theorems of Lu-Minguzzi-Ohta and local Sobolev inequalities of Fujitani.
Significance. If Theorem 1.1 were proved, it would be a meaningful extension of heat kernel estimates to the ε-range curvature condition, with several geometric consequences. The paper also attempts a partial answer to a question of Ohta on negative N in Section 7. The structure is standard and the reliance on prior comparison and Sobolev results is explicit. However, as detailed below, the lower-bound proof and the Liouville theorem proof contain invalid steps, so the advertised results are not presently established.
major comments (5)
- [Section 4, Eq. (4.11)] The application of Proposition 4.3 with s=0 is invalid because the Harnack inequality (4.8) is stated only for 0<s<t and contains the divergent term (t-s)/s. Consequently the estimate 1 = u(x,0) ≤ e^{C} u(x,t/2) cannot be justified, and this breaks the derivation of the diagonal lower bound (4.12) and the lower bound (4.15) in Theorem 1.1.
- [Section 4, Eq. (4.12)] Even if the Harnack application were valid, the Cauchy-Schwarz step in (4.11) yields a bound on H(x,x,t) with volume factor V_x(2√t), not a bound on H(x,x,t/2) with volume factor V_x(√2t) as claimed in (4.12). The time and volume arguments need to be reconciled before the stated diagonal lower bound follows.
- [Section 5, Eq. (5.4)] The parabolic mean value inequality (3.1) is applied to the time-independent function h(x,t)≡h(x), which is only assumed to be a nonnegative L1 subharmonic function and is not a solution of the φ-heat equation. Therefore (5.4) is not justified. This estimate is used to control the boundary integrals in Proposition 5.3, so the L1-Liouville theorem (Theorem 1.2) and Theorem 5.5 are not established by the given proof.
- [Section 7, Lemma 7.1] Uniqueness for the auxiliary equation (7.8) is attributed to the Liouville theorem of Section 5, but that theorem concerns L1 subharmonic functions and does not directly imply uniqueness for bounded solutions of this linear parabolic equation. A standard maximum principle or semigroup argument is needed for the uniqueness claim.
- [Section 2, Theorem 2.6] The assumption in Theorem 2.6 is stated as 0<a≤ e^{2(ε-1)φ/(N-1)} ≤ b, while every other theorem in the paper uses e^{2(1-ε)φ/(n-1)}. Since Theorem 2.6 underpins the local Sobolev inequality used throughout, this inconsistency must be resolved.
minor comments (5)
- [Title] The title contains "it's application"; it should read "its application".
- [Throughout] The word "kernal" is used instead of "kernel", for example in Section 3 and in the statement of Theorem 1.1.
- [Section 4, Eq. (4.14)] The exponential term in (4.14) appears to have an unbalanced parenthesis and an unclear factor involving √2t/a; please check the formula.
- [Section 6, Theorem 6.2] The formula for λ_k in (6.7) has an extra parenthesis after the exponential term; the expression should be cleaned up.
- [Section 3, Lemma 3.4] The proof of Lemma 3.4 is only sketched; since this weighted Poincaré inequality is a key ingredient, the authors should provide full details or a precise reference to the argument in [30].
Circularity Check
No circularity: heat-kernel bounds derive from external comparison/Sobolev/Davies inputs; the only in-paper dependency (Lemma 7.1 on the Liouville theorem) is acyclic.
full rationale
I walked the claimed derivation chain. Theorem 1.1's Gaussian upper and lower bounds are proven from the Lu-Minguzzi-Ohta Laplacian and volume comparison theorems (Theorems 2.1 and 2.3), Fujitani's local Sobolev inequality (Theorem 2.8), the Davies double-integral estimate (Lemma 4.1, cited from external work), and Moser-iteration mean-value/Harnack inequalities developed in Section 3. No constant in the heat-kernel estimate is fitted to the heat kernel or to the conclusion; all constants are explicit functions of n, nu, a, b, c, K and epsilon. The lower bound uses the Li-Yau-type Harnack inequality (4.8), which is itself derived from the earlier parabolic Harnack inequality (Theorem 3.7), so the proof chain is acyclic. Section 5's Liouville theorem uses the heat-kernel upper bound and stochastic completeness; Theorem 5.5 and Section 6 then use the Liouville theorem and heat-kernel bounds. The only in-paper dependency that could look self-referential is Lemma 7.1, where the authors write that uniqueness 'is guaranteed by the Liouville theorem established in Section 5'; however, Theorem 1.2 is proved before and independently of Section 7, so this is a logical dependency, not circular reasoning. There are no load-bearing self-citations by the present authors, no fitted input renamed as a prediction, and no ansatz smuggled in via citation. The reviewer's noted concern about the Harnack application at (4.11) is a possible mathematical gap in the lower-bound proof, not a circularity, and is outside the scope of this pass.
Assumptions & free parameters
assumptions (6)
- standard math Laplacian comparison theorem of Lu-Minguzzi-Ohta under lower N-Ricci curvature in the epsilon-range (Theorem 2.1).
- standard math Bishop-Gromov-type volume comparison and volume doubling for weighted manifolds (Theorem 2.3, Corollaries 2.4 and 2.5).
- standard math Fujitani's local Sobolev inequality under lower N-Ricci curvature with epsilon-range (Theorem 2.8).
- standard math Davies double integral estimate for the heat kernel (Lemma 4.1).
- ad hoc to paper The auxiliary J-PDE in Lemma 7.1 has a unique solution satisfying the stated lower bounds.
- domain assumption Domain assumptions: complete smooth weighted Riemannian manifold, 0<a<=e^{2(1-epsilon)phi/(n-1)}<=b, and Ric_N^phi >= K e^{4(epsilon-1)phi/(n-1)} g.
Cite this review
Pith. "Pith review of Heat kernel estimate on weighted Riemannian manifolds under lower $N$-Ricci curvature bounds with $\epsilon$-range and it's application." pith.science (2026). https://pith.science/paper/F6563OKX
@misc{pith2026250519113,
author = {Pith},
title = {Pith review of: Heat kernel estimate on weighted Riemannian manifolds under lower $N$-Ricci curvature bounds with $\epsilon$-range and it's application},
year = {2026},
howpublished = {\url{https://pith.science/paper/F6563OKX}},
note = {Machine review of arXiv:2505.19113}
}
abstract
In this paper, we establish a parabolic Harnack inequality for positive solutions of the $\phi$-heat equation and prove Gaussian upper and lower bounds for the $\phi$-heat kernel on weighted Riemannian manifolds under lower $N$-Ricci curvature bound with $\varepsilon$-range. Building on these results, we demonstrate: The $L^1_\phi$-Liouville theorem for $\phi$-subharmonic functions, $L^1_\phi$-uniqueness property for solutions of the $\phi$-heat equation and lower bounds for eigenvalues of the weighted Laplacian $\Delta_\phi$. Furthermore, leveraging the Gaussian upper bound of the weighted heat kernel, we construct a Li-Yau-type gradient estimate for the positive solution of weighted heat equation under a weighted $L^p(\mu)$-norm constraint on $|\nabla\phi|^2$.
Reference graph
Works this paper leans on
- [1]
-
[2]
D. Bakry, Z.-M. Qian, Some new results on eigenvectors via dimension, diameter and Ricci curvature, Advances in Mathematics, vol. 155, pp. 98–153, 2000
work page 2000
-
[3]
B. Chow, D. Knopf,The Ricci flow: an introduction, Mathematical Surgery and Monographs, 110. American Mathematical Society, Providence, RI, 2004
work page 2004
-
[4]
E. B. Davies,Heat Kernels and Spectral Theory, Cambridge Tracts in Mathematics, vol. 92, Cambridge University Press, Cambridge, 1989
work page 1989
-
[5]
Y. Fujitani, Some functional inequalities under lower Bakry–Émery–Ricci curvature bounds withε- range,manuscripta math., vol. 175, pp. 75–95, 2024
work page 2024
-
[6]
Y. Fujitani, Analysis of harmonic functions under lower bounds ofN−weighted Ricci curvature with ε−range,Journal of Mathematical Analysis and Applications, vol. 542, no. 2, p. 128848, 2025
work page 2025
-
[7]
Grigor’yan, Heat Kernel and Analysis on Manifolds, AMS/IP Studies in Advanced Mathematics, vol
A. Grigor’yan, Heat Kernel and Analysis on Manifolds, AMS/IP Studies in Advanced Mathematics, vol. 47. American Mathematical Society, Providence, RI; International Press, Boston, MA, 2009
work page 2009
-
[8]
G. J. Galloway, M. A. Khuri, E. Woolgar, A Bakry-Émery almost splitting result with applications to the topology of black holes,Communications in Mathematical Physics, vol. 384, no. 3, pp. 2067–2101, 2021
work page 2021
Show all 43 references
-
[9]
Hamilton, The formation of singularities in the Ricci flow, inSurveys in Differential Geometry, Vol
R. Hamilton, The formation of singularities in the Ricci flow, inSurveys in Differential Geometry, Vol. II (Cambridge, MA, 1993), pp. 7–136, Int. Press, Cambridge, MA, 1995
1993
-
[10]
Karp and P
L. Karp and P. Li,The heat equation on complete Riemannian manifolds, unpublished paper, 1982
1982
-
[11]
Kuwae and X.-D
K. Kuwae and X.-D. Li, New Laplacian comparison theorem and its applications to diffusion processes on Riemannian manifolds,Bulletin of the London Mathematical Society54, no. 2 (2022): 404-427. 30 WEN-QI LI, ZHIKAI ZHANG
2022
-
[12]
Kuwae and Y
K. Kuwae and Y. Sakurai, Rigidity phenomena on lower N-weighted Ricci curvature bounds with ϵ-range for nonsymmetric Laplacian,Illinois Journal of Mathematics, vol. 65, no. 4, pp. 847–868, 2021
2021
-
[13]
Kuwae and Y
K. Kuwae and Y. Sakurai, Comparison geometry of manifolds with boundary under lower N-weighted Ricci curvature bounds withϵ-range,Journal of the Mathematical Society of Japan, vol. 1, no. 1, pp. 1–22, 2022
2022
-
[14]
Kuwae and Y
K. Kuwae and Y. Sakurai, Lower N-weighted Ricci curvature bound withϵ-range and displacement convexity of entropies,Journal of Topology and Analysis, vol. 0, pp. 1–26, 2023
2023
-
[15]
J. Lott, C. Villani, Ricci curvature for metric-measure spaces via optimal transport,Annals of Math- ematics, vol. 169, no. 3, pp. 903–991, 2009
2009
-
[16]
Li, Geometric analysis
P. Li, Geometric analysis. Cambridge Studies in Advanced Mathematics, 134. Cambridge University Press. (2012)
2012
-
[17]
Li, Uniqueness ofL 1 solutions for the Laplace equation and the heat equation on Riemannian manifolds,Journal of Differential Geometry, vol
P. Li, Uniqueness ofL 1 solutions for the Laplace equation and the heat equation on Riemannian manifolds,Journal of Differential Geometry, vol. 20, pp. 447–457, 1984
1984
-
[18]
P. Li, R. Schoen,Lp and mean value properties of subharmonic functions on Riemannian manifolds, Acta Mathematica, 153 (1984), no. 3-4, 279-301
1984
-
[19]
Li, S.-T
P. Li, S.-T. Yau, On the parabolic kernel of the Schrödinger operator,Acta Mathematica, vol. 156, pp. 153–201, 1986
1986
-
[20]
Li, Liouville theorems for symmetric diffusion operators on complete Riemannian manifolds, Journal of Mathematics Pure and Applied, vol
X.-D. Li, Liouville theorems for symmetric diffusion operators on complete Riemannian manifolds, Journal of Mathematics Pure and Applied, vol. 84, pp. 1295–1361, 2005
2005
-
[21]
Li, Li-Yau-Hamilton estimates and Bakry-Émery-Ricci curvature,Nonlinear Anal.113 (2015), 1–32, Elsevier, Amsterdam
Y. Li, Li-Yau-Hamilton estimates and Bakry-Émery-Ricci curvature,Nonlinear Anal.113 (2015), 1–32, Elsevier, Amsterdam
2015
-
[22]
Y. Lu, E. Minguzzi, and S.-i. Ohta, Geometry of weighted Lorentz-Finsler manifolds I: Singularity theorems,Journal of the London Mathematical Society104, no. 1 (2021): 362-393
2021
-
[23]
Y. Lu, E. Minguzzi, and S.-i. Ohta, Comparison theorems on weighted Finsler manifolds and space- times withε-range,Analysis and Geometry in Metric Spaces, vol. 10, no. 1, pp. 1-30, 2022
2022
-
[24]
Munteanu and J
O. Munteanu and J. Wang, Geometry of manifolds with densities,Advances in Math. 259 (2014), 269–305
2014
-
[25]
Ohta,(K,N)-convexity and the curvature-dimension condition for negative N, The Journal of Geometric Analysis26, no
S.-i. Ohta,(K,N)-convexity and the curvature-dimension condition for negative N, The Journal of Geometric Analysis26, no. 3 (2016): 2067–2096
2016
-
[26]
Ohta,Comparison Finsler geometry, Springer Monographs in Mathematics, Springer, Cham, [2021] ©2021
S. Ohta,Comparison Finsler geometry, Springer Monographs in Mathematics, Springer, Cham, [2021] ©2021
2021
-
[27]
X. R. Olivé, S. Seto, Gradient estimates of a nonlinear parabolic equation under integral Bakry-Émery Ricci condition,Differential Geometry and its Applications, vol. 98, pp. 102222, 2025
2025
-
[28]
Perelmann, The entropy formula for the Ricci flow and its geometric applications
G. Perelmann, The entropy formula for the Ricci flow and its geometric applications. arXiv:math.DG/0211159. (2002)
2002
-
[29]
Saloff-Coste, Uniformly elliptic operators on Riemannian manifolds.J
L. Saloff-Coste, Uniformly elliptic operators on Riemannian manifolds.J. Differential Geom.36, 417–450 (1992)
1992
-
[30]
Saloff-Coste, Aspects of Sobolev-Type Inequalities
L. Saloff-Coste, Aspects of Sobolev-Type Inequalities. London Mathematical Society Lecture Note Series, vol. 289. Cambridge University Press, Cambridge (2002)
2002
-
[31]
Sturm, On the geometry of metric measure spaces
K.-T. Sturm, On the geometry of metric measure spaces. I,Acta Math., vol. 196, no. 1, pp. 65-131, 2006
2006
-
[32]
Sturm, On the geometry of metric measure spaces
K.-T. Sturm, On the geometry of metric measure spaces. II,Acta Math., vol. 196, no. 1, pp. 133-177, 2006
2006
-
[33]
Pigola, M
S. Pigola, M. Rigoli, and A. G. Setti, Vanishing theorems on Riemannian manifolds, and geometric applications,Journal of Functional Analysis, vol. 229, no. 2, pp. 424-461, 2005
2005
-
[34]
X. Song, L. Wu, M. Zhu, Heat kernel estimate for the Laplace-Beltrami operator under Bakry-Émery Ricci curvature condition and applications,Journal of Geometry and Physics, vol. 194, Paper No. 104997, 28, 2023
2023
-
[35]
L. Wu, X. Song, M. Zhu, Eigenvalue estimates for Beltrami-Laplacian under Bakry-Émery Ricci curvature condition,Potential Analysis, vol. 60, no. 2, pp. 597–614, 2024
2024
-
[36]
G.-F. Wei, W. Wylie, Comparison geometry for the Bakry–Émery Ricci tensor,Journal of Differential Geometry, vol. 83, pp. 377–405, 2009. 31
2009
-
[37]
Wu,L p-Liouville theorems on complete smooth metric measure spaces,”Bulletin des Sciences Mathématiques, vol
J.-Y. Wu,L p-Liouville theorems on complete smooth metric measure spaces,”Bulletin des Sciences Mathématiques, vol. 138, no. 4, pp. 510-539, 2014
2014
-
[38]
Wu and P
J.-Y. Wu and P. Wu, Heat kernel on smooth metric measure spaces with nonnegative curvature,Math. Ann.362 (2015), no. 3-4, 717-742
2015
-
[39]
Wu and P
J.-Y. Wu and P. Wu, Heat kernel on smooth metric measure spaces and applications,Math. Ann.365 (2016), no. 1-2, 309-344
2016
-
[40]
Wylie and D
W. Wylie and D. Yeroshkin, On the geometry of Riemannian manifolds with density, arXiv preprint arXiv:1602.08000, (2016)
2016 arXiv
-
[41]
Q. S. Zhang, M. Zhu, New volume comparison results and applications to degeneration of Riemannian metrics.Adv. Math., 352, 1096-1154. (2019)
2019
-
[42]
Zhang, M
Q.S. Zhang, M. Zhu, Li-Yau gradient bounds on compact manifolds under nearly optimal curvature conditions,J. Funct. Anal., vol. 275 (2), pp. 478–515, 2018
2018
-
[43]
Q. S. Zhang, M. Zhu, Bounds on harmonic radius and limits of manifolds with bounded Bakry-Emery Ricci curvature,Journal of Geometric Analysis, vol. 29, no. 3, pp. 2082–2123, 2019. Wen-Qi Li and Zhikai Zhang, School of Mathematical Sciences, Key Laboratory of MEA (Ministry of E...
2019
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.