Walk dimension and vanishing curve modulus in metric measure spaces

Aobo Chen

REVIEW 3 major objections 4 minor 25 references

Walk dimension and vanishing curve modulus in metric measure spaces

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

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

Pith's one-line read A scale-function ratio Ψ(r)/r^p decides whether curve families vanish in p-modulus, and at p=2 it pinpoints when conformal dimension falls below Hausdorff dimension.

desk verdict Plausible and significant dichotomy between walk dimension and curve modulus, but the proof as written has concrete errors and leans on unpublished results—worth a serious referee, not acceptance yet. read the letter →

arxiv 2606.27869 v2 pith:V5JRDPUD submitted 2026-06-26 math.MG

Aobo Chen This is my paper · ORCID

classification math.MG MSC 51F9930L1546E36

keywords walkdimensionp-moduluscurvefamiliesPoincaréinequalityDirichletspaceconformalsub-GaussianheatkernelAhlforsregular

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 proves a sharp dichotomy for curve families on metric measure spaces carrying a local p-energy form: volume doubling plus a p-Poincaré inequality turns the small-scale ratio Ψ(r)/r^p into a switch that decides whether every curve family has zero p-modulus. If the ratio has a subsequence tending to zero, all curve families collapse in modulus (and the Sobolev space reduces to L^p); if the ratio is bounded below and the space satisfies a chain condition and a capacity bound, some family carries positive modulus. For p=2 this yields a classification on Ahlfors α-regular length spaces with a conservative strongly local Dirichlet form satisfying sub-Gaussian heat-kernel estimates HKE(β): walk dimension β>2 happens exactly when the Ahlfors-regular conformal dimension drops below α, and β=2 happens exactly when the metric is minimal. A direct consequence is that every generalized Sierpiński carpet is non-minimal for its Ahlfors-regular conformal dimension, with a self-contained proof that its weak tangents all satisfy VM_p.

What carries the argument

The central mechanism is the scale function Ψ and its small-scale comparison to r^p. Three tools carry the argument: (i) a discrete cell-partition approximation of the p-energy whose Γ-limit is comparable to the Cheeger energy, which turns Ψ(r)/r^p→0 into vanishing energy on F_p; (ii) the identities connecting variational capacity, p-modulus, and the capacity defined through Lipschitz functions, which convert energy vanishing into the zero-modulus property and, conversely, turn capacity lower bounds into existence of curve families with positive modulus; (iii) a stability result that carries sub-Gaussian heat-kernel bounds to weak tangents under pointed Gromov–Hausdorff limits, so the p=2 di

What would settle it

Find an Ahlfors α-regular, proper length space admitting a conservative, regular, strongly local Dirichlet form with HKE(β) for β>2 whose Ahlfors-regular conformal dimension equals α; Theorem 1.4 predicts this is impossible, so a concrete example is a direct counterexample. A more quantitative test: compute the 2-modulus of the family of curves joining two disjoint balls of radius r in such a space; the dichotomy predicts the modulus decays to zero as r→0 for β>2 and is bounded below for β=2, so a single finite-scale computation violating that pattern would refute the sharpness.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem 1.2: on a regular local p-Dirichlet space (X,d,m,E_p,F_p,Γ_p) with volume doubling and a p-Poincaré inequality of the form PI_p(Ψ), the condition liminf_{r↓0} Ψ(r)/r^p = 0 forces the vanishing p-modulus property VM_p, whereas liminf > 0 combined with the chain condition and a capacity upper bound Cap_p(Ψ)≤ forces VM_p to fail. In the p=2 setting, Theorem 1.4 converts this into an exact equivalence for Ahlfors α-regular proper length spaces with a conservative regular strongly local Dirichlet form satisfying HKE(β): β>2 iff VM_2 holds iff dim_ARC(X,d)<α, and β=2 iff VM_2 fails iff dim_ARC(X,d)=α. The author's route is to show that the vanishing condition f

Load-bearing premise

The load-bearing premise is that sub-Gaussian heat-kernel estimates HKE(β) are stable under pointed Gromov–Hausdorff limits of rescaled spaces, a result imported from the companion paper; if that stability fails, or if the limiting Dirichlet form is not conservative and regular, the p=2 application to conformal dimension loses its main bridge.

