From Harnack inequality to heat kernel estimates on metric measure spaces and applications

Luca Tamanini

arxiv: 1907.07163 · v1 · pith:MSVLELVSnew · submitted 2019-07-16 · 🧮 math.PR · math.AP

From Harnack inequality to heat kernel estimates on metric measure spaces and applications

Luca Tamanini This is my paper

Pith reviewed 2026-05-24 20:35 UTC · model grok-4.3

classification 🧮 math.PR math.AP

keywords Harnack inequalityheat kernelGaussian estimatesmetric measure spaceslogarithmic Sobolev inequalityinfinitesimally HilbertianRCD spaces

0 comments

The pith

A dimension-free Harnack inequality suffices to deduce sharp upper Gaussian estimates for heat kernels on infinitesimally Hilbertian metric measure spaces.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper shows that if a metric measure space is infinitesimally Hilbertian and its heat semigroup has an integral kernel representation, then a dimension-free Harnack inequality implies a sharp upper Gaussian bound on that kernel. It proves the local logarithmic Sobolev inequality along the way. These findings are new even when restricted to the smoother RCD(K,∞) spaces. The result links functional inequalities directly to kernel estimates without additional dimension assumptions.

Core claim

The author establishes that a dimension-free Harnack inequality on an infinitesimally Hilbertian metric measure space, where the heat semigroup admits an integral representation via a kernel, is sufficient to deduce a sharp upper Gaussian estimate for the kernel. The local logarithmic Sobolev inequality is obtained as an intermediate step.

What carries the argument

The dimension-free Harnack inequality, which serves as the starting point to derive the Gaussian upper bound through the kernel representation of the heat semigroup.

If this is right

The local logarithmic Sobolev inequality holds in these spaces.
Sharp upper Gaussian estimates apply to the heat kernel.
Both results extend to RCD(K,∞) spaces.
The implication holds without requiring a finite dimension bound.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

This approach might simplify proofs of heat kernel bounds in abstract metric settings by reducing them to verifying Harnack inequalities.
Similar implications could be explored for other functional inequalities like Poincare or Sobolev types in the same framework.
Applications may include analysis on infinite-dimensional spaces or fractals where dimension-free properties are key.

Load-bearing premise

The space is infinitesimally Hilbertian and the heat semigroup admits an integral kernel representation.

What would settle it

An example of an infinitesimally Hilbertian metric measure space with a dimension-free Harnack inequality but lacking the corresponding sharp upper Gaussian estimate for its heat kernel would disprove the result.

read the original abstract

Aim of this short note is to show that a dimension-free Harnack inequality on an infinitesimally Hilbertian metric measure space where the heat semigroup admits an integral representation in terms of a kernel is suffcient to deduce a sharp upper Gaussian estimate for such kernel. As intermediate step, we prove the local logarithmic Sobolev inequality (known to be equivalent to a lower bound on the Ricci curvature tensor in smooth Riemannian manifolds). Both results are new also in the more regular framework of $RCD(K,\infty)$ spaces.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Short note supplies a clean one-directional reduction from dimension-free Harnack to sharp Gaussian heat-kernel upper bounds on infinitesimally Hilbertian spaces, via local log-Sobolev, and claims both steps are new even in RCD(K,∞).

read the letter

The central contribution is the implication: on an infinitesimally Hilbertian metric measure space whose heat semigroup has a kernel, a dimension-free Harnack inequality yields the sharp upper Gaussian bound on that kernel, with a local logarithmic Sobolev inequality proved along the way. Both the implication and the local log-Sobolev are stated to be new inside the RCD(K,∞) setting that the paper itself takes as the current benchmark. That is the useful piece. It turns a known equivalence direction from the smooth Riemannian case into a tool that can be applied in the non-smooth setting without extra assumptions beyond those already needed for the kernel to exist. The argument is presented as short and direct, with the structural hypotheses (infinitesimally Hilbertian plus integral kernel representation) stated explicitly up front, so there is no hidden circularity in the claim. The local log-Sobolev step is the part that does the real work and is the natural place where the extension from smooth to RCD happens. No load-bearing gaps are visible from the abstract and the stress-test note. The result remains one-directional, but the paper does not pretend otherwise. This is a specialized technical note aimed at people already working on heat kernels and curvature bounds in metric measure spaces. It adds a reduction that can be cited when one has Harnack and wants the kernel bound, rather than a broad new theory. The math looks internally consistent and the citation pattern to prior RCD work is appropriate. A serious referee should check the details of the local Sobolev derivation and the sharpness of the constants, but the paper is worth sending out.

