CLUSTER ALGEBRAS AND CONTINUED FRACTIONS

arXiv:1608.06568v3 [math.CO] 26 Sep 2016

ILKE CANAKCI AND RALF SCHIFFLER
Abstract. 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
[a1 , a2 , . . . , an ], we associate a snake graph G[a1 , a2 , . . . , an ] such that the continued fraction
is the quotient of the number of perfect matchings of G[a1 , a2 , . . . , an ] and G[a2 , . . . , an ]. 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.

Contents
1. Introduction
1
2. Preliminaries
4
3. The snake graph of a continued fraction
8
4. The set of all abstract snake graphs
11
5. Three formulas for continued fractions
14
6. The relation to cluster algebras
16
7. Infinite continued fractions and limits of rational functions from cluster algebras 22
References
27

1. Introduction
Cluster algebras were introduced by Fomin and Zelevinsky in 2002 in [FZ1]. Originally
motivated by the study of canonical bases in Lie theory, the theory has gained a tremendous
development over the last 15 years, and cluster algebras are now connected to various areas
of mathematics and physics, including Lie theory, quiver representations, combinatorics,
dynamical systems, algebraic geometry, Teichmüller theory, and string theory.
In this paper, we add another item to this list by providing a connection between cluster
algebras and continued fractions. The method of continued fractions is a classical tool that
2000 Mathematics Subject Classification. Primary: 13F60, Secondary: 11A55 and 30B70.
Key words and phrases. Cluster algebras, continued fractions, snake graphs.
The first author was supported by EPSRC grant number EP/N005457/1, UK, and Durham University,
and the second author was supported by the NSF-CAREER grant DMS-1254567, and by the University of
Connecticut.
1

2

ILKE CANAKCI AND RALF SCHIFFLER

is of fundamental importance in analysis and number theory, and also appears in many other
areas of mathematics, for example in knot theory and hyperbolic geometry.
The connection we are proposing is of combinatorial nature. The key combinatorial objects
are the so-called snake graphs. These graphs appeared naturally in the theory of cluster
algebras of surface type in [Pr, MS, MSW, MSW2] and were studied in a systematic way in
our previous work [CS, CS2, CS3]. Each cluster variable in a cluster algebra of surface type
is given by a combinatorial formula whose terms are parametrized by the perfect matchings
of a snake graph [MSW].
In the present paper, we construct a snake graph G[a1 , a2 , . . . , an ] for every continued
fraction [a1 , a2 , . . . , an ] with ai ∈ Z≥1 . Our first main result is the following combinatorial
interpretation of continued fractions as quotients of cardinalities of sets.
Theorem A. If m(G) denotes the number of perfect matchings of the graph G then
m(G[a1 , a2 , . . . , an ])
[a1 , a2 , . . . , an ] =
m(G[a2 , a3 , . . . , an ])
and the fraction on the right hand side is reduced.
In particular, this theorem implies that the number of terms in the Laurent expansion of
cluster variables in cluster algebras of surface type is equal to the numerator of the associated
continued fraction.
We then show that our construction actually provides a bijection between snake graphs
and finite continued fractions in Theorem 4.1, as well as a bijection between infinite snake
graphs and infinite continued fractions in Theorem 4.5. A direct consequence is the following
corollary.
Corollary. The number of snake graphs that have precisely N perfect matchings is equal to
φ(N ), where φ is Euler’s totient function.
This relation between snake graphs and continued fractions is useful in both directions.
On the one hand, we can use it to interpret results on snake graphs from [CS] as identities in
terms of continued fractions. We present several examples in Theorem 5.2, where we recover
the classical identities for the convergents of continued fractions and Euler’s identities for
continuants, but we also produce another family of identities that we did not find in the
literature on continued fractions.
On the other hand, we can use the machinery of continued fractions in the study of cluster
algebras. Let A be a cluster algebra of surface type and initial cluster (x1 , x2 , . . . , xN ). Then
the cluster variables xγ of A are in bijection with the arcs γ in the surface [FST], and can
be computed via the snake graph formula of [MSW] mentioned above. The same formula
also defines an element xγ for every generalized arc, where generalized arcs differ from arcs
by allowing to have self-crossings.
Now let γ be a generalized arc with snake graph Gγ = G[a1 , a2 , . . . , an ]. Then there exists
a unique generalized arc γ 0 whose snake graph Gγ 0 is the subgraph G[a2 , a3 , . . . , an ] of Gγ . For
each ai , we construct a Laurent polynomial Li in the initial cluster variables x1 , x2 , . . . , xN
depending on γ, and we prove the following result.
Theorem B. For every generalized arc γ, we have the following identity in the field of
fractions of the cluster algebra A
xγ
= [L1 , L2 , . . . , Ln ].
xγ 0

CLUSTER ALGEBRAS AND CONTINUED FRACTIONS

3

Moreover, xγ and xγ 0 are relatively prime in the ring of Laurent polynomials and thus the
left hand side of the equation is reduced.
In particular, if γ and γ 0 have no self-crossing then the left hand side of the equation is a
quotient of cluster variables.
This formula is of considerable computational interest, since the Li are given by an explicit
formula, see Proposition 6.2.
Theorem B suggests that one should study the quotients of certain elements of the cluster
algebra and their asymptotic behavior. Using techniques from continued fractions, we obtain
the following result. In this theorem, we work in the cluster algebra of the once punctured
torus for convenience.
Theorem C. Let A be the cluster algebra of the once punctured torus with initial cluster x =
(x1 , x2 , x3 ). Let x01 = (x22 + x23 )/x1 denote the cluster variable obtained from x by the single
mutation µ1 . Let u(i) denote the cluster variable obtained from x by the mutation sequence
µ1 µ2 µ1 µ2 µ1 · · · of length i and G be its snake graph. Let v(i) be the Laurent polynomial
corresponding to the snake graph obtained from G by removing the south edge e0 .
(a) The quotient u(i)/v(i) converges as i tends to infinity and its limit is
q
0
x1 − x1 + (x01 − x1 )2 + 4x23
α=
.
2x3
The quotient of the cluster variables u(i)/u(i − 1) converges as i tends to infinity and its
limit is
p
x01 + x1 + (x01 − x1 )2 + 4x23
β=
.
2x2
x0 −x
(b) Let z = 1x3 1 . Then α has the following periodic continued fraction expansion

if z > 0;
 [z],
α=
 [0, −z ] if z < 0.
Similar formulas hold for other mutation sequences. In particular the analogous results
for the annulus with two marked points is obtained by setting x3 = 1.
The results of this paper have applications in several lines of research which will be studied
in future work, including cluster algebras and cluster categories of infinite rank [HJ, GG,
LP, CF], continuous cluster categories [IT], Euler characteristic of quiver Grassmannians (see
Corollary 6.11 for a first result), string modules and string objects in the module categories
and cluster categories of triangulated marked surfaces [BZ, QZ, L], combinatorial structure
of continued fractions, integer sequences, and friezes [C].
Continued fractions are ubiquitous in mathematics and have also appeared in the context
of cluster algebras before, although unrelated to our results. Nakanishi and Stella used
them for constructing an initial seed of a cluster algebra in order to prove periodicity in
sine-Gordon Y -systems in [NaSt]. Di Francesco and Kedem obtained a very particular kind
of (generalized) continued fractions in their computation of generating functions of cluster
variables that lie along a specific sequence of mutations in a cluster algebra associated to
b1
a Cartan matrix. Their (generalized) continued fractions are of the form a1 +
b2
a2 +
a3 · · ·

4

ILKE CANAKCI AND RALF SCHIFFLER

with numerators bi 6= 1, and the ai depending on the bi . When specializing all bi = 1, one
obtains continued fractions of the form [1, 1, 2, 2, . . . , 2] [DFK]. Our two approaches have an
interesting overlap in the case of the cluster algebra of the Kronecker quiver which arises as
a special case in two different ways. For Di Francesco and Kedem it corresponds to the case
of the Cartan matrix (a11 ) = (2) of rank 1, and for us to the annulus with 2 marked points
on the boundary. In section 7, we compute examples of the asymptotic behavior of cluster
variables for the torus with one puncture, from which the Kronecker case can be obtained by
specializing one of the variables to 1. It would be interesting to compare our limit function
with the generating function in [DFK] in this case.
The paper is organized as follows. In section 2, we recall definitions and facts about
snake graphs and continued fractions. The construction of the snake graph G[a1 , a2 , . . . , an ]
of a continued fraction [a1 , a2 , . . . , an ] is given in section 3, and the bijection between snake
graphs and continued fractions in section 4. In section 5 we list several identities of continued
fractions that follow immediately from the snake graph calculus of [CS]. The relation to
cluster algebras is given in sections 6 and 7. In particular, the proof of Theorem B is given
in section 6 and Theorem C in section 7.
2. Preliminaries
2.1. Cluster algebras from surfaces. Cluster algebras were introduced by Fomin and
Zelevinsky in [FZ1]. A cluster algebra is a Z-subalgebra of a field of rational functions
Q(x1 , . . . , xN ) in N variables. The cluster algebra is given by a set of generators, the cluster
variables, which is constructed recursively from the initial cluster variables x1 . . . . , xN by a
process called mutation. It is known that each cluster variable is a Laurent polynomial in
x1 , . . . , xN with integer coefficients [FZ1] and that these coefficients are non-negative [LS].
We refer the reader to [FZ4] for the precise definition of cluster algebras.
In this paper, we are mainly interested in the special type of cluster algebras which are
associated to marked surfaces, see [FST]. Let S be a connected oriented 2-dimensional
Riemann surface with (possibly empty) boundary. Fix a nonempty set M of marked points
in the closure of S with at least one marked point on each boundary component. The pair
(S, M ) is called a bordered surface with marked points. Marked points in the interior of S
are called punctures.
An arc γ in (S, M ) is a curve in S, considered up to isotopy, such that
(a)
(b)
(c)
(d)

