pith. sign in

arxiv: 1907.06903 · v1 · pith:PEQRISYEnew · submitted 2019-07-16 · 🧮 math.MG · math.CA

Quantitative Alberti representations in spaces of bounded geometry

Tuomas Orponen This is my paper

Pith reviewed 2026-05-24 20:52 UTC · model grok-4.3

classification 🧮 math.MG math.CA
keywords Alberti representationsA∞ on curvesdoubling measuresquasiconvex metric spacesbounded geometrymetric measure spacesHausdorff content
0
0 comments X

The pith

Complete doubling quasiconvex spaces satisfying A∞ on curves admit Alberti representations with L^p-densities.

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

The paper proves that any complete, doubling, and quasiconvex metric measure space which is A∞ on curves has Alberti representations where the representing measures come with L^p density bounds for some p greater than 1. The constants depend only on the doubling constant and the A∞ parameters. Normalized restrictions of the measure to any ball decompose as a density times a convex combination of measures supported on continua of controlled length. This decomposition is uniform across balls. A reader would care because the result supplies a quantitative way to analyze measures along curves in general metric settings where Euclidean tools are unavailable.

Core claim

Any complete, doubling, and quasiconvex space (X,d,μ) which is A∞ on curves has Alberti representations with L^p-densities for some p > 1, depending only on the doubling and A∞-constants. More precisely, any normalised restriction of μ to a ball B ⊂ X can be written as μ_B = f_B dν_B, where ν_B is a convex combination of measures of linear growth supported on continua of length ≤ diam(B), and ||f_B||_L^p(ν_B) ≤ C for some constant C ≥ 1 independent of B.

What carries the argument

The A∞ on curves condition, which states that every Borel set S with measure exceeding τ times the ball measure contains a continuum γ of length at most the radius with positive one-dimensional Hausdorff content fraction at least θ.

If this is right

  • Spaces of Q-bounded geometry for Q>1 are A∞ on curves and therefore inherit the L^p Alberti representations.
  • The representing measures ν_B are always convex combinations of linear-growth measures on continua no longer than the diameter of the ball.
  • The L^p bound on the density holds with a constant independent of the choice of ball.
  • The p>1 depends only on the doubling and A∞ constants of the space.

Where Pith is reading between the lines

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

  • The result may supply a route to quantitative differentiation theorems for Lipschitz functions on these spaces.
  • It could link to questions of rectifiability by providing controlled curve decompositions of the measure.
  • Similar techniques might adapt to other representation theorems that rely on curve supports.

Load-bearing premise

The space must satisfy the A∞ on curves condition that forces large-measure subsets of balls to contain continua of controlled length.

What would settle it

A complete doubling quasiconvex space that meets the A∞ on curves condition yet for which the L^p norm of the density f_B becomes arbitrarily large for some sequence of balls B.

read the original abstract

A metric measure space $(X,d,\mu)$ is said to be $A_{\infty}$ on curves if there exist constants $\tau < 1$ and $\theta > 0$ with the following property. For every $x \in X$, $0 < r \leq \mathrm{diam}(X)$, and a Borel set $S \subset B(x,r)$ with $\mu(S) > \tau \mu(B(x,r))$, there exists a continuum $\gamma \subset X$ of length $\leq r$ satisfying $\mathcal{H}^{1}_{\infty}(\gamma \cap S) \geq \theta r$. I first observe that spaces of $Q$-bounded geometry, $Q > 1$, are $A_{\infty}$ on curves. Then, I show that any complete, doubling, and quasiconvex space $(X,d,\mu)$ which is $A_{\infty}$ on curves has Alberti representations with $L^{p}$-densities for some $p > 1$, depending only on the doubling and $A_{\infty}$-constants. More precisely, any normalised restriction of $\mu$ to a ball $B \subset X$ can be written as $\mu_{B} = f_{B} \, d\nu_{B}$, where $\nu_{B}$ is a convex combination of measures of linear growth supported on continua of length $\le \mathrm{diam}(B)$, and $\|f_{B}\|_{L^{p}(\nu_{B})} \leq C$ for some constant $C \geq 1$ independent of $B$.

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 defines the A∞ on curves condition: for every x, r, and Borel S ⊂ B(x,r) with μ(S) > τ μ(B(x,r)), there exists a continuum γ of length ≤ r with H¹_∞(γ ∩ S) ≥ θ r. It observes that Q-bounded geometry spaces (Q>1) satisfy this condition, then proves that any complete, doubling, quasiconvex space that is A∞ on curves admits Alberti representations with L^p densities: any normalized restriction μ_B to a ball B equals f_B dν_B, where ν_B is a convex combination of linear-growth measures supported on continua of length ≤ diam(B) and ||f_B||_{L^p(ν_B)} ≤ C with C depending only on the doubling and A∞ constants.

Significance. If the result holds, it supplies quantitative Alberti representations (with explicit L^p control independent of the ball) in the broad class of complete doubling quasiconvex spaces satisfying A∞ on curves. This is a useful tool for differentiation theory, rectifiability, and other analytic questions on metric spaces, and the clean dependence only on the listed structural constants is a strength.

