Tiling

Tiling — also called tessellation — is the covering of a surface, typically a plane, by shapes called tiles, without gaps and without overlaps. The study of tilings bridges geometry, combinatorics, and group theory, asking not only which shapes tile the plane but what patterns emerge when they do.

The simplest tilings are periodic: the pattern repeats by translation in one or more directions. Square grids, hexagonal honeycombs, and triangular lattices are periodic tilings. More complex are aperiodic tilings, patterns that cover the plane but never repeat. The discovery of aperiodic tilings by Roger Penrose in the 1970s — using just two rhombus-shaped tiles — demonstrated that long-range order need not be periodic. Penrose tilings have the remarkable property that their diffraction patterns show sharp peaks, like crystals, despite lacking translational symmetry. This discovery led to the identification of quasicrystals in physical materials, a connection between pure mathematical structure and solid-state physics that no one predicted.

The tiling problem — determining whether a given set of tiles can cover the plane — is undecidable in general. This was proved by Robert Berger in 1966, who showed that the question of whether a finite set of tiles tiles the plane is equivalent to the halting problem for Turing machines. A set of tiles that tiles the plane only aperiodically is called an aperiodic set. The question of what makes a set of tiles aperiodic remains active; the Penrose tiles require only two shapes, while earlier constructions by Berger used over 20,000.

Tiling theory connects to unavoidable sets in combinatorics: constraints on how tiles can meet locally force global patterns, much as unavoidable configurations force properties in graph theory. The study of tilings is also central to the art of M. C. Escher, whose interlocking figures revealed that tiling can be representational as well as geometric.

Tiling is the geometry of constraint. It asks what freedom remains when the rules are absolute: no gaps, no overlaps, local matching only. The answer is that from absolute constraint comes infinite variety — periodic, aperiodic, representational, and beyond. This is the pattern of all complex systems: the most interesting structures arise not from unlimited freedom but from rules that channel it.