arXiv++ Combinatorics

We develop a mutation theory for quivers with oriented 2-cycles using a structure called a homotopy, defined as a normal subgroupoid of the quiver's fundamental groupoid. This framework extends Fomin-Zelevinsky mutations of 2-acyclic quivers and yields involutive mutations that preserve the fundamental groupoid quotient by the homotopy. It generalizes orbit mutations arising from quiver coverings and allows for infinite mutation sequences even when orbit mutations are obstructed. We further construct quivers with homotopies from triangulations of marked surfaces with colored punctures, and prove that flips correspond to mutations, extending the Fomin-Shapiro-Thurston model to the setting with 2-cycles.

This paper aims to employ a cluster-theoretic approach to provide a class of Diophantine equations whose solutions can be obtained by starting from initial solutions through mutations. We establish a novel framework bridging cluster theory and Diophantine equations through the lens of cluster symmetry. On the one hand, we give the necessary and sufficient condition for Laurent polynomials to remain invariant under a given cluster symmetric map. On the other hand, we construct a discriminant algorithm to determine whether a given Laurent polynomial has cluster symmetry and whether it can be realized in a generalized cluster algebra. As applications, we solve Markov-cluster equations, describe some invariant Laurent polynomial rings, and resolve the questions posed by Gyoda and Matsushita.

We adopt a formal and algebraic approach of Early \cite{E2} to study the positive tropical Grassmannian $\operatorname{Trop}^+ Gr_{k,n}$. Specifically, we deal with positroid subdivision of hypersimplex induced by translated blades from any maximal weakly separated collection. One of our main results gives a necessary and sufficient condition on a maximal weakly separated collection to form a positroid subdivision of a hypersimplex corresponding to a simplicial cone in $\rm Trop^+Gr_{k,n}$. For k = 2 our condition says that any weakly separated collection of two-elements sets gives such a simplicial cone, and all cones are of such a form. We also show that the maximality of any weakly separated collection is preserved under the boundary map, which armatively answers a question by Early in \cite{E1}. Plabic graphs, invented by Postnikov \cite{P}, are of use in proving this result. As a corollary, we get that all those positroid subdivisions are the finest. Thus, the flip of two maximal weakly separatedcollections corresponds to a pair of adjacent maximal cones in positive tropical Grassmannian.

In this paper, we study the Newton polytopes of $F$-polynomials in a TSSS cluster algebra $\mathcal A$ and generalize them to a larger set consisting of polytopes $N_{h}$ associated to vectors $h\in\Z^{n}$ as well as $\widehat{\mathcal{P}}$ consisting of polytope functions $ρ_{h}$ corresponding to $N_{h}$. The main contribution contains that (i) obtaining a {\em recurrence construction} of the Laurent expression of a cluster variable in a cluster from its $g$-vector; (ii) proving the subset $\mathcal{P}$ of $\widehat{\mathcal{P}}$ consisting of Laurent polynomials in $\widehat{\mathcal{P}}$ is a strongly positive $\Z Trop(Y)$-basis for $\mathcal{U}(\A)$ consisting of certain universally indecomposable Laurent polynomials when $\A$ is a cluster algebra with principal coefficients. For a cluster algebra $\mathcal A$ over arbitrary semifield $\mathbb P$ in general, $\mathcal{P}$ is a strongly positive $\Z¶$-basis for the intermediate cluster subalgebra $\mathcal{I_P(A)}$ of $\mathcal{U(A)}$. We call $\mathcal P$ the {\em polytope basis}; (iii) constructing some explicit maps among corresponding $F$-polynomials, $g$-vectors, $d$-vectors and cluster variables to characterize their relationship. Moreover, we give three applications of (i), (ii) and (iii) respectively.

Let $\tilde{Q}$ (resp. $Q$) be an extended exchange (resp. exchange) cluster quiver of finite mutation type. We introduce the distribution set of the number of arrows for $Mut[\tilde{Q}]$ (resp. $Mut[Q]$), give the maximum and minimum numbers of the distribution set and establish the existence of an extended complete walk (resp. a complete walk). As a consequence, we prove that the distribution set for $Mut[\tilde{Q}]$ (resp. $Mut[Q]$) is continuous except the exceptional cases. In case of cluster quivers $Q_{inf}$ of infinite mutation type, the number of arrows does not present a continuous distribution. Besides, we show that the maximal number of arrows of quivers in $Mut[Q_{inf}]$ is infinite if and only if the maximal number of arrows between any two vertices of a quiver in $Mut[Q_{inf}]$ is infinite.

Inspirited by the importance of the spectral theory of graphs, we introduce the spectral theory of valued cluster quiver of a cluster algebra. Our aim is to characterize a cluster algebra via its spectrum so as to use the spectral theory as a tool. First, we give the relations between exchange spectrum of a valued cluster quiver and adjacency spectrum of its underlying valued graph, and between exchange spectra of a valued cluster quiver and its full valued subquivers. The key point is to find some invariants from the spectrum theory under mutations of cluster algebras, which is the second part we discuss. We give a sufficient and necessary condition for a cluster quiver and its mutation to be cospectral. Following this discussion, the so-called cospectral subalgebra of a cluster algebra is introduced. We study bounds of exchange spectrum radii of cluster quivers and give a characterization of $2$-maximal cluster quivers via the classification of oriented graphs of its mutation equivalence. Finally, as an application of this result, we obtain that the preprojective algebra of a cluster quiver of Dynkin type is representation-finite if and only if the cluster quiver is $2$-maximal.

This article studies the Lie algebra $Diff(KΓ)$ of derivations on the path algebra $KΓ$ of a quiver $Γ$ and the Lie algebra on the first Hochschild cohomology group $H^1(KΓ)$. We relate these Lie algebras to the algebraic and combinatorial properties of the path algebra. Characterizations of derivations on a path algebra are obtained, leading to a canonical basis of $Diff(KΓ)$ and its Lie algebra properties. Special derivations are associated to the vertices, arrows and faces of a quiver, and the concepts of a connected matrix and boundary matrix are introduced to study the relations among these derivations, concluding that the space of edge derivations is the direct sum of the spaces of the vertex derivations and the face derivations, while the dimensions of the latter spaces are the largest possible. By taking dimensions, this relation among spaces of derivations recovers Euler's polyhedron formula. This relation also leads a combinatorial construction of a canonical basis of the Lie algebra $H^1(KΓ)$, together with a semidirect sum decomposition of $H^1(KΓ)$.