pith. sign in

arxiv: 2512.04026 · v2 · submitted 2025-12-03 · 🧮 math.NT · math.CO

Orderings of k-Markov Numbers

Esther Banaian This is my paper

Pith reviewed 2026-05-17 01:56 UTC · model grok-4.3

classification 🧮 math.NT math.CO
keywords k-Markov numbersAigner's conjecturesMarkov numberscluster algebrasDiophantine equationsgeneralized Markov triplesordering conjecturespositive integral solutions
0
0 comments X

The pith

k-Markov numbers satisfy Aigner's conjectures about orderings in their solution triples.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that k-Markov numbers, defined via positive integer solutions to a one-parameter generalization of the Markov equation, obey the same ordering and uniqueness conjectures that Aigner formulated for ordinary Markov numbers. These conjectures describe how the numbers arrange themselves as the largest entry in each triple and related ordering properties. The argument reuses the cluster algebra positivity techniques already successful for the k=0 case. A sympathetic reader would care because the result indicates that the underlying combinatorial structure survives the introduction of the extra parameter k.

Core claim

k-Markov numbers satisfy Aigner's conjectures. The numbers are the positive integers that appear in solutions to x squared plus y squared plus z squared plus k times (xy plus xz plus yz) equals (3 plus 3k) times xyz. When k equals zero the equation recovers the classical Markov triples, and the same cluster-algebra arguments that settled the conjectures in that case continue to work for positive integer k.

What carries the argument

Adaptation of cluster-algebra positivity arguments to the k-generalized Markov equation x² + y² + z² + k(xy + xz + yz) = (3 + 3k)xyz.

If this is right

  • The same ordering relations among entries in each triple hold for every positive integer k.
  • The uniqueness properties conjectured by Aigner extend without change to the k-Markov setting.
  • Positivity properties in the associated cluster algebra remain valid for the generalized equation.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same adaptation strategy may apply to other one-parameter families of Diophantine equations that arise from cluster algebras.
  • Direct computation for small k values can serve as an immediate consistency check before the full algebraic proof.
  • The result hints that further multi-parameter extensions of the Markov equation could preserve the same ordering structure.

Load-bearing premise

The cluster algebra techniques and positivity arguments developed for ordinary Markov numbers adapt directly to the k-generalized equation.

What would settle it

Discovery of even one k-Markov triple whose ordering or uniqueness property violates a specific statement in Aigner's conjectures.

Figures

Figures reproduced from arXiv: 2512.04026 by Esther Banaian.

Figure 1
Figure 1. Figure 1: On the left, we have a snake graph with 6 tiles. The sign function on the snake graph is shown in the middle, with the signs used to compute the shape colored in red. The red signs (doubling the last −) tell us that the snake graph has shape 3, 2, 2. The fence poset of shape 3, 2, 2 is drawn on the right. Here, we label elements with their chronological labels in boxes . Proof. In light of Lemma 1, we can … view at source ↗
Figure 2
Figure 2. Figure 2: The main process in Algorithm 2 P(a) ≺ P(i + k). If P(a) is such that P(a) ≻ P(i + 1), we also set P(a) ≻ P(i + k). For all 0 ≤ j ≤ k, we set the weight of P(i + j) to 1. Return to step 2. (2) If we are in case (2), we perform a dual construction to the previous. Return to step 2. When we apply this Algorithm to Pγ, the elements in each “balanced” pair will be labeled in the same way, so we can unambiguous… view at source ↗
Figure 3
Figure 3. Figure 3: An example of an arc γ str. This arc consists of 4 line segments and three angles, θ1, θ2 and θ3. The first two angles are negative whereas the last is positive. We have perturbed the central intersections of the straight line segments to highlight Convention 2. So suppose k > 0 and that Pγ ̸= Pγ str . Assign to each poset a compatible chronological ordering and consider the first place where the posets di… view at source ↗
Figure 4
Figure 4. Figure 4: One case of a straightened arc γ str = γ with endpoints in A and B which is not homotopic to γ L AB or γ R AB. We intersect this arc with another, δ, and resolve the intersection, yielding a shorter arc, γ ′ , with endpoints A and B. See the proof of Lemma 9. Proof. Set γ = γ str throughout. This statement is shown for k = 0 in the proof of [21, Theorem 3.5]. Our task will be to show that we can follow the… view at source ↗
read the original abstract

