The exceptional-set projection conjecture in the plane

Let AewcommandRRR2A ewcommand{\mathbb{R}}{\mathbb{R}}\subset \mathbb{R}^2 have dim(A)=a \dim(A)=a. For θewcommandΠΠG(1,R2)\theta ewcommand{\Pi}{\Pi}\in G(1,\mathbb{R}^2), let Πθ:R2θ \Pi_\theta:\mathbb{R}^2\rightarrow\theta be the orthogonal projection onto the line θ\theta. For 0<s<max{1,a}0<s<\max\{1,a\}, define

Es(A):={θ:dim(Πθ(A))<s}.E_s(A):=\{\theta:\dim(\Pi_\theta(A))<s\}.

The exceptional-set projection conjecture. Then

dim(Es(A))max{0,2sa}.\dim(E_s(A))\leq\max\{0,2s-a\}.

This is the Euclidean analogue of the paper's finite-field exceptional-set estimates and predicts a sharp bound for directions in which the projection of AA has dimension less than ss. The source does not state a resolution, so the conjecture is recorded as open.

Sources & referencesView supporting material

Primary source

Paige Bright and Shengwen Gan, “Exceptional set estimates in finite fields”, arXiv:2302.13193 (2023).

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.