REVIEW 3 major objections 3 minor 1 cited by
Stable characterization of diagonal heat kernel upper bounds for symmetric Dirichlet forms
T0 review · 3 major / 3 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read On doubling metric measure spaces, the paper proves that a Faber–Krahn inequality, a cutoff Sobolev inequality, a tail bound, and a new integrated jump condition with $(1-\nu)\gamma<1+\nu$ characterize the on-diagonal heat kernel upper…
desk verdict Genuinely new condition and an explicit counterexample, but two load-bearing proofs are omitted—worth refereeing, not desk-rejecting. 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 new object is the integrated jump condition $IJ_{2,\gamma}(\beta)$, which averages the jump kernel over annuli against inverse square roots of ball volumes; it carries the inhomogeneity of the space in a way a pointwise tail bound cannot. The proof runs through truncated Dirichlet forms (removing jumps longer than a scale $\rho$), an $L^2$-mean value inequality for subharmonic functions, lower resolvent estimates of the semigroup, and survival estimates for truncated processes, using comparison inequalities between truncated and untruncated semigroups. A change-of-metric argument reduces a general scale function to a power-law scaling, and an explicit counterexample is built from products of Cantor-type spaces with variable-order jump kernels to prove sharpness.
What would settle it
Run the paper's explicit counterexample: on the n-fold product of a middle-ξ Cantor set with a variable-order jump kernel whose order jumps from 1 to β2 near two points, all stated hypotheses hold with $(1-\nu)\gamma<1+\nu+\varepsilon$, yet the heat kernel lower bound $t^{-((n-1)\alpha_\xi+\beta_2)}$ outgrows the on-diagonal upper bound $t^{-(1+1/\beta_2)n\alpha_\xi/2}$ as $t\to 0$; verifying this computation (or finding the error) settles whether the sharpness claim stands.
Extended reading notes
Core claim
On a metric measure space satisfying volume doubling, a regular symmetric Dirichlet form without killing part, whose jump kernel satisfies the tail bound $\mathrm{TJ}(\beta)$, admits an on-diagonal heat kernel upper bound $\mathrm{DUE}(\beta)$ if its Faber–Krahn inequality $\mathrm{FK}_\nu(\beta)$, cutoff Sobolev inequality $\mathrm{CS}(\beta)$, and the new integrated jump condition $IJ_{2,\gamma}(\beta)$ hold with constants obeying $(1-\nu)\gamma<1+\nu$. The integrated condition measures how the jump kernel distributes mass across annuli, weighted by inverse square roots of ball volumes, and is what lets the argument run without assuming the jump kernel has a density. The same statement is false if the exponent inequality is relaxed by any positive amount: the paper builds metric measure spaces satisfying all hypotheses with $(1-\nu)\gamma<1+\nu+\varepsilon$ for any $\varepsilon>0$ where $\mathrm{DUE}(\beta)$ fails, so the range is optimal and the previously open Question 1 about whether tail and Faber–Krahn and cutoff Sobolev conditions alone suffice has a negative answer. When a jump density exists, the result extends the known $L^q$-tail implication to some exponents $q<2$.
Load-bearing premise
The framework assumes the Dirichlet form has no killing part—mass is never destroyed in place, only moved elsewhere—and the truncation, energy-measure, and conservativeness arguments all depend on that; introduce killing and the characterization may fail.
Editorial extensions
If this is right
- Under volume doubling, the on-diagonal bound for a wide class of non-local and mixed Dirichlet forms can be certified by the four local-to-global conditions, without any density for the jump kernel.
- The negative answer to Question 1 means that tail-type jump bounds alone, even with a Faber–Krahn inequality and cutoff Sobolev inequality, are insufficient; the integrated condition is essentially necessary.
- For strongly local forms, and for jump forms whose volume growth is not too anisotropic, the full equivalence $\mathrm{WFK}_\nu(\phi)+\mathrm{CS}(\phi)\iff \mathrm{DUE}(\phi)+\mathrm{SE}(\phi)$ holds (Corollary 2.10).
- When the jump kernel has a density, the $L^q$-tail range is widened: the implication holds for some $q<2$, improving the previous $q\ge 2$ threshold.
- The applications include stable-like variable-order operators on $\mathbb{R}^d$ with no jump density and product spaces whose factor forms have singular jump kernels, both cases not covered by earlier stability results.
Reading between the lines
- Because the arguments never touch the density, the method should transfer directly to cylindrical fractional Laplacians and other singular kernels for which no density exists; constructing such an example at the boundary exponent would test the sharpness further.
- The product-Cantor counterexample suggests that variable-order jump kernels whose order varies in space produce heat kernels with exponents that mix the local orders; this could be used to build models of anisotropic walk dimension on fractals.
- A concrete next test is whether $IJ_{2,\gamma}$ is preserved under rough isometries or quasisymmetric maps; if it is, the characterization would be stable under the same equivalence classes as the classical heat kernel estimates.
- For applied analysis, the integrated condition can be read as a quantitative measure of metric inhomogeneity, and one could check numerically whether it is the sharp diagnostic for failure of diagonal heat kernel bounds in random media.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops a stable characterization of on-diagonal upper bounds for heat kernels of regular symmetric Dirichlet forms without killing part on metric measure spaces satisfying volume doubling. The main forward result, Theorem 2.9(ii), states that under VD, CS(ϕ) and TJ(ϕ), the weak Faber–Krahn inequality WFKν(ϕ) together with the new integrated jump condition IJ2,γ(ϕ) implies DUE(ϕ)+SE(ϕ), provided (1−ν)γ<1+ν. Theorem 2.11 gives an explicit counterexample showing the parameter range cannot be improved in general, and Theorems 1.2 and 2.14 record the sharpness statement and an extension to jump densities satisfying TJq(ϕ) for some q<2. The applications in Section 9 concern variable-order nonlocal operators and singular jump kernels.
Significance. If the proofs are completed as indicated, this would be a substantial contribution: it removes the density assumption from the existing stability theory, introduces a flexible integrated jump condition IJ2,γ, and supplies an explicit Cantor-type counterexample demonstrating optimality. The technical route through truncated Dirichlet forms, lower resolvent estimates, and a change of metric is well structured and contains many new comparison and self-improvement arguments. The explicit counterexample in Theorem 2.11 is a genuine strength of the paper. However, two load-bearing passages are currently left as omitted details or delegated to an unpublished preprint, so the central claims are not yet verifiable from the manuscript alone.
major comments (3)
- [Section 5, Lemma 5.4] Lemma 5.4 is introduced with 'The details are omitted' and is stated to follow from adapting [29, Cor. 10.3 and Lemma 11.2] from FKν to WFKν. This lemma is essential: it is used in Proposition 5.9 to obtain LREκ(ϕ), which then yields SE(ϕ), and through Theorem 7.2 it feeds into Theorem 2.9(ii). The text does not prove that the additive constant C′ in WFKν can be absorbed uniformly over all balls and all levels a, nor that the truncation of the Faber–Krahn term preserves the uniform constants δ,η required by Lemma 5.4. Because this is the exact point where the weaker hypothesis WFKν is used, the forward implication is currently incomplete. Please provide the full proof or a precise statement of the modified argument.
- [Section 8.2, proof of Theorem 1.2] The sharpness claim, including the negative answer to Question 1 and the optimality of the range (2.13), is obtained by 'applying the change of metric from Proposition 7.3' with 'The details are omitted.' Proposition 7.3 itself, as well as parts of Proposition 7.6(i)–(ii), is cited from the unpublished preprint [30]. Since Theorem 1.2 is one of the headline results and the main optimality statement, this is a load-bearing gap rather than a presentation issue. Please include a self-contained proof of the metric transformation (or of the needed consequence of [30]) and give the full verification that the counterexample from Theorem 2.11 satisfies the required conditions after the transformation with the stated constants and with (1−ν)γ<1+ν+ε.
- [Section 8.1, proof of Theorem 2.9] The proof of Theorem 2.9(ii) is compressed into the chain (8.1): WFK+CS ⇒ GFK+LRE, GFK ⇔ Nash, LRE ⇒ SE, followed by an application of Theorem 7.2. The conclusion is therefore valid only if Proposition 5.9, Lemma 5.4, and Theorem 7.2 are fully established. Given that Lemma 5.4 and parts of Section 7 depend on omitted details or on [30], the main implication should be regarded as conditional until those gaps are filled. I am not asking for more detail in the chain (8.1) itself, but for the missing inputs to be made available within the manuscript.
minor comments (3)
- [Section 2, Definition 2.6] The condition '0<R< R+ r < R′' is written with 'R+ r' rather than 'R + r'; the spacing should be fixed to avoid misreading.
- [Section 2, framework] The blanket assumption that (E,F) has no killing part is stated only in Section 2. Since it is essential for extending E to F′ and for several conservativeness and truncation arguments, it should be advertised in the abstract or introduction as a standing restriction.
- [Introduction and Section 9] There are several typographical errors, e.g. 'mainfolds' in the introduction and 'Alfhors' for 'Ahlfors'; these should be corrected in the final version.
Circularity Check
No significant circularity: the target DUE(β) is not assumed, the hypotheses are distinct conditions, and the main cited inputs are external works rather than self-referential loops.
full rationale
The paper's central implication (Theorem 1.1 / Theorem 2.9(ii)) derives DUE(β) from WFKν(ϕ), CS(ϕ), TJ(ϕ) and IJ2,γ(ϕ). The on-diagonal upper bound is not among the hypotheses; IJ2,γ is an integrated jump-kernel condition stated independently of DUE, and the paper explicitly treats the case where the jump kernel has no density, so the conclusion is not built into the definition of the assumptions. The sharpness statement Theorem 2.11 constructs an explicit Cantor-type counterexample in which TJ, WFK, CS and IJ2,γ hold with the stated parameter range while DUE fails, which shows that the assumptions do not already contain the conclusion. The proof does contain two notable proof-completeness gaps: Lemma 5.4 is stated after 'The details are omitted' and is adapted from [29, Cor. 10.3 and Lemma 11.2], and the proof of Theorem 1.2 says 'By applying the change of metric from Proposition 7.3... The details are omitted,' relying on [30]. However, these are external citations to prior work by Grigor'yan–Hu–Hu and not self-citations of the author; they do not assume the target DUE(β) or the equivalence being proved. Moreover, the no-killing-part restriction is a framework condition on the Dirichlet form that is structurally separate from the heat-kernel upper bound. There are no fitted parameters renamed as predictions, no uniqueness assertions imported from the author's own previous work, and no definitional equivalence between the hypotheses and the conclusion. Overall, the derivation chain is not circular; the omitted-details concerns belong to proof completeness and correctness risk, not to circularity.
Assumptions & free parameters
free parameters (1)
- Counterexample parameters ξ, n, β2 in Theorem 2.11 =
ξ with α_ξ ≤ ε/2; n satisfying (8.12); β2 = (1 - 2(1+ε)/(n α_ξ))^{-1}
assumptions (6)
- domain assumption The Dirichlet form has no killing part and decomposes as E^(L) + E^(J).
- domain assumption Metric measure space assumptions: locally compact separable metric space, Radon measure with full support, precompact balls.
- domain assumption Scale function conditions (2.3)-(2.4) and volume doubling (1.9); reverse volume doubling only when stated.
- domain assumption The input hypotheses TJ(ϕ), CS(ϕ), WFK/FK, IJ2,γ(ϕ), or TJ_q(ϕ) are taken as assumptions in each implication.
- standard math Heat kernel existence and pointwise regularity results from [26] and [35] are used as black boxes.
- standard math External lemmas from [29], [30], [17], [36], [32], and [33] are imported, including the change-of-metric Proposition 7.3 from the preprint [30].
Cite this review
Pith. "Pith review of Stable characterization of diagonal heat kernel upper bounds for symmetric Dirichlet forms." pith.science (2026). https://pith.science/paper/AYWF3BIJ
@misc{pith2026250106866,
author = {Pith},
title = {Pith review of: Stable characterization of diagonal heat kernel upper bounds for symmetric Dirichlet forms},
year = {2026},
howpublished = {\url{https://pith.science/paper/AYWF3BIJ}},
note = {Machine review of arXiv:2501.06866}
}
read the original abstract
We present a stable characterization of on-diagonal upper bounds for heat kernels associated with regular Dirichlet forms on metric measure spaces satisfying the volume doubling property. Our conditions include integral bounds on the jump kernel outside metric balls, a variant of the Faber-Krahn inequality, a cutoff Sobolev inequality, and an integral control of inverse square volumes of balls with respect to the jump kernel. Crucially, we do not assume that the jump kernel has a density, and we show that these assumptions are essentially optimal.
Forward citations
Cited by 1 Pith paper
-
Heat kernel estimates for Markov processes with blowing-up jump kernels
Sharp two-sided heat-kernel estimates are established for symmetric jump Markov processes with jump kernels that blow up at the boundary of a κ-fat domain, under a strict bound on the blow-up's Matuszewska index.
Reference graph
Works this paper leans on
-
[30]
A. Grigor’yan, E. Hu, J. Hu: Tail estimates and off-diagonal upper bounds of the heat kernel, preprint, 2024
work page 2024
- [1]
-
[2]
M. T. Barlow, R. F. Bass: Transition densities for Brownian motion on the Sierpi´ nski carpet. Probab. Theory Related Fields 91 (1992), no. 3-4, 307–330
work page 1992
-
[3]
M. T. Barlow, R. F. Bass: Stability of parabolic Harnack inequalities. Trans. Amer. Math. Soc. 356 (2004), 1501–1533
work page 2004
-
[4]
M. T. Barlow, R. F. Bass, T. Kumagai: Stability of parabolic Harnack inequalities on metric measure spaces. J. Math. Soc. Japan 58 (2006), no. 2, 485–519
work page 2006
-
[5]
M. T. Barlow, A. Grigor’yan, T. Kumagai: Heat kernel upper bounds for jump processes and the first exit time. J. Reine Angew. Math. 626 (2009), 135–157
work page 2009
-
[6]
M. T. Barlow, T. Kumagai: Transition density asymptotics for some diffusion processes with multi- fractal structures. Electron. J. Probab. 6 (2001), no. 9, 23 pp. 59
work page 2001
-
[7]
M. T. Barlow, M. Murugan: Stability of the elliptic Harnack inequality. Ann. of Math. (2) 187 (2018), no. 3, 777–823
work page 2018
Show all 50 references
-
[8]
R. F. Bass, Z.-Q. Chen: Systems of equations driven by stable processes. Probab. Theory Related Fields 134 (2006), no. 2, 175–214
2006
-
[9]
R. F. Bass, Z.-Q. Chen: Regularity of harmonic functions for a class of singular stable-like processes. Math. Z. 266 (2010), no. 3, 489–503
2010
-
[10]
R. F. Bass, M. Kassmann, T. Kumagai: Symmetric jump processes: localization, heat kernels and convergence. Ann. Inst. Henri Poincar´ e Probab. Stat.46 (2010), no.1, 59–71
2010
-
[11]
Boutayeb, T
S. Boutayeb, T. Coulhon, A. Sikora: A new approach to pointwise heat kernel upper bounds on doubling metric measure spaces. Adv. Math. 270 (2015), 302–374
2015
-
[12]
E. A. Carlen, S. Kusuoka, D. W. Stroock: Upper bounds for symmetric Markov transition functions. Ann. Inst. H. Poincar´ e Probab. Statist.23 (1987), no.2, 245–287
1987
-
[13]
Z.-Q. Chen, M. Fukushima: Symmetric Markov processes, time change, and boundary theory. London Math. Soc. Monogr. Ser., 35 Princeton University Press, Princeton, NJ, 2012
2012
-
[14]
Z.-Q. Chen, P. Kim, T. Kumagai: On heat kernel estimates and parabolic Harnack inequality for jump processes on metric measure spaces. Acta Math. Sin. (Engl. Ser.) 25 (2009), no. 7, 1067–1086
2009
-
[15]
Z.-Q. Chen, T. Kumagai, J. Wang: Elliptic Harnack inequalities for symmetric non-local Dirichlet forms. J. Math. Pures Appl. 125 (2019), 1–42
2019
-
[16]
Z.-Q. Chen, T. Kumagai, J. Wang: Heat kernel estimates and parabolic Harnack inequalities for sym- metric Dirichlet forms. Adv. Math. 374 (2020), 107269, 71 pp
2020
-
[17]
Z.-Q. Chen, T. Kumagai, J. Wang: Stability of parabolic Harnack inequalities for symmetric non-local Dirichlet forms. J. Eur. Math. Soc. (JEMS) 22 (2020), no. 11, 3747–3803
2020
-
[18]
Z.-Q. Chen, T. Kumagai, J. Wang: Stability of heat kernel estimates for symmetric non-local Dirichlet forms. Mem. Amer. Math. Soc. 271 (2021), no.1330, v+89 pp
2021
-
[19]
Coulhon, A
T. Coulhon, A. Grigor’yan: Random walks on graphs with regular volume growth. Geom. Funct. Anal. 8 (1998), no. 4, 656–701
1998
-
[20]
P. J. Fitzsimmons, B. M. Hambly, T. Kumagai: Transition density estimates for Brownian motion on affine nested fractals. Comm. Math. Phys. 165 (1994), no. 3, 595–620
1994
-
[21]
Fukushima, Y
M. Fukushima, Y. Oshima, M. Takeda: Dirichlet forms and symmetric Markov processes. Second revised and extended edition, De Gruyter Stud. Math., 19, Walter de Gruyter & Co., Berlin, 2011
2011
-
[22]
Grigor’yan: Heat kernel upper bounds on a complete non-compact manifold
A. Grigor’yan: Heat kernel upper bounds on a complete non-compact manifold. Rev. Mat. Iberoameri- cana 10 (1994), no. 2, 395–452
1994
-
[23]
Grigor’yan, J
A. Grigor’yan, J. Hu: Upper bounds of heat kernels on doubling spaces. Moscow Math. J. 14 (2014) 505-563
2014
-
[24]
Grigor’yan, E
A. Grigor’yan, E. Hu, J. Hu: Lower estimates of heat kernels for non-local Dirichlet forms on metric measure spaces. J. Funct. Anal. 272 (2017), no.8, 3311–3346
2017
-
[25]
Grigor’yan, E
A. Grigor’yan, E. Hu, J. Hu: Two-sided estimates of heat kernels of jump type Dirichlet forms. Adv. Math. 330 (2018), 433–515. 60
2018
-
[26]
Grigor’yan, E
A. Grigor’yan, E. Hu, J. Hu: The pointwise existence and properties of heat kernel. Adv. Anal. Geom., 3:27–69, 2021
2021
-
[27]
Grigor’yan, E
A. Grigor’yan, E. Hu, J. Hu: Off-diagonal lower estimates and H¨ older regularity of the heat kernel. Asian J. Math. 27 (2023), no. 5, 675–770
2023
-
[28]
Grigor’yan, E
A. Grigor’yan, E. Hu, J. Hu: Parabolic mean value inequality and on-diagonal upper bound of the heat kernel on doubling spaces. Math. Ann. 389 (2024), no.3, 2411–2467
2024
-
[29]
Grigor’yan, E
A. Grigor’yan, E. Hu, J. Hu: Mean value inequality and generalized capacity on doubling spaces. Pure Appl. Funct. Anal. 9 (2024), no.1, 111–168
2024
-
[31]
Grigor’yan, J
A. Grigor’yan, J. Hu, K.-S. Lau: Heat kernels on metric spaces with doubling measure. Fractal geometry and stochastics IV, 3–44. Progr. Probab., 61 Birkh¨ auser Verlag, Basel, 2009
2009
-
[32]
Grigor’yan, J
A. Grigor’yan, J. Hu, K.-S. Lau: Comparison inequalities for heat semigroups and heat kernels on metric measure spaces. J. Funct. Anal. 259 (2010), 2613-2641
2010
-
[33]
Grigor’yan, J
A. Grigor’yan, J. Hu, K.-S. Lau: Estimates of heat kernels for non-local regular Dirichlet forms. Trans. Amer. Math. Soc. 366 (2014), no.12, 6397–6441
2014
-
[34]
Grigor’yan, J
A. Grigor’yan, J. Hu, K.-S. Lau: Generalized capacity, Harnack inequality and heat kernels of Dirichlet forms on metric measure spaces. J. Math. Soc. Japan 67 (2015), no. 4, 1485–1549
2015
-
[35]
Grigor’yan, A
A. Grigor’yan, A. Telcs: Two-sided estimates of heat kernels on metric measure spaces. Ann. Probab. 40 (2012), no.3, 1212-1284
2012
-
[36]
Grzywny, K
T. Grzywny, K. Szczypkowski: L´ evy processes: concentration function and heat kernel bounds. Bernoulli 26 (2020), no. 4, 3191–3223
2020
-
[37]
B. M. Hambly, J. Kigami, T. Kumagai: Multifractal formalisms for the local spectral and walk dimen- sions. Math. Proc. Cambridge Philos. Soc. 132 (2002), no. 3, 555–571
2002
-
[38]
Heinonen: Lectures on Analysis on Metric Spaces, Springer-Verlag, New York, 2001
J. Heinonen: Lectures on Analysis on Metric Spaces, Springer-Verlag, New York, 2001
2001
-
[39]
Ionescu, L
M. Ionescu, L. G. Rogers, R. S. Strichartz: Pseudo-differential operators on fractals and other metric measure spaces. Rev. Mat. Iberoam. 29 (2013), no. 4, 1159–1190
2013
-
[40]
Kassmann, K.-Y
M. Kassmann, K.-Y. Kim, T. Kumagai: Heat kernel bounds for nonlocal operators with singular kernels. J. Math. Pures Appl. (9) 164 (2022), 1–26
2022
-
[41]
Kigami: Local Nash inequality and inhomogeneity of heat kernels
J. Kigami: Local Nash inequality and inhomogeneity of heat kernels. Proc. London Math. Soc. (3) 89 (2004), no. 2, 525–544
2004
-
[42]
Kigami: Volume doubling measures and heat kernel estimates on self-similar sets
J. Kigami: Volume doubling measures and heat kernel estimates on self-similar sets. Mem. Amer. Math. Soc. 199 (2009), no. 932, viii+94 pp
2009
-
[43]
Kigami: Resistance forms, quasisymmetric maps and heat kernel estimates
J. Kigami: Resistance forms, quasisymmetric maps and heat kernel estimates. Mem. Amer. Math. Soc. 216 (2012), no.1015, vi+132 pp
2012
-
[44]
Li, S.-T
P. Li, S.-T. Yau: On the parabolic kernel of the Schr¨ odinger operator. Acta Math. 156 (1986), no. 3-4, 153–201. 61
1986
-
[45]
Nash: Continuity of Solutions of Parabolic and Elliptic Equations
J. Nash: Continuity of Solutions of Parabolic and Elliptic Equations. American Journal of Mathematics 80 (1958), 931–954
1958
-
[46]
Saloff-Coste: A note on Poincar´ e, Sobolev, and Harnack inequalities
L. Saloff-Coste: A note on Poincar´ e, Sobolev, and Harnack inequalities. Internat. Math. Res. Notices 1992, no. 2, 27–38
1992
-
[47]
R. S. Strichartz: Analysis on products of fractals. Trans. Amer. Math. Soc. 357 (2005), no. 2, 571–615
2005
-
[48]
Sturm: Analysis on local Dirichlet spaces
K.-T. Sturm: Analysis on local Dirichlet spaces. II. Upper Gaussian estimates for the fundamental solutions of parabolic equations. Osaka J. Math. 32 (1995), no. 2, 275–312
1995
-
[49]
N. Th. Varopoulos: Hardy-Littlewood theory for semigroups. J. Funct. Anal. 63 (1985), no. 2, 240–260
1985
-
[50]
Xu: A class of singular symmetric Markov processes
F. Xu: A class of singular symmetric Markov processes. Potential Anal. 38 (2013), no. 1, 207–232. 62
2013
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.