Markov fractions and Cohn matrices

Abstract: We show that the Markov fractions introduced recently by Springborn coincide with the index of the Cohn matrices defined by Aigner. This provides a simple concatenation rule for the corresponding continued fractions on the Conway topograph.

• The paper establishes that Markov fractions coincide with Cohn matrix indices, linking recursive matrix methods with classical Diophantine equations.
• It introduces a framework using the Conway topograph and continued fractions to systematically compute Markov numbers and quadratic irrationalities.
• The results offer deep algebraic, geometric, and combinatorial insights with potential implications for the Frobenius Uniqueness Conjecture and computational number theory.

Analysis of "Markov fractions and Cohn matrices" (2604.17401)

Introduction and Motivation

The paper addresses the intrinsic connection between Markov fractions, as recently introduced by Springborn, and the index of Cohn matrices, first systematically defined and studied by Aigner. The context is Markov's classical Diophantine equation $x^2 + y^2 + z^2 = 3xyz$ whose positive integer solutions—the Markov triples—form a celebrated combinatorial and number-theoretic structure, deeply entangled with the geometry of binary quadratic forms, hyperbolic geometry, and modern algebraic geometry (notably the slopes of exceptional vector bundles on $\mathbb{P}^2$).

Markov fractions represent rational numbers with denominators given by Markov numbers, and Springborn showed these are "the worst approximable rationals" in a precise Diophantine sense. Cohn and Gorshkov, independently, had previously related Markov numbers to the traces and off-diagonal components of specific $2 \times 2$ integer matrices constructed recursively—now called Cohn matrices.

The primary result of the paper is the identification of Markov fractions with the index (i.e., the ratio of certain entries) of the Cohn matrices associated to points on the rational Farey tree, thus bridging Springborn's construction with the recursive matrix framework and yielding a concatenation rule for the associated continued fractions on Conway’s topograph.

Markov Fractions and the Conway Topograph

The Farey tree and the Conway topograph are central geometric/combinatorial frameworks for organizing rationals in $[0,1]$. The Farey mediant operation $\frac{a}{b} \oplus \frac{c}{d} = \frac{a+c}{b+d}$ and the tree structure generate all reduced rationals recursively. The Springborn mediant, replacing the Farey operation, is defined as

$$\frac{p_1}{q_1} * \frac{p_2}{q_2} = \frac{p_1q_1 + p_2q_2}{q_1^2 + q_2^2}$$

which, after reduction, produces all Markov fractions. The topograph constructed using this operation distributes Markov fractions in a trivalent tree, structurally analogous to the Farey tree but reflecting the Markov combinatorics.

A crucial property that emerges is that the denominators $q$ of Markov fractions are precisely Markov numbers. Their recursive construction on the Conway topograph is governed by local rules that intricately mirror Vieta involution recurrences on Markov triples.

Cohn Matrices and Their Indices

Cohn's innovation was to compute Markov numbers and their associated triples via products of specific $2 \times 2$ matrices starting from initial seeds (e.g., $$A = \begin{pmatrix} 1 & 1 \ 1 & 2 \end{pmatrix}$$, $$B = \begin{pmatrix} 3 & 2 \ 4 & 3 \end{pmatrix}$$), and using a matrix multiplication rule mapped directly to the recursion on the tree.

Aigner generalized this formulation, classifying all initial seeds parametrized by an integer $\mathbb{P}^2$0, with the tree's structure preserved. Each rational $\mathbb{P}^2$1 in $\mathbb{P}^2$2 is associated with a Cohn matrix $\mathbb{P}^2$3, whose (1,2)-entry and trace yield, respectively, the Markov number and its associated triple.

The index of $\mathbb{P}^2$4 is defined as $\mathbb{P}^2$5, with $\mathbb{P}^2$6 and $\mathbb{P}^2$7 as appropriate matrix entries. Aigner proved that for fixed $\mathbb{P}^2$8, the function $\mathbb{P}^2$9 is strictly monotone, which has essential implications for the (still-open) Frobenius Uniqueness Conjecture for Markov numbers.

Main Result: Markov Fractions Equal Cohn Matrix Indices

The main theorem establishes that for $2 \times 2$0, Markov fractions coincide exactly with the indices of the associated Cohn matrices: $2 \times 2$1. The argument is by induction, using the recursive constructions of both Markov fractions on the topograph and the combinatorics of Cohn matrices. The proof proceeds by alignment of the recursive expansions and their mutual consistency under Springborn's operation and matrix multiplication.

For other $2 \times 2$2, the range of Markov fractions is simply shifted, thereby demonstrating that the matrix index construction exhausts all instances of Markov fractions across $2 \times 2$3 via affine transformations.

Continued Fractions, Mirror Constructions, and Markov Irrationalities

The identification above enables a new characterization of continued fraction expansions of Markov fractions. Utilizing mirrored Conway topographs for Cohn matrices (with $2 \times 2$4) and their relationship under vertical reflection and matrix transposition, every Markov fraction in $2 \times 2$5 can be expressed via concatenations of even-length continued fractions beginning with $2 \times 2$6 and $2 \times 2$7. The explicit correspondence between product of matrix generators and continued fraction expansion solidifies the connection.

The periodic extensions of these continued fractions yield so-called Markov irrationalities

$2 \times 2$8

which are quadratic irrationals with maximal Markov constant (i.e., worst Diophantine approximability). The continued fraction expansion of left companions of Markov fractions thus become ultimately periodic, and the recursive dynamics on the topograph reflect the classic structure of periodic continued fractions for quadratic surds.

Theoretical and Practical Implications

• Theoretical Unification: The explicit correspondence between Markov fractions, Cohn matrix indices, and their continued fraction expansions provides a robust algebraic-combinatorial model underlying Diophantine approximation on rationals and quadratic irrationals linked to Markov theory.
• Algebraic Geometry: The connection with exceptional vector bundles on projective planes (via Markov fractions as slopes) yields explicit algebraic invariants for geometric representation theory, with implications for derived categories.
• Matrix Theory and Combinatorics: Recursive matrix methods (Aigner's generalization) facilitate algorithmic computation of Markov numbers and associated rationals, and the monotonicity/uniqueness results provide combinatorial insight relevant to the still-unresolved uniqueness conjecture.
• Dynamical Systems and Symbolic Dynamics: The recursive concatenation rules and links to continued fraction expansions point to underlying symbolic dynamics governing the Markov and Farey trees.

Future Directions

• Open Conjectures: The correspondence heightens interest in the Frobenius Uniqueness Conjecture, as the matrix-based monotonicity may yield new approaches or counterexamples.
• Generalizations: Extensions to other quadratic Diophantine relations or to higher-dimensional analogues may broaden the scope of the method.
• Algorithmic Applications: The concatenational matrix approach, being explicit and recursive, provides a concrete method for generating worst-approximable rationals and associated quadratic irrationals, potentially informing computational number theory and cryptography.
• Moduli and Geometric Interpretation: Further study of the modular and geometric meanings of these invariants (e.g., as moduli of exceptional objects or as tilings/triangulations in hyperbolic space) promises fruitful cross-disciplinary impact.

Conclusion

This paper rigorously establishes that Markov fractions are precisely indices of Cohn matrices associated to rationals in the Farey/Conway structure. This result integrates, in an explicit and constructive way, modern combinatorics on continued fractions, recursive matrix methods, and Diophantine approximation. The analytic, algebraic, and geometric consequences touch on open conjectures and invite further detailed exploration along arithmetic, combinatorial, algebraic, and geometric avenues.