HEXAGONbeta

Height-bounded mutation to acyclic quivers on four vertices

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

Contributed by Qiyue Tang ↗

Version 1 / Nov 07, 2026 / CC BY 4.0

Abstract

We prove Conjecture 5.5 of Armstrong-Williams, Hirst, Jackson and Lee.

Provenance statement

GPT-6-Pro was used in a research session whose preserved records span approximately 7 hours and 27 minutes. Codex was used to review the proofs and edit the manuscript. A review using Rethlas-OSV is planned for a later update.

References

  1. 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 (2026).arXiv
  2. D. Happel, I. Reiten and S. O. Smalø, Tilting in abelian categories and quasitilted algebras , Mem. Amer. Math. Soc. 120 (1996), no. 575.
  3. I. Assem, T. Brüstle and R. Schiffler, Cluster-tilted algebras as trivial extensions , Bull. London Math. Soc. 40 (2008), 151--162; arXiv:math/0601537.arXiv
  4. B. Keller, Deformed Calabi--Yau completions , J. Reine Angew. Math. 654 (2011), 125--180; arXiv:0908.3499v5.arXiv
  5. B. Keller, Erratum to ``Deformed Calabi--Yau completions'' , arXiv:1809.01126v1 (2018).arXiv
  6. I. Assem, J. C. Gatica, R. Schiffler and R. Taillefer, Hochschild cohomology of relation extension algebras , arXiv:1507.06142v2.arXiv
  7. A. B. Buan, O. Iyama, I. Reiten and D. Smith, Mutation of cluster-tilting objects and potentials , Amer. J. Math. 133 (2011), 835--887; arXiv:0804.3813v4.arXiv
  8. Z. Hua and G.-S. Zhou, Noncommutative Mather--Yau theorem and its applications to Calabi--Yau algebras , arXiv:1803.06128v5.arXiv
  9. D. Happel and I. H. Slungå rd, On quasitilted algebras which are one-point extensions of hereditary algebras , Colloq. Math. 81 (1999), 141--152.
  10. I. Assem, T. Brüstle and R. Schiffler, Cluster-tilted algebras and slices , J. Algebra 319 (2008), 3464--3479; arXiv:0707.0038.arXiv
Show all 22 referencesShow fewer references
  1. V. G. Kac, Infinite root systems, representations of graphs and invariant theory , Invent. Math. 56 (1980), 57--92.
  2. D. Happel and C. M. Ringel, Tilted algebras , Trans. Amer. Math. Soc. 274 (1982), 399--443.
  3. S. Fomin and A. Zelevinsky, Cluster algebras I: Foundations , J. Amer. Math. Soc. 15 (2002), 497--529; arXiv:math/0104151.arXiv
  4. A. B. Buan, R. J. Marsh, M. Reineke, I. Reiten and G. Todorov, Tilting theory and cluster combinatorics , Adv. Math. 204 (2006), 572--618.
  5. A. B. Buan, R. J. Marsh and I. Reiten, Cluster mutation via quiver representations , Comment. Math. Helv. 83 (2008), 143--177; arXiv:math/0412077v2.arXiv
  6. I. Assem, M. Blais, T. Brüstle and A. Samson, Mutation classes of skew-symmetric 3×33\times3-matrices , Comm. Algebra 36 (2008), 1209--1220; arXiv:math/0610627v1.arXiv
  7. 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; arXiv:math/0612213v2.arXiv
  8. A. Felikson and P. Tumarkin, Acyclic cluster algebras, reflection groups, and curves on a punctured disc , Adv. Math. 340 (2018), 855--882; arXiv:1709.10360v3.arXiv
  9. S. Fomin and S. Neville, Cyclically ordered quivers , Adv. Math. 500 (2026), article 111059; arXiv:2406.03604v3.arXiv
  10. S. Neville, Mutation-acyclic quivers are totally proper , arXiv:2409.17832v2 (2025).arXiv
  11. K. T. K. Armstrong-Williams, E. Hirst, B. Jackson and K.-H. Lee, Machine learning mutation-acyclicity of quivers , arXiv:2411.04209v2 (2025).arXiv
  12. A. Thalluri, Conjecture 5.5 of arXiv:2610.36179 checked for rank-4 quivers of height at most 7 , Zenodo (2026), doi:10.5281/zenodo.23872560.arXivDOI

Version history

  1. v1 · 28 pagesSubmitted by Qiyue TangInitial depositCurrentNov 07, 2026