Abstract:The Markoff graph modulo $p$ is known to be connected for all but finitely many primes $p$ (see Eddy, Fuchs, Litman, Martin, Tripeny, and Vanyo [
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: Design an algorithm with almost linear - time complexity to test whether the Markoff graph is connected modulo \(p\). Specifically, the author provides an algorithm implementation to verify whether the Markoff graph \(G^{\times}_p\) is connected for any prime number \(p\).
### Background and Problem Description
The Markoff equation is defined as:
\[x^{2}+y^{2}+z^{2}-xyz = 0.\]
Its solutions are called Markoff triples, denoted as \((a, b, c)\). The Markoff graph \(G^{\times}_p\) is a graph composed of these triples, where the vertices are the solutions of the Markoff equation modulo \(p\), and the edges are generated by the Markoff Vieta involution.
### Research Motivation
Previous research has shown that for almost all prime numbers \(p\), the Markoff graph \(G^{\times}_p\) is connected, but it has not been proven that all prime numbers \(p\) satisfy this property. Therefore, an efficient algorithm is required to verify this. In particular, Bourgain, Gamburd and Sarnak proposed a method, but its implementation is more complex and the computational cost is high.
### Paper Contributions
1. **Algorithm Design**: The author proposes an algorithm with a running time of \(O(p^{1 +\epsilon})\) to test whether the Markoff graph \(G^{\times}_p\) is connected modulo \(p\).
2. **Practical Verification**: Through this algorithm, the author has confirmed that for all prime numbers \(p\) less than one million, the Markoff graph \(G^{\times}_p\) is connected.
### Key Formulas and Concepts
- **Markoff Equation**:
\[x^{2}+y^{2}+z^{2}-xyz = 0.\]
- **Markoff Vieta Involution**:
\[
V_{1}:(a, b, c)\mapsto(bc - a, b, c),
\]
\[
V_{2}:(a, b, c)\mapsto(a, ac - b, c),
\]
\[
V_{3}:(a, b, c)\mapsto(a, b, ab - c).
\]
- **Rotation Map**:
\[
\text{rot}_{1}:(a, b, c)\mapsto(a, c, ac - b),
\]
\[
\text{rot}_{2}:(a, b, c)\mapsto(ab - c, b, a),
\]
\[
\text{rot}_{3}:(a, b, c)\mapsto(b, bc - a, c).
\]
### Conclusion
This paper successfully develops an efficient algorithm and verifies that for all prime numbers \(p\) less than one million, the Markoff graph \(G^{\times}_p\) is connected. This provides strong support for further research on the connectivity of Markoff graphs and related conjectures.