pith. sign in

arxiv: 2508.04653 · v2 · submitted 2025-08-06 · 🧮 math.CA · math.MG

Coarse and pointwise tangent fields

Guy C. David , Sylvester Eriksson-Bique , Raanan Schul This is my paper

Pith reviewed 2026-05-19 00:53 UTC · model grok-4.3

classification 🧮 math.CA math.MG
keywords doubling setstangent fieldsNagata dimensionAssouad dimensionHilbert spacegeometric measure theoryanalysis in metric spacesporous sets
0
0 comments X

The pith

Doubling subsets of Hilbert space admit pointwise tangent fields with dimension bounded by their Nagata dimension.

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

The paper establishes that every doubling subset of Hilbert space carries a pointwise tangent field, in the sense of Alberti, Csörnyei and Preiss, whose dimension does not exceed the Nagata dimension of the set. It further introduces coarse tangent fields that incorporate both large-scale and small-scale geometry and proves the same dimension bound holds for them. These results extend earlier work from planar zero-area sets to arbitrary dimensions, including infinite-dimensional Hilbert spaces, and apply to a wider class of sets controlled by their doubling and Nagata properties. A sympathetic reader would see this as a tool for describing the linear directions present in irregular or fractal sets at almost every point.

Core claim

Each doubling subset of Hilbert space admits a pointwise tangent field in the sense of Alberti-Csörnyei-Preiss with dimension bounded by the Nagata dimension of the set, and admits coarse tangent fields with the same dimension bound.

What carries the argument

Pointwise tangent field, which contains almost every tangent line of every curve passing through the set, together with the new coarse tangent field that accounts for structure across scales; the Nagata dimension supplies the uniform bound on their dimension.

If this is right

  • Porous sets in the plane receive a quantitative strengthening of the original Alberti-Csörnyei-Preiss result.
  • The tangent-field conclusions hold in every dimension, including infinite-dimensional Hilbert spaces.
  • Coarse tangent fields capture both microscopic and macroscopic directions simultaneously for doubling sets.
  • The dimension bound is controlled directly by the Nagata or Assouad dimension of the set.

Where Pith is reading between the lines

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

  • The construction may supply new rectifiability criteria for sets in metric spaces beyond Hilbert space.
  • One could check whether dropping the doubling condition produces sets that lack any bounded tangent field.
  • The coarse notion might interact with traveling-salesman-type problems at multiple scales.

Load-bearing premise

The sets under consideration are doubling, which supplies the uniform control on point counts in balls needed to build and dimension-bound the tangent fields.

What would settle it

A concrete doubling subset of Hilbert space with finite Nagata dimension for which no pointwise tangent field of that dimension exists, or for which the coarse version fails to exist.

Figures

Figures reproduced from arXiv: 2508.04653 by Guy C. David, Raanan Schul, Sylvester Eriksson-Bique.