the endpoints of γ are in M ;
γ does not cross itself, except that its endpoints may coincide;
except for the endpoints, γ is disjoint from M and from the boundary of S,
γ does not cut out an unpunctured monogon or an unpunctured bigon.

A generalized arc is a curve which satisfies conditions (a),(c) and (d), but it can have selfcrossings. Curves that connect two marked points and lie entirely on the boundary of S
without passing through a third marked point are called boundary segments. By (c), boundary segments are not arcs.
For any two arcs γ, γ 0 in (S, M ), let e(γ, γ 0 ) be the minimal number of crossings of arcs α
and α0 , where α and α0 range over all arcs isotopic to γ and γ 0 , respectively. We say that
two arcs γ and γ 0 are compatible if e(γ, γ 0 ) = 0.
An ideal triangulation is a maximal collection of pairwise compatible arcs (together with
all boundary segments). The arcs of a triangulation cut the surface into ideal triangles.

CLUSTER ALGEBRAS AND CONTINUED FRACTIONS

5

G6 e6 G7 e7 G8
e5
G4 e4 G5
e3
G3
e2
G1 e1 G2

Figure 1. A snake graph with 8 tiles and 7 interior edges (left); a sign function on the same snake graph (right)
In [FST], the authors associated a cluster algebra A(S, M ) to any bordered surface with
marked points (S, M ), and showed that the clusters of A(S, M ) are in bijection with triangulations of (S, M ), and the cluster variables of A(S, M ) are in bijection with the (tagged)
arcs of (S, M ).
2.2. Snake graphs. Abstract snake graphs have been introduced and studied [CS, CS2,
CS3] motivated by the snake graphs appearing in the combinatorial formulas for elements
in cluster algebras of surface type in [Pr, MS, MSW, MSW2]. In this section, we recall the
main definitions. Throughout we fix the standard orthonormal basis of the plane.
A tile G is a square in the plane whose sides are parallel or orthogonal to the elements in
the fixed basis. All tiles considered will have the same side length.
North
West

G

East

South

We consider a tile G as a graph with four vertices and four edges in the obvious way. A snake
graph G is a connected planar graph consisting of a finite sequence of tiles G1 , G2 , . . . , Gd
with d ≥ 1, such that Gi and Gi+1 share exactly one edge ei and this edge is either the north
edge of Gi and the south edge of Gi+1 or the east edge of Gi and the west edge of Gi+1 , for
each i = 1, . . . , d − 1. An example is given in Figure 1. The graph consisting of two vertices
and one edge joining them is also considered a snake graph.
The d − 1 edges e1 , e2 , . . . , ed−1 which are contained in two tiles are called interior edges
of G and the other edges are called boundary edges. Denote by Int (G) = {e1 , e2 , . . . , ed−1 }
the set of interior edges of G. We will always use the natural ordering of the set of interior
edges, so that ei is the edge shared by the tiles Gi and Gi+1 .
We denote by SW G the 2 element set containing the south and the west edge of the first
tile of G and by G NE the 2 element set containing the north and the east edge of the last tile
of G. We will sometimes refer to the two edges in SW G as the south edge of G and the west
edge of G, respectively. Similarly, the two edges in G NE will be called the north edge of G
and the east edge of G, respectively. If G is a single edge, we let SW G = ∅ and G NE = ∅.
A snake graph G is called straight if all its tiles lie in one column or one row, and a snake
graph is called zigzag if no three consecutive tiles are straight. We say that two snake graphs
are isomorphic if they are isomorphic as graphs.

6

ILKE CANAKCI AND RALF SCHIFFLER

∆0
τi1

e8

∆7

∆4

∆1

s

e7

e4

e1

∆8
∆10

γ
∆3

∆5

τi7
∆6

e3

e5

e6

τi4

τi3

τi2
∆2
e2

τi6

τi5

τi10

τi8 τi9

t

∆9
e9

Figure 2. The arc γ passing through d + 1 triangles ∆0 , . . . , ∆d
A sign function f on a snake graph G is a map f from the set of edges of G to {+, −}
such that on every tile in G the north and the west edge have the same sign, the south and
the east edge have the same sign and the sign on the north edge is opposite to the sign on
the south edge. See Figure 1 for an example.
Note that on every snake graph there are exactly two sign functions. A snake graph is
determined up to symmetry by its sequence of tiles together with a sign function on its
interior edges. If H is a subgraph of G, we write G \ H for the full subgraph of G whose
vertices are in G \ H. For example, if G is the snake graph of 8 tiles in Figure 1 then G \ G8
is the snake graph consisting of the first 6 tiles.
2.2.1. Infinite snake graphs. We define infinite snake graphs G analogously using an infinite
sequence of tiles (G1 , G2 , . . .). If G is an infinite snake graph then SW G is defined as above,
but G NE does not exist.
2.3. Labeled snake graphs from surfaces. In this subsection we recall the definition of
snake graphs of [MSW]. We follow the exposition in [S].
Let T be an ideal triangulation of a surface (S, M ) and let γ be an arc in (S, M ) which is
not in T . Choose an orientation on γ, let s ∈ M be its starting point, and let t ∈ M be its
endpoint. Denote by
s = p0 , p1 , p2 , . . . , pd+1 = t
the points of intersection of γ and T in order. For j = 1, 2, . . . , d, let τij be the arc of T
containing pj , and let ∆j−1 and ∆j be the two ideal triangles in T on either side of τij . Then,
for j = 1, . . . , d − 1, the arcs τij and τij+1 form two sides of the triangle ∆j in T and we
define ej to be the third arc in this triangle, see Figure 2.
Let Gj be the quadrilateral in T that contains τij as a diagonal. We will think of Gj as a
tile as in section 2.2, but now the edges of the tile are arcs in T and thus are labeled edges.
We also think of the tile Gj itself being labeled by the diagonal τij .
Define a sign function f on the edges e1 , . . . , ed by

+1 if ej lies on the right of γ when passing through ∆j
f (ej ) =
−1 otherwise.
The labeled snake graph Gγ = (G1 , . . . , Gd ) with tiles Gi and sign function f is called
the snake graph associated to the arc γ. Each edge e of Gγ is labeled by an arc τ (e) of the
triangulation T . We define the weight x(e) of the edge e to be cluster variable associated to
the arc τ (e). Thus x(e) = xτ (e) .
The main result of [MSW] is a combinatorial formula for the cluster variables in A(S, M ).
Let γ be an arc and xγ the corresponding cluster variable. A perfect matching P of Gγ is a

CLUSTER ALGEBRAS AND CONTINUED FRACTIONS

7

subset of the set of edges of Gγ such that each vertex of Gγ is incident to exactly one edge in
P . Then, if the triangulation has no self-folded triangles, we have
X
1
xγ =
x(P ),
cross(Gγ ) P ∈Match G
γ
Q
where the sum runs over all perfect matchings of Gγ , the summand x(P ) = e∈P x(e)
Q
is the weight of the perfect matching P , and cross(G) = dj=1 xij is the product (with
multiplicities) of all initial cluster variables whose arcs are crossed by γ. In the presence of
self-folded triangles, the combinatorial formula in [MSW] is slightly more complicated.
2.4. Continued fractions. Continued fractions are remarkably influential in many areas
of mathematics. For a standard introduction, we refer to [HW, Chapter 10]. For a more
extensive treatment of continued fractions see [P].
A finite continued fraction is a function
1

[a1 , a2 , . . . , an ] = a1 +

1

a2 +
a3 +

1
..

.+

1
an

of n variables a1 , a2 , . . . , an . Similarly, an infinite continued fraction is a function
1

[a1 , a2 , . . .] = a1 +
a2 +

1
a3 +

1
...

of infinitely many variables a1 , a2 , . . . We use the notation [a] for the periodic continued
fraction [a] = [a, a, a, . . .], where ai = a, for all i. Note that
[a1 , a2 , . . . , an ] = a1 +

1
[a2 , . . . , an ]

and

[a] = a +

1
.
[a]

In sections 3 – 5 of this paper, we are interested in finite continued fractions where each
ai is an integer. However, in section 6, we consider finite continued fractions of Laurent
polynomials as well as finite continued fractions of complex numbers, and in section 7,
infinite continued fractions of Laurent polynomials.
We say that a continued fraction [a1 , a2 , . . . , an ] is positive if each ai ∈ Z≥1 . We say that
a continued fraction [a0 , a1 , . . . , an ] is simple if a0 ∈ Z and ai ∈ Z≥1 , for each i ≥ 1.
Note that if [a1 , a2 , . . . , an ] is a simple continued fraction with an = 1, then [a1 , a2 , . . . , an ] =
[a1 , a2 , . . . , an−1 + 1]. Thus it suffices to consider continued fractions whose last coefficient
is at least 2. The following classical result shows that this is the only ambiguity for finite
continued fractions.
Proposition 2.1. [HW, Theorem 162]
(a) There is a bijection between Q>1 and the set of finite positive continued fractions
whose last coefficient is at least 2.

8

ILKE CANAKCI AND RALF SCHIFFLER

(b) There is a bijection between Q and the set of finite simple continued fractions whose
last coefficient is at least 2.
1

Example 2.2. We have [2, 3, 4] = 2 +

=2+

30
4
= .
13 13

1
4
We shall need the following general fact about continued fractions.
3+

Lemma 2.3. [ra1 , r−1 a2 , ra3 , . . . , r(−1)

n+1

an ] = r [a1 , a2 , . . . , an ].

Proof. If n = 1, both sides of the equation are equal to ra1 . Suppose n > 1. Then
1
n+1
[ra1 , r−1 a2 , ra3 , . . . , r(−1) an ] = ra1 + −1
[r a2 , ra3 , . . . , r(−1)n+1 an ]
1
(by induction)
2 , a3 , . . . , an ]


1
= r a1 +
[a2 , a3 , . . . , an ]
= ra1 +

