How a Hobbyist Solved a 50-Year-Old Math Problem (Einstein Tile)

Up and Atom

3 Sept 202317:59

EducationalLearning

32 Likes 10 Comments

TLDRIn a groundbreaking discovery, mathematicians have found a shape known as the 'hat' that can tile a surface without repeating patterns, answering a 50-year-old question. This aperiodic monotile, along with a second shape called the 'turtle,' were discovered by retired printing technician David Smith. The shapes can morph into an infinite continuum of aperiodic monotiles, with potential applications in material science. The discovery was confirmed with a mathematical proof using the unique hierarchy method and has sparked excitement in the mathematics community.

Takeaways

🎉 The discovery of a shape that can cover a surface without repeating patterns, known as an aperiodic tiling, was made in March of this year, ending a 50-year search in the mathematics community.
🧩 Aperiodic tiling refers to a nonperiodic pattern where no matter how the shapes are arranged, it's impossible to create a repeating pattern.
📈 The original set of aperiodic tiles consisted of 20,426 different shapes, which was eventually reduced to a set of six tiles by Roger Penrose, and then further down to two tiles.
🏆 The 'Einstein Tile' or 'Ein Stein Tile' is the term for a single shape that can tile a surface aperiodically, a long-sought after discovery in mathematics.
👨‍💻 David Smith, a retired printing technician and shape hobbyist, discovered the first such shape, called the 'hat', by playing with shapes on his computer.
📝 The 'hat' was proven to be an aperiodic monotile through a mathematical proof involving the unique hierarchy method, which relies on the hierarchical or fractal nature of a tiling.
🐢 Shortly after the 'hat', another aperiodic monotile named the 'turtle' was discovered, showing that there is an infinite continuum of aperiodic monotiles by morphing between the 'hat' and 'turtle'.
👻 The 'spectre' is a subsequent discovery by Dave, a single tile that doesn't use its mirror reflection to tile aperiodically, thus resolving debates about the 'hat'.
🏢 Practical applications of aperiodic patterns are being explored, including the creation of new materials that may be more elastic and less prone to failure than their periodic counterparts.
🤓 The story of the aperiodic tiling discovery highlights the potential for anyone, regardless of formal training, to contribute to groundbreaking mathematical advancements.
🌟 The script also promotes Brilliant, an online platform for learning mathematics and other subjects, emphasizing its visual learning approach and interactive problem-solving.

Q & A

What is a nonperiodic tiling in mathematics?
-In mathematics, a nonperiodic tiling is an arrangement of shapes that cover a plane without any gaps or overlaps and cannot be translated across the plane to exactly match itself, meaning it does not repeat in a predictable pattern.
What was the major mathematical discovery announced in March of the referenced year?
-The major discovery announced was the finding of a shape that can tile a surface in a nonperiodic, never repeating pattern. This shape, known as an aperiodic monotile, was sought after for over 50 years before being discovered.
Who discovered the first set of aperiodic tiles, and when?
-The first set of aperiodic tiles was discovered in 1964. This original set consisted of 20,426 different tiles.
How did Roger Penrose contribute to the study of aperiodic tiling?
-Roger Penrose significantly contributed by reducing the number of aperiodic tiles needed for a non-repeating pattern to just two tiles, a considerable reduction from the previously discovered sets.
Who discovered the aperiodic monotile known as the 'Ein Stein Tile' and what is unique about it?
-David Smith, a retired printing technician and shape hobbyist, discovered the aperiodic monotile called the 'Ein Stein Tile'. It is unique because it is the first known shape that can tile a plane aperiodically by itself, without needing to combine with other shapes.
What are polykites, and how are they related to the Ein Stein Tile?
-Polykites are shapes made up of eight kite-shaped pieces, and they relate to the Ein Stein Tile because David Smith's discovery of this tile was a polykite, demonstrating its aperiodic tiling capabilities.
How was the aperiodicity of the 'hat' tile proven?
-The aperiodicity of the 'hat' tile was proven using the unique hierarchy method, which involves demonstrating that the tile forms a pattern where each smaller tile belongs uniquely to one larger tile in the pattern, ensuring non-periodicity.
What does the term 'weakly aperiodic' mean in the context of the new discoveries?
-The term 'weakly aperiodic' refers to a shape that can tile a plane aperiodically on its own but can form a periodic pattern when its mirror reflection is included.
What potential applications do aperiodic patterns have?
-Aperiodic patterns have potential applications in creating new materials with unique properties, such as increased elasticity and reduced failure rates, compared to materials with periodic lattice structures.
How did David Smith contribute to the field of mathematics despite his lack of formal training?
-David Smith contributed to the field by discovering the first known aperiodic monotile, demonstrating that groundbreaking discoveries in mathematics can be made by individuals without formal training, through curiosity and exploration of shapes.

