Generalized discrete Markov spectra
Pith reviewed 2026-05-17 01:47 UTC · model grok-4.3
The pith
Generalized Markov spectra from parameterized equations realize each value simultaneously as a Lagrange constant of a quadratic irrational and a Markov constant of an indefinite binary quadratic form.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For each triple solving the generalized Markov equation x² + y² + z² + k₁yz + k₂zx + k₃xy = (3 + k₁ + k₂ + k₃)xyz, the associated spectrum element is realized both as the Lagrange constant of the quadratic irrational obtained from the snake-graph data and as the Markov constant of the corresponding real indefinite binary quadratic form; structural results locate the discrete contributions of these spectra in the transition interval below Freiman's constant and fix the boundary value arising from regular lines of irrational slope with the same dual realization.
What carries the argument
Snake graphs that generate solutions to the parameterized Markov equation and carry the approximation and quadratic-form properties from the classical Christoffel-word case.
If this is right
- The generalized spectra occupy explicit positions in the discrete part of the Markov-Lagrange spectrum for each parameter triple.
- Results about quadratic irrationals and about indefinite binary quadratic forms can be transferred directly to one another via the shared spectrum values.
- The boundary value obtained from regular lines of irrational slope is realized simultaneously in both the Lagrange and Markov senses.
- The contribution of each generalized spectrum inside the interval below Freiman's constant is determined by the parameter values.
Where Pith is reading between the lines
- The same snake-graph method may produce analogous extensions for other classical spectra that currently rely on Christoffel words.
- Explicit computation for small integer triples (k1, k2, k3) would show how the new spectra reduce to the ordinary Markov spectrum when the parameters vanish.
- The dual realization suggests that Diophantine approximation constants and quadratic-form constants remain coupled under this combinatorial generalization.
Load-bearing premise
The snake-graph formalism correctly extends the classical Christoffel-word description so that the key approximation and form properties carry over to the generalized equations with parameters k1, k2, k3.
What would settle it
Take a solution triple produced by a snake graph for a chosen set of k1, k2, k3; construct the associated quadratic irrational and indefinite binary quadratic form; compute the Lagrange constant of the irrational and the Markov constant of the form independently and verify whether the two numbers coincide.
Figures
read the original abstract
We develop a generalized Markov theory for the Markov--Lagrange and Markov spectra. The classical discrete Markov spectrum is governed by Markov numbers, the positive integers occurring in solutions of the Markov equation. We show that this relation admits a cluster-combinatorial extension governed by generalized Markov numbers. Replacing the Christoffel-word formalism by snake graphs, we construct generalized discrete Markov spectra attached to the generalized Markov equations \[ x^2+y^2+z^2+k_1yz+k_2zx+k_3xy=(3+k_1+k_2+k_3)xyz. \] Every element of these spectra is realized simultaneously as a Lagrange constant of a quadratic irrational and as a Markov constant of a real indefinite binary quadratic form. We also prove structural results for these spectra, determine their contribution in the transition interval below Freiman's constant, and identify the boundary value obtained from regular lines of irrational slope, again realizing it both as a Lagrange constant and as a Markov constant.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops a generalized Markov theory for the Markov-Lagrange and Markov spectra. It replaces the classical Christoffel-word formalism with snake graphs to construct generalized discrete Markov spectra attached to the parameterized equations x² + y² + z² + k₁ yz + k₂ zx + k₃ xy = (3 + k₁ + k₂ + k₃) x y z. The central claim is that every element of these spectra is realized simultaneously as a Lagrange constant of a quadratic irrational and as a Markov constant of a real indefinite binary quadratic form. The manuscript also proves structural results for these spectra, determines their contribution in the transition interval below Freiman's constant, and identifies the boundary value obtained from regular lines of irrational slope, again realizing it both as a Lagrange constant and as a Markov constant.
Significance. If the simultaneous realization and structural results hold, the work provides a combinatorial extension of the classical Markov spectrum that unifies approximation properties across parameterized Diophantine equations. The explicit dual realization as both Lagrange and Markov constants for each generalized Markov number strengthens the link between continued-fraction data and quadratic-form infima, and the analysis below Freiman's constant offers concrete information on the transition region of the spectra.
major comments (2)
- [Construction via snake graphs (around the generalized equation)] The load-bearing step is the transfer of the extremal approximation property through the snake-graph construction. The manuscript must explicitly verify that, for arbitrary positive integers k₁, k₂, k₃, the snake-graph labeling and associated SL(2,ℤ) action produce continued-fraction data whose lim sup q² |α - p/q| recovers exactly the generalized Markov number solving the parameterized equation, and simultaneously yields a binary quadratic form whose Markov constant equals the same value. Without this explicit property transfer (beyond the classical k_i = 0 case), the simultaneous realization claim remains unverified even if the combinatorial enumeration of solutions is correct.
- [Structural results and transition interval] The structural results and the determination of the contribution below Freiman's constant rely on the same snake-graph formalism. If the numerical equality between the combinatorial invariant and the two analytic constants fails for some k_i, the claimed contribution to the transition interval and the boundary value from regular lines would also require re-examination.
minor comments (2)
- [Introduction] Clarify the precise definition of the generalized Markov numbers for general k₁, k₂, k₃; the abstract states the equation but the relation between the triple (x,y,z) and the spectrum element should be stated explicitly in a single displayed equation.
- [Section on snake graphs] The transition from Christoffel words to snake graphs is mentioned; a short comparison table or diagram showing how the classical case is recovered when k₁ = k₂ = k₃ = 0 would improve readability.
Simulated Author's Rebuttal
We thank the referee for the careful and constructive report. We address the two major comments point by point below. Where the comments identify a need for greater explicitness, we have revised the manuscript accordingly.
read point-by-point responses
-
Referee: [Construction via snake graphs (around the generalized equation)] The load-bearing step is the transfer of the extremal approximation property through the snake-graph construction. The manuscript must explicitly verify that, for arbitrary positive integers k₁, k₂, k₃, the snake-graph labeling and associated SL(2,ℤ) action produce continued-fraction data whose lim sup q² |α - p/q| recovers exactly the generalized Markov number solving the parameterized equation, and simultaneously yields a binary quadratic form whose Markov constant equals the same value. Without this explicit property transfer (beyond the classical k_i = 0 case), the simultaneous realization claim remains unverified even if the combinatorial enumeration of solutions is correct.
Authors: We agree that an explicit verification of the property transfer for general k_i is necessary to make the argument fully self-contained. The snake-graph construction in the manuscript is defined so that the edge weights incorporate k1, k2, k3 directly into the adjacency data; the SL(2,ℤ) action is the standard one generated by the continued-fraction convergents read from the graph. In the revised version we have inserted a new lemma (Lemma 3.4) that carries out the verification: we show that the lim sup of q²|α−p/q| equals the positive real solution of the parameterized Markov equation by counting weighted paths in the snake graph, generalizing the unweighted counting used when all k_i=0. The same path data determine the indefinite binary quadratic form via the usual matrix correspondence, and the infimum of |f(x,y)|/√disc is shown to coincide with the same value. The proof is uniform in the positive integers k1,k2,k3. revision: yes
-
Referee: [Structural results and transition interval] The structural results and the determination of the contribution below Freiman's constant rely on the same snake-graph formalism. If the numerical equality between the combinatorial invariant and the two analytic constants fails for some k_i, the claimed contribution to the transition interval and the boundary value from regular lines would also require re-examination.
Authors: The added verification in the revision establishes that the equality holds for every triple of positive integers k_i. Consequently the structural results (ordering of the spectra, finiteness of the discrete part, etc.) and the explicit description of the contribution below Freiman's constant remain unchanged. We have added a short clarifying paragraph after Theorem 5.2 noting that the boundary value arising from regular lines of irrational slope is realized simultaneously as the Lagrange constant of the associated quadratic irrational and as the Markov constant of the corresponding binary quadratic form; this follows directly from the same snake-graph construction already verified. revision: partial
Circularity Check
No significant circularity; derivation is a constructive combinatorial extension
full rationale
The paper replaces the classical Christoffel-word formalism with snake graphs to attach spectra to the generalized Markov equations with parameters k1, k2, k3. The central claim that every spectrum element is realized simultaneously as a Lagrange constant and a Markov constant follows from the asserted transfer of approximation and quadratic-form properties under this extension. No quoted step reduces a prediction or uniqueness claim to a fitted input, self-citation chain, or definitional loop; the construction is presented as independent of the target numerical values and does not rename known results or smuggle ansatzes via prior self-work. This is the normal case of an honest non-finding.
Axiom & Free-Parameter Ledger
free parameters (1)
- k1, k2, k3
axioms (1)
- domain assumption Snake graphs extend the Christoffel-word formalism while preserving the approximation properties of the classical Markov spectrum.
invented entities (1)
-
generalized Markov numbers
no independent evidence
Reference graph
Works this paper leans on
-
[1]
Aigner,Markov’s Theorem and 100 Years of the Uniqueness Conjecture, Springer, 2013
M. Aigner,Markov’s Theorem and 100 Years of the Uniqueness Conjecture, Springer, 2013
work page 2013
-
[2]
Banaian,Generalizations of Cluster Algebras from Triangulated Surfaces, Ph.D
E. Banaian,Generalizations of Cluster Algebras from Triangulated Surfaces, Ph.D. Thesis, 2021
work page 2021
-
[3]
,Orderings onk-Markov numbers, 2025. arXiv:2512.04026
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[4]
E. Banaian and Y. Gyoda,Cluster algebraic interpretation of generalized Markov numbers and their matrixizations, 2025. arXiv:2507.06900
-
[5]
E. Banaian and A. Sen,A generalization of Markov Numbers, Ramanujan J.63(2024), 1021–1055
work page 2024
- [6]
-
[7]
Bombieri,Continued fractions and the markoff tree, Expo
E. Bombieri,Continued fractions and the markoff tree, Expo. Math.25(2007), 187–213
work page 2007
-
[8]
E. Bombieri and A.J. van der Poorten,Continued fractions of algebraic numbers in: Computational algebra and number theory, Kluwer Academic Publishers, 1995
work page 1995
-
[9]
´I. C ¸ anak¸ cı and R. Schiffler,Cluster algebras and continued fractions, Compos. Math.54(2018), 565–593
work page 2018
-
[10]
Z. Chen and Z. Jia,Tropicalization and cluster asymptotic phenomenon of generalized Markov equa- tions, 2025. 2511.03428
-
[11]
Z. Chen and Z. Li,A cluster theory approach from mutation invariants to Diophantine equations,
-
[12]
,Sign-equivalence in cluster algebras: Classification and applications to Markov-type equa- tions, Journal of Pure and Applied Algebra229(2025), no. 10, 108058
work page 2025
-
[13]
T.W. Cusick and M.E. Flahive,The Markoff and Lagrange spectra, Mathematical Surveys and Mono- graphs, vol. 30, American Mathematical Society, 1989
work page 1989
-
[14]
M. de Courcy-Ireland, M. Litman, and Y. Mizuno,Divisibility bypfor Markoff-like Surfaces, 2025. arXiv:2509.02187
-
[15]
Frobenius, ¨Uber die Markovschen Zahlen, Sitzungsber
G. Frobenius, ¨Uber die Markovschen Zahlen, Sitzungsber. Kgl. Preuss. Akad. Wiss. (1913), 458–487
work page 1913
-
[16]
Gyoda,Positive integer solutions to(x+y) 2 + (y+z) 2 + (z+x) 2 = 12xyz, 2021
Y. Gyoda,Positive integer solutions to(x+y) 2 + (y+z) 2 + (z+x) 2 = 12xyz, 2021. preprint, arXiv:2109.09639 [math.NT]
-
[17]
Y. Gyoda and S. Maruyama,Uniqueness theorem of generalized Markov numbers that are prime powers, 2023. preprint, arXiv:2312.07329 [math.NT]
- [18]
-
[19]
Y. Gyoda and K. Matsushita,Generalization of Markov Diophantine equation via generalized cluster algebra, Electron. J. Combin30(2023), P4.10
work page 2023
-
[20]
Hurwitz,Ueber die angen¨ aherte Darstellung der Irrationalzahlen durch rationale Br¨ uche, Math
A. Hurwitz,Ueber die angen¨ aherte Darstellung der Irrationalzahlen durch rationale Br¨ uche, Math. Ann.39(1891), 279–284
-
[21]
K. Lee, L. Li, M. Rabideau, and R. Schiffler,On the ordering of the Markov numbers, Adv. appl. Math.143(2023), 102453
work page 2023
-
[22]
D. Lima, C. Matheus, C. G. Moreira, and S. Roma˜ na,Classical and Dynamical Markov and Lagrange Spectra, WORLD SCIENTIFIC, 2020. 36 YASUAKI GYODA
work page 2020
-
[23]
Markoff,Sur les formes quadratiques binaires ind´ efinies, Math
A. Markoff,Sur les formes quadratiques binaires ind´ efinies, Math. Ann.15(1879), 381–406
-
[24]
,Sur les formes quadratiques binaires ind´ efinies (Second Memoir), Math. Ann.17(1880), 379–399
-
[25]
McShane,Convexity and Aigner’s Conjectures, 2021
G. McShane,Convexity and Aigner’s Conjectures, 2021. preprint, arXiv:2101.03316 [math.NT]
-
[26]
Perron,Uber die approximation irrationaler Zahlen durch rationale II, S.-B
O. Perron,Uber die approximation irrationaler Zahlen durch rationale II, S.-B. Heidelberg Akad. Wiss.8(1921), 12 pp
work page 1921
-
[27]
Reutenauer,From Christoffel Words to Markoff Numbers, Oxford University Press, 2019
C. Reutenauer,From Christoffel Words to Markoff Numbers, Oxford University Press, 2019. (Yasuaki Gyoda)Institute for Advanced Research, Nagoya University Furo-cho, Chikusa- ku, Nagoya-shi, 464-8601, Japan Email address:ygyoda@math.nagoya-u.ac.jp GENERALIZED DISCRETE MARKOV SPECTRA 37 w Lt(w) eLt(w) m(G[w]) (1,3,3,1,5,4,1,3,4) 8227 (3,3,1,5,4,1,3,4,5) 3295...
work page 2019
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.