r−1 [a

= r [a1 , a2 , . . . , an ].



30
3
, and [2 · 13,
, 4 · 13] = 30.
13
13
For infinite continued fractions we have the following classical result.

Example 2.4. We have [2, 3, 4] =

Proposition 2.5. [HW, Theorem 170]
(a) There is a bijection between R>1 \ Q>1 and the set of infinite positive continued
fractions.
(b) There is a bijection between R \ Q and the set of infinite simple continued fractions.
3. The snake graph of a continued fraction
We have seen in section 2.2 that snake graphs appear naturally in the theory of cluster
algebras from surfaces, where they are used to compute the Laurent expansions of the cluster
variables. The terms in the Laurent polynomial of a cluster variable are parametrized by
the perfect matchings of the associated snake graph.
In this section, we present a new connection between snake graphs and continued fractions. For every positive continued fraction [a1 , a2 , . . . , an ], we construct a snake graph
G[a1 , a2 , . . . , an ] in such a way that the number of perfect matchings of the snake graph is
equal to the numerator of the continued fraction.
Recall that a snake graph G is determined by a sequence of tiles G1 , . . . , Gd and a sign
function f on the interior edges Int G of G. As usual, we denote the interior edges by
e1 , . . . , ed−1 . Denote by e0 ∈ SW G the south edge of G and choose an edge ed ∈ G NE . The
sign function can be extended in a unique way to all edges of G. In particular, we obtain a
sign sequence
(3.1)

(f (e0 ), f (e1 ), . . . , f (ed−1 ), f (ed )).

This sequence uniquely determines the snake graph and a choice of a northeast edge ed ∈ G NE .

CLUSTER ALGEBRAS AND CONTINUED FRACTIONS

9

H5

H3 H4
H1

H2

Figure 3. The snake graph of the continued fraction [2, 3, 1, 2, 3]. The sign
sequence (−, −, +, +, +, −, +, +, −, −, −) = (f (e0 ), f (e1 ), . . . , f (e10 )) is given
in red. The sign changes occur in the tiles G`i , with `i = 2, 5, 6, 8. The
subgraphs H1 , . . . , H5 on the right are obtained by removing the boundary
edges of the tiles G`i , for i = 1, . . . , n.
Now let [a1 , a2 , . . . , an ] be a positive continued fraction, and let d = a1 + a2 + · · · + an − 1.
Consider the following sign sequence
(−, . . . , −, , . . . , , −, . . . , −, . . . , ±, . . . , ±),
| {z } | {z } | {z }
| {z }
a1
a2
a3
...
an


+ if  = −;
− if i is odd;
where  ∈ {−, +}, − =
We define sgn(ai ) =
Thus each
− if  = +.
 if i is even.
integer ai corresponds to a maximal subsequence of constant sign sgn(ai ) in the sequence
(3.2).
P
We let `i denote the position of the last term in the i-th subsequence, thus `i = ij=1 aj .
(3.2)

Definition 3.1. The snake graph G[a1 , a2 , . . . , an ] of the positive continued fraction [a1 , a2 , . . . , an ]
is the snake graph with d tiles determined by the sign sequence (3.2).
An example is given in Figure 3. In the special case where n = 1 and a1 = 1, this definition
means that G[1] is a single edge.
Let f : {e0 , e1 , . . . , ed } → {±} denote the sign function of G[a1 , a2 , . . . , an ] induced by the
sign sequence.
Lemma 3.2. For each i = 1, 2, . . . , n − 1, the subsnake graph of G[a1 , a2 , . . . , an ] consisting
of the three consecutive tiles (G`i −1 , G`i , G`i +1 ) is straight.
Proof. This follows immediately from the construction, since f (e`−1 ) 6= f (e` ).



Next we define zigzag subsnake graphs H1 , . . . , Hn of G = G[a1 , a2 , . . . , an ] as follows. Let
H1 = (G1 , . . . , G`1 −1 )
H2 = (G`1 +1 , . . . , G`2 −1 )
..
.
Hi = (G`i−1 +1 , . . . , G`i −1 )
..
.
Hn = (G`n−1 +1 , . . . , Gd ),
where (Gj , . . . , Gk ) is the subsnake graph of G consisting of the tiles Gj , Gj+1 , . . . , Gk , if
j ≤ k, and (Gj+1 , . . . , Gj ) is the single edge ej , see Figure 3 for an example.

10

ILKE CANAKCI AND RALF SCHIFFLER

Lemma 3.3. For each i = 1, 2, . . . , n, the graph Hi is a zigzag snake graph with ai − 1
tiles. In particular Hi ∼
= G[ai ] is the snake graph of the continued fraction [ai ] with a single
coefficient ai .
Proof. By construction, the interior edges of Hi all have the same sign sgn(ai ), and Hi has
ai − 1 tiles. This implies that Hi ∼

= G[ai ] and that it is a zigzag snake graph.
We are now ready for the main result of this section.
Theorem 3.4.
(a) The number of perfect matchings of G[a1 , a2 , . . . , an ] is equal to the
numerator of the continued fraction [a1 , a2 , . . . , an ].
(b) The number of perfect matchings of G[a2 , a3 , . . . , an ] is equal to the denominator of
the continued fraction [a1 , a2 , . . . , an ].
(c) If m(G) denotes the number of perfect matchings of G then
[a1 , a2 , . . . , an ] =

m(G[a1 , a2 , . . . , an ])
.
m(G[a2 , . . . , an ])

