pith. sign in

arxiv: 2109.00851 · v2 · submitted 2021-09-02 · 🧮 math.PR

Some relation between spectral dimension and Ahlfors regular conformal dimension on infinite graphs

K\^ohei Sasaya This is my paper

Pith reviewed 2026-05-24 12:59 UTC · model grok-4.3

classification 🧮 math.PR
keywords spectral dimensionAhlfors regular conformal dimensioninfinite graphsrandom walkquasisymmetric mapsfractal graphsweighted graphsvolume growth
0
0 comments X

The pith

Certain infinite graphs have Ahlfors regular conformal dimension strictly larger than their spectral dimension from random walks.

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

The paper constructs a fractal-like infinite weighted graph where the spectral dimension ds is strictly less than the Ahlfors regular conformal dimension dim_ARC, and both lie below 2. It also proves a sufficient condition on the graph that forces dim_ARC to be at most ds whenever ds itself is less than 2. These two quantities describe the graph through different lenses: one via the long-time decay of the random-walk heat kernel and the other via the quasisymmetric equivalence class of the graph metric. A reader cares because the example demonstrates that the two dimensions need not coincide and supplies concrete criteria that decide their relative size.

Core claim

We give a typical example of a fractal-like graph with ds < dim_ARC < 2 and prove a sufficient condition for dim_ARC ≤ ds < 2.

What carries the argument

Weighted infinite graph with controlled volume growth on which spectral dimension is read from random-walk heat-kernel asymptotics and Ahlfors regular conformal dimension is read from quasisymmetric mappings of the graph metric.

If this is right

  • On the example graph the random-walk exponent underestimates the quasisymmetric invariant.
  • The sufficient condition guarantees that the conformal dimension cannot exceed the spectral dimension when the latter is below 2.
  • Both dimensions remain finite and strictly less than 2 once the volume-growth and weighting hypotheses hold.
  • The ordering distinguishes graphs whose conformal geometry is strictly richer than their diffusion scale.

Where Pith is reading between the lines

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

  • The same ordering might appear on other self-similar or tree-like graphs with comparable volume growth.
  • Equality cases could correspond to graphs that admit quasisymmetric maps preserving the random-walk scale.
  • The relation may help classify discrete spaces according to which metric invariants they preserve.

Load-bearing premise

The graph must be infinite, carry edge weights, and possess volume growth that makes both the spectral dimension and the Ahlfors regular conformal dimension well-defined and finite.

What would settle it

Explicit computation of both dimensions on the constructed example graph, or construction of a graph meeting the sufficient condition yet satisfying dim_ARC > ds.

Figures

Figures reproduced from arXiv: 2109.00851 by K\^ohei Sasaya.

