Abstract:We consider a new family $(\mathcal{T}_n)_{n\geq1}$ of aperiodic sets of Wang tiles and we describe the dynamical properties of the set $\Omega_n$ of valid configurations $\mathbb{Z}^2\to\mathcal{T}_n$. The tiles can be defined as the different instances of a square shape computer chip whose inputs and outputs are 3-dimensional integer vectors. The family include the Ammann aperiodic set of 16 Wang tiles and gathers the hallmarks of other small aperiodic sets of Wang tiles. Notably, the tiles satisfy additive versions of equations verified by the Kari--Culik aperiodic sets of 14 and 13 Wang tiles. Also configurations in $\Omega_n$ are the codings of a $\mathbb{Z}^2$-action on a 2-dimensional torus like the Jeandel--Rao aperiodic set of 11 Wang tiles. The family broadens the relation between quadratic integers and aperiodic tilings beyond the omnipresent golden ratio as the dynamics of $\Omega_n$ involves the positive root $\beta$ of the polynomial $x^2-nx-1$, also known as the $n$-th metallic mean. We show the existence of an almost one-to-one factor map $\Omega_n\to\mathbb{T}^2$ which commutes the shift action on $\Omega_n$ with horizontal and vertical translations by $\beta$ on $\mathbb{T}^2$. The factor map can be explicitely defined by the average of the top labels from the same row of tiles as in Kari and Culik examples. The proofs are based on the minimality of $\Omega_n$ (proved in a previous article) and a polygonal partition of $\mathbb{T}^2$ which we show is a Markov partition for the toral $\mathbb{Z}^2$-action. The partition and the sets of Wang tiles are symmetric which makes them, like Penrose tilings, worthy of investigation.

The structure of tiles in $\mathbb{Z}_{p^n}\times \mathbb{Z}_q$ and $\mathbb{Z}_{p^n}\times \mathbb{Z}_p$

Tiling the filed $\mathbb{Q}_p$ of $p$-adic numbers by a function

Abelian and Non-Abelian Paley Type Group Schemes

Periodicity of tiles in finite Abelian groups

Bounded tiles in $\mathbb{Q}_p$ are compact open sets

Regular Cayley Maps of Elementary abelian $p$-groups: Classification and Enumeration

Spectral Tile Direction in the Group $\mathbb{Z}_{p^2} \times \mathbb{Z}_{q^2} \times \mathbb{Z}_r$

Interlacing triangles, Schubert puzzles, and graph colorings

Abelian $p$-groups with a $p$-bounded factor or a $p$-bounded subgroup

A tracial characterization of Furstenberg's $\times p,\times q$ conjecture

Aperiodic monotiles: from geometry to groups

On towers of Isogeny graphs with full level structure

Discrete valuation rings, partitions and $p$-groups I

Algebraic Structure of Permutational Polynomials over $\mathbb{F}_{q^n}$

On self-affine tiles that are homeomorphic to a ball

On distance-regular Cayley graphs over abelian groups of rank $2$

Uniquely compatible transfer systems for cyclic groups of order $p^rq^s$

Constructing $2$-dimensional Lubin-Tate formal groups over $\mathbb{Z}_{p}$ (I)

The Character Table of the Commutative Association Scheme Coming from the Action of $gl(n,q)$ on Non-Incident Point-Hyperlane Pairs

Block Separations and Inclusions

Metallic mean Wang tiles II: the dynamics of an aperiodic computer chip