Matching Rules for a Three-Dimensional Strongly Aperiodic Monotile

Abstract

A recent pre-print [arXiv:2609.19214] proposed a three-dimensional (3D) strongly aperiodic monotile: a shape that tiles Euclidean space only aperiodically and which admits no symmetry of infinite order. The proof takes the 3D Chair tile identified previously by Lee and Moody, and adds geometric decorations to the faces so as to force aperiodicity (without these decorations The Chair also admits periodic tilings). Here we establish general requirements on face decorations to achieve the same end, in order to facilitate the search for physical realisations. We find that the requirements are minimal. We provide matching rules using three colours of arrow. They are not equivalent to the original rules, but force the same tiling by forcing Chairs to compose into `Superchairs' with doubled linear dimensions. In this process the matching rules themselves compose uniquely, which is the core of the earlier proof. Relaxing this constraint further we find that the same structure can be forced using only a matching rule based on the colours of squares, regardless of orientation. Any physical system encoding these rules (geometrically or otherwise) will force the strongly aperiodic monotiling. We provide simple examples.