Editorial extensions

If this is right

If β>2 on an Ahlfors α-regular length space with a strongly local, conservative Dirichlet form satisfying HKE(β), the space cannot be minimal: its Ahlfors-regular conformal dimension is strictly below its Hausdorff dimension α.
If β=2, the space is minimal in the Ahlfors-regular category, with conformal dimension exactly α; such spaces are precisely the borderline where VM_2 fails.
Under the vanishing condition, the Newton–Sobolev space N^{1,p} collapses to L^p, so no non-constant Sobolev functions exist; in particular the p-energy carries no first-order information.
Every generalized Sierpiński carpet (with Euclidean metric) is non-minimal for its Ahlfors-regular conformal dimension, because each of its weak tangents satisfies VM_p for all p∈[1,∞).

Reading between the lines

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

The dichotomy suggests a general principle: in any setting where a Poincaré inequality with scale function Ψ holds, the quantity liminf Ψ(r)/r^p is the correct micro-scale invariant for detecting abundance of curves; the same test might apply to non-local or non-symmetric p-energy forms, where the standard Sobolev space may not be available.
One could test the sharpness of the threshold numerically on finite graph approximations of self-similar fractals: approximate the p-modulus of a cable of curves joining two small balls and check whether it vanishes exactly when the exponent of Ψ exceeds p.
The borderline β=2 case is where minimality and non-vanishing curve modulus coincide; this suggests the critical walk dimension may be characterized by the presence of a positive density of rectifiable curves, which could be connected to the existence of a non-trivial quasiconformal structure.
The appendix's equivalence between pointed convergence notions suggests that any invariant stable under rescaling and weak-tangent limits (not just modulus) can be tested in either topology; this may simplify future proofs in fractal geometry.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

Aobo Chen proves a clean-looking dichotomy: on a regular local p-Dirichlet space with VD and PI_p, the liminf behaviour of the scaling function decides whether the p-modulus vanishes; and for Ahlfors-regular spaces with sub-Gaussian HKE(β), β>2 forces VM2 and dim_ARC<α, while β=2 gives the opposite. The main idea looks right, and the theorem would be a genuine step forward in fractal analysis. The liminf criterion for VM_p is new as a characterization, and the application to conformal dimension is natural and well-packaged. The appendix establishing the equivalence between Attouch–Wets and pointed Gromov–Hausdorff convergence is self-contained and seems correct—credit for that.

But the proof as submitted is not yet reliable. Lemma 3.4 contains a false inference: from ∫γ g = 1 and ∫γ g1_{g≤1} ≤ length < ∞ it does not follow that ∫γ g1_{g>1} = 1. The integral over the set where g≤1 could be positive, so the claimed equality and the subsequent lower bound on ∫γ h are not justified. That is a real gap in the argument that VM_q ⇒ VM_p. It may be repairable with a different choice of test function, but as written the proof is incomplete. Lemma 3.7 has an apparent internal inconsistency—saying ∫γ ρ = 0 and then using ∫γ ρ = 1—which is almost certainly a typo, but it needs cleaning.

The bigger structural concern is Theorem 1.4. Both directions pass through the claim that HKE(β) transfers from X to every weak tangent. The paper cites [Che26, Thm 1.2] for this, but never states its hypotheses or verifies them for the rescaled spaces. That is a heavy load on an unpublished self-citation. It might be a known stability theorem under mild conditions, but the referee should insist on a precise statement and a check that conservativeness, regularity, and strong locality survive the limit.

I want to be clear: these are not fatal to the core idea. The machinery—VD, PI_p, capacity bounds, Γ-convergence—is standard, and the liminf criterion is plausible. But the errors are load-bearing in the current writeup, so the paper is not ready for acceptance. It deserves a serious referee because the result is significant and likely correct after repair; the author should fix Lemma 3.4, clarify Lemma 3.7, and supply the hypotheses for the tangent stability result. I would assign it to peer review, but only with the expectation of major revision.

Referee Report

3 major / 4 minor