The $k$-Markov numbers, introduced by Gyoda and Matsushita, are those which appear in positive integral solutions to $x^2 + y^2 + z^2 + k(xy + xz + yz) = (3+3k)xyz$. When $k =0$, this recovers the ordinary Markov numbers. A long-standing question in the theory of Markov numbers is Frobenius's unicity conjecture, concerning whether every Markov number is the maximum in a unique solution triple. Aigner gave a series of weaker, related conjectures which were confirmed to be true by Lee, Li, Rabideau, and Schiffler using techniques from the theory of cluster algebras. We show here that $k$-Markov numbers also satisfy Aigner's conjectures.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The manuscript claims to prove that k-Markov numbers—positive integer solutions to the equation x² + y² + z² + k(xy + xz + yz) = (3 + 3k)xyz—satisfy Aigner's conjectures on orderings and related properties, thereby generalizing the k = 0 case for ordinary Markov numbers that was established via cluster-algebra techniques by Lee, Li, Rabideau, and Schiffler.

Significance. If the result is correct, the work would usefully extend cluster-algebra methods to a one-parameter family of Markov-type Diophantine equations, showing that ordering statements remain valid under the indicated deformation of the quadratic form and right-hand side. This could serve as a template for similar generalizations in related Diophantine problems.

major comments (1)
  1. [Proof of the main theorem (Section 3)] The central argument adapts the positivity and Laurent-phenomenon results from the k = 0 cluster algebra to the k-dependent exchange relations arising from the modified equation. No separate lemma is supplied establishing that the sign patterns and strict positivity of the relevant Laurent polynomials persist for arbitrary positive integers k; this adaptation is load-bearing for the claim that Aigner's conjectures hold uniformly in k.
minor comments (2)
  1. [Introduction] The introduction should explicitly cite the original paper of Gyoda and Matsushita introducing k-Markov numbers.
  2. [Preliminaries] Notation for the generalized equation and the associated cluster variables would benefit from a short table comparing the k = 0 and k > 0 cases.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments. We address the major comment below. We agree that a more explicit treatment of the positivity properties would improve clarity and have planned a revision to incorporate it.

read point-by-point responses

  1. Referee: [Proof of the main theorem (Section 3)] The central argument adapts the positivity and Laurent-phenomenon results from the k = 0 cluster algebra to the k-dependent exchange relations arising from the modified equation. No separate lemma is supplied establishing that the sign patterns and strict positivity of the relevant Laurent polynomials persist for arbitrary positive integers k; this adaptation is load-bearing for the claim that Aigner's conjectures hold uniformly in k.

    Authors: We thank the referee for this observation. The argument in Section 3 proceeds by direct adaptation of the cluster-algebraic techniques, verifying that the k-dependent exchange relations preserve the Laurent phenomenon and sign coherence because all coefficients introduced by the parameter k remain positive. This ensures that the relevant Laurent polynomials retain the same sign patterns and strict positivity as in the k=0 case, which is used to establish the ordering statements uniformly in k. To address the concern and make the adaptation fully explicit, we will insert a new lemma in the revised manuscript that isolates and proves the persistence of these positivity and sign properties for arbitrary positive integers k. revision: yes

Circularity Check

0 steps flagged

No circularity: generalization adapts external cluster-algebra framework without self-referential reduction

full rationale

