arXiv++ Combinatorics

In the spirit of Conway and Coxeter, we classify all $\mathbf{Y}$-frieze patterns of type $A_n$. In particular, we settle a conjecture made by de Saint Germain that all such $\mathbf{Y}$-frieze patterns arise from Conway-Coxeter frieze patterns. Moreover, our approach naturally leads to the enumeration of these $\mathbf{Y}$-frieze patterns in terms of Fuss-Catalan numbers.

We study the action of the Fourier transform on the Stokes data of irregular connections on the complex affine line with symmetric irregular classes at infinity, both from the point of view of Stokes filtered local systems and of Stokes local systems, and we show that it is governed by a rich combinatorial structure: (1) Observing that, in this setup, a Stokes filtration is fully determined by the data of either its recessive or subdominant solution spaces, and making the link with results of T. Mochizuki, we show that the Fourier transform amounts to exchanging recessive and subdominant solutions via the Gale transform of configurations of points in projective spaces. (2) We show that the equivalence between recessive solutions and Stokes local systems is deeply connected with the triality relating point configurations, superperiodic linear difference equations and frieze patterns obtained by Morier-Genoud-Ovsienko-Schwartz-Tabachnikov: Up to signs, the coefficients of the difference equations and friezes coincide with the nontrivial Stokes matrix entries. It follows from this Stokes-frieze correspondence that the Fourier transform of Stokes representations is given by their combinatorial Gale transform, leading to explicit closed formulas.

This short note provides two examples of aperiodic frieze patterns of the plane, supported on the rhombic Penrose tiling and the Godrèche--Lançon--Billard tiling. That is, we provide a decoration of their vertices with positive integers which satisfy the diamond rule, in analogy to the usual (in)finite frieze patterns as defined by Conway and Coxeter.

We analyse the growth coefficients of infinite frieze patterns arising from cluster algebras using cluster modular groups and cluster categories. For a fixed cluster category of affine type, we prove that the collection of infinite frieze patterns given by both the homogeneous and non-homogeneous stable tubes all have the same growth coefficients. We also derive and verify an explicit formula for the $k$-th growth coefficient, expressed directly in terms of data from homogeneous tubes, or, alternatively, from appropriate elements of the corresponding cluster algebra.

We define and study a continuous version of 2-frieze patterns, a combinatorial structure closely related with frieze patterns of Coxeter and Conway. We describe the relation of continuous 2-friezes with the moduli space of projective curves and relate the (pre)symplectic structure on the space of closed 2-friezes, considered as a cluster variety, with the Adler-Gelfand-Dikii bracket on the space of 3rd order differential operators.

A classic result of Conway and Coxeter on frieze patterns has been generalized to a bijection between $p$-angulations of regular polygons and frieze patterns of type $Λ_p$. One of the features of Conway-Coxeter theory is a combinatorial procedure to obtain from the triangulation all entries of the corresponding frieze pattern. We first present a combinatorial algorithm, involving Chebyshev polynomials, for obtaining from a dissection all entries of the corresponding frieze pattern. As an application we obtain a characterisation of frieze patterns of types $Λ_4$ and $Λ_6$ in terms of all entries (not only the quiddity cycle). We then study infinite frieze patterns of type $Λ_p$, which appeared in a preprint by Banaian and Chen, generalizing the infinite frieze patterns of positive integers studied by Baur, Parsons and Tschabold. As our main result we obtain a combinatorial model for infinite frieze patterns of type $Λ_p$, these are in bijection with certain $p$-angulations of an infinite strip. This extends results by Baur, Parsons and Tschabold from $p=3$ to arbitrary $p\ge 3$, and also provides new insight in the classic case. Infinite frieze patterns of positive integers appear in the context of Weyl groupoids. In the final section we extend this to infinite frieze patterns of type $Λ_p$ for any $p\ge 3$ by introducing a generalization of Cartan graphs and Weyl groupoids. We show that, up to equivalence, there is a 1-1 correspondence between connected simply connected Cartan graphs of type $Λ_p$ of rank two with infinitely many vertices permitting a root system and infinite frieze patterns of type $Λ_p$.

An $SL_2$-tiling is a bi-infinite matrix in which all adjacent $2 \times 2$ minors are equal to $1$. Positive integral $SL_2$-tilings were introduced by Assem, Reutenauer and Smith as generalisations of classical Conway--Coxeter frieze patterns. We show that positive integral $SL_2$-tilings with translational symmetry are in bijection with triangulations of annuli. We use this correspondence to study the properties of periodic positive integral $SL_2$-tilings.

We study Penrose tilings of the plane $\mathbb{R}^2$ and nonperiodic infinite frieze patterns from the point of view of Cohen--Macaulay representation theory: Triangulations of the completed infinity-gon correspond to subcategories of the Frobenius category $\mathcal{C}_2=\mathrm{CM}_{\mathbb{Z}}(\mathbb{C}[x,y]/(x^2))$, the singularity category of the curve singularity of type $A_\infty$. We relate Penrose tilings to certain triangulations of the completed infinity-gon, and thus to the corresponding subcategories of $\mathcal{C}_2$. We then extend the cluster character of Paquette and Yıldırım for a triangulated category modelling said triangulations to our setting. This allows us to define nonperiodic infinite friezes patterns coming from triangulations of the completed infinity-gon and in particular from Penrose tilings.

We exhibit two instances of the cyclic sieving phenomenon - one on dissections of a polygon of a fixed type and one on triangulations of a once-punctured polygon. We use these results to give refined enumerations of certain families of frieze patterns. We also give an interpretation of finite, positive integral frieze patterns fixed under nontrivial rotations as frieze patterns from a family of orbifolds and show that these are always unitary. Finally, we give a bijection between Holm-Jorgensen frieze patterns and p-Dyck paths, extending a recent construction of Canadas, Espinosa, Gaviria, and Rios, and discuss an induced rotation map on Dyck paths. Several conjectures and questions for future study are highlighted throughout the article.