Summary. The paper introduces the vanishing p-modulus property VM_p (Mod_p(Γ)=0 for every curve family) and characterizes it on regular local p-Dirichlet spaces. Theorem 1.2 states that under VD and PI_p(Ψ), liminf Ψ(r)/r^p = 0 implies VM_p, while under the chain condition and Cap_p(Ψ)≤, liminf > 0 implies VM_p fails. The proof uses Γ-convergence of discrete approximate gradients, capacity-modulus identities, and a Lipschitz-to-F_p,loc inclusion imported from other papers. As an application, Theorem 1.4 asserts that for an Ahlfors α-regular proper length space carrying a conservative, regular, strongly local Dirichlet form with sub-Gaussian HKE(β), β>2 is equivalent to VM_2 and to dim_ARC(X,d)<α, whereas β=2 is equivalent to dim_ARC(X,d)=α. An alternative proof for generalized Sierpiński carpets is also sketched. Appendix A proves the equivalence, up to subsequence, between Attouch–Wets and pointed Gromov–Hausdorff convergence.

Significance. If correct, the paper gives a clean modulus-theoretic characterization of the walk dimension and a general non-minimality result for Ahlfors-regular conformal dimension in the sub-Gaussian heat-kernel setting. The Γ-convergence approach to forcing vanishing energy is attractive, and Theorem A.4 is a potentially useful standalone result. However, the main application depends on an unstated stability theorem for heat kernel estimates under weak tangents, and the proof of a key monotonicity lemma for VM_p is invalid as written. These issues are load-bearing, so the significance can only be assessed after substantial revision.

major comments (3)

[Lemma 3.4] The proof of VM_q ⇒ VM_p is not valid. First, [HKST15, Lemma 5.2.8] supplies a nonnegative Borel function g with ∫γ g ds = ∞ for every γ in the family, not ∫γ g ds = 1. Even if the displayed normalization ∫γ g ds = 1 were available, the inference from ∫γ g 1_{g≤1} ds ≤ Length(γ) < ∞ to ∫γ g 1_{g>1} ds = 1 is a non sequitur: the integral over {g≤1} can be any nonnegative finite number. Consequently h = g^{q/p} need not be admissible. This lemma is used in the β>2 direction of Theorem 1.4, so the application is not established. A correct proof, for instance using the ∞ version of Lemma 5.2.8 together with a localization/truncation argument, must be supplied.
[Theorem 1.4, proof after 'Suppose dim_ARC(X,d)=α'] The step 'By Theorem A.4-(1) and [Che26, Theorem 1.2]' transfers HKE(β) from X to weak tangents Z. This is the only mechanism that carries the heat-kernel hypothesis onto tangents in both directions of the dichotomy. The manuscript does not state the hypotheses of [Che26, Theorem 1.2], nor does it verify them for the rescaled spaces (X, r_n^{-1}d, x_n) with normalized measures r_n^{-α}m and rescaled Dirichlet forms. In particular, it is not automatic that the limiting Dirichlet form on L^2(Z,µ) is conservative, regular, strongly local, or even that it exists in the required sense; a limit with killing or boundary terms would destroy the lower heat kernel bound. Since both implications β=2 ⇔ dim_ARC(X,d)=α rely on this transfer, the proof is incomplete. The cited theorem should be stated precisely and its hypotheses checked, or the stability result should be proved directly in this paper.
[Proposition 2.10] Theorem 1.2-(2) is built on Proposition 2.10, whose items (1) and (3) are cited verbatim from [EB26, Theorem 1.4] and [Yan25b, Theorems 2.4, 2.5, Lemma 4.1]. These are arXiv preprints and their exact hypotheses are not reproduced. Because the inclusions Liploc ⊂ F_p,loc, the density bound (2.12), and the two-sided estimate (2.14) are load-bearing for the failure direction of Theorem 1.2, a referee cannot check the validity of this chain from the manuscript. Please state the relevant results with full hypotheses, or include proofs in an appendix.

minor comments (4)

