arXiv++ Combinatorics

We present a single, connected tile which can tile the plane but only non-periodically. The tile is hexagonal with edge markings, which impose simple rules as to how adjacent tiles are allowed to meet across edges. The first of these rules is a standard matching rule, that certain decorations match across edges. The second condition is a new type of matching rule, which allows tiles to meet only when certain decorations in a particular orientation are given the opposite charge. This forces the tiles to form a hierarchy of triangles, following a central idea of the Socolar--Taylor tilings. However, the new edge-to-edge orientational matching rule forces this structure in a very different way, which allows for a surprisingly simple proof of aperiodicity. We show that the hull of all tilings satisfying our rules is uniquely ergodic and that almost all tilings in the hull belong to a minimal core of tilings generated by substitution. Identifying tilings which are charge-flips of each other, these tilings are shown to have pure point dynamical spectrum and a regular model set structure.

We introduce a new type of aperiodic hexagonal monotile; a prototile that admits infinitely many tilings of the plane, but any such tiling lacks any translational symmetry. Adding a copy of our monotile to a patch of tiles must satisfy two rules that apply only to adjacent tiles. The first is inspired by the Socolar--Taylor monotile, but can be realised by shape alone. The second is a local growth rule; a direct isometry of our monotile can be added to any patch of tiles provided that a tree on the monotile connects continuously with a tree on one of its neighbouring tiles. This condition forces tilings to grow along dendrites, which ultimately results in nonperiodic tilings. Our local growth rule initiates a new method to produce tilings of the plane.