What is known about the existence of a single tile, that tiles R^n only aperiodically?
Has such a tile been found/proven to exist/not exist for any R^n?
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top
Seems to depend a bit on how aperiodic you want your tiling to be. Quoting Wikipedia:
In 1988, Peter Schmitt discovered a single aperiodic prototile in 3-dimensional Euclidean space. While no tiling by this prototile admits a translation as a symmetry, it has tilings with a screw symmetry, the combination of a translation and a rotation through an irrational multiple of $\pi$. This was subsequently extended by John Horton Conway and Ludwig Danzer to a convex aperiodic prototile, the Schmitt–Conway–Danzer tile. Because of the screw axis symmetry, this resulted in a reevaluation of the requirements for periodicity. Chaim Goodman-Strauss suggested that a protoset be considered strongly aperiodic if it admits no tiling with an infinite cyclic group of symmetries, and that other aperiodic protosets (such as the SCD tile) be called weakly aperiodic.
The answer is known to be true in 3 dimensions or higher, the SCD tiling is one solution in three dimensions, and can easily be generalized to higher dimensions. The SCD tiling is basically a roof over an upside-down roof, which at every level is periodic, but the two roofs are skewed at an irrational angle. Thus, when on the "next" level, the upside-down roof fills the hole between two roofs, the next level is rotated by an irrational angle with respect to $\pi$, thus killing any possible translation symmetry.
Also, it was known for a very long time that in dimension 1 such tile cannot exists.
The hardest case $n=2$ was open until couple years ago, when a partial answer was found. The Socolor-Taylor tile tiles the plane only aperiodically, but it is not connected (or if it is made connected, it has some parts which are only boundary). If by a tile you understand a single piece which is closure of it's interior, the question is still open in dimension 2.