The Usual Square Function on Weakly Flat Sets

Benjamin Jaye; Tobias Wang

arxiv: 2606.24461 · v1 · pith:YT5O7UYRnew · submitted 2026-06-23 · 🧮 math.CA

The Usual Square Function on Weakly Flat Sets

Benjamin Jaye , Tobias Wang This is my paper

Pith reviewed 2026-06-25 22:05 UTC · model grok-4.3

classification 🧮 math.CA

keywords rectifiabilitysquare function estimatesRadon measuresweak flatnessCauchy kernelNTA curvesquasicircles

0 comments

The pith

A finite Radon measure with positive finite upper density is rectifiable if it satisfies the usual square function estimate and a weak flatness condition.

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

The paper shows that rectifiability follows for such measures from the square function estimate tied to the Cauchy single-layer kernel together with weak flatness, without needing Ahlfors-David regularity. It further derives that weak flatness holds automatically when the measure's support lies inside a locally two-sided NTA curve. This yields rectifiability as a corollary for measures supported on quasicircles. The result relaxes prior assumptions in the study of singular integrals and geometric properties of measures.

Core claim

A finite Radon measure with positive and finite upper density is rectifiable if it satisfies the usual square function estimate and a weak flatness condition. Under the same finiteness and density hypotheses, the weak flatness condition follows when the support is contained in a locally two-sided NTA curve. As a corollary, rectifiability follows when the support is contained in a quasicircle.

What carries the argument

The usual square function estimate for the Cauchy single-layer kernel, paired with a weak flatness condition, which together force rectifiability for measures obeying the density bounds.

Load-bearing premise

The weak flatness condition must hold alongside the square function estimate for the rectifiability implication to go through.

What would settle it

A finite Radon measure with positive and finite upper density that obeys the square function estimate, violates weak flatness, and fails to be rectifiable.

Figures

Figures reproduced from arXiv: 2606.24461 by Benjamin Jaye, Tobias Wang.

**Figure 2.** Figure 2: E ∩ B(A˜(x) + is, |s|) is contained in U(LB, εr(B)), the 2εr(B)-wide strip around LB. β-number, satisfying π(ξ) = x. This will allow us to calculate dist(A˜(x) + is, E) ≥ min |s|, dist(A˜(x) + is, U(LB, εr(B))) (A.2) ≥ min |s|, cos(α)|A˜(x) + is − ξ| − 2εr(B) [PITH_FULL_IMAGE:figures/full_fig_p032_2.png] view at source ↗

read the original abstract

We study the usual square function estimate associated with the Cauchy single-layer kernel in the plane, without assuming Ahlfors-David regularity. We prove that a finite Radon measure with positive and finite upper density is rectifiable if it satisfies the usual square function estimate and a weak flatness condition. We also prove that, under the same finiteness and density hypotheses, the weak flatness condition follows when the support is contained in a locally two-sided NTA curve. As a corollary, rectifiability follows when the support is contained in a quasicircle.

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

This paper shows rectifiability from square function estimates plus weak flatness without the usual Ahlfors-David regularity, and derives the flatness from NTA containment.

read the letter

The main point is that a finite Radon measure with positive finite upper density is rectifiable when it satisfies the usual square function estimate for the Cauchy kernel and a weak flatness condition, all without assuming Ahlfors-David regularity. They also show that the weak flatness follows from containment in a locally two-sided NTA curve, which immediately gives rectifiability for measures supported on quasicircles.

The advance is the removal of Ahlfors-David regularity. That hypothesis has been standard in this literature because it supplies uniform control on the geometry and lets the usual kernel estimates go through. Dropping it means the result applies to a wider class of measures that only have the density bounds. The abstract states the theorems cleanly and the logic rests on standard measure-theoretic definitions rather than any self-referential fitting.

The soft spot is that the abstract gives no proof outline or error estimates, so it is impossible to check how the square function combines with weak flatness once regularity is gone. Weak flatness is clearly the load-bearing extra assumption; if it fails, the implication collapses. The derivation from NTA containment looks plausible on the surface but needs the details to confirm there are no hidden density issues.

This is for readers already working in geometric measure theory and harmonic analysis who know the square function characterizations of rectifiability. Someone outside that circle will not get much from it. The result is new on its face and the setup is standard enough that a referee could evaluate the technical steps without starting from scratch. I would send it to peer review.

Referee Report

2 major / 2 minor

Summary. The manuscript proves that a finite Radon measure μ in the plane with 0 < Θ^*(μ,x) < ∞ μ-a.e. is rectifiable whenever it satisfies the usual square-function estimate for the Cauchy single-layer kernel and a weak flatness condition. It further shows that weak flatness is automatic when supp(μ) lies in a locally two-sided NTA curve, yielding rectifiability for measures supported on quasicircles. The arguments rely on standard kernel estimates and measure-theoretic definitions without assuming Ahlfors-David regularity.

