REVIEW 1 major objections 4 minor 21 references
An $\alpha$-number characterization of $L^{p}$ spaces on uniformly rectifiable sets
T0 review · 1 major / 4 minor · reviewed 2026-08-27 · deepseek-v4-flash
Pith's one-line read On uniformly rectifiable measures, the L^p norm of f is comparable to the L^p norm of a square function built from Tolsa's alpha-numbers.
desk verdict A genuinely new norm equivalence for L^p on uniformly rectifiable sets, with one delicate geometric claim a referee should ask to be expanded. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing objects are Tolsa's $\alpha$-numbers, which measure, in a Wasserstein-1 sense, the distance from a measure to the best multiple of $d$-dimensional Hausdorff measure on a $d$-plane; the dyadic square function $Jf$, which sums over David-Christ cubes $Q$ the quantities $\alpha_{f\sigma}(Q)^2$ and $|f|_{B_Q}^2\,\alpha_\sigma(Q)^2$; and the martingale difference operators $\Delta_Q f$, which give a formal decomposition $f=\sum_Q \Delta_Q f$ and an $L^2$ orthogonality. The argument also rests on Lemma 2.2, which supplies finitely many adjacent systems of David-Christ cubes such that every ball centered on the support is sandwiched between cubes of comparable side length; this is what makes the continuous square function equivalent to the dyadic one. For the lower bound, the key estimate is a pointwise inequality (Lemma 5.3) bounding the Littlewood-Paley operators $\tilde{D}_k f$ by $\alpha_{f\sigma}(Q) + |f|_{B_Q}\,\alpha_\sigma(Q)$, whose proof requires a new angle estimate (Proposition 5.7) between planes that best approximate $f\sigma$ and $\sigma$. Carleson's embedding theorem and a good-$\lambda$ inequality convert these bounds into $L^p$ estimates.
What would settle it
A concrete check: take $\sigma$ to be arclength measure on a circle of radius $R$ and $f\equiv 1$; then (1.2) asserts that the ratio of $\|1\|_{L^p(\sigma)}$ to the $L^p$ norm of $\big(\int_0^\infty (2\alpha_\sigma(x,r))^2\,dr/r\big)^{1/2}$ is bounded by a constant independent of $R$. Computing $\alpha_\sigma$ from the curvature estimate $\alpha_\sigma(x,r)\asymp (r/R)^2$ for $r\ll R$ and evaluating the ratio for several $p$ and $R$ would immediately verify or refute the claim.
Extended reading notes
Core claim
The main theorem, equation (1.2), asserts that for a uniformly rectifiable measure $\sigma$ and $f\in L^p(\sigma)$ with $1<p<\infty$, $$\|f\|_{L^p(\$\sigma$)} \sim \left\|\left(\$int_0^{{\infty}}$ (\alpha_{f\$\sigma$}(x,r)+|f|_{x,r}\,\alpha_\$\sigma$(x,r))^2 \frac{dr}{r}\right)^{1/2}\right\|_{L^p(\$\sigma$)},$$ with implicit constants depending only on $p$ and the uniform rectifiability constants of $\sigma$. The proof establishes a dyadic version, Theorem 2.4: for a fixed system of David-Christ cubes, the dyadic square function $Jf$ defined in (2.4) satisfies $\|Jf\|_p \sim \|f\|_p$. The upper bound is proved first for $p=2$ via martingale difference operators, then extended to all $p$ by a good-$\lambda$ inequality; the lower bound uses the Littlewood-Paley theory for spaces of homogeneous type (Theorem 5.2). The paper also shows that the second term, $|f|_{x,r}\,\alpha_\sigma(x,r)$, is genuinely necessary in general: neither it nor the $\alpha_{f\sigma}$ term is pointwise controlled by the other, and the authors raise the question, left open, whether the square function built from $\alpha_{f\sigma}$ alone would suffice.
Load-bearing premise
The proof's bridge from the continuous square function (1.2) to its dyadic version is the assumption (Lemma 2.2) that every ball centered in the support can be sandwiched between cubes of comparable side length in one of finitely many dyadic lattice systems; if that property failed, the dyadic $\alpha$-numbers could stray from the continuous ones at some scale and the equivalence would not follow.
Editorial extensions
If this is right
- The L^p norm of a function on a uniformly rectifiable set can be read off from the multiscale flatness of the weighted measure fσ, so integrability and geometric approximation become interchangeable statements.
- The dyadic square function Jf is comparable to the continuous square function of the Main Theorem, so bounds on (1.2) can be proved cube-by-cube over a finite family of dyadic grids.
- The second term in the square function is unavoidable in general: the paper shows neither term pointwise bounds the other, so a proof of (1.2) must use both unless additional flatness is assumed.
- The compact-support case follows from the unbounded-support case by an explicit extension lemma (Lemma 2.5), so the theorem applies to all uniformly rectifiable measures, bounded or not.
Reading between the lines
- Because the proof reduces everything to finitely many dyadic systems and martingale differences, the same machinery should adapt to other geometric square functions (for instance, beta-numbers or Wasserstein-2 alpha-numbers) to yield analogous L^p characterizations.
- The paper's sketch for flat measures suggests that the open question (1.3), removing the second term, is most likely to have a positive answer when the Carleson constant of sigma is small, and a negative answer for general uniformly rectifiable sets with large Carleson constant.
- A concrete test of the theorem on model sets such as arclength on a circle, where alpha-numbers are explicitly computable from curvature, would give sharp-constant information and could guide the resolution of (1.3).
Formalized claims in Lean
-
Claim #1: The main theorem, equation (1.2), asserts that for a uniformly rectifiable measure $\sigma$ and $f\in L^p(\sigma)$ with $1<p<\infty$, $$\|f\|_{L^p(\$\sigma$)} \sim \left\|\left(\$int_0^{{\infty}}$ (\alpha_{f\$\sigma$}(x,r)+|f|_{x,r}\,\alpha_\$\sigma$(x,r))^2 \frac{dr}{r}\right)^{1/2}\right\|_{L^p(\$\sigma$)},$$ with implicit constants depending only on $p$ and the uniform rectifiability constants
/-- @claim 1 The main theorem, equation (1.2), asserts that for a uniformly rectifiable measure $\sigma$ and $f\in L^p(\sigma)$ with $1<p<\infty$, $$\|f\|_{L^p(\$\sigma$)} \sim \left\|\left(\$int_0^{{\infty}}$ (\alpha_{f\$\sigma$}(x,r)+|f|_{x,r}\,\alpha_\$\sigma$(x,r))^2 \frac{dr}{r}\right)^{1/2}\right\|_{L^p(\$\sigma$)},$$ with implicit constants depending only on $p$ and the uniform rectifiability constants -/ def central_claim : Prop :=
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper establishes the Main Theorem (1.2): for a uniformly rectifiable measure σ on R^n and f ∈ L^p(σ), 1<p<∞, the L^p(σ) norm of f is comparable to the L^p(σ) norm of the square function built from Tolsa's α-numbers, namely (∫_0^∞ (α_{fσ}(x,r)+|f|_{x,r}α_σ(x,r))^2 dr/r)^{1/2}, with constants depending on p and on the UR character of σ. The proof strategy is to pass to a dyadic version Jf (2.4), prove ‖Jf‖_2 ≲ ‖f‖_2 through martingale differences and Carleson embedding (Section 3), extend this to all 1<p<∞ via a good-lambda inequality (Section 4), and then prove the reverse inequality ‖f‖_p ≲ ‖Jf‖_p using David–Journé–Semmes Littlewood–Paley theory and a geometric proposition controlling the angle between the planes approximating fσ and σ (Section 5). The paper also contains a reduction to unbounded support and a comparison between continuous and dyadic square functions.
Significance. If the result holds, it gives a clean, intrinsic characterization of L^p norms on uniformly rectifiable sets in terms of a square function of α-numbers, extending Tolsa's Carleson-measure characterization of UR measures. This is a natural and potentially useful tool for harmonic analysis and geometric measure theory. The proof is substantially self-contained and combines several standard techniques—martingale differences, Carleson embedding, good-lambda inequalities, and DJS Littlewood–Paley theory—in a well-organized way. The dyadic reduction and the p=2 estimate are particularly clean. The paper is also honest about the open question of whether the second term |f|_{x,r}α_σ(x,r) can be omitted. The central equivalence is not forced by definitional normalizations; it is a substantive result whose proof rests on external but standard tools. The main weakness is the omitted geometric verification in Proposition 5.7, which is load-bearing for the lower-bound direction.
major comments (1)
- [Section 5.3, proof of Proposition 5.7 (after (5.11))] The existence of the d-dimensional ball B0 contained in L^{fµ}∩0.9B with dist(z,L^µ)≥10ηDr for all z∈B0 (display (5.12)) is asserted after only a one-sentence contradiction sketch and the sentence 'We omit the details', with a pointer to [AT15, Lemma 6.4]. This claim is load-bearing: it is used to construct the test function φ and then to derive (5.14)–(5.18), which yield the key bound (5.11). Without a complete proof, the estimate for the term (II) in (5.7) is not fully justified, and hence the lower bound ‖f‖_p ≲ ‖Jf‖_p does not rest on a verified geometric fact. Please supply the full argument for (5.12), or state the precise lemma from [AT15] and show explicitly how it implies the existence of B0 with the stated separation property. This is the only substantive gap I found; the rest of the Section 5 argument is coherent once (5.12) is granted.
minor comments (4)
- [Section 2.3 and Section 5] The notation L^µ_{x,r} is used both for the minimizing d-plane and for the measure c^µ_{x,r}H^d|_{L^µ_{x,r}} (see the paragraph after (1.1) and the definition before (2.4)). In Section 5, expressions such as 'L^µ∩0.5B' refer to the plane while '∫φ dL^{fµ}' refers to the measure. This double meaning is potentially confusing; I suggest consistently writing P^µ for the plane and reserving L^µ for the measure, or adding an explicit sentence clarifying the dual usage.
- [Proof of Proposition 5.7, after (5.12)] The domain in 'Let φ : R^d → [0,ηDr]' should be R^n, since φ is defined as a function on the ambient space and must belong to Lip1(B). This is presumably a typo, but as written it is inconsistent with the surrounding text.
- [Remark 2.3] The derivation of the thin-boundary property (2.2) for the cubes from [HT14] is omitted, with the comment that one may adapt Christ's proof. Since Lemma 2.2 is imported from an external construction and is used throughout the paper, it would be helpful to either state which part of [HT14] yields (2.2) directly or to briefly indicate why the adaptation is valid under Ahlfors regularity.
- [Lemma 2.5] The claim that the extended measure µ = σ + P^σ_B (R^d\4B) is uniformly rectifiable is stated without proof ('It is not hard to show'). Since the reduction to unbounded support is used to prove the Main Theorem in full generality, a short justification or a precise reference for this extension step would make the paper more self-contained.
Circularity Check
No significant circularity: the main inequality depends on external theorems and standard tools; the authors' self-citations are technical lemmas, not load-bearing substitutes.
full rationale
The proof of the Main Theorem proceeds by reducing the continuous square function to a dyadic version Jf via the adjacent-grid lemma of Hytönen–Tapiola (Lemma 2.2), then proving ||Jf||_p ~ ||f||_p. The upper bound uses Tolsa's uniform rectifiability characterization (Theorem 1.1) and Carleson's embedding theorem; the lower bound uses the David–Journé–Semmes Littlewood–Paley theory. None of these inputs is the target theorem, and no fitted parameter is renamed as a prediction. The main square function is not defined in terms of ||f||_p, nor is ||f||_p built into the constants being compared. Self-citations appear only as minor technical tools: [ATT18, Lemma 3.3] gives c_sigma ~ 1, and [AT15, Lemma 6.4] is invoked as a possible way to fill a geometric detail in Proposition 5.7. These are published, parameter-free lemmas with assumptions that do not include the Lp equivalence, so they are independent support rather than a circular chain. The omitted steps in Remark 2.3 and Proposition 5.7 are gaps or soft spots in exposition, not definitional equivalences or fitted predictions.
Assumptions & free parameters
assumptions (5)
- standard math Tolsa's theorem: sigma is UR iff alpha_sigma^2 dsigma dr/r is a Carleson measure (Theorem 1.1)
- standard math Hytonen-Tapiola construction of adjacent David-Christ cube systems with thin boundaries (Lemma 2.2)
- standard math David-Journe-Semmes Littlewood-Paley theory for spaces of homogeneous type (Theorem 5.2)
- standard math Carleson embedding theorem and L^p boundedness of the Hardy-Littlewood maximal operator on Ahlfors regular spaces
- standard math Martingale difference decomposition and orthogonality in L^2 for David-Christ cubes (Grafakos)
Cite this review
Pith. "Pith review of An $\alpha$-number characterization of $L^{p}$ spaces on uniformly rectifiable sets." pith.science (2026). https://pith.science/paper/6ZENKTMT
@misc{pith2026200910111,
author = {Pith},
title = {Pith review of: An $\alpha$-number characterization of $L^p$ spaces on uniformly rectifiable sets},
year = {2026},
howpublished = {\url{https://pith.science/paper/6ZENKTMT}},
note = {Machine review of arXiv:2009.10111}
}
abstract
We give a characterization of $L^{p}(\sigma)$ for uniformly rectifiable measures $\sigma$ using Tolsa's $\alpha$-numbers, by showing, for $1<p<\infty$ and $f\in L^{p}(\sigma)$, that \[ \lVert f\rVert_{L^{p}(\sigma)}\sim \left\lVert\left(\int_{0}^{\infty} \left(\alpha_{f\sigma}(x,r)+|f|_{x,r}\alpha_{\sigma}(x,r)\right)^2\ \frac{dr}{r} \right)^{\frac{1}{2}}\right\rVert_{L^{p}(\sigma)}. \]
Reference graph
Works this paper leans on
-
[1]
Wasserstein Distance and the Rectifiability of Doubling Measures: Part I
J. Azzam, G. David, and T. Toro. Wasserstein distance and the rectifiability of doubling measures: part I . Math. Ann. , 364(1-2):151--224, 2016, arXiv:1408.6645 http://arxiv.org/abs/1408.6645 . doi:10.1007/s00208-015-1206-z
work page Pith review arXiv 2016
-
[2]
Characterization of $n$-rectifiability in terms of Jones' square function: Part II
J. Azzam and X. Tolsa. Characterization of n -rectifiability in terms of Jones' square function: Part II . Geom. Funct. Anal. , 25(5):1371--1412, 2015, arXiv:1501.01572 http://arxiv.org/abs/1501.01572 . doi:10.1007/s00039-015-0334-7
work page Pith review arXiv 2015
-
[3]
Characterization of rectifiable measures in terms of $\alpha$-numbers
J. Azzam , X. Tolsa , and T. Toro . Characterization of rectifiable measures in terms of -numbers . Preprint, to appear in Trans. Amer. Math. Soc. , 2018, arXiv:1808.07661 http://arxiv.org/abs/1808.07661 . doi:10.1090/tran/8170
work page Pith review arXiv 2018
-
[4]
M. Christ. A T(b) theorem with remarks on analytic capacity and the Cauchy integral. Colloq. Math. , 60:601--628, 1990. doi:10.4064/cm-60-61-2-601-628
-
[5]
Necessary condition for rectifiability involving Wasserstein distance $W_2$
D. D a browski. Necessary condition for rectifiability involving Wasserstein distance W_2 . Preprint, to appear in Int. Math. Res. Not. IMRN , 2019, arXiv:1904.11000 http://arxiv.org/abs/1904.11000 . doi:10.1093/imrn/rnaa012
work page Pith review arXiv 2019
-
[6]
G. David. Morceaux de graphes lipschitziens et int \'e grales singulieres sur une surface. Rev. Mat. Iberoam. , 4(1):73--114, 1988. doi:10.4171/RMI/64
-
[7]
Square functions, non-tangential limits and harmonic measure in co-dimensions larger than one
G. David, M. Engelstein, and S. Mayboroda. Square functions, non-tangential limits and harmonic measure in co-dimensions larger than one. Preprint, to appear in Duke Math. J. , 2018, arXiv:1808.08882 http://arxiv.org/abs/1808.08882
work page Pith review arXiv 2018
-
[8]
G. David, J.-L. Journ \'e , and S. Semmes. Op \'e rateurs de Calder \'o n-Zygmund, fonctions para-accr \'e tives et interpolation . Rev. Mat. Iberoam. , 1(4):1--56, 1985. doi:10.4171/RMI/17
Show all 21 references
-
[9]
David and S
G. David and S. Mayboroda. Harmonic measure is absolutely continuous with respect to the Hausdorff measure on all low-dimensional uniformly rectifiable sets. arXiv preprint , 2020, arXiv:2006.14661 http://arxiv.org/abs/2006.14661
2020 arXiv
-
[10]
David and S
G. David and S. Semmes. Singular integrals and rectifiable sets in R ^n : Au-del\` a des graphes lipschitziens. Ast \'e risque , 193, 1991. doi:10.24033/ast.68
1991 doi
-
[11]
J. Feneuil. Absolute continuity of the harmonic measure on low dimensional rectifiable sets. arXiv preprint , 2020, arXiv:2006.03118 http://arxiv.org/abs/2006.03118
2020 arXiv
-
[12]
Grafakos
L. Grafakos. Classical Fourier Analysis , volume 249 of Grad. Texts in Math. Springer-Verlag New York, 3 edition, 2014. doi:10.1007/978-1-4939-1194-3
2014 doi
-
[13]
Hyt \"o nen and O
T. Hyt \"o nen and O. Tapiola. Almost Lipschitz-continuous wavelets in metric spaces via a new randomization of dyadic cubes. J. Approx. Theory , 185:12--30, 2014, arXiv:1310.2047 http://arxiv.org/abs/1310.2047 . doi:10.1016/j.jat.2014.05.017
2014 arXiv
-
[14]
P. Mattila. Geometry of sets and measures in Euclidean spaces: fractals and rectifiability , volume 44 of Cambridge Stud. Adv. Math. Cambridge Univ. Press, 1995. doi:10.1017/CBO9780511623813
1995 doi
-
[15]
T. Orponen. Absolute continuity and -numbers on the real line. Anal. PDE , 12(4):969--996, 2018, arXiv:1703.02935 http://arxiv.org/abs/1703.02935 . doi:10.2140/apde.2019.12.969
2018 arXiv
-
[16]
X. Tolsa. Littlewood--Paley theory and the T(1) theorem with non-doubling measures . Adv. Math. , 164(1):57--116, 2001, arXiv:math/0006039 http://arxiv.org/abs/math/0006039 . doi:10.1006/aima.2001.2011
2001 arXiv
-
[17]
X. Tolsa. Principal values for R iesz transforms and rectifiability. J. Funct. Anal. , 254(7):1811--1863, 2008, arXiv:0708.0109 http://arxiv.org/abs/0708.0109 . doi:j.jfa.2007.07.020
2008 arXiv
-
[18]
X. Tolsa. Uniform rectifiability, Calder \'o n - Zygmund operators with odd kernel, and quasiorthogonality. Proc. Lond. Math. Soc. (3) , 98(2):393--426, 2009, arXiv:0805.1053 http://arxiv.org/abs/0805.1053 . doi:10.1112/plms/pdn035
2009 arXiv
-
[19]
X. Tolsa. Mass transport and uniform rectifiability. Geom. Funct. Anal. , 22(2):478--527, 2012, arXiv:1103.1543 http://arxiv.org/abs/1103.1543 . doi:10.1007/s00039-012-0160-0
2012 arXiv
-
[20]
X. Tolsa. Analytic capacity, the Cauchy transform, and non-homogeneous Calder \'o n - Zygmund theory , volume 307 of Progress in Mathematics . Birkhäuser, 2014. doi:10.1007/978-3-319-00596-6
2014 doi
-
[21]
X. Tolsa. Rectifiable measures, square functions involving densities, and the Cauchy transform. Mem. Amer. Math. Soc. , 245(1158), 2017, arXiv:1408.6979 http://arxiv.org/abs/1408.6979 . doi:10.1090/memo/1158
2017 arXiv
Reviewed August 27, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.