To a directed graph without loops and 2-cycles, we can associate a skew-symmetric matrix with integer entries. Mutations of such skew-symmetric matrices, and more generally skew-symmetrizable matrices, have been defined in the context of cluster algebras by Fomin and Zelevinsky. The mutation class of a graph G is the set of all isomorphism classes of graphs that can be obtained from G by a sequence of mutations. A graph is called mutation-finite if its mutation class is finite. Fomin, Shapiro and Thurston constructed mutation-finite graphs from triangulations of oriented bordered surfaces with marked points. We will call such graphs "of geometric type". Besides graphs with 2 vertices, and graphs of geometric type, there are only 9 other "exceptional" mutation classes that are known to be finite. In this paper we introduce 2 new exceptional finite mutation classes.
In this paper, we study structural properties of finite mutation type quivers. In particular, we obtain a characterization of finite mutation type quivers that are associated with triangulations of surfaces and give a new numerical invariant for their mutation classes.
In this paper, we prove Conjecture 4.8 of "Cluster algebras IV" by S. Fomin and A. Zelevinsky, stating that the mutation classes of rectangular matrices associated with cluster algebras of finite type are precisely those classes which are finite.
Maximal green sequences are particular sequences of mutations of quivers which were introduced by Keller in the context of quantum dilogarithm identities and independently by Cecotti-Córdova-Vafa in the context of supersymmetric gauge theory. The existence of maximal green sequences for exceptional finite mutation type quivers has been shown by Alim-Cecotti-Córdova-Espahbodi-Rastogi-Vafa except for the quiver $X_7$. In this paper we show that the quiver $X_7$ does not have any maximal green sequences. We also generalize the idea of the proof to give sufficient conditions for the non-existence …
We give a complete description of the cluster-mutation classes of diagrams of Dynkin types \mathbb{A},\mathbb{B},\mathbb{D} and of affine Dynkin types \mathbb{B}^{(1)},\mathbb{C}^{(1)},\mathbb{D}^{(1)} via certain families of diagrams.
We complete classification of mutation-finite cluster algebras by extending the technique derived by Fomin, Shapiro, and Thurston to skew-symmetrizable case. We show that for every mutation-finite skew-symmetrizable matrix a diagram characterizing the matrix admits an unfolding which embeds its mutation class to the mutation class of some mutation-finite skew-symmetric matrix. In particular, this establishes a correspondence between a large class of skew-symmetrizable mutation-finite cluster algebras and triangulated marked bordered surfaces.
We classify all mutation-finite quivers with real weights. We show that every finite mutation class not originating from an integer skew-symmetrizable matrix has a geometric realization by reflections. We also explore the structure of acyclic representatives in finite mutation classes and their relations to acute-angled simplicial domains in the corresponding reflection groups.
In general, the existence of a maximal green sequence is not mutation invariant. In this paper we show that it is in fact mutation invariant for cluster quivers of finite mutation type. In particular, we show that a mutation finite cluster quiver has a maximal green sequence unless it arises from a once-punctured closed marked surface, or one of the two quivers in the mutation class of X7. We develop a procedure to explicitly find maximal green sequences for cluster quivers associated to arbitrary triangulations of closed marked surfaces with at least two punctures. As a corollary, it follows …
Skew-symmetric non-integer matrices with real entries can be viewed as quivers with non-integer weights of arrows. One can mutate such quivers according to usual rules of quiver mutation. Felikson and Tumarkin show that rank 3 mutation-finite non-integer quivers admit geometric realisations by partial reflections. This allows to define a notion of seeds (as Y-seeds), and hence, to define the exchange graphs for mutation classes. In this paper we study exchange graphs of mutation-finite quivers in rank 3. The concept of finite and affine type generalises naturally to non-integer quivers. In par…
It is known that the homogeneous coordinate ring of a Grassmannian has a cluster structure, which is induced from the combinatorial structure of a plabic graph. A plabic graph is a certain bipartite graph described on the disk, and there is a family of plabic graphs giving a cluster structure of the same Grassmannian. Such plabic graphs are related by the operation called square move which can be considered as the mutation in cluster theory. By using a plabic graph, we also obtain the Newton--Okounkov polytope which gives a toric degeneration of the Grassmannian. The purposes of this article i…
The d-invariant of an integral, positive definite lattice L records the minimal norm of a characteristic covector in each equivalence class mod 2L. We prove that the 2-isomorphism type of a connected graph is determined by the d-invariant of its lattice of integral cuts (or flows). As an application, we prove that a reduced, alternating link diagram is determined up to mutation by the Heegaard Floer homology of the link's branched double-cover. Thus, alternating links with homeomorphic branched double-covers are mutants.
In 2003, Fomin and Zelevinsky obtained Cartan-Killing type classification of all cluster algebras of finite type, i.e. cluster algebras having only finitely many distinct cluster variables. A wider class of cluster algebras is formed by cluster algebras of finite mutation type which have finitely many exchange matrices (but are allowed to have infinitely many cluster variables). In this paper we classify all cluster algebras of finite mutation type with skew-symmetric exchange matrices. Besides cluster algebras of rank 2 and cluster algebras associated with triangulations of surfaces there are…
We study the {\sc Graph Relabeling Problem}--given an undirected, connected, simple graph $G = (V,E)$, two labelings $L$ and $L'$ of $G$, and label {\em flip} or {\em mutation} functions determine the complexity of transforming or evolving the labeling $L$ into $L'$\@. The transformation of $L$ into $L'$ can be viewed as an evolutionary process governed by the types of flips or mutations allowed. The number of applications of the function is the duration of the evolutionary period. The labels may reside on the vertices or the edges. We prove that vertex and edge relabelings have closely relate…
In this paper, we determine representatives for the mutation classes of skew-symmetrizable 3x3 matrices and associated graphs using a natural minimality condition, generalizing and strengthening results of Beineke-Brustle-Hille and Felikson-Shapiro-Tumarkin. Furthermore, we obtain a new numerical invariant for the mutation operation on skew-symmetrizable matrices of arbitrary size.
We construct finite volume hyperbolic manifolds with large symmetry groups. The construction makes use of the presentations of finite Coxeter groups provided by Barot and Marsh and involves mutations of quivers and diagrams defined in the theory of cluster algebras. We generalize our construction by assigning to every quiver or diagram of finite or affine type a CW-complex with a proper action of a finite (or affine) Coxeter group. These CW-complexes undergo mutations agreeing with mutations of quivers and diagrams. We also generalize the construction to quivers and diagrams originating from u…
We present a geometric realization for all mutation classes of quivers of rank $3$ with real weights. This realization is via linear reflection groups for acyclic mutation classes and via groups generated by $π$-rotations for the cyclic ones. The geometric behavior of the model turns out to be controlled by the Markov constant $p^2+q^2+r^2-pqr$, where $p,q,r$ are the elements of exchange matrix. We also classify skew-symmetric mutation-finite real $3\times 3$ matrices and explore the structure of acyclic representatives in finite and infinite mutation classes.
We characterize the marked bordered unpunctured oriented surfaces with the property that all the Jacobian algebras of the quivers with potentials arising from their triangulations are derived equivalent. These are either surfaces of genus g with b boundary components and one marked point on each component, or the disc with 4 or 5 points on its boundary. We show that for each such marked surface, all the quivers in the mutation class have the same number of arrows, and the corresponding Jacobian algebras constitute a complete derived equivalence class of finite-dimensional algebras whose member…
Each quiver appearing in a seed of a cluster algebra determines a corresponding group, which we call a cluster group, which is defined via a presentation. Grant and Marsh showed that, for quivers appearing in seeds of cluster algebras of finite type, the associated cluster groups are isomorphic to finite reflection groups. As for finite Coxeter groups, we can consider parabolic subgroups of cluster groups. We prove that, in the type $A_{n}$ case, there exists an isomorphism between the lattice of subsets of the defining generators of the cluster group and the lattice of its parabolic subgroups…
Machines and Mathematical Mutations: Using GNNs to Characterize Quiver Mutation Classes
Halıcıoğlu Data Science Institute, University of California San Diego, San Diego, CA, USA（哈利奇奥格鲁数据科学研究所，加州大学圣地亚哥分校）；Pacific Northwest National Laboratory, Richland, WA, USA（太平洋西北国家实验室）；Department of Mathematics, University of Washington, Seattle, WA, USA（数学系，华盛顿大学）
The exchange graph of a 2-acyclic quiver is the graph of mutation-equivalent quivers whose edges correspond to mutations. When the quiver admits a nondegenerate Jacobi-finite potential, the exchange graph admits a natural acyclic orientation called the oriented exchange graph, as shown by Brüstle and Yang. The oriented exchange graph is isomorphic to the Hasse diagram of the poset of functorially finite torsion classes of a certain finite dimensional algebra. We prove that lattices of torsion classes are semidistributive lattices, and we use this result to conclude that oriented exchange graph…
Computing distances in braid-move graphs, higher Bruhat orders, and oriented-matroid mutation graphs is NP-hard
Faculty of Mathematics and Physics, University of Ljubljana（卢布尔雅那大学数学物理学院）；Institute of Mathematics, Physics and Mechanics（数学、物理与力学研究所）；Abelium d.o.o.（阿贝利乌姆有限公司）
We give a method to compute presentations of saturated cluster modular groups. Using this, we obtain finite presentations of the saturated cluster modular groups of finite mutation type $X_6$ and $X_7$. We verify that the cluster modular groups of finite mutation type $\widetilde{E}_6$, $\widetilde{E}_7$, $\widetilde{E}_8$, $G_2^{(*,*)}$, $X_6$ and $X_7$ are virtually generated by cluster Dehn twists.
We consider deformations of sequences of cluster mutations in finite type cluster algebras, which destroy the Laurent property but preserve the presymplectic structure defined by the exchange matrix. The simplest example is the Lyness 5-cycle, arising from the cluster algebra of type $A_2$: this deforms to the Lyness family of integrable symplectic maps in the plane. For types $A_3$ and $A_4$ we find suitable conditions such that the deformation produces a two-parameter family of Liouville integrable maps (in dimensions two and four, respectively). We also perform Laurentification for these ma…
