Pith. sign in

REVIEW 3 major objections 4 minor 21 references

The parabolic Harnack inequality on non-local Dirichlet spaces in the view of pure analysis

T0 review · 3 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper proves that for non-local Dirichlet forms without killing, the strong parabolic Harnack inequality is equivalent to the weak parabolic Harnack inequality together with a pointwise smoothness condition on the jump kernel, and…

desk verdict Strong analytic proof of PHI for non-local Dirichlet forms, but the central equivalence leans on the author's own unpublished preprint [19]—worth refereeing, not yet fully verifiable in isolation. read the letter →

arxiv 2507.21604 v1 pith:TYGQTMFZ submitted 2025-07-29 math.AP

Guanhua Liu This is my paper · ORCID
classification math.AP MSC 34K3031C2535K0847D0760J46
keywords parabolicHarnackinequalitynon-localDirichletformsupperjumpingsmoothnessweaklocalheatkerneljumpMoseriterationNash
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper claims that, for symmetric non-local Dirichlet forms with no killing part, the strong parabolic Harnack inequality is an analytic consequence of two ingredients: the $L^1$ weak parabolic Harnack inequality and a pointwise smoothness condition on the jump kernel called upper jumping smoothness. The author proves the implication both ways, so the weak inequality plus the jump-kernel bound becomes equivalent to the strong inequality, and he gives two independent analytic proofs of the hard direction, one following Nash's blow-up idea and one following Moser's iteration. The point of doing this purely analytically is that previously the strong Harnack inequality for non-local forms had only a stochastic proof; the analytic route also yields tail estimates, capacity bounds, and heat-kernel consequences, collected in a long list of equivalent characterizations. The equivalence chain rests on the author's own unpublished weak-Harnack results, so the unconditional content is the reduction of the strong inequality to the weak one plus upper jumping smoothness.

What carries the argument

The load-bearing condition is upper jumping smoothness (UJS): for the jump kernel $J$, one has $J(x,y)\le C\,V(x,r)^{-1}\int_{B(x,r)}J(z,y)\,d\mu(z)$ whenever $r\le \tfrac12 d(x,y)$, meaning no jump probability exceeds a constant multiple of its local average at the relevant separation scale. The arguments also rest on three further mechanisms: the tail functional $T^{(\lambda)}_Q(u)$, which measures the mass of $u$ outside a ball that can leak in through jumps; the semi-homogeneous caloric extension, which builds a caloric function inside a ball from data supported outside it, turning the tail into a source term; and the two iteration schemes, Nash's chained-ball blow-up that duplicates a large value of a caloric function outward until boundedness is contradicted, and Moser's cylinder-by-cylinder iteration driven by the parabolic mean-value inequalities (PMV$-$) and (PMV$+$). A recurring device (Lemma 2.3) adds a tail term to a function multiplied by a cutoff so that the result is again subcaloric.

What would settle it

Read the unpublished preprint [19] and check its Theorems 2.1 and 2.2 under exactly the hypotheses used here, namely a regular Dirichlet form without killing part on a (VD)$+$(RVD) space with an arbitrary scaling function; a single counterexample to (LLE)$\Leftrightarrow$(wPH1), to (wPH1)$\Rightarrow$(PGL1), or to (wPH1)$\Rightarrow$(FK)$+$(Gcap)$+$(cap$\le$) would break Theorem 1.1. Independently, one could construct a jump kernel satisfying the (UJS) averaging bound only at scales below a fixed threshold while (wPH1) still holds; the theorem predicts the strong Harnack inequality must hold, so a violation of (PHI) at that threshold would refute it.

Watch

Extended reading notes

Core claim

The central theorem (Theorem 1.1) asserts that on a locally compact metric measure space satisfying volume doubling and reverse volume doubling, for any regular symmetric Dirichlet form without killing part that admits a jump kernel, the following are equivalent: the $L^1$ weak parabolic Harnack inequality together with upper jumping smoothness, written (wPH1)$+$(UJS), and the three strong forms (PHI0), (PHI), and (PHI$+$), where (PHI$+$) is the tail-enhanced version that also controls the positive tail of a caloric function. The proof reduces to two analytic implications: (wPH1)$+$(UJS) implies (PHI0), established by a Moser-type iteration through parabolic mean-value inequalities (Lemma 4.3, Proposition 4.4, Theorem 4.5), with a Nash-type route (LLE)$+$(UJS)$\Rightarrow$(PHI0) also given in Proposition 4.1; and conversely (PHI0) implies (UJS) in Proposition 3.1, so the jump-kernel smoothness is necessary as well as sufficient. Corollary 1.2 then expands the equivalence to roughly twenty characterizations in terms of heat-kernel lower and upper estimates, capacity and Poincar\'e-type inequalities, mean-value inequalities, and elliptic Harnack-type conditions.

