Machine Learning Mutation-Acyclicity of Quivers

Abstract

Machine learning (ML) has emerged as a powerful tool in mathematical research in recent years. This paper applies ML techniques to the study of quivers -- a type of directed multigraph with significant relevance in algebra, combinatorics, computer science, and mathematical physics. Specifically, we focus on the challenging problem of determining the mutation-acyclicity of a quiver on 4 vertices, a property that is pivotal since mutation-acyclicity is often a necessary condition for theorems involving path algebras and cluster algebras. Although this classification is known for quivers with at most 3 vertices, little is known about quivers on more than 3 vertices. We give a computer-assisted proof of a theorem to prove that mutation-acyclicity is decidable for quivers on 4 vertices with edge weight at most 2. By leveraging neural networks (NNs) and support vector machines (SVMs), we then accurately classify more general 4-vertex quivers as mutation-acyclic or non-mutation-acyclic. Our results demonstrate that ML models can efficiently detect mutation-acyclicity, providing a promising computational approach to this combinatorial problem, from which the trained SVM equation provides a starting point to guide future theoretical development.

34 pages, 16 figures, 7 tables. To be published in the Journal of Computational Algebra. This version has improved exposition and additional figures. Some of the machine learning background was moved to the appendix

References in corpus (17)

• Toric Duality as Seiberg Duality and Brane Diamonds
• Locally acyclic cluster algebras
• Quiver Mutations, Seiberg Duality and Machine Learning
• Machine Learning Calabi-Yau Hypersurfaces
• A=U for Locally Acyclic Cluster Algebras
• New Calabi-Yau Manifolds from Genetic Algorithms
• Neurons on Amoebae
• Machine-Learning the Sato--Tate Conjecture
• Machine-Learning Arithmetic Curves
• Machine-Learning Number Fields
• Acyclic cluster algebras, reflection groups, and curves on a punctured disc
• Unsupervised Machine Learning Techniques for Exploring Tropical Coamoeba, Brane Tilings and Seiberg Duality
• Machine learning Sasakian and $G_2$ topology on contact Calabi-Yau $7$-manifolds
• Cluster Algebras: Network Science and Machine Learning
• Numerical spectra of the Laplacian for line bundles on Calabi-Yau hypersurfaces
• Constructing and Machine Learning Calabi-Yau Five-folds
• Calabi-Yau Four/Five/Six-folds as ${\mathbb{P}}_{\text{w}}^n$ Hypersurfaces: Machine Learning, Approximation, and Generation