pith. sign in

arxiv: 2009.03595 · v2 · submitted 2020-09-08 · 🧮 math.PR · math.MG

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

K\^ohei Sasaya This is my paper

Pith reviewed 2026-05-24 14:35 UTC · model grok-4.3

classification 🧮 math.PR math.MG
keywords Ahlfors regular conformal dimensionp-energiesspectral dimensioninfinite graphsrandom walksquasisymmetrymetric spaces
0
0 comments X

The pith

Ahlfors regular conformal dimension on infinite graphs coincides with the critical exponent of p-energies and relates to spectral dimension.

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

The paper examines the Ahlfors regular conformal dimension for metrics on infinite graphs. It proves that this dimension coincides with the critical exponent of the p-energies. The work further establishes a relation between the conformal dimension and the spectral dimension of the associated random walks on the graph. A reader would care because the result supplies a concrete link between a quasisymmetric invariant and both variational energies and probabilistic spectral properties on discrete infinite structures.

Core claim

For metrics on infinite graphs, the Ahlfors regular conformal dimension coincides with the critical exponent of p-energies. Moreover, this dimension is related to the spectral dimension of the graph.

What carries the argument

Ahlfors regular conformal dimension of metrics on infinite graphs, shown to equal the critical exponent of p-energies while also relating to spectral dimension of random walks.

If this is right

  • The conformal dimension can be determined by locating the critical value of p at which the p-energy becomes positive.
  • Quasisymmetric invariance of the dimension continues to hold when the underlying space is an infinite graph.
  • The relation to spectral dimension supplies a bridge between the geometric conformal dimension and the long-term behavior of random walks on the graph.

Where Pith is reading between the lines

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

  • The equivalence may allow energy-based calculations to replace direct geometric constructions of the conformal dimension in discrete settings.
  • Similar coincidences could be tested for other dimension notions, such as Hausdorff dimension, on the same class of graphs.

Load-bearing premise

The p-energies and spectral dimension are well-defined and finite for the metrics and graphs considered, and quasisymmetric invariance of the conformal dimension extends to the infinite-graph setting.

What would settle it

A concrete infinite graph equipped with a metric where the computed Ahlfors regular conformal dimension differs from the critical exponent of the p-energies would disprove the claimed coincidence.

Figures

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