Load-bearing premise

The entire equivalence chain leans on the author's own unpublished preprint [19] for three links, the equivalence (LLE)$\Leftrightarrow$(wPH1), the implication (wPH1)$\Rightarrow$(PGL1), and the implication (wPH1)$\Rightarrow$(FK)$+$(Gcap)$+$(cap$\le$), used at equation (1.14), in Proposition 4.1 Step (3), and repeatedly in Corollary 1.2; if any of those results is wrong or needs hypotheses not present here, such as a different scaling function or an extra volume condition, the central theorem collapses.

Editorial extensions

If this is right

  • The strong parabolic Harnack inequality for non-local forms needs no stochastic input: the weak inequality plus the single pointwise bound (UJS) on the jump kernel is both necessary and sufficient.
  • Every condition in Corollary 1.2, including local heat-kernel lower and upper estimates, capacity upper bounds, Poincar\'e-type inequalities, and elliptic Harnack-type conditions, becomes an equivalent face of one analytic object, matching the stability theory long available for local operators.
  • Because (PHI0) implies (UJS), any jump kernel failing the local-averaging bound cannot support the parabolic Harnack inequality at all; (UJS) is a genuine obstruction, not a technical convenience.
  • The equivalence (PHI)$\Leftrightarrow$(PHI$+$) shows that the tail terms appearing in the two formulations carry identical information, making the tail-enhanced inequality the canonical strong form for non-local operators.
  • The two proofs are complementary: the Nash route derives (PHI0) directly from the local lower estimate of the heat kernel, while the Moser route works from the weak inequality through mean-value inequalities and yields subcaloric and supercaloric control along the way.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the unpublished weak-Harnack equivalences hold under exactly these hypotheses, the paper effectively identifies a minimal analytic package, volume doubling, reverse doubling, no killing, and a scale-local averaging bound on the jump kernel, that completely determines the parabolic Harnack inequality; a testable corollary would be stability of the inequality under kernel perturbations that prese
  • The necessity of (UJS) suggests a concrete way to certify failure of the strong Harnack inequality: a kernel with a sharp gap in its local averages, such as a truncated stable kernel whose cutoff scale is comparable to the ball radius, should violate (PHI) even if the weak inequality holds, a family one could test numerically or analytically.
  • The no-killing hypothesis $\kappa\equiv 0$ is used throughout, and extensions to forms with a killing part are left open; since killing acts like a zeroth-order term, one would expect analogous equivalences with a suitable tail term for the killing measure, but this is not established in the paper.
  • The two routes to (PHI0) plausibly give different quantitative constants, Nash's chaining growing with the number of intermediate balls and Moser's tied to the mean-value inequality; extracting explicit Harnack constants from the constants of (wPH1) and (UJS) alone would test how sharp the arguments are.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper studies parabolic Harnack inequalities for regular Dirichlet forms without killing part on metric measure spaces satisfying (VD) and (RVD). Its main result, Theorem 1.1, states that the weak L1-parabolic Harnack inequality together with the upper jumping smoothness condition is equivalent to the basic, standard, and complete parabolic Harnack inequalities. The proof combines a Nash-type blow-up argument and a Moser-type iteration argument, and Corollary 1.2 enlarges the list of equivalent characterizations. Many of the auxiliary equivalences are taken from the author's unpublished preprint [19].

Significance. If correct, the result is significant: it provides a purely analytic route to the strong parabolic Harnack inequality from a weak Harnack inequality plus a jump-kernel regularity condition, extending the probabilistic theory of [5] and unifying the Nash and Moser approaches. The paper contains some genuinely analytic contributions, including the derivation of (UJS) from (PHI0), the tail estimates in Section 3.3, and the two proofs of (PHI0) in Section 4. The main caveat is the heavy reliance on the unpublished preprint [19] for load-bearing equivalences; the manuscript is not self-contained.

