HEXAGONbeta

Minimality of the Rank-Two Quantum Greedy Basis

A mix of human-written and AI-generated textHuman understanding: some partsmath.QA — Quantum Algebramath.RA — Rings and Algebras

Contributed by Qiyue Tang

Version 3 / Oct 03, 2026 / CC BY 4.0

Abstract

We prove that the rank-two quantum greedy basis is the least strongly positive basis when b | c or c | b, resolving Conjecture 14 of Lee–Li–Rupel–Zelevinsky. Every strongly positive basis has nonnegative expansion coefficients in the greedy basis.

Provenance statement

The mathematical argument and manuscript were developed through several rounds of conversations with GPT-6-Astra. The manuscript subsequently underwent GPT-based review, including adversarial checks of the proof and its dependencies. Uploading this paper to this platform does not mean that I claim ownership or copyright over it. My sole intention is to let more people know that the mathematical problem addressed in this paper has been solved by AI. Once it has been reviewed and its correctness has been verified, it may be cited directly. I welcome anyone who would like to organize this work; if you do so, the credit will be yours. Email: tangqy24@mails.tsinghua.edu.cn

References

  1. K. Lee, L. Li, D. Rupel and A. Zelevinsky, Greedy bases in rank 2 quantum cluster algebras , Proc. Natl. Acad. Sci. USA 111 (2014), 9712--9716. Publisher text at PMC (https://pmc.ncbi.nlm.nih.gov/articles/PMC4103316/).link
  2. K. Lee, L. Li, D. Rupel and A. Zelevinsky, The existence of greedy bases in rank 2 quantum cluster algebras , Adv. Math. 300 (2016), 360--389. arXiv:1405.2414v1 (https://arxiv.org/html/1405.2414v1).arXiv
  3. A. Berenstein and A. Zelevinsky, Quantum cluster algebras , Adv. Math. 195 (2005), 405--455. arXiv:math/0404446 (https://arxiv.org/abs/math/0404446).arXiv
  4. B. Davison and T. Mandel, Strong positivity for quantum theta bases of quantum cluster algebras , Invent. Math. 226 (2021), 725--843. doi:10.1007/s00222-021-01061-1 (https://doi.org/10.1007/s00222-021-01061-1).DOI
  5. T. Mandel, Theta bases are atomic . arXiv:1605.03202 (https://arxiv.org/abs/1605.03202).arXiv
  6. Q. Tang, A Note on Universal Positivity of Rank-Two Quantum Greedy Elements , arXiv:2609.37452v1 (https://arxiv.org/abs/2609.37452v1), Proposition 5.1 and Section 6.arXiv
  7. Q. Tang, Strongly positive bases in rank-two quantum cluster algebras , hexagon:2609.00143v1 (https://hexagonmath.org/2609.00143v1) (2026).hexagon

Version history

  1. v1 · 10 pagesSubmitted by 琪越 唐Initial depositSupersededOct 03, 2026
  2. v2 · 10 pagesSubmitted by 琪越 唐Submitted as a new versionSupersededOct 03, 2026
  3. v3 · 10 pagesSubmitted by Qiyue TangSubmitted as a new versionCurrentNov 06, 2026