Abstract:We give a complete list of the points in the spectrum $$\mathcal{Z}=\{\inf_{(x,y)\in\Lambda,xy\neq0}{\left\vert xy\right\vert},\,\text{$\Lambda$ is a unimodular rational lattice of $\mathbb{R}^2$}\}$$ above $\frac{1}{3}.$ We further show that the set of limit points of $\mathcal{Z}$ with values larger than $\frac{1}{3},$ is equal to the set $\{\frac{2m}{\sqrt{9m^2-4}+3m},\text{ where $m$ is a Markoff number}\}$.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is the spectral problem of Q - isotropic binary quadratic forms. Specifically, it is to study the distribution of points greater than $\frac{1}{3}$ in the set $Z$. The set $Z$ is defined as:
\[ Z = \left\{ \inf_{(x,y) \in \Lambda, xy \neq 0} |xy| \mid \Lambda \text{ is a unimodular rational lattice in } \mathbb{R}^2 \right\} \]
The main objectives include:
1. **Give a complete list of all points in the set $Z\cap(\frac{1}{3}, \infty)$**.
2. **Determine the limit points of the set $Z\cap(\frac{1}{3}, \infty)$ and prove that these limit points are of the form $\frac{2m\sqrt{9m^2 - 4}+ 3m}{9m^2 - 4}$, where $m$ is a Markoff number**.
### Specific Content and Methods
1. **Definition and Background**:
- The paper first defines the unimodular rational lattice $\Lambda$ and the corresponding $\lambda_1(\Lambda)$, and links them to the Markoff spectrum.
- It introduces Zaremba's work, who studied the error estimation problem in numerical integration and proposed the Zaremba conjecture.
2. **Equivalent Definitions**:
- Using the theory of continued fractions, another definition of the $Z$ - spectrum is given, that is:
\[ Z = \left\{ \min_{q \in \mathbb{N}, 0 < q < b} q \left\| \frac{qa}{b} \right\| \mid \frac{a}{b} \in \mathbb{Q}, (a, b) = 1 \right\} \]
3. **Preliminary Considerations of Admissible Configurations**:
- It studies the properties of chains $T$ that satisfy $Z(T)>\frac{1}{3}$, and gradually excludes chains that do not meet the conditions through lemmas.
- It is proved that admissible chains can only be composed of 1 and 2, and 1 and 2 must appear in pairs.
4. **Nielsen Transformations**:
- It introduces Nielsen transformations $U$ and $V$, and proves that these transformations preserve the property of $Z(T)>\frac{1}{3}$.
- By induction, all admissible chains are classified, and it is proved that each admissible chain can be obtained from the basic chain $b(ab)^k$ through a finite number of Nielsen transformations.
5. **Study of Limit Points**:
- By analyzing chains $R(n_1, n_2,\ldots, n_k)$ of a specific form, it is proved that there are uncountably many limit points in the interval $(\frac{1}{3}-\epsilon,\frac{1}{3})$.
- Finally, the specific form of limit points greater than $\frac{1}{3}$ is obtained.
### Conclusion
Through in - depth study of the spectral problem of Q - isotropic binary quadratic forms, the paper successfully describes the distribution of all points in the set $Z\cap(\frac{1}{3}, \infty)$ and determines the form of its limit points. This not only solves specific mathematical problems but also provides a theoretical basis for further research in related fields.