Proof. (a) If n = 1, then G[a1 ] is a zigzag snake graph with a1 − 1 tiles. If a1 = 1, this graph
is a single edge and it has exactly one perfect matching. If a1 > 1, then there is exactly
one perfect matching of G[a1 ] that contains the edge e0 . On the other hand, if a perfect
matching does not contain e0 , then it must contain the other edge b0 in SW G[a1 ] and it must
be a perfect matching on the remaining part which is a zigzag snake graph with a1 − 2 tiles.
By induction this gives a total of a1 perfect matchings.
Now suppose that n > 1, and let P be a perfect matching of the snake graph G[a1 , a2 , . . . , an ].
We will denote by N [a1 , a2 , . . . , an ] the numerator of the continued fraction [a1 , a2 , . . . , an ].
By Lemma 3.2, the tiles G`1 −1 , G`1 and G`1 +1 form a straight subsnake graph of G[a1 , a2 , . . . , an ].
If P does not contain the two boundary edges of G`1 then the restrictions of P to H1 ∼
= G[a1 ]
∼
and G \ H1 = G[a2 , a3 , . . . , an ] are perfect matchings of these subgraphs. By induction this
gives a1 +N [a2 , a3 , . . . , an ] perfect matchings. On the other hand, if P contains the boundary
edges of G`1 then, since H1 and H2 are zigzag snake graphs, the restriction of P to H1 and
H2 consists of boundary edges only, and there is a unique such matching on H1 and on H2 .
Moreover, the restriction of P to G[a3 , a4 , . . . , an ] is a perfect matching of that subgraph. By
induction, this gives N [a3 , a4 , . . . , an ] perfect matchings. Putting these two cases together,
we get a total of
(3.3)

a1 N [a2 , a3 , . . . , an ] + N [a3 , a4 , . . . , an ]

perfect matchings.
For the remainder of this proof, denote by N and D the numerator and the denominator
and N, D are relatively prime.
of the continued fraction [a3 , . . . , an ]. Thus [a3 , . . . , an ] = N
D
Then
[a1 , a2 , . . . , an ] = a1 +

1
a2 +

D
N

= a1 +

N
a1 (a2 N + D) + N
=
.
a2 N + D
a2 N + D

Note that this fraction is reduced, because N and D are relatively prime. Thus
(3.4)

N [a1 , a2 , . . . , an ] = a1 (a2 N + D) + N.

CLUSTER ALGEBRAS AND CONTINUED FRACTIONS

11

Furthermore, from the identity
D
a2 N + D
=
N
N
we see that N [a2 , . . . , an ] = a2 N + D, and hence (3.4) implies that
[a2 , . . . , an ] = a2 +

N [a1 , a2 , . . . , an ] = a1 N [a2 , . . . , an ] + N [a3 , . . . , an ].
This completes the proof of (a).
Statement (b) follows directly from (a) because the denominator of [a1 , a2 , . . . , an ] is equal
to the numerator of [a2 , . . . , an ], and (c) is obtained by combining (a) and (b).

Example 3.5. For [a1 , a2 , . . . , an ] = [1, 1, . . . , 1], the snake graph G = G[1, 1, . . . , 1] is the
straight snake graph with n − 1 tiles and its number of perfect matchings is the n + 1-st
Fibonacci number. The first few values are given in the table below.
n
1 2 3 4 5 6 7 8 9 10
m(G) 1 2 3 5 8 13 21 34 55 89
Example 3.6. For [a1 , a2 , . . . , an ] = [2, 2, . . . , 2], the snake graph G = G[2, 2, . . . , 2] has a
staircase shape where each horizontal and each vertical segment has exactly 3 tiles, and in
total there are n − 1 segments. The number of perfect matchings of G is the n + 1-st Pell
number. The first few values are given in the table below.
n
1 2 3 4 5
6
7
8
9
10
m(G) 2 5 12 29 70 169 408 985 2378 5741
Remark 3.7. The relation between cluster algebras and continued fractions established in
Theorem 3.4 has interesting implications on several levels. On the one hand, it allows us to
use the machinery of continued fractions in the theory of cluster algebras to gain a better
understanding of the elements of the cluster algebra and think of them in a new way. This
aspect is explored in the current paper.
On the other hand, Theorem 3.4 provides a new combinatorial model for continued fractions which allows us to interpret the numerators and denominators of positive continued
fractions as cardinalities of combinatorially defined sets. This interpretation is useful in
the understanding of continued fractions. A simple example is that the continued fractions
[a1 , a2 , . . . , an ] and [an , . . . , a2 , a1 ] have the same numerator; a fact which is well-known,
but not obvious in the theory of continued fractions, but which becomes trivial using Theorem 3.4, because G[an , . . . , a2 , a1 ] is obtained from G[a1 , a2 , . . . , an ] by a rotation about
180◦ . Moreover, the snake graph calculus of [CS, CS2, CS3] has produced a large number of
identities of snake graphs which now can be translated to identities of (complex) continued
fractions. In this way, we recover most of the classical identities involving convergents of the
continued fractions, and also obtain seemingly new identities. We give three examples in
section 5, and we will publish further results in this direction in a forthcoming paper [CS5].
4. The set of all abstract snake graphs
Definition 3.1 can be thought of as a map from the set of positive continued fractions to
the set of snake graphs. On the other hand, the sign sequence (3.1) can be thought of as
a map from snake graphs to positive continued fractions. Modulo a choice of an edge ed in
the north-east of the snake graph, it turns out that these maps are bijections. We have the
following theorem.

12

ILKE CANAKCI AND RALF SCHIFFLER

Theorem 4.1. There is a commutative diagram
n

pairs (G, ed ) of a snake graph G
with d ≥ 1 tiles, and ed ∈ G NE

o
o

F
∼
=

G

/

n

positive continued fractions different
from the continued fraction [1]

g

forget ed

n

o



0



F
snake graphs G with
/ positive continued fractions
at least one tile
with last coefficient > 1
UUUU
UUUU
UUUU
UUUU∼
U=UU
=
Ev ∼
χ UUUUUUU
UUUU
UUUU
UUUU
U* 
o

n

o

Q>1

where the maps are defined as follows.
- F maps the pair (G, ed ) to the continued fraction defined by the sign sequence
(f (e0 ), f (e1 ), . . . , f (ed−1 ), f (ed )),
- F0 maps the snake graph G to the continued fraction defined by the following sign
sequence taking the sign of the edge ed−1 twice
(f (e0 ), f (e1 ), . . . , f (ed−1 ), f (ed−1 ));
- G sends the continued fraction [a1 , a2 , . . . , an ] to the pair consisting of the snake graph
G[a1 , a2 , . . . , an ] and an edge ed determined by the sign sequence (3.2),
- g is defined by

[a1 , a2 , . . . , an−1 + 1] if an = 1;
g([a1 , a2 , . . . , an−1 , an ]) =
[a1 , a2 , . . . , an−1 , an ] if an > 1,
m(G)
- χ maps the snake graph G to the quotient m(G\H
and
1)
- Ev is the bijection from Proposition 2.1 sending the continued fraction to its value.
Moreover the maps F, G, F0 , χ and Ev are bijections.

Remark 4.2. We need to exclude the continued fraction [1] in the statement of the theorem,
because the map g is not defined on it. Of course, it corresponds to the unique snake graph
with zero tiles, the single edge snake graph.
Proof. Note first that all maps are well-defined, since the continued fraction [1] is excluded.
To show that the diagram commutes, suppose first that f (ed ) = f (ed−1 ). Then F(G, ed ) =
F0 (G). Moreover, if [a1 , a2 , . . . , an ] = F(G, ed ) then an > 1 and thus g(F(G, ed )) = F0 (G).
Now suppose that f (ed ) = −f (ed−1 ), and let [a1 , a2 , . . . , an ] = F(G, ed ). Then an = 1 and
thus g(F(G, ed )) = [a1 , a2 , . . . , an−1 + 1], and this is also equal to F0 (G). The lower triangle
commutes by Theorem 3.4.
Next, we show that F and G are bijections. Let G be a snake graph with d tiles, ed ∈ G NE
and f a sign function on G. Then F(G, ed ) is the continued fraction [a1 , a2 , . . . , an ] defined
by the sign sequence
(f (e0 ), f (e1 ), . . . , f (ed−1 ), f (ed )),

CLUSTER ALGEBRAS AND CONTINUED FRACTIONS

F

13

[2, 1, 1, 1]
g

F0

[2, 1, 2]

χ

Ev
8/3

Figure 4. An example of the action of the maps in Theorem 4.1.
where e1 , . . . , ed−1 are the interior edges of G and e0 is the south edge of G. The map G
sends this continued fraction to the pair (G[a1 , a2 , . . . , an ], e0d ), where G[a1 , a2 , . . . , an ] = G by
construction, and e0d ∈ G[a1 , a2 , . . . , an ]NE is the unique edge such that f (e0d ) = f (ed ); thus
e0d = ed . This shows that G ◦ F is the identity. Conversely, let [a1 , a2 , . . . , an ] be a positive
continued fraction. Then G([a1 , a2 , . . . , an ]) = (G[a1 , a2 , . . . , an ], ed ), where ed is determined
by the sign sequence (3.2). Applying F to this pair yields the continued fraction determined
by the same sign sequence. Thus F ◦ G is the identity.
To show that F0 is a bijection, let [a1 , a2 , . . . , an ] be a positive continued fraction with
an > 1. Applying the map G yields a pair (G[a1 , a2 , . . . , an ], ed ), where ed ∈ G[a1 , a2 , . . . , an ]NE
is the unique edge whose sign is equal to the sign of the last interior edge ed−1 , because
an > 1. Thus f (ed ) = f (ed−1 ) = sgn(an ). Forgetting the edge ed and applying the map F0
will produce the continued fraction given by the sign sequence
(f (e0 ), f (e1 ), . . . , f (ed−1 ), f (ed−1 )),
and since f (ed−1 ) = f (ed ), this continued fraction is [a1 , a2 , . . . , an ]. This shows that F0 is
surjective. Now assume that there are two snake graphs G, G 0 , with respective sign functions
f, f 0 such that F0 (G) P
= F0 (G 0 ) = [a1 , a2 , . . . , an ]. Then the sign sequences of G and G 0 have the
same length d+1 =
aj , and either f (ei ) = f 0 (e0i ) for each i = 1, 2, . . . , d, or f (ei ) = −f 0 (e0i )
for each i = 1, 2, . . . , d. Since e0 , respectively e00 , is the south edge of G, respectively G 0 , this
implies that G = G 0 . Thus F0 is a bijection.
The map Ev is a bijection by Proposition 2.1, and therefore the map χ is a bijection by
commutativity of the diagram.

Corollary 4.3. For every integer N ≥ 1, the number of snake graphs G with exactly N
perfect matchings is equal to the Euler totient function φ(N ).
Proof. The snake graph consisting of a single edge has 1 = φ(1) perfect matching. For
N ≥ 2, the map χ of the theorem induces a bijection
{G | m(G) = N } → {N/q | q ∈ {1, 2, . . . , N − 1}, gcd(N, q) = 1},
and the set on the right hand side has cardinality φ(N ).



Example 4.4. The 10 snake graphs with 11 perfect matchings are shown in Figure 5 together
with their rational numbers. The corresponding continued fractions are the following.

14

ILKE CANAKCI AND RALF SCHIFFLER

11
1

11
2

11
3

11
4

11
5

11
6

11
7

11
8

11
9

11
10

Figure 5. The 10 snake graphs with 11 perfect matchings together with their
rational numbers.
11
1

= [11]

11
2

= [5, 2]

11
3

= [3, 1, 2]

11
4

= [2, 1, 3]

11
5

= [2, 5]

11
6

= [1, 1, 5]

11
7

= [1, 1, 1, 3]

11
8

= [1, 2, 1, 2]

11
9

= [1, 4, 2]

11
10

= [1, 10]

We also have the following analogue of Theorem 4.1 for infinite snake graphs.
Theorem 4.5. There is a commutative diagram
F

/ {infinite positive continued
∼
=
UUUU
UUUU
UUUU
UUUU ∼
UUUU=
UU
=
Ev ∼
χ UUUUUUUU
UUUU
UUUU
U*


{infinite snake graphs}

fractions}

R>1 \ Q>1

where the maps are defined as follows.
- F maps the snake graph G to the continued fraction defined by the infinite sign sequence
(f (e0 ), f (e1 ), f (e2 ) . . .);
- χ maps the snake graph G to the limit
lim

n→∞

m(G[a1 , a2 , . . . , an ])
;
m(G[a1 , a2 , . . . , an ] \ H1 )

- Ev is the bijection from Proposition 2.5 sending the continued fraction to its value.
Moreover the maps F, χ and Ev are bijections.
5. Three formulas for continued fractions
In this section, we give three examples of formulas that follow directly from our earlier
work on snake graph calculus. We restrict ourselves here to the three cases that are easiest
to state in terms of continued fractions. However, the results in [CS, CS2] yield several other
formulas, which will be given in a forthcoming paper.
In what follows, the identities of snake graphs are identities in the snake ring introduced
in [CS3]. Equivalently, one can think of these identities as canonical bijections between
the sets of perfect matchings of the snake graphs involved, where multiplication is to be
replaced by disjoint union of graphs and addition by union of sets of perfect matchings. For
example an identity of the form G1 G2 = G3 G4 + G5 G6 means that there is a bijection between

CLUSTER ALGEBRAS AND CONTINUED FRACTIONS

15

Match (G1 t G2 ) and Match (G3 t G4 ) ∪ Match (G5 t G6 ), where Match (G) denotes the set of
perfect matchings of G.
We keep the notation of section 3. Let bi be the single edge corresponding to the tile G`i
in G = G[a1 , a2 , . . . , an ] and let b0 be the unique edge in SW G \ {e0 } and bn the unique edge
in G NE \ {ed }.
Theorem 5.1. We have the following identities of snake graphs, where we set G[a1 , . . . , a0 ] =
b0 and G[an+1 , . . . , an ] = bn .
(a) For every i = 1, 2, . . . , n,
bi G[a1 , . . . , an ] = G[a1 , . . . , ai ] G[ai+1 , . . . , an ] + G[a1 , . . . , ai−1 ] G[ai+2 , . . . , an ].