minor comments (2)
  1. [Abstract] Abstract: the notation H¹_∞ is used without definition or reference; add a brief clarification or citation in the definition paragraph.
  2. [Abstract] Abstract: the observation that Q-bounded geometry implies A∞ on curves is stated as a preliminary step; if the argument is short, include a one-paragraph sketch so the quantitative dependence is visible.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the clear summary of its main result, and the recommendation for minor revision. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper defines the A∞ on curves condition explicitly and proves an existence result: any complete doubling quasiconvex space satisfying this condition admits Alberti representations μ_B = f_B dν_B with ||f_B||_L^p bounded by a constant depending only on the given parameters. No parameter is fitted to data and then relabeled as a prediction, no self-citation is invoked as a load-bearing uniqueness theorem, and the derivation does not reduce any claimed output to its inputs by construction. The result is a standard quantitative existence theorem in metric geometry whose central claim remains independent of the inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard domain assumptions of metric geometry (completeness, doubling, quasiconvexity) and introduces the new A∞ on curves property as the central hypothesis. No numerical fitting or new postulated entities appear in the abstract.

axioms (2)
  • domain assumption The metric measure space is complete, doubling, and quasiconvex.
    These are the background geometric assumptions required for the main theorem.
  • domain assumption The space is A∞ on curves with fixed constants τ < 1 and θ > 0.
    This is the key new condition used to guarantee the existence of suitable continua.

pith-pipeline@v0.9.0 · 5815 in / 1513 out tokens · 30055 ms · 2026-05-24T20:52:11.106399+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

16 extracted references · 16 canonical work pages

  1. [1]

    Alberti and A

    G. Alberti and A. Marchese. On the differentiability of L ipschitz functions with respect to measures in the Euclidean space. Geom. Funct. Anal. , 26(1):1–66, 2016

    work page 2016

  2. [2]

    Rank one property for derivatives of f unctions with bounded variation

    Giovanni Alberti. Rank one property for derivatives of f unctions with bounded variation. Proc. Roy. Soc. Edinburgh Sect. A , 123(2):239–274, 1993

    work page 1993

  3. [3]

    On the structure of continua with finite length and Gołab’s semicontinuity theorem

    Giovanni Alberti and Martino Ottolini. On the structure of continua with finite length and Gołab’s semicontinuity theorem. Nonlinear Anal., 153:35–55, 2017. QUANTITATIVE ALBERTI REPRESENTATIONS 15

    work page 2017

  4. [4]

    analysis in metric spaces

    Luigi Ambrosio and Paolo Tilli. Selected topics on “analysis in metric spaces” . Appunti dei Corsi Tenuti da Docenti della Scuola. [Notes of Courses Given by Teachers at the School]. Scuola Normale Superiore, Pisa, 2000

    work page 2000

  5. [5]

    Structure of measures in Lipschitz differen tiability spaces

    David Bate. Structure of measures in Lipschitz differen tiability spaces. J. Amer. Math. Soc., 28(2):421–482, 2015

    work page 2015

  6. [6]

    Che eger’s differentiation theorem via the mul- tilinear Kakeya inequality .arXiv e-prints, page arXiv:1904.00808, Apr 2019

    David Bate, Ilmari Kangasniemi, and Tuomas Orponen. Che eger’s differentiation theorem via the mul- tilinear Kakeya inequality .arXiv e-prints, page arXiv:1904.00808, Apr 2019

    work page arXiv 1904

  7. [7]

    M. Christ. A T pbq theorem with remarks on analytic capacity and the Cauchy int egral. Colloq. Math. , 60/61(2):601–628, 1990

    work page 1990

  8. [8]

    Sobolev met Poincaré

    Piotr Hajłasz and Pekka Koskela. Sobolev met Poincaré. Mem. Amer. Math. Soc., 145(688):x+101, 2000

    work page 2000

  9. [9]

    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

    work page 1998

  10. [10]

    Juha Heinonen, Pekka Koskela, Nageswari Shanmugaling am, and Jeremy T. Tyson. Sobolev classes of Banach space-valued functions and quasiconformal mapping s. J. Anal. Math. , 85:87–139, 2001

    work page 2001

  11. [11]

    Juha Heinonen, Pekka Koskela, Nageswari Shanmugaling am, and Jeremy T. Tyson. Sobolev spaces on metric measure spaces , volume 27 of New Mathematical Monographs . Cambridge University Press, Cam- bridge, 2015. An approach based on upper gradients

    work page 2015

  12. [12]

    A differentiable structure for metric m easure spaces

    Stephen Keith. A differentiable structure for metric m easure spaces. Adv. Math., 183(2):271–315, 2004

    work page 2004

  13. [13]

    Geometry of sets and measures in Euclidean spaces , volume 44 of Cambridge Studies in Ad- vanced Mathematics

    Pertti Mattila. Geometry of sets and measures in Euclidean spaces , volume 44 of Cambridge Studies in Ad- vanced Mathematics. Cambridge University Press, Cambridge, 1995. Fractals an d rectifiability

    work page 1995

  14. [14]

    Functional analysis

    Walter Rudin. Functional analysis. International Series in Pure and Applied Mathematics. McG raw-Hill, Inc., New York, second edition, 1991

    work page 1991

  15. [15]

    Subsets of rectifiable curves in Hilbert s pace—the analyst’s TSP

    Raanan Schul. Subsets of rectifiable curves in Hilbert s pace—the analyst’s TSP. J. Anal. Math. , 103:331– 375, 2007

    work page 2007

  16. [16]

    Newtonian spaces: an exten sion of Sobolev spaces to metric measure spaces

    Nageswari Shanmugalingam. Newtonian spaces: an exten sion of Sobolev spaces to metric measure spaces. Rev. Mat. Iberoamericana, 16(2):243–279, 2000. UNIVERSITY OF HELSINKI , D EPARTMENT OF MATHEMATICS AND STATISTICS E-mail address: tuomas.orponen@helsinki.fi

    work page 2000