Holm-Jorgensen Frieze Patterns

Updated 28 September 2025

Holm–Jorgensen frieze patterns are generalized numerical arrays from p-angulations, where each quiddity entry is a positive integer multiple of 2cos(π/p) satisfying the unimodular diamond rule.
They establish a bijection between p-angulations and p-Dyck paths, enabling refined combinatorial enumeration and symmetry analysis via cyclic sieving phenomena.
These patterns reveal distinctive integrality properties and embed classical Conway–Coxeter friezes in special cases, while extending to infinite dissections with explicit determinant and Smith normal form results.

Holm–Jorgensen frieze patterns are a family of generalized frieze patterns arising from and parameterized by $p$ -angulations of polygons, extending the foundational work of Conway–Coxeter on integral friezes and triangulations. The core structural feature of these patterns is their quiddity sequence, whose entries are positive integer multiples of $\lambda_p = 2\cos(\pi/p)$ , with the unimodular (diamond) rule $ad - bc = 1$ governing local relations. This generalization connects the combinatorics of dissections to the algebraic and geometric frameworks of cluster algebras, moduli spaces, and integrable systems.

1. Definition and Structural Correspondence

For fixed $p \geq 3$ , a Holm–Jorgensen frieze pattern of type $\Lambda_p$ is an array of numbers, commonly real, with rows and columns arranged such that every adjacent $2 \times 2$ minor (i.e., a diamond) satisfies

$ad - bc = 1$

where $a, b, c, d$ are the entries arranged in a square in the frieze.

Unlike the classical case (where the quiddity row consists of positive integers), the quiddity sequence for a pattern of type $\Lambda_p$ has the form

$(\lambda_p q_0, \lambda_p q_1, \ldots, \lambda_p q_{n+2}),\qquad q_j \in \mathbb{Z}_{>0}$

By Holm–Jorgensen’s bijection, these patterns correspond exactly to $\lambda_p = 2\cos(\pi/p)$ 0-angulations of an $\lambda_p = 2\cos(\pi/p)$ 1-gon, that is, dissections of the polygon into $\lambda_p = 2\cos(\pi/p)$ 2-gons by noncrossing diagonals, with the combinatorial prescription that vertex $\lambda_p = 2\cos(\pi/p)$ 3 receives weight $\lambda_p = 2\cos(\pi/p)$ 4, the number of $\lambda_p = 2\cos(\pi/p)$ 5-gons incident to $\lambda_p = 2\cos(\pi/p)$ 6 (Andritsch, 2018).

An explicit formula relates the quiddity entry to the $\lambda_p = 2\cos(\pi/p)$ 7-angulation: $\lambda_p = 2\cos(\pi/p)$ 8 where $\lambda_p = 2\cos(\pi/p)$ 9 is the number of diagonals of the angulation $ad - bc = 1$ 0 incident with $ad - bc = 1$ 1 (Adams et al., 21 Sep 2025).

2. Connections to Polygon Angulations and Dyck Paths

Underlying Holm–Jorgensen’s classification is a two-step factorization: via a classical bijection (Etherington’s mapping), every $ad - bc = 1$ 2-angulation of an $ad - bc = 1$ 3-gon corresponds to a $ad - bc = 1$ 4-Dyck path (an $ad - bc = 1$ 5-Dyck path with $ad - bc = 1$ 6), and hence so does every frieze of type $ad - bc = 1$ 7 (Adams et al., 21 Sep 2025).

Formally, for $ad - bc = 1$ 8 $ad - bc = 1$ 9-gons (so $p \geq 3$ 0), there is a bijection

$p \geq 3$ 1

assigning to each $p \geq 3$ 2-angulation a Dyck path. The entries of the associated Holm–Jorgensen frieze (after inverting the Dyck path encoding via the $p \geq 3$ 3 map) are given explicitly by

$p \geq 3$ 4

where $p \geq 3$ 5 is the number of up-steps and $p \geq 3$ 6 counts certain balance lines at $p \geq 3$ 7 in the Dyck path $p \geq 3$ 8 (Adams et al., 21 Sep 2025).

This correspondence allows for refined enumeration and analysis of symmetries, including a translation of rotation actions on the polygon/dissection to explicit maps on Dyck paths and the associated friezes.

3. Unimodular Rule, Integrality, and Positivity

The Holm–Jorgensen patterns always satisfy the unimodular (diamond) relation $p \geq 3$ 9, respecting the global periodicity and local determinantal structure. A central claim is that, apart from the exceptional cases $\Lambda_p$ 0 and $\Lambda_p$ 1, the entries of the frieze are never integral in all rows, because powers of $\Lambda_p$ 2 for $\Lambda_p$ 3 are always irrational (Andritsch, 2018). For $\Lambda_p$ 4 ( $\Lambda_p$ 5) and $\Lambda_p$ 6 ( $\Lambda_p$ 7), the friezes of type $\Lambda_p$ 8 contain, in every second row, classical Conway–Coxeter friezes. This embedding is formalized by constructing two triangulations associated to every $\Lambda_p$ 9-angulation so that the Conway–Coxeter frieze agrees with the $2 \times 2$ 0 frieze pattern in specified rows (Andritsch, 2018).