The derivation extends Aigner's conjectures to k-Markov numbers by adapting positivity and mutation arguments from the k=0 case established by Lee, Li, Rabideau, and Schiffler. The abstract and description present this as a direct transfer of techniques to the modified equation x² + y² + z² + k(xy + xz + yz) = (3+3k)xyz without introducing fitted parameters, self-definitions, or load-bearing self-citations by the present author. The central claim therefore rests on the cited external framework rather than reducing to the paper's own inputs by construction, satisfying the criteria for a self-contained mathematical argument.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the assumption that cluster algebra positivity and ordering properties carry over to the generalized equation; no free parameters or new invented entities are introduced in the abstract statement.

axioms (1)
  • domain assumption Cluster algebra techniques and positivity arguments developed for ordinary Markov numbers apply to the k-generalized case
    Invoked to extend the confirmation of Aigner's conjectures from k=0 to general k.

pith-pipeline@v0.9.0 · 5419 in / 1173 out tokens · 38119 ms · 2026-05-17T01:56:19.200528+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Generalized discrete Markov spectra

    math.NT 2025-12 unverdicted novelty 7.0

    The paper constructs generalized discrete Markov spectra for the family of equations x² + y² + z² + k1 yz + k2 zx + k3 xy = (3 + k1 + k2 + k3) xyz, with each spectrum element realized as both a Lagrange constant of a ...

  2. Orderings of Generalized k-Markov Numbers

    math.NT 2026-04 unverdicted novelty 6.0

    Generalized k-Markov numbers grow monotonically along more random lines as k increases, supporting a k-analog of Frobenius' uniqueness conjecture.

Reference graph

Works this paper leans on