Referee Report

0 major / 3 minor

Summary. The manuscript is a short note claiming that, on an infinitesimally Hilbertian metric measure space whose heat semigroup admits an integral kernel representation, a dimension-free Harnack inequality implies a sharp upper Gaussian bound on the heat kernel, with a local logarithmic Sobolev inequality obtained as an intermediate step. Both implications are asserted to be new even when restricted to the RCD(K,∞) class.

Significance. If the argument is correct, the note supplies a direct implication in the equivalence chain between Harnack, Sobolev, and Gaussian estimates that had previously been established only in the smooth Riemannian setting. The dimension-free character of the Harnack assumption and the explicit applicability to RCD spaces constitute the main added value.

minor comments (3)

Abstract, line 1: 'suffcient' is a typographical error and should read 'sufficient'.
The title announces 'applications' yet the abstract and the body do not list or develop any concrete applications beyond the two stated implications; a short clarifying sentence would remove the mismatch.
The manuscript repeatedly refers to 'the local logarithmic Sobolev inequality' without an explicit statement of the precise form used (e.g., the precise cutoff function or the measure-theoretic formulation); adding the displayed inequality would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment and recommendation of minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation is one-directional from stated hypotheses

full rationale

The paper asserts a one-way implication: dimension-free Harnack inequality on an infinitesimally Hilbertian m.m. space admitting a heat kernel yields (via local log-Sobolev) a sharp upper Gaussian bound on that kernel. The abstract and reader's summary present this as an extension of known equivalences from the smooth case, with no equations, fitted parameters, or self-citations shown to reduce the target estimate to the input by construction. The structural assumptions (infinitesimally Hilbertian + kernel representation) are explicitly required rather than smuggled in, and the result is claimed to be new even in RCD(K,∞) spaces. No load-bearing step matches any of the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The result rests on the standard definitions and properties of infinitesimally Hilbertian metric measure spaces and RCD(K,∞) spaces drawn from prior literature; no new free parameters or invented entities are introduced in the abstract.

axioms (3)

domain assumption The space is infinitesimally Hilbertian
Explicitly required in the statement of the main implication.
domain assumption The heat semigroup admits an integral representation via a kernel
Required for the kernel estimate to be defined.
domain assumption Standard properties of RCD(K,∞) spaces
Invoked when claiming novelty inside this class.

pith-pipeline@v0.9.0 · 5602 in / 1471 out tokens · 23818 ms · 2026-05-24T20:35:40.792044+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

28 extracted references · 28 canonical work pages · 1 internal anchor

[1]

Ambrosio, N

L. Ambrosio, N. Gigli, A. Mondino, and T. Rajala , Riemannian Ricci curvature lower bounds in metric measure spaces with σ -ﬁnite measure , Trans. Amer. Math. Soc., 367 (2015), pp. 4661–4701

work page 2015
[2]

Ambrosio, N

L. Ambrosio, N. Gigli, and G. Savar ´ e, Gradient ﬂows in metric spaces and in the space of probability measures, Lectures in Mathematics ETH Z¨ urich, Birkh¨ auser Verlag, Basel,second ed., 2008

work page 2008
[3]

, Density of Lipschitz functions and equivalence of weak grad ients in metric measure spaces , Rev. Mat. Iberoam., 29 (2013), pp. 969–996

work page 2013
[4]

Math., 195 (2014), pp

, Calculus and heat ﬂow in metric measure spaces and applicati ons to spaces with Ricci bounds from below , Invent. Math., 195 (2014), pp. 289–391

work page 2014
[5]

J., 163 (2014), pp

, Metric measure spaces with Riemannian Ricci curvature boun ded from below , Duke Math. J., 163 (2014), pp. 1405–1490

work page 2014
[6]

Arnaudon, A

M. Arnaudon, A. Thalmaier, and F.-Y. W ang , Gradient estimates and Harnack inequalities on non-compact Riemannian manifolds , Stochastic Processes and their Applications, 119 (2009), pp. 3653–3670

