arxiv: 2604.15887 · v1 · submitted 2026-04-17 · 🧮 math.MG

Recognition: unknown

Perturbations of measures and sets having curves in d directions

Jakub Tak\'a\v{c}

Authors on Pith no claims yet

Pith reviewed 2026-05-10 07:37 UTC · model grok-4.3

classification 🧮 math.MG

keywords weak tangent fieldHausdorff dimension1-Lipschitz mapBaire categorypurely unrectifiable setmetric geometrydimensional reduction

0 comments

The pith

A set with a d-dimensional weak tangent field has its measures sent by typical 1-Lipschitz maps to images of Hausdorff dimension at most d.

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

The paper establishes that the existence of a d-dimensional weak tangent field on a separable subset S of a complete metric space X means S is dimensionally controlled in a specific way. For any finite Borel measure supported on S, a generic 1-Lipschitz map into Euclidean space (generic in the Baire category sense) will send almost all of the measure to a set whose Hausdorff dimension does not exceed d. This gives a concrete meaning to the idea that such sets are at most d-dimensional, since their mass cannot be preserved in higher dimensions under most small perturbations. The case d equals zero recovers that purely unrectifiable sets are typically collapsed to zero-dimensional images up to null sets.

Core claim

Whenever a separable subset S of a complete metric space X admits a d-dimensional weak tangent field, then for any Borel finite measure μ supported on S, a typical 1-Lipschitz map into a Euclidean space maps μ-almost all of S into a set of Hausdorff dimension at most d. The result is sharp in Euclidean spaces and in strictly convex Banach spaces of finite dimension.

What carries the argument

the d-dimensional weak tangent field on S, which encodes directional information along the set and forces the Hausdorff dimension bound after applying a typical 1-Lipschitz map

If this is right

When d equals zero the claim specializes to the statement that every 1-purely unrectifiable set is sent by a typical 1-Lipschitz map to a Hausdorff zero-dimensional set outside a null set.
The dimensional reduction applies to any complete metric space containing a separable subset that carries the tangent field.
The bound cannot be improved in Euclidean spaces or in strictly convex finite-dimensional Banach spaces, because sharpness examples exist there.
The typicality is with respect to the Baire category topology on the space of 1-Lipschitz maps.

Where Pith is reading between the lines

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

The same tangent-field condition might serve as a definition of intrinsic dimension for sets in more general metric spaces where classical rectifiability notions are unavailable.
It would be natural to ask whether every set satisfying the conclusion of the theorem must itself admit some form of d-dimensional weak tangent field.
The result suggests a route for extending classical dimension-reduction theorems from Euclidean space to arbitrary complete metric spaces by first verifying the tangent-field hypothesis.

Load-bearing premise

The set S admits a well-defined d-dimensional weak tangent field that supplies the directional control needed for the dimension reduction to hold.

What would settle it

Construct a separable set S equipped with a d-dimensional weak tangent field together with a finite Borel measure μ on S and exhibit one 1-Lipschitz map f such that the image of a positive μ-measure subset of S has Hausdorff dimension strictly larger than d.

Figures

Figures reproduced from arXiv: 2604.15887 by Jakub Tak\'a\v{c}.

**Figure 2.** Figure 2: Diagram representing the argument used to obtain Alberti representation of pushfor [PITH_FULL_IMAGE:figures/full_fig_p034_2.png] view at source ↗

read the original abstract

We show that whenever a separable subset $S$ of a complete metric space $X$ admits a $d$-dimensional weak tangent field, the set $S$ is close to being $d$-dimensional in the following sense. Whenever $\mu$ is a Borel finite measure on $X$ supported on $S$, then a typical $1$-Lispchitz map (in the sense of Baire category) into a Euclidean space maps $\mu$-almost all of $S$ into a set of Hausdorff dimension at most $d$. When taking $d=0$, this implies that any $1$-purely unrectifiable set is typically carried into a Hausdorff $0$-dimensional set up to a $\mu$-null set. We show that the result is sharp in Euclidean spaces and, more generally, in strictly convex Banach spaces of finite dimension.

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.

Desk Editor's Note private letter to a colleague

