Abstract:We compute the Hausdorff dimension of the set of singular vectors in function fields and bound the Hausdorff dimension of the set of $\varepsilon$-Dirichlet improvable vectors in this setting. This is a function field analogue of the results of Cheung and Chevallier [Duke Math. J. 165 (2016), 2273--2329].
What problem does this paper attempt to address?
### What problem does this paper attempt to solve?
This paper mainly discusses and solves the problem of calculating the Hausdorff dimension of the set of singular vectors in the function field, as well as estimating the upper and lower bounds of the Hausdorff dimension of the set of ε - Dirichlet improvable vectors. Specifically:
1. **Hausdorff dimension of the set of singular vectors**:
- In the real number field, Cheung and Chevallier have proven that the Hausdorff dimension of the set of singular vectors \( \text{Sing}^d \) is \( \frac{d^2}{d + 1} \).
- This paper generalizes this result to the function field \( \mathbb{F}_q(x) \), that is, calculates the Hausdorff dimension of the set of singular vectors \( \text{Sing}^d \) in the function field.
2. **Hausdorff dimension of the set of ε - Dirichlet improvable vectors**:
- The paper also studies the Hausdorff dimension of the set of ε - Dirichlet improvable vectors \( \text{DI}^d(\varepsilon) \) and gives estimates of its upper and lower bounds.
- For any \( \varepsilon>0 \), the paper provides the specific formula for the Hausdorff dimension of \( \text{DI}^d(\varepsilon) \):
\[
\frac{d^2}{d + 1}+\frac{d}{d + 1}\log_q\left(1+\sqrt{\frac{(q - 1)^2(q + 1)^d q^{2d}\varepsilon^d}{q^{d-1}(q - 1)}}\right)
\]
and
\[
\frac{d^2}{d + 1}+\frac{d}{d + 1}\log_q\left(1+\sqrt{\frac{(q - 1)^2(q + 1)^d q^{2d}\varepsilon^d}{q^{d-1}(q - 1)}}\right)
\]
### Background and motivation
The research background of this problem stems from an important theorem in Diophantine approximation theory - Dirichlet's theorem. For a given vector \( \theta=(\theta_1,\ldots,\theta_d)\in\mathbb{R}^d \), there exist integers \( a_i \) and \( b \) that satisfy specific conditions. Naturally, one may ask whether Dirichlet's theorem can be improved, which leads to the concept of ε - Dirichlet improvable vectors.
Furthermore, a singular vector refers to a vector that is ε - Dirichlet improvable for all \( \varepsilon>0 \). Khintchine proved that the set of singular vectors has a Lebesgue measure of zero. Davenport and Schmidt proved that for \( 0 <\varepsilon<1 \), the set of ε - Dirichlet improvable vectors also has a Lebesgue measure of zero.
However, calculating the Hausdorff dimension of the set of singular vectors has always been a challenging topic. Cheung et al. made the first breakthrough in solving the problem in the two - dimensional case and gave estimates for higher dimensions. This paper generalizes these results to the function field \( \mathbb{F}_q(x) \), filling an important gap in this field.
Through these studies, the author not only deepens our understanding of Diophantine approximation but also establishes new mathematical tools and methods on the function field, providing a basis for subsequent research.