Friezes are infinite arrays of numbers, in which every four neighbouring vertices arranged in a diamond satisfy the same arithmetic rule. Introduced in the late 1960s by Coxeter, and further studied by Conway and Coxeter in their remarkable papers from 1973, this topic has been nearly forgotten for over thirty years. But since the discovery of connections to cluster algebras and categories of type $A$, interest in friezes has exploded, several generalizations have been studied, and links to geometry and combinatorics have been explored. In this article we will review some of the most striking results connecting the purely combinatorially defined friezes with triangulations of polygons, Grassmannian cluster algebras and (Grassmannian) cluster categories. Then we will focus on Grassmannian cluster categories and some recent results linking them to friezes.

We demonstrate in an elementary way how to construct a frieze pattern of width $m-3$ from a partition of a convex $m$-gon by not intersecting diagonals.

We determine all arithmetic Y-Frieze patterns of width $3$ and $4$. As a consequence, for $n=3,4$, we verify the surjectivity of a map $p_n$ which corresponds arithmetic Y-Frieze patterns of width $n$ to Coxeter's Frieze patterns.

In this article we count tame $ SL_3 $- and $ SL_4 $-frieze patterns with width $ w $ over a finite field $ K $, as well as some tame $ SL_k $-frieze patterns for higher $ k $. Let $ n = w + k + 1 $. We consider the sets $ C_k(n) $ of tuples of $ n $ points in the projective space $ \mathbb{P}^{k-1}(K) $, such that $ k $ consecutive points are always independent (the first and last point in the tuple are considered to be consecutive). First assume $ \gcd(k,n) = 1 $. In this case, we prove that the problem of counting tame $ SL_k $-frieze patterns can be reduced to counting $ C_k(n) $. We also show that $ \lvert C_k(n) \rvert $ is essentially already known as long as $ k $ and $ n $ are coprime, and we derive the number of tame $ SL_k $-frieze-patterns in that case. In the case $ \gcd(k,n) \neq 1 $, we define certain subsets $ C_k^*(n) $ and show that it is sufficient to count these sets. Afterwards, we count $ C_k^*(n)$ in the cases $ k = 3 $ and $ k = 4 $ and thus the number of tame $ SL_3 $- and $ SL_4 $-frieze patterns for any width $ w $.

An $SL_k$-tiling is a bi-infinite array of integers having all adjacent $k\times k$ minors equal to one and all adjacent $(k+1)\times (k+1)$ minors equal to zero. Introduced and studied by Bergeron and Reutenauer, $SL_k$-tilings generalize the notion of Conway-Coxeter frieze patterns in the case $k=2$. In a recent paper, Short showed a bijection between bi-infinite paths of reduced rationals in the Farey graph and $SL_2$-tilings. We extend this result to higher $k$ by constructing a bijection between $SL_k$-tilings and certain pairs of bi-infinite strips of vectors in $\mathbb{Z}^k$ called paths. The key ingredient in the proof is the connection to Plücker friezes and Grassmannian cluster algebras. As an application, we obtain results about periodicity, duality, and positivity for tilings.

A fundamental problem in spherical distance geometry aims to recover an $n$-tuple of points on a 2-sphere in $\mathbb{R}^3$, viewed up to oriented isometry, from $O(n)$ input measurements. We solve this problem using algorithms that employ only the four arithmetic operations. Each algorithm recursively produces output data that we arrange into a new type of frieze pattern. These frieze patterns exhibit glide symmetry and a version of the Laurent phenomenon.

In this paper we develop a new geometric approach to subtractive continued fraction algorithms in high dimensions. We adapt a version of Farey summation to the geometric techniques proposed by F. Klein in 1895. More specifically we introduce Farey polyhedra and their sails that generalise respectively Klein polyhedra and their sails, and show similar duality properties of the Farey sail integer invariants. The construction of Farey sails is based on the multidimensional generalisation of the Farey tessellation provided by a modification of the continued fraction algorithm introduced by R. W. J. Meester. We classify Farey polyhedra in the combinatorial terms of prismatic diagrams. Prismatic diagrams extend boat polygons introduced by S. Morier-Genoud and V. Ovsienko in the two-dimensional case. As one of the applications of the new theory we get a multidimensional version of Conway-Coxeter frieze patterns. We show that multidimensional frieze patterns satisfy generalised Ptolemy relations.

In this note, we show that the sequence of maximum values in frieze patterns of type $A_n$ is the sequence of Fibonacci numbers, and that of frieze patterns of type $C_n$ is the sequence of odd Fibonacci numbers.

We count numbers of tame frieze patterns with entries in a finite commutative local ring. For the ring $\mathbb{Z}/p^r\mathbb{Z}$, $p$ a prime and $r\in\mathbb{N}$ we obtain closed formulae for all heights. These may be interpreted as formulae for the numbers of certain relations in quotients of the modular group.

We give an elementary account of the notion of Y-frieze patterns, explain some of their properties, and reveal their connection with Coxeter's frieze patterns.

Based on Berenstein and Retakh's notion of noncommutative polygons we introduce and study noncommutative frieze patterns. We generalize several notions and fundamental properties from the classic (commutative) frieze patterns to noncommutative frieze patterns, e.g. propagation formulae and $μ$-matrices, quiddity cycles and reduction formulae, and we show that local noncommutative exchange relations and local triangle relations imply all noncommutative exchange relations and triangle relations. Throughout, we allow coefficients, so we obtain generalizations of results from our earlier paper on frieze patterns with coefficients from the commutative to the noncommutative setting.