Two-Ends Furstenberg Estimates

• Two-ends Furstenberg estimates provide lower bounds for unions of shadings on lines or curves under strict incidence and non-concentration conditions.
• The approach combines discretized incidence lemmas, crossing-number methods, and stopping-time arguments to achieve sharper bounds and resolve classical conjectures.
• These estimates impact various fields, enhancing results in restriction theory, Fourier decay, and projection theorems within geometric measure theory.

Searching arXiv for papers on two-ends Furstenberg estimates and related Furstenberg set results. Two-ends Furstenberg estimates are lower bounds for the size of unions of line- or curve-adapted shadings under a Furstenberg-type incidence hypothesis together with a non-concentration condition along each individual geometric object. In the planar setting, these estimates appear in several closely related forms: as discretized incidence lemmas, as lower bounds for unions of $\delta$-balls on $\delta$-tubes, as multiscale tube-point inequalities, and as Katz–Tao-type shading inequalities for line families. They have become central in the analysis of Furstenberg sets, the resolution of the planar Furstenberg set conjecture, restriction theory, projection theorems, discretized sum-product phenomena, and recent extensions from lines to transversal curves (Ren et al., 2023, Wang et al., 26 Sep 2025, O'Regan et al., 9 Jul 2026).

1. Definitions and formal variants of the two-ends condition

In the continuous planar Furstenberg problem, one fixes parameters

$s\in(0,1],\qquad t\in(0,2],$

and calls a set $E\subset \mathbb{R}^2$ an $(s,t)$-Furstenberg set if there exists a family of affine lines

$\mathcal L\subset \mathcal A(2,1)$

with

$\dim_H \mathcal L\ge t,$

such that for every $\ell\in\mathcal L$,

$\dim_H(E\cap \ell)\ge s.$

Here $\mathcal A(2,1)$ denotes the space of all lines in $\delta$0, equipped with its natural Hausdorff dimension (Ren et al., 2023).

The phrase “two ends” enters through discretized models. In the evenly-spaced tube formulation, one works in $\delta$1 at scale $\delta$2, with a collection $\delta$3 of essentially distinct $\delta$4-tubes and, for each $\delta$5, a set $\delta$6 of essentially distinct $\delta$7-balls meeting $\delta$8. The pair $\delta$9 satisfies the evenly-spaced $s\in(0,1],\qquad t\in(0,2],$0-Furstenberg conditions when the tubes obey a spacing condition at scale $s\in(0,1],\qquad t\in(0,2],$1, $s\in(0,1],\qquad t\in(0,2],$2, each $s\in(0,1],\qquad t\in(0,2],$3 has $s\in(0,1],\qquad t\in(0,2],$4, and the centers of balls in $s\in(0,1],\qquad t\in(0,2],$5 are $s\in(0,1],\qquad t\in(0,2],$6-separated along $s\in(0,1],\qquad t\in(0,2],$7. In that setting, condition $s\in(0,1],\qquad t\in(0,2],$8 is explicitly called the “two-ends spacing” on each tube (Fu et al., 2021).

A later shading-based formulation starts with a $s\in(0,1],\qquad t\in(0,2],$9-separated family $E\subset \mathbb{R}^2$0 of lines and a shading

$E\subset \mathbb{R}^2$1

If $E\subset \mathbb{R}^2$2, the shading is $E\subset \mathbb{R}^2$3-two-ends when for every $E\subset \mathbb{R}^2$4 and every tube $E\subset \mathbb{R}^2$5 of dimensions $E\subset \mathbb{R}^2$6,

$E\subset \mathbb{R}^2$7

This version encodes a scale-sensitive prohibition against concentrating most of the shading inside a single long thin subregion of $E\subset \mathbb{R}^2$8 (Wang et al., 26 Sep 2025).

An analogous curve-based variant replaces lines by graphs $E\subset \mathbb{R}^2$9 and uses dyadic $(s,t)$0-squares. There one says a shading $(s,t)$1 is $(s,t)$2-two-ends if for every Euclidean ball $(s,t)$3, with $(s,t)$4,

$(s,t)$5

The accompanying heuristic is that the shading does not concentrate in the middle of the curve-tube but “occupies both ends” at all scales (O'Regan et al., 9 Jul 2026).

These formulations are not identical. A precise reading of the literature shows that “two ends” can mean $(s,t)$6-spacing of points along a tube, a quantitative non-concentration inequality on subsegments, or the extraction of two well-separated endpoints carrying many incidences. This suggests that the common structural content is multiscale non-concentration along one-dimensional geometric supports rather than a single rigid definition.

2. Early two-ends lemmas in the $(s,t)$7 regime

A major precursor appears in the Katz–Tao-style analysis of planar $(s,t)$8-Furstenberg sets. In the $(s,t)$9-discretized model, a set $\mathcal L\subset \mathcal A(2,1)$0 is called a $\mathcal L\subset \mathcal A(2,1)$1-discretized $\mathcal L\subset \mathcal A(2,1)$2-Furstenberg set if there is a $\mathcal L\subset \mathcal A(2,1)$3-separated family of lines $\mathcal L\subset \mathcal A(2,1)$4 with $\mathcal L\subset \mathcal A(2,1)$5, and for each $\mathcal L\subset \mathcal A(2,1)$6 a set $\mathcal L\subset \mathcal A(2,1)$7 with $\mathcal L\subset \mathcal A(2,1)$8 satisfying

$\mathcal L\subset \mathcal A(2,1)$9

such that

$\dim_H \mathcal L\ge t,$0

Within this framework, the incidence relation $\dim_H \mathcal L\ge t,$1 means that $\dim_H \mathcal L\ge t,$2 for some $\dim_H \mathcal L\ge t,$3, and one studies the double-incidence set

$\dim_H \mathcal L\ge t,$4

The Two-Ends Lemma then says, roughly, that under a contradictory small-size assumption on $\dim_H \mathcal L\ge t,$5, there exist two points $\dim_H \mathcal L\ge t,$6 with $\dim_H \mathcal L\ge t,$7 such that many points $\dim_H \mathcal L\ge t,$8 are simultaneously incident to both $\dim_H \mathcal L\ge t,$9 and $\ell\in\mathcal L$0 (Héra et al., 2020).

In that argument, the two-ends phenomenon is a structural extraction principle rather than a final union estimate. The proof combines pair-counting on lines, non-concentration on each $\ell\in\mathcal L$1, elimination of near-diagonal contributions, and a Fubini step that forces two macroscopic ends. The significance is that once these two ends are fixed, a projective change of coordinates turns one family of lines into a nearly Cartesian configuration, after which Bourgain’s discretized projection theorem can be applied to obtain a gain beyond the naïve $\ell\in\mathcal L$2 lower bound (Héra et al., 2020).

A quantitatively stronger version was later obtained for $\ell\in\mathcal L$3-Furstenberg sets. Writing

$\ell\in\mathcal L$4

one has

$\ell\in\mathcal L$5

In particular,

$\ell\in\mathcal L$6

The proof passes through a discretized incidence theorem in which, at each point $\ell\in\mathcal L$7, the directions of incident lines form a $\ell\in\mathcal L$8-set on $\ell\in\mathcal L$9 and satisfy an additional “robust transversality” condition, followed by a two-ends stopping-time argument that decomposes $\dim_H(E\cap \ell)\ge s.$0 into bushes of lines (Benedetto et al., 2021).

A common misconception is that two-ends arguments in the $\dim_H(E\cap \ell)\ge s.$1 literature were already direct, global lower bounds on $\dim_H(E\cap \ell)\ge s.$2. In these papers, the two-ends mechanism is instead embedded in a longer incidence-and-projection scheme: it supplies nontrivial geometry at two well-separated endpoints, which is then converted into dimension growth by projection or sum-product methods.

3. Evenly-spaced discretized estimates and sharp examples

A distinct two-ends Furstenberg estimate was proved for evenly-spaced $\dim_H(E\cap \ell)\ge s.$3-tube configurations. If $\dim_H(E\cap \ell)\ge s.$4 satisfies the evenly-spaced $\dim_H(E\cap \ell)\ge s.$5-Furstenberg conditions with $\dim_H(E\cap \ell)\ge s.$6, and

$\dim_H(E\cap \ell)\ge s.$7

then for every $\dim_H(E\cap \ell)\ge s.$8 there is a constant $\dim_H(E\cap \ell)\ge s.$9 so that

$\mathcal A(2,1)$0

When $\mathcal A(2,1)$1 and $\mathcal A(2,1)$2, this recovers the regime relevant to Furstenberg’s original $\mathcal A(2,1)$3-set question (Fu et al., 2021).

The proof has two principal steps. First, a dyadic pigeonhole reduction finds a single gap length $\mathcal A(2,1)$4 so that on a large subcollection $\mathcal A(2,1)$5, each tube has many consecutively $\mathcal A(2,1)$6-separated pairs of balls. Second, one forms a graph whose vertices are the centers of all $\mathcal A(2,1)$7-balls in $\mathcal A(2,1)$8, and whose edges come from these nearby pairs. Since any two tubes in $\mathcal A(2,1)$9 cross at most once, the plane drawing of this graph has crossing number $\delta$00. The crossing-number bound then yields

$\delta$01

while a trivial density estimate contributes the third term $\delta$02 (Fu et al., 2021).

The sharpness theory is unusually explicit. Three constructions attain the three terms in the minimum: a “trivial height set,” a “full bush,” and a “rational two-ends” configuration. In the rational example, choosing $\delta$03 gives

$\delta$04

showing that the middle term is optimal. This establishes that the two-ends exponent is not an artifact of proof technology but is already forced by extremal arithmetic-combinatorial examples (Fu et al., 2021).

Conceptually, this result isolates a regime in which no Fourier-analytic machinery is needed in the core argument once a uniform gap scale has been fixed. The “heart of the lower bound” is the combination of two-ends spacing and the crossing-number method.

4. Multiscale incidence theory and the resolution of the planar conjecture

The planar Furstenberg set conjecture was fully resolved by Ren and Wang. If $\delta$05 is an $\delta$06-Furstenberg set, then

$\delta$07

This matches the conjectured lower bound throughout the full range $\delta$08, $\delta$09 (Ren et al., 2023).

A central ingredient is a multiscale point-tube incidence inequality, described as Wolff’s two-ends lemma. At a single scale $\delta$10, for a set $\delta$11 of $\delta$12-cubes and a family $\delta$13 of $\delta$14-tubes, one considers

$\delta$15

For any intermediate parameter $\delta$16 with $\delta$17,

$\delta$18

Here $\delta$19 denotes the natural covering of each $\delta$20-tube by $\delta$21-tubes; the first term is the “high-frequency” term and the second the “low-frequency” term. Choosing $\delta$22 appropriately and iterating across scales yields an extra power saving whenever a tube is rich at both ends of its length (Ren et al., 2023).

The proof strategy proceeds through several discretized models. First, one reformulates the problem using a $\delta$23-set $\delta$24 of $\delta$25-cubes and a family $\delta$26 of $\delta$27-tubes, seeking lower bounds on $\delta$28 in terms of $\delta$29 and the multiplicity $\delta$30 of tubes through each $\delta$31. In a semi-well-spaced case, where $\delta$32 has dimension $\delta$33 at large scales and dimension $\delta$34 at small scales, the two-ends incidence estimate gives

$\delta$35

In an almost Ahlfors–David regular case, an exceptional-set estimate for orthogonal projections yields

$\delta$36

The final induction on scales uses an Orponen–Shmerkin decomposition of the branching function and a multiscale incidence lemma to reassemble the contributions (Ren et al., 2023).

The significance of the two-ends mechanism here is explicit: it is the pivot that raises the exponent from the classical

$\delta$37

to the conjectured

$\delta$38

The same framework yields the exceptional-set bound

$\delta$39

resolving an orthogonal projection question of Oberlin, and also produces a discretized sum-product estimate

$\delta$40

for $\delta$41-sets $\delta$42 (Ren et al., 2023).

5. Modern planar two-ends inequalities for Katz–Tao line sets

Recent work reformulates two-ends Furstenberg estimates directly as lower bounds for the union of shaded neighborhoods of lines. In one such setup, a family $\delta$43 of $\delta$44-separated lines in $\delta$45 is directional if any two distinct $\delta$46 make an angle $\delta$47, and a shading $\delta$48 is $\delta$49-dense if $\delta$50 for every $\delta$51. If $\delta$52 is $\delta$53-two-ends, then in the planar case one has

$\delta$54

for every $\delta$55. The key feature is the gain of $\delta$56, which is stated to match the classical Furstenberg estimate in the regime of “upper dimension-range” $\delta$57 (Wang et al., 2024).

A sharper full-range planar statement was later obtained for Katz–Tao $\delta$58-sets of lines. If $\delta$59 is a $\delta$60-separated Katz–Tao $\delta$61-set, $\delta$62 is an $\delta$63-two-ends shading with $\delta$64, $\delta$65 is $\delta$66-dense, and $\delta$67 for every $\delta$68, then for every $\delta$69 there exists $\delta$70 such that

$\delta$71

where

$\delta$72

and

$\delta$73

When $\delta$74, the factor $\delta$75 disappears, recovering the earlier Wang–Wu inequality (Wang et al., 26 Sep 2025).

The proof is multiscale and broad–narrow. Its stated ingredients are a two-ends reduction, uniformization of branching functions, multiscale decomposition, intermediate-scale incidence via a theorem of Demeter–Wang together with an “upper-range” Furstenberg incidence bound, and a broad–narrow argument that handles narrow clusters by induction and broad points by incidence geometry. The paper also emphasizes that the $\delta$76 factor is genuinely necessary when $\delta$77: anisotropic rescalings of Wolff’s “hairbrush” example show that it cannot in general be removed (Wang et al., 26 Sep 2025).

This line of work changes the role of two-ends estimates. Instead of serving only as an internal lemma in a dimension argument, they become standalone inequalities with explicit density gains and full $\delta$78-dependence.

6. Extensions to transversal curves and analytic applications

The two-ends Furstenberg framework has recently been extended from lines to transversal families of $\delta$79 curves. Let $\delta$80 be a compact interval and $\delta$81. The vertical $\delta$82-tube around the graph of $\delta$83 is

$\delta$84

A family $\delta$85 is $\delta$86-transversal if for all distinct $\delta$87,

$\delta$88

For a $\delta$89-configuration $\delta$90 with $\delta$91 a $\delta$92-Katz–Tao set, each shading $\delta$93 $\delta$94-dense and $\delta$95-two-ends, and with

$\delta$96

the two-ends Furstenberg inequality takes the form

$\delta$97

where $\delta$98 and

$\delta$99

The proof is described as a single induction on scales combined with a sharp “intermediate-scale selection” lemma, replacing the four-page “bush” argument in the earlier line case (O'Regan et al., 9 Jul 2026).

The same paper applies the inequality to Fourier decay on convex curves. If $s\in(0,1],\qquad t\in(0,2],$00 satisfies $s\in(0,1],\qquad t\in(0,2],$01 and $s\in(0,1],\qquad t\in(0,2],$02, if

$s\in(0,1],\qquad t\in(0,2],$03

and if $s\in(0,1],\qquad t\in(0,2],$04 is an $s\in(0,1],\qquad t\in(0,2],$05-Frostman measure on $s\in(0,1],\qquad t\in(0,2],$06 with $s\in(0,1],\qquad t\in(0,2],$07, then for every $s\in(0,1],\qquad t\in(0,2],$08 and large $s\in(0,1],\qquad t\in(0,2],$09,

$s\in(0,1],\qquad t\in(0,2],$10

In particular,

$s\in(0,1],\qquad t\in(0,2],$11

The key incidence input is the dual form of the two-ends Furstenberg inequality (O'Regan et al., 9 Jul 2026).

Two-ends Furstenberg inequalities also feed into restriction estimates. Using the planar result, one obtains in $s\in(0,1],\qquad t\in(0,2],$12 the incidence bound

$s\in(0,1],\qquad t\in(0,2],$13

identified there with Wolff’s “$s\in(0,1],\qquad t\in(0,2],$14 hairbrush” estimate in disguise. Combined with refined decoupling and $s\in(0,1],\qquad t\in(0,2],$15 orthogonality, this leads to

$s\in(0,1],\qquad t\in(0,2],$16

and to the conclusion that Besicovitch-type sets in $s\in(0,1],\qquad t\in(0,2],$17 have Hausdorff dimension at least $s\in(0,1],\qquad t\in(0,2],$18. Higher-dimensional interpolation with geometric bounds yields the range

$s\in(0,1],\qquad t\in(0,2],$19

for $s\in(0,1],\qquad t\in(0,2],$20 (Wang et al., 2024).

Setting	Output	Source
Planar Furstenberg sets	$s\in(0,1],\qquad t\in(0,2],$21	(Ren et al., 2023)
Restriction in $s\in(0,1],\qquad t\in(0,2],$22	$s\in(0,1],\qquad t\in(0,2],$23 and Wolff’s $s\in(0,1],\qquad t\in(0,2],$24-hairbrush bound	(Wang et al., 2024)
Transversal curves	Fourier decay $s\in(0,1],\qquad t\in(0,2],$25	(O'Regan et al., 9 Jul 2026)

Taken together, these developments show that two-ends Furstenberg estimates now constitute a general multiscale principle rather than a single lemma. In the line case they control how incidences persist across scales and directions; in the curve case they interact with transversality and Katz–Tao structure; and in both settings they convert one-dimensional non-concentration along geometric objects into global lower bounds for unions, dimension estimates, and analytic inequalities.