major comments (3)
  1. [Eq. (1.14), Prop. 4.1, Thm. 4.5, Cor. 1.2] The central theorem is not self-contained and depends on the author's own unpublished preprint [19] for load-bearing results. Eq. (1.14) uses [19, Theorem 2.1] for (LLE)⇔(wPH1) and (wPH1)⇒(PGL1); Proposition 4.1 Step (3) applies (PGL1); Theorem 4.5 Step (2) uses [19, Theorem 2.2] to obtain (FK) and (Gcap); Proposition 3.4 uses [19, Proposition 3.9]; and Corollary 1.2 repeatedly relies on [19, Theorems 2.1, 2.2 and Proposition 5.4]. Since the statements and hypotheses of these results are not reproduced, the reader cannot verify that they apply under exactly the assumptions (VD), (RVD), regularity, and no killing part. If any of these results has an error or requires an extra condition such as a different scale W or a priori (UE), the equivalences in Theorem 1.1 and Corollary 1.2 collapse. Please include the precise statements, proofs, or an appendix with the needed results, or replace them with published references.
  2. [Prop. 3.4 and Thm. 1.1] The proof of Proposition 3.4 invokes Proposition 3.1 to conclude (UJS) from (PHI), but Proposition 3.1 is stated and proved only under (PHI0). The needed observation that (PHI) implies (PHI0) for globally nonnegative caloric functions is not made. The same missing step appears in Theorem 1.1's step (PHI+)⇒(wPH1)+(UJS). This is a local gap in the written proof; it is easily repaired by noting that the tail term in (PHI) vanishes for globally nonnegative caloric functions, but it should be stated explicitly.
  3. [Lemmas 4.2 and 4.3; Thm. 4.5] The conditions (FK) and (Gcap) are used as hypotheses in Lemma 4.2 and Lemma 4.3 and are invoked in Theorem 4.5 Step (2), but they are not defined in the manuscript; the reader is referred to [19]. Since [19] is an unpublished preprint, the Moser approach in Section 4.2 is not verifiable as written. The manuscript should define (FK), (Gcap), (PI), and the other conditions appearing in Corollary 1.2, or at least state the precise results from [19] that supply them.
minor comments (4)
  1. [Prop. 2.7, p. 9] In the proof of Proposition 2.7, the reference to 'Proposition 2.1' should be to Lemma 2.1; there is no Proposition 2.1 in the paper.
  2. [Lemma 3.6] In the proof of Lemma 3.6, the text says 'by (UJS) and (UE)', but (UE) is not assumed in the lemma; the displayed estimate appears to use only (UJS), (VD), and contractivity of the heat semigroup. Please correct the citation.
  3. [Section 2, definition of caloric functions] The notions 'subcaloric' and 'supercaloric' are used throughout (e.g., Lemma 2.1, Lemma 2.3, (wPH1)) but are not defined in the text; please add definitions or a precise reference.
  4. [Prop. 2.7] The final sentence of Proposition 2.7 asserts that (PHI0), (PHI+), and the Harnack inequalities of [5] are all equivalent, but the proof only establishes (2.5); please indicate explicitly how (2.5) implies (PHI) and how (PHI) implies (PHI0), since the latter implication is used later.

Circularity Check

2 steps flagged · score 4.0 of 10

Main equivalence is not definitionally circular, but several load-bearing bridges in the proof are sourced from the author's own unpublished preprint [19].

  1. self citation load bearing [Eq. (1.14); Proposition 4.1 Step (3)]
    "while by [19, Theorem 2.1], (LLE)⇔ (wPH1)⇒ (PGL1). / According to (1.14), (PGL1) holds under our assumptions."

    The Nash proof of (LLE)+(UJS)⇒(PHI0) needs (PGL1) to run the measure propagation creating the sequence (t_n,y_n). The paper does not prove (LLE)⇔(wPH1) or (wPH1)⇒(PGL1); it imports them from the author's own preprint [19, Theorem 2.1]. Thus a load-bearing step of the derivation of the strong Harnack inequality is not established in this manuscript but rests on a same-author citation. It is not a by-construction equivalence because [19] concerns the weak Harnack inequality, not the target strong (PHI); nevertheless the derivation chain is not self-contained.

  2. self citation load bearing [Theorem 4.5 Step (2); also Corollary 1.2 proof]
    "Assume that (UJS) holds. [19, Theorem 2.2] we see (FK), (Gcap) (and hence (cap≤)) hold."

    This is the key bridge from (UJS) to (PMV+) and then to (PHI0). The conditions (FK), (Gcap), (cap≤) are not proved in the paper; they are asserted from the author's own [19, Theorem 2.2]. The same citation drives much of Corollary 1.2, including the identifications (c)'⇔(j)', (e)⇒(e)', and (m)⇒(l)'. Because [19]'s assumptions do not include the target strong PHI and its theorems are parameter-free, this is load-bearing self-citation rather than a tautological reduction; the argument would be valid if [19] is correct.

