{"id":"arxiv/2610.36179","url":"https://arxiv.org/abs/2610.36179","tags":["math.CO","hep-th","math.RT"],"score":0,"title":"Mutation-acyclicity in rank four is decidable but not semialgebraic","domain":"math.CO","source":"arxiv","authors":["Kymani T. K. Armstrong-Williams","Edward Hirst","Blake Jackson","Kyu-Hwan Lee"],"reviews":0,"subject":"math.CO","summary":"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 $\\operatorname{max}\\{\\operatorname{ht}(Q),m(Q)\\}$, where $\\operatorname{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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-26","reactions":{}}