An Introduction to the Lagrange and Markov Spectra through the Lens of Generalized Markov Numbers
Abstract
This text is a self-contained expository survey of the Lagrange and Markov spectra, centered on a comprehensive exposition of Markov's theorem and its generalizations. Its purpose is to provide a systematic text for learning the theory, with detailed proofs and explanations of the connections among its arithmetic, combinatorial, and geometric descriptions. The necessary background in continued fractions, quadratic irrationals, binary quadratic forms, and bi-infinite sequences is developed step by step, followed by an exposition of generalized Markov numbers, fence posets, curve lengths, and generalized Cohn matrices. One goal of this exposition is to explain the formula connecting generalized Markov numbers with the two spectra. For nonnegative integer parameters (k1,k2,k3), a permutation σ∈S3, and a fraction label t∈ℚ≥0∪{∞}, let mt be the associated generalized Markov number and let kt=kit be the parameter assigned to its position it∈{1,2,3}. The text explains the construction of an associated finite sequence S(t) of positive integers and the identity ℒ(αS(t)) =ℳ(QS(t)) =(√(((3+k1+k2+k3)mt−kt)2−4))/mt, where αS(t)=[S(t)̅] and QS(t)=(x−αS(t)y)(x−α'S(t)y), with the prime denoting quadratic conjugation. Here ℒ and ℳ denote the Lagrange and Markov constants, respectively. The survey explains how this identity relates generalized discrete Markov spectra to the classical theory and how Markov's theorem is recovered when the parameters vanish. The account also includes boundary values arising from irrational slopes and generalizations of Frobenius's uniqueness conjecture, providing a unified perspective on the classical theorem and its extensions.
Related
- Equal Lagrange Numbers with Non-Isomorphic Band Graphs: A Counterexample to Schiffler's Problem 6.3
- Existence of a Hall ray in higher dimensional Lagrange spectra
- Lagrange spectrum for Diophantine approximations of complex numbers with real part equal to one half
- Hodge--Tjurina Numbers, Tjurina Spectra, and Thom--Sebastiani Formulas
- Zero-Run Spectra of the (3,2) Raney numbers Modulo Primes
BibTeX
@misc{gyoda2026introduction,
title = {{An Introduction to the Lagrange and Markov Spectra through the Lens of Generalized Markov Numbers}},
author = {Yasuaki Gyoda},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.28097},
eprint = {2609.28097},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.28097},
}
RIS
TY - UNPB
TI - An Introduction to the Lagrange and Markov Spectra through the Lens of Generalized Markov Numbers
AU - Yasuaki Gyoda
PY - 2026
DA - 2026/09/23
PB - arXiv
DO - 10.48550/arxiv.2609.28097
UR - https://arxiv.org/abs/2609.28097
AB - This text is a self-contained expository survey of the Lagrange and Markov spectra, centered on a comprehensive exposition of Markov's theorem and its generalizations. Its purpose is to provide a systematic text for learning the theory, with detailed proofs and explanations of the connections among its arithmetic, combinatorial, and geometric descriptions. The necessary background in continued fractions, quadratic irrationals, binary quadratic forms, and bi-infinite sequences is developed step by step, followed by an exposition of generalized Markov numbers, fence posets, curve lengths, and generalized Cohn matrices. One goal of this exposition is to explain the formula connecting generalized Markov numbers with the two spectra. For nonnegative integer parameters (k_1,k_2,k_3), a permutation σ∈S_3, and a fraction label t∈ℚ_≥0∪{∞}, let m_t be the associated generalized Markov number and let k_t=k_i_t be the parameter assigned to its position i_t∈{1,2,3}. The text explains the construction of an associated finite sequence S(t) of positive integers and the identity ℒ(α_S(t)) =ℳ(Q_S(t)) =(√(((3+k_1+k_2+k_3)m_t−k_t)^2−4))/m_t, where α_S(t)=[S(t)̅] and Q_S(t)=(x−α_S(t)y)(x−α'_S(t)y), with the prime denoting quadratic conjugation. Here ℒ and ℳ denote the Lagrange and Markov constants, respectively. The survey explains how this identity relates generalized discrete Markov spectra to the classical theory and how Markov's theorem is recovered when the parameters vanish. The account also includes boundary values arising from irrational slopes and generalizations of Frobenius's uniqueness conjecture, providing a unified perspective on the classical theorem and its extensions.
ER -