Mutation-acyclicity in rank four is decidable but not semialgebraic
Abstract
We prove that mutation-acyclicity of quivers on four vertices is decidable. If a four-vertex quiver Q is mutation-acyclic, then some sequence of mutations takes it to an acyclic quiver without any arrow multiplicity exceeding max{ht(Q),m(Q)}, where ht(Q) is the largest arrow multiplicity of Q and m(Q) is the Markov invariant of Fomin and Neville evaluated on the totally proper wiggle class of Q. A search within a computable form of this bound decides mutation-acyclicity of four-vertex quivers with O(h24) states for input height h≥1. Together with a theorem of Caldero and Keller, it also decides mutation equivalence of two four-vertex quivers up to relabeling whenever one of them is mutation-acyclic. We conjecture that ht(Q) alone suffices as the bound, which would reduce the search to O(h6) states, and we verify this for all four-vertex quivers of height at most three. In the other direction, for every n≥4 we construct an affine family of connected n-vertex quivers whose nonnegative even members are mutation-acyclic and whose positive odd members are mutation-cyclic. Consequently, unlike in rank three, no fixed finite Boolean combination of polynomial equations and strict polynomial inequalities in the arrow weights (i.e., a semialgebraic criterion) decides mutation-acyclicity of n-vertex quivers, even allowing polynomials that are not mutation-invariant. Finally, we correct the criterion for four-vertex quivers of height at most two stated in our earlier paper, and recover its classification counts with short certificates. The calculations in the proof of the height bound are verified by computer for all values of their parameters.
Related
- The Involution Rank of MCG(Σ3) Is Four
- Rank-two weak Fano bundles on a four-dimensional quadric hypersurface Q4
- Classifying Grothendieck rings of pivotal fusion categories of rank four
- Classification of vanishing fusion rings of rank four
- Characteristic cycles and non-acyclicity classes for constructible étale sheaves
BibTeX
@misc{armstrongwilliams2026mutationacyclicity,
title = {{Mutation-acyclicity in rank four is decidable but not semialgebraic}},
author = {Kymani T. K. Armstrong-Williams and Edward Hirst and Blake Jackson and Kyu-Hwan Lee},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.36179},
eprint = {2610.36179},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.36179},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Mutation-acyclicity in rank four is decidable but not semialgebraic
AU - Kymani T. K. Armstrong-Williams
AU - Edward Hirst
AU - Blake Jackson
AU - Kyu-Hwan Lee
PY - 2026
DA - 2026/10/26
PB - arXiv
DO - 10.48550/arxiv.2610.36179
UR - https://arxiv.org/abs/2610.36179
AB - We prove that mutation-acyclicity of quivers on four vertices is decidable. If a four-vertex quiver Q is mutation-acyclic, then some sequence of mutations takes it to an acyclic quiver without any arrow multiplicity exceeding max{ht(Q),m(Q)}, where ht(Q) is the largest arrow multiplicity of Q and m(Q) is the Markov invariant of Fomin and Neville evaluated on the totally proper wiggle class of Q. A search within a computable form of this bound decides mutation-acyclicity of four-vertex quivers with O(h^24) states for input height h≥1. Together with a theorem of Caldero and Keller, it also decides mutation equivalence of two four-vertex quivers up to relabeling whenever one of them is mutation-acyclic. We conjecture that ht(Q) alone suffices as the bound, which would reduce the search to O(h^6) states, and we verify this for all four-vertex quivers of height at most three. In the other direction, for every n≥4 we construct an affine family of connected n-vertex quivers whose nonnegative even members are mutation-acyclic and whose positive odd members are mutation-cyclic. Consequently, unlike in rank three, no fixed finite Boolean combination of polynomial equations and strict polynomial inequalities in the arrow weights (i.e., a semialgebraic criterion) decides mutation-acyclicity of n-vertex quivers, even allowing polynomials that are not mutation-invariant. Finally, we correct the criterion for four-vertex quivers of height at most two stated in our earlier paper, and recover its classification counts with short certificates. The calculations in the proof of the height bound are verified by computer for all values of their parameters.
ER -