On the Hausdorff measure of projections of self-similar sets

Abstract: For $0&lt;d\leq1/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<sup>{s_d}(p_θ(\mathcal{C}(d)))$ is positive for almost every direction $θ$. It was open for the range $1/9\leq d\leq1/6$. In this paper, we show that, for $δ&lt; d\leq1/6$, there is a set $\IP(d)$ of positive Lebesgue measure such that for almost every $θ\in\IP(d)$, $\Hau<sup>{s_d}(p_θ(\mathcal{C}(d)))=0$, where $δ=0.155124983896014\ldots$ is the unique zero in $(1/9,1/6)$ of the polynomial $P(d)=1-7d+3d<sup>2+4d<sup>3-2d<sup>4-d<sup>5$.