[Lemma 3.7] The alternative proof of Corollary 3.6 contains internal inconsistencies: it first says a function ρ_j is extended with '∫γ ρ ds = 0' and later claims '∫γ ρ_j ds = 1'; the Baire-category step also says the preimages γ^{-1}(φ_j(K)) are 'N disjoint closed subsets', although disjointness is not needed and generally fails. This alternative proof should be corrected or removed, since it does not affect the main line through Theorem 1.4.
[Lemma 2.11] The telescoping identity in Case 2, u(x) - u_{B(x,r)} = Σ_j (u_{B(x,2^{-j}r)} - u_{B(x,2^{-(j+1)}r)}), is missing the limit term and the m-a.e. justification from Lebesgue differentiation; there is also a typo '2^{-j=1}r' for 2^{-(j+1)}r.
[Throughout] Typos and minor wording: 'Jesen' should be 'Jensen', 'suﬀice' should be 'suffice', 'quasisymmtric' should be 'quasisymmetric', and 'universial' in Definition 1.10 should be 'universal'.
[Definition 1.10(6)] The phrase 'f|_A = C m-a.e. for some constant C' would be clearer as 'for each open set A there exists a constant C_A ...' to avoid the appearance of a single global constant.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Theorem 1.2 is derived from its stated hypotheses, and the same-author stability citation in Theorem 1.4 is load-bearing but not a logical circle.

full rationale

The derivation of Theorem 1.2 is not circular: part (1) bounds the discrete approximate gradients by (Psi(r)/r^p)E_p(u), invokes Gamma-convergence, and concludes Ch_p=0 when liminf Psi(r)/r^p=0; part (2) uses the chain condition, the capacity upper bound, and independent results [EBPC24, Yan25b, KS26] to obtain a positive lower bound for modulus. These steps do not define their conclusions into their hypotheses, and no fitted constants are renamed as predictions. Theorem 1.4 does rely on the author's own theorem [Che26, Theorem 1.2] to transfer sub-Gaussian heat kernel estimates to weak tangents; this is a load-bearing self-citation, and the manuscript does not restate or verify the hypotheses of that theorem for the rescaled spaces. However, that is a correctness or support concern, not circularity: [Che26] is a separate stability theorem with its own assumptions, it does not assume the conformal-dimension dichotomy being proved, and it is externally falsifiable rather than a restatement of the present paper's input. The other principal ingredients ([KL04], [KM23], [GHL15], [EBPC24], [KS26]) are independent external results. Therefore no step in the claimed derivation reduces by construction or by definition to its own input.

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

No free parameters are fitted and no new entities are postulated. The paper's contribution depends on a network of external theorems, most prominently [Che26] (self-cited), [KL04], [KM23], [EBPC24], and several unpublished preprints. The scale function Ψ is an input describing the Dirichlet form, not a fitted parameter.

assumptions (7)

domain assumption Existence of a regular local p-Dirichlet space (X,d,m,E_p,F_p,Γ_p) satisfying VD and PI_p(Ψ) for the given Ψ
Theorem 1.2 is conditional on this structure (Definition 1.10, Definition 1.11).
domain assumption Chain condition and Cap_p(Ψ)≤ for the converse part of Theorem 1.2
Theorem 1.2-(2) needs both; Proposition 2.10 uses them via [EB26, Theorem 1.4] and [Yan25b, Theorems 2.4–2.5] to get Lipschitz functions in F_{p,loc}.
domain assumption [Che26, Theorem 1.2]: HKE(β) is preserved under pointed Gromov–Hausdorff convergence of rescaled spaces
Used in Theorem 1.4 to transfer HKE(β) to weak tangents; the theorem is by the present author and is not proved in this paper.
domain assumption [KL04, Theorem 1.0.1 and Corollary 1.0.2]: dim_ARC=α is detected by existence/non-existence of weak tangents with vanishing modulus
The identification between minimality of conformal dimension and tangent modulus behavior is imported from Keith–Laakso.
domain assumption [EBPC24, Theorem 1.1]: Mod_p(E,F) = cap^{(lip,lip)}_p(E,F) under the hypotheses used in the paper
Bridges the geometric capacity bound in Lemma 2.11 to p-modulus in the proof of Theorem 1.2-(2); not proved here.
standard math Baire category theorem
Used in Lemma 3.7 to find an interval in the preimage of one copy of the carpet inside a curve in the union.
standard math Vitali-type covering theorem [Hei01, Theorem 1.2]
Used in Lemma 2.11 to extract a disjoint subcollection of balls covering E.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Walk dimension and vanishing curve modulus in metric measure spaces." pith.science (2026). https://pith.science/paper/V5JRDPUD

