Pith. sign in

REVIEW 2 major objections 1 minor 27 references

A Quantified Two-projection Theorem for Nonlinear Projections

T0 review · 2 major / 1 minor · reviewed 2026-06-28 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Certain families of nonlinear projections satisfy a two-projection theorem, with a quantitative multiscale version following from the linear case.

desk verdict Nonlinear extension of two-projection theorem is new but needs explicit non-degeneracy conditions stated. read the letter →

arxiv 2606.00381 v1 pith:CLCA577P submitted 2026-05-29 math.CA

Zhangze Li , Krystal Taylor This is my paper · ORCID
classification math.CA
keywords two-projectiontheoremnonlinearprojectionsBesicovitchprojectionquantitativeestimatesmultiscaleanalysispinneddistancesetsradialcurve
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper shows that the two-projection theorem carries over to nonlinear projections from suitable families: if a Borel set has zero measure under two such projections, it must be purely 1-unrectifiable. A multiscale framework then supplies quantitative bounds on how small the projections can be. This matters for problems that involve distances or radial views, where the projections are naturally nonlinear. The argument adapts techniques that previously handled only linear orthogonal projections.

What carries the argument

The multiscale framework that quantifies the nonlinear two-projection statement by iterating estimates across dyadic scales.

What would settle it

A Borel set of positive length that contains a rectifiable piece yet has zero measure under two projections from one of the admissible nonlinear families would falsify the extension.

Watch

Extended reading notes

Core claim

The classic two-projection theorem extends to certain families of nonlinear projections, so that zero measure under two distinct members of the family forces a set to be purely 1-unrectifiable; a quantitative version of this statement is obtained by a multiscale analysis that controls the projections at successive scales.

Load-bearing premise

The nonlinear projections must come from families that share the curvature or non-degeneracy properties needed for the linear argument to transfer.

Editorial extensions

If this is right

  • The theorem applies directly to pinned distance sets.
  • It applies to radial projections.
  • It applies to curve projection operators.
  • Quantitative bounds on the measure of the projections are available in each of these settings.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same multiscale control might extend to projections defined by other smooth maps that satisfy comparable non-degeneracy conditions.
  • Quantitative versions could be used to obtain explicit dimension bounds in related Falconer-type problems.
  • The approach may adapt to higher-dimensional analogues where multiple nonlinear projections are considered simultaneously.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

2 major / 1 minor

Summary. The paper extends the classical two-projection theorem to certain families of nonlinear projections, asserting that a Borel set of zero measure under two such projections must be purely 1-unrectifiable. It further obtains a quantitative version of this nonlinear theorem via a multiscale framework modeled on Tao's quantitative treatment of the linear case, and discusses applications to pinned distance sets, radial projections, and curve projection operators.

Significance. If the non-degeneracy conditions are made explicit and the transfer of estimates is verified, the work would be significant for geometric measure theory by providing the first quantitative nonlinear two-projection results and extending Tao's multiscale methods to curved families. The explicit use of Tao's framework for quantitative bounds is a clear strength.

major comments (2)
  1. [Abstract and §1] Abstract and §1: the central claim invokes 'certain families' of nonlinear projections without stating the precise non-degeneracy conditions (e.g., lower bounds on curvature, Jacobian non-vanishing, or derivative estimates uniform across scales) required for both the classical argument and the multiscale quantitative estimates to carry over; this premise is load-bearing because the multiscale framework demands uniform control that may fail without quantified non-degeneracy.
  2. [Theorem statement (likely §3)] Theorem statement (likely §3): the nonlinear two-projection theorem is stated without explicit quantification of the structural assumptions on the families, making it impossible to verify whether the applications to pinned distance sets and radial projections satisfy the hypotheses needed for the quantitative bounds.
minor comments (1)
  1. [Introduction] Notation for the nonlinear projection operators could be introduced with a concrete example in the introduction to improve readability before the general definitions.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the need to make non-degeneracy conditions explicit. We agree that greater precision in the abstract, introduction, and theorem statements will strengthen the paper and facilitate verification of the applications. We will revise accordingly.

