REVIEW 2 major objections 4 minor 35 references
Heat kernel estimates for Markov processes with blowing-up jump kernels
T0 review · 2 major / 4 minor · reviewed 2026-08-03 · deepseek-v4-flash
Pith's one-line read Sharp two-sided heat kernel estimates hold for jump processes whose kernels blow up at the boundary, under a strict index bound and a geometric condition on the boundary.
desk verdict A genuine, mostly sound first sharp heat-kernel result for blow-up jump kernels that merits refereeing, but the proof of the full-time-range statement in §5.3 needs an explicit uniform comparability argument. 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 blow-up weight function Φ and its upper Matuszewska index β, entering through the comparison (1.4). The new machinery is a chain of weighted integral estimates that replace the missing uniform tail bound: a Hardy-type inequality (Prop 3.2) that uses dim_A(∂D)<d, an admissibility check for Φ(r/δ_D(x)) in the weighted functional-inequality scheme, and two bootstrap lemmas (5.4, 5.10) that iteratively improve the off-diagonal decay of the truncated heat kernel until it reaches the sharp Φ-weighted form. Truncation at scales ρ, combined with Meyer's decomposition of the process, controls the large jumps that are no longer uniformly integrable.
What would settle it
Take the simplest domain D = R^d_+ with d≥2 and α∈(1,2), so γ=1 and γ∧α=1. Construct a process in the paper's framework with Φ(r)=1∨r (so β=1=γ∧α) and compute its heat kernel explicitly (or via high-precision simulation). The paper's bound (1.7) predicts p(t,x,y) ≍ min{t^{-d/α}, t|x−y|^{-d−α} (|x−y|^2/((x_d∨t^{1/α})(y_d∨t^{1/α})))}. A direct calculation showing an extra logarithmic factor or a different power of x_d∨t^{1/α} would falsify the theorem exactly at the threshold.
Extended reading notes
Core claim
The central claim, Theorem 1.2, states: for a κ-fat open set D with dim_A(∂D) < d and a jump kernel of the form J(x,y) ≍ |x-y|^{-d-α} Φ(((|x-y|∧A0)^2)/((δ_D(x)∧A0)(δ_D(y)∧A0))), where Φ is a blow-up weight of upper Matuszewska index β < γ∧α with γ = d − dim_A(∂D), the associated regular Dirichlet form admits a jointly continuous heat kernel p(t,x,y) satisfying two-sided bounds of exactly the same form, with t^{-d/α} ∧ t|x-y|^{-d-α} Φ(...), uniformly on compact time intervals. The bounds are sharp up to multiplicative constants and remain valid for all times t < T∨R_0^α through a semigroup argument. The result is new because the unbounded tails of the jump measures preclude the uniform-tail a
Load-bearing premise
The entire proof rests on the strict index bound β < γ∧α: the blow-up weight must grow more slowly than the geometric parameter γ = d − dim_A(∂D) and than the stability index α; if it blows up at or faster than that rate, the closed-form estimate collapses and the imported weighted inequalities stop applying.
Editorial extensions
If this is right
- The heat kernel of the nonlocal Neumann process on Lipschitz domains (bounded, half-space-like, or exterior) is now known in closed two-sided form: t^{-d/α} on the diagonal, and t|x-y|^{-d-α} log(e + (|x-y|∧A)^2/((δ∧t^{1/α})^2)) off diagonal (Theorem 6.4).
- The trace of the α-stable process on C^{1,Dini} sets has heat kernel estimates with Φ(r)=1∨r^{α/2} (Theorem 6.7).
- The resurrected process in the closed upper half-space, including the trace process and the Neumann process as special cases, has heat kernel estimates with Φ = Ψ_1, an integrated weak-scaling function, global in time (Theorem 6.9).
- The estimates are sharp: upper and lower bounds match up to a multiplicative constant, including the boundary-sensitive correction in the Φ-argument, so no improvement is possible within the assumed class.
- Because the form is conservative, the semigroup preserves total mass; the heat kernel estimates therefore also describe the long-time behavior of the processes in unbounded domains.
Reading between the lines
- The threshold case β = γ∧α is left open; at exactly this index, all the proof's positive exponents (α−β_1, d−β_1, γ−β_1) vanish, so the closed form (1.7) cannot follow from the present bootstrap. A plausible extension is that an extra logarithmic factor in time appears at criticality.
- The method suggests a transfer principle: any jump process whose kernel comparison satisfies the single index condition β < γ∧α on a κ-fat set inherits full two-sided heat kernel bounds, regardless of the specific form of Φ, so future examples can be verified by checking only (1.4).
- A concrete testable extension is to compute or simulate the heat kernel of the resurrected process on the half-space with Φ(r)=1∨r^{γ} (β=γ); a deviation from (1.7) would precisely identify the failure at the boundary case.
- Since the estimates hold for all t up to T∨R_0^α, the same proof should extend to global time in any domain with localization constant R_0=∞ (e.g., half-spaces and complements of bounded sets), giving unbounded-time two-sided bounds.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper establishes sharp two-sided heat kernel estimates for symmetric pure-jump Markov processes on κ-fat open sets D⊂R^d whose jump kernels are comparable to |x−y|^{-d−α} Φ((|x−y|∧A_0)^2 / ((δ_D(x)∧A_0)(δ_D(y)∧A_0))), where Φ is a blow-up weight of upper Matuszewska index β satisfying β < γ∧α with γ = d − dim_A(∂D). The main theorem (Theorem 1.2, eq. (1.7)) gives, for every T>0 and t<T∨R_0^α, two-sided bounds of the form p(t,x,y) ≍ t^{-d/α} ∧ [t |x−y|^{-d−α} Φ(...)] with a T-dependent constant. The proof develops weighted integral estimates via the framework of [14], a Hardy inequality adapted to Assouad codimension, truncated Dirichlet forms, Meyer-type decompositions via Mosco convergence, and a bootstrap argument to remove polynomial decay. Applications are given to the nonlocal Neumann problem, traces of isotropic α-stable processes in C^{1,Dini} sets, and resurrected processes in the closed upper half-space.
Significance. If correct, this is the first sharp heat-kernel result for the class of jump kernels that blow up on part of the state space, and it unifies several natural examples. The paper is not circular: the two-branch min-structure in (1.7) is derived, not assumed, and the proofs check the hypotheses of the imported weighted inequalities. The strict index condition β<γ∧α is explicit and is satisfied by all three applications, so the theorem does not overreach its assumptions. The main proof is long, but I found no internal contradiction in the part treating t<R_0^α. The treatment of t≥R_0^α, however, contains a genuine gap that must be repaired before the claimed T-uniform statement is justified.
major comments (2)
- [§5.3] The extension from t<R_0^α to t∈[R_0^α,T) is not proved. The proof asserts 'Since ep(t/n²,z,w)≍ep(t/n,z,w)≍ep(t,z,w)' and then uses the semigroup chain p(t)=p(t/n)^{*n}≍ep(t/n)^{*n}≍ep(t/n²)^{*n}=p(t/n)≍ep(t). Three things are missing. (i) The comparability ep(t/n^k)≍ep(t) is not uniform: the definition of ep contains (δ_D(·)∨(t/n^k)^{1/α})∧A_0 in the argument of Φ, and changing t to t/n^k changes this quantity by a factor controlled only through (2.5); the constants depend on n and possibly on t. (ii) Since n is chosen after t, any growth of these constants in n would make the final constant in (1.7) depend on t, contrary to the theorem's 'for every T there exists C' statement. (iii) The semigroup chain multiplies n comparison constants, so one needs a fixed N=N(T) and a uniform comparability lemma for all s∈[R_0^α,T] and k=0,...,N, with constants depending only on T. A repair is likely
- [§7] The Green-function comparability for C^{1,Dini} sets is imported by saying that the argument of [12] for C^{1,1} sets extends and 'we omit the details'. This is not a routine extension, and it is used essentially in Proposition 7.10(i) and therefore in Proposition 6.6 (the trace-process application). Either supply a proof of Proposition 7.9 from the available estimates, or state the C^{1,Dini} Green-function estimate as an explicit assumption and adjust the claims in Section 6 accordingly. The main theorem does not depend on this step, but the application's validity as written does.
minor comments (4)
- [§4] The statement has a typo: 'f(·,·) : (0,∞)× ∞)→(0,1)' should be 'f(·,·) : (0,∞)×(0,∞)→(0,1)'.
- [§2] The parameter a appears in the integrand and on the right-hand side but is not quantified in the statement. It should read 'for all a>0, A>0, x,z∈D, r>0 and 0<u≤s'.
- [§1] The abstract says 'closed subsets F of R^d' while the body consistently works with an open set D and its closure D; please align the terminology.
- [§5.3] In the semigroup chain, the notation 'p(t/n, x, y_1)...p(t/n, y_{n−1}, y)' should make explicit that there are n convolution factors; this is clear from context but can be written more cleanly.
Circularity Check
No circular derivation: the heat-kernel bounds are derived from hypothesis (A) by a bootstrap, not assumed; §5.3 contains a non-circular proof gap.
full rationale
The central estimate (1.7) is not identical to the input by construction. Hypotheses (A) specify the jump kernel J in terms of Φ, and the theorem then proves two-sided estimates for the heat kernel p of the associated Dirichlet form; p is a distinct semigroup quantity, and no equation defining p from J is inverted, fitted, or renamed as a conclusion. The derivation is substantive: after verifying the Hardy inequality (Prop. 3.2) and admissibility of Θ_Φ (Subsec. 3.2), the paper invokes machinery from [14] only for parabolic Hölder regularity, Nash-type inequalities, and near-diagonal bounds; the sharp off-diagonal bounds are then obtained through the bootstrap lemmas 5.4 and 5.10 and Propositions 5.7, 5.11, and 5.16. The heavy self-citations to [14]–[17] and [27]–[30] provide prior published functional inequalities, elliptic analogues, and kernel constructions, but none of them is used as a substitute for the heat-kernel conclusion; in particular, no uniqueness or ansatz theorem from the authors' prior work forces (1.7). The applications are also non-circular: Propositions 6.3 and 6.6 establish jump-kernel comparisons for concrete processes, and Theorem 1.2 is then applied to obtain heat-kernel bounds. The only significant unresolved point is in §5.3, where the semigroup extension asserts that ep(t/n^2,z,w)≍ep(t/n,z,w)≍ep(t,z,w) 'for all z,w∈D' and chooses n depending on t; this comparability is not proved and, as written, leaves the T-uniformity of the constants in (1.7) for t≥R0^α unverified. That is a potential proof gap, not circularity: the asserted comparability is a deterministic property of the Φ-expression ep, not the target heat-kernel bound, and it could be checked independently from the scaling property (2.5) with a fixed N=N(T). Therefore no step reduces to its own input; the derivation is self-contained in the relevant logical sense.
Assumptions & free parameters
assumptions (7)
- standard math [14, Theorem 12.1]: admissible weight functions yield parabolic Hölder regularity, a Nash-type inequality, and near-diagonal heat kernel bounds for E and its truncations E^(ρ).
- domain assumption D is κ-fat with localization constant R0 and dim_A(∂D) < d; γ = d − dim_A(∂D) ∈ (0,d] (Definition 1.1, eq. (1.1)).
- domain assumption Jump kernel comparison (A), eq. (1.4): J(x,y) ≍ |x−y|^{−d−α} Φ((|x−y|∧A0)^2 / ((δD(x)∧A0)(δD(y)∧A0))), with Φ of upper Matuszewska index β strictly less than γ∧α (eq. (1.3)).
- standard math Nash-type inequality ∥u∥^{2(1+α/d)}_{L2} ≤ C(E(u,u) + R0^{−α}∥u∥²_{L2}) (Prop 3.10), imported from [8] (third display, p. 41) and [10].
- standard math Meyer's construction / Ikeda–Nagasawa–Watanabe piecing formula (4.5) holds for the unbounded-tail truncated forms after Mosco approximation ([3, Lemma 3.1(b)], [25], [32]).
- ad hoc to paper Green function estimates for the isotropic α-stable process in C^{1,Dini} sets (Prop 7.9), extended from C^{1,1} results in [11], [12], [18].
- standard math Assouad-dimension identity dim_A(E) + codim_A(E) = d ([26, Lemma 3.4]) and the fractional Hardy framework of [20, Theorem 5] for sets satisfying (T1),(T2).
Cite this review
Pith. "Pith review of Heat kernel estimates for Markov processes with blowing-up jump kernels." pith.science (2026). https://pith.science/paper/LARP3S2Y
@misc{pith2026251224807,
author = {Pith},
title = {Pith review of: Heat kernel estimates for Markov processes with blowing-up jump kernels},
year = {2026},
howpublished = {\url{https://pith.science/paper/LARP3S2Y}},
note = {Machine review of arXiv:2512.24807}
}
abstract
In this paper, we establish sharp two-sided heat kernel estimates for a large class of purely discontinuous symmetric Markov processes on closed subsets $F$ of $\mathbb{R}^d$, whose jump kernels blow up on a Borel subset $\Sigma$ of $F$. We assume that $F\setminus \Sigma$ is a $\kappa$-fat set and is dense in $F$. To the best of our knowledge, this is the first work establishing sharp heat kernel estimates for jump processes whose jump kernels blow up on part of the state space. The jump kernels under consideration take the form $J(x,y)=|x-y|^{-d-\alpha}{\mathcal B}(x,y)$, where $\alpha\in (0,2)$ and the function ${\mathcal B}(x,y)$ blows up at a subset $\Sigma$ of $F$. A fundamental obstacle is that the tails of the jump measures are not uniformly bounded, and hence standard techniques in heat kernel analysis do not provide a priori off-diagonal estimates. To overcome this difficulty, we develop a new approach based on weighted integral estimates for the heat kernel that are sensitive to both the blow-up behavior of the jump kernel and the geometry of $F\setminus \Sigma$. Examples of processes falling within our general framework include traces of isotropic $\alpha$-stable processes in $C^{1,\rm Dini}$ sets, processes in Lipschitz sets arising in connection with the nonlocal Neumann problem, and a large class of resurrected self-similar processes in the closed upper half-space.
Reference graph
Works this paper leans on
-
[14]
Cho, S., Kim, P.: Stability of H¨ older regularity and weighted functional inequalities.J. Math. Pures Appl.206(2026), Paper No. 103836
2026
-
[30]
Vondraˇ cek, Z.: Potential theory of Dirichlet forms with jump kernels blowing up at the boundary.J
Kim, P., Song, R. Vondraˇ cek, Z.: Potential theory of Dirichlet forms with jump kernels blowing up at the boundary.J. Funct. Anal.,289(2025), 110934
2025
-
[12]
Theory Related Fields149(2011), no.3-4, 373–395
Chen, Z.-Q., Tokle, J.: Global heat kernel estimates for fractional Laplacians in unbounded open sets.Probab. Theory Related Fields149(2011), no.3-4, 373–395
2011
-
[1]
Abatangelo, N.: A remark on nonlocal Neumann conditions for the fractional Laplacian.Arch. Math. 114(2020), no.6, 699–708
2020
-
[2]
Audrito, A., Felipe-Navarro, J.-C., Ros-Oton, X.: The Neumann problem for the fractional Lapla- cian: regularity up to the boundary.Ann. Sc. Norm. Super. Pisa Cl. Sci.(5)24(2023), no. 2, 1155–1222
2023
-
[3]
T., Grigor’yan, A., Kumagai, T.: Heat kernel upper bounds for jump processes and the first exit time.J
Barlow, M. T., Grigor’yan, A., Kumagai, T.: Heat kernel upper bounds for jump processes and the first exit time.J. Reine Angew. Math.626(2009), 135–157
2009
-
[4]
Heat kernel upper bounds for jump processes and the first exit time
Barlow, M. T., Grigor’yan, A., Kumagai, T.: Corrections to “Heat kernel upper bounds for jump processes and the first exit time” by M.T. Barlow, A. Grigor’yan and T. Kumagai
-
[5]
Bogdan, K., Grzywny, T., Pietruska-Pa luba, K., Rutkowski, A.: Extension and trace for nonlocal operators.J. Math. Pures Appl.(9)137(2020), 33–69
2020
Show all 35 references
-
[6]
A., Kusuoka, S., Stroock, D
Carlen, E. A., Kusuoka, S., Stroock, D. W.: Upper bounds for symmetric Markov transition func- tions,Ann. Inst. Henri Poincar´ e Probab. Stat.23(1987) 245–287
1987
-
[7]
London Math
Chen, Z.-Q., Fukushima, M.: Symmetric Markov processes, time change, and boundary theory. London Math. Soc. Monogr. Ser., 35 Princeton University Press, Princeton, NJ, 2012. xvi+479 pp
2012
-
[8]
Chen, Z.-Q., Kumagai, T.: Heat kernel estimates for stable-like processes ond-sets.Stoch. Process. Appl.108(2003), 27–62
2003
-
[9]
Chen, Z.-Q., Kumagai, T., Wang, J.: Stability of parabolic Harnack inequalities for symmetric non-local Dirichlet forms.J. Eur. Math. Soc.22(2020), no. 11, 3747–3803
2020
-
[10]
Chen, Z.-Q., Kumagai, T., Wang, J.: Stability of heat kernel estimates for symmetric non-local Dirichlet forms.Mem. Amer. Math. Soc.271(2021), no. 1330, v+89 pp
2021
-
[11]
Ann.312(1998), no.3, 465–501
Chen, Z.-Q., Song, R.: Estimates on Green functions and Poisson kernels for symmetric stable processes.Math. Ann.312(1998), no.3, 465–501
1998
-
[13]
arXiv:2501.06866
Cho, S.: Stable characterization of diagonal heat kernel upper bounds for symmetric Dirichlet forms. arXiv:2501.06866
-
[15]
Vondraˇ cek, Z.: Heat kernel estimates for Dirichlet forms degenerate at the boundary.Ann
Cho, S., Kim, P., Song, R. Vondraˇ cek, Z.: Heat kernel estimates for Dirichlet forms degenerate at the boundary.Ann. Probab., to appear
-
[16]
Vondraˇ cek, Z.: Markov processes with jump kernels decaying at the boundary
Cho, S., Kim, P., Song, R. Vondraˇ cek, Z.: Markov processes with jump kernels decaying at the boundary. arXiv:2403.00480
-
[17]
Vondraˇ cek, Z.: Heat kernel estimates for Markov processes in bounded sets with jump kernels decaying at the boundary
Cho, S., Kim, P., Song, R. Vondraˇ cek, Z.: Heat kernel estimates for Markov processes in bounded sets with jump kernels decaying at the boundary. arXiv:2512.12991
-
[18]
arXiv:2504.14763v2 HKE FOR MARKOV PROCESSES WITH JUMP KERNELS BLOWING-UP AT THE BOUNDARY 51
Cho, S., Song, R.: Approximate factorizations for non-symmetric jump processes. arXiv:2504.14763v2 HKE FOR MARKOV PROCESSES WITH JUMP KERNELS BLOWING-UP AT THE BOUNDARY 51
-
[19]
Dipierro, S., Ros-Oton, X., Valdinoci, E.: Nonlocal problems with Neumann boundary conditions. Rev. Mat. Iberoam.33(2017), no. 2, 377–416
2017
-
[20]
V.: A framework for fractional Hardy inequalities.Ann
Dyda, B., V¨ ah¨ akangas, A. V.: A framework for fractional Hardy inequalities.Ann. Acad. Sci. Fenn. Math.39(2014), no. 2, 675–689
2014
-
[21]
Grigor’yan, A., Hu, J., Lau, K.-S.: Estimates of heat kernels for non-local regular Dirichlet forms. Trans. Amer. Math. Soc.366(2014), no. 12, 6397-6441
2014
-
[22]
Grigor’yan, A., Hu, E, Hu, J.: Lower estimates of heat kernels for non-local Dirichlet forms on metric measure spaces.J. Funct. Anal.272(2017), no. 8, 3311–3346
2017
-
[23]
Grigor’yan, A., Hu, E, Hu, J.: Two-sided estimates of heat kernels of jump type Dirichlet forms. Adv. Math.330(2018), 433–515
2018
-
[24]
Pure Appl
Grigor’yan, A., Hu, E, Hu, J.: Mean value inequality and generalized capacity on doubling spaces. Pure Appl. Funct. Anal..9(2024),111–168
2024
-
[25]
Japan Acad.42(1966), 370–375
Ikeda, N., Nagasawa, M., Watanabe, S.: A construction of Markov processes by piecing out.Proc. Japan Acad.42(1966), 370–375
1966
-
[26]
K¨ aenm¨ aki, A., Lehrb¨ ack, J., Vuorinen, M.: Dimensions, Whitney covers, and tubular neighbor- hoods.Indiana Univ. Math. J.62(2013), no. 6, 1861–1889
2013
-
[27]
Vondraˇ cek, Z.: On potential theory of Markov processes with jump kernels decaying at the boundary.Potential Anal.58(2023), 465–528
Kim, P., Song, R. Vondraˇ cek, Z.: On potential theory of Markov processes with jump kernels decaying at the boundary.Potential Anal.58(2023), 465–528
2023
-
[28]
Vondraˇ cek, Z.: Sharp two-sided Green function estimates for Dirichlet forms degenerate at the boundary.J
Kim, P., Song, R. Vondraˇ cek, Z.: Sharp two-sided Green function estimates for Dirichlet forms degenerate at the boundary.J. European Math. Soc.,26(2024), 2249–2300
2024
-
[29]
Vondraˇ cek, Z.: Potential theory of Dirichlet forms degenerate at the boundary: the case of no killing potential.Math
Kim, P., Song, R. Vondraˇ cek, Z.: Potential theory of Dirichlet forms degenerate at the boundary: the case of no killing potential.Math. Ann.,388(2024), 511–542
2024
-
[31]
E., Pardo, J
Kyprianou, A. E., Pardo, J. C., Watson, A. R.: Hitting distributions ofα-stable processes via path censoring and self-similarity.Ann. Probab.42(2014), no. 1, 398–430
2014
-
[32]
Meyer, P.-A.: Renaissance, recollements, m´ elanges, ralentissement de processus de Markov.Ann. Inst. Fourier25(3–4) (1975), 464–497
1975
-
[33]
Mosco, U.: Composite media and asymptotic Dirichlet forms.J. Funct. Anal.123(1994), no. 2, 368–421
1994
-
[34]
Nachr.294(2021), no
Vondraˇ cek, Z.: A probabilistic approach to a non-local quadratic form and its connection to the Neumann boundary condition problem.Math. Nachr.294(2021), no. 1, 177–194
2021
-
[35]
Wu: Harmonic measures for symmetric stable processes.Studia Math.149(2002), no
J.-M. Wu: Harmonic measures for symmetric stable processes.Studia Math.149(2002), no. 3, 281–293. (Cho)Department of Mathematics, University of Illinois Urbana-Champaign, Urbana, IL 61801, USA Email address:soobinc@illinois.edu (Kim)Department of Mathematical Sciences and Rese...
2002
Reviewed August 3, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.