Pith. sign in

REVIEW 4 minor 16 references

Two-ends Furstenberg inequality for transversal families and applications to Fourier decay

T0 review · 0 major / 4 minor · reviewed 2026-07-10 · grok-4.5

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

Pith's one-line read A two-ends Furstenberg inequality for transversal curves yields Fourier decay for fractal measures on convex curves.

desk verdict Clean, useful generalisation of two-ends Furstenberg to transversal curves with a genuinely simpler proof and a solid Fourier application. read the letter →

arxiv 2607.08461 v1 pith:CQKTPGLX submitted 2026-07-09 math.CA math.CO

William O'Regan , Shukun Wu , Guangzeng Yi This is my paper · ORCID
classification math.CAmath.CO MSC 28A8028A78
keywords two-endsFurstenberginequalitytransversalfamiliesFourierdecayconvexcurvesKatz-TaosetsincidencegeometryFrostmanmeasures
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 extends a recent two-ends Furstenberg inequality from straight lines to families of curves that cannot be tangent (transversal families). It proves a lower bound on the size of the union of δ-cubes that shade such curves when the curves form a Katz–Tao set and the shadings are dense and two-ended. The argument is deliberately simpler than the line case: multi-scale decomposition of the shadings plus a new intermediate-scale selection lemma reduce the problem to known curvilinear Furstenberg and incidence estimates. As a concrete payoff the authors obtain an L^6 Fourier-decay bound for s-Frostman measures supported on a C^3 convex curve when s≤2/3. The bound improves earlier parabola-only results and is sharp enough to be useful for spectral projectors and eigenfunction estimates on manifolds.

What carries the argument

The intermediate-scale selection lemma (Lemma 3.15). It produces a scale Δ at which either incidences are uniformly bounded or a large collection of Δ-cubes already carries a strong lower bound on measure; the lemma rests only on existing curvilinear Furstenberg and Katz–Tao incidence theorems and replaces the heavier combinatorial input used for lines.

What would settle it

Exhibit a transversal family of C^2 curves that is δ-separated and (δ,t)-Katz–Tao, together with λ-dense two-ends shadings whose union is smaller than the right-hand side of (1.6) by more than any δ^ε factor.

Watch

Extended reading notes

Core claim

For a δ-separated (δ,t)-Katz–Tao transversal family F of curves and λ-dense (ε_{1},ε_{2})-two-ends shadings P(f), the measure of the union E_{F,P} is at least δ^{ε+t ε_{1}/2} δ^{(t-1)/2} γ_{P,t*}^{-1/2} λ^{1/2} ∑ |P(f)| (t*=min{t,2-t}). The same inequality, after duality, supplies the Fourier-decay estimate ∥μ̂∥_6(B_R) ≲ R^{2-5s/2+ε} for s-Frostman measures on a convex C^3 curve with s≤2/3.

Load-bearing premise

The argument absorbs η-losses coming from two black-box incidence theorems for transversal families; if those theorems fail at the claimed scales the final ε-power collapses.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 4 minor

Summary. The paper generalises the two-ends Furstenberg inequality of Wang–Wu from lines to T-transversal C^{2} families of curves (Theorem 1.5 / 3.1). For a δ-separated (δ,t)-KT transversal family F and λ-dense (ε_{1},ε_{2})-two-ends shadings P(f), the union E_{F,P} satisfies a lower bound |E_{F,P}| ≳ δ^{ε + t ε_{1}/2} δ^{(t-1)/2} γ_{P,t*}^{-1/2} λ^{1/2} ∑ |P(f)| with t* = min{t,2-t}. The proof reduces the two-ends statement to a uniform (δ,ε_{2};ρ*)-set statement (Theorem 3.5), then proceeds by multi-scale decomposition, an intermediate-scale selection lemma (Lemma 3.15), and induction on scales with local rescaling. As an application, the authors obtain an L^{6} Fourier-decay bound for s-Frostman measures supported on C^{3} convex curves when s ≤ 2/3 (Theorem 1.7), via a dual incidence estimate (Theorem 4.4 / Corollary 4.23) and a three-term energy estimate (Theorem 4.26).

Significance. The result cleanly extends a recent and already-applied incidence inequality from lines to a natural class of curved families that includes translations of a fixed convex function and the core curves arising from planar Hörmander operators. The proof is substantially simpler than the line case in [14], replacing a heavy combinatorial input by a scale-selection lemma that rests only on the published curvilinear Furstenberg estimate of Orponen–Pyörälä–Yi and the Katz–Tao incidence bound of Orponen–Shmerkin; both black boxes are cited with explicit η-loss control that is absorbed into the final ε. The Fourier application improves the known decay for general convex curves in the range s ≤ 2/3 and matches the best available bound for parabolas. The work therefore supplies a flexible tool for future eigenfunction and restriction problems on manifolds while remaining self-contained once the two cited theorems are granted.

