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.

Undecidability of tiling the plane with a fixed number of Wang bars

A proof of Ollinger's conjecture: undecidability of tiling the plane with a set of $8$ polyominoes

NP-completeness of Tiling Finite Simply Connected Regions with a Fixed Set of Wang Tiles

Translational Tiling with 8 Polyominoes is Undecidable

Bounded Wang tilings with integer programming and graph-based heuristics

On bounded Wang tilings

Undecidability of Translational Tiling of the 4-dimensional Space with a Set of 4 Polyhypercubes

Undecidability of Translational Tiling with Three Tiles

Undecidability of Translational Tiling of the 3-dimensional Space with a Set of 6 Polycubes

Tiling with Three Polygons is Undecidable

Undecidable translational tilings with only two tiles, or one nonabelian tile

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

Undecidability of translational monotilings

Decision problems on geometric tilings

Tetrahedra tiling problem

Signed Planar Graphs with Δ ≥ 8 Are Δ-edge-colorable

Enumeration of tilings of quartered Aztec rectangles

On Universal Tilers

Translational Aperiodic Sets of 7 Polyominoes

Tilings with noncongruent triangles

Aperiodicity in Quantum Wang Tilings