Outlines

00:00

🎉 The Discovery of the Aperiodic Monotile

The narrative begins by acknowledging the sponsorship of Brilliant and introduces a groundbreaking mathematical discovery: the identification of a shape capable of covering a surface in a non-repeating, non-periodic manner, a question that intrigued mathematicians for over 50 years. Discovered in March of this year, the shape, known as an aperiodic monotile, sparked immense excitement and celebration within the mathematical community, leading to a festival in its honor. The episode's narrator, invited to this event, shares insights from the festival, emphasizing both the mathematical brilliance and the captivating story behind this discovery. The journey of finding such a tile dates back to 1964 with the discovery of a set of 20,426 aperiodic tiles, which was gradually reduced to a simpler set of tiles by various mathematicians, notably Roger Penrose, who brought it down to just two tiles. The quest for a single aperiodic monotile culminated with David Smith, a retired printing technician and shape enthusiast, discovering the so-called 'Ein Stein Tile' or 'hat' tile, made from polykites—a shape derived from hexagons.

05:00

🔍 Proving the Non-Repeating Nature of the Einstein Tile

This segment delves into the complexities of proving that the discovered pattern, the Einstein Tile, truly never repeats over an infinite plane. To solidify the tile's identity as an aperiodic monotile, a team including David Smith, the tile's discoverer, Craig Kaplan, Chaim Goodman-Strauss, and Joseph Samuel Meyers, collaborated to develop a mathematical proof. Utilizing the unique hierarchy method, a classic technique in tiling theory, they demonstrated the tile's aperiodicity through a hierarchical, fractal-like construction process that ensures each smaller tile uniquely belongs to a larger one, thereby guaranteeing non-periodicity. This proof, focusing on the hat tiling, involved identifying recurring clusters of the tiles, replacing them with metatiles, and showing these metatiles formed a unique hierarchical structure that covered the plane in a non-repeating manner.

10:01

🌀 Infinite Aperiodic Monotiles and the Spectre Tile

While the team worked on the mathematical proof of the hat tile's aperiodicity, David Smith discovered another aperiodic monotile named the turtle, signaling an extraordinary period of discovery after a long drought of new findings. Joseph Meyers identified a relationship between the hat and turtle tiles, revealing an infinite continuum of aperiodic monotiles between them. This section also addresses criticisms regarding the use of tile reflections in defining aperiodic monotiles, culminating in the discovery of another tile, the spectre, which does not require its mirror reflection to tile aperiodically. The spectre tile's discovery underlined the principle that groundbreaking mathematical discoveries are open to anyone, regardless of their formal mathematical training.

15:02

🌟 Practical Applications and Conclusion

Beyond the mathematical intrigue, this segment explores the potential practical applications of aperiodic patterns, particularly in material science. Aperiodic lattices are found to exhibit unique properties such as increased elasticity and reduced failure rates compared to periodic lattices, hinting at a future of innovative material designs inspired by the Einstein Tile. The story concludes with an emphasis on the accessibility of mathematical exploration, inspired by Dave’s story of discovery without formal training. It encourages viewers to engage with math through resources like Brilliant, highlighting the continuous potential for discovery and innovation in the field of mathematics.

Mindmap

Keywords

💡aperiodic tiling

Aperiodic tiling refers to a pattern of shapes that cover a surface without any gaps, but never form a repeating pattern. It is a concept in mathematics where the arrangement of shapes cannot be mirrored or translated to overlay perfectly onto itself. In the video, the discovery of a shape that can aperiodically tile a plane is a groundbreaking event, marking a 50-year search by mathematicians for such a shape.

💡nonperiodic

