Furstenberg set theorem for transversal families of functions

Aleksi Py\"or\"al\"a; Guangzeng Yi; Tuomas Orponen

REVIEW 1 major objections 4 minor 1 cited by

Furstenberg set theorem for transversal families of functions

T0 review · 1 major / 4 minor · reviewed 2026-08-05 · deepseek-v4-flash

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

Pith's one-line read For families of C^2 curves that are transversal—any two graphs separate in height or slope at every point—the paper proves the Furstenberg set threshold for lines still holds: dimension at least min{s+t, (3s+t)/2, s+1}.

desk verdict Real extension of Ren-Wang to transversal graph families, with the main proof mostly present; the one load-bearing omitted proof (Lemma 6.21) is disclosed but should be supplied before publication. read the letter →

arxiv 2508.19047 v1 pith:V3SGWP44 submitted 2025-08-26 math.CA math.CO

Tuomas Orponen , Aleksi Pyörälä , Guangzeng Yi This is my paper · ORCID

classification math.CAmath.CO MSC 28A8028A7842B10

keywords FurstenbergsettransversalfamilyHausdorffdimensionFouriertransformfractalmeasuresincidenceestimatesplanecurvesprojectiontheorem

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 proves that the sharp Furstenberg set bound known for families of lines remains true when the lines are replaced by a family of C^2 curves satisfying a transversality condition: any two graphs must separate in value or slope uniformly at every point. The main theorem says that if the curve family has dimension at least t and a planar set intersects each graph in dimension at least s, then the set itself has dimension at least min{s+t, (3s+t)/2, s+1}. The proof proceeds through a δ-discretised estimate and a projection theorem for transversal families, matching the structure of the linear argument. As an application, the authors derive L^p Fourier-decay bounds for fractal measures on plane curves with non-vanishing second derivative, extending earlier parabola results to arbitrary strictly convex curves. The result matters because it indicates that the Furstenberg phenomenon is driven by non-tangential separation and rescaling invariance, not by algebraic straightness.

What carries the argument

The load-bearing object is the transversal family (Definition 1.2): a family of C^2 functions in which any two graphs separate, at every point, in value or slope by an amount comparable to their full C^2 distance. This non-tangential separation is what makes the graphs behave like a nonlinear analogue of a line family; it is invariant under two natural rescaling operations (Lemmas 2.19 and 2.20), which enables the induction-on-scales scheme. The other central mechanism is the curvilinear high-low incidence estimate (Proposition 3.5), a Fourier-free replacement for the tube Fourier lemma that bounds incidences between δ-separated graph fragments and δ-squares by a small-scale term plus a larg

What would settle it

Take a transversal family at a small scale and test the key incidence estimate in Proposition 3.5: it predicts that incidences between δ-separated graph fragments and δ-squares are at most a constant times (S^3δ^{-1}|F||P|)^{1/2} plus S^{-1} times the large-scale incidence term. A configuration whose incidence count exceeds this bound would break the proof's central lemma. Alternatively, run the discretised Theorem 1.11 on an admissible configuration: if |P| falls below δ^η·min{δ^{-t}, δ^{-(s+t)/2}, δ^{-1}}·M for small enough δ, the theorem's key quantitative claim is false.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.9: if F⊂C^2(I) is a transversal family with dim_H F≥t, and F⊂R^2 satisfies dim_H(F∩Γ_f)≥s for every graph Γ_f of f∈F, then dim_H F≥min{s+t,(3s+t)/2,s+1}. This matches the sharp linear Furstenberg threshold and is proved through a discretised version (Theorem 1.11) that gives polynomial lower bounds on the number of δ-squares. The transversality condition (Definition 1.2) requires inf_{θ∈I}(|f(θ)−g(θ)|+|f′(θ)−g′(θ)|)≥T^{-1}‖f−g‖_{C^2(I)}, which rules out tangential intersections and is preserved under the rescaling operations used for induction on scales. The paper also proves Theorem 1.16: for g∈C^3 with g″ never vanishing, any measure on the graph segment sati

Load-bearing premise

The proof assumes that any two curves in the family separate in value or slope uniformly at every point; if two graphs can meet with the same tangent, the induction collapses and no result is claimed.

Editorial extensions

If this is right

