arXiv++ Combinatorics

Frieze patterns are numerical arrangements that satisfy a local arithmetic rule. These arrangements are actively studied in connection to the theory of cluster algebras. In the setting of cluster algebras, the notion of a frieze pattern can be generalized, in particular to a frieze associated with a bordered marked surface endowed with a decorated hyperbolic metric. We study friezes associated with a pair of pants, interpreting entries of the frieze as lambda-lengths of arcs connecting the marked points. We prove that all positive integral friezes over such surfaces are unitary, i.e. they arise from triangulations with all edges having unit lambda-lengths.

It is known that any infinite frieze comes from a triangulation of an annulus by Baur, Parsons and Tschabold. In this paper we show that each periodic infinite frieze determines a triangulation of an annulus in essentially a unique way. Since each triangulation of an annulus determines a pair of friezes, we study such pairs and show how they determine each other. We study associated module categories and determine the growth coefficient of the pair of friezes in terms of modules as well as their quiddity sequences.

Frieze patterns form a nexus between algebra, combinatorics, and geometry. T-paths with respect to triangulations of surfaces have been used to obtain expansion formulae for cluster variables. This paper will introduce the concepts of weak friezes and T-paths with respect to dissections of polygons. Our main result is that weak friezes are characterised by satisfying an expansion formula which we call the T-path formula. We also show that weak friezes can be glued together, and that the resulting weak frieze is a frieze if and only if so was each of the weak friezes being glued.

In this paper we introduce abstract string modules and give an explicit bijection between the submodule lattice of an abstract string module and the perfect matching lattice of the corresponding abstract snake graph. In particular, we make explicit the direct correspondence between a submodule of a string module and the perfect matching of the corresponding snake graph. For every string module, we define a Coxeter element in a symmetric group, and we establish a bijection between these lattices and the interval in the weak Bruhat order determined by the Coxeter element. Using the correspondence between string modules and snake graphs, we give a new concise formulation of snake graph calculus.

We introduce an expansion formula for elements in quantum cluster algebras associated to type A and Kronecker quivers with principal quantization. Our formula is parametrized by perfect matchings of snake graphs as in the classical case. In the Kronecker case, the coefficients are q-powers whose exponents are given by a weight function induced by the lattice of perfect matchings. As an application, we prove that a reflectional symmetry on the set of perfect matchings satisfies Stembridge's q=-1 phenomenon with respect to the weight function.

This paper is a sequel to our previous work in which we found a combinatorial realization of continued fractions as quotients of the number of perfect matchings of snake graphs. We show how this realization reflects the convergents of the continued fractions as well as the Euclidean division algorithm. We apply our findings to establish results on sums of squares, palindromic continued fractions, Markov numbers and other statements in elementary number theory.

We generalize the construction of the bangle, band and the bracelet bases for cluster algebras from orbifolds to the case where there is only one marked point on the boundary.

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.

We establish a combinatorial realization of continued fractions as quotients of cardinalities of sets. These sets are sets of perfect matchings of certain graphs, the snake graphs, that appear naturally in the theory of cluster algebras. To a continued fraction $[a_1,a_2,\ldots,a_n]$, we associate a snake graph $\mathcal{G}[a_1,a_2,\ldots,a_n]$ such that the continued fraction is the quotient of the number of perfect matchings of $\mathcal{G}[a_1,a_2,\ldots,a_n]$ and $\mathcal{G}[a_2,\ldots,a_n]$. We also show that snake graphs are in bijection with continued fractions. We then apply this connection between cluster algebras and continued fractions in two directions. First, we use results from snake graph calculus to obtain new identities for the continuants of continued fractions. Then, we apply the machinery of continued fractions to cluster algebras and obtain explicit direct formulas for quotients of elements of the cluster algebra as continued fractions of Laurent polynomials in the initial variables. Building on this formula, and using classical methods for infinite periodic continued fractions, we also study the asymptotic behavior of quotients of elements of the cluster algebra.

We introduce several commutative rings, the snake rings, that have strong connections to cluster algebras. The elements of these rings are residue classes of unions of certain labeled graphs that were used to construct canonical bases in the theory of cluster algebras. We obtain several rings by varying the conditions on the structure as well as the labelling of the graphs. The most restrictive form of this ring is isomorphic to the ring $\mathbb{Z}[x,y]$ of polynomials in two variables over the integers. A more general form contains all cluster algebras of unpunctured surface type. The definition of the rings requires the snake graph calculus which is completed in this paper building on two earlier articles on the subject. Identities in the snake ring correspond to bijections between the posets of perfect matchings of the graphs. One of the main results of the current paper is the completion of the explicit construction of these bijections.

We extend the construction of canonical bases for cluster algebras from unpunctured surfaces to the case where the number of marked points is one, and we show that the cluster algebra is equal to the upper cluster algebra in this case.

Snake graphs appear naturally in the theory of cluster algebras. For cluster algebras from surfaces, each cluster variable is given by a formula which is parametrized by the perfect matchings of a snake graph. In this paper, we continue our study of snake graphs from a combinatorial point of view. We introduce the notions of abstract snake graphs and abstract band graphs, their crossings and self-crossings, as well as the resolutions of these crossings. We show that there is a bijection between the set of perfect matchings of (self-)crossing snake graphs and the set of perfect matchings of the resolution of the crossing. In the situation where the snake and band graphs are coming from arcs and loops in a surface without punctures, we obtain a new proof of skein relations in the corresponding cluster algebra.

Snake graphs appear naturally in the theory of cluster algebras. For cluster algebras from surfaces, each cluster variable is given by a formula which is parametrized by the perfect matchings of a snake graph. In this paper, we identify each cluster variable with its snake graph, and interpret relations among the cluster variables in terms of these graphs. In particular, we give a new proof of skein relations of two cluster variables.