Taylor-Socolar hexagonal tilings as model sets

TL;DR

This paper models Taylor-Socolar hexagonal tilings as mathematical model sets within a cut-and-project scheme, analyzing their structure, dynamics, and parity properties, and establishing their relation to internal space and hulls.

Contribution

It introduces an algebraic framework placing Taylor-Socolar tilings into the model set theory, linking them to internal space and analyzing their dynamical and measure-theoretic properties.

Findings

Tilings form a dynamical system with three LI classes.

Two LI classes are countable orbits, one is minimal and surjective.

Hull of parity tilings is mutually locally derivable with the original hull.

Abstract

The Taylor-Socolar tilings are regular hexagonal tilings of the plane but are distinguished in being comprised of hexagons of two colors in an aperiodic way. We place the Taylor-Socolar tilings into an algebraic setting which allows one to see them directly as model sets and to understand the corresponding tiling hull along with its generic and singular parts. Although the tilings were originally obtained by matching rules and by substitution, our approach sets the tilings into the framework of a cut and project scheme and studies how the tilings relate to the corresponding internal space. The centers of the entire set of tiles of one tiling form a lattice $Q$ in the plane. If $X_Q$ denotes the set of all Taylor-Socolar tilings with centers on $Q$ then $X_Q$ forms a natural hull under the standard local topology of hulls and is a dynamical system for the action of $Q$. The $Q$-adic completion $\bar{Q}$ of $Q$ is a natural factor of $X_Q$ and the natural mapping $X_Q \longrightarrow \bar{Q}$ is bijective except at a dense set of points of measure 0 in $\bar{Q}$. We show that $X_Q$ consists of three LI classes under translation. Two of these LI classes are very small, namely countable $Q$-orbits in $X_Q$. The other is a minimal dynamical system which maps surjectively to $\bar{Q}$ and which is variously $2:1$, $6:1$, and $12:1$ at the singular points. We further develop the formula of Socolar and Taylor (2011) that determines the parity of the tiles of a tiling in terms of the co-ordinates of its tile centers. Finally we show that the hull of the parity tilings can be identified with the hull $X_Q$; more precisely the two hulls are mutually locally derivable.