If Theorem 1.9 is correct, the sharp linear Furstenberg threshold min{s+t,(3s+t)/2,s+1} holds unchanged when the leaf family is any transversal family of graphs, not just lines.
The discretised Theorem 1.11 gives quantitative bounds: for admissible configurations, |P| ≥ δ^η·min{δ^{-t}, δ^{-(s+t)/2}, δ^{-1}}·M, which underlies the Hausdorff-dimension statement.
Corollary 1.14 shows that translates of a fixed strictly convex C^3 curve form a transversal family with constants independent of location, so the theorem applies uniformly at all scales and positions.
Theorem 1.16 extends the Fourier-decay estimate for measures on the parabola to measures on any plane curve segment with non-vanishing second derivative, for t<min{3s,s+1}.
The proof isolates a regular case and a semi-well-spaced case, mirroring the linear argument, so the same two-extreme decomposition is available for nonlinear transversal families.

Reading between the lines

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

Beyond the paper: because the threshold matches the linear case, any genuine failure of Furstenberg-type bounds for curved leaves would likely have to come from tangential or higher-order tangency, not from curvature itself; the paper's Remark 1.4 leaves exactly this open for cinematic families.
The Fourier-free high-low lemma suggests the machinery is portable: one could test whether other rescaling-invariant families of curves—for example algebraic curve families with a uniform non-tangency condition—admit the same induction without Fourier tube structure.
The paper's Remark 1.18 notes that p=6 may always suffice in the Fourier application; a concrete testable strengthening would be to prove or disprove the p=6 bound for all g with g″≠0, rather than only the known s≥2/3 range.
If the proof's rescaling invariance is robust, a natural extension would be higher-dimensional analogues where leaves are hypersurfaces satisfying an analogous first-order separation condition, although the discretised machinery would need a new projection theorem.

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.

Desk Editor's Note

read the letter

The main result is Theorem 1.9: the Ren-Wang threshold min{s+t, (3s+t)/2, s+1} holds when lines are replaced by any transversal family of C^2 graphs. That is genuinely new; prior nonlinear cases needed stronger separation assumptions. The proof follows the Ren-Wang architecture — regular case, semi-well-spaced case, interpolation — and the hard new input is the curvilinear high-low estimate (Prop 3.5) and the incidence lemma (6.19) proved in Appendix A. I looked at those arguments and they are substantive: the transversality condition is chosen so that it survives both rescaling operations, and the high-low lemma uses the Cohen–Pohoata–Zakharov Fourier-free argument, which is the right tool for curved tubes.

The paper is honest about what it imports: Ren–Wang is used as a black box in the regular case, and Proposition 7.2 comes from Orponen–Shmerkin. That is acceptable. The Fourier application to general convex curves is a nice payoff and follows from Corollary 1.14.

The soft spot is Lemma 6.21, stated without proof on the grounds that it is identical to Ren–Wang's Lemma 4.11. The stress-test note is right that this lemma is not peripheral: it drives the t=s case (Corollary 6.23) and the semi-well-spaced case. The stated justification — that only the pairwise intersection bound in Remark 6.22 is needed — is plausible; that bound follows from Lemma 2.14, and the rest of the proof is the usual dyadic pigeonholing plus the Katz–Tao condition. So the omission is probably repairable rather than fatal. But "probably" is not "certainly," and an 80-page proof with a load-bearing lemma on trust is exactly what a referee should ask to be cleaned up. The authors should either write out the adaptation or give a very precise translation table from [20, Lemma 4.11] to their setting.

Minor issues: Corollary 1.14 leaves a few details to the reader, and Lemma 4.5 is trivial but stated without proof. Nothing that bothers me.

Bottom line: this deserves a serious referee. It is a real theorem, not a repackaging, and the main proof is in the paper. The authors should be asked to supply the proof of Lemma 6.21 in revision, but I would not desk-reject over it.

Referee Report

1 major / 4 minor

Summary. The paper proves a nonlinear analogue of the Ren–Wang planar Furstenberg set theorem. For a family F ⊂ C^2(I) satisfying the non-tangential transversality condition of Definition 1.2 and a plane set F whose intersection with each graph Γ_f has Hausdorff dimension at least s, Theorem 1.9 gives dim_H F ≥ min{s+t, (3s+t)/2, s+1}, where t is the dimension of F. The proof follows the Ren–Wang three-regime strategy: a δ-discretised theorem (Theorem 1.11) is built from a projection theorem (Theorem 4.1), a regular-case estimate (Theorem 5.3), a semi-well-spaced estimate (Proposition 6.13), and a branching-function interpolation (Theorem 7.1). The discretised theorem is then converted to the Hausdorff-dimension statement in §1.3. As an application, Theorem 1.16 derives L^p Fourier decay bounds for measures on convex curves from the special case of translates of a fixed convex graph.