29 extracted references · 29 canonical work pages · cited by 2 Pith papers

  1. [1]

    Aigner.Markov’s theorem and 100 years of the uniqueness conjecture

    M. Aigner.Markov’s theorem and 100 years of the uniqueness conjecture. Springer, Cham, 2013. A math- ematical journey from irrational numbers to perfect matchings

    work page 2013

  2. [2]

    Banaian and Y

    E. Banaian and Y. Gyoda. Cluster algebraic interpretation of generalized markov numbers and their matrixizations. arXiv:2507.06900, 2025

    work page arXiv 2025

  3. [3]

    Skein relations for punctured surfaces

    E. Banaian, W. Kang, and E. Kelley. Skein relations for punctured surfaces. arXiv:2409.04957, 2024

    work page arXiv 2024

  4. [4]

    Banaian and E

    E. Banaian and E. Kelley. Snake graphs from triangulated orbifolds.SIGMA Symmetry Integrability Geom. Methods Appl., 16:Paper No. 138, 50, 2020

    work page 2020

  5. [5]

    Banaian and A

    E. Banaian and A. Sen. A generalization of Markov numbers.Ramanujan J., 63(4):1021–1055, 2024

    work page 2024

  6. [6]

    Beineke, T

    A. Beineke, T. Br¨ ustle, and L. Hille. Cluster-cyclic quivers with three vertices and the Markov equation. Algebr. Represent. Theory, 14(1):97–112, 2011. With an appendix by Otto Kerner

    work page 2011

  7. [7]

    C ¸ anak¸ cı and R

    ´I. C ¸ anak¸ cı and R. Schiffler. Snake graph calculus and cluster algebras from surfaces II: self-crossing snake graphs.Math. Z., 281(1-2):55–102, 2015

    work page 2015

  8. [8]

    C ¸ anak¸ cı and R

    ´I. C ¸ anak¸ cı and R. Schiffler. Cluster algebras and continued fractions.Compos. Math., 154(3):565–593, 2018

    work page 2018

  9. [9]

    Canakci and R

    I. Canakci and R. Schiffler. Snake graph calculus and cluster algebras from surfaces.J. Algebra, 382:240– 281, 2013

    work page 2013

  10. [10]

    H. Cohn. Representation of Markoff’s binary quadratic forms by geodesics on a perforated torus.Acta Arith., 18:125–136, 1971

    work page 1971

  11. [11]

    Elizalde, M

    S. Elizalde, M. Plante, T. Roby, and B. E. Sagan. Rowmotion on fences.Algebraic Combinatorics, 6(1):17– 36, 2023

    work page 2023

  12. [12]

    Fomin, M

    S. Fomin, M. Shapiro, and D. Thurston. Cluster algebras and triangulated surfaces. I. Cluster complexes. Acta Math., 201(1):83–146, 2008

    work page 2008

  13. [13]

    Fomin and D

    S. Fomin and D. Thurston. Cluster algebras and triangulated surfaces Part II: Lambda lengths.Mem. Amer. Math. Soc., 255(1223):v+97, 2018

    work page 2018

  14. [14]

    Fomin and A

    S. Fomin and A. Zelevinsky. Cluster algebras I: Foundations.J. Amer. Math. Soc., 15:497–529, 2002

    work page 2002

  15. [15]

    J. Gaster. Boundary slopes for the Markov ordering on relatively prime pairs.Adv. Math., 403:Paper No. 108377, 15, 2022

    work page 2022

  16. [16]

    Gyoda and S

    Y. Gyoda and S. Maruyama. Uniqueness theorem of generalized markov numbers that are prime powers. arXiv:2312.07329, 2023

    work page arXiv 2023

  17. [17]

    Gyoda, S

    Y. Gyoda, S. Maruyama, and Y. Sato. Sl(2,z)-matrixizations of generalized markov numbers. arXiv:2407.08203, 2024

    work page arXiv 2024

  18. [18]

    Gyoda and K

    Y. Gyoda and K. Matsushita. Generalization of Markov Diophantine equation via generalized cluster algebra.Electron. J. Combin., 30(4):Paper No. 4.10, 20, 2023

    work page 2023

  19. [19]

    Kantarcı O˘ guz and E

    E. Kantarcı O˘ guz and E. Yıldırım. Cluster expansions:T-walks, labeled posets and matrix calculations. J. Algebra, 669:183–219, 2025

    work page 2025

  20. [20]

    Lagisquet, E

    C. Lagisquet, E. Pelantov´ a, S. Tavenas, and L. Vuillon. On the Markov numbers: fixed numerator, denominator, and sum conjectures.Adv. in Appl. Math., 130:Paper No. 102227, 28, 2021

    work page 2021

  21. [21]

    K. Lee, L. Li, M. Rabideau, and R. Schiffler. On the ordering of the Markov numbers.Adv. in Appl. Math., 143:Paper No. 102453, 29, 2023

    work page 2023

  22. [22]

    A. Markoff. Sur les formes quadratiques binaires ind´ efinies.Math. Ann., 17(3):379–399, 1880. (S´ econd m´ emoire)

    work page

  23. [23]

    G. McShane. Convexity and aigner’s conjectures. arXiv:2101.03316, 2021

    work page arXiv 2021

  24. [24]

    Musiker, R

    G. Musiker, R. Schiffler, and L. Williams. Positivity for cluster algebras from surfaces.Adv. Math., 227(6):2241–2308, 2011. ORDERINGS ONk-MARKOV NUMBERS 27

    work page 2011

  25. [25]

    Musiker, R

    G. Musiker, R. Schiffler, and L. Williams. Bases for cluster algebras from surfaces.Compos. Math., 149(2):217–263, 2013

    work page 2013

  26. [26]

    Posets forF-polynomials in cluster algebras from surfaces

    V. Pilaud, N. Reading, and S. Schroll. Posets forf-polynomials in cluster algebras from surfaces. arXiv:2311.06033, 2023

    work page arXiv 2023

  27. [27]

    J. Propp. The combinatorics of frieze patterns and Markoff numbers.INTEGERS, 20:A12, 2020

    work page 2020

  28. [28]

    Rabideau and R

    M. Rabideau and R. Schiffler. Continued fractions and orderings on the Markov numbers.Adv. Math., 370:107231, 18, 2020

    work page 2020

  29. [29]

    Reutenauer.From Christoffel words to Markoff numbers

    C. Reutenauer.From Christoffel words to Markoff numbers. Oxford University Press, Oxford, 2019. Email address:estherbanaian@gmail.com School of Mathematics, University of California, Riverside, Riverside, CA 92521

    work page 2019