发表机构
Institute for Advanced Research, Nagoya University（名古屋大学高等研究院）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文综述拉格朗日谱与马尔可夫谱，通过广义马尔可夫数建立统一公式，连接经典理论并推广马尔可夫定理，提供系统证明与背景知识。
AI 中文摘要
本文是一篇自成体系的综述性文章，介绍拉格朗日谱与马尔可夫谱，重点在于对马尔可夫定理及其推广的全面阐述。其目的是为学习该理论提供系统的文本，包含详细的证明以及对其算术、组合和几何描述之间联系的解释。连分数、二次无理数、二元二次型和双无限序列等必要背景知识逐步展开，随后介绍广义马尔可夫数、栅栏偏序集、曲线长度和广义科恩矩阵。本文的目标之一是解释连接广义马尔可夫数与两个谱的公式。对于非负整数参数$(k_1,k_2,k_3)$，一个置换$\sigma\in\mathfrak S_3$，以及一个分数标签$t\in\mathbb Q_{\geq0}\cup\{\infty\}$，设$m_t$为相应的广义马尔可夫数，设$k_t=k_{i_t}$为其位置$i_t\in\{1,2,3\}$所对应的参数。本文解释了相关有限正整数序列$S(t)$的构造，以及恒等式\\[ \mathcal L(\alpha_{S(t)}) =\mathcal M(Q_{S(t)}) =\frac{\sqrt{((3+k_1+k_2+k_3)m_t-k_t)^2-4}}{m_t}, \\] 其中$\alpha_{S(t)}=[\overline{S(t)}]$，$Q_{S(t)}=(x-\alpha_{S(t)}y)(x-\alpha'_{S(t)}y)$，撇号表示二次共轭。这里$\mathcal L$和$\mathcal M$分别表示拉格朗日常数和马尔可夫常数。该综述解释了这一恒等式如何将广义离散马尔可夫谱与经典理论联系起来，以及当参数为零时如何恢复马尔可夫定理。文中还包括由无理斜率产生的边界值以及弗罗贝尼乌斯唯一性猜想的推广，为经典定理及其扩展提供了统一的视角。
英文摘要
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 $σ\in\mathfrak S_3$, and a fraction label $t\in\mathbb Q_{\geq0}\cup\{\infty\}$, 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\in\{1,2,3\}$. The text explains the construction of an associated finite sequence $S(t)$ of positive integers and the identity \[ \mathcal L(α_{S(t)}) =\mathcal M(Q_{S(t)}) =\frac{\sqrt{((3+k_1+k_2+k_3)m_t-k_t)^2-4}}{m_t}, \] where $α_{S(t)}=[\overline{S(t)}]$ and $Q_{S(t)}=(x-α_{S(t)}y)(x-α'_{S(t)}y)$, with the prime denoting quadratic conjugation. Here $\mathcal L$ and $\mathcal M$ 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.
Comments184 pages. A self-contained expository survey of the Lagrange and Markov spectra and their connections with generalized Markov numbers, with detailed proofs and examples
