Abstract:We study the paths in the Farey graph going from (1,0) to (0,1) , or the finite subtrees of the Stern-Brocot tree . We show they form an operad and isolate the "coronas", which are especially spiked paths. We show that {(x,y), gcd(x,y)=1 , x+y < R } is a corona.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is the definition and properties of "coronas" in Farey fractals. Specifically, the author Shai Haran explored the particularly sharp paths from \(0=(1,0)\) to \(\infty=(0,1)\) in the Farey graph and proved that for \(R\geq2\), \((x,y)\in\mathbb{N}_+\times\mathbb{N}_+\), \(\gcd(x,y) = 1\), and \(x + y\leq R\) points form a corona path.
### The main problems of the paper can be summarized as follows:
1. **Define and describe corona paths**:
- Corona paths are specific paths from \(0\) to \(\infty\) in the Farey graph.
- The author defines these paths through the mathematical expression \((x,y)\in\mathbb{N}_+\times\mathbb{N}_+, \gcd(x,y) = 1, x + y\leq R\).
2. **Explore the properties of corona paths**:
- The author studied the structure and characteristics of these paths in the Farey graph.
- By introducing a series of operations (such as creation and annihilation operators), the author explored the generation and evolution of corona paths.
3. **Connections with number theory and other mathematical concepts**:
- The author linked the study of corona paths with other important concepts in number theory (such as the Riemann hypothesis, Weil's analogy, etc.).
- The relationships between these paths and fields such as algebraic geometry and homological algebra were explored.
4. **Interaction between binary and Fibonacci expansions**:
- The author found that the study of corona paths revealed a certain interaction between the binary expansion and the Fibonacci expansion of integers.
- This interaction is not only reflected in mathematical formulas but also in the path generation rules.
5. **Equidistribution problems**:
- The author discussed equidistribution problems related to corona paths.
- The work of Franel and Landau was mentioned, indicating that certain estimates could imply the validity of the Riemann hypothesis.
### Markdown representation of formulas
For example, a key formula mentioned in the paper is:
\[ (x,y)\in\mathbb{N}_+\times\mathbb{N}_+, \gcd(x,y) = 1, x + y\leq R \]
This is a key condition for defining corona paths. In addition, there are formulas involving binary and Fibonacci expansions, such as:
- Binary expansion:
\[ R = 2^{n_1}+\cdots+2^{n_j}+\cdots+2^{n_\ell}, n_j\geq0 \]
- Fibonacci expansion:
\[ R=\phi_{n_1}+\cdots+\phi_{n_j}+\cdots+\phi_{n_\ell} \]
These formulas show different representation methods of integers and their applications in path generation.
In conclusion, through in - depth study of corona paths in the Farey graph, this paper reveals its profound connections with number theory, algebraic geometry and other fields, and proposes new mathematical problems and conjectures.