Significance. If correct, Theorem 1.9 is a substantial and natural extension of the linear Ren–Wang estimate to nonlinear transversal curve families. The paper contains genuinely new ingredients, in particular the Fourier-free high-low incidence estimate (Proposition 3.5) and the curvilinear incidence lemma (Lemma 6.19, with a full proof in Appendix A). The Fourier application to measures on general convex curves is a meaningful advance beyond the parabola. The paper is technically demanding, carefully structured, and transparent about its black boxes: the linear Ren–Wang theorem is used explicitly as the linear base case, and Proposition 7.2 is imported from the literature. The proof of the discretised-to-dimension passage in §1.3 is clear and, as far as I can check, correct.

major comments (1)

[§4.2, Theorem 4.90] The proof of Proposition 4.13 (Step 5) closes by applying Theorem 4.90, the linear δ-discretised projection theorem. The text says the details are not repeated and are ‘scattered in the literature’, referring to [17, Cor. 6.1] and [20, Thm 4.1]. This is a load-bearing input: it is the only place where the linear Ren–Wang theorem enters the projection theorem, and Theorem 4.90 is a dual formulation not literally identical to [17, Cor. 6.1]. Please either state Theorem 4.90 as a known theorem with a precise reference, or supply the short deduction from [20, Thm 4.1] and [17, Cor. 6.1]. The current ‘reader should check’ is too terse for a result on which Theorem 1.9 depends.

minor comments (4)

[§1.4, Corollary 1.14] At the end of the proof, the vertical dilation (x,y) ↦ (x, Λ^{-1}y) is stated to increase the transversality constant by O_Λ(1), and the details are left to the reader. Since this corollary is used in the Fourier application, please write out the effect of the dilation on the family and on the dyadic squares.
[§4, Lemma 4.5] The proof is said to follow from the definition and is left to the reader. A one-line proof would improve readability.
[§6.1, Corollary 6.11] The proof says ‘We only treat explicitly the special case where n := 4/ϵ ∈ N.’ For arbitrary ϵ > 0 a short reduction should be mentioned, e.g. by replacing ϵ with a smaller value for which 4/ϵ is an integer.
[§2.3, Definition 2.26] The choice of the arbitrary centre f_F in each dyadic cube is used implicitly in later rescaling lemmas (e.g. Lemma 2.28). It would help to state explicitly that the results are independent of this choice or that a fixed selection is made once and for all.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the central proof is a genuine transversal-family extension built on the externally cited Ren–Wang linear theorem; the only flagged issue is a load-bearing lemma whose proof is omitted, which is a correctness risk, not a circular reduction.

full rationale

The paper's derivation chain is not circular. Theorem 1.9 is reduced to the discretized Theorem 1.11, which is split into the cases t≤s (Corollary 6.23), t≥2−s (Corollary 6.11), and the intermediate range (Theorem 7.1). Each of these is proved from intermediate results—Theorem 4.1, Theorem 5.3, Proposition 6.13—whose proofs are either given in the text or adapted with proofs included. The linear Ren–Wang theorem (Theorem 1.1) is used as an external base case, not as a consequence of the paper's conclusion; Section 4.2 explicitly chooses to apply Theorem 1.1 directly instead of the self-cited ABC theorem, so this is not a self-citation load-bearing step. Self-citations to [16,17] occur, but the relevant lemmas are either reproved here (e.g., Proposition 4.16 has a full proof; Lemma 2.40 is proved) or replaced by external results, so they do not make the central claim circular. No parameters are fitted to data and no prediction is a renamed fit. One passage must be flagged: Lemma 6.21 is stated without proof, with the text reading 'Since the proof is identical to the original, we omit it here, except for Remark 6.22.' This lemma is load-bearing for the t=s case (Corollary 6.23) and for the semi-well-spaced case (Proposition 6.13), and the cited original [20, Lemma 4.11] is formulated for straight tubes and Euclidean dyadic grids, so the adaptation to C^2 transversal families is asserted rather than demonstrated. However, this is a missing-proof/correctness risk, not a circularity: it does not reduce the theorem to the paper's own inputs by definition, and the external source is independent of the present authors. Hence the circularity score is low.

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

The paper's statements are existential over parameters ε, δ0, ξ, η, not fitted constants; s,t,T are inputs. The main external unproved inputs are the Ren-Wang linear theorem, the Ren-Wang interpolation proposition, and Frostman's lemma; these are listed as axioms. No new physical entities are introduced.

assumptions (3)

