---
title: Arithmetic Y-Frieze Patterns
url: https://www.emergentmind.com/topics/arithmetic-y-frieze-patterns
type: topic
---

# Arithmetic Y-Frieze Patterns

Arithmetic Y-frieze patterns are closed Y-frieze patterns whose nonzero entries are all positive integers. In the type \(A\) setting, a Y-frieze is a staggered infinite array of rational numbers governed locally by the Y-diamond relation
\[
WE=(1+N)(1+S),
\]
with boundary rows presented as rows of \(0\)'s, and with global glide symmetry and period \(n+3\) in width \(n\) [2405.03934]. They were introduced as a coefficient-type analogue of Coxeter’s frieze patterns, motivated by \(Y\)-systems, cluster algebras, and cluster ensembles, and they now form a distinct arithmetic theory with finiteness theorems, explicit small-width classifications, and a complete realization theorem showing that every Y-frieze arises from an \(\mathrm{SL}_2\)-frieze [2311.03073, 2607.06767].

## 1. Definitions and basic local structure

A Y-frieze pattern is an infinite staggered array of rational numbers \((b_{i,j})\) in which every adjacent diamond
\[
\begin{matrix}
& N & \\
W && E\\
& S &
\end{matrix}
\]
satisfies
\[
WE=(1+N)(1+S).
\]
A Y-frieze is called closed if there is a row of zeros at the top and another row of zeros after finitely many nonzero rows, and the number of nonzero rows between these zero rows is called the width. A Y-frieze pattern is arithmetic if all its nonzero entries are positive integers; the set of arithmetic width-\(n\) Y-friezes is denoted \(\mathrm{YFrieze}(n)\) [2508.15330, 2405.03934].

The local rule differs essentially from the Coxeter diamond rule. Classical Coxeter frieze patterns satisfy
\[
WE-NS=1
\]
or, equivalently in the standard indexing,
\[
a_{i,j}a_{i+1,j+1}=1+a_{i,j+1}a_{i+1,j},
\]
with boundary data involving rows of \(1\)'s. By contrast, Y-friezes replace the right-hand side by factors of the form \((1+\cdot)\), their first nonzero row is not forced to be all ones, and arithmeticity means positivity and integrality of all nonzero entries rather than positivity of a distinguished seed row alone [2405.03934, 2311.03073].

The first nonzero row is called the zeroth row in one indexing convention, and the first nontrivial row is called the Y-quiddity cycle in the finite-type formulation. In width \(n\), glide symmetry takes the form
\[
b_{i,j}=b_{j,i+n+3},
\]
and applying it twice yields periodicity by translation through \(n+3\) steps [2405.03934].

## 2. Cluster-algebraic and ensemble-theoretic origin

Y-frieze patterns were introduced as a variant of frieze patterns associated to acyclic cluster algebras. For a symmetrisable generalized Cartan matrix \(A=(a_{i,j})\), a classical frieze pattern is replaced by a \(\mathbf Y\)-frieze pattern satisfying a recurrence in which the classical exchange term \(1+\cdots\) is shifted into products of \((1+k)\)-factors. In type \(A_r\), this reduces exactly to the local Y-diamond rule above, with top and bottom rows equal to \(0\) [2311.03073].

The conceptual source is the Fock–Goncharov ensemble
\[
(\mathcal A_B,\mathcal Y_B,p_B),
\]
where \(\mathcal A_B\) is the \(X\)-side cluster algebra, \(\mathcal Y_B\) is the \(Y\)-side positive space, and \(p_B\) is the ensemble map. The \(Y\)-variables mutate by the standard Fock–Goncharov rule, and the induced relations along a distinguished subtree of the cluster tree are exactly the Y-frieze recurrences. In this sense, Y-frieze patterns are the recursive shadow of \(Y\)-pattern mutation dynamics [2311.03073].

A central arithmetic subclass is formed by unitary Y-frieze patterns. For a chosen \(Y\)-cluster \(\mathbf y=(y_1,\dots,y_r)\), one obtains a unique arithmetic Y-frieze
\[
k(i,m)=\phi_{\mathbf y}(y(i,m)), \qquad \phi_{\mathbf y}(y_i)=1.
\]
Equivalently, a unitary Y-frieze is obtained by evaluating the universal Laurent expressions for the \(Y\)-variables at \(y_1=\cdots=y_r=1\). The assignment from unordered \(Y\)-clusters to arithmetic Y-friezes is well-defined but generally neither injective nor surjective [2311.03073].