@misc{pith2026260627869,
  author       = {Pith},
  title        = {Pith review of: Walk dimension and vanishing curve modulus in metric measure spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/V5JRDPUD}},
  note         = {Machine review of arXiv:2606.27869}
}

abstract

On a regular local $p$-Dirichlet space supporting a Poincar\'{e} inequality and a capacity upper bound, we characterize the existence of curve families of positive $p$-modulus in terms of the small-scale behaviour of the scaling function. As an application, we show that, on an Ahlfors-regular metric measure space carrying a strongly local regular Dirichlet form with sub-Gaussian heat kernel estimates, the comparison between the walk dimension and $2$ determines whether the given metric attains its Ahlfors-regular conformal dimension.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

25 extracted references · 3 linked inside Pith

[1]

Sobolev spaces in metric measure spaces: reflexivity and lower semicontinuity of slope

Luigi Ambrosio, Maria Colombo, and Simone Di Marino. Sobolev spaces in metric measure spaces: reflexivity and lower semicontinuity of slope. In Variational methods for evolving objects , volume 67 of Adv. Stud. Pure Math. , pages 1--58. Math. Soc. Japan, [Tokyo], 2015. http://www.ams.org/mathscinet-getitem?mr=3587446 MR3587446

2015
[2]

H\'edy Attouch, Roberto Lucchetti, and Roger J.-B. Wets. The topology of the - H ausdorff distance. Ann. Mat. Pura Appl. (4) , 160:303--320, 1991. http://www.ams.org/mathscinet-getitem?mr=1163212 MR1163212

1991
[3]

A course in metric geometry , volume 33 of Graduate Studies in Mathematics

Dmitri Burago, Yuri Burago, and Sergei Ivanov. A course in metric geometry , volume 33 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2001. http://www.ams.org/mathscinet-getitem?mr=1835418 MR1835418

2001
[4]

Functional analysis, S obolev spaces and partial differential equations

Haim Brezis. Functional analysis, S obolev spaces and partial differential equations . Universitext. Springer, New York, 2011. http://www.ams.org/mathscinet-getitem?mr=2759829 MR2759829

2011
[5]

Stability of heat kernel bounds under pointed G romov- H ausdorff convergence

Aobo Chen. Stability of heat kernel bounds under pointed G romov- H ausdorff convergence. J. Funct. Anal. , 291(3):Paper No. 111488, 58, 2026. http://www.ams.org/mathscinet-getitem?mr=5061842 MR5061842

2026
[6]

Elliptic Harnack inequalities for mixed local and nonlocal p -energy form on metric measure spaces, 2026

Aobo Chen and Zhenyu Yu. Elliptic Harnack inequalities for mixed local and nonlocal p -energy form on metric measure spaces, 2026. https://arxiv.org/abs/2510.12404v3 arXiv:2510.12404v3

arXiv 2026
[7]

On microsets, Assouad dimension and lower dimension of random fractals, and Furstenberg's homogeneity, 2022

Yiftach Dayan. On microsets, Assouad dimension and lower dimension of random fractals, and Furstenberg's homogeneity, 2022. https://arxiv.org/abs/2201.02059v1 arXiv:2201.02059v1

arXiv 2022
[8]

On the Resistance Conjecture, 2026

Sylvester Eriksson-Bique. On the Resistance Conjecture, 2026. https://arxiv.org/abs/2602.05477v2 arXiv:2602.05477v2

arXiv 2026

Show all 25 references

[9]

On the energy image density conjecture of Bouleau and Hirsch, 2025

Sylvester Eriksson-Bique and Mathav Murugan. On the energy image density conjecture of Bouleau and Hirsch, 2025. https://arxiv.org/abs/2510.13659v1 arXiv:2510.13659v1

