Skip to content
ResolvedGeometry·2023

Aperiodic Monotile Problem

A single tile can force nonperiodic tilings of the plane.

Formula

Existence
T:  T tiles R2  periodic tiling by T\exists\, T:\; T\text{ tiles }\mathbb{R}^2\quad\wedge\quad \nexists\;\text{periodic tiling by }T

A single tile (monotile or einstein) that can tile the plane but only aperiodically — proved to exist in 2023.

Hat tile parameter family
Tile(a,b):  a,b>0,  abaperiodic\text{Tile}(a,b):\; a,b>0,\; a\ne b\quad\Longrightarrow\quad \text{aperiodic}

The Smith–Myers–Kaplan–Goodman-Strauss hat belongs to a continuous family parameterized by two edge lengths.

Non-periodicity criterion
  v0:  T+v=T\nexists\;\mathbf{v}\ne\mathbf{0}:\;\mathcal{T}+\mathbf{v}=\mathcal{T}

No nonzero translation maps the tiling to itself — the defining property of an aperiodic tiling.

Summary

The aperiodic monotile problem asked whether one shape alone could tile the plane only nonperiodically. The 2023 'hat' and related monotiles gave a concrete answer to a long-running tiling question.

Sources

Videos