(b) For every j ≥ 0 and i such that 1 ≤ i + j ≤ n − 1,
G[a1 , . . . , ai+j ]G[ai , . . . , an ] = G[a1 , . . . , an ] G[ai , . . . , ai+j ]
+ (−1)j G[a1 , . . . , ai−2 ] G[ai+j+2 , . . . , an ].
(c) For snake graphs G[a1 , . . . , an ] and G[b1 , . . . , bm ] such that [ai , . . . , ai+k ] = [bj , . . . , bj+k ]
for k ≥ 0, 1 < i < n, 1 < j < m and ai−1 < bj−1 , ai+k+1 6= bj+k+1 , we have
G[a1 , . . . , an ] G[b1 , . . . , bm ] = G[a1 , . . . , ai−1 , bj , . . . , bm ] G[b1 , . . . , bj−1 , ai , . . . , an ]
+(−1)k G[a1 , . . . , ai−2 −1, 1, bj−1 − ai−1 −1, bj−2 , . . . , b1 ] G 0
where

 G[bm , . . . , bj+k+2 −1, 1, ai+k+1 − bj+k+1 −1, ai+k+2 , . . . , an ] if ai+k+1 > bj+k+1
0
G =
 G[b , . . . , b
m
j+k+2 , bj+k+1 − ai+k+1 −1, 1, ai+k+2 −1, , . . . , an ] if ai+k+1 < bj+k+1
Proof. Part (a) follows from a construction called grafting with the single edge bi , see [CS2,
section 3.3, case 3]. Part (b) is the resolution of two snake graphs with a crossing overlap
G[ai , . . . , ai+j ] [CS, section 2.4]. If j is even, then the overlap is crossing in the pair on the
left G[a1 , . . . , ai+j ]G[ai , . . . , an ], and if j is odd, then the overlap is crossing in the pair on
the right G[a1 , . . . , an ]G[ai , . . . , ai+j ]. Part (c) is the resolution of two snake graphs with a
crossing overlap G[ai−1 , ai , . . . , ai+k , d] = G[ai−1 , bj , . . . , bj+k , d] where d = min {ai+k+1 , bj+k+1 },
see [CS2, section 3.1].

Translating into continued fractions, we get the following.
Theorem 5.2. We have the following identities of numerators of continued fractions, where
we set N [a1 , . . . , a0 ] = 1, and N [an+1 , . . . , an ] = 1.
(a) For every i = 1, 2, . . . , n,
N [a1 , . . . , an ] = N [a1 , . . . , ai ] N [ai+1 , . . . , an ] + N [a1 , . . . , ai−1 ] N [ai+2 , . . . , an ].

16

ILKE CANAKCI AND RALF SCHIFFLER

(b) For every j ≥ 0 and i such that 1 ≤ i + j ≤ n − 1,
N [a1 , . . . , ai+j ] N [ai , . . . , an ] = N [a1 , . . . , an ] N [ai , . . . , ai+j ]
+ (−1)j N [a1 , . . . , ai−2 ] N [ai+j+2 , . . . , an ].
(c) For continued fractions [a1 , . . . , an ] and [b1 , . . . , bm ] such that [ai , . . . , ai+k ] = [bj , . . . , bj+k ]
for 0 ≤ k ≤ min(n − i − 2, m − j − 2), 2 < i < n, 2 < j < m and ai−1 < bj−1 , ai+k+1 6=
bj+k+1 , we have
N [a1 , . . . , an ] N [b1 , . . . , bm ] = N [a1 , . . . , ai−1 , bj , . . . , bm ] N [b1 , . . . , bj−1 , ai , . . . , an ]
+(−1)k N [a1 , . . . , ai−2 −1, 1, bj−1 − ai−1 −1, bj−2 , . . . , b1 ] N 0
where

 N [bm , . . . , bj+k+2 −1, 1, ai+k+1 − bj+k+1 −1, ai+k+2 , . . . , an ] if ai+k+1 > bj+k+1 ;
N0 =
 N [b , . . . , b
m
j+k+2 , bj+k+1 − ai+k+1 −1, 1, ai+k+2 −1, , . . . , an ] if ai+k+1 < bj+k+1 .
Proof. (a) The equation in part (a) of Theorem 5.1 is an equation of Laurent polynomials
in several variables xi . Setting each of these variables equal to 1, we get the identity
m(G[a1 , . . . , an ]) = m(G[a1 , . . . , ai ]) m(G[ai+1 , . . . , an ]) + m(G[a1 , . . . , ai−1 ]) m(G[ai+2 , . . . , an ]).
Now the result follows from Theorem 3.4. Part (b) and (c) are proved in the same way. 
Remark 5.3. Parts (a) and (b) are known formulas for continuants, see [M, Chapter XIII] or
[U] for (b).
We did not find the result (c) in the literature. An example of this identity is the following,
where i = j = 3, k = 1.
N [1, 2, 3, 4, 3] N [1, 4, 3, 4, 1, 2] = N [1, 2, 3, 4, 1, 2] N [1, 4, 3, 4, 3] − N [0, 1, 1, 1] N [1, 1, 1]
The left hand side is equal to 139 · 239, the right hand side is equal to 149 · 223 − 2 · 3, and
both are equal to 33221.
Remark 5.4. The formulas in Theorem 5.1 are identities for elements of the cluster algebra.
This implies that in the formulas in Theorem 5.2, we can replace the integers ai by certain
Laurent polynomials as shown in section 6 (using Theorem 5.1). We shall then show in
section 6.1 that the formulas in Theorem 5.2 also hold for complex numbers ai .
6. The relation to cluster algebras
We have seen that the numerator of a continued fraction is equal to the number of perfect
matchings of the corresponding abstract snake graph, and that it can therefore be interpreted
as the number of terms in the numerator of the Laurent expansion of an associated cluster
variable. In other words, if one knows the Laurent polynomial of the cluster variable, one
obtains the numerator of the continued fraction by setting all variables xi (and coefficients
yi ) equal to 1.
In this section, we show how to go the other way and recover the Laurent polynomials of
the cluster variables from the continued fractions. More precisely, we will associate a Laurent

CLUSTER ALGEBRAS AND CONTINUED FRACTIONS

17

polynomial Li to each ai in such a way that the continued fraction [L1 , . . . , Ln ] of Laurent
polynomials is equal to a quotient of cluster variables.
Let (S, M ) be a marked surface with a triangulation T that has no self-folded triangles. Denote by A = A(S, M ) the associated cluster algebra with initial cluster xT = (x1 , x2 , . . . , xN )
corresponding to T . Let γ be a generalized arc in (S, M ), and let Gγ be its (labeled)
snake graph as defined in section 2.3. Using Theorem 4.1, there is a positive
Picontinued
fraction [a1 , a2 , . . . , an ] such that Gγ = G[a1 , a2 , . . . , an ] as graphs. Let `i =
j=1 aj and
H1 , H2 , . . . , Hn be the subgraphs as defined in section 3. For i = 1, 2, . . . , n − 1, denote by
bi the label of the tile G`i and let b0 be the unique edge in SW G \ {e0 } and bn be the unique
edge in G NE \ {ed }. We define the following Laurent polynomials, where we simply write bi
for the cluster variable xbi .
Definition 6.1.
L1 = x(H1 )

1
b1

L2 = x(H2 )

b1
b 0 b2

L3 = x(H3 )

b 0 b2
b21 b3

Li =


b0 b22 b24 · · · b2i−3 bi−1


x(H
)
if i is odd;

i

b21 b23 · · · b2i−2 bi



b21 b23 · · · b2i−3 bi−1


x(H
)

i
b0 b22 b24 · · · b2i−2 bi

if i is even.

The following explicit formula for the x(Hi ) is taken from [CF]. We include a proof here
for convenience of the reader.
Proposition 6.2. With the above notation

x(Hi ) = x`i−1 

`X
i −1

j=`i−1



xej
 x`i ,
xj xj+1

where `0 = 0, x0 = b0 and x`d = bn .
Proof. We prove the formula for i = 1. For arbitrary i, the proof is the same up to a shift
in the subscripts. If a1 = 1 then H1 is a single edge e0 and thus x(H1 ) = xe0 . On the other
x
hand, `1 = `0 + 1 and thus the formula in the proposition becomes x0 x0ex01 x1 = xe0 , proving
the result for a1 = 1.
Now suppose a1 > 1. According to Lemma 3.3, H1 = G[a1 ] is a zigzag snake graph with
a1 − 1 tiles G1 , G2 , . . . , Ga1 −1 and a1 perfect matchings. An example with a1 = 7 is given in
Figure 6. Note that `1 = a1 . Let H10 be the subgraph consisting of the tiles G1 , G2 , . . . , Ga1 −2 .
Then H10 has a1 − 1 perfect matchings each of which can be completed to a perfect matching
of H1 by adding the unique edge e ∈ H1NE that is not equal to e`1 −1 . Note that the edge
e has label `1 . The only remaining perfect matching P0 of H1 does not contain the edge e
and it does contain the edge e`1 −1 and every other boundary edge of H1 . In the example in

18

ILKE CANAKCI AND RALF SCHIFFLER

8
x6 7
x4 5
x2 3
x0 1

2
x1

4
x3

e6

6 x7
x5

Figure 6. An example of the graph H1 for a1 = `1 = 7. H1 consists of the
first 6 tiles. The perfect matching indicated on H1 is the unique matching
containing the edge e6 .
Figure 6, the matching P0 is marked in black. Since H1 is a complete zigzag snake graph,
the weight of P0 is x(P0 ) = x0 x1 x2 · · · x`1 −2 xe`1 −1 , and thus
x0 xe`1 −1
x(P0 )
=
.
x1 x2 · · · x`1 −1
x`1 −1
Therefore,
x(H1 ) = x(H10 )

x0 xe`1 −1
x`1
+
,
x`1 −1
x`1 −1

and by induction, this is equal to
!
`X
1 −2
x0 xe`1 −1
xe j
x`
x`1 −1 1 +
= x0
x0
xx
x`1 −1
x`1 −1
j=0 j j+1

`X
1 −1
j=0

xej
xj xj+1

!
x`1



