Paper detail

Decoupling and near-optimal restriction estimates for Cantor sets

For any $α\in(0,d)$, we construct Cantor sets in $\mathbb{R}^d$ of Hausdorff dimension $α$ such that the associated natural measure $μ$ obeys the restriction estimate $\| \widehat{f dμ} \|_{p} \leq C_p \| f \|_{L^2(μ)}$ for all $p>2d/α$. This range is optimal except for the endpoint. This extends the earlier work of Chen-Seeger and Shmerkin-Suomala, where a similar result was obtained by different methods for $α=d/k$ with $k\in\mathbb{N}$. Our proof is based on the decoupling techniques of Bourgain-Demeter and a theorem of Bourgain on the existence of $Λ(p)$ sets.