Absolute continuity of projections and dimension conservation for self-similar sets and measures
Let $A\subset\mathbb{R}^d$, $d\geq3$, be the attractor of a self-similar IFS whose rotations generate a dense subgroup of $\mathrm{SO}(d)$. For every $1\leq k M\}}f_V\,d\mathcal{L}_V^k\lesssim e^{-c(\log M)^{1/3}}$. Under strong separation, the conditional measures on the fibres are exact dimensional of dimension $\dim_{\mathrm{H}}μ-k$. The proof uses self-similarity to iterate $L^1$ norms of differences of the Gaussian-smoothing of $μ_V$ between scales. Unlike $L^q$, $q>1$, the $L^1$ norm does not grow under rescaling, allowing Varjú's $L^2$ weak gap theorem under dense support condition to…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.29301
curl -X POST /api/v1/records/arxiv/2609.29301/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.29301/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'