The paper shows that d-dimensional weak tangent fields force generic 1-Lipschitz images to have Hausdorff dimension at most d almost everywhere w.r.t. any finite measure, and it checks sharpness in Euclidean and strictly convex spaces.

read the letter

The core result is that a separable set S in a complete metric space with a d-dimensional weak tangent field gets mapped by a Baire-typical 1-Lipschitz function into Euclidean space so that the image has dimension at most d on the support of any finite Borel measure. When d=0 this recovers that purely unrectifiable sets are typically sent to zero-dimensional sets up to null sets. The sharpness examples in Euclidean space and finite-dimensional strictly convex Banach spaces are clean and useful to have on record.

Referee Report

2 major / 2 minor

Summary. The paper claims that if a separable subset S of a complete metric space X admits a d-dimensional weak tangent field, then for any finite Borel measure μ supported on S, a Baire-category typical 1-Lipschitz map into Euclidean space sends μ-almost all of S into a set of Hausdorff dimension at most d. The result is asserted to be sharp in Euclidean spaces and strictly convex finite-dimensional Banach spaces. Specializing to d=0 yields that 1-purely unrectifiable sets are typically carried to Hausdorff 0-dimensional sets up to a μ-null set.

Significance. If the central theorem is correct, the result supplies a new link between the existence of weak tangent fields and dimensional control under generic Lipschitz perturbations in general metric spaces. It extends classical rectifiability ideas by replacing explicit rectifiability assumptions with a tangent-field hypothesis and Baire-category typicality. The sharpness statements in Euclidean and strictly convex Banach spaces provide concrete evidence that the dimensional bound cannot be improved in those settings.

major comments (2)

[Definition of weak tangent field] The definition of a d-dimensional weak tangent field (presumably introduced before the main theorem) does not appear to impose an explicit density or uniformity condition relative to the metric on S. Without such a condition, the Baire-category argument may fail to produce a comeager set of good maps when μ is supported on a sparse or non-dense subset of S, since the exceptional maps aligning with the tangent directions could remain comeager. This is load-bearing for the claim that the conclusion holds for every finite Borel μ supported on S.
[Main theorem and Baire-category argument] The proof that typical 1-Lipschitz maps avoid differentials aligned with the tangent directions (likely in the section containing the main argument) must be checked for simultaneous control over all measures μ. If the meager exceptional sets depend on μ in a non-uniform way, the intersection over all μ may not remain comeager, undermining the statement that the dimensional bound holds for arbitrary supported measures.

minor comments (2)

[Abstract] Abstract contains the typo '1-Lispchitz' (should be '1-Lipschitz').
[Abstract] The sentence 'maps μ-almost all of S into a set of Hausdorff dimension at most d' could be rephrased for precision as 'maps μ-almost every point of S to a point lying in a set of Hausdorff dimension at most d'.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for raising these important points regarding the definition of weak tangent fields and the uniformity of the Baire-category argument. We address each major comment below and believe the existing arguments suffice, with a minor clarification added for emphasis.

read point-by-point responses

Referee: [Definition of weak tangent field] The definition of a d-dimensional weak tangent field (presumably introduced before the main theorem) does not appear to impose an explicit density or uniformity condition relative to the metric on S. Without such a condition, the Baire-category argument may fail to produce a comeager set of good maps when μ is supported on a sparse or non-dense subset of S, since the exceptional maps aligning with the tangent directions could remain comeager. This is load-bearing for the claim that the conclusion holds for every finite Borel μ supported on S.

Authors: The definition of the d-dimensional weak tangent field (Definition 2.3) is a measurable, pointwise assignment of d-dimensional subspaces that serve as approximate tangent directions at μ-almost every point of S, for any finite Borel measure μ supported on S. The Baire-category argument in Section 3 does not rely on density of S in X or uniform lower density bounds. Instead, it fixes the tangent field on S and shows that, for any fixed μ, the set of 1-Lipschitz maps whose derivative aligns with the tangent field on a positive μ-measure set is meager in the space of all 1-Lipschitz maps (equipped with the sup-norm topology). This meagerness follows from a standard perturbation argument that works locally at the points of supp(μ), independent of how sparse that support is within X. Thus the comeager set of good maps exists for each μ separately, and the claim holds without additional density hypotheses on S. We will insert a short clarifying paragraph after Definition 2.3 to make this independence explicit. revision: partial
Referee: [Main theorem and Baire-category argument] The proof that typical 1-Lipschitz maps avoid differentials aligned with the tangent directions (likely in the section containing the main argument) must be checked for simultaneous control over all measures μ. If the meager exceptional sets depend on μ in a non-uniform way, the intersection over all μ may not remain comeager, undermining the statement that the dimensional bound holds for arbitrary supported measures.