To state our main result, we need to construct a second generalized arc γ 0 in such a way
that its snake graph is obtained from the snake graph Gγ of γ by removing the first zigzag
subgraph H1 . For an example see Figure 7.
Let s be the starting point of the generalized arc γ, and let ∆ be the first triangle in T
that γ meets. Then the two sides of ∆ that are incident to s correspond to the two edges in
SW Gγ . Let α be the side that corresponds to the edge in SW Gγ whose sign is opposite to the
sign of the first interior edge of Gγ . In other words, α = e0 if a1 = 1 and α = b0 if a1 > 1. We
orient α such that its terminal point is the point s, and we consider the generalized arc γ 0
corresponding to the concatenation γ ◦ α. Since arcs are considered up to isotopy, it follows
from the construction that γ 0 avoids the first ai crossings of γ with T and then runs parallel
to γ, see Figure 7. On the level of snake graphs we have Gγ 0 = Gγ \ H1 = G[a2 , . . . , an ].
We are now ready for the main theorem of this section.
Theorem 6.3. Let γ be a generalized arc in (S, M, T ) and let Gγ = G[a1 , a2 , . . . , an ] be
its snake graph. Then we have the following identity in the field of fractions of the cluster
algebra A(S, M )
xγ
= [L1 , L2 , . . . , Ln ],
xγ 0
where γ 0 is the generalized arc constructed above and Li the Laurent polynomials in Definition 6.1. Moreover, xγ and xγ 0 are relatively prime in the ring of Laurent polynomials and
thus the left hand side of the equation is reduced.

CLUSTER ALGEBRAS AND CONTINUED FRACTIONS

19

In particular, if γ and γ 0 have no self-crossing, then left hand side of the equation is the
quotient of two cluster variables.
Remark 6.4. It is possible that γ has no self-crossings but γ 0 does. For an example see
Theorem 7.3.
Remark 6.5. Theorem 6.3 suggests that one should study quotients of elements of the cluster
algebra and their asymptotic behavior. We present a first result in this direction in section 7.
Proof. If n = 1 then γ 0 = b1 by construction. Therefore xγ /xγ 0 = x(Gγ )/b1 = x(H1 )/b1 = L1 .
If n = 2, then
[L1 , L2 ] = L1 +

L1 L2 + 1
x(H1 )x(H2 ) + b0 b2
x(G[a1 ])x(G[a2 ]) + b0 b2
1
=
=
=
,
L2
L2
b1 x(H2 )
b1 x(G[a2 ])

and using Theorem 5.1(a) with i = 1 and n = 2 this is equal to x(G[a1 , a2 ])/x(G[a2 ]) = xγ /xγ 0 .
Now suppose that n > 2. Again using Theorem 5.1(a), we have
b1 G[a1 , a2 , . . . , an ] = H1 G[a2 , a3 , . . . , an ] + b0 G[a3 , a4 , . . . , an ].
Passing to the Laurent polynomials and dividing by x(G[a2 , a3 , . . . , an ]) and b1 we get
xγ
x(G[a1 , a2 , . . . , an ])
x(H1 )
=
=
+
xγ 0
x(G[a2 , a3 , . . . , an ])
b1

1
b1 x(G[a2 ,a3 ,...,an ])
b0 x(G[a3 ,a4 ,...,an ])

.

Using the definition of L1 and induction, this is equal to
(6.1)
where L0i =
to

L1 +
b0
L
b1 i

if i is even, and L0i =

1
b1
[L02 , L03 , . . . , L0n ]
b0

b1
L
b0 i

L1 +

if i is odd. Lemma 2.3 implies that (6.1) is equal

1
[L2 , L3 , . . . , Ln ]

which in turn equals [L1 , L2 , . . . , Ln ]. Finally, if a Laurent polynomial f is a common divisor
of xγ and xγ 0 then the number of terms in f is a common divisor of the number of terms in
xγ and xγ 0 , and Theorem 3.4 implies that f is a Laurent monomial. Thus f is a unit in the
ring of Laurent polynomials. This completes the proof.

Since xγ and xγ 0 are relatively prime, we obtain the following formula for xγ .
Corollary 6.6. With the notation of Theorem 6.3, we have
xγ = N [L1 , L2 , . . . , Ln ] · M,
for some Laurent monomial M .
Remark 6.7. Theorem 6.3 provides a very efficient way to compute the Laurent expansion
of a cluster variables xγ , without determining the perfect matchings of the snake graph Gγ .
Example 6.8. To illustrate the theorem, we compute the quotient of the cluster variables
associated to the arcs γ and γ 0 in the triangulation shown on the left of Figure 7.

20

ILKE CANAKCI AND RALF SCHIFFLER

b3
e5
e1

5
γ0

2
γ
1

e4
4
e3
3

e0

b0
e2

s

b0

2
1
e0

3
2

5
3 4

b3

3 4

5 e5
4

b0

1 2
Gγ = G[2, 3, 1]

2
1
e0
H1

5
3 4

e5

3 4
2
H2

H3

Figure 7. Example 6.8

Figure 8. The 9 perfect matchings of Gγ in Example 6.8
The snake graph Gγ of γ is shown in the center of Figure 7. If we choose e5 ∈ G NE to be the
east edge then G corresponds to the continued fraction [2, 3, 1] and the corresponding subgraphs
H1 , H2 , H3 are shown on the right of the figure. By definition, we have b1 = x2 , b2 = x5 and
L1 =

x(H1 )
x(H2 )x2
x(H3 )b0 x5
.
, L2 =
, L3 =
x2
b0 x 5
x22 b3

Thus
[L1 , L2 , L3 ] = (L1 L2 L3 + L1 + L3 )/(L2 L3 + 1)

and expanding by

x2 b 3
x5

x(H1 )x(H2 )x(H3 ) x(H1 ) x(H3 )b0 x5
+ x2 +
x22 b3
x22 b3
=
x(H2 )x(H3 ) + x2 b3
x2 b 3
shows that this quotient is equal to

x(H1 )x(H2 )x(H3 ) x(H1 )x2 x3 x4 b3 x(H3 )b0 x1 x3 x4 x5
+
+
x2 x5
x2 x 3 x4 x5
x1 x 2 x3 x4 x5
x(H2 )x(H3 ) x2 x3 x4 b3
+ x3 x4 x5
x5
On the other hand,
X
1
xγ = x(Gγ ) =
x(P ),
x1 x2 x3 x4 x5 P ∈Match G
γ

where the sum is over all perfect matchings of Gγ . The snake graph Gγ has precisely 9 perfect
matchings which are shown in Figure 8. The two perfect matchings on the left correspond to
the term x(H1 )x2 x3 x4 b3 /x2 x3 x4 x5 , the six perfect matchings in the center correspond to the
term x(H1 )x(H2 )x(H3 )/x2 x5 and the perfect matching on the right corresponds to the term
x(H3 )b0 x1 x3 x4 x5 /x1 x2 x3 x4 x5 .

CLUSTER ALGEBRAS AND CONTINUED FRACTIONS

21

Similarly, the snake graph Gγ 0 of γ 0 consists of the 3 tiles labeled 3, 4 and 5 and has four
perfect matchings. Three of these perfect matchings correspond to the term x(H2 )x(H3 )x5
and the other to the term x2 x3 x4 b3 /x3 x4 x5 .
Thus we see that
xγ
= [L1 , L2 , L3 ].
xγ 0
Alternatively, according to Theorem 4.1, we can also choose e05 ∈ G NE to be the north
edge, and then G corresponds to the continued fraction [2, 4]. If we denote by Hi0 , b0i the
corresponding subgraphs and by L0i the Laurent monomials, then we have
- H10 = H1 and H20 consists of the 3 tiles labeled 3,4,5;
- b00 = b0 , b01 = x2 , and b02 = e5 is the east edge of G NE ;
- L01 = L1 and
b0
x2
L02 = x(H20 ) 0 1 0 = x(H20 )
.
b0 b 2
b0 e5
Therefore


L01 L02 + 1
x(H1 )x(H20 ) b0 e5 x1 x3 x4 x5
0
0
[L1 , L2 ] =
=
+
x(H20 ),
L02
x2
x2 x1 x3 x 4 x5
which again is equal to xγ /xα . In Figure 8, the 2 perfect matchings in the first frame together
x(H1 )x(H20 )
with the 6 perfect matchings in the second frame correspond to the term
in the
x2
expression above, whereas the single perfect matching on the right of Figure 8 corresponds to
the term bx0 e25xx11xx33xx44xx55 .
Remark 6.9. The proof of Theorem 6.3 actually shows a stronger result. Namely that
x(G[a1 , a2 , . . . , an ])
= [L1 , L2 , . . . , Ln ]
x(G[a2 , . . . , an ])
for every labeled snake graph G[a1 , a2 , . . . , an ] whose labels satisfy the condition that for
every straight subsnake graph of three consecutive tiles Gbi −1 , Gbi , Gbi +1
(1) the north edge of Gbi −1 and the south edge of Gbi +1 both have the same weight bi , if
the subsnake graph is horizontal;
(2) the east edge of Gbi −1 and the west edge of Gbi +1 both have the same weight bi , if
the subsnake graph is vertical.
6.1. Complex continued fractions. Theorem 6.3 allows us to consider continued fractions
of complex numbers as follows. Let [z1 , z2 , . . . , zn ] be a continued fraction of complex numbers
zj ∈ C. Define aj = d |zj | e to be the least integer larger or equal to the absolute value |zj |
of zj . Thus [a1 , a2 , . . . , an ] is a positive continued fraction and we can associate to it the
snake graph G[a1 , a2 , . . . , an ]. Let d be the number of tiles as usual. We can realize this
snake graph as the snake graph of an arc γ in a triangulated polygon (S, M, T ) such that
each edge of the snake graph corresponds to an arc in T and hence to a cluster variable. It
is important to realize that, since we are working in a polygon, the label of the edge ej , for
j = 0, 1, . . . , d, is different from the label of any other edge of G[a1 , a2 , . . . , an ].
We could now compute the quotient of cluster variables xγ /xγ 0 as in Theorem 6.3. However,
we will
P use the following specialization of the cluster variables. Recall that the integers
`i = ij=1 aj and the subgraphs Hi are defined in such a way that the interior edge e`i −1 lies

22