Significance. If the proofs hold, the result relaxes the usual ADR hypothesis in rectifiability criteria by replacing it with a square-function condition plus weak flatness, and the NTA/quasicircle corollary connects the work directly to conformal geometry. This could be useful for applications where regularity is unavailable but containment in NTA sets is known. The paper ships no machine-checked proofs or reproducible code, but the claims are stated in a form that is in principle falsifiable by counter-example construction.

major comments (2)

[§3, Theorem 1.1] §3, Theorem 1.1 (principal implication): the passage from the square-function estimate plus weak flatness to rectifiability is not inspectable from the abstract; the key estimate combining the Cauchy kernel with the weak-flatness parameter must be checked for uniformity in the density bounds.
[§4] §4, Proposition on NTA containment: the derivation that local two-sided NTA implies the weak flatness condition is load-bearing for the corollary; any hidden dependence on the NTA constants would restrict the range of quasicircles to which the result applies.

minor comments (2)

[§2] Notation for the weak-flatness parameter and the upper-density function should be introduced once in §2 and used consistently thereafter.
[Abstract] The abstract states the main theorem twice in slightly different wording; a single crisp statement would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the opportunity to address these points. We respond to the major comments below.

read point-by-point responses

Referee: [§3, Theorem 1.1] §3, Theorem 1.1 (principal implication): the passage from the square-function estimate plus weak flatness to rectifiability is not inspectable from the abstract; the key estimate combining the Cauchy kernel with the weak-flatness parameter must be checked for uniformity in the density bounds.

Authors: The abstract summarizes the result; the full argument appears in §3. Theorem 1.1 is proved via a blow-up procedure in which the square-function estimate and weak-flatness condition together control the oscillation of normalized measures. The key comparison (Lemma 3.3) between the Cauchy kernel and the flatness parameter δ is homogeneous of degree zero and uses only the normalization by μ(B(x,r)), so the resulting bound on the distance to a line is independent of the particular value of Θ^*(μ,x) provided 0 < Θ^* < ∞. The density bounds therefore enter solely through the standing finiteness hypothesis and introduce no additional non-uniformity. We can insert a clarifying sentence after the statement of Theorem 1.1 if desired. revision: partial
Referee: [§4] §4, Proposition on NTA containment: the derivation that local two-sided NTA implies the weak flatness condition is load-bearing for the corollary; any hidden dependence on the NTA constants would restrict the range of quasicircles to which the result applies.

Authors: Proposition 4.1 derives the weak-flatness constant explicitly from the corkscrew and Harnack-chain constants of the locally two-sided NTA curve; the dependence is stated in the proof and appears only through these parameters. The corollary therefore applies to any measure supported on a locally two-sided NTA curve, with the flatness constant determined by the NTA data of that curve. Quasicircles are locally two-sided NTA with constants controlled by the quasiconformal distortion, so the result covers the full class without further restriction. revision: no

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper establishes rectifiability of a finite Radon measure (with positive finite upper density) from the conjunction of the usual square-function estimate for the Cauchy kernel plus a weak flatness condition, and separately shows that weak flatness follows from local two-sided NTA containment. These are one-directional implications resting on standard kernel estimates and measure-theoretic arguments; no step equates a derived quantity to a fitted input by construction, renames a known pattern, or loads the central claim on a self-citation whose content is itself unverified. The abstract and stated corollaries contain no self-definitional loops or ansatz smuggling.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard background facts about Radon measures, the Cauchy kernel, and rectifiability; no free parameters, invented entities, or ad-hoc axioms are indicated in the abstract.

axioms (2)

standard math Finite Radon measures possess positive and finite upper density
Invoked directly in the statement of the main theorem.
standard math The usual square function estimate is well-defined for the Cauchy single-layer kernel
Central object of study; assumed as background.

pith-pipeline@v0.9.1-grok · 5605 in / 1262 out tokens · 31355 ms · 2026-06-25T22:05:38.786468+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

5 extracted references · 5 canonical work pages

[1]

Characterization of N-Rectifiability in Terms of Jones’ Square Function: Part II

[AT15] J. Azzam and X. Tolsa. “Characterization of N-Rectifiability in Terms of Jones’ Square Function: Part II”. In:Geometric and Functional Analysis 25.5 (Oct. 1, 2015), pp. 1371–1412.doi: 10.1007/s00039-015-0334-7. [Bee93] G. Beer. Topologies on Closed and Closed Convex Sets. Dordrecht: Springer Nether- lands,

work page doi:10.1007/s00039-015-0334-7 2015
[2]

Two Sufficient Conditions for Rectifiable Measures

doi: 10.1007/978-94-015-8149-3. [BS15] M. Badger and R. Schul. “Two Sufficient Conditions for Rectifiable Measures”. In: Proceedings of the American Mathematical Society144.6 (Oct. 5, 2015), pp. 2445–

