The planar finite-field Furstenberg set lower-bound conjecture

Fix s(0,1]s\in(0,1] and t(0,2]t\in(0,2]. Let EE be an (s,t;2,1)(s,t;2,1)-set over Fp\mathbb{F}_p, meaning that EE is a union of subsets Y(V)Y(V) over a family of affine 11-planes VV containing at least a constant multiple of ptp^t planes, with each Y(V)Y(V) containing at least a constant multiple of psp^s points. Finite-field Furstenberg lower-bound conjecture. For every ε>0\varepsilon>0,

\\#E\gtrsim_{\varepsilon}p^{\min\left\\{s+t,\frac{3}{2}s+\frac{1}{2}t,s+1\right\\}-\varepsilon}.

This conjectured lower bound is motivated by the Ren–Wang result and concerns the optimal exponent in the planar finite-field Furstenberg set problem. The supplied text does not state whether the conjecture has been proved or disproved.

Sources & referencesView supporting material

Primary source

Shengwen Gan, “Furstenberg set problem and exceptional set estimate in prime fields: dimension two implies higher dimensions”, arXiv:2409.11637 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.