Absolute continuity of projections and dimension conservation for self-similar sets and measures
Year: 2026
Type: preprint
Abstract: 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<\dim_{\mathrm{H}} A$ and $V\in\mathrm{Gr}(d,k)$, we prove that $π_VA$ has positive $k$-dimensional Lebesgue measure uniformly in $V$, and $\dim_{\mathrm{H}}(A\capπ_V^{-1}\{y\})=\dim_{\mathrm{H}} A-k$ for Lebesgue-almost every $y\inπ_VA$. Moreover, if $μ$ is a self-similar measure for such an IFS with $I_t(μ)<\infty$ for some $kM\}}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 be used, and avoiding to use the much stronger uniform spectral gap assumption.
Source: arXiv (Cornell University)
Authors: Jin, Xiong, Sahlsten, Tuomas
Institutions: University of Helsinki, University of Manchester
Language: English
Subfield: Mathematical Physics
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7214328249