work page doi:10.1007/978-94-015-8149-3 2015
[3]

SquareFunctions,NontangentialLim- its, and Harmonic Measure in Codimension Larger than 1

doi: 10.1090/proc/12881. [DEM21] G.David,M.Engelstein,andS.Mayboroda.“SquareFunctions,NontangentialLim- its, and Harmonic Measure in Codimension Larger than 1”. In:Duke Mathematical Journal 170.3 (Feb. 2021), pp. 455–501.doi: 10.1215/00127094-2020-0048. [DS91] G. David and S. Semmes. Singular Integrals and Rectifiable Sets inRn: Au-delà Des Graphes Lipsch...

work page doi:10.1090/proc/12881 2021
[4]

Lp-Square Function Estimates on Spaces of Homogeneous Type and on Uniformly Rectifiable Sets

MathematicalSurveysandMonographs.Providence,RhodeIsland:AmericanMath- ematical Society, Dec. 21, 1993.doi: 10.1090/surv/038. [HMM+17] S. Hofmann et al. “Lp-Square Function Estimates on Spaces of Homogeneous Type and on Uniformly Rectifiable Sets”. In:Memoirs of the American Mathematical Society 245.1159 (Jan. 2017).doi: 10.1090/memo/1159. [HMM14] S. Hofma...

work page doi:10.1090/surv/038 1993
[5]

Characterization of N-Rectifiability in Terms of Jones’ Square Function: Part I

doi: 10.1007/978-3-319-00596-6. [Tol15] X. Tolsa. “Characterization of N-Rectifiability in Terms of Jones’ Square Function: Part I”. In:Calculus of Variations and Partial Differential Equations54.4 (Dec. 1, 2015), pp. 3643–3665.doi: 10 . 1007 / s00526 - 015 - 0917 - z. Correction in “Cor- rection to: Characterization of n-Rectifiability in Terms of Jones’...

work page doi:10.1007/978-3-319-00596-6 2015

[1] [1]

Characterization of N-Rectifiability in Terms of Jones’ Square Function: Part II

[AT15] J. Azzam and X. Tolsa. “Characterization of N-Rectifiability in Terms of Jones’ Square Function: Part II”. In:Geometric and Functional Analysis 25.5 (Oct. 1, 2015), pp. 1371–1412.doi: 10.1007/s00039-015-0334-7. [Bee93] G. Beer. Topologies on Closed and Closed Convex Sets. Dordrecht: Springer Nether- lands,

work page doi:10.1007/s00039-015-0334-7 2015

[2] [2]

Two Sufficient Conditions for Rectifiable Measures

doi: 10.1007/978-94-015-8149-3. [BS15] M. Badger and R. Schul. “Two Sufficient Conditions for Rectifiable Measures”. In: Proceedings of the American Mathematical Society144.6 (Oct. 5, 2015), pp. 2445–

work page doi:10.1007/978-94-015-8149-3 2015

[3] [3]

SquareFunctions,NontangentialLim- its, and Harmonic Measure in Codimension Larger than 1

doi: 10.1090/proc/12881. [DEM21] G.David,M.Engelstein,andS.Mayboroda.“SquareFunctions,NontangentialLim- its, and Harmonic Measure in Codimension Larger than 1”. In:Duke Mathematical Journal 170.3 (Feb. 2021), pp. 455–501.doi: 10.1215/00127094-2020-0048. [DS91] G. David and S. Semmes. Singular Integrals and Rectifiable Sets inRn: Au-delà Des Graphes Lipsch...

work page doi:10.1090/proc/12881 2021

[4] [4]

Lp-Square Function Estimates on Spaces of Homogeneous Type and on Uniformly Rectifiable Sets

MathematicalSurveysandMonographs.Providence,RhodeIsland:AmericanMath- ematical Society, Dec. 21, 1993.doi: 10.1090/surv/038. [HMM+17] S. Hofmann et al. “Lp-Square Function Estimates on Spaces of Homogeneous Type and on Uniformly Rectifiable Sets”. In:Memoirs of the American Mathematical Society 245.1159 (Jan. 2017).doi: 10.1090/memo/1159. [HMM14] S. Hofma...

work page doi:10.1090/surv/038 1993

[5] [5]

Characterization of N-Rectifiability in Terms of Jones’ Square Function: Part I

doi: 10.1007/978-3-319-00596-6. [Tol15] X. Tolsa. “Characterization of N-Rectifiability in Terms of Jones’ Square Function: Part I”. In:Calculus of Variations and Partial Differential Equations54.4 (Dec. 1, 2015), pp. 3643–3665.doi: 10 . 1007 / s00526 - 015 - 0917 - z. Correction in “Cor- rection to: Characterization of n-Rectifiability in Terms of Jones’...

work page doi:10.1007/978-3-319-00596-6 2015