standard math Ren-Wang linear Furstenberg set theorem (Theorem 1.1) and its δ-discretized version [20, Theorem 4.1].
Used as the base case and in the final contradiction in Section 4.4 (Theorem 4.90).
standard math Ren-Wang interpolation proposition (Proposition 7.2) for branching functions.
Imported as a black box in Section 7 to decompose the branching function into regular/semi-well-spaced pieces.
domain assumption Frostman's lemma for subsets of C^2(I) via the bi-Lipschitz embedding (Lemma 2.15).
Used in Section 1.3 to pass from Hausdorff content to discretized (δ,t,δ^{-ε})-sets.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Furstenberg set theorem for transversal families of functions." pith.science (2026). https://pith.science/paper/V3SGWP44

@misc{pith2026250819047,
  author       = {Pith},
  title        = {Pith review of: Furstenberg set theorem for transversal families of functions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/V3SGWP44}},
  note         = {Machine review of arXiv:2508.19047}
}

abstract

We prove an extension of the Furstenberg set theorem to families of graphs satisfying a transversality condition. We apply the result to derive bounds on $L^{p}$-norms of Fourier transforms of fractal measures supported on plane curves.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Two-ends Furstenberg inequality for transversal families and applications to Fourier decay
math.CA 2026-07 accept novelty 6.5 of 10

A simplified two-ends Furstenberg inequality holds for transversal curve families and yields L6 Fourier decay R^{2-5s/2+ε} for s-Frostman measures on convex curves when s≤2/3.

Reference graph

Works this paper leans on

24 extracted references · 20 canonical work pages · cited by 1 Pith paper

[1]

L2-Flattening of Self-similar Measures on Non-degenerate Curves

Amir Algom and Osama Khalil. L2-Flattening of Self-similar Measures on Non-degenerate Curves. arXiv e-prints, page arXiv:2507.07321, July 2025

arXiv 2025
[2]

A new upper bound for the Heilbronn triangle problem

Alex Cohen, Cosmin Pohoata, and Dmitrii Zakharov. A new upper bound for the Heilbronn triangle problem. arXiv e-prints, page arXiv:2305.18253, May 2023

work page Pith review arXiv 2023
[3]

Marianna Csörnyei and D. M. Stull. Improved bounds for radial projections in the plane, 2025

work page 2025
[4]

How much can heavy lines cover? J

Damian D ˛ abrowski, Tuomas Orponen, and Hong Wang. How much can heavy lines cover? J. Lond. Math. Soc. (2), 109(5):Paper No. e12910, 33, 2024

work page 2024
[5]

Szemerédi-Trotter bounds for tubes and applications

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
[6]

On the Hausdorff dimension of circular Furstenberg sets

Katrin Fässler, Jiayin Liu, and Tuomas Orponen. On the Hausdorff dimension of circular Furstenberg sets. Discrete Anal., pages Paper No. 18, 83, 2024

work page 2024
[7]

On restricted families of projections in R3

Katrin Fässler and Tuomas Orponen. On restricted families of projections in R3. Proc. Lond. Math. Soc. (3), 109(2):353–381, 2014. 80 TUOMAS ORPONEN, ALEKSI PYÖRÄLÄ, AND GUANGZENG YI

work page 2014
[8]

Incidence estimates for α-dimensional tubes and β-dimensional balls in R2

Yuqiu Fu and Kevin Ren. Incidence estimates for α-dimensional tubes and β-dimensional balls in R2. J. Fractal Geom., 11(1):1–30, 2024

work page 2024

Show all 24 references

[9]

John Green, Terence L. J. Harris, Yumeng Ou, Kevin Ren, and Sarah Tammen. Incidence bounds related to circular Furstenberg sets. arXiv e-prints, page arXiv:2502.10686, February 2025

2025 arXiv
[10]

Incidence estimates for well spaced tubes

Larry Guth, Noam Solomon, and Hong Wang. Incidence estimates for well spaced tubes. Geom. Funct. Anal., 29(6):1844–1863, 2019

2019
[11]

L. Lovász. Three short proofs in graph theory. J. Combinatorial Theory Ser. B, 19(3):269–271, 1975

1975
[12]

On the discretised ABC sum-product problem

Tuomas Orponen. On the discretised ABC sum-product problem. Trans. Amer. Math. Soc., 377(7):4647– 4702, 2024

2024
[13]

On the projections of Ahlfors regular sets in the plane

Tuomas Orponen. On the projections of Ahlfors regular sets in the plane. arXiv preprint arXiv:2410.06872, 2024

2024 arXiv
[14]

On the Fourier decay of multiplicative con- volutions

Tuomas Orponen, Nicolas de Saxcé, and Pablo Shmerkin. On the Fourier decay of multiplicative con- volutions. arXiv e-prints, page arXiv:2309.03068, September 2023

