In geometry, an Ammann A1 tiling is a tiling from the 6 piece prototile set shown on the right. They were found in 1977 by Robert Ammann. Ammann was inspired by the Robinsion tilings, which were found by Robinson in 1971. The A1 tiles are one of five sets of tiles discovered by Ammann and described in Tilings and patterns.[1]
The A1 tile set is aperiodic, i.e. they tile the whole Euclidean plane, but only without ever creating a periodic tiling.
The prototiles are squares with indentations and protrusions on the sides and corners that force the tiling to form a pattern of a perfect binary tree that is continued indefinitely. The markings on the tiles in the pictures emphasize this hierarchical structure, however, they have only illustrative character and do not represent additional matching rules as this is already taken care of by the indentations and protrusions.
However, the tiling produced in this way is not unique, not even up to isometries of the Euclidean group, e.g. translations and rotations. When going to the next generation, one has choices. In the picture to the left, the initial patch in the left upper corner highlighted in blue can be prolonged by either a green or a red tile, which are mirror images of each other and instances of the prototile labeled b. Then there are two more choices in the same spirit but with prototile e. The remainder of the next generation is then fixed. If one would deviate from the pattern for this next generation, one would run into configurations that will not match up globally at least at some later stage.
The choices are encoded by infinite words from
\Sigma\omega
\Sigma=\{g,r\}
Additionally an A1 tiling may have faults (also called corridors) going off to infinity in arms. This additionally increases the numbers of possible A1 tilings, but the cardinality remains that of the continuum. Note that the corridors allow for some part with binary tree hierarchy to be rotated compared to the other such parts.