work page 2009
[7]

Bakry, I

D. Bakry, I. Gentil, and M. Ledoux , Analysis and geometry of Markov diﬀusion opera- tors, vol. 348 of Grundlehren der Mathematischen Wissenschaften [Fun damental Principles of Mathematical Sciences], Springer, Cham, 2014

work page 2014
[8]

Br ´ ezis and E

H. Br ´ ezis and E. Lieb , A relation between pointwise convergence of functions and c onvergence of functionals , Proceedings of the American Mathematical Society, 88 (1983), p p. 486–490

work page 1983
[9]

Cheeger , Diﬀerentiability of Lipschitz functions on metric measure spaces, Geom

J. Cheeger , Diﬀerentiability of Lipschitz functions on metric measure spaces, Geom. Funct. Anal., 9 (1999), pp. 428–517

work page 1999
[10]

Da Prato, M

G. Da Prato, M. R ¨ockner, and F.-Y. W ang, Singular stochastic equations on Hilbert spaces: Harnack inequalities for their transition semigroups , Journal of Functional Analysis, 257 (2009), pp. 992–1017

work page 2009
[11]

Garofalo and A

N. Garofalo and A. Mondino , Li-Yau and Harnack type inequalities in RCD∗(K, N ) metric measure spaces, Nonlinear Anal., 95 (2014), pp. 721–734

work page 2014
[12]

Nonsmooth differential geometry - An approach tailored for spaces with Ricci curvature bounded from below

N. Gigli , Nonsmooth diﬀerential geometry - an approach tailored for s paces with Ricci curvature bounded from below. Accepted at Mem. Amer. Math. Soc., arXiv:1407.0809, 2014

work page internal anchor Pith review Pith/arXiv arXiv 2014
[13]

, On the diﬀerential structure of metric measure spaces and ap plications, Mem. Amer. Math. Soc., 236 (2015), pp. vi+91

work page 2015
[14]

Gong and F.-Y

F.-Z. Gong and F.-Y. W ang , Heat kernel estimates with application to compactness of ma ni- folds, Quarterly Journal of Mathematics, 52 (2001), pp. 171–180

work page 2001
[15]

Grigor’yan , Heat kernel upper bounds on a complete non-compact manifold , Revista Matem´ atica Iberoamericana, 10 (1994), pp

A. Grigor’yan , Heat kernel upper bounds on a complete non-compact manifold , Revista Matem´ atica Iberoamericana, 10 (1994), pp. 395–452

work page 1994
[16]

, Integral maximum principle and its applications , Proceedings of the Royal Society of Ed- inburgh Section A: Mathematics, 124 (1994), pp. 353–362

work page 1994
[17]

Heinonen , Nonsmooth calculus, Bull

J. Heinonen , Nonsmooth calculus, Bull. Amer. Math. Soc. (N.S.), 44 (2007), pp. 163–232

work page 2007
[18]

Jiang , The Li-Yau inequality and heat kernels on metric measure spa ces, J

R. Jiang , The Li-Yau inequality and heat kernels on metric measure spa ces, J. Math. Pures Appl. (9), 104 (2015), pp. 29–57

work page 2015
[19]

Jiang, H

R. Jiang, H. Li, and H.-C. Zhang , Heat Kernel Bounds on Metric Measure Spaces and Some Applications, Potential Analysis, 44 (2016), pp. 601–627. 13

work page 2016
[20]

Li , Dimension-Free Harnack Inequalities on RCD(K, ∞ ) Spaces, Journal of Theoretical Prob- ability, 29 (2016), pp

H. Li , Dimension-Free Harnack Inequalities on RCD(K, ∞ ) Spaces, Journal of Theoretical Prob- ability, 29 (2016), pp. 1280–1297

work page 2016
[21]

Lott and C

J. Lott and C. Villani , Ricci curvature for metric-measure spaces via optimal tran sport, Ann. of Math. (2), 169 (2009), pp. 903–991

work page 2009
[22]

Shanmugalingam , Newtonian spaces: an extension of Sobolev spaces to metric m easure spaces, Rev

N. Shanmugalingam , Newtonian spaces: an extension of Sobolev spaces to metric m easure spaces, Rev. Mat. Iberoamericana, 16 (2000), pp. 243–279