minor comments (4)
  1. Notation 3.8 introduces ≲, ≳, «, ⪅ with slightly overlapping meanings; a single sentence clarifying which symbols hide only absolute/T constants and which hide δ^{-ε} or log(1/δ) factors would help the reader track the bookkeeping in §3.
  2. In the proof of Theorem 3.1 (page 11), the random selection of S^{2}_{ρ,Q} is asserted to succeed with high probability; a one-line reference to the standard Chernoff or second-moment argument used for Katz–Tao sampling would make the step fully explicit.
  3. Definition 4.3 (rectangular KT-condition) and Definition 4.20 (f-rectangular KT-condition) are dual but written with slightly different quantifiers; a short remark that they are equivalent under the map A_x of Lemma 2.6 would improve readability of §4.1.
  4. Several arXiv preprints are cited as “https://arxiv.org/…” without year or version; standardising the bibliography entries would be helpful for archival purposes.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the two-ends inequality is proved by induction and multi-scale reduction to independent black-box incidence theorems (some coauthored), not by tautology or fitted parameters.

full rationale

The central claim (Theorem 1.5/3.1) is established by reducing the two-ends condition to a uniform (δ,ε₂;ρ*)-set via dyadic pigeonholing and multi-scale decomposition (Lemma 2.31), then running a backward induction on scale that invokes a new intermediate-scale selection lemma (Lemma 3.15). That lemma is derived from the already-published curvilinear Furstenberg estimate (Theorem 3.18 = [7, Thm 1.11]) and the Katz-Tao incidence bound under mild non-concentration (Theorem 3.20 = [10, Thm 1.4]); both are external results with their own proofs and explicit η-loss control that is absorbed into the final ε. The line-case papers [13,14] of Wang-Wu are cited only as the model being simplified and generalized; the present argument does not invoke their conclusions as black boxes. The Fourier-decay application (Theorem 1.7) is a standard energy-to-incidence reduction that inherits the same independent black boxes. No equation is definitionally equivalent to its input, no parameter is fitted and then re-predicted, and no uniqueness theorem is imported solely from overlapping authors to force the result. Ordinary scientific self-citation of prior work by the same group does not constitute circularity under the stated criteria.

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

The paper is pure mathematics. Free parameters are the usual ε-losses and the transversality constant T. Axioms are standard real-analysis facts plus three black-box incidence theorems taken from the literature. No new physical entities are postulated.

free parameters (2)
  • ε-loss exponents
    Every quantitative statement absorbs an arbitrary ε>0 into the final power of δ; the precise dependence of δ_{0} on ε,t,T is not tracked beyond existence.
  • transversality constant T
    Appears in all bi-Lipschitz and covering constants; treated as a fixed input of the family.
assumptions (4)
  • domain assumption Curvilinear Furstenberg set estimate for transversal families (Orponen-Pyörälä-Yi, Theorem 3.18)
    Used as a black box to prove the intermediate-scale selection lemma (Lemma 3.15).
  • domain assumption Katz-Tao incidence estimate under mild non-concentration (Orponen-Shmerkin, Theorem 3.20)
    Likewise invoked inside the scale-selection lemma and its corollary.
  • domain assumption Two-ends Furstenberg inequality for lines (Wang-Wu)
    The model result being generalised; the present proof is independent but the statement is the natural extension.
  • standard math Standard covering, pigeonholing and bi-Lipschitz properties of C^{2} transversal families
    Collected in Section 2 and used throughout the rescaling arguments.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Two-ends Furstenberg inequality for transversal families and applications to Fourier decay." pith.science (2026). https://pith.science/paper/CQKTPGLX

@misc{pith2026260708461,
  author       = {Pith},
  title        = {Pith review of: Two-ends Furstenberg inequality for transversal families and applications to Fourier decay},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CQKTPGLX}},
  note         = {Machine review of arXiv:2607.08461}
}
read the original abstract