2023 arXiv
[15]

On Fourier transforms of fractal measures on the parabola

Tuomas Orponen, Carmelo Puliatti, and Aleksi Pyörälä. On Fourier transforms of fractal measures on the parabola. Trans. Amer. Math. Soc. (online first), 2025

2025
[16]

On the Hausdorff dimension of Furstenberg sets and orthogonal projections in the plane

Tuomas Orponen and Pablo Shmerkin. On the Hausdorff dimension of Furstenberg sets and orthogonal projections in the plane. Duke Math. J., 172(18):3559–3632, 2023

2023
[17]

Projections, Furstenberg sets, and the ABC sum-product prob- lem

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

2023
[18]

Kaufman and Falconer estimates for radial pro- jections and a continuum version of Beck’s theorem

Tuomas Orponen, Pablo Shmerkin, and Hong Wang. Kaufman and Falconer estimates for radial pro- jections and a continuum version of Beck’s theorem. Geom. Funct. Anal., 34(1):164–201, 2024

2024
[19]

A Furstenberg-type problem for circles, and a Kaufman-type restricted projection theorem in R3

Malabika Pramanik, Tongou Yang, and Joshua Zahl. A Furstenberg-type problem for circles, and a Kaufman-type restricted projection theorem in R3. 2025+. Amer. J. Math. (to appear)

2025
[20]

Furstenberg sets estimate in the plane

Kevin Ren and Hong Wang. Furstenberg sets estimate in the plane. arXiv e-prints , page arXiv:2308.08819, August 2023

2023 arXiv
[21]

Real and complex analysis

Walter Rudin. Real and complex analysis. McGraw-Hill Book Co., New York-Toronto-London, 1966

1966
[22]

Restriction estimates using decoupling theorems and two-ends Fursten- berg inequalities

Hong Wang and Shukun Wu. Restriction estimates using decoupling theorems and two-ends Fursten- berg inequalities. arXiv e-prints, page arXiv:2411.08871, November 2024

2024 arXiv
[23]

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

2025
[24]

On Maximal Functions Associated to Families of Curves in the Plane

Joshua Zahl. On Maximal Functions Associated to Families of Curves in the Plane. Duke Math. J. (to appear), 2025+. DEPARTMENT OF MATHEMATICS AND STATISTICS , U NIVERSITY OF JYVÄSKYLÄ , P.O. B OX 35 (M AD), FI-40014 U NIVERSITY OF JYVÄSKYLÄ , FINLAND Email address: tuomas.t.orp...

2025

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.

[1] [1]

L2-Flattening of Self-similar Measures on Non-degenerate Curves

Amir Algom and Osama Khalil. L2-Flattening of Self-similar Measures on Non-degenerate Curves. arXiv e-prints, page arXiv:2507.07321, July 2025

arXiv 2025

[2] [2]

A new upper bound for the Heilbronn triangle problem

Alex Cohen, Cosmin Pohoata, and Dmitrii Zakharov. A new upper bound for the Heilbronn triangle problem. arXiv e-prints, page arXiv:2305.18253, May 2023

work page Pith review arXiv 2023

[3] [3]

Marianna Csörnyei and D. M. Stull. Improved bounds for radial projections in the plane, 2025

work page 2025

[4] [4]

How much can heavy lines cover? J

Damian D ˛ abrowski, Tuomas Orponen, and Hong Wang. How much can heavy lines cover? J. Lond. Math. Soc. (2), 109(5):Paper No. e12910, 33, 2024

work page 2024

[5] [5]

Szemerédi-Trotter bounds for tubes and applications

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

[6] [6]

On the Hausdorff dimension of circular Furstenberg sets

Katrin Fässler, Jiayin Liu, and Tuomas Orponen. On the Hausdorff dimension of circular Furstenberg sets. Discrete Anal., pages Paper No. 18, 83, 2024

work page 2024

[7] [7]

On restricted families of projections in R3

Katrin Fässler and Tuomas Orponen. On restricted families of projections in R3. Proc. Lond. Math. Soc. (3), 109(2):353–381, 2014. 80 TUOMAS ORPONEN, ALEKSI PYÖRÄLÄ, AND GUANGZENG YI

work page 2014

[8] [8]

Incidence estimates for α-dimensional tubes and β-dimensional balls in R2

Yuqiu Fu and Kevin Ren. Incidence estimates for α-dimensional tubes and β-dimensional balls in R2. J. Fractal Geom., 11(1):1–30, 2024

work page 2024