In rank \(2\), the theory becomes particularly explicit. For
\[
A=\begin{pmatrix}2&-b\\-c&2\end{pmatrix},
\]
arithmetic Y-frieze patterns are exactly friezes of the corresponding generalized cluster algebra with recurrence
\[
x_k x_{k+2}= 
\begin{cases}
(1+x_{k+1})^c, & k\ \text{odd},\\
(1+x_{k+1})^b, & k\ \text{even}.
\end{cases}
\]
The finite-type counts are
\[
A_2:5,\qquad C_2:10,\qquad G_2:21,
\]
and the paper proves a sharp criterion: finite type yields finitely many arithmetic Y-frieze patterns, while infinite type yields infinitely many [2311.03073].

## 3. Closed type \(A\) Y-friezes: knitting, symmetry, and arithmetic finiteness

A closed width-\(n\) Y-frieze can be studied constructively. From the Y-diamond rule, if \(N,E,W\) are known and \(N\neq -1\), then
\[
S=\frac{WE-N-1}{1+N}.
\]
This gives a vertical knitting process. However, not every Y-frieze can be generated in this way, because a row of \(-1\)'s may appear and stop the recursion; examples include a case where an entire row becomes \(-1\) [2405.03934].

For closed Y-friezes, horizontal knitting is cleaner. One places two rows of \(0\)'s with \(n\) empty rows between them, chooses \(n\) positive rational numbers along a zig-zag path, and fills in the rest using
\[
E=\frac{(1+N)(1+S)}{W}.
\]
This yields a bijection between \(n\)-tuples of positive rational numbers and \(\mathbb Q_{>0}\)-valued Y-frieze patterns of width \(n\). Thus a width-\(n\) Y-frieze is determined by the data along a chosen zig-zag [2405.03934].

Arithmeticity is substantially subtler than in the Coxeter case. The paper gives a simple arithmetic Y-frieze whose \(n\)-th row is constant and equal to
\[
(n+1)^2-1=n(n+2),
\]
so the first few nonzero rows are \(3,8,15,\dots\). But positive integer initial data do not automatically produce an arithmetic Y-frieze: Y-frieze entries are generally not Laurent polynomials in the initial diagonal entries, and a width-\(3\) Y-frieze knitted from all \(1\)'s on a zig-zag produces entries such as
\[
\frac{7}{2}.
\]
This failure of automatic integrality is one of the main arithmetic distinctions from classical friezes [2405.03934].

The same paper proves a general finiteness theorem: for each fixed \(n\ge 1\), the number of arithmetic Y-frieze patterns of width \(n\) is finite. It also records the complete lists for the smallest widths:
\[
(1)
\]
for width \(1\), and
\[
(1,1),\ (1,2),\ (2,1),\ (2,3),\ (3,2)
\]
for width \(2\). For width \(3\), it lists ten diagonals and conjectures that the list is complete, a conjecture later proved [2405.03934, 2508.15330].

## 4. Complete classifications in widths \(3\) and \(4\)

The classification problem has been solved completely for widths \(3\) and \(4\). In width \(3\), a fundamental domain is determined by entries \(a,b,c\) on the first diagonal, and the Y-diamond relations give
\[
d = \frac{b + 1}{a}, \qquad e = \frac{(c+1)(a+b+1)}{ab},
\]
\[
f = \frac{ab+ac+bc+a+b+c+1}{abc},
\]
\[
g = \frac{ab+ac+bc+a+b+c+1}{b(b+1)}, \qquad h = \frac{(a+1)(b+c+1)}{bc}, \qquad i = \frac{b+1}{c}.
\]
Arithmeticity requires all of these to be positive integers and leads to a finite inequality system [2508.15330].

The resulting classification is Theorem 10(abc): the triple \((a,b,c)\) occurs as the first diagonal of an arithmetic Y-frieze of width \(3\) if and only if
\[
(a,b,c)\in \{
(1,1,2), (1,2,3), (1,4,5), (2,1,1), (2,3,2), (2,9,5), (3,2,1), (3,8,3), (5,4,1), (5,9,2)
\}.
\]
Hence there are exactly \(10\) arithmetic Y-frieze patterns of width \(3\) [2508.15330].