full rationale

The main theorem's chain is acyclic: (wPH1)+(UJS) is converted into (PHI0) via capacity, tail, and mean-value inequalities; (PHI0) is converted into (PHI) and (PHI+) via caloric extension and (UJS); and (PHI+) weakens back to (wPH1) plus (UJS). None of these implications is an identity: the Harnack conditions differ in time intervals, tail terms, and sub/super-caloric classes, so the implications are substantive rather than by construction. No parameter is fitted to data and no target quantity is renamed as a prediction. The score is not 0 because the paper repeatedly imports load-bearing implications from the author's own unpublished preprint [19] — (LLE)⇔(wPH1) and (wPH1)⇒(PGL1) in (1.14), and (FK), (Gcap) under (wPH1) in Theorem 4.5 Step (2) — without proving them here. These are not tautological reductions because [19]'s subject is the weak Harnack inequality, not the strong (PHI) established in this paper; if [19]'s theorems are correct and their hypotheses match, the derivation is valid. The flag is therefore for load-bearing same-author citation, not for equivalence-by-construction.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The central claim is a pure analysis theorem; it has no empirically fitted parameters or invented physical entities. It assumes the standing metric-measure hypotheses (VD), (RVD), a regular Dirichlet form without killing, and a fixed scaling function W. The most fragile external input is the author's own preprint [19], used for weak Harnack equivalences and their consequences. All other dependencies are published works in Dirichlet form theory.

assumptions (6)
  • domain assumption Volume doubling (VD) and reverse volume doubling (RVD) hold on (M,d,µ).
    Stated at the start of Section 1 and assumed throughout Theorem 1.1; used for ball volume comparisons in Propositions 2.7, 3.1 and 4.1.
  • domain assumption (E,F) is a regular Dirichlet form without killing part, with jump kernel J satisfying j(dx,dy)=dµ(x)J(x,dy).
    Equation (1.1) and the following paragraph restrict the Beurling-Deny decomposition and are needed for the extended energy form and the definition of caloric functions.
  • domain assumption There exists a scaling function W satisfying the comparability condition (1.5).
    Defined after (1.5); all cylinders and Harnack conditions are scaled by W, so the entire equivalence is relative to a fixed W.
  • domain assumption [19, Theorem 2.1]: (LLE)⇔(wPH1), and (wPH1)⇒(PGL1).
    Quoted as (1.14); used in Proposition 4.1 Step (3) and in the proof of Theorem 4.5 to obtain LLE from wPH1.
  • domain assumption [19, Theorem 2.2]: (wPH1) implies (FK), (Gcap) and hence (cap≤).
    Used in Theorem 4.5 Step (2) and in the proof of Corollary 1.2 to obtain the ingredients of Lemma 4.3.
  • standard math External results from [10, 11, 12] on mean-value inequalities and capacity are taken as given.
    Used in Lemma 4.3, Lemma 4.2, and Corollary 1.2; these are published peer-reviewed results.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The parabolic Harnack inequality on non-local Dirichlet spaces in the view of pure analysis." pith.science (2026). https://pith.science/paper/TYGQTMFZ

@misc{pith2026250721604,
  author       = {Pith},
  title        = {Pith review of: The parabolic Harnack inequality on non-local Dirichlet spaces in the view of pure analysis},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/TYGQTMFZ}},
  note         = {Machine review of arXiv:2507.21604}
}
read the original abstract

