Aperiodic tiling

Aperiodic tiling
Name	Aperiodic tiling
Caption	Penrose tiling pattern
Field	Mathematics
Introduced	1960s–1970s
Major figures	Roger Penrose, Robert Berger, John Conway, Donald Knuth, Emil Post, Branko Grünbaum

Aperiodic tiling is a tiling of the plane or higher-dimensional space by one or more tile types that admits only nonperiodic arrangements, so no translation maps the tiling onto itself. Aperiodic tilings connect topics across Berger, Roger Penrose, John Conway, Paul Erdős-related problems and link to crystallography through Shechtman's discovery of quasicrystals and to computation through Emil Post's decision problems. They have influenced research at institutions such as Massachusetts Institute of Technology, University of Cambridge, Princeton University, University of California, Berkeley and Institute for Advanced Study.

Definition and basic concepts

A tiling uses prototiles to cover a space without gaps or overlaps; an aperiodic set of prototiles forces every valid tiling to be nonperiodic. Key notions include matching rules introduced by Berger and hierarchical structure exemplified by Penrose's rhombs and kite-and-dart, with enforceable local constraints reminiscent of ideas in Emil Post's rewriting systems and Alan Turing's undecidability results. Concepts such as local isomorphism classes relate to combinatorial frameworks explored by John Conway and Branko Grünbaum, while maximal symmetry breaking appears in examples studied at Wolfram Research and in patterns examined by M. C. Escher.

Historical development

The search for aperiodic tilings began with decision-problem work by Emil Post and reached a milestone when Robert Berger proved existence of an aperiodic set while addressing the domino problem at Princeton University and later work at IBM. Roger Penrose produced simpler sets in the 1970s, studied alongside contributions from John Conway and Heesch; interest surged after Daniel Shechtman's Nobel-recognized discovery of quasicrystals, which linked experimental observations at Technion and Israeli Institute of Technology to mathematical tiling theory. Developments at University of Manchester, University of Toronto, École Normale Supérieure and University of Waterloo expanded connections to symbolic dynamics and aperiodic order.

Mathematical properties and classification

Aperiodic tilings are classified by properties such as repetitivity, local isomorphism, minimality and unique ergodicity explored in settings including Cantor set-like spaces and dynamical systems studied at Centre National de la Recherche Scientifique laboratories. Spectral properties, including pure point, singular continuous and absolutely continuous diffraction spectra, were central to understanding quasicrystalline order after Shechtman; these link to harmonic analysis at Institut Fourier and to operator algebras developed at Université Paris-Sud. Combinatorial invariants and decision-theoretic complexity relate to work by Donald Knuth, Paul Erdős, and computational concerns at Los Alamos National Laboratory and Lawrence Berkeley National Laboratory.

Examples and notable sets of aperiodic tiles

Famous examples include Roger Penrose's rhombs and kite-and-dart, and the original large set by Robert Berger; other celebrated constructions involve the Ammann bars, Robinson tiles, and sets developed by John Conway and Chaim Goodman-Strauss. Substitution tilings like the chair tiling, the tribonacci tiling, and multidimensional analogues studied by Marjorie Senechal and Nicolas G. de Bruijn illustrate hierarchical order; further examples were produced by researchers at University of Minnesota and University of Washington, and algorithmic searches performed at IBM Research and Microsoft Research produced minimal aperiodic sets. The discovery of a single aperiodic monotile, advanced in recent years, invoked debates echoing work from Heesch and Wang tile theory developed at University of California, Los Angeles.

Construction methods and substitution rules

Common construction methods use substitution rules, local matching rules, cut-and-project schemes and hierarchical inflation/deflation processes; these methods were formalized using symbolic dynamics at New York University and geometric group theory at University of Chicago. Substitution matrices yield Perron–Frobenius eigenvalues linking to algebraic number theory studied at University of Oxford and to beta-expansions analyzed by A. N. Kolmogorov-influenced schools. Cut-and-project constructions connect to higher-dimensional lattices from Cayley group contexts and to projections studied by Hermann Minkowski-inspired geometric number theory groups. Computer-assisted searches for matching rules and minimal sets have been carried out at IBM Research, Microsoft Research, and laboratories at Los Alamos National Laboratory.

Applications and implications in mathematics and science

Aperiodic tilings impact theories of order in materials science following Shechtman's experiments that transformed views at Max Planck Society and Oak Ridge National Laboratory; they inform models used at Argonne National Laboratory and in studies published from Lawrence Livermore National Laboratory. In mathematics they bridge combinatorics, dynamical systems and topology investigated at Institute for Advanced Study and Courant Institute, and inform coding-theory and quasicrystal diffraction work at Bell Labs and National Institute of Standards and Technology. Connections extend to theoretical computer science via undecidability results rooted in Emil Post and Alan Turing, to tiling problems posed at International Congress of Mathematicians, and to art and architecture exemplified by installations in The Museum of Modern Art and exhibitions referencing M. C. Escher.

Category:Tessellation