Hyperarithmetic directions can all be exceptional for Marstrand's projection theorem
We show that there is a $Π^0_2$ subset $B$ of the Euclidean plane, of Hausdorff dimension 1, such that for every line $\ell$ through the origin with hyperarithmetic direction, the projection of $B$ onto $\ell$ has Hausdorff dimension 0, thus is exceptional for Marstrand's projection theorem. It follows that for any computable ordinal $α$, being $α$-random does not guarantee the ``almost-all'' statement of the projection theorem.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.26904
curl -X POST /api/v1/records/arxiv/2608.26904/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.26904/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'