work page 2000
[23]

Sturm , Heat kernel bounds on manifolds

K.-T. Sturm , Heat kernel bounds on manifolds. , Mathematische Annalen, 292 (1992), pp. 149– 162

work page 1992
[24]

, Analysis on local Dirichlet spaces. II. Upper Gaussian esti mates for the fundamental solu- tions of parabolic equations , Osaka J. Math., 32 (1995), pp. 275–312

work page 1995
[25]

I , Acta Math., 196 (2006), pp

, On the geometry of metric measure spaces. I , Acta Math., 196 (2006), pp. 65–131

work page 2006
[26]

II , Acta Math., 196 (2006), pp

, On the geometry of metric measure spaces. II , Acta Math., 196 (2006), pp. 133–177

work page 2006
[27]

W ang, Equivalence of dimension-free Harnack inequality and curv ature condition, Integral Equations and Operator Theory, 48 (2004), pp

F.-Y. W ang, Equivalence of dimension-free Harnack inequality and curv ature condition, Integral Equations and Operator Theory, 48 (2004), pp. 547–552

work page 2004
[28]

, Equivalent semigroup properties for the curvature-dimens ion condition , Bulletin des sci- ences mathematiques, 135 (2011), pp. 803–815. 14

work page 2011

[1] [1]

Ambrosio, N

L. Ambrosio, N. Gigli, A. Mondino, and T. Rajala , Riemannian Ricci curvature lower bounds in metric measure spaces with σ -ﬁnite measure , Trans. Amer. Math. Soc., 367 (2015), pp. 4661–4701

work page 2015

[2] [2]

Ambrosio, N

L. Ambrosio, N. Gigli, and G. Savar ´ e, Gradient ﬂows in metric spaces and in the space of probability measures, Lectures in Mathematics ETH Z¨ urich, Birkh¨ auser Verlag, Basel,second ed., 2008

work page 2008

[3] [3]

, Density of Lipschitz functions and equivalence of weak grad ients in metric measure spaces , Rev. Mat. Iberoam., 29 (2013), pp. 969–996

work page 2013

[4] [4]

Math., 195 (2014), pp

, Calculus and heat ﬂow in metric measure spaces and applicati ons to spaces with Ricci bounds from below , Invent. Math., 195 (2014), pp. 289–391

work page 2014

[5] [5]

J., 163 (2014), pp

, Metric measure spaces with Riemannian Ricci curvature boun ded from below , Duke Math. J., 163 (2014), pp. 1405–1490

work page 2014

[6] [6]

Arnaudon, A

M. Arnaudon, A. Thalmaier, and F.-Y. W ang , Gradient estimates and Harnack inequalities on non-compact Riemannian manifolds , Stochastic Processes and their Applications, 119 (2009), pp. 3653–3670

work page 2009

[7] [7]

Bakry, I

D. Bakry, I. Gentil, and M. Ledoux , Analysis and geometry of Markov diﬀusion opera- tors, vol. 348 of Grundlehren der Mathematischen Wissenschaften [Fun damental Principles of Mathematical Sciences], Springer, Cham, 2014

work page 2014

[8] [8]

Br ´ ezis and E

H. Br ´ ezis and E. Lieb , A relation between pointwise convergence of functions and c onvergence of functionals , Proceedings of the American Mathematical Society, 88 (1983), p p. 486–490

work page 1983

[9] [9]

Cheeger , Diﬀerentiability of Lipschitz functions on metric measure spaces, Geom

J. Cheeger , Diﬀerentiability of Lipschitz functions on metric measure spaces, Geom. Funct. Anal., 9 (1999), pp. 428–517

work page 1999

[10] [10]

Da Prato, M

G. Da Prato, M. R ¨ockner, and F.-Y. W ang, Singular stochastic equations on Hilbert spaces: Harnack inequalities for their transition semigroups , Journal of Functional Analysis, 257 (2009), pp. 992–1017

work page 2009

[11] [11]

Garofalo and A

N. Garofalo and A. Mondino , Li-Yau and Harnack type inequalities in RCD∗(K, N ) metric measure spaces, Nonlinear Anal., 95 (2014), pp. 721–734

work page 2014

[12] [12]

