On the Hausdorff dimension of radial slices

Abstract

Let $t \in (1,2)$, and let $B \subset \mathbb{R}^{2}$ be a Borel set with $\dim_{\mathrm{H}} B > t$. I show that $$\mathcal{H}^{1}(\{e \in S^{1} : \dim_{\mathrm{H}} (B \cap \ell_{x,e}) \geq t - 1\}) > 0$$ for all $x \in \mathbb{R}^{2} \, \setminus \, E$, where $\dim_{\mathrm{H}} E \leq 2 - t$. This is the sharp bound for $\dim_{\mathrm{H}} E$. The main technical tool is an incidence inequality of the form $$\mathcal{I}_δ(μ,ν) \lesssim_{t} δ\cdot \sqrt{I_{t}(μ)I_{3 - t}(ν)}, \qquad t \in (1,2),$$ where $μ$ is a Borel measure on $\mathbb{R}^{2}$, and $ν$ is a Borel measure on the set of lines in $\mathbb{R}^{2}$, and $\mathcal{I}_δ(μ,ν)$ measures the $δ$-incidences between $μ$ and the lines parametrised by $ν$. This inequality can be viewed as a $δ^{-ε}$-free version of a recent incidence theorem due to Fu and Ren. The proof in this paper avoids the high-low method, and the induction-on-scales scheme responsible for the $δ^{-ε}$-factor in Fu and Ren's work. Instead, the inequality is deduced from the classical smoothing properties of the $X$-ray transform.