pith. sign in

arxiv: 2605.15479 · v1 · pith:36OKUDMYnew · submitted 2026-05-14 · 🧮 math.AP · math.PR

A tree-like fractal Dirichlet space lying between strong and weak elliptic Harnack inequalities

Caoxu Huang , Guanhua Liu This is my paper

Pith reviewed 2026-05-19 14:20 UTC · model grok-4.3

classification 🧮 math.AP math.PR
keywords self-similar fractalDirichlet formHarnack inequalitytree-like fractalelliptic Harnackmean exit timeregular Dirichlet formfractal analysis
0
0 comments X

The pith

A constructed tree-like fractal obeys the weak elliptic Harnack inequality but violates the strong version under a selected self-similar measure.

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

The paper builds an infinitely branched tree as a self-similar fractal and places a regular self-similar Dirichlet form on it. The construction produces anomalous mean exit times from typical metric balls. With one carefully chosen self-similar measure the weak elliptic Harnack inequality remains valid while the strong version fails. This example clarifies the gap between the two inequalities on fractal Dirichlet spaces.

Core claim

The authors construct a self-similar fractal configured as an infinitely branched tree and equip it with a regular self-similar Dirichlet form. They show anomalous behaviour of the mean exit time with respect to typical metric balls. Under properly selected self-similar measure, the weak elliptic Harnack inequality holds but the strong analogue fails.

What carries the argument

The infinitely branched tree-like fractal Dirichlet space equipped with a properly selected self-similar measure that keeps the Dirichlet form regular while separating the weak and strong elliptic Harnack inequalities.

If this is right

  • The mean exit time from metric balls behaves anomalously.
  • The weak elliptic Harnack inequality holds on the space.
  • The strong elliptic Harnack inequality does not hold on the space.
  • The Dirichlet form stays regular on the fractal.

Where Pith is reading between the lines

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

  • Similar tree fractals might be built to test the separation for other analytic inequalities such as Poincaré or Sobolev estimates.
  • The role of the measure in breaking the strong inequality could be studied in abstract metric measure spaces that are not self-similar.
  • The anomalous exit times may influence the short-time behavior of the associated heat kernel on this space.

Load-bearing premise

A specific self-similar measure exists on the infinitely branched tree fractal such that the Dirichlet form remains regular while the strong Harnack inequality is violated.

What would settle it

A direct verification that the strong elliptic Harnack inequality holds for every self-similar measure on this fractal, including the selected one, would disprove the separation.

Figures

Figures reproduced from arXiv: 2605.15479 by Caoxu Huang, Guanhua Liu.

