Abstract:Considering simultaneous approximation to three numbers, we study the geometry of the sequence of best approximations. We provide a sharper lower bound for the ratio between ordinary and uniform exponent of Diophantine approximation, optimal in terms of this geometry.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the geometric characteristics in the simultaneous approximation problem of three real numbers. Specifically, the author studied the geometric properties of the best approximation sequence and provided a more precise lower bound for the ratio between the usual Diophantine approximation index ($\omega$) and the uniform Diophantine approximation index ($\hat{\omega}$).
### Detailed Interpretation
1. **Research Background and Motivation**:
- The article mainly focuses on the problem of simultaneously approximating three real numbers $\alpha_1, \alpha_2, \alpha_3$.
- For these real numbers, there are two different Diophantine approximation indices: the ordinary index $\omega$ and the uniform index $\hat{\omega}$.
- The author aims to provide a more precise lower bound to describe the relationship between these two indices by studying the geometric structure of the best approximation vectors.
2. **Core Problem**:
- The core problem of the paper is to find a more precise lower bound for describing the value of $\frac{\omega}{\hat{\omega}}$.
- By introducing new geometric analysis methods, especially for the case of $n = 3$, the author proposed a stronger new lower bound.
3. **Key Formulas**:
- The ordinary Diophantine index $\omega$ is defined as:
\[
\omega=\sup\left\{\gamma:\max_{1\leq j\leq n}|q\alpha_j - a_j|\leq Q^{-\gamma},\text{ for any large }Q\text{ there exist integer solutions }(q, a_1,\ldots,a_n)\right\}
\]
- The uniform Diophantine index $\hat{\omega}$ is defined as:
\[
\hat{\omega}=\sup\left\{\gamma:\max_{1\leq j\leq n}|q\alpha_j - a_j|\leq Q^{-\gamma},\text{ for all sufficiently large }Q\text{ there exist integer solutions }(q, a_1,\ldots,a_n)\right\}
\]
4. **Expression of the New Lower Bound**:
- For the case of $n = 3$, the author gives a new function $G(\hat{\omega})$, which has the form:
\[
G(\hat{\omega})=\frac{1}{2}\left(\frac{\hat{\omega}}{1 - \hat{\omega}}+\sqrt{\left(\frac{\hat{\omega}}{1 - \hat{\omega}}\right)^2+4\frac{\hat{\omega}}{1 - \hat{\omega}}}\right)
\]
- The author proves that for the linearly independent case, $\frac{\omega}{\hat{\omega}}\geq G(\hat{\omega})$.
5. **Geometric Analysis**:
- By studying the geometric characteristics of the best approximation vectors, especially considering the space generated by these vectors and its dimension changes, the author proposed the new lower bound.
- This geometric analysis method not only deepens the understanding of Diophantine approximation but also provides new tools and perspectives for future research.
In conclusion, the main contribution of this paper is to provide a more precise lower bound of the Diophantine approximation index by geometric methods, thus promoting the theoretical development in this field.