Exceptional-set conjecture for orthogonal projections

About 10 years old · traced to

Fix 0≤t/2≤s≤t≤10\leq t/2\leq s\leq t\leq 1, and let K⊂R2K\subset\mathbb{R}^2 be a Borel set with dim⁡HK≥t\dim_{\mathrm{H}}K\geq t. For e∈S1e\in S^1, let πe:R2→R\pi_e:\mathbb{R}^2\to\mathbb{R} be the orthogonal projection onto the line spanned by ee. Exceptional-set conjecture for orthogonal projections.

dim⁡He∈S1:dim⁡Hπe(K)<s≤2s−t.\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 dim⁡HK≥t>s\dim_{\mathrm{H}}K\geq t>s; the sharpness of Kaufman's bound in that regime is stated to be open.

References

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.