Figure 1.3
Figure 1.3. Figure 1.3: Gn(f) (f(n) = 1) then ds(G(f∗), E(f∗)) = 2 ln 5 ln 3 + ln 5 < dimAR(G(f∗), d∗) = dimAR(SC, d2) < 2, where d∗ is the graph distance of (G(f∗), E(f∗)), SC is the (standard) Sierpi´nski carpet and d2 is the Euclidean distance of R 2 . Remark. diam(Gn(f∗), dn) 6≍ 3 n, where dn denotes the graph distance of (Gn(f∗), En(f∗)). We will prove it in Lemma 3.12. Note that we can construct a counterexample of (1.1),… view at source ↗
Figure 1.4
Figure 1.4. Figure 1.4: (G(f∗), E(f∗)) Notations • Let f, g be functions on a set X. We say f . g (resp. f & g) for any x ∈ A ⊂ X if there exists C > 0 such that f(x) ≤ Cg(x) (resp. f(x) ≥ Cg(x)) for any x ∈ A. We also write f ≍ g (for any x) if f . g and f & g. • a ∨ b (resp. a ∧ b) denotes max{a, b} (resp. min{a, b}). • For a set X and A ⊂ X, we write Ac instead of X \ A if the whole set X is obvious. • ⊔λ∈ΛAλ denotes the dis… view at source ↗
Figure 3.1
Figure 3.1. Figure 3.1: x1, x2 and H2 It is easy to check that R ∗ (xj,k, xj,k−1) ≤ (R ∗ k−1,pt ∨ R(G∗ k−1 ,E∗ k−1 )(p1, p3)) ≤ 4R ∗ k−1,pt, therefore we obtain R∗ (x1, x2) ≤ 2 + 8Pn k=0 R∗ k,pt ≤ 16MR∗ n,pt by Lemma 3.6, so R∗ (x1, x2) . R∗ n(x1,x2) follows. We next show R∗ (x1, x2) & R∗ n(x1,x2) . By the definition of n = n(x1, x2), there exist a∗, b∗ ∈ Z such that ψn,a∗,b∗ (x1) ∈ ϕ0(I) and ψn,a∗,b∗ (x2) 6∈ I where ψn,a∗,b∗ (… view at source ↗
Figure 3.3
Figure 3.3. Figure 3.3: bn ≥ 10an−1 (1) d∗(x, y) ≍ dn(x,y)(p1, p5) with the graph distance dn of (Gn(f∗), En(f∗)). (2) If n(x, y) = n(x, z) + 1 then d∗(x, y) ≤ Cd∗(x, z). (3) If n(x, y) ≥ n(x, z) + c then d∗(x, y) ≥ 2d∗(x, z). (4) diam(Gn, dn) 6≍ 3 n for n ≥ 0. Proof. Let an = dn(p1, Ir ∩ Gn(f∗)), bn = dn(Il ∩ Gn(f∗), Ir ∩ Gn(f∗)), cn = dn(p1, p5), and en = dn(p1, p3) for any n ≥ 0. It is obvious that cn ∨ en ≥ an ≥ bn. Moreove… view at source ↗
read the original abstract

The spectral dimension $d_s$ of a weighted graph is an exponent associated with the asymptotic behavior of the random walk on the graph. The Ahlfors regular conformal dimension $\dim_\mathrm{ARC}$ of the graph distance is a quasisymmetric invariant, where quasisymmetry is a well-studied property of homeomorphisms between metric spaces. In this paper, we give a typical example of a fractal-like graph with $d_s<\dim_\mathrm{ARC}<2$ and prove a sufficient condition for $\dim_\mathrm{ARC}\le d_s<2.$

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

0 major / 2 minor

Summary. The manuscript constructs a weighted infinite fractal-like graph realizing ds < dim_ARC < 2 and proves a sufficient condition under which dim_ARC ≤ ds < 2, where ds is the spectral dimension extracted from the random-walk heat kernel and dim_ARC is the Ahlfors regular conformal dimension of the graph metric.

Significance. If the construction and proof are correct, the example separates two standard but distinct notions of dimension on infinite graphs and supplies an explicit criterion for one inequality; the concrete graph is a verifiable object that strengthens the contribution.

minor comments (2)
  1. [Abstract] Abstract: the phrase 'typical example' is vague; a one-sentence description of the weighting or recursive construction would clarify the object at the outset.
  2. [Introduction] The paper would benefit from an explicit statement, early in the introduction, of the precise hypotheses (volume growth, edge weights, infinite extent) that guarantee both ds and dim_ARC are well-defined and finite.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the recognition of its contribution in separating spectral and Ahlfors-regular conformal dimensions, and the recommendation of minor revision. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper constructs an explicit example of a weighted infinite graph realizing ds < dim_ARC < 2 and proves a sufficient condition for the reverse inequality dim_ARC ≤ ds < 2. Spectral dimension is defined via the heat-kernel decay of the random walk, while Ahlfors regular conformal dimension is defined via the infimum of Hausdorff dimensions over quasisymmetrically equivalent metrics; these are independent standard notions with no overlap in their defining equations. The abstract and description indicate an original construction plus a direct proof under stated technical hypotheses on volume growth and edge weights, with no fitted parameters renamed as predictions, no self-citation load-bearing the central claim, and no ansatz smuggled via prior work by the same author. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on standard definitions of spectral dimension for weighted graphs and Ahlfors regular conformal dimension for metric spaces; no new free parameters, invented entities, or ad-hoc axioms are visible in the abstract.

axioms (1)
  • domain assumption Standard definitions and basic properties of spectral dimension on weighted graphs and Ahlfors regular conformal dimension on metric spaces hold.
    Invoked implicitly when the abstract refers to ds and dim_ARC without re-deriving them.

pith-pipeline@v0.9.0 · 5615 in / 1231 out tokens · 23077 ms · 2026-05-24T12:59:04.902986+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

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

  1. [1]

    M. T. Barlow and R. F. Bass, The construction of Brownian motion on the Sierpi´ nski carpet.Ann. Inst. H. Poincar´ e Probab. Statist. 25 (1989), no. 3, 225-257

    work page 1989

  2. [2]

    M. T. Barlow and R. F. Bass, On the resistance of the Sierpi´ nsk i carpet. Proc. Roy. Soc. London Ser. A 431 (1990), no. 1882, 345-360

    work page 1990

  3. [3]

    M. T. Barlow and R. F. Bass, Random walks on graphical Sierpinski car- pets. Random walks and discrete potential theory (Cortona, 1997) , 26-55, Sympos. Math., XXXIX, Cambridge Univ. Press, 1999. 23

    work page 1997

  4. [4]

    M. T. Barlow, T. Coulhon and T. Kumagai, Characterization of sub - Gaussian heat kernel estimates on strongly recurrent graphs. Comm. Pure Appl. Math. 58 (2005), no. 12, 1642-1677

    work page 2005

  5. [5]

    Bonk and B

    M. Bonk and B. Kleiner, Conformal dimension and Gromov hyperbo lic groups with 2-sphere boundary. Geom. Topol. 9 (2005), 219-246

    work page 2005

  6. [6]

    Bourdon and H

    M. Bourdon and H. Pajot, Cohomologie ℓp et espaces de Besov. J. Reine Angew. Math. 558 (2003), 85-108

    work page 2003

  7. [7]

    Heinonen, Lectures on analysis on metric spaces

    J. Heinonen, Lectures on analysis on metric spaces. Universitext. Springer- Verlag, New York, 2001

    work page 2001

  8. [8]

    Hyt¨ onen and A

    T. Hyt¨ onen and A. Kairema, Systems of dyadic cubes in a doubling metric space. Colloq. Math. 126 (2012), no. 1, 1–33

    work page 2012

  9. [10]

    Kigami, Analysis on fractals

    J. Kigami, Analysis on fractals. Cambridge Tracts in Mathematics, 143. Cambridge University Press, Cambridge, 2001

    work page 2001

  10. [11]

    Kigami, Resistance forms, quasisymmetric maps and heat ker nel esti- mates

    J. Kigami, Resistance forms, quasisymmetric maps and heat ker nel esti- mates. Mem. Amer. Math. Soc. 216 (2012), no. 1015

    work page 2012

  11. [12]

    Kigami, Geometry and analysis of metric spaces via weighted partiti ons

    J. Kigami, Geometry and analysis of metric spaces via weighted partiti ons. Lecture Notes in Mathematics, Springer, 2020

    work page 2020

  12. [13]

    J. M. Mackay and J. T. Tyson, Conformal dimension. Theory and ap- plication. University Lecture Series, 54. American Mathematical Society, Providence, RI, 2010

    work page 2010

  13. [14]

    McGillivray, Resistance in higher-dimensional Sierpi´ nski car pets

    I. McGillivray, Resistance in higher-dimensional Sierpi´ nski car pets. Poten- tial Anal. 16 (2002), no. 3, 289–303

    work page 2002

  14. [15]

    Paulin, Un groupe hyperbolique est d´ etermin´ e par son bord

    F. Paulin, Un groupe hyperbolique est d´ etermin´ e par son bord . J. London Math. Soc. (2) 54 (1996), no. 1, 50-74

    work page 1996

  15. [16]

    Ahlfors Regular Conformal Dimension of Metrics on Infinite Graphs and Spectral Dimension of the Associated Random Walks

    K. Sasaya Ahlfors Regular Conformal Dimension of Metrics on In finite Graphs and Spectral Dimension of the Associated Random Walks. To ap- pear in J. Fractal Geom. The preprint version is available in arXiv: 2009.03595 [math.PR]

    work page internal anchor Pith review Pith/arXiv arXiv 2009

  16. [17]

    Semmes, Some novel types of fractal geometry

    S. Semmes, Some novel types of fractal geometry. Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, New York, 2001

    work page 2001

  17. [18]

    Tukia and J

    P. Tukia and J. V¨ ais¨ al¨ a, Quasisymmetric embeddings of metric spaces. Ann. Acad. Sci. Fenn. Ser. A I Math. 5 (1980), no. 1, 97-114. 24

    work page 1980

  18. [19]

    J. T. Tyson, Sets of minimal Hausdorff dimension for quasiconfo rmal maps. Proc. Amer. Math. Soc. 128 (2000), no.11, 3361-3367

    work page 2000

  19. [20]

    J. T. Tyson and J. M. Wu, Quasiconformal dimensions of self-sim ilar frac- tals. Rev. Mat. Iberoam. 22 (2006), no.1, 205-258. 25

    work page 2006