Exceptional-set conjecture for orthogonal projections

Fix 0t/2st10\leq t/2\leq s\leq t\leq 1, and let KR2K\subset\mathbb{R}^2 be a Borel set with dimHKt\dim_{\mathrm{H}}K\geq t. For eS1e\in S^1, let πe:R2R\pi_e:\mathbb{R}^2\to\mathbb{R} be the orthogonal projection onto the line spanned by ee. Exceptional-set conjecture for orthogonal projections.

dimHeS1:dimHπe(K)<s2st.\dim_{\mathrm{H}}\\{e\in S^1:\dim_{\mathrm{H}}\pi_e(K)<s\\}\leq 2s-t.

This would improve Kaufman's bound under the stronger assumption dimHKt>s\dim_{\mathrm{H}}K\geq t>s; the sharpness of Kaufman's bound in that regime is stated to be open.

Sources & referencesView supporting material

Primary source

Tuomas Orponen, “An improved bound on the packing dimension of Furstenberg sets in the plane”, arXiv:1611.09762 (2017).

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.