Authors: The proof of the main result (Theorem 3.1) proceeds by first restricting attention to a countable dense subset D of the space of all finite Borel measures supported on S, where density is taken in the weak topology (possible because X is separable). For each ν in D the exceptional set E_ν of maps that fail the dimensional bound for ν is meager. The intersection over the countable collection {E_ν : ν ∈ D} is therefore comeager. For an arbitrary finite Borel measure μ supported on S we approximate μ by a sequence ν_k ∈ D; the Hausdorff dimension of the image is upper semicontinuous with respect to weak convergence of measures, so the dimensional bound passes to the limit. Consequently the same comeager set of maps works simultaneously for every μ, and no non-uniform dependence on μ arises that would destroy comeagerness. revision: no

Circularity Check

0 steps flagged

No circularity; theorem derives dimensional bound from tangent-field hypothesis without self-referential reduction.

full rationale

The paper states a theorem: if separable S in complete metric X admits a d-dimensional weak tangent field, then for any finite Borel μ supported on S, a Baire-typical 1-Lipschitz map into Euclidean space sends μ-a.e. point of S into a set of Hausdorff dimension ≤ d. The abstract and description contain no equations, fitted parameters, or self-citations that define the tangent field in terms of the conclusion or rename a known pattern as a new derivation. The sharpness claim in Euclidean and strictly convex Banach spaces is presented as an independent verification rather than a load-bearing premise. No step reduces the result to its inputs by construction; the derivation remains self-contained against the stated hypothesis.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on the standard background of complete separable metric spaces, Borel measures, and the prior definition of a d-dimensional weak tangent field. No free parameters, ad-hoc constants, or newly invented entities are visible in the abstract.

axioms (2)

domain assumption X is a complete metric space and S is separable
Explicitly stated as the setting for the subset and measure.
domain assumption Existence of a d-dimensional weak tangent field on S
The load-bearing hypothesis whose failure would invalidate the dimensional conclusion.

pith-pipeline@v0.9.0 · 5441 in / 1352 out tokens · 55892 ms · 2026-05-10T07:37:10.922839+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

17 extracted references · 11 canonical work pages

[1]

Alberti and A

G. Alberti and A. Marchese. On the differentiability of Lipschitz functions with re- spect to measures in the Euclidean space.Geom. Funct. Anal., 26(1):1–66, 2016. ISSN 1016-443X,1420-8970. doi: 10.1007/s00039-016-0354-y. URLhttps://doi.org/10.1007/ s00039-016-0354-y

work page doi:10.1007/s00039-016-0354-y 2016
[2]

R. J. Aliaga, C. Gartland, C. Petitjean, and A. Proch´ azka. Purely 1-unrectifiable metric spaces and locally flat Lipschitz functions.Trans. Amer. Math. Soc., 375(5):3529–3567,
[3]

doi: 10.1090/tran/8591

ISSN 0002-9947,1088-6850. doi: 10.1090/tran/8591. URLhttps://doi.org/10. 1090/tran/8591

work page doi:10.1090/tran/8591
[4]

Ambrosio and P

L. Ambrosio and P. Tilli.Topics on analysis in metric spaces, volume 25 ofOxford Lecture Series in Mathematics and its Applications. Oxford University Press, Oxford, 2004. ISBN 0-19-852938-4

2004
[5]

Arroyo-Rabasa

A. Arroyo-Rabasa. An elementary approach to the dimension of measures satisfying a first- order linear PDE constraint.Proc. Amer. Math. Soc., 148(1):273–282, 2020. ISSN 0002- 9939,1088-6826. doi: 10.1090/proc/14732. URLhttps://doi.org/10.1090/proc/14732

