Hausdorff dimension of $\tau$-approximable points on self-similar sets in $\mathbb R^d$

Abstract

Let $d\geq 1$. Let $K\subset\mathbb{R}^d$ be a non-singleton self-similar set generated by a finite strongly irreducible iterated function system satisfying the open set condition, and let $\delta=\dim_{\mathrm H} K$. For $\tau>1/d$, set \[ W_d(\tau) = \left\{ \mathbf{x}\in\mathbb{R}^d: |q\mathbf{x}-\mathbf{p}| 0$ such that, for every $1/d<\tau<1/d+\varepsilon_K$, \[ \mathcal{H}^{s(\tau)}(K\cap W_d(\tau))=\infty, \qquad\text{with } s(\tau):=\delta+\frac{d+1}{1+\tau}-d, \] and consequently \[ \dim_{\mathrm H}(K\cap W_d(\tau)) = \delta+\frac{d+1}{1+\tau}-d. \] In dimension one, specializing to the middle-third Cantor set, this establishes the Bugeaud--Durand conjectural formula for $\tau>1$ sufficiently close to $1$.