ILKE CANAKCI AND RALF SCHIFFLER

in HiNE . We set xe`j −1 = zi − ai + 1, for j = 1, 2, . . . , n and xe = 1, for all other edges e in
G[a1 , a2 , . . . , an ]. Then Proposition 6.2 implies that under this specialization
x(Hi ) =

`X
i −1

xej = xe`i −1 + `i − `i−1 − 1 = zi − ai + 1 + ai − 1 = zi .

j=`i−1

Moreover, under this specialization all bi have label 1, and thus Li = x(Hi ) = zi . Therefore
N [z1 , z2 , . . . , zn ] = N [L1 , L2 , . . . , Ln ],
where the left hand side is the continuant of [z1 , z2 , . . . , zn ]. This shows that the formulas of
Theorem 5.2 also hold for continued fractions of complex numbers.
√
Example 6.10. If [z1 , z2 ] = [2i, −3 + i], we have a1 = 2, a2 = d 10 e = 4, and the
special weights are xe1 = 2i − 1 and xe6 = −6 + i. Then L1 = 2i, L2 = −3 + i, so
N [L1 , L2 ] = 2i(−3 + i) + 1 = z1 z2 + 1 = N [z1 , z2 ].
6.2. An application to quiver Grassmannians. We keep the notation of Theorem 6.3.
Let ΛT be the Jacobian algebra (over C) of the quiver with potential determined by the
triangulation T , see [L], and let Mγ be the indecomposable Λ-module corresponding to γ.
From now on assume that γ has no self-crossing. Then Mγ is a rigid module and xγ is a
cluster variable. Then the cluster character formula [Pa] implies that
(6.2)

xγ =

X

χ(Gre (Mγ ))

e

N
Y

a (e)

xi i ,

i=1

