The planar finite-field Furstenberg set lower-bound conjecture

About 2 years old · traced to

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.

References

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.