Markov triples are sets of three positive integers, such as (1, 1, 2) or (1, 2, 5), that satisfy a specific equation discovered in the 19th century: x squared plus y squared plus z squared equals three times x times y times z. These triples have deep connections to number theory, geometry, and even theoretical physics. A long-standing question asks how many such triples exist with their largest number below some bound x. Previous work established that this count grows roughly like the square of the natural logarithm of x, but pinning down how close the actual count stays to this smooth approximation has been difficult.
The key insight connecting this counting problem to geometry is that Markov triples correspond naturally to simple closed geodesics on a particular geometric surface called the modular punctured torus. A geodesic is essentially the shortest path between two points on a curved surface, and "simple" means the path never crosses itself. This surface has a rich structure studied in hyperbolic geometry, and the lengths of these non-crossing paths encode information about Markov triples. By carefully analyzing the geometry of a certain region called the McShane-Rivin unit ball, the authors translate the counting problem into one about these geometric objects, which turns out to be more tractable.
The main achievement of the paper is proving a significantly sharper estimate for the error term, meaning how far the actual count deviates from the smooth approximating formula. The authors show this error grows more slowly than any fixed multiple of the logarithm of x, improving on previous bounds. They also connect the sharpness of the error estimate directly to deep open questions about the Riemann zeta function. Specifically, assuming a version of the famous Riemann hypothesis, they can prove an even tighter bound, creating a concrete link between the distribution of prime numbers and the fine-scale counting of Markov triples.