Dimension of Diophantine approximation and some applications in harmonic analysis

In this paper we construct a new family of sets based on Diophantine approximation in the Euclidean space, and consider their applications in several problems in harmonic analysis. Our first application is on the Hausdorff dimension of our sets. We show a recent result of Ren and Wang on the ABC sum-product problem is sharp. Higher dimensional cases and the relation to orthogonal projections are also discussed. Some conjectures are proposed. In addition to Hausdorff dimension, we also consider Fourier dimension. For every $0\leq t\leq s\leq 1$, we are able to construct a subset of $\mathbb{R}$ that has Hausdorff dimension $s$ and Fourier dimension $t$, together with a measure $μ$ that captures both dimensions, i.e., $$μ(B(x,r))\lesssim_εr^{s-ε} \ \text{and} \ |\hatμ(ξ)|\lesssim_ε|ξ|^{-t/2 +ε}, \ \forall\,ε>0.$$ It is fundamental but the very first such result in the literature. Our last result is to provide a viewpoint of the sharpness of Fourier restriction over general measures from dimensions of sets and measures.