This paper provides the general theory on parabolic Harnack inequalities (PHI, for short) for regular Dirichlet forms without killing part. We prove PHI by pure analytic methods, using both Nash and Moser approaches, and yield some important properties contained in PHI. Combining our recent result on weak Harnack inequalities, we greatly enlarge the list of equivalent characterizations of PHI.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages

  1. [19]

    Weak parabolic Harnack inequality and H\"older regularity for non-local Dirichlet forms

    G. Liu, Weak parabolic Harnack inequality and H ¨older regularity for non-local Dirichlet forms, Preprint, 2024, arXiv 2410.23732

    work page Pith review arXiv 2024

  2. [10]

    Grigor’yan, E

    A. Grigor’yan, E. Hu and J. Hu, Parabolic mean value inequality and on-diagonal upper bound of the heat kernel on doubling spaces, Math. Ann. 389 (2023), 2411–2467

    work page 2023

  3. [3]

    Z.-Q. Chen, P. Kim and T. Kumagai, On heat kernel estimates and parabolic Harnack inequality for jump processes on metric measure spaces, Acta Math. Sin. (Engl. Ser.) 25 (2009), 1067–1086

    work page 2009

  4. [5]

    Z.-Q. Chen, T. Kumagai and J. Wang, Stability of parabolic Harnack inequalities for symmetric non-local Dirichlet forms, J. Eur. Math. Soc. 22 (2020), 3747–3803

    work page 2020

  5. [1]

    Andres and M

    S. Andres and M. T. Barlow, Energy inequalities for cutoff functions and some applications,J. Reine Angew. Math. 699 (2015), 183–215. 21

    work page 2015

  6. [2]

    M. T. Barlow, R. F. Bass and T. Kumagai, Stability of parabolic Harnack inequalities on metric measure spaces, J. Math. Soc. Japan 58 (2006), 485–519

    work page 2006

  7. [4]

    Z.-Q. Chen, T. Kumagai and J. Wang, Elliptic Harnack inequalities for symmetric non-local Dirichlet forms, J. Math. Pures Appl. 125 (2019), 1–42

    work page 2019

  8. [6]

    Fabes and D

    E. Fabes and D. Stroock, A new proof of Moser’s parabolic Harnack inequality using the old ideas of Nash, Arch. Ration. Mech. Anal. 96 (1986), 327–338

    work page 1986

Show all 21 references
  1. [7]

    Fukushima, Y

    M. Fukushima, Y . Oshima and M. Takeda,Dirichlet forms and symmetric Markov processes, 2nd ed., Walter de Gruyter & Co., Berlin, 2011

    2011

  2. [8]

    Grigor’yan, E

    A. Grigor’yan, E. Hu and J. Hu, Lower estimates of heat kernels for non-local Dirichlet forms on metric measure spaces, J. Funct. Anal. 272 (2017), 3311–3346

    2017

  3. [9]

    Grigor’yan, E

    A. Grigor’yan, E. Hu and J. Hu, Two-sided estimates of heat kernels of jump type Dirichlet forms, Adv. Math. 330 (2018), 433–515

    2018

  4. [11]

    Grigor’yan, E

    A. Grigor’yan, E. Hu and J. Hu, O ff-diagonal lower estimates and H ¨older regularity of the heat kernel, Asian J. Math. 27 (2023), 675–770

    2023

  5. [12]

    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) 111–168

    2024

  6. [13]

    Grigor’yan, E

    A. Grigor’yan, E. Hu and J. Hu, Tail estimates and off-diagonal upper bounds of the heat kernel, Preprint, 2024

    2024

  7. [14]

    Grigor’yan, J

    A. Grigor’yan, J. Hu and K.-S. Lau, Generalized capacity, Harnack inequality and heat kernels of Dirichlet forms on metric measure spaces, J. Math. Soc. Japan 67 (2015) 1485–1549

    2015

  8. [15]

    Hu and G

    J. Hu and G. Liu, Upper estimates of heat kernels for non-local Dirichlet forms on doubling spaces,Forum Math. 34 (2022), 225–277

    2022

  9. [16]

    Hu and Z

    J. Hu and Z. Yu, The weak elliptic Harnack inequality revisited. Asian J. Math. 27 (2023), 771–828

    2023

  10. [17]

    Kassmann, Harnack inequalities: An introduction, Bound

    M. Kassmann, Harnack inequalities: An introduction, Bound. Value Probl.2007 (2007), Paper No. 81415

    2007

  11. [18]

    Kassmann and M

    M. Kassmann and M. Weidner, The parabolic Harnack inequality for nonlocal equations, Preprint, 2023, arXiv:2303.05975

    2023 arXiv

  12. [20]

    Moser, A Harnack inequality for parabolic di fferential equations, Comm

    J. Moser, A Harnack inequality for parabolic di fferential equations, Comm. Pure Appl. Math. 17 (1964), 101–134

    1964

  13. [21]

    Nash, Continuity of solutions of parabolic and elliptic equations, Amer

    J. Nash, Continuity of solutions of parabolic and elliptic equations, Amer. J. Math. 80 (1958), 931–954. 22

    1958

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.