Hat tile
The first aperiodic monotile, an asymmetric polykite announced in March 2023.
Discovery
The Hat is an asymmetric polykite — eight kites carved from a hexagonal grid — that admits tilings of the plane, but none that are periodic. Found by hobbyist David Smith and proven aperiodic by Smith, Myers, Kaplan, and Goodman-Strauss, it was the first shape shown to solve the einstein problem.[1] The original paper gives two proofs, one computer-assisted; independent arguments[4] and a direct construction[5] followed within months, and the shape can also be reached from classical Wang-tile machinery.[7]
Why reflections matter
Every Hat tiling mixes unreflected and reflected tiles at a fixed ratio. Whether that disqualifies it as a "true" monotile sparked public debate; the authors and standard references (Grünbaum & Shephard) count reflected congruent copies as the same tile shape.[1][3] The debate was settled constructively two months later: the Spectre tiles aperiodically with no reflected copies at all.[2]
Physics on the Hat lattice
Because the Hat gives physicists their first aperiodic monotile lattice, it quickly became a substrate for model systems. Its tilings have quasicrystalline diffraction structure — sharp Bragg-like peaks with symmetries forbidden to periodic crystals.[6] Exact diffraction theory now places Hat tilings in CAP cut-and-project model sets with computable Fourier–Bohr amplitudes,[31][35] while crystallographic analysis shows vertex diffraction riding on an underlying periodic framework.[33] Electronic and vibrational properties of the Hat lattice show behavior distinct from both crystals and random media.[20] Statistical mechanics has been worked directly on the tiling: the Ising model on the Hat lattice[21] and dimer models on the Spectre tiling[22] both reveal how aperiodic adjacency changes collective behavior. For anyone designing materials, these papers are the evidence base that monotile geometry is not just decoration — it changes physics.
See also
Aperiodic monotile, Spectre tile
Categories: Mathematics · Concepts