Abstract:We consider the Markoff spectrum and the Lagrange spectrum on the Hecke group $\mathbf H_4$. They are identical with the Markoff and Lagrange spectra of the unit circle. The Markoff spectrum on $\mathbf H_4$ is also known as the Markoff spectrum of index 2 sublattices by Vulakh (1971) and the Markoff spectrum of 2-minimal forms or $C$-minimal forms by Schmidt (1976). They characterized the spectrum up to the first accumulation point, independently. After the first accumulation point, we show that both spectra have positive Hausdorff dimension. Then we find gaps in the spectra and give a bound of Hall's ray.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the study of the Markoff spectrum and the Lagrange spectrum on the Hecke group \(H_4\). Specifically, the authors aim to explore the following aspects:
1. **Characteristics of the Markoff spectrum and the Lagrange spectrum**:
- The authors studied the Markoff spectrum and the Lagrange spectrum defined on the Hecke group \(H_4\), and pointed out that these spectra are the same as the Markoff and Lagrange spectra on the unit circle.
- In particular, they focused on the discrete part of the Markoff spectrum, which was previously studied independently by Schmidt and Vulakh respectively.
2. **Spectral characteristics after the first accumulation point**:
- After the first accumulation point, the authors proved that these two spectra have a positive Hausdorff dimension.
- They also discovered the gaps in the spectra and gave the bounds of the Hall ray.
3. **Specific mathematical results**:
- They determined that the first accumulation point is \(2\sqrt{2}\), and found two largest gaps after this accumulation point:
\[
\left(\sqrt{\frac{238}{5}}, \sqrt{10}\right) \quad \text{and} \quad \left(\sqrt{10}, \frac{2124\sqrt{2}+ 48\sqrt{238}}{1177}\right)
\]
- They also proved that the Lagrange spectrum and the Markoff spectrum contain all real numbers after \(4\sqrt{2}\), that is, the existence of the Hall ray.
### Formula summary
- **Definition of the Lagrange number**:
\[
L(\xi)=\sup\left\{L\mid\left|\xi - \frac{p}{q}\right|<\frac{1}{Lq^2}\text{ for infinitely many rational numbers }\frac{p}{q}\right\}
\]
- **Classical Lagrange spectrum**:
\[
L_{\text{Classical}}=\left\{\limsup_{\frac{p}{q}\in\mathbb{Q}}\left(q^2\left|\xi - \frac{p}{q}\right|\right)^{-1}\mid\xi\in\mathbb{R}\setminus\mathbb{Q}\right\}
\]
- **Classical Markoff spectrum**:
\[
M_{\text{Classical}}=\left\{\sup_{(x,y)\in\mathbb{Z}^2\setminus\{(0,0)\}}\frac{\sqrt{\delta(f)}}{|f(x,y)|}\mid f(x,y) = ax^2+ bxy+ cy^2, \delta(f)=b^2 - 4ac>0, a,b,c\in\mathbb{R}\right\}
\]
- **First accumulation point**:
\[
M(H_4)\cap[0, 2\sqrt{2})=\left\{\sqrt{8-\frac{2}{x^2}}\mid x\in N_2\right\}\cup\left\{\sqrt{8-\frac{4}{y^2}}\mid y\in M_2\right\}
\]
- **Bounds of the Hall ray**:
\[
(4\sqrt{2},