Abstract:We classify and enumerate all rational numbers with approximation constant at least $\frac{1}{3}$ using hyperbolic geometry. Rational numbers correspond to geodesics in the modular torus with both ends in the cusp, and the approximation constant measures how far they stay out of the cusp neighborhood in between. Compared to the original approach, the geometric point of view eliminates the need to discuss the intricate symbolic dynamics of continued fraction representations, and it clarifies the distinction between the two types of worst approximable rationals: (1) There is a plane forest of Markov fractions whose denominators are Markov numbers. They correspond to simple geodesics in the modular torus with both ends in the cusp. (2) For each Markov fraction, there are two infinite sequences of companions, which correspond to non-simple geodesics with both ends in the cusp that do not intersect a pair of disjoint simple geodesics, one with both ends in the cusp and one closed.
What problem does this paper attempt to address?
This paper mainly discusses worst-case approximations of rational numbers, i.e., rational numbers with an approximation constant greater than or equal to 1/3. The author uses hyperbolic geometry to classify and count these rational numbers, without relying on the symbolic dynamics of continued fraction representations. In the hyperbolic plane, rational numbers correspond to geodesics in the modular polygon, where integers and half-integers are the worst-case approximations with approximation constants of 1 and 1/2, respectively.
The paper first introduces the concept of approximation constant, which measures the extent to which a rational number is approximated by other non-equal rational numbers. For rational numbers, excluding themselves as approximators, all the approximation constants are positive. Then, the author points out that worst-case approximations of rational numbers can be divided into two categories: Markov numbers, which are associated with specific binary tree plane forests, and companions of Markov numbers, which are infinite sequences of Markov numbers with specific approximation properties.
The author defines Markov numbers and describes them using Markov triples, which are three positive integers satisfying certain algebraic relations. Each Markov number has two companions from infinite sequences, which are also worst-case approximations of rational numbers. The main theorem of the paper states that a rational number has an approximation constant greater than or equal to 1/3 if and only if it is a Markov number or a companion of a Markov number.
In addition, the paper discusses the limits of infinite paths in the Markov number forest, which correspond to real number limits with approximation constants greater than or equal to 1/3. These limits of paths could be Markov irrational numbers, i.e., irrational numbers with specific Lagrange numbers, or special irrational numbers with an approximation constant exactly equal to 1/3. Finally, the paper also touches on the combinatorial perspective of Markov theory, describing Markov numbers and their companions through Fibonacci-like recursion.
In summary, this paper classifies and analyzes rational numbers with approximation constants greater than or equal to 1/3 using geometric and algebraic methods, revealing their profound connections with Markov numbers and hyperbolic geometry.