2025
[10]

Density of continuous functions in S obolev spaces with applications to capacity

Sylvester Eriksson-Bique and Pietro Poggi-Corradini. Density of continuous functions in S obolev spaces with applications to capacity. Trans. Amer. Math. Soc. Ser. B , 11:901--944, 2024. http://www.ams.org/mathscinet-getitem?mr=4772302 MR4772302

2024
[11]

Dirichlet forms and symmetric M arkov processes , volume 19 of De Gruyter Studies in Mathematics

Masatoshi Fukushima, Yoichi Oshima, and Masayoshi Takeda. Dirichlet forms and symmetric M arkov processes , volume 19 of De Gruyter Studies in Mathematics . Walter de Gruyter & Co., Berlin, extended edition, 2011. http://www.ams.org/mathscinet-getitem?mr=2778606 MR2778606

2011
[12]

Generalized capacity, H arnack inequality and heat kernels of D irichlet forms on metric measure spaces

Alexander Grigor'yan, Jiaxin Hu, and Ka-Sing Lau. Generalized capacity, H arnack inequality and heat kernels of D irichlet forms on metric measure spaces. J. Math. Soc. Japan , 67(4):1485--1549, 2015. http://www.ams.org/mathscinet-getitem?mr=3417504 MR3417504

2015
[13]

Lectures on analysis on metric spaces

Juha Heinonen. Lectures on analysis on metric spaces . Universitext. Springer-Verlag, New York, 2001. http://www.ams.org/mathscinet-getitem?mr=1800917 MR1800917

2001
[14]

Quasiconformal maps in metric spaces with controlled geometry

Juha Heinonen and Pekka Koskela. Quasiconformal maps in metric spaces with controlled geometry. Acta Math. , 181(1):1--61, 1998. http://www.ams.org/mathscinet-getitem?mr=1654771 MR1654771

1998
[15]

Juha Heinonen, Pekka Koskela, Nageswari Shanmugalingam, and Jeremy T. Tyson. Sobolev spaces on metric measure spaces , volume 27 of New Mathematical Monographs . Cambridge University Press, Cambridge, 2015. An approach based on upper gradients. http://www.ams.org/mathscinet-ge...

2015
[16]

An elementary proof that walk dimension is greater than two for B rownian motion on S ierpi\'nski carpets

Naotaka Kajino. An elementary proof that walk dimension is greater than two for B rownian motion on S ierpi\'nski carpets. Bull. Lond. Math. Soc. , 55(1):508--521, 2023. http://www.ams.org/mathscinet-getitem?mr=4568357 MR4568357

2023
[17]

Conductive homogeneity of compact metric spaces and construction of p -energy , volume 5 of Memoirs of the European Mathematical Society

Jun Kigami. Conductive homogeneity of compact metric spaces and construction of p -energy , volume 5 of Memoirs of the European Mathematical Society . European Mathematical Society (EMS), Berlin, 2023. http://www.ams.org/mathscinet-getitem?mr=4615714 MR4615714

2023
[18]

Keith and T

S. Keith and T. Laakso. Conformal A ssouad dimension and modulus. Geom. Funct. Anal. , 14(6):1278--1321, 2004. http://www.ams.org/mathscinet-getitem?mr=2135168 MR2135168

2004
[19]

On singularity of energy measures for symmetric diffusions with full off-diagonal heat kernel estimates

Naotaka Kajino and Mathav Murugan. On singularity of energy measures for symmetric diffusions with full off-diagonal heat kernel estimates. Ann. Probab. , 48(6):2920--2951, 2020. http://www.ams.org/mathscinet-getitem?mr=4164457 MR4164457

2020
[20]

On the conformal walk dimension: quasisymmetric uniformization for symmetric diffusions

Naotaka Kajino and Mathav Murugan. On the conformal walk dimension: quasisymmetric uniformization for symmetric diffusions. Invent. Math. , 231(1):263--405, 2023. http://www.ams.org/mathscinet-getitem?mr=4526824 MR4526824

2023
[21]

Contraction properties and differentiability of p -energy forms with applications to nonlinear potential theory on self-similar sets, 2026

