A Hobbyist Just Solved a 50-Year-Old Math Problem (Einstein Tile)
Up and Atom
17 min, 59 sec
A detailed exploration of the discovery of a shape that can cover a surface aperiodically, a mathematical quest that was resolved after 50 years.
Summary
- Mathematicians searched for over 50 years for a shape that can tile a surface aperiodically, and it was finally discovered in March of this year.
- David Smith, a retired printing technician and shape hobbyist, discovered a simple shape called a 'polykite' that could not tile periodically.
- The shape, named the 'Einstein tile' or 'hat,' was proven to be aperiodically tiling through mathematical proof involving the unique hierarchy method.
- After the initial discovery, an infinite continuum of aperiodic monotiles was found, leading to practical applications in material science.
- A later discovery by David Smith revealed another aperiodic monotile that does not require its mirror reflection, named the 'Specter'.
Chapter 1
Chapter 2
The historical context of the search for a shape that tiles a surface aperiodically without a repeating pattern.
- The episode poses the question of whether a shape exists that can cover a surface without forming a predictable repeating pattern.
- For over 50 years, mathematicians have sought such a shape, and it was finally discovered in March of this year.
- The discovery has caused significant excitement within the mathematics community.
Chapter 3
Explanation of tiling concepts including periodic and non-periodic tiling.
- Tiling is the arrangement of shapes to cover a plane without gaps, which can extend infinitely.
- Periodic tiling has translational symmetry, meaning the pattern can be slid across itself and match perfectly.
- Non-periodic tiling, also known as a never-repeating pattern, does not exhibit translational symmetry.
Chapter 4
The history of aperiodic tiles from their initial discovery to the quest for a single aperiodic tile.
- The first set of aperiodic tiles was discovered in 1964, with a set of 20,426 different tiles, which was then reduced over time to a smaller number of tiles.
- Roger Penrose's work brought the number down to two, raising the question of whether there could be a single aperiodic tile.
- For 50 years, the search for a single shape that could only tile aperiodically remained unsuccessful.
Chapter 5
The story of David Smith's discovery of the polykite shape and its naming as the 'hat'.
- David Smith, a retired printing technician, discovered the polykite shape, which is made up of eight kite shapes from hexagons, and it could not tile periodically.
- He reached out to Craig Kaplan, a computer scientist, to verify if his shape could be an Einstein tile, named after the German word for 'one stone'.
- The shape was named 'the hat' after its resemblance to a shirt or a hat when turned upside down.
Chapter 6
The mathematical proof of the hat tile's aperiodicity using the unique hierarchy method.
- The proof of the hat tile's aperiodicity involved understanding the hierarchy of tiling and the unique hierarchy method.
- Researchers identified reoccurring clusters of hats that could cover the plane and replaced them with meta tiles for easier analysis.
- The unique hierarchical property of the tiling was demonstrated, guaranteeing non-periodicity.
Chapter 7
The discovery of the turtle tile and the realization of an infinite continuum of aperiodic monotiles.
- While the proof for the hat tile was being formalized, David Smith found another aperiodic monotile he named the 'turtle'.
- Joseph Samuel Myers realized that the hat and the turtle were related and could be morphed into each other, leading to an infinite continuum of aperiodic monotiles.
- Except for the extremes, every shape in this continuum tiles the plane aperiodically.
Chapter 8
Addressing criticisms of the hat tile's use of reflections and the discovery of the specter tile.
- Some critics argued that the hat tile is not a true monotile because it uses its reflection, leading to a debate about the definition of a single tile.
- Dave discovered another aperiodic monotile, which doesn't need its mirror reflection, called the 'Specter'.
- The Specter tile is weakly aperiodic, as it does not tile periodically with its mirror reflection.
Chapter 9
Exploring practical applications of aperiodic tiles and promoting visual learning through Brilliant.
- Aperiodic patterns are being used to create new materials with unique properties like elasticity and reduced failure rates.
- The potential applications of the Einstein tile in material science and engineering are still being explored.
- Brilliant.org is recommended for those interested in visual learning and exploring mathematics and science.
More Up and Atom summaries
Why it took 379 pages to prove 1+1=2
Up and Atom
A detailed history of the complex proof that demonstrates 1+1 equals 2, spanning ancient Greece to the 20th century efforts of Russell and Whitehead.