HEXAGONbeta

Decidability of Mutation-Acyclicity

A mix of human-written and AI-generated textHuman understanding: some partsmath.CO — Combinatoricsmath.RT — Representation Theory

Contributed by Qiyue Tang ↗

Version 1 / Nov 06, 2026 / CC BY 4.0

Abstract

Mutation-acyclicity is decidable for all finite integral skew-symmetrizable exchange matrices. Mutation equivalence up to relabeling is decidable when at least one of the two inputs is mutation-acyclic.

Provenance statement

GPT-6-Pro was used in a research session lasting approximately two hours. Codex was used to review the proofs and edit the manuscript. A further review using Rethlas-OSV is planned.

References

  1. R. Akagi, Cluster-cyclic condition of skew-symmetrizable matrices of rank 3 via the Markov constant , arXiv:2411.07083v2 (https://arxiv.org/abs/2411.07083v2).arXiv
  2. I. Assem, M. Blais, T. Brüstle, and A. Samson, Mutation classes of skew-symmetric 3×33\times3-matrices , arXiv:math/0610627 (https://arxiv.org/abs/math/0610627), 2006.arXiv
  3. A. Beineke, T. Brüstle, and L. Hille, Cluster-cyclic quivers with three vertices and the Markov equation , Algebr. Represent. Theory 14 (2011), 97--112.
  4. S. Fomin, L. Williams, and A. Zelevinsky, Introduction to cluster algebras. Chapters 1--3 , arXiv:1608.05735 (https://arxiv.org/abs/1608.05735); problem numbers refer to the combined draft (https://pages.uoregon.edu/arkadiy/intro.clust.alg.pdf).arXiv
  5. S. Fomin and A. Zelevinsky, Cluster algebras II: Finite type classification , Invent. Math. 154 (2003), 63--121.
  6. S. Neville, Mutation-acyclic quivers are totally proper , arXiv:2409.17832v2 (https://arxiv.org/abs/2409.17832v2), 2025.arXiv
  7. D. Soukup, Computational complexity in combinatorics and algebra , Ph.D. thesis (https://www.math.ucla.edu/~pak/papers/Soukup-thesis.pdf), University of California, Los Angeles, 2024.link
  8. K. T. K. Armstrong-Williams, E. Hirst, B. Jackson, and K.-H. Lee, Mutation-acyclicity in rank four is decidable but not semialgebraic , arXiv:2610.36179v1 (https://arxiv.org/abs/2610.36179v1), 2026.arXiv
  9. I. Assem, T. Brüstle, and R. Schiffler, Cluster-tilted algebras as trivial extensions , Bull. Lond. Math. Soc. 40 (2008), 151--162.
  10. I. Assem, R. Schiffler, and V. Shramchenko, Cluster automorphisms , Proc. Lond. Math. Soc. (3) 104 (2012), 1271--1302.
Show all 22 referencesShow fewer references
  1. M. Barot, E. Fernández, M. I. Platzeck, N. I. Pratti, and S. Trepode, From iterated tilted algebras to cluster-tilted algebras , Adv. Math. 223 (2010), 1468--1494.
  2. A. B. Buan, R. J. Marsh, and I. Reiten, Cluster mutation via quiver representations , Comment. Math. Helv. 83 (2008), 143--177.
  3. A. B. Buan, R. J. Marsh, M. Reineke, I. Reiten, and G. Todorov, Tilting theory and cluster combinatorics , Adv. Math. 204 (2006), 572--618.
  4. P. Caldero and B. Keller, From triangulated categories to cluster algebras II , Ann. Sci. Éc. Norm. Sup. (4) 39 (2006), 983--1009.
  5. G. Dupont, An approach to non-simply laced cluster algebras , J. Algebra 320 (2008), 1626--1661.
  6. S. Fomin and A. Zelevinsky, Cluster algebras I: Foundations , J. Amer. Math. Soc. 15 (2002), 497--529.
  7. D. Happel, A characterization of hereditary categories with tilting object , Invent. Math. 144 (2001), 381--398.
  8. D. Happel, I. Reiten, and S. O. Smalø, Tilting in abelian categories and quasitilted algebras , Mem. Amer. Math. Soc. 120 (1996), no. 575.
  9. B. Keller, Derived invariance of higher structures on the Hochschild complex , preprint (https://webusers.imj-prg.fr/~bernhard.keller/publ/dih.pdf), 2003.link
  10. H. Lenzing and J. A. de la Peña, Spectral analysis of finite dimensional algebras and singularities , arXiv:0805.1018 (https://arxiv.org/abs/0805.1018), 2008.arXiv
  11. S. Liu and J. Pan, A note on mutation equivalence , Mathematics 13 (2025), no. 3, 339.
  12. D. Yang, Non-simply-laced clusters of finite type via Frobenius morphism , arXiv:math/0608114 (https://arxiv.org/abs/math/0608114), 2006.arXiv

Version history

  1. v1 · 12 pagesSubmitted by Qiyue TangInitial depositCurrentNov 06, 2026