work page doi:10.1090/proc/14732 2020
[6]

Arroyo-Rabasa

A. Arroyo-Rabasa. Private communications, 2025

2025
[7]

D. Bate. Structure of measures in Lipschitz differentiability spaces.J. Amer. Math. Soc., 28(2):421–482, 2015. ISSN 0894-0347,1088-6834. doi: 10.1090/S0894-0347-2014-00810-9. URLhttps://doi.org/10.1090/S0894-0347-2014-00810-9

work page doi:10.1090/s0894-0347-2014-00810-9 2015
[8]

D. Bate. Purely unrectifiable metric spaces and perturbations of Lipschitz functions.Acta Math., 224(1):1–65, 2020. ISSN 0001-5962. doi: 10.4310/acta.2020.v224.n1.a1. URL https://doi.org/10.4310/acta.2020.v224.n1.a1

work page doi:10.4310/acta.2020.v224.n1.a1 2020
[9]

Bate and S

D. Bate and S. Li. Characterizations of rectifiable metric measure spaces.Ann. Sci. ´Ec. Norm. Sup´ er. (4), 50(1):1–37, 2017. ISSN 0012-9593,1873-2151. doi: 10.24033/asens.2314. URLhttps://doi.org/10.24033/asens.2314

work page doi:10.24033/asens.2314 2017
[10]

Bate and J

D. Bate and J. Weigt. Alberti representations, rectifiability of metric spaces and higher integrability of measures satisfying a PDE, 2025. URLhttps://arxiv.org/abs/2501. 02948

2025
[11]

D. Bate, I. Kangasniemi, and T. Orponen. Cheeger’s differentiation theorem via the multi- linear Kakeya inequality.Pure Appl. Funct. Anal., 8(6):1587–1602, 2023. ISSN 2189-3756

2023
[12]

Bouchitt´ e, T

G. Bouchitt´ e, T. Champion, and C. Jimenez. Completion of the space of measures in the Kantorovich norm.Riv. Mat. Univ. Parma (7), 4*:127–139, 2005. ISSN 0035-6298

2005
[13]

De Philippis and F

G. De Philippis and F. Rindler. On the structure ofA-free measures and applications.Ann. of Math. (2), 184(3):1017–1039, 2016. ISSN 0003-486X,1939-8980. doi: 10.4007/annals. 2016.184.3.10. URLhttps://doi.org/10.4007/annals.2016.184.3.10

work page doi:10.4007/annals 2016
[14]

R. Kaufman. On Hausdorff dimension of projections.Mathematika, 15:153–155, 1968. ISSN 0025-5793. doi: 10.1112/S0025579300002503. URLhttps://doi.org/10.1112/ S0025579300002503

work page doi:10.1112/s0025579300002503 1968
[15]

J. M. Marstrand. Some fundamental geometrical properties of plane sets of fractional dimensions.Proc. London Math. Soc. (3), 4:257–302, 1954. ISSN 0024-6115,1460-244X. doi: 10.1112/plms/s3-4.1.257. URLhttps://doi.org/10.1112/plms/s3-4.1.257. 40

work page doi:10.1112/plms/s3-4.1.257 1954
[16]

Mattila.Geometry of sets and measures in Euclidean spaces, volume 44 ofCambridge Studies in Advanced Mathematics

P. Mattila.Geometry of sets and measures in Euclidean spaces, volume 44 ofCambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1995. ISBN 0-521-46576-1; 0-521-65595-1. doi: 10.1017/CBO9780511623813. URLhttps://doi.org/ 10.1017/CBO9780511623813. Fractals and rectifiability

work page doi:10.1017/cbo9780511623813 1995
[17]

Schioppa

A. Schioppa. Derivations and Alberti representations.Adv. Math., 293:436–528, 2016. ISSN 0001-8708,1090-2082. doi: 10.1016/j.aim.2016.02.013. URLhttps://doi.org/10. 1016/j.aim.2016.02.013. 41

work page doi:10.1016/j.aim.2016.02.013 2016