Nonsmooth differential geometry - An approach tailored for spaces with Ricci curvature bounded from below

N. Gigli , Nonsmooth diﬀerential geometry - an approach tailored for s paces with Ricci curvature bounded from below. Accepted at Mem. Amer. Math. Soc., arXiv:1407.0809, 2014

work page internal anchor Pith review Pith/arXiv arXiv 2014

[13] [13]

, On the diﬀerential structure of metric measure spaces and ap plications, Mem. Amer. Math. Soc., 236 (2015), pp. vi+91

work page 2015

[14] [14]

Gong and F.-Y

F.-Z. Gong and F.-Y. W ang , Heat kernel estimates with application to compactness of ma ni- folds, Quarterly Journal of Mathematics, 52 (2001), pp. 171–180

work page 2001

[15] [15]

Grigor’yan , Heat kernel upper bounds on a complete non-compact manifold , Revista Matem´ atica Iberoamericana, 10 (1994), pp

A. Grigor’yan , Heat kernel upper bounds on a complete non-compact manifold , Revista Matem´ atica Iberoamericana, 10 (1994), pp. 395–452

work page 1994

[16] [16]

, Integral maximum principle and its applications , Proceedings of the Royal Society of Ed- inburgh Section A: Mathematics, 124 (1994), pp. 353–362

work page 1994

[17] [17]

Heinonen , Nonsmooth calculus, Bull

J. Heinonen , Nonsmooth calculus, Bull. Amer. Math. Soc. (N.S.), 44 (2007), pp. 163–232

work page 2007

[18] [18]

Jiang , The Li-Yau inequality and heat kernels on metric measure spa ces, J

R. Jiang , The Li-Yau inequality and heat kernels on metric measure spa ces, J. Math. Pures Appl. (9), 104 (2015), pp. 29–57

work page 2015

[19] [19]

Jiang, H

R. Jiang, H. Li, and H.-C. Zhang , Heat Kernel Bounds on Metric Measure Spaces and Some Applications, Potential Analysis, 44 (2016), pp. 601–627. 13

work page 2016

[20] [20]

Li , Dimension-Free Harnack Inequalities on RCD(K, ∞ ) Spaces, Journal of Theoretical Prob- ability, 29 (2016), pp

H. Li , Dimension-Free Harnack Inequalities on RCD(K, ∞ ) Spaces, Journal of Theoretical Prob- ability, 29 (2016), pp. 1280–1297

work page 2016

[21] [21]

Lott and C

J. Lott and C. Villani , Ricci curvature for metric-measure spaces via optimal tran sport, Ann. of Math. (2), 169 (2009), pp. 903–991

work page 2009

[22] [22]

Shanmugalingam , Newtonian spaces: an extension of Sobolev spaces to metric m easure spaces, Rev

N. Shanmugalingam , Newtonian spaces: an extension of Sobolev spaces to metric m easure spaces, Rev. Mat. Iberoamericana, 16 (2000), pp. 243–279

work page 2000

[23] [23]

Sturm , Heat kernel bounds on manifolds

K.-T. Sturm , Heat kernel bounds on manifolds. , Mathematische Annalen, 292 (1992), pp. 149– 162

work page 1992

[24] [24]

, Analysis on local Dirichlet spaces. II. Upper Gaussian esti mates for the fundamental solu- tions of parabolic equations , Osaka J. Math., 32 (1995), pp. 275–312

work page 1995

[25] [25]

I , Acta Math., 196 (2006), pp

, On the geometry of metric measure spaces. I , Acta Math., 196 (2006), pp. 65–131

work page 2006

[26] [26]

II , Acta Math., 196 (2006), pp

, On the geometry of metric measure spaces. II , Acta Math., 196 (2006), pp. 133–177

work page 2006

[27] [27]

W ang, Equivalence of dimension-free Harnack inequality and curv ature condition, Integral Equations and Operator Theory, 48 (2004), pp

F.-Y. W ang, Equivalence of dimension-free Harnack inequality and curv ature condition, Integral Equations and Operator Theory, 48 (2004), pp. 547–552

work page 2004

[28] [28]

, Equivalent semigroup properties for the curvature-dimens ion condition , Bulletin des sci- ences mathematiques, 135 (2011), pp. 803–815. 14

work page 2011