On the Hausdorff measure of projections of self-similar sets

Abstract

For $0<d\le 1/4$, let $\mathcal{C}(d)$ be the four-corner Cantor set with Hausdorff dimension $s_d=\log 4/\log (1/d)$. Peres, Simon, and Solomyak, as well as Mattila, asked for which $d$ the measure $\Hau^{s_d}(p_θ(\mathcal{C}(d)))$ is positive for almost every direction $\theta$. It was open for the range $1/9\le d\le 1/6$. In this paper, we show that, for $\delta <d\le 1/6$, there is a set $\IP(d)$ of positive Lebesgue measure such that for almost every $θ\in\IP(d)$, $\Hau^{s_d}(p_θ(\mathcal{C}(d)))=0$, where $\delta =0.155124983896014\dots$ is the unique zero in $(1/9,1/6)$ of the polynomial $P(d)=1-7d+3d^2+4d^3-2d^4-d^5$.

arXiv comment8 pages. Comments are welcome!