REVIEW 2 major objections 6 minor 35 references
On $q$-deformed Markov numbers. Cohn matrices and perfect matchings with weighted edges
T0 review · 2 major / 6 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read The paper proves every Markov triple has a unique q-analogue, tied to weighted snake-graph matchings.
desk verdict Solid q-analogue paper with a real but fixable mismatch between the abstract's uniqueness claim and the theorem actually proved. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The machinery has three linked components. First, the q-Markov equation with the Vieta-like mutation $c'_q = q^{-1}[3]_q a_q b_q - c_q$, which generates every q-Markov triple from $(1,1,1)$. Second, the q-deformed Cohn matrices $A(n)_q$, $B(n)_q$ obtained from the q-deformed modular group generators $T_q$, $S_q$, $L_q$; their traces, divided by $q^{-1}[3]_q$, produce the q-Markov numbers and are independent of the integer parameter $n$. Third, the weighted snake graph $G_t(q)$, whose edges on the western and southern borders alternate $q^{-1}, q, \dots$ and whose other edges have weight $1$; the weighted matching count $\mu_t(q)$ reproduces $m_t^q$, and the proof identifies the recurrence for matchings with multiplication by the same q-deformed Cohn matrices.
What would settle it
Take two distinct rational labels $t,t'$ in $[0,1]$ with the same classical Markov number (none are known, but the conjecture is open), compute $m_t^q$ and $m_{t'}^q$ from the recurrence; if the Laurent polynomials differ, uniqueness of the q-deformation for that integer fails. Even without such a collision, one can recompute the weighted matching polynomial $\mu_t(q)$ for a label such as $t=3/5$ by direct enumeration of perfect matchings and compare it coefficient-by-coefficient with the recurrence: any mismatch would falsify Theorem 16.
Extended reading notes
Core claim
On the paper's own terms, the discovery is that the Markov equation admits a canonical q-analogue: for every Markov triple $(a,b,c)$ there exists a unique triple of Laurent polynomials $(a_q,b_q,c_q)$ satisfying the q-Markov equation and reducing to $(a,b,c)$ at $q=1$. The q-Markov number $m_t^q$ can be read off as $\mathrm{Tr}(C_t^q)/(q^{-1}[3]_q)$ for any q-deformed Cohn matrix in the tree, independent of the choice of initial matrices; equivalently, it is the generating polynomial $\mu_t(q)$ that counts perfect matchings of the weighted snake graph $G_t(q)$. This gives a graded lift of the classical fact that Markov numbers count perfect matchings, and it implies that each q-Markov number determines its rational label $t$ via an explicit degree-coefficient formula.
Load-bearing premise
The proof that every Markov number, as opposed to every Markov triple, has a unique q-analogue assumes the classical Markov uniqueness conjecture, which is still open; the proved statement is uniqueness for each labelled triple.
Editorial extensions
If this is right
- Every Markov triple has a canonical q-analogue, so all classical Markov numbers carry a canonical Laurent-polynomial refinement when the classical uniqueness conjecture holds.
- The q-Markov numbers are monic palindromic Laurent polynomials with non-negative integer coefficients, and all but $2_q$ have unimodal coefficient sequences.
- The weighted perfect-matching model gives a positive combinatorial formula for $m_t^q$, so each coefficient counts matchings with a fixed weight.
- The map $t \mapsto m_t^q$ from rationals in $[0,1]$ to Laurent polynomials is injective, and $t$ is explicitly recovered from the degree and the next coefficient.
- Trace computations with q-deformed Cohn matrices are independent of the chosen initial matrices, even though the upper-right entries are not.
Reading between the lines
- If the classical uniqueness conjecture fails, the stated uniqueness of each integer Markov number's q-analogue becomes ambiguous: the theorem proves uniqueness per labelled triple, not per integer, so two labels with the same integer could in principle yield different q-polynomials.
- The weighted snake-graph model suggests a dimer-theoretic reading in which coefficients of $m_t^q$ are refined matching counts; the same weighting rule could plausibly be tested on Christoffel words outside the range $0\le t\le 1$ to produce new q-rational identities.
- Because the recurrence and matching proof are constructive, the same technique may extend to q-deformations of other cluster-algebra mutations, such as generalized Markov equations, where a similar weighted snake graph could be built.
- The formula $t=(d-\alpha)/(\alpha+1)$ gives a finite, direct test for injectivity on any finite set of rational labels, so numerical computation of the recurrence could probe the analogue of the Markov injectivity conjecture in this graded setting.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces a q-deformation of Markov numbers as Laurent polynomial solutions to the q-Markov equation (2), proves that each Markov triple has a unique such deformation, identifies the resulting q-Markov numbers with traces of q-deformed Cohn matrices independently of the chosen initial matrices, and gives a weighted snake graph model in which q-Markov numbers are generating functions of perfect matchings. It also proves positivity, palindromicity, unimodality, and injectivity of the labeled map t ↦ m_t^q. The central technical tools are a mutation descent (Proposition 2), a transfer-matrix computation (Theorem 16), and an induction on the Cohn tree (Theorem 12 and Lemma 13).
Significance. The paper gives a clean framework that unifies earlier ad hoc definitions of q-Markov numbers and provides a new combinatorial interpretation via dimer coverings with edge weights. The trace-invariance result is a conceptual improvement over definitions depending on a choice of Cohn matrices. The proofs are largely constructive, the statements are concrete and checkable, and the paper ships detailed worked examples. The main caveat is that the advertised number-level uniqueness is conditional on the classical (open) Markov uniqueness conjecture; the body states this, but the abstract does not.
major comments (2)
- [Abstract and Section 1] The statement 'every Markov number has a unique q-deformation' is not proved in the manuscript. Theorem 1 proves uniqueness for ordered Markov triples, and the body (Section 1, near the end of the introduction) explicitly says that the passage from triples to numbers uses 'the assumption that the Markov conjecture holds true'. Corollary 4 only shows that the labeled polynomials m_t^q are distinct for t ≠ t′; if the classical conjecture were false and two labels t,t′ had m_t = m_t′, the same integer would have two different q-polynomials. The abstract and the introductory paragraph should be reworded so that number-level uniqueness is stated as conditional on the Markov uniqueness conjecture, or replaced by the proved triple-level and labeled statements.
- [Section 3.1, Proposition 2] The degree-descent proof is incomplete when d1 = -1. From d3 = d1 + d2 + 1 and d1 ≤ d2 ≤ d3, the value d1 = -1 forces d2 = d3, in which case the coefficient of q^{2d3} on the left-hand side of (2) is α2^2 + α3^2, not α3^2, and the displayed relation α3^2 = α1α2α3 does not hold. The manuscript does not address this case. The case can be ruled out by comparing the coefficient of q^{2d3-1}, which gives a contradiction α1 = 0, so the statement of Proposition 2 is likely correct, but the proof as written needs this additional argument or an explicit justification that all degrees are nonnegative. This is load-bearing because Proposition 2 underpins Theorem 1.
minor comments (6)
- [Figure 1 caption] The word 'weigth' should be 'weight'.
- [Definition 15(ii)] The phrase 'the the weighted number' contains a duplicated article.
- [Section 4.3, proof of Theorem 12] The identity A(n)_q B^{-1}(n)_q = A(n-2)_q is stated without proof; a one-line verification would improve readability.
- [Section 5.3, proof of Theorem 16] The palindrome property of w1...ws used to reverse the order of the matrices M_i is not proved or referenced; it follows from standard Christoffel word theory and should be stated explicitly.
- [Section 5.5, Lemma 17] The uniqueness of the minimal perfect matching and the count α = #X's - 1 are asserted without a full justification; a short argument or a precise reference would make the proof of Corollary 4 more self-contained.
- [Section 6.3] The claim that specializing y1 = y2 = y3 = q in \hat A, \hat B returns A(2)_q, B(2)_q 'up to a power of q' is imprecise; please specify the normalization explicitly.
Circularity Check
No significant circularity: q-Markov numbers are defined by equation (2), with Cohn-trace and snake-graph matches proved independently.
full rationale
The paper's derivation chain is self-contained and non-circular. q-Markov triples are introduced through equation (2), and Theorem 1 is proved by the degree-descent recurrence of Proposition 2 together with the classical uniqueness of Markov triples in the Markov tree (Aigner, Thm 3.3). The Cohn-matrix result (Theorem 12) is established by a direct induction from the explicitly written q-deformed matrices A(n)_q and B(n)_q, using the trace identity Tr(MN)=Tr(M)Tr(N)-Tr(MN^{-1}) and the Vieta transform; it does not presuppose the trace formula. The snake-graph theorem (Theorem 16) independently defines a weighted matching generating function µ_t(q), derives the recurrences involving A(1)_q and B(1)_q from the graph structure, and then identifies µ_t(q) with the trace via Lemma 13. Citations to [22,25] provide the q-deformed modular-group context and terminology, but the matrices and relations are stated and verified directly in the paper, so the self-citations are not load-bearing. The only notable issue is that the abstract's unconditional claim that every Markov number has a unique q-deformation goes beyond what is proved: Section 1 explicitly says this conclusion holds only "under the assumption that the Markov conjecture holds true", since Theorem 1 concerns ordered triples rather than numbers that may occur in multiple triples. This is a conditionality/correctness concern about the abstract, not a circular reduction of the derivation itself.
Assumptions & free parameters
assumptions (7)
- standard math Markov's theorem: every Markov triple is obtained from (1,1,1) by repeated mutations (a,b,c) -> (a,b,3ab-c) and permutations.
- standard math Aigner's classification of Cohn matrices: every Cohn matrix is equal, up to the tree structure, to A(n) or B(n) for some integer n.
- standard math The classical Markov numbers count perfect matchings of snake graphs (Propp's theorem).
- domain assumption The matrices T_q, S_q, L_q satisfy the PSL(2,Z) relations and generate the q-deformed modular group action from [22].
- domain assumption The classical Markov uniqueness conjecture (Frobenius) is assumed when claiming every integer Markov number has a unique q-deformation.
- standard math Unimodality of rank polynomials of fence posets [31] and their equality with trace-normalized q-Markov polynomials [30].
- standard math The middle segment of the A/B Christoffel word is a palindrome.
Cite this review
Pith. "Pith review of On $q$-deformed Markov numbers. Cohn matrices and perfect matchings with weighted edges." pith.science (2026). https://pith.science/paper/B5NBUCRX
@misc{pith2026250719080,
author = {Pith},
title = {Pith review of: On $q$-deformed Markov numbers. Cohn matrices and perfect matchings with weighted edges},
year = {2026},
howpublished = {\url{https://pith.science/paper/B5NBUCRX}},
note = {Machine review of arXiv:2507.19080}
}
abstract
We consider a natural $q$-deformation of the classical Markov numbers. This $q$-deformation is closely related to $q$-deformed rational numbers recently introduced by two of us. Both notions, those of $q$-rationals and $q$-Markov numbers, are based on invariance with respect to the action of the modular group $mathrm{PSL}(2,\mathbb{Z})$. We prove that every Markov number has a unique $q$-deformation, which is a monic unimodal palindromic Laurent polynomial with positive integer coefficients. The $q$-Markov numbers can be calculated in terms of the traces of $q$-deformed Cohn matrices, and we show that $q$-Markov numbers are independent of the choice of such matrices. We construct a combinatorial model counting perfect matchings of snake graphs with weighted edges.
Figures
Figures from the paper (13 more)
Reference graph
Works this paper leans on
-
[1]
Aigner, Markov’s theorem and 100 years of the uniqueness conjecture
M. Aigner, Markov’s theorem and 100 years of the uniqueness conjecture. A mathematical journey from irrational numbers to perfect matchings. Springer, Cham, 2013
work page 2013
-
[2]
E. Banaian, Y. Gyoda, Cluster algebraic interpretation of generalized Markov numbers and their matrixizations, arXiv:2507.06900
- [3]
-
[4]
A. Beineke, T. Br¨ ustle, and L. Hille,Cluster-cyclic quivers with three vertices and the Markov equa- tion, Algebr. Represent. Theory 14 (2011), no. 1, 97–112. With an appendix by Otto Kerner
work page 2011
-
[5]
Birman, Braids, links, and mapping class groups
J. Birman, Braids, links, and mapping class groups. Ann. Math. Stud. 82. Princeton Univ. Press, 1974
work page 1974
-
[6]
V.M. Bukhshtaber, A.P. Veselov, Conway topograph, PGL2(Z)-dynamics and two-valued groups , Russian Math. Surveys 74 (2019), no. 3, 387–430
work page 2019
-
[7]
Higher $q$-Continued Fractions
A. Burcroff, N. Ovenhouse, R. Schiffler, S. W. Zhang, Higher q-Continued Fractions , arXiv:2408.06902. 24
-
[8]
I. Canakci and R. Schiffler, Snake graph calculus and cluster algebras from surfaces , J. Algebra 382 (2013), 240–281
work page 2013
Show all 35 references
-
[9]
Canakci and R
I. Canakci and R. Schiffler, Snake graphs and continued fractions , European J. Comb. 86 (2020)
2020
-
[10]
Cohn, Approach to Markoff’s minimal forms through modular functions , Ann
H. Cohn, Approach to Markoff’s minimal forms through modular functions , Ann. of Math. (2) 61 (1955), 1–12
1955
-
[11]
Cohn, Representation of Markoff’s binary quadratic forms by geodesics on a perforated torus , Acta Arith
H. Cohn, Representation of Markoff’s binary quadratic forms by geodesics on a perforated torus , Acta Arith. 18 (1971), 125–136
1971
-
[12]
Evans, A
S.J. Evans, A. P. Veselov, B. Winn, Arithmetic and geometry of Markov polynomials , arXiv:2501.14882
-
[13]
Fomin and A
S. Fomin and A. Zelevinsky, Clusters algebras IV: Coefficients , Compositio Math. 143 (2007), 112– 164
2007
-
[14]
Fomin, L
S. Fomin, L. Williams, A. Zelevinsky, Introduction to Cluster Algebras. Chapters 1-3 , arXiv:1608.05735
-
[15]
Frobenius, ¨Uber die Markoffschen Zahlen, Sitzungsber
F.G. Frobenius, ¨Uber die Markoffschen Zahlen, Sitzungsber. Preuss. Akad. Wiss. Berlin 1913 (1913), 458–487; Gesammelte Abhandlungen, vol. 3, Springer-Verlag, Berlin-New York 1968
1913
-
[16]
Hardy, E.M
G.H. Hardy, E.M. Wright, An introduction to the theory of numbers. Sixth edition. Revised by D. R. Heath-Brown and J. H. Silverman. With a foreword by Andrew Wiles. Oxford University Press, Oxford, 2008
2008
-
[17]
Kenyon, Lectures on dimers, Statistical mechanics, 191–230, IAS/Park City Math
R. Kenyon, Lectures on dimers, Statistical mechanics, 191–230, IAS/Park City Math. Ser., 16, Amer. Math. Soc., Providence, RI, 2009
2009
-
[18]
Kogiso, q-Deformations and t-Deformations of the Markov triples , arXiv:2008.12913
T. Kogiso, q-Deformations and t-Deformations of the Markov triples , arXiv:2008.12913
2008 arXiv
-
[19]
Kuo, Applications of graphical condensation for enumerating matchings and tilings , Theoret
E. Kuo, Applications of graphical condensation for enumerating matchings and tilings , Theoret. Comput. Sci. 319 (2004), no. 1-3, 29–57
2004
-
[20]
Labb´ e, M
S. Labb´ e, M. Lapointe, The q-analog of the Markoff injectivity conjecture over the language of a balanced sequence. Comb. Theory 2, 1 (2022), Paper No. 9, 25
2022
-
[21]
Labb´ e, M
S. Labb´ e, M. Lapointe, W. Steiner, A q-analog of the Markoff injectivity conjecture holds , Algebr. Comb. 6 (2023), no. 6, 1677–1685
2023
-
[22]
Leclere, S
L. Leclere, S. Morier-Genoud, q-deformations in the modular group and of the real quadratic irrational numbers, Adv. Appl. Math. 130 (2021) Paper No. 102223, 28 pp
2021
-
[23]
K. Lee, L. Li, M. Rabideau and R. Schiffler, On the ordering of the Markov numbers , Adv. in Appl. Math. 143 (2023), Paper No. 102453, 29 pp
2023
-
[24]
Markoff, Sur les formes quadratiques binaires ind´ efinies , Mathematische Annalen volume 15 (1879), pages 381–406
A. Markoff, Sur les formes quadratiques binaires ind´ efinies , Mathematische Annalen volume 15 (1879), pages 381–406
-
[25]
Morier-Genoud, V
S. Morier-Genoud, V. Ovsienko, q-deformed rationals andq-continued fractions, Forum Math. Sigma 8 (2020), e13, 55 pp
2020
-
[26]
Morier-Genoud, V
S. Morier-Genoud, V. Ovsienko, On q-deformed real numbers, Exp. Math. 31 (2022), 652–660
2022
-
[27]
Morier-Genoud, V
S. Morier-Genoud, V. Ovsienko, P. Veselov, Burau representation of braid groups and q-rationals , Int. Math. Res. Not. IMRN 2024, no. 10, 8618–8627
2024
-
[28]
Musiker, R
G. Musiker, R. Schiffler, and L. Williams, Positivity for cluster algebras from surfaces , Adv. Math. 227, (2011), 2241–2308. 25
2011
-
[29]
N´ ajera Ch´ avez,On the c-vectors and g-vectors of the Markov cluster algebra , S´ em
A. N´ ajera Ch´ avez,On the c-vectors and g-vectors of the Markov cluster algebra , S´ em. Lothar. Com- bin. 69 (2012), Art. B69d, 12 pp
2012
-
[30]
Oguz, Oriented posets, rank matrices and q-deformed Markov numbers , Discrete Math
E.K. Oguz, Oriented posets, rank matrices and q-deformed Markov numbers , Discrete Math. 348 (2025), no. 2, Paper No. 114256, 17 pp
2025
-
[31]
E.K. Oguz, M. Ravichandran, Rank polynomials of fence posets are unimodal , Discrete Math. 346 (2023), Paper No. 113218
2023
-
[32]
The On-Line Encyclopedia of Integer Sequences, OEIS Foundation Inc., http://oeis.org
-
[33]
Propp, The combinatorics of frieze patterns and Markoff numbers , Integers 20 (2020), Paper No
J. Propp, The combinatorics of frieze patterns and Markoff numbers , Integers 20 (2020), Paper No. A12, 38 pp; arXiv:math/0511633
2020 arXiv
-
[34]
Reutenauer, From Christoffel words to Markoff numbers
C. Reutenauer, From Christoffel words to Markoff numbers. Oxford University Press, Oxford, 2019
2019
-
[35]
Schiffler, Perfect matching problems in cluster algebras and number theory , Open problems in algebraic combinatorics, 361–371, Proc
R. Schiffler, Perfect matching problems in cluster algebras and number theory , Open problems in algebraic combinatorics, 361–371, Proc. Sympos. Pure Math., 110, 2024, Amer. Math. Soc., Provi- dence. Sam Evans, Department of Mathematical Sciences, Loughborough University, Loug...
2024
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.