Abstract:We fill a gap in the study of the Hausdorff dimension of the set of exact approximation order considered by Fregoli [Proc. Amer. Math. Soc. 152 (2024), no. 8, 3177--3182].
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the calculation of the Hausdorff dimension of the set of exact simultaneous Diophantine approximation in two - dimensional space. Specifically, the authors Bo Tan and Qing - Long Zhou aim to fill the gap in a study by Fregoli in 2024, that is, the Hausdorff dimension of the exact simultaneous approximation set $\text{Exact}(2, \psi)$ when the dimension $n = 2$.
### Background and Problem Description
In the theory of Diophantine approximation, for a positive integer $n$ and a non - negative function $\psi: \mathbb{N} \to [0, \frac{1}{2})$, the $\psi$-simultaneous approximation set $W(n, \psi)$ is defined as:
\[
W(n, \psi) := \left\{ (x_1, \ldots, x_n) \in [0,1]^n : \max_{1 \leq i \leq n} \| q x_i \| < \psi(q) \text{ for infinitely many } q \in \mathbb{N} \right\}
\]
where $\| x \| := \min \{|x - m| : m \in \mathbb{Z}\}$ represents the distance from the real number $x$ to the nearest integer.
The exact simultaneous approximation set $\text{Exact}(n, \psi)$ is further defined as:
\[
\text{Exact}(n, \psi) := W(n, \psi) \setminus \bigcup_{0 < c < 1} W(n, c\psi)
\]
Assume that $q\psi(q)$ is non - increasing and tends to zero. Bugeaud et al. have already proved that the Hausdorff dimension of $\text{Exact}(1, \psi)$ in the one - dimensional case is:
\[
\dim_H \text{Exact}(1, \psi) = \frac{2}{\lambda + 1}, \quad \text{where} \quad \lambda := \lim_{q \to \infty} -\frac{\log \psi(q)}{\log q}
\]
For $n\geq3$, Fregoli has calculated the Hausdorff dimension of $\text{Exact}(n, \psi)$ as:
\[
\dim_H \text{Exact}(n, \psi) = \frac{n + 1}{\lambda+ 1}
\]
However, when $n = 2$, this problem has not been solved yet. Therefore, the goal of this paper is to calculate the Hausdorff dimension of $\text{Exact}(2, \psi)$ when $n = 2$.
### Main Results
The main result of the paper is:
\[
\dim_H \text{Exact}(2, \psi) = \frac{3}{\lambda + 1}
\]
This result fills the gap when $n = 2$, and tools such as Marstrand's slicing lemma and the mass transfer principle are used to prove it.
Through these tools and existing theorems, the authors successfully solve the problem of the Hausdorff dimension of the two - dimensional exact simultaneous Diophantine approximation set.