arXiv++ Combinatorics

We present a new and very concrete connection between cluster algebras and knot theory. This connection is being made via continued fractions and snake graphs. It is known that the class of 2-bridge knots and links is parametrized by continued fractions, and it has recently been shown that one can associate to each continued fraction a snake graph, and hence a cluster variable in a cluster algebra. We show that up to normalization by the leading term the Jones polynomial of the 2-bridge link is equal to the specialization of this cluster variable obtained by setting all initial cluster variables to 1 and specializing the initial principal coefficients of the cluster algebra as follows $y_1=t^{-2}$ and $ y_i=-t^{-1}$, for all $i> 1$. As a consequence we obtain a direct formula for the Jones polynomial of a 2-bridge link as the numerator of a continued fraction of Laurent polynomials in $q=-t^{-1}$. We also obtain formulas for the degree and the width of the Jones polynomial, as well as for the first three and the last three coefficients. Along the way, we also develop some basic facts about even continued fractions and construct their snake graphs. We show that the snake graph of an even continued fraction is ismorphic to the snake graph of a positive continued fraction if the continued fractions have the same value. We also give recursive formulas for the Jones polynomials.

We establish a bijective correspondence between certain non-self-intersecting curves in an $n$-punctured disc and positive ${\mathbf c}$-vectors of acyclic cluster algebras whose quivers have multiple arrows between every pair of vertices. As a corollary, we obtain a proof of a conjecture by K.-H. Lee and K. Lee (arXiv:1703.09113) on the combinatorial description of real Schur roots for acyclic quivers with multiple arrows, and give a combinatorial characterization of seeds in terms of curves in an $n$-punctured disc.

A quiver is an oriented graph. Quiver mutation is an elementary operation on quivers. It appeared in physics in Seiberg duality in the nineties and in mathematics in the definition of cluster algebras by Fomin-Zelevinsky in 2002. We show, for large classes of quivers Q, using quiver mutation and quantum dilogarithms, one can construct the combinatorial DT-invariant, a formal power series intrinsically associated with Q. When defined, it coincides with the "total" Donaldson-Thomas invariant of Q (with a generic potential) provided by algebraic geometry (work of Joyce, Kontsevich-Soibelman, Szendroi and many others). We illustrate combinatorial DT-invariants on many examples and point out their links to quantum cluster algebras and to (infinite) generalized associahedra.

Baur and Marsh computed the determinant of a matrix assembled from the cluster variables in a cluster algebra of type A. In this article we wish to describe two variations. On the one hand, we compute determinants of matrices assembled from the squares of the cluster variables in Baur--Marsh's matrix. One such determinant admits an interpretation as a Cayley--Menger determinant. On the other hand, we wish to present a formula for the determinant of a matrix of cluster variables in a cluster algebra of type D. This cluster algebra is associated with a marked oriented surface. As in Baur--Marsh's setup the matrix is indexed by the marked points of the surface and an entry is given by the cluster variable corresponding to an arc between two marked points. Our formula asserts that the determinant may again be written as a product of cluster variables.

Birational toggling on Gelfand-Tsetlin patterns appeared first in the study of geometric crystals and geometric Robinson-Schensted-Knuth correspondence. Based on these birational toggle relations, Einstein and Propp introduced a discrete dynamical system called birational rowmotion associated with a partially ordered set. We generalize birational rowmotion to the class of arbitrary strongly connected directed graphs, calling the resulting discrete dynamical system the $R$-system. We study its integrability from the points of view of singularity confinement and algebraic entropy. We show that in many cases, singularity confinement in an $R$-system reduces to the Laurent phenomenon either in a cluster algebra, or in a Laurent phenomenon algebra, or beyond both of those generalities, giving rise to many new sequences with the Laurent property possessing rich groups of symmetries. Some special cases of $R$-systems reduce to Somos and Gale-Robinson sequences.

In this paper we propose the notion of cluster superalgebras which is a supersymmetric version of the classical cluster algebras introduced by Fomin and Zelevinsky. We show that the symplectic-orthogonal supergroup $SpO(2|1)$ admits a cluster superalgebra structure and as a consequence of this, we deduce that the supercommutative superalgebra generated by all the entries of a superfrieze is a subalgebra of a cluster superalgebra. We also show that the coordinate superalgebra of the super Grassmannian $G(2|0; 4|1)$ of chiral conformal superspace (that is, $(2|0)$ planes inside the superspace $\mathbb C^{4|1}$) is a quotient of a cluster superalgebra.