Nonperiodic refers to a property of a pattern or sequence that does not repeat at regular intervals. In the context of the video, it relates to the arrangement of shapes in a tiling that cannot be predicted or repeated in a regular, periodic manner. Nonperiodicity is a key characteristic of the shapes that were discovered, which was a long-standing challenge in mathematics.

💡Einstein Tile

The Einstein Tile, also known as the aperiodic monotile, is a single shape that can cover a plane without ever forming a repeating pattern. Named after Albert Einstein, who famously pondered the existence of such a shape, it represents a significant achievement in the field of mathematics. The video chronicles the discovery of the first Einstein Tile, which was a long-standing question in mathematics.

💡Penrose Tiles

Penrose Tiles are a set of shapes invented by mathematician Roger Penrose that can only tile a plane non-periodically. They are named after him and consist of two shapes, the kite and dart, which can cover an infinite plane without repeating a pattern. The video discusses Penrose Tiles as a precursor to the discovery of the Einstein Tile.

💡David Smith

David Smith is a retired printing technician and self-described shape hobbyist who is credited with the discovery of the 'hat', the first shape to be identified as an Einstein Tile. His contribution to mathematics was made without formal training, highlighting the accessibility of mathematical exploration.

💡Craig Kaplan

Craig Kaplan is a computer scientist from the University of Waterloo who was contacted by David Smith to verify the potential of the 'hat' as an Einstein Tile. Kaplan's work in computational mathematics played a crucial role in the verification and proof of the 'hat's aperiodicity.

💡unique hierarchy method

The unique hierarchy method is a mathematical technique used to prove the aperiodicity of a tiling. It relies on the concept that each smaller tile belongs to one and only one larger tile, creating a hierarchical structure that prevents periodic repetition. This method was central to proving that the 'hat' and 'spectre' tiles are indeed aperiodic.

💡mathematical proof

A mathematical proof is a logical demonstration that a statement or theorem is true, using accepted rules of logic and previously established theorems. In the context of the video, a mathematical proof was necessary to confirm that the 'hat' and 'spectre' tiles do not form a repeating pattern when used to tile a plane, thus establishing their aperiodic nature.

💡geometry

Geometry is a branch of mathematics concerned with the properties and relations of points, lines, surfaces, and solids. In the video, geometry plays a significant role in the study and understanding of tilings and the shapes that can tile a plane aperiodically.

💡material science

Material science is an interdisciplinary field that studies the properties of matter and its applications to various areas of science and engineering. In the video, it is mentioned that aperiodic patterns, like those found in the Einstein Tile, are being explored for their potential use in creating new materials with unique properties.

💡Brilliant

Brilliant is an online learning platform that offers courses in mathematics, science, and other subjects. In the video, Brilliant is mentioned as a resource for learning about tilings and their applications, emphasizing the platform's focus on visual learning and problem-solving.

Highlights

Discovery of a shape that can cover a surface in a never predictable repeating pattern, answering a 50-year-old mathematical question.

Introduction of the concept of nonperiodic tiling, a key aspect of the discovery.

Historical context of aperiodic tiles, tracing back to a discovery in 1964.

The reduction from 20,426 tiles to a set of two by Roger Penrose, and the speculation about a single aperiodic tile.

The accidental discovery of the Ein Stein Tile by David Smith, a retired printing technician.

The role of computer software in confirming the aperiodicity of the Ein Stein Tile.

Naming of the Ein Stein Tile as 'the hat' based on its shape resemblance.

Collaborative effort to mathematically prove the hat's aperiodicity.

Introduction of the unique hierarchy method as a proof technique.

The discovery of another aperiodic monotile named 'the turtle' by David Smith.

Identification of an infinite continuum of aperiodic monotiles.

Addressing criticisms regarding the use of tile reflections in defining aperiodicity.

Discovery of the 'spectre,' a truly aperiodic monotile that does not rely on reflections.

Practical applications of aperiodic tiles in material science.

Encouragement of public engagement with mathematics through accessible discoveries like this.

Transcripts

Browse More Related Video

2023's Biggest Breakthroughs in Math

The Infinite Pattern That Never Repeats

A world from a sheet of paper - Tadashi Tokieda

The paradox at the heart of mathematics: Gödel's Incompleteness Theorem - Marcus du Sautoy

Oxford Maths Admissions Interview Question with @blackpenredpen

Art inspired by mathematics | Michael Naylor | TEDxTrondheim