Figure 1.1
Figure 1.1. Figure 1.1: A partition of Z+ n − m = 1 and K(n,a) ⊇ K(m,b) , or m − n = 1 and K(n,a) ⊆ K(m,b) . Con￾sider T := S n,a(n, a) as a tree by ∼, then we obtain a correspondence between {Gn, En}n≥0 and T (see [PITH_FULL_IMAGE:figures/full_fig_p004_1_1.png] view at source ↗
Figure 1.2
Figure 1.2. Figure 1.2: Example 1.5 although the size of boxes 2n−f(n) may diverge. We also compare the Ahlfors conformal dimension with the spectral dimension. For p > 0, we can define the upper and lower p-spectral dimension, d S p and d S p of a partition (see Definition 2.14). We can further obtain the following. Theorem 1.7 (Theorem 4.14(2) and (3)). Let (G, E) be a graph and d is a metric on G. Under the same conditions a… view at source ↗
Figure 5.2
Figure 5.2. Figure 5.2 [PITH_FULL_IMAGE:figures/full_fig_p046_5_2.png] view at source ↗
Figure 5.4
Figure 5.4. Figure 5.4: w satisfying (5.1) • d(w) = 2−m = (1/2)m for any m ≤ 0 and w ∈ (T)m. • (uniformly finite) Similar to Example 2.7, Λ d s = ( (T)−m if 2m ≤ s < 2 m+1 , ∅ if s < 1. Hence #(Λd s,1 (w)) ≤ #({v ∈ (T)[w] | v ∩ w 6= ∅ as subsets of R 2}) ≤ 9 for any s > 0 and w ∈ Λ d s . This shows d is uniformly finite. • (thick) Let w = Sm,a,b ∈ (T)−m for some m ≥ 0. ◦ If m ≥ 1, then Λd d(π(w))/8,1 (xw) = Λd 2m−2,1 (xw) = S 2… view at source ↗
Figure 5.5
Figure 5.5. Figure 5.5: Gn (if f(n) = 1) [PITH_FULL_IMAGE:figures/full_fig_p049_5_5.png] view at source ↗
Figure 5.7
Figure 5.7. Figure 5.7: (G, E) (for some f). Note that ( R(x, y) −1 ≥ 1, for any (x, y) ∈ E, R(x, y) −1 ≤ E(1{x}) ≤ 6, for any x, y ∈ G with x 6= y, so R fits to (G, E). We will check properties of R in order to apply Theorem 4.29. For the purpose, we first introduce a partition. For n ≥ 0 and a, b ∈ Z, define 40,0,0 = {s + [PITH_FULL_IMAGE:figures/full_fig_p050_5_7.png] view at source ↗
Figure 5.8
Figure 5.8. Figure 5.8: Ep,k,πk(w) (0, 2, 1)  R(n(k + j))/R(n(j)). Proposition 5.5. dS(G, µ) = 2 log 3/ log 5 and d S 2 (0, 2, 1) = d S 2 (0, 2, 1) = 2 log 6/(log 90 − log 7). Proof. Let w = 4n(j),0,0 for some j ≥ 0. With the ∆-Y transform (see [9, Lemma 2.1.15]), we can see that Ep,k,πk(w) (0, 2, 1)  R(n(k + j))/R(n(j)) (see [PITH_FULL_IMAGE:figures/full_fig_p052_5_8.png] view at source ↗
read the original abstract

Quasisymmetry is a well-studied property of homeomorphisms between metric spaces, and Ahlfors regular conformal dimension is a quasisymmetric invariant. In the present paper, we consider the Ahlfors regular conformal dimension of metrics on infinite graphs, and show that this notion coincides with the critical exponent of $p$-energies. Moreover, we give a relation between the Ahlfors regular conformal dimension and the spectral dimension of a graph.

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 paper claims that the Ahlfors regular conformal dimension of metrics on infinite graphs coincides with the critical exponent of p-energies. It also establishes a relation between this conformal dimension and the spectral dimension of the associated random walks. The setting assumes locally finite connected graphs equipped with a doubling measure; proofs reduce to the finite-graph case via exhaustion and apply standard quasisymmetry estimates that carry over under the doubling hypothesis.

Significance. If the results hold, the work extends quasisymmetric invariants to infinite discrete graphs and links conformal dimension to p-energy exponents and spectral dimension via heat-kernel decay. Strengths include explicit definitions of p-energy (sums over edges w.r.t. a measure) and spectral dimension, plus the reduction argument under doubling. This supplies a concrete bridge between conformal geometry and random-walk analysis on graphs.

minor comments (2)
  1. [§2] §2 (definitions): the standing assumptions (locally finite, connected, doubling measure) are introduced inline; a short dedicated paragraph or box would improve readability for readers scanning the hypotheses.
  2. [Preliminaries] Notation: ensure the symbol for the measure μ is used uniformly in the p-energy sums and in the exhaustion argument; a single clarifying sentence in the preliminaries would prevent any momentary ambiguity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive report and the recommendation to accept the manuscript. The summary accurately captures the main results on the coincidence of Ahlfors regular conformal dimension with the critical p-energy exponent and the link to spectral dimension under the doubling measure assumption.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper supplies explicit definitions of p-energy (via edge sums with respect to a measure) and spectral dimension (via on-diagonal heat kernel decay), states standing assumptions (locally finite connected graphs with doubling measure), and proves the claimed coincidence with Ahlfors regular conformal dimension by exhaustion to the finite-graph case together with standard quasisymmetry estimates that carry over under doubling. No load-bearing step reduces by construction to a fitted parameter, self-citation chain, or renamed input; the central claims rest on independent reductions that are externally verifiable from the stated hypotheses.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; no explicit free parameters, axioms, or invented entities are stated or derivable from the given text.

pith-pipeline@v0.9.0 · 5592 in / 990 out tokens · 31857 ms · 2026-05-24T14:35:03.886476+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

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

    math.PR 2021-09 unverdicted novelty 6.0

    Constructs a fractal-like graph with ds < dim_ARC < 2 and proves a sufficient condition for dim_ARC ≤ ds < 2 on infinite weighted graphs.

  2. Systems of Dyadic Cubes of Complete, Doubling, Uniformly Perfect Metric Spaces without Detours

    math.MG 2021-10 unverdicted novelty 5.0

    Constructs dyadic cube systems in complete doubling uniformly perfect metric spaces with a three-cube chain property connecting any two points.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages · cited by 2 Pith papers

  1. [1]

    M. T. Barlow, Diffusions on fractals. Lectures on probability theory and statistics (Saint-Flour, 1995), 1-121, Lecture Notes in Math., 1690, Springer, Berlin, 1998

    work page 1995

  2. [2]

    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

  3. [3]

    Bonk and B

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

    work page 2005

  4. [4]

    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

  5. [5]

    Carrasco Piaggio, On the conformal gauge of a compact metric space

    M. Carrasco Piaggio, On the conformal gauge of a compact metric space. Ann. Sci. ´Ec. Norm. Sup´ er. (4) 46 (2013), no. 3, 495-548

    work page 2013

  6. [6]

    Carrasco Piaggio, Conformal dimension and canonical splittings of hy- perbolic groups

    M. Carrasco Piaggio, Conformal dimension and canonical splittings of hy- perbolic groups. Geom. Funct. Anal. 24 (2014), no. 3, 922-945

    work page 2014

  7. [7]

    Grigor’yan, Heat kernel upper bounds on fractal spaces Preprint, https://www.math.uni-bielefeld.de/ grigor/fkreps.pdf, 2004

    A. Grigor’yan, Heat kernel upper bounds on fractal spaces Preprint, https://www.math.uni-bielefeld.de/ grigor/fkreps.pdf, 2004

    work page 2004

  8. [8]

    Heinonen, Lectures on analysis on metric spaces

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

    work page 2001

  9. [9]

    Kigami, Analysis on fractals

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

    work page 2001

  10. [10]

    Kigami, Resistance forms, quasisymmetric maps and heat kernel esti- mates

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

    work page 2012

  11. [11]

    Kigami, Quasisymmetric modification of metrics on self-similar sets

    J. Kigami, Quasisymmetric modification of metrics on self-similar sets. Geometry and analysis of fractals, 253-282, Springer Proc. Math. Stat., 88, Springer, Heidelberg, 2014

    work page 2014

  12. [12]

    Kigami, Weighted partition of a compact metrizable space, its hyperbol- icity and Ahlfors regular conformal dimension

    J. Kigami, Weighted partition of a compact metrizable space, its hyperbol- icity and Ahlfors regular conformal dimension. Preprint, arXiv:1806.06558, 2018. 63

    work page arXiv 2018

  13. [13]

    Kumagai and J

    T. Kumagai and J. Misumi, Heat kernel estimates for strongly recurrent random walk on random media. J. Theor. Probab. 21 (2008), no. 4, 910-935

    work page 2008

  14. [14]

    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

  15. [15]

    Murugan, Quasisymmetric uniformization and heat kernel estimates

    M. Murugan, Quasisymmetric uniformization and heat kernel estimates. Trans. Amer. Math. Soc. 372 (2019), no. 6, 4177-4209

    work page 2019

  16. [16]

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

    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

  17. [17]

    Pansu, Dimension conforme et sph` ere ` a l’infini des vari´ et´ es ` a courbure n´ egative.Ann

    P. Pansu, Dimension conforme et sph` ere ` a l’infini des vari´ et´ es ` a courbure n´ egative.Ann. Acad. Sci. Fenn. Ser. A I Math. 14 (1989), no. 2, 177-212

    work page 1989

  18. [18]

    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

  19. [19]

    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. 64

    work page 1980