for some ai (e) ∈ Z, where the sum runs over all dimension vectors e ∈ ZN
≥0 , Gre (Mγ ) denotes
the quiver Grassmannian of Mγ of submodules of dimension vector e, and χ is the Euler
characteristic. The positivity theorem for cluster variables implies that χ(Gre (Mγ )) ≥ 0.
Let Gγ be the snake graph of γ and [a1 , a2 , . . . , an ] be its continued fraction. Comparing
the formula (6.2) to the perfect matching formula of [MSW], and specializing
all xi = 1, we
P
see that the number of perfect matchings of Gγ is equal to the sum e χ(Gre (Mγ ). Now
Theorem 3.4 implies the following.
Corollary 6.11. With the notation above
X
χ(Gre (Mγ )) = N [a1 , a2 , . . . , an ].
e

7. Infinite continued fractions and limits of rational functions from
cluster algebras
If [a1 , a2 , . . .] is an infinite positive continued fraction, we associate to it an infinite snake
graph G[a1 , a2 , . . .] which is defined in the same way as in section 3. Of course this infinite
snake graph has infinitely many perfect matchings, and the numerator of the continued fraction is also infinite. However, according to Proposition 2.5, the continued fraction converges
and its limit is a real irrational number. Therefore Theorem 3.4 implies that
[a1 , a2 , . . .] = lim

n→∞

m(G[a1 , a2 , . . . , an ])
.
m(G[a2 , a3 , . . . , an ])

CLUSTER ALGEBRAS AND CONTINUED FRACTIONS

1
γ
3

3
2
1

1
2
1
2

23

..
.
3
2 1
3
1 2
3
2 1
3
1 2
e0

Figure 9. A triangulation of the torus with one puncture (in black) and an
infinite arc γ (in red) is shown on the left. The infinite snake graph G of γ is
shown on the right. The tiles have labels 1, 2, 1, 2, . . ., the south edge e0 and
all interior edges have label 3, xb2i−1 = x1 , xb2i = x2 , for i = 1, 2, . . ., and
xe 0 = x3 .
Example 7.1. The limit of the ratios of consecutive Fibonacci numbers is the golden ratio.
Thus
√
1+ 5
[ 1 ] = [1, 1, 1, . . .] =
.
2
The limit of the ratios of consecutive Pell numbers is the silver ratio. Thus
√
[ 2 ] = [2, 2, 2, . . .] = 1 + 2.
Using our construction of section 6, we can associate to a continued fraction [a1 , a2 , . . .]
the rational function [L1 , L2 , . . .]. If each of the finite snake graphs G[a1 , a2 , . . . , an ] has a
geometric realization in the same cluster algebra, this rational function represents a limit of
quotients of elements of the cluster algebra.
For example, consider the torus with one puncture and denote by x = (x1 , x2 , x3 ) the
initial cluster of the corresponding cluster algebra, see Figure 9. The infinite arc γ crosses
the arcs labeled 1 and 2 of the triangulation alternatingly. The corresponding infinite snake
graph, shown on the right of the figure, is a straight snake graph with alternating tile
labels 1, 2, 1, 2, . . . and all interior edges have weight x3 . The associated continued fraction
is the continued fraction of the golden ratio [ 1 ] = [1, 1, 1, . . .]. Let [L1 , L2 , L3 , . . .] be the
corresponding continued fraction of rational functions as defined in section 6. Thus
L1 = e0 /b1 = x3 /x1 , L2 = e1 b1 /b0 b2 = x3 x1 /x22 , L3 = e2 b0 b2 /b21 b3 = x3 x22 /x31 ,
 i−1
 i−1
x3 x2
x3 x1
, if i is even ; Li =
, if i is odd.
(7.1)
Li =
x2 x2
x1 x1
Lemma 7.2. [L1 , L2 , . . .] converges pointwise whenever x1 , x2 , x3 ∈ R>0 .
Proof. Let x1 , x2 , x3 ∈ R>0 , and denote by ri the value of Li at the point (x1 , x2 , x3 ). From
the formulas above, we see that ri ∈ R>0 . By a classical result of Seidel and Stern, see [P,
§50, Satz
P 8], the continued fraction [r1 , r2 , . . .] with ri ∈ R>0 converges if and only if the
series
ri diverges. Thus, using the divergence test, it suffices to show that limi→∞ ri 6= 0.
Suppose to the contrary that the sequence ri converges to zero. Then also the subsequence
r2i with even indices converges to zero. Thus equation (7.1) yields
 2i−1
x3 x1
0 = lim r2i = lim
,
i→∞
i→∞ x2
x2

24

ILKE CANAKCI AND RALF SCHIFFLER

which implies that x1 < x2 . However, the same argument for the odd indices gives
 2i−1
x3 x 2
0 = lim r2i+1 = lim
,
i→∞
i→∞ x1
x1
which implies that x1 > x2 , a contradiction.



Our next goal is to compute the value of [L1 , L2 , . . .]. From equation (7.1) we see that
x2
x2
L2i+2 = 12 L2i and L2i+1 = 22 L2i−1 . Therefore Lemma 2.3 implies
x2
x1
(7.2)

[L3 , L4 , . . .] =

x22
[L1 , L2 , . . .].
x21

Let α = [L1 , L2 , . . .]. Then
1

α = L1 +
L2 +

1
[L3 , L4 , . . .]

=

L1 L2 [L3 , L4 , . . .] + L1 + [L3 , L4 , . . .]
.
L2 [L3 , L4 , . . .] + 1

Using equations (7.1) and (7.2), we get
 
 2

x3 x22
x3
x3
α+
α=
+ α
α+1
x21
x1 x21
x1
and thus


x22 x23
2
x3 α + α x1 −
−
− x3 = 0.
x1 x1
x2 + x23
Using the short hand x01 = 2
we obtain
x1
x3 α2 + α(x1 − x01 ) − x3 = 0.
Now the quadratic formula yields
α=

x01

− x1 ±

q

(x01 − x1 )2 + 4x23

.
2x3
If we consider α as a function of x1 , x2 , x3 ∈ R>0 , we have α > 0 and thus the sign in front
of the radical must be positive.
We have proved part (a) of the following result.
Theorem 7.3. Let A be the cluster algebra of the once punctured torus with initial cluster
x = (x1 , x2 , x3 ). Let x01 = (x22 + x23 )/x1 denote the cluster variable obtained from x by the
single mutation µ1 . Let u(i) denote the cluster variable obtained from x by the mutation
sequence µ1 µ2 µ1 µ2 µ1 · · · of length i, and let G(i) be its snake graph. Note that G(i) is a
straight snake graph with 2i − 1 tiles, with alternating tile labels 1, 2, 1, 2, . . . 1 and all interior
edges have weight x3 . Let v(i) be the Laurent polynomial corresponding to the snake graph
G(i) \ H1 obtained from G by removing the edge e0 .
(a) The quotient u(i)/v(i) converges as i tends to infinity and its limit is
q
x01 − x1 + (x01 − x1 )2 + 4x23
.
α=
2x3

CLUSTER ALGEBRAS AND CONTINUED FRACTIONS

25

(b) The quotient of the cluster variables u(i)/u(i − 1) converges as i tends to infinity and
its limit is
q
0
x1 + x1 + (x01 − x1 )2 + 4x23
x3 α + x1
β=
=
.
2x2
x2
(c) Let z =

x01 −x1
.
x3

Then α has the following periodic continued fraction expansion

if z > 0;
 [z],
α=

[0, −z ] if z < 0.

(d) Equivalently
"
α=

x22 + x23 − x21
x1 x3

#

"
or α =


0,

x21 − x22 − x23
x1 x3

#

Proof. Part (a) has already been proved above.
(b) To study the quotient of the cluster variables u(i)/u(i − 1), we need to consider the
snake graph in Figure 9, except that we√interchange the labels e0 and b0 . The continued
fraction of this snake graph is [2, 1] = 3+2 5 . The subgraph H1 is equal to the first tile and
x(H1 ) =

x22 +x23
x1

L01 =

= x01 . Denoting the corresponding Laurent polynomials by L0i , we have
x01
,
x2

L02 =

e 2 b1
x2
x2
=
= L1 ,
b0 b2
x1
x3

L03 =

x3
e 3 b0 b2
x1 x23
= L2
=
2
3
b1 b 3
x2
x2

and for i ≥ 2,
L0i


=

Li−1 xx32 if i is even;
Li−1 xx32 if i is odd.

Let β = [L01 , L02 , . . .] and α0 = [L02 , L03 , . . .]. Then using Lemma 2.3, we have α0 =
p
x01 + xα3
x01 + x1 + (x01 − x1 )2 + 4x23
1
0
=
,
β = L1 + 0 =
α
x2
2x2
1
α

q
2
−x01 +x1 + (x01 −x1 ) +4x23
.
2x3

where the last identity holds because =
in (b) and the second is a direct computation.
(c) If z > 0, then [ z ] > 0, and

[z] = z +

x2
α,
x3

and

This shows the first identity

1
.
[z]

Therefore
[ z ]2 − z [ z ] − 1 = 0,
and from the quadratic formula, we get
√
z + z2 + 4
[z] =
= α,
2
where the sign in front of the radical is + because [ z ] > 0. On the other hand, if z < 0,
then the computation above yields
√
−z + z 2 + 4
[ −z ] =
.
2

26

ILKE CANAKCI AND RALF SCHIFFLER

and its multiplicative inverse is
[0, −z ] =

z+

√

z2 + 4
= α.
2

This shows (c), and (d) is obtained by replacing x01 by

x22 +x23
.
x1



Corollary 7.4. Considering α as a function of x1 , x2 , x3 , we have the following.
(a) α(rx1 , rx2 , rx3 )
(b)
α(1, 1, 1)
α(1, 1, 2)
α(1, 1, n)
(c)
(d)
(e)
(f )
(g)

=
=
=
=

α(1, n, 1) =

α(x1 , x2 , x√3 ), for all r 6= 0.
  1+ 5
 1  = 2 √is the golden ratio.
2 = 1 √+ 2 is the silver ratio.
n+ n2 +4
, is called metallic mean.
2
h[n] =
i
n2 .

i 

0, (n2 − 2)/n = 0, n − 1, 1, n − 1 .
h
i
2(n2 +n−1)
α(2n + 1, 1, 2) = 0, 2n+1
= [0, n, 2, n ].
√
α(1, 1, ±2i) = ±i, where i = −1 ∈ C.
β(1, 1, ±2i) = −1.
α(n, 1, 1) =

h

Proof. This follows directly from part (d) of Theorem 7.3.



Remark 7.5. In a very similar way, we can compute the function α0 = [L01 , L02 , · · · ] starting
from the continued fraction [2, 2, . . .]. More precisely, let u0 (i) be the cluster variable obtained
from x = (x1 , x2 , x3 ) by the mutation sequence (µ2 ◦ µ1 )i ◦ µ3 , and let G 0 (i) be its snake
graph. Then G 0 = G[2, 2, 2, . . . , 2]. Let v(i) be the Laurent polynomial corresponding to the
snake graph G 0 (i) \ H10 obtained from G 0 by removing the subgraph H10 . Then the quotient
u0 (i)/v 0 (i) converges as i tends to infinity and its limit α0 is obtained from α by substituting
x3 by x03 = (x21 + x22 )/x3 , that is
α0 = α|x3 ←x03 .
This can be seen either by direct computation, or by the fact that the substitution corresponds to the first mutation µ3 in the sequence leading to α0 , and the rest of the mutation
sequence is equal to the mutation sequence leading to α.
Theorem 7.3 implies the following analogous result for the cluster algebra of the annulus
with one marked point on each boundary component, also given by the Kronecker quiver.
// 2 with initial cluster
Corollary 7.6. Let A be the cluster algebra of the quiver 1
0
2
x = (x1 , x2 ). Let x1 = (x2 + 1)/x1 denote the cluster variable obtained from x by the single
mutation µ1 . Let u(i) denote the cluster variable obtained from x by the mutation sequence
µ1 µ2 µ1 µ2 µ1 · · · of length i, and let G(i) be its snake graph. Let v(i) be the Laurent polynomial
corresponding to the snake graph G(i) \ H1 obtained from G by removing the edge e0 .

(a) The quotient u(i)/v(i) converges as i tends to infinity and its limit is
q
0
x1 − x1 + (x01 − x1 )2 + 4
.
α=
2

CLUSTER ALGEBRAS AND CONTINUED FRACTIONS

27

(b) The quotient of the cluster variables u(i)/u(i − 1) converges as i tends to infinity and
its limit is
p
x01 + x1 + (x01 − x1 )2 + 4
β=
.
2x2
(c) The limit α has the following periodic continued fraction expansion
 

 x01 − x1 , if x01 > x1 ;
α=

 
0, x1 − x01 if x01 < x1 .
(d) Equivalently
"
α=

x22 + 1 − x21
x1

#

"
or α =


0,

x21 − x22 − 1
x1

Proof. This follows from Theorem 7.3 by specializing x3 = 1.

#



Acknowledgements: We thank Dmitry Badziahin, Keith Conrad, Anna Felikson and Andy
Hone for stimulating discussions.
References
[BZ]
[CF]
[CS]
[CS2]
[CS3]
[CS5]
[C]
[DFK]
[FST]
[FZ1]
[FZ4]
[GG]
[HW]
[HJ]
[IT]
[L]
[LS]
[LP]

T. Brüstle and J. Zhang, On the cluster category of a marked surface without punctures, Algebra
Number Theory 5 (2011), no. 4, 529–566.
I. Canakci and A. Felikson, Infinite rank surface cluster algebras, in preparation.
I. Canakci and R. Schiffler, Snake graph calculus and cluster algebras from surfaces, J. Algebra,
382 (2013) 240–281.
I. Canakci and R. Schiffler, Snake graph calculus and cluster algebras from surfaces II: Self-crossing
snake graphs, Math. Z. 281 (1), (2015), 55–102.
I. Canakci and R. Schiffler, Snake graph calculus and cluster algebras from surfaces III: Band graphs
and snake rings. arXiv:1506.01742.
I. Canakci and R. Schiffler, Snake graphs and continued fractions, in preparation.
H.S.M. Coxeter, Frieze patterns, Acta Arith. 18 (1971) 298–310.
P. Di Francesco and R. Kedem, Q-systems, heaps, paths and cluster positivity, Comm. Math. Phys.
293 (2010) 727–802.
S. Fomin, M. Shapiro, and D. Thurston, Cluster algebras and triangulated surfaces. Part I: Cluster
complexes, Acta Math. 201 (2008), 83-146.
S. Fomin and A. Zelevinsky, Cluster algebras I: Foundations, J. Amer. Math. Soc. 15 (2002),
497–529.
S. Fomin and A. Zelevinsky, Cluster algebras IV: Coefficients, Compos. Math. 143 (2007), 112–164.
J. Grabowski and S. Gratz, Cluster algebras of infinite rank, J. Lond. Math. Soc., 89 (2014), no.
2, 337–363.
G. H. Hardy and E. M. Wright, An introduction to the theory of numbers, fourth edition, Oxford
at the Clarendon Press, 1960.
T. Holm and P. Jorgensen, On a cluster category of infinite Dynkin type, and the relation to
triangulations of the infinity-gon, Math. Z.270, 1, 277–295.
K. Igusa and G. Todorov, Continuous Cluster Categories I, Algebr. Represent. Theory 18 1, (2015),
65–101.
D. Labardini-Fragoso, Quivers with potentials associated to triangulated surfaces, part IV: removing
boundary assumptions, Sel. Math. New Ser. 22, 1, 145–189.
K. Lee and R. Schiffler, Positivity for cluster algebras, Annals of Math. 182 (1), (2015) 73–125.
S. Liu and C. Paquette, Cluster categories of type A∞
∞ and triangulations of the infinite strip,
arXiv:1505.06062.

28

ILKE CANAKCI AND RALF SCHIFFLER

[M]

T. Muir, A treatise on the theory of determinants. Revised and enlarged by William H. Metzler
Dover Publications, Inc., New York 1960.
[MS]
G. Musiker and R. Schiffler, Cluster expansion formulas and perfect matchings, J. Algebraic Combin. 32 (2010), no. 2, 187–209.
[MSW] G. Musiker, R. Schiffler and L. Williams, Positivity for cluster algebras from surfaces, Adv. Math.
227, (2011), 2241–2308.
[MSW2] G. Musiker, R. Schiffler and L. Williams, Bases for cluster algebras from surfaces, Compos. Math.
149, 2, (2013), 217–263.
[NaSt] T. Nakanishi and S. Stella, Wonder of sine-Gordon Y -systems, Trans. Amer. Math. Soc. no 10,
6835–6886.
[Pa]
Y. Palu, Cluster characters for 2-Calabi-Yau triangulated categories, Ann. Inst. Fourier 58 (2008),
no. 6, 2221–2248.
[P]
O. Perron, Die Lehre von den Kettenbrüchen, 2nd edition, Chelsea Publishing Company, New York, 1950. (the first edition of this book from 1913 is available at
https://archive.org/details/dielehrevondenk00perrgoog.)
[Pr]
J. Propp, The combinatorics of frieze patterns and Markoff numbers, preprint,
arXiv:math.CO/0511633.
[QZ]
Y. Qiu and Y. Zhou, Cluster categories for marked surfaces: punctured case, arXiv:1311.0010.
[S]
R. Schiffler, Lecture notes on cluster algebras from surfaces, CIMPA School, Mar del Plata, 2016, to
appear in Proceedings of the conference. http://www.math.uconn.edu/∼schiffler/LNCIMPA.pdf
[U]
A. V. Ustinov, A short proof of Euler’s identity for continuants. (Russian) Mat. Zametki 79 (2006),
no. 1, 155–156; translation in Math. Notes 79 (2006), no. 1-2, 146–147.
Department of Mathematical Sciences, Durham University, Lower Mountjoy, Stockton
Road, Durham DH1 3LE, UK
E-mail address: ilke.canakci@durham.ac.uk
Department of Mathematics, University of Connecticut, Storrs, CT 06269-3009, USA
E-mail address: schiffler@math.uconn.edu