In width \(4\), a fundamental domain is determined by \(a,b,c,d\), and the remaining entries \(e,f,g,h,i,j,k,l,m,n\) are given explicitly as rational functions of these variables. Integrality again produces a system of inequalities. Theorem 42(abcd) states that there are exactly \(42\) arithmetic Y-frieze patterns of width \(4\), listed explicitly by \(42\) integer \(14\)-tuples
\[
(a,b,c,d,e,f,g,h,i,j,k,l,m,n).
\]
Thus the width-\(4\) arithmetic Y-friezes are completely classified and counted [2508.15330].

The proofs are driven by finiteness bounds. For width \(3\), Proposition 2.1 shows that if \(a\ge 5\) and \(c\ge 5\), then a necessary inequality fails, while Proposition 2.2 gives
\[
c\le 11,\qquad b\le 18
\]
under \(a\le 4\), with the symmetric bound obtained by swapping \(a\) and \(c\). For width \(4\), the successive propositions force at least one of \(a,d\) to be small, then bound one of \(b,d\), then force \(d\le 41\), then bound one of \(b,c\) by \(102\), and finally show that under the remaining cases \(b\) and \(c\) are bounded by \(168\). The classification follows from a finite search within these explicit bounds [2508.15330].

These widths are special because the recurrence relations can still be controlled by hand plus finite computation, the arithmetic condition gives strong inequality constraints, and the number of possibilities remains finite and manageable [2508.15330].

## 5. The map \(p_n\) and realization by \(\mathrm{SL}_2\)-friezes

A persistent theme in the subject is the relation between arithmetic Y-friezes and classical arithmetic friezes. De Saint Germain’s work defines a map
\[
p_n:\mathrm{Frieze}(n)\to \mathrm{YFrieze}(n),
\]
and formulates the conjecture that \(p_n\) is surjective for all \(n\ge 1\). In the type \(A\) closed setting, the Y-frieze is determined by the first two nontrivial diagonals of the classical frieze, and the construction is described as the frieze analogue of the cluster ensemble map of Fock and Goncharov [2405.03934].

The conjecture was verified first in small width. Since there are exactly \(10\) arithmetic Y-friezes of width \(3\), and they can be matched explicitly to Coxeter friezes of width \(3\), it follows that
\[
p_3:\mathrm{Frieze}(3)\to \mathrm{YFrieze}(3)
\]
is surjective. For width \(4\), earlier work implies that \(p_n\) is injective for even \(n\), and because
\[
|\mathrm{Frieze}(4)|=42,\qquad |\mathrm{YFrieze}(4)|=42,
\]
one obtains that
\[
p_4:\mathrm{Frieze}(4)\to \mathrm{YFrieze}(4)
\]
is bijective [2508.15330].

The full conjecture was resolved by showing that all Y-friezes come from \(\mathrm{SL}_2\)-friezes. For a staggered \(\mathrm{SL}_2\)-frieze \(A\) of width \(n\), the associated Y-frieze is defined by
\[
p_n(A)_{i,j}=A_{i,j+1}A_{i+1,j}.
\]
If \(A\) satisfies the \(2\)-diamond rule
\[
A_{i,j}A_{i+1,j+1}-A_{i,j+1}A_{i+1,j}=1,
\]
then \(B=p_n(A)\) satisfies
\[
(B_{i,j+1}+1)(B_{i+1,j}+1)=B_{i,j}B_{i+1,j+1}.
\]
Theorem B proves that
\[
p_n:\{\mathrm{SL}_2\text{-friezes of width }n\}\twoheadrightarrow \{\text{Y-friezes of width }n\}
\]
is surjective for every width \(n\) [2607.06767].

The proof is constructive. Starting from a Y-frieze \(B\), the paper defines auxiliary quantities \(x_{i,k},y_{i,k}\) and then integers \(X_{i,k}\) with
\[
X_{-1,k}=-1,\qquad X_{0,k}=1,\qquad X_{i,k}=\frac{x_{i,k}}{X_{i-1,k}}.
\]
A key lemma proves
\[
y_{i,k}+1=X_{i,k}X_{i,k+1},
\]
and an induction yields that each \(X_{i,k}\) is a positive integer. For even \(n\), these integers directly produce an integral \(\mathrm{SL}_2\)-frieze, uniquely. For odd \(n\), one first obtains a rational \(\mathrm{SL}_2\)-frieze and then rescales its quiddity to restore integrality [2607.06767].