Figure 1
Figure 1. Figure 1: The tree-like fractal For any ω = i1 · · · in ∈ S n := {0, 1, 2, 3} n , denote Fω = Fi1 ◦ · · · ◦ Fin and Kω = Fω(K). Denote i1 · · · in as i n if every digit ij is identical to a same i ∈ {0, 1, 2, 3}. Set S0 = {∅}, F∅ = id and K∅ = K. Let S∗ = ∪ ∞ i=0 S n be the collection of all finite words. Here are some basic geometry facts (where ω, τ are arbitrary finite words): 4 [PITH_FULL_IMAGE:figures/full_fig… view at source ↗
Figure 2
Figure 2. Figure 2: Balls Bn, with their boundaries in blue We begin by estimates on R(x, B c n ) for every x ∈ Bn and the corresponding function ψ x n such that ψ x n (x) = 1, ψ x n |B c n = 0 and E(ψ x n ) = 1/R(x, B c n ). 10 [PITH_FULL_IMAGE:figures/full_fig_p010_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: A cell Kω splits to possibilities 1 (in red) and 2 (in blue), with lattice points q ′ By the geometry of K, there are two possibilities (see [PITH_FULL_IMAGE:figures/full_fig_p021_3.png] view at source ↗
read the original abstract

In this paper we construct a self-similar fractal configured as an infinitely branched tree and equip it with a regular self-similar Dirichlet form. We show anomalous behaviour of the mean exit time with respect to typical metric balls. Under properly selected self-similar measure, we further show the weak elliptic Harnack inequality holds but the strong analogue fails.

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.

Referee Report

1 major / 0 minor

Summary. The manuscript constructs a self-similar fractal configured as an infinitely branched tree and equips it with a regular self-similar Dirichlet form. It establishes anomalous behavior of the mean exit time with respect to typical metric balls. Under a properly selected self-similar measure, the weak elliptic Harnack inequality holds while the strong analogue fails.

Significance. If the construction and separation are valid, the paper supplies a concrete Dirichlet space on a fractal that lies strictly between the strong and weak elliptic Harnack inequalities. Such examples are useful for clarifying the geometric and measure-theoretic conditions that distinguish the two inequalities and for refining heat-kernel estimates on non-doubling or tree-like structures. The anomalous exit-time result further contributes to the literature on diffusion processes on self-similar sets.

major comments (1)
  1. [Abstract] Abstract, paragraph 2: the central existence claim—that a self-similar measure can be chosen so the Dirichlet form remains regular while the strong elliptic Harnack inequality fails—requires explicit construction of the scaling factors together with verification that the resulting form is regular (closed, Markovian, and with dense domain) and that the strong Harnack inequality is indeed violated. The current outline does not supply these derivations or error estimates.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback on our manuscript. We address the major comment below and will make appropriate revisions to improve clarity.

read point-by-point responses

  1. Referee: [Abstract] Abstract, paragraph 2: the central existence claim—that a self-similar measure can be chosen so the Dirichlet form remains regular while the strong elliptic Harnack inequality fails—requires explicit construction of the scaling factors together with verification that the resulting form is regular (closed, Markovian, and with dense domain) and that the strong Harnack inequality is indeed violated. The current outline does not supply these derivations or error estimates.

    Authors: The abstract is a concise summary of the principal results. The explicit construction of the scaling factors appears in Section 2, where we select the self-similar weights on the infinite tree so that the associated Dirichlet form remains regular. Regularity (closedness, the Markov property, and density of the domain in L^2) is verified in Section 3, including the requisite estimates derived from the self-similar structure. The failure of the strong elliptic Harnack inequality is established in Section 5 by means of an explicit counterexample on suitably chosen balls, while the weak version is proved in Section 4. Error estimates are supplied throughout the proofs. We will revise the abstract to include a brief reference to the scaling choice and to direct readers to the sections containing the full derivations and verifications. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper constructs an infinitely branched tree-like fractal equipped with a regular self-similar Dirichlet form, establishes anomalous mean exit-time behavior with respect to metric balls, and then selects a specific self-similar measure under which the weak elliptic Harnack inequality holds while the strong version fails. This is an existence result relying on standard self-similar Dirichlet-form theory; the measure is chosen as part of the explicit construction rather than fitted to data or defined in terms of the target separation. No equation reduces the claimed separation to a tautology, no load-bearing self-citation chain is invoked, and the regularity and exit-time results precede the Harnack statements, rendering the derivation self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

1 free parameters · 1 axioms · 1 invented entities

The paper rests on the existence of a regular self-similar Dirichlet form on a newly defined fractal and on the freedom to select a measure that produces the desired inequality gap; these are the main non-standard inputs.

free parameters (1)
  • self-similar measure scaling factors
    Chosen specifically so that the weak Harnack inequality holds while the strong version fails.
axioms (1)
  • domain assumption A regular self-similar Dirichlet form exists on the infinitely branched tree fractal
    Invoked to equip the constructed space with diffusion structure (abstract).
invented entities (1)
  • infinitely branched tree-like fractal no independent evidence
    purpose: Underlying metric space supporting the Dirichlet form and the Harnack separation
    Newly constructed object introduced in the paper

pith-pipeline@v0.9.0 · 5573 in / 1301 out tokens · 47043 ms · 2026-05-19T14:20:59.668905+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

9 extracted references · 9 canonical work pages

  1. [1]

    M. T. Barlow, M. Murugan. Stability of elliptic Harnack inequality. Ann. of Math. (2) 187 (2018) 777–823.doi.org/10.4007/annals.2018.187.3. 4

    work page doi:10.4007/annals.2018.187.3 2018

  2. [2]

    Cluster Computing 6(3), 215–226 (Jul 2003), https://doi.org/10.1023/A: 1023588520138

    T. Delmotte. Graphs between the elliptic and parabolic Harnack in- equalities. Potential Anal. 16 (2002) 151–168.doi.org/10.1023/A: 1012632229879

    work page doi:10.1023/a: 2002

  3. [3]

    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) 6397–6441. doi.org/10.1090/S0002-9947-2014-06034-0

    work page doi:10.1090/s0002-9947-2014-06034-0 2014

  4. [4]

    B. M. Hambly, T. Kumagai. Transition density estimates for diffusion pro- cesses on post critically finite self-similar fractals. Proc. London Math. Soc. 78 (1999) 431–458.doi.org/10.1112/S0024611599001744

    work page doi:10.1112/s0024611599001744 1999

  5. [5]

    J. Hu, Z. Yu. The weak elliptic Harnack inequality revisited. Asian J. Math. 27 (2023) 771–828.doi.org/10.4310/AJM.2023.v27.n5.a4

    work page doi:10.4310/ajm.2023.v27.n5.a4 2023

  6. [6]

    Kajino and M

    N. Kajino, M. Murugan. On the conformal walk dimension: quasisymmetric uniformization for symmetric diffusions. Invent. Math. 231 (2023) 263–405. doi.org/10.1007/s00222-022-01148-3

    work page doi:10.1007/s00222-022-01148-3 2023

  7. [7]

    J. Kigami. Analysis on fractals. Cambridge University Press, Cambridge (2001).doi.org/10.1017/CBO9780511470943

    work page doi:10.1017/cbo9780511470943 2001

  8. [8]

    G. Liu. Existence of self-similar Dirichlet forms on post-critically finite frac- tals in terms of their resistances. Manuscripta Math. 174 (2024) 597–647. doi.org/10.1007/s00229-023-01521-3

    work page doi:10.1007/s00229-023-01521-3 2024

  9. [9]

    G. Liu. Between weak and strong parabolic Harnack inequalities for non- local Dirichlet forms. Preprint (2025) two parts:arxiv.org/abs/2410. 23732andarxiv.org/abs/2507.21604 22

    work page arXiv 2025