Figure 1
Figure 1. Figure 1: A sketch of the construction of H from Q. Lines through B(H) parallel to τ ϵ (Q) intersect the “hole” B and thus pass far from E. These are cubes for which we have “guessed poorly”: our assignment of τ (Q) (and hence τ ϵ (Q)) is quite far from the direction the curve actually travels near Q. Suppose now that Q is a cube in Ti,τ . Since E is porous, B(Q) contains a ball B of comparable diameter that is far … view at source ↗
Figure 2
Figure 2. Figure 2: One step of the operator Ta applied to a horizontal line segment. sets as follows. Let J : R 2 → R 2 be an orthogonal rotation of 90 degrees. For a ∈ (0, 1) let Ta(I) =[x0, x1/4] ∪ [x3/4, x1] ∪ [x1/4, x1/2 + aJ(y − x)] ∪ [x1/4, x1/2 − aJ(y − x)]∪ [x1/2 + aJ(y − x), x3/4] ∪ [x1/2 − aJ(y − x), x3/4](7.1) This operation constructs a polygonal “diamond” shape out of I; see [PITH_FULL_IMAGE:figures/full_fig_p0… view at source ↗
read the original abstract

Alberti, Cs\"ornyei and Preiss introduced a notion of a "pointwise (weak) tangent field" for a subset of Euclidean space -- a field that contains almost every tangent line of every curve passing through the set -- and showed that all area-zero sets in the plane admit one-dimensional tangent fields. We extend their results in two distinct directions. First, a special case of our pointwise result shows that each doubling subset of Hilbert space admits a pointwise tangent field in this sense, with dimension bounded by the Nagata (or Assouad) dimension of the set. Second, inspired by the Analyst's Traveling Salesman Theorem of Jones, we introduce new, "coarse" notions of tangent field for subsets of Hilbert space, which take into account both large and small scale structure. We show that doubling subsets of Hilbert space admit such coarse tangent fields, again with dimension bounded by the Nagata (or Assouad) dimension of the set. For porous sets in the plane, this result can be viewed as a quantitative version of the Alberti--Cs\"ornyei--Preiss result, though our results hold in all (even infinite) dimensions.

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 / 3 minor

Summary. The manuscript extends the pointwise tangent fields of Alberti-Csörnyei-Preiss from Euclidean space to doubling subsets of Hilbert space (including infinite dimensions), proving existence of such fields whose dimension is bounded by the Nagata or Assouad dimension of the set. It further introduces new coarse tangent fields that incorporate both large- and small-scale structure, again establishing existence and the same dimension bound for doubling sets; the coarse result is positioned as a quantitative strengthening of the ACP theorem for porous planar sets.

Significance. If the claims hold, the work provides a useful quantitative extension of tangent-field theory into infinite-dimensional Hilbert spaces and introduces coarse variants that link local and global geometry. The explicit dimension bound in terms of Nagata/Assouad dimension and the adaptation of covering arguments from prior results are concrete strengths that could support further developments in geometric measure theory on metric spaces.

minor comments (3)
  1. The abstract states that the dimension is bounded by the Nagata (or Assouad) dimension; the introduction or §2 should explicitly state which quantity is used in the proofs and whether the two dimensions coincide under the doubling hypothesis.
  2. The definition of the new coarse tangent field (likely in §4) should include a direct comparison, perhaps via a displayed equation, to the beta-number condition in Jones' traveling salesman theorem to clarify the adaptation.
  3. In the discussion of porous sets in the plane, a brief remark on how the coarse field yields a quantitative improvement over the original ACP result would strengthen the motivation.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our work and for recommending minor revision. The assessment accurately captures the main contributions regarding pointwise and coarse tangent fields on doubling subsets of Hilbert space, with dimension bounds in terms of Nagata or Assouad dimension. Since the report lists no specific major comments, we interpret the minor-revision recommendation as pertaining to possible small clarifications, typographical corrections, or minor expository improvements that we are happy to incorporate.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper extends the pointwise tangent field notion of Alberti-Csörnyei-Preiss and the Analyst's Traveling Salesman Theorem of Jones to doubling subsets of Hilbert space, introducing new coarse tangent field definitions. The central claims construct these fields explicitly from the doubling hypothesis and bound dimension by the Nagata/Assouad dimension using covering arguments; no step reduces a prediction or uniqueness claim to a fitted parameter, self-definition, or load-bearing self-citation. All cited results are external and independent of the target statements, with the derivations remaining self-contained against the stated assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The results rest on the doubling condition for the sets and standard properties of Hilbert space; no free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption The ambient space is a Hilbert space.
    Enables the definition of tangent lines and inner-product geometry used throughout.
  • domain assumption The subsets are doubling.
    Provides the scale-control needed to bound the dimension of the tangent fields.

pith-pipeline@v0.9.0 · 5741 in / 1091 out tokens · 33498 ms · 2026-05-19T00:53:36.007015+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

32 extracted references · 32 canonical work pages

  1. [1]

    Structure of null sets in the plane and applications

    Giovanni Alberti, Marianna Cs¨ ornyei, and David Preiss. Structure of null sets in the plane and applications. In European Congress of Mathematics, pages 3–22. Eur. Math. Soc., Z¨ urich, 2005

    work page 2005

  2. [2]

    On the structure of continua with finite length and Golab’s semi- continuity theorem

    Giovanni Alberti and Martino Ottolini. On the structure of continua with finite length and Golab’s semi- continuity theorem. Nonlinear Anal., 153:35–55, 2017

    work page 2017

  3. [3]

    An analyst’s traveling salesman theorem for sets of dimension larger than one

    Jonas Azzam and Raanan Schul. An analyst’s traveling salesman theorem for sets of dimension larger than one. Math. Ann., 370(3-4):1389–1476, 2018

    work page 2018

  4. [4]

    Subsets of rectifiable curves in Banach spaces I: Sharp exponents in traveling salesman theorems

    Matthew Badger and Sean McCurdy. Subsets of rectifiable curves in Banach spaces I: Sharp exponents in traveling salesman theorems. Illinois J. Math. , 67(2):203–274, 2023

    work page 2023

  5. [5]

    Structure of measures in Lipschitz differentiability spaces

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

    work page 2015

  6. [6]

    Purely unrectifiable metric spaces and perturbations of Lipschitz functions

    David Bate. Purely unrectifiable metric spaces and perturbations of Lipschitz functions. Acta Math. , 224(1):1–65, 2020

    work page 2020

  7. [7]

    Fragment-wise differentiable structures,

    David Bate, Sylvester Eriksson-Bique, and Elefterios Soultanis. Fragment-wise differentiable structures,

    work page

  8. [8]

    https://arxiv.org/abs/2402.11284

    work page arXiv

  9. [9]

    V. I. Bogachev. Measure theory. Vol. I, II . Springer-Verlag, Berlin, 2007

    work page 2007

  10. [10]

    J. Cheeger. Differentiability of Lipschitz functions on metric measure spaces. Geom. Funct. Anal., 9(3):428– 517, 1999

    work page 1999

  11. [11]

    A T (b) theorem with remarks on analytic capacity and the Cauchy integral

    Michael Christ. A T (b) theorem with remarks on analytic capacity and the Cauchy integral. Colloq. Math., 60/61(2):601–628, 1990

    work page 1990

  12. [12]

    Cs¨ ornyei and P

    M. Cs¨ ornyei and P. Jones. Product formulas for measures and applications to analysis and geometry, 2011

    work page 2011

  13. [13]

    Analysis of and on uniformly rectifiable sets , volume 38 of Mathematical Surveys and Monographs

    Guy David and Stephen Semmes. Analysis of and on uniformly rectifiable sets , volume 38 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 1993

    work page 1993

  14. [14]

    Reifenberg parameterizations for sets with holes

    Guy David and Tatiana Toro. Reifenberg parameterizations for sets with holes. Mem. Amer. Math. Soc. , 215(1012):vi+102, 2012

    work page 2012

  15. [15]

    David and Raanan Schul

    Guy C. David and Raanan Schul. A sharp necessary condition for rectifiable curves in metric spaces. Rev. Mat. Iberoam., 37(3):1007–1044, 2021

    work page 2021

  16. [16]

    Effective Reifenberg theorems in Hilbert and Banach spaces

    Nick Edelen, Aaron Naber, and Daniele Valtorta. Effective Reifenberg theorems in Hilbert and Banach spaces. Math. Ann., 374(3-4):1139–1218, 2019

    work page 2019

  17. [17]

    Curvewise characterizations of minimal upper gradients and the construction of a Sobolev differential

    Sylvester Eriksson-Bique and Elefterios Soultanis. Curvewise characterizations of minimal upper gradients and the construction of a Sobolev differential. Anal. PDE, 17(2):455–498, 2024

    work page 2024

  18. [18]

    Heinonen

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

    work page 2001

  19. [19]

    Nonsmooth calculus

    Juha Heinonen. Nonsmooth calculus. Bull. Amer. Math. Soc. (N.S.) , 44(2):163–232, 2007. 50 GUY C. DA VID, SYL VESTER ERIKSSON-BIQUE, AND RAANAN SCHUL

    work page 2007

  20. [20]

    Peter W. Jones. Rectifiable sets and the traveling salesman problem. Invent. Math., 102(1):1–15, 1990

    work page 1990

  21. [21]

    The Traveling Salesman Theorem for Jordan Curves in Hilbert Space

    Jared Krandel. The Traveling Salesman Theorem for Jordan Curves in Hilbert Space. Michigan Math. J. , 75(3):471–543, 2025

    work page 2025

  22. [22]

    T. Laakso. Plane with A∞-weighted metric not bi-Lipschitz embeddable to RN. Bull. London Math. Soc. , 34(6):667–676, 2002

    work page 2002

  23. [23]

    Bilipschitz embeddings of metric spaces into space forms

    Urs Lang and Conrad Plaut. Bilipschitz embeddings of metric spaces into space forms. Geom. Dedicata, 87(1-3):285–307, 2001

    work page 2001

  24. [24]

    Nagata dimension, quasisymmetric embeddings, and Lipschitz exten- sions

    Urs Lang and Thilo Schlichenmaier. Nagata dimension, quasisymmetric embeddings, and Lipschitz exten- sions. Int. Math. Res. Not. , (58):3625–3655, 2005

    work page 2005

  25. [25]

    Assouad dimension, Nagata dimension, and uniformly close metric tangents

    Enrico Le Donne and Tapio Rajala. Assouad dimension, Nagata dimension, and uniformly close metric tangents. Indiana Univ. Math. J. , 64(1):21–54, 2015

    work page 2015

  26. [26]

    Quantifying curvelike structures of measures by using L2 Jones quantities

    Gilad Lerman. Quantifying curvelike structures of measures by using L2 Jones quantities. Comm. Pure Appl. Math., 56(9):1294–1365, 2003

    work page 2003

  27. [27]

    Cone unrectifiable sets and non-differentiability of Lipschitz functions

    Olga Maleva and David Preiss. Cone unrectifiable sets and non-differentiability of Lipschitz functions. Israel J. Math., 232(1):75–108, 2019

    work page 2019

  28. [28]

    Characterization of subsets of rectifiable curves in Rn

    Kate Okikiolu. Characterization of subsets of rectifiable curves in Rn. J. London Math. Soc. (2), 46(2):336– 348, 1992

    work page 1992

  29. [29]

    Derivations and Alberti representations

    Andrea Schioppa. Derivations and Alberti representations. Adv. Math., 293:436–528, 2016

    work page 2016

  30. [30]

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

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

    work page 2007

  31. [31]

    Tyson and Jang-Mei Wu

    Jeremy T. Tyson and Jang-Mei Wu. Characterizations of snowflake metric spaces. Ann. Acad. Sci. Fenn. Math., 30(2):313–336, 2005

    work page 2005

  32. [32]

    Lipschitz algebras

    Nik Weaver. Lipschitz algebras. World Scientific Publishing Co., Inc., River Edge, NJ, 1999. Department of Mathematical Sciences, Ball State University, Muncie, IN 47306 Email address : gcdavid@bsu.edu Department of Mathematics and Statistics P.O. Box 35 FI-40014 University of Jyv ¨askyl¨a Email address : sylvester.d.eriksson-bique@jyu.fi Department of Ma...

    work page 1999