Dimension of Diophantine approximation and applications

Abstract: In this paper we construct a new family of sets via Diophantine approximation, in which the classical examples are endpoints. Our first application is on their Hausdorff dimension. We show a recent result of Ren and Wang, known sharp on orthogonal projections in the plane, is also sharp on $A+cB$, $c\in C$, thus completely settle this ABC sum-product problem. Higher dimensional examples are also discussed. In addition to Hausdorff dimension, we also consider Fourier dimension. In particular, now for every $0\leq t\leq s\leq 1$ we have an explicit construction in $\mathbb{R}$ of Hausdorff dimension $s$ and Fourier dimension $t$, together with a measure $\mu$ that captures both dimensions. In the end we give new sharpness examples for the Mockenhaupt-Mitsis-Bak-Seeger Fourier restriction theorem. In particular, to deal with the non-geometric case we construct measures of "Hausdorff dimension" $a$ and Fourier dimension $b$, even if $a<b$. This clarifies some difference between sets and measures.