Leclerc and Zelevinsky, motivated by the study of quasi-commuting quantum flag minors, introduced the notions of strongly separated and weakly separated collections. These notions are closely related to the theory of cluster algebras, to the combinatorics of the double Bruhat cells, and to the totally positive Grassmannian. A key feature, called the purity phenomenon, is that every maximal by inclusion strongly (resp., weakly) separated collection of subsets in $[n]$ has the same cardinality. In this paper, we extend these notions and define $\mathcal{M}$-separated collections for any oriented matroid $\mathcal{M}$. We show that maximal by size $\mathcal{M}$-separated collections are in bijection with fine zonotopal tilings (if $\mathcal{M}$ is a realizable oriented matroid), or with one-element liftings of $\mathcal{M}$ in general position (for an arbitrary oriented matroid). We introduce the class of pure oriented matroids for which the purity phenomenon holds: an oriented matroid $\mathcal{M}$ is pure if $\mathcal{M}$-separated collections form a pure simplicial complex, i.e., any maximal by inclusion $\mathcal{M}$-separated collection is also maximal by size. We pay closer attention to several special classes of oriented matroids: oriented matroids of rank $3$, graphical oriented matroids, and uniform oriented matroids. We classify pure oriented matroids in these cases. An oriented matroid of rank $3$ is pure if and only if it is a positroid (up to reorienting and relabeling its ground set). A graphical oriented matroid is pure if and only if its underlying graph is an outerplanar graph, that is, a subgraph of a triangulation of an $n$-gon. We give a simple conjectural characterization of pure oriented matroids by forbidden minors and prove it for the above classes of matroids (rank $3$, graphical, uniform).

This is a preliminary draft of Chapters 4-5 of our forthcoming textbook "Introduction to Cluster Algebras." Chapters 1-3 have been posted as arXiv:1608.05735. This installment contains: Chapter 4. New patterns from old Chapter 5. Finite type classification

Hypertrees and noncrossing trees are well-established objects in the combinatorics literature, but the hybrid notion of a noncrossing hypertree has received less attention. In this article I investigate the poset of noncrossing hypertrees as an induced subposet of the hypertree poset. Its dual is the face poset of a simplicial complex, one that can be identified with a generalized cluster complex of type $A$. The first main result is that this noncrossing hypertree complex is homeomorphic to a piecewise spherical complex associated with the noncrossing partition lattice and thus it has a natural metric. The fact that the order complex of the noncrossing partition lattice with its bounding elements removed is homeomorphic to a generalized cluster complex was not previously known or conjectured. The metric noncrossing hypertree complex is a union of unit spheres with a number of remarkable properties: 1) the metric subspheres and simplices in each dimension are both bijectively labeled by the set of noncrossing hypertrees with a fixed number of hyperedges, 2) the number of spheres containing the simplex labeled by the noncrossing tree $τ$ is the same as the number simplices in the sphere labeled by the noncrossing tree $τ$, and 3) among the maximal spherical subcomplexes one finds every normal fan of a metric realization of the simple associahedron associated to the cluster algebra of type $A$. In particular, the poset of noncrossing hypertrees and its metric simplicial complex provide a new perspective on familiar combinatorial objects and a common context in which to view the known bijections between noncrossing partitions and the vertices/facets of simple/simplicial associahedra.

We generalize the almost positive roots model for cluster algebras from finite type to a uniform finite/affine type model. We define the almost positive Schur roots $Φ_c$ and a compatibility degree, given by a formula that is new even in finite type. The clusters define a complete fan $\operatorname{Fan}_c(Φ)$. Equivalently, every vector has a unique cluster expansion. We give a piecewise linear isomorphism from the subfan of $\operatorname{Fan}_c(Φ)$ induced by real roots to the ${\mathbf g}$-vector fan of the associated cluster algebra. We show that $Φ_c$ is the set of denominator vectors of the associated acyclic cluster algebra and conjecture that the compatibility degree also describes denominator vectors for non-acyclic initial seeds. We extend results on exchangeability of roots to the affine case.

Nakajima introduced a $t$-deformation of $q$-characters, $(q,t)$-characters for short, and their twisted multiplication through the geometry of quiver varieties. The Nakajima $(q,t)$-characters of Kirillov-Reshetikhin modules satisfy a $t$-deformed $T$-system. The $T$-system is a discrete dynamical system that can be interpreted as a mutation relation in a cluster algebra in two different ways, depending on the choice of direction of evolution. In this paper, we show that the Nakajima $t$-deformed $T$-system of type $A_r$ forms a quantum mutation relation in a quantization of exactly one of the cluster algebra structures attached to the $T$-system.