Naotaka Kajino and Ryosuke Shimizu. Contraction properties and differentiability of p -energy forms with applications to nonlinear potential theory on self-similar sets, 2026. https://arxiv.org/abs/2404.13668v3 arXiv:2404.13668v3

2026 arXiv
[22]

Scale-invariant boundary H arnack principle on inner uniform domains in fractal-type spaces

Janna Lierl. Scale-invariant boundary H arnack principle on inner uniform domains in fractal-type spaces. Potential Anal. , 43(4):717--747, 2015. http://www.ams.org/mathscinet-getitem?mr=3432457 MR3432457

2015
[23]

Gromov-Hausdorff distances in Euclidean spaces

Facundo Memoli. Gromov-Hausdorff distances in Euclidean spaces. In 2008 IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops , pages 1--8, 2008

2008
[24]

On singularity of p -energy measures on metric measure spaces, 2025

Meng Yang. On singularity of p -energy measures on metric measure spaces, 2025. https://arxiv.org/abs/2505.12468v2 arXiv:2505.12468v2

2025 arXiv
[25]

On the dichotomy of p -walk dimensions on metric measure spaces, 2025

Meng Yang. On the dichotomy of p -walk dimensions on metric measure spaces, 2025. https://arxiv.org/abs/2509.08641v2 arXiv:2509.08641v2

2025

Pith tools

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

[1] [1]

Sobolev spaces in metric measure spaces: reflexivity and lower semicontinuity of slope

Luigi Ambrosio, Maria Colombo, and Simone Di Marino. Sobolev spaces in metric measure spaces: reflexivity and lower semicontinuity of slope. In Variational methods for evolving objects , volume 67 of Adv. Stud. Pure Math. , pages 1--58. Math. Soc. Japan, [Tokyo], 2015. http://www.ams.org/mathscinet-getitem?mr=3587446 MR3587446

2015

[2] [2]

H\'edy Attouch, Roberto Lucchetti, and Roger J.-B. Wets. The topology of the - H ausdorff distance. Ann. Mat. Pura Appl. (4) , 160:303--320, 1991. http://www.ams.org/mathscinet-getitem?mr=1163212 MR1163212

1991

[3] [3]

A course in metric geometry , volume 33 of Graduate Studies in Mathematics

Dmitri Burago, Yuri Burago, and Sergei Ivanov. A course in metric geometry , volume 33 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2001. http://www.ams.org/mathscinet-getitem?mr=1835418 MR1835418

2001

[4] [4]

Functional analysis, S obolev spaces and partial differential equations

Haim Brezis. Functional analysis, S obolev spaces and partial differential equations . Universitext. Springer, New York, 2011. http://www.ams.org/mathscinet-getitem?mr=2759829 MR2759829

2011

[5] [5]

Stability of heat kernel bounds under pointed G romov- H ausdorff convergence

Aobo Chen. Stability of heat kernel bounds under pointed G romov- H ausdorff convergence. J. Funct. Anal. , 291(3):Paper No. 111488, 58, 2026. http://www.ams.org/mathscinet-getitem?mr=5061842 MR5061842

2026

[6] [6]

Elliptic Harnack inequalities for mixed local and nonlocal p -energy form on metric measure spaces, 2026

Aobo Chen and Zhenyu Yu. Elliptic Harnack inequalities for mixed local and nonlocal p -energy form on metric measure spaces, 2026. https://arxiv.org/abs/2510.12404v3 arXiv:2510.12404v3

arXiv 2026

[7] [7]

On microsets, Assouad dimension and lower dimension of random fractals, and Furstenberg's homogeneity, 2022

Yiftach Dayan. On microsets, Assouad dimension and lower dimension of random fractals, and Furstenberg's homogeneity, 2022. https://arxiv.org/abs/2201.02059v1 arXiv:2201.02059v1

arXiv 2022

[8] [8]

On the Resistance Conjecture, 2026

Sylvester Eriksson-Bique. On the Resistance Conjecture, 2026. https://arxiv.org/abs/2602.05477v2 arXiv:2602.05477v2

arXiv 2026