We generalise the recent two-ends Furstenberg inequality due to Wang and the second author from lines to a family of transversal curves, and give a much simplified proof. As an application, we present a result pertaining to the Fourier decay of fractal measures on convex curves.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages

  1. [14]

    Two-ends Furstenberg estimates in the plane

    Hong Wang and Shukun Wu. Two-ends furstenberg estimates in the plane.arXiv preprint arXiv:2509.21869, 2025

    work page Pith review arXiv 2025

  2. [1]

    Incidence estimates for quasi-product sets and applications

    Ciprian Demeter and William O’Regan. Incidence estimates for quasi-product sets and applications. https://arxiv.org/abs/2511.15899, 2025

    work page arXiv 2025

  3. [2]

    Szemerédi-Trotter bounds for tubes and applications.Ars Inven

    Ciprian Demeter and Hong Wang. Szemerédi-Trotter bounds for tubes and applications.Ars Inven. Anal., pages Paper No. 1, 46, 2025

    work page 2025

  4. [3]

    Sharp microlocal Kakeya–Nikodym estimates for eigen- functions with applications.preprint, arXiv:2509.01116, 2025

    Chuanwei Gao, Shukun Wu, and Yakun Xi. Sharp microlocal Kakeya–Nikodym estimates for eigen- functions with applications.preprint, arXiv:2509.01116, 2025

    work page arXiv 2025

  5. [4]

    Additive properties of fractal sets on the parabola.Ann

    Tuomas Orponen. Additive properties of fractal sets on the parabola.Ann. Fenn. Math., 48(1):113–139, 2023

    work page 2023

  6. [5]

    Tuomas Orponen.ABCsum-product theorems for Katz-Tao sets.https://arxiv.org/pdf/2511.05091, 2025

    work page arXiv 2025

  7. [6]

    On Fourier transforms of fractal measures on the parabola.Trans

    Tuomas Orponen, Carmelo Puliatti, and Aleksi Pyörälä. On Fourier transforms of fractal measures on the parabola.Trans. Amer. Math. Soc., 378(10):7429–7450, 2025

    work page 2025

  8. [7]

    Furstenberg set theorem for transversal families of functions

    Tuomas Orponen, Aleksi Pyörälä, and Guangzeng Yi. Furstenberg set theorem for transversal families of functions.arXiv preprint arXiv:2508.19047, 2025

    work page Pith review arXiv 2025

Show all 16 references
  1. [8]

    Nikodým maximal function with restricted directions.arXiv preprint arXiv:2601.19631, 2026

    Tuomas Orponen and Hrit Roy. Nikodým maximal function with restricted directions.arXiv preprint arXiv:2601.19631, 2026. CURVILINEAR TWO-ENDS FURSTENBERG INEQUALITY AND FOURIER DECAY 45

    2026

  2. [9]

    Projections, Furstenberg sets, and theABCsum-product prob- lem.arXiv e-prints, page arXiv:2301.10199, January 2023

    Tuomas Orponen and Pablo Shmerkin. Projections, Furstenberg sets, and theABCsum-product prob- lem.arXiv e-prints, page arXiv:2301.10199, January 2023

    2023

  3. [10]

    Furstenberg-type estimates under mild non-concentration as- sumptions.https://arxiv.org/abs/2603.19171, 2026

    Tuomas Orponen and Pablo Shmerkin. Furstenberg-type estimates under mild non-concentration as- sumptions.https://arxiv.org/abs/2603.19171, 2026

    2026

  4. [11]

    Projections, Furstenberg sets, and theABCsum-product prob- lem.J

    Tuomas Orponen and Pablo Shmerkin. Projections, Furstenberg sets, and theABCsum-product prob- lem.J. Amer. Math. Soc., 39(3):857–913, 2026

    2026

  5. [12]

    Furstenberg sets estimate in the plane.arXiv preprint arXiv:2308.08819, 2023

    Kevin Ren and Hong Wang. Furstenberg sets estimate in the plane.arXiv preprint arXiv:2308.08819, 2023

    2023 arXiv

  6. [13]

    Restriction estimates using decoupling theorems and two-ends fursten- berg inequalities.arXiv preprint arXiv:2411.08871, 2024

    Hong Wang and Shukun Wu. Restriction estimates using decoupling theorems and two-ends fursten- berg inequalities.arXiv preprint arXiv:2411.08871, 2024

    2024 arXiv

  7. [15]

    WeightedL 2 estimates with applications toL p problems.preprint, arXiv:2506.02650, 2025

    Shukun Wu. WeightedL 2 estimates with applications toL p problems.preprint, arXiv:2506.02650, 2025

    2025 arXiv

  8. [16]

    On bounded energy of convolution of fractal measures.Ann

    Guangzeng Yi. On bounded energy of convolution of fractal measures.Ann. Fenn. Math., 50(2):437–457, 2025. DEPARTMENT OFMATHEMATICS, UNIVERSITY OFBRITISHCOLUMBIA, 1984 MATHEMATICSRD, VAN- COUVER, BC V6T 1Z2, CANADA Email address:woregan@math.ubc.ca DEPARTMENT OFMATHEMATICS, IND...

    2025

Pith tools

Reviewed July 10, 2026 · model on record in the stance chip above.