Holm–Jorgensen frieze patterns are, by construction, positive in all entries, as every entry arises from sums of positive multiples of $2 \times 2$ 1 assigned according to the $2 \times 2$ 2-angulation (Andritsch, 2018, Adams et al., 21 Sep 2025).

4. Cluster-Algebraic, Geometric, and Moduli Space Structures

Holm–Jorgensen patterns generalize the cluster structure of Conway–Coxeter friezes. In the case $2 \times 2$ 3, the frieze pattern corresponds to a cluster algebra of type $2 \times 2$ 4, with the cluster variables arising as entries defined by the local diamond rule and the positivity/Laurent phenomenon (Morier-Genoud et al., 2010). For $2 \times 2$ 5, Holm–Jorgensen friezes determine and are determined by higher angulations, and the associated combinatorial objects give rise to cluster–like manifolds, often with explicit determinant, Smith normal form, and mutation formulas (Bessenrodt et al., 2013, Bessenrodt, 2014).

Explicitly, in the context of cluster theory, the combinatorial data of a $2 \times 2$ 6-angulation induces a cluster structure via triangulations for $2 \times 2$ 7 and via $2 \times 2$ 8-angulations for general $2 \times 2$ 9, whose exchange relations and quiver structure control the algebraic structure of the frieze pattern and its mutation dynamics (Morier-Genoud et al., 2010). This perspective aligns Holm–Jorgensen patterns with the moduli space of genus zero curves with marked points: $ad - bc = 1$ 0 with classical cluster coordinates reflecting different combinatorial parameterizations (Morier-Genoud et al., 2010).

5. Periodicity, Enumeration, and Cyclic Sieving

Friezes of type $ad - bc = 1$ 1 inherit global periodicity both from the combinatorics of $ad - bc = 1$ 2-angulations and the symmetry of the corresponding Dyck paths. Enumeration refinements rely on cyclic sieving phenomena: for example, the number of friezes (up to global row shift, i.e., cyclic equivalence) fixed under rotations is obtained by evaluating a $ad - bc = 1$ 3-analogue polynomial at appropriate roots of unity (Adams et al., 21 Sep 2025). These cyclic sieving polynomials—such as $ad - bc = 1$ 4 for a composition $ad - bc = 1$ 5—organize the counts by orbit size, with the symmetry of the frieze or underlying dissection encoded in the combinatorics of $ad - bc = 1$ 6-Dyck paths or $ad - bc = 1$ 7-angulations.

Moreover, the principal growth coefficient (i.e., the growth rate of the entries along periodic directions in the frieze) distinguishes cases with nontrivial rotational symmetry, especially in the triangulated case. For such friezes corresponding to orbifolds (invariant under nontrivial rotation), unitary behavior is always observed (Adams et al., 21 Sep 2025).

6. Realization in Dissected Surfaces and Infinite Patterns

The theory extends naturally to classes of infinite friezes via dissections of annuli and once–punctured discs, with entries in $ad - bc = 1$ 8 (Banaian et al., 2021). Each vertex of the surface is assigned a “quiddity” number via

$ad - bc = 1$ 9

where the sum is over all subgons $a, b, c, d$ 0 incident to $a, b, c, d$ 1 in the dissection. There exist explicit combinatorial realizability algorithms—generalizing the “ear–removal” technique of polygon dissections—that decide whether a periodic frieze pattern comes from a dissection of an annulus or a quotient construction, by recursively “cutting” and “gluing” along subgon incidences (Banaian et al., 2021).

Combinatorial interpretations of entries (e.g., as sums over weighted walks or matchings, with weights given by normalized Chebyshev polynomials evaluated at $a, b, c, d$ 2) further generalize the classical arc–counting model of Broline–Crowe–Isaacs (Banaian et al., 2021).

The matrices arising from generalized Holm–Jorgensen frieze patterns—encoded (for example) as the “arc matrix” of a $a, b, c, d$ 3-angulation or as weight matrices for polynomially–weighted walks—are highly structured. Determinant and Smith normal form results are independent of the particular $a, b, c, d$ 4-angulation; for a $a, b, c, d$ 5-angulation of an $a, b, c, d$ 6-gon, the determinant of the associated matrix $a, b, c, d$ 7 is

$a, b, c, d$ 8

where $a, b, c, d$ 9, and the SNF has $\Lambda_p$ 0 entries equal to $\Lambda_p$ 1 with all others unity (Bessenrodt et al., 2013). For polynomially weighted friezes, the determinant is an explicit multivariate polynomial depending only on the types of subgons in the dissection, generalizing earlier integral results (Bessenrodt, 2014).

Adjacent $\Lambda_p$ 2 minors in Holm–Jorgensen patterns (or their polynomial generalizations) are either zero or equal to a specific monomial, determined by the existence of zig–zag sequences connecting the boundary edges and by the exponents extracted from combinatorial paths (Bessenrodt, 2014).

In summary, Holm–Jorgensen frieze patterns constitute a structural generalization of classical frieze patterns, built upon the combinatorics of $\Lambda_p$ 3-angulations, cluster algebras, and the geometry of moduli spaces. Their integrality, positivity, determinantal and periodicity properties, and their relationships to Dyck paths, dissected surfaces, and cluster dynamics, render them a central object in modern algebraic, geometric, and combinatorial research on friezes (Morier-Genoud et al., 2010, Andritsch, 2018, Banaian et al., 2021, Adams et al., 21 Sep 2025).