The discovery of an aperiodic monotile in 2023 stands as one of the most exciting breakthroughs in modern geometry and recreational mathematics. It solved a 60-year-old mystery known as the "einstein problem."
To understand the magnitude of this discovery, we must first break down the mathematical concepts of tessellation, periodicity, and aperiodicity.
1. The Mathematical Foundations of Tiling
Tessellation is the process of covering a two-dimensional flat plane with one or more geometric shapes with no overlaps and no gaps.
- Periodic Tiling: Most everyday tilings are periodic. Think of a checkerboard (squares) or a honeycomb (hexagons). If you take a periodic tiling, pick it up, shift it (translate it) by a certain distance, and put it back down, it will perfectly match the original pattern. This is called translational symmetry.
- Aperiodic Tiling: An aperiodic tiling covers the infinite plane without ever repeating in a regular, predictable way. You can never shift the pattern and have it perfectly overlap with itself.
It is important to note that many shapes (like a right triangle) can be arranged to create a non-repeating pattern, but they can also be arranged to create a periodic one. An "aperiodic set of tiles" refers to a set of shapes that can only tile the plane aperiodically; they strictly forbid periodic patterns.
In the 1970s, physicist Roger Penrose famously discovered a set of just two shapes (the "kite" and the "dart") that force an aperiodic tiling. This raised the ultimate question: Could this be done with just one shape?
Mathematicians called this hypothetical shape an "einstein"—a playful pun on the German words ein (one) and stein (stone or tile).
2. The 2023 Discovery: "The Hat"
For decades, mathematicians searched for the elusive einstein. In early 2023, a retired printing technician and shape-hobbyist named David Smith discovered a promising 13-sided polygon. He teamed up with mathematicians Craig Kaplan, Joseph Samuel Myers, and Chaim Goodman-Strauss to rigorously prove its properties.
They named the shape "The Hat".
Mathematical Properties of The Hat:
- Geometry: The Hat is a "polykite." It is constructed by fusing eight smaller identical kites (specifically, 30-60-90 degree kites) together.
- Forced Aperiodicity: Through complex computer algorithms and mathematical proofs (specifically using hierarchical substitution), the team proved that the Hat tiles the infinite plane, and it never falls into a periodic, repeating pattern.
- The Reflection Caveat: There was one slight catch to the Hat. To successfully tile the plane, you must use both the Hat and its mirror image (its reflection). In a massive tiling of Hats, approximately 1 out of every 7 tiles will be a flipped (reflected) version.
While mathematicians widely accepted the Hat as the first true einstein, purists asked a follow-up question: Is it truly a single shape if you are required to pick it up and flip it over in three-dimensional space?
3. The Ultimate Breakthrough: "The Spectre"
Motivated by the reflection caveat, Smith and the team went back to work. Astonishingly, just weeks after publishing the Hat, they released a second paper in May 2023 revealing a new shape: "The Spectre".
Mathematical Properties of The Spectre:
- Strict Chirality: The Spectre is an einstein that requires no reflections. It is a "strictly chiral" aperiodic monotile. You can tile the infinite universe using only left-handed Spectres, without ever needing a right-handed one.
- Modified Edges: The Spectre is closely related to the Hat, derived from a continuum of polykite shapes. By replacing the straight edges of this polygon with specific, interlocking curved edges, the mathematicians physically prevented the tile from fitting together with its mirror image.
- Hierarchical Substitution: Like Penrose tiles and the Hat, the mathematical proof relies on "substitution rules." The tiles group together to form larger "supertiles," which group together to form even larger "super-supertiles." Because this scaling can be mathematically proven to continue infinitely, it proves the tiles can cover an infinite plane.
4. Why Does This Discovery Matter?
While tiling may sound like abstract puzzle-solving, it has profound implications across multiple scientific disciplines:
- Materials Science and Quasicrystals: In 1982, Dan Shechtman discovered quasicrystals—atomic structures that are highly ordered but aperiodic. (He won the 2011 Nobel Prize in Chemistry for this). Aperiodic tilings provide the mathematical blueprint for understanding how these rare, highly resilient, and low-friction materials form in nature.
- Computer Science and Turing Machines: Tiling problems are deeply connected to computation and undecidability. The "Domino Problem" (asking if a given set of tiles can cover a plane) is proven to be computationally undecidable. Aperiodic tiles are the fundamental reason for this undecidability.
- Pure Mathematics and Geometry: The discovery proved that a fundamentally simple geometric object could enforce infinite complexity without regular rules. It expanded our understanding of geometric topology.
Summary
The discovery of the "einstein" tile in 2023 is a landmark moment in mathematics. It transitioned a 60-year-old hypothetical concept into a physical reality. Furthermore, it demonstrated the beautiful synergy between amateur enthusiasm (David Smith) and rigorous academic mathematics, proving that there are still fundamental geometric discoveries waiting to be found simply by playing with shapes.