The fibers of \(p_n\) are extremely small. At most two \(\mathrm{SL}_2\)-friezes map to the same Y-frieze. If two distinct friezes \(A,A'\) map to the same Y-frieze, then \(n\) must be odd and their quiddities are related by alternating scaling,
\[
\sigma'_o=\lambda \sigma_o,\qquad \sigma'_e=\lambda^{-1}\sigma_e,
\]
with
\[
\lambda\in\left\{\tfrac13,\tfrac12,2,3\right\}.
\]
The same ambiguity is characterized combinatorially by multiflips of triangulated polygons and geometrically by alternating rescaling of chains of tangent horocycles. In addition, the frieze entries admit hyperbolic interpretations:
\[
A_{i,j}=\exp\!\left(\frac12\varrho(F_i,F_j)\right),\qquad
B_{i,j}=\sinh^2\!\left(\frac12\varrho(\gamma_i,\gamma_j)\right),
\]
where \(F_i,F_j\) are Ford circles and \(\gamma_i,\gamma_j\) are Farey edges [2607.06767].

A frequent misconception in the earlier literature was that Y-friezes might form an independent class unrelated to classical \(\mathrm{SL}_2\)-friezes. The surjectivity theorem shows that this is not the case: every Y-frieze is the product shadow of an \(\mathrm{SL}_2\)-frieze [2607.06767].

## 6. Relation to classical friezes and neighboring generalizations

Arithmetic Y-frieze patterns are best understood against the background of classical integer friezes. In the Coxeter–Conway theory, a frieze pattern consists of shifted rows beginning with a row of \(0\)'s and a row of \(1\)'s, every adjacent diamond satisfies
\[
bc-ad=1,
\]
and a closed integral frieze is determined by its quiddity sequence. The Conway–Coxeter theorem gives a bijection between frieze patterns of order \(n\) and triangulations of convex \(n\)-gons, and triangulations correspond to clusters in type \(A\) cluster algebras [2101.05676]. Arithmetic Y-friezes preserve the frieze paradigm of local exchange, periodicity, and finite arithmetic families, but their arithmetic is more delicate because positivity of initial data does not force positivity or integrality of the whole array [2405.03934].

There are also broader frieze generalizations that are adjacent to, but distinct from, arithmetic Y-friezes. One surface-theoretic generalization studies positive integral friezes on bordered marked surfaces with decorated hyperbolic metrics, where frieze entries are \(\lambda\)-lengths of arcs and the local rule is the Ptolemy relation
\[
\lambda_\alpha\lambda_\beta=\lambda_\gamma\lambda_\delta+\lambda_\epsilon\lambda_\theta.
\]
For a pair of pants, every positive integral frieze is unitary, the unitary triangulation is unique, and short diagonals count crossed triangles in that triangulation [2111.13135]. This is not a Y-frieze theory, but it exhibits a parallel rigidity phenomenon in a different generalization of Conway–Coxeter friezes.

A second neighboring direction concerns arithmetic infinite friezes from triangulated punctured discs. There, periodic infinite friezes still satisfy the classical unimodular rule, but each south-east diagonal decomposes into arithmetic progressions, and the entries admit interpretations via matching numbers and a labeling algorithm on periodic triangulations of strips [1503.04352]. This again shows that “arithmetic frieze” phenomena extend beyond the finite Coxeter case, although the governing local rule remains classical rather than Y-type.

The present state of the theory is therefore sharply differentiated. For arithmetic Y-frieze patterns of fixed width, finiteness is known in general; widths \(3\) and \(4\) are completely classified; and every Y-frieze is known to arise from an \(\mathrm{SL}_2\)-frieze [2405.03934, 2508.15330, 2607.06767]. At the same time, no Catalan-type formula is known in general for \(|\mathrm{YFrieze}(n)|\), and the arithmetic theory remains subtler than its classical counterpart precisely because the Y-diamond rule does not turn positive seed data into automatic arithmeticity [2405.03934].

Source: https://www.emergentmind.com/topics/arithmetic-y-frieze-patterns