In this paper, we describe a general setting for dimer models on cylinders over Dynkin diagrams which in type A reduces to the well studied case of dimer models on a disc. We prove that all Berenstein--Fomin--Zelevinsky quivers for Schubert cells in a symmetric Kac--Moody algebra give rise to dimer models on the cylinder over the corresponding Dynkin diagram. We also give an independent proof of a result of Buan, Iyama, Reiten and Smith that the corresponding superpotentials are rigid using the dimer model structure of the quivers.

We generalise surface cluster algebras to the case of infinite surfaces where the surface contains finitely many accumulation points of boundary marked points. To connect different triangulations of an infinite surface, we consider infinite mutation sequences. We show transitivity of infinite mutation sequences on triangulations of an infinite surface and examine different types of mutation sequences. Moreover, we use a hyperbolic structure on an infinite surface to extend the notion of surface cluster algebras to infinite rank by giving cluster variables as lambda lengths of arcs. Furthermore, we study the structural properties of infinite rank surface cluster algebras in combinatorial terms, namely we extend "snake graph combinatorics" to give an expansion formula for cluster variables. We also show skein relations for infinite rank surface cluster algebras.

Consider $2n$ points on the unit circle and a reference dissection $\mathrm{D}_\circ$ of the convex hull of the odd points. The accordion complex of $\mathrm{D}_\circ$ is the simplicial complex of non-crossing subsets of the diagonals with even endpoints that cross a connected subset of diagonals of $\mathrm{D}_\circ$. In particular, this complex is an associahedron when $\mathrm{D}_\circ$ is a triangulation and a Stokes complex when $\mathrm{D}_\circ$ is a quadrangulation. In this paper, we provide geometric realizations (by polytopes and fans) of the accordion complex of any reference dissection $\mathrm{D}_\circ$, generalizing known constructions arising from cluster algebras.

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.

Maximal green sequences are important objects in representation theory, cluster algebras, and string theory. It is an open problem to determine what lengths are achieved by the maximal green sequences of a quiver. We combine the combinatorics of surface triangulations and the basics of scattering diagrams to address this problem. Our main result is a formula for the length of minimal length maximal green sequences of quivers defined by triangulations of an annulus or a punctured disk.

We define an action of the extended affine d-strand braid group on the open positroid stratum in the Grassmannian Gr(k,n), for d the greatest common divisor of k and n. The action is by quasi-automorphisms of the cluster structure on the Grassmannian, determining a homomorphism from the extended affine braid group to the cluster modular group. We also define a quasi-isomorphism between the Grassmannian Gr(k,rk) and the Fock-Goncharov configuration space of 2r-tuples of affine flags for SL(k). This identifies the cluster variables, clusters, and cluster modular groups, in these two cluster structures. Fomin and Pylyavskyy proposed a description of the cluster combinatorics for Gr(3,n) in terms of Kuperberg's basis of non-elliptic webs. As our main application, we prove many of their conjectures for Gr(3,9) and give a presentation for its cluster modular group. We establish similar results for Gr(4,8). These results rely on the fact that both of these Grassmannians have finite mutation type.

In this paper, we study combinatorial properties of quasi-Cartan companions defined by the c-vectors of acyclic skew-symmetrizable cluster algebras. In particular, we show that the diagram of any skew-symmetrizable matrix associated with an acyclic cluster algebra has an admissible cut of edges.

For cluster algebras from surfaces, there is a known formula for cluster variables and F-polynomials in terms of the perfect matchings of snake graphs. If the cluster algebra has trivial coefficients, there is also a known formula for cluster variables in terms of continued fractions. In this paper, we extend this result to cluster algebras with principal coefficients by producing a formula for the F-polynomials in terms of continued fractions.

Following the proof of the purity conjecture for weakly separated collections, recent years have revealed a variety of wider examples of purity in different settings. In this paper we consider the collection $\mathcal A_{I,J}$ of sets that are weakly separated from two fixed sets $I$ and $J$. We show that all maximal by inclusion weakly separated collections $\mathcal W\subset\mathcal A_{I,J}$ are also maximal by size, provided that $I$ and $J$ are sufficiently "generic". We also give a simple formula for the cardinality of $\mathcal W$ in terms of $I$ and $J$. We apply our result to calculate the cluster distance and to give lower bounds on the mutation distance between cluster variables in the cluster algebra structure on the coordinate ring of the Grassmannian. Using a linear projection that relates weak separation to the octahedron recurrence, we also find the exact mutation distances and cluster distances for a family of cluster variables.