read point-by-point responses

  1. Referee: [Abstract and §1] Abstract and §1: the central claim invokes 'certain families' of nonlinear projections without stating the precise non-degeneracy conditions (e.g., lower bounds on curvature, Jacobian non-vanishing, or derivative estimates uniform across scales) required for both the classical argument and the multiscale quantitative estimates to carry over; this premise is load-bearing because the multiscale framework demands uniform control that may fail without quantified non-degeneracy.

    Authors: We agree that the abstract and §1 should explicitly summarize the non-degeneracy hypotheses rather than referring only to 'certain families.' In the body of the paper these conditions appear in §2 (uniform lower bounds on curvature, non-vanishing Jacobian, and scale-uniform derivative estimates). We will insert a concise statement of these hypotheses into the abstract and the first paragraph of §1, together with a forward reference to the precise definitions in §2. This change will make the load-bearing assumptions visible at the outset. revision: yes

  2. Referee: [Theorem statement (likely §3)] Theorem statement (likely §3): the nonlinear two-projection theorem is stated without explicit quantification of the structural assumptions on the families, making it impossible to verify whether the applications to pinned distance sets and radial projections satisfy the hypotheses needed for the quantitative bounds.

    Authors: We accept the point. The current statement of the main theorem in §3 lists the families but does not restate the quantitative non-degeneracy conditions inside the theorem itself. We will revise the theorem to include an explicit list of the required uniform bounds (curvature, Jacobian, and derivative estimates across scales). We will also add a short paragraph immediately after the theorem verifying that the families arising in the pinned-distance and radial-projection applications satisfy these bounds, thereby confirming that the quantitative estimates apply. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; derivation builds on external Tao methods with independent structural assumptions

full rationale

The paper extends the classical two-projection theorem to selected families of nonlinear projections by invoking Tao's quantitative multiscale framework for the linear case. The abstract and context indicate reliance on external methods and unspecified but independent non-degeneracy conditions for the nonlinear families, without any reduction of claims to self-definitions, fitted parameters renamed as predictions, or load-bearing self-citations. No equations or steps are shown to collapse by construction to the paper's own inputs, making the derivation self-contained against external benchmarks.

Assumptions & free parameters 0 free parameters · 2 assumptions · 0 invented entities

The result rests on standard background results in geometric measure theory (Besicovitch projection theorem, rectifiability definitions) and on Tao's quantitative linear methods; no free parameters or invented entities are introduced in the abstract.

assumptions (2)
  • standard math Standard results of geometric measure theory on rectifiability and projections hold in R^2
    Invoked when stating the classic Besicovitch and two-projection theorems that the paper extends.
  • domain assumption Tao's quantitative linear two-projection methods extend to the chosen nonlinear families
    Central premise that allows the multiscale framework to produce the quantitative nonlinear statement.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A Quantified Two-projection Theorem for Nonlinear Projections." pith.science (2026). https://pith.science/paper/CLCA577P

@misc{pith2026260600381,
  author       = {Pith},
  title        = {Pith review of: A Quantified Two-projection Theorem for Nonlinear Projections},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CLCA577P}},
  note         = {Machine review of arXiv:2606.00381}
}
abstract

The classic Besicovitch projection theorem asserts that if a set is purely $1$-unrectifiable with finite length in $\mathbb{R}^2$, its orthogonal projection has Lebesgue measure zero in almost every direction. In the opposite direction, the two-projection theorem states that if a Borel set has zero measure under orthogonal projections onto two distinct non-antipodal directions, it must be purely $1$-unrectifiable. We extend the two-projection theorem to certain families nonlinear projections and consider applications to pinned distance sets, radial projections, and curve projection operators. Further, we use a multiscale framework to obtain a quantitative version of our nonlinear two-projection theorem. Our arguments utilize methods introduced by Tao, who provided a quantitative treatment of the classic linear two-projection theorem.

Figures

Figures reproduced from arXiv: 2606.00381 by the authors.

Figure 1
Figure 1. Φα(a) is the y-coordinate of the vertical slice of a + Γ at {x = α}. With this set-up, the following is a consequence of Theorem 2.2 [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. This is a graph of the function x 7→ Fn + 1 (x) + γα,n + 1 (x). We distinguish the intervals Jj that reach an interval Km. The good intervals Jj that reach Km are marked with “g”, while the bad intervals are marked with “b”. Note that the first string is an exceptional string. 7.5.2. The Case of t < 0. Next, we consider the case t < 0. Recall the definition of t in (7.9). The argument differs slightly from the case … view at source ↗
Figure 3
Figure 3. x, dα, Φα(a), and Φα(b) Comparing coordinates, we have x1 = s0 + a1 = t0 + b1 and x2 = a2 + γ(s0) = b2 + γ(t0). Set dα := dist(x, ℓα) = |α − x1|. Since b1 − a1 > 0 and Φα(a) − Φα(b) > 0, by the convexity of Γ, dα = x1 − α and b must lie to the right of a. We can show that Φα(a) − Φα(b) ∼ dα(b1 − a1). This estimate suggests that dα captures the difference between Φα(a) and Φα(b). Let Jj = [pj , qj ] be a good interva… view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: This is a graph of the function x 7→ Φα(x, Fn + 1 (x)). We distinguish the intervals Jj that reach an interval Km. The good intervals Jj that reach Km are marked with “g”, while the bad intervals are marked with “b”. Note that the function graph is concave down because…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

27 extracted references · 2 canonical work pages

  1. [1]

    Bateman and A

    M. Bateman and A. Volberg. An estimate from below for the Buffon needle probability of the four-corner Cantor set.Math. Res. Lett., 17(5):959–967, 2010. 8

    2010

  2. [2]

    A. S. Besicovitch. On the fundamental geometrical properties of linearly measurable plane sets of points (III).Math. Ann., 116(1):349–357, 1939. 1

    1939

  3. [3]

    M. Bond, I. Łaba, and A. Volberg. Buffon’s needle estimates for rational product Cantor sets.Amer. J. Math., 136(2):357– 391, 2014. 8

    2014

  4. [4]

    Bongers, P

    R. Bongers, P. Bright, C. Marshall, and K. Taylor. A higher dimensional two-projection theorem for generalized projections and pinned configurations.preprint, 2026. 4, 5, 12

    2026

  5. [5]

    Bongers and K

    R. Bongers and K. Taylor. Transversal families of nonlinear projections and generalizations of Favard length.Anal. PDE, 16(1):279–308, 2023. 3, 9, 21

    2023

  6. [6]

    Borges, B

    T. Borges, B. Foster, Y. Ou, and E. Palsson. Nonempty interior of pinned distance and tree sets.Adv. Math., 493:Paper No. 110917, 34, 2026. 5

    2026

  7. [7]

    Chang, D

    A. Chang, D. Dąbrowski, T. Orponen, and M. Villa. Structure of sets with nearly maximal Favard length.Anal. PDE, 17(4):1473–1500, 2024. 8

    2024

  8. [8]

    Chang and X

    A. Chang and X. Tolsa. Analytic capacity and projections.J. Eur. Math. Soc. (JEMS), 22(12):4121–4159, 2020. 9

    2020

Show all 27 references
  1. [9]

    Cladek, B

    L. Cladek, B. Davey, and K. Taylor. Upper and lower bounds on the rate of decay of the Favard curve length for the four-corner Cantor set.Indiana Univ. Math. J., 71(3):1003–1025, 2022. 3, 9

    2022

  2. [10]

    Dąbrowski

    D. Dąbrowski. Favard length and quantitative rectifiability.Preprint, 2024. 8, 9

    2024

  3. [11]

    Dąbrowski

    D. Dąbrowski. Quantitative Besicovitch projection theorem for irregular sets of directions.Proc. Lond. Math. Soc. (3), 130(3):Paper No. e70037, 53, 2025. 8

    2025

  4. [12]

    Davey and K

    B. Davey and K. Taylor. A quantification of a Besicovitch non-linear projection theorem via multiscale analysis.J. Geom. Anal., 32(4):Paper No. 138, 55, 2022. 2, 3, 9

    2022

  5. [13]

    Hovila, E

    R. Hovila, E. Järvenpää, M. Järvenpää, and F. Ledrappier. Besicovitch-Federer projection theorem and geodesic flows on Riemann surfaces.Geom. Dedicata, 161:51–61, 2012. 9

    2012

  6. [14]

    Mathematics, 9, 1802, doi.org/10.3390/math9151802, 2021

    A.Iosevich, K.Taylor, andI.Uriarte-Tuero.PinnedgeometricconfigurationsinEuclideanspaceandRiemannianmanifolds. Mathematics, 9, 1802, doi.org/10.3390/math9151802, 2021. 5

    2021 doi

  7. [15]

    I. Łaba, A. Mcdonald, and K. Taylor. Favard length estimates for generalized projections and large unions of circles. preprint, 2026. 3, 9

    2026

  8. [16]

    B. Liu. Hausdorff dimension of pinned distance sets and theL2-method.Proc. Amer. Math. Soc., 148(1):333–341, 2020. 5

    2020

  9. [17]

    Maggi.Sets of finite perimeter and geometric variational problems, volume 135 ofCambridge Studies in Advanced Mathematics

    F. Maggi.Sets of finite perimeter and geometric variational problems, volume 135 ofCambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2012. An introduction to geometric measure theory. 12

    2012

  10. [18]

    Marshall

    C. Marshall. Power laws for the Favard length problem inRd.arXiv preprint, arxiv.org/abs/2509.02882, 2025. 8

    2025

  11. [19]

    Martikainen and T

    H. Martikainen and T. Orponen. Characterising the big pieces of Lipschitz graphs property using projections.J. Eur. Math. Soc. (JEMS), 20(5):1055–1073, 2018. 8 QUANTIFYING THE TWO-PROJECTION THEOREM FOR GENERALIZED PROJECTIONS 25

    2018

  12. [20]

    P. Mattila. Orthogonal projections, Riesz capacities, and Minkowski content.Indiana Univ. Math. J., 39(1):185–198, 1990. 8

    1990

  13. [21]

    Nazarov, Y

    F. Nazarov, Y. Peres, and A. Volberg. The power law for the Buffon needle probability of the four-corner Cantor set. Algebra i Analiz, 22(1):82–97, 2010. 8

    2010

  14. [22]

    T. Orponen. Plenty of big projections imply big pieces of Lipschitz graphs.Invent. Math., 226(2):653–709, 2021. 8

    2021

  15. [23]

    Orponen and T

    T. Orponen and T. Sahlsten. Radial projections of rectifiable sets.Ann. Acad. Sci. Fenn. Math., 36(2):677–681, 2011. 5

    2011

  16. [24]

    Shmerkin

    P. Shmerkin. On the Hausdorff dimension of pinned distance sets.Israel J. Math., 230(2):949–972, 2019. 5

    2019

  17. [25]

    Simon and K

    K. Simon and K. Taylor. Dimension and measure of sums of planar sets and curves.Mathematika, 68(4):1364–1392, 2022. 3, 9

    2022

  18. [26]

    T. Tao. A quantitative version of the Besicovitch projection theorem via multiscale analysis.Proc. Lond. Math. Soc. (3), 98(3):559–584, 2009. 2, 5, 6, 7, 8, 9, 10, 13

    2009

  19. [27]

    K. Taylor. Connections between fractal geometry and projections.Notices Amer. Math. Soc., 71(11):1458–1469, 2024. 8, 9 Department of Mathematics, The Ohio State University, Columbus, OH Email address:li.15128@osu.edu Department of Mathematics, The Ohio State University, Columb...

    2024

Pith tools

Reviewed June 28, 2026 · model on record in the stance chip above.