Shechtman Shatters Crystallography Dogma With Quasicrystal Proof

The Infinite Pattern That Never Repeats — Veritasium

Veritasium

Aperiodic crystals can assemble indefinitely in nature because strict vertex constraints prevent fatal atomic growth traps, overturning centuries of classical geometric dogma.

AI-assisted summary of The Infinite Pattern That Never Repeats — original source. Check the original for full context.

Source published:

Key ideas

  • Classical Euclidean geometry long dictated that periodic planar tilings can only possess 2-, 3-, 4-, or 6-fold rotational symmetry, excluding 5-fold symmetry because regular pentagons leave gaps. (3:39)
  • Roger Penrose showed that aperiodic tilings—patterns that never repeat periodically across an infinite plane—can be constructed using just two prototiles, such as kites and darts or thick and thin rhombuses. (7:07)
  • In an infinite kite-and-dart Penrose tiling, the ratio of kites to darts converges precisely to the golden ratio (phi ≈ 1.618), mathematically proving the impossibility of a repeating periodic unit cell. (10:04)
  • Despite skepticism and opposition from scientists like Linus Pauling, Dan Shechtman and Paul Steinhardt proved that 5-fold and 10-fold symmetric 'quasicrystals' exist in physical materials, earning Shechtman the 2011 Nobel Prize in Chemistry. (16:46)

Detailed notes

## Background Published on YouTube by Veritasium on September 30, 2020, this video explores how classical rules of geometry asserted that five-fold rotational symmetry and non-periodic crystals were impossible, only to be proven wrong. Featuring an interview with theoretical physicist Prof. Paul Steinhardt, the presentation details the mathematics of Penrose tilings and the unexpected physical discovery of quasicrystals.

## TL;DR The video traces the evolution of symmetry from Johannes Kepler's geometric speculations and the classical crystallographic restriction—which mathematically forbade five-fold periodic patterns—to the discovery of aperiodic tilings that never repeat. Roger Penrose famously distilled this concept into two simple shapes governed by the golden ratio and Fibonacci spacing, which were initially dismissed as abstract mathematical novelties incapable of growing physically. However, parallel breakthroughs in the 1980s by Paul Steinhardt in computational modeling and Dan Shechtman in laboratory metallurgy demonstrated that real physical materials, named quasicrystals, actually embody these impossible symmetries. Despite fierce institutional ridicule from scientific icons like Linus Pauling, the discovery revolutionized crystallography and earned Shechtman the 2011 Nobel Prize in Chemistry.

## Atmosphere & style The presentation combines contemplative intellectual history with the palpable excitement of hands-on discovery, opening with reflective location footage in Prague before diving into tactile demonstrations with laser-cut acrylic tiles and optical Moiré patterns. The host's delivery is accessible, curious, and quietly awestruck as abstract mathematical proofs reveal unexpected real-world geometries. That sense of aesthetic wonder transitions seamlessly into dramatic scientific vindication, evoking the satisfying thrill of an underdog story that directly challenges scientific dogma.

## Bulletin - [03:39](https://www.youtube.com/watch?v=48sCx-wBs34&t=219s) Classical Euclidean geometry long dictated that periodic planar tilings can only possess 2-, 3-, 4-, or 6-fold rotational symmetry, excluding 5-fold symmetry because regular pentagons leave gaps. - [07:07](https://www.youtube.com/watch?v=48sCx-wBs34&t=427s) Roger Penrose showed that aperiodic tilings—patterns that never repeat periodically across an infinite plane—can be constructed using just two prototiles, such as kites and darts or thick and thin rhombuses. - [10:04](https://www.youtube.com/watch?v=48sCx-wBs34&t=604s) In an infinite kite-and-dart Penrose tiling, the ratio of kites to darts converges precisely to the golden ratio (phi ≈ 1.618), mathematically proving the impossibility of a repeating periodic unit cell. - [16:46](https://www.youtube.com/watch?v=48sCx-wBs34&t=1006s) Despite skepticism and opposition from scientists like Linus Pauling, Dan Shechtman and Paul Steinhardt proved that 5-fold and 10-fold symmetric 'quasicrystals' exist in physical materials, earning Shechtman the 2011 Nobel Prize in Chemistry.

## Key takeaways - [00:00](https://www.youtube.com/watch?v=48sCx-wBs34&t=0s) Johannes Kepler's early geometric investigations into planetary orbits, cannonball packing, and hexagonal snowflakes anticipated modern atomic theory and lattice packing limits. - [03:39](https://www.youtube.com/watch?v=48sCx-wBs34&t=219s) The crystallographic restriction theorem limits periodic tilings to 2-, 3-, 4-, and 6-fold rotational symmetries, mathematically barring 5-fold periodic grids. - [03:39](https://www.youtube.com/watch?v=48sCx-wBs34&t=219s) In 1966, Robert Berger disproved Hao Wang's conjecture by creating the first aperiodic tile set with 20,426 tiles, showing that non-periodic tiling can be structurally forced. - [03:39](https://www.youtube.com/watch?v=48sCx-wBs34&t=219s) Aperiodic tile sets were systematically reduced over time from Berger's 20,426 tiles to Donald Knuth's 92, Raphael Robinson's 6, and eventually Roger Penrose's 2 tiles. - [07:07](https://www.youtube.com/watch?v=48sCx-wBs34&t=427s) Roger Penrose's iterative subdivision of pentagons produced a two-dimensional aperiodic pattern that aligned directly with Kepler's 1619 sketch in Harmonices Mundi. - [07:07](https://www.youtube.com/watch?v=48sCx-wBs34&t=427s) Overlaying two Penrose tilings onto transparencies generates Moiré interference patterns, demonstrating that no translational shift can bring the infinite patterns into perfect register. - [10:04](https://www.youtube.com/watch?v=48sCx-wBs34&t=604s) Penrose tilings contain an uncountably infinite number of unique configurations, yet any finite patch of tiles in one pattern appears infinitely many times in all others. - [12:54](https://www.youtube.com/watch?v=48sCx-wBs34&t=774s) Because the golden ratio (phi) is an irrational number, the convergence of the kite-to-dart ratio to phi provides a rigorous proof that Penrose tilings cannot repeat periodically. - [12:54](https://www.youtube.com/watch?v=48sCx-wBs34&t=774s) Straight Ammann lines across Penrose tilings run in five directions, with the intervals between parallel lines alternating in long and short widths according to Fibonacci ratios. - [15:05](https://www.youtube.com/watch?v=48sCx-wBs34&t=905s) Scientists initially believed physical crystals could not form aperiodically because local atomic bonding lacked the non-local coordination seemingly required to avoid dead-end growth errors. - [16:46](https://www.youtube.com/watch?v=48sCx-wBs34&t=1006s) Paul Steinhardt's computer simulations demonstrated that icosahedral atomic clusters could expand into three-dimensional quasicrystals with 10-point diffraction rings. - [16:46](https://www.youtube.com/watch?v=48sCx-wBs34&t=1006s) Dan Shechtman independently discovered physical quasicrystals in rapidly solidified aluminum-manganese alloys, observing the predicted 10-fold electron diffraction symmetry. - [16:46](https://www.youtube.com/watch?v=48sCx-wBs34&t=1006s) Steinhardt resolved the assembly paradox by showing that vertex-matching rules, rather than simple edge-matching rules, allow atoms to grow an aperiodic lattice without fatal errors. - [18:42](https://www.youtube.com/watch?v=48sCx-wBs34&t=1122s) Initial scientific skepticism, exemplified by Linus Pauling's dismissal, was overturned as quasicrystals were validated in laboratory synthesis, meteorites, and commercial applications, earning the 2011 Nobel Prize.

## Detailed walkthrough ### [00:00](https://www.youtube.com/watch?v=48sCx-wBs34&t=0s) Kepler’s Geometrical Obsessions in Prague

In Prague, Czech Republic—one of the host’s favorite European cities—the story begins over 400 years ago with Johannes Kepler, one of the most prominent scientists who lived and worked in the city. Kepler is celebrated primarily for establishing that planetary orbits trace out ellipses. Before reaching that milestone, however, he spent years pursuing a deeply held intuition about cosmic geometry. Kepler devised an elaborate model of the solar system in which the planets orbited on nested celestial spheres separated by the five Platonic solids: the tetrahedron, cube, octahedron, dodecahedron (with its 12 pentagonal faces), and icosahedron (with 20 triangular faces). Because Platonic solids are regular polyhedra where every face and vertex is identical, they possess high rotational symmetry. In Kepler’s era, astronomers recognized only six planets, meaning exactly five gaps existed between their spheres. Kepler arranged the Platonic solids in a specific sequence to serve as geometric spacers whose dimensions would correspond as closely as possible to observed planetary distances. As the host summarizes, “He had this deep abiding belief that there was some geometric regularity in the universe and of course there is. Just not this.”

Kepler’s interest in geometry also addressed practical physical problems. In 1611, he tackled how to pack identical cannonballs on a ship’s deck to occupy the minimum possible volume. He asserted that both hexagonal close packing and face-centered cubic packing provide the optimal packing efficiency, filling approximately 74% of the total space. While standard practice—identical to the way grocers stack oranges—Kepler stated this without a mathematical proof, creating Kepler’s conjecture. The conjecture went unproven for four centuries until a formal proof was published in the journal *Forum of Mathematics* in 2017.

Kepler published this packing conjecture in a short treatise titled *Strena Seu de Nive Sexangula* (*On the Six-Cornered Snowflake*). In it, he pondered the morphological constancy of frozen precipitation, observing: “There must be a definite cause why, whenever snow begins to fall its initial formations invariably display the shape of a six cornered starlet for if it happens by chance why do they not fall just as well with five corners, or with seven Why always with six?” Lacking a modern atomic or molecular theory of chemical bonding and crystallization, Kepler nevertheless anticipated structural chemistry, speculating that liquids like water consist of tiny, identical discrete units—essentially water molecules—that pack together mechanically like close-packed cannonballs to force macroscopic hexagonal symmetry.

- Johannes Kepler worked extensively in Prague, where the Kepler Museum commemorates his contributions. - Platonic solids: tetrahedron (4 faces), cube (6 faces), octahedron (8 faces), dodecahedron (12 pentagonal faces), icosahedron (20 triangular faces). - Optimal sphere-packing density: approximately 74% volume occupancy via hexagonal close-packed or face-centered cubic lattices; verified formally in 2017. - *De Nive Sexangula* represents an early mechanical hypothesis for crystalline morphology emerging from microscopic unit packing.

---

[03:39](https://www.youtube.com/watch?v=48sCx-wBs34&t=219s) The Crystallographic Restriction and the Hunt for Aperiodicity

Kepler understood that regular hexagons tile a two-dimensional Euclidean plane completely without overlapping or leaving gaps. In geometry, this constitutes periodic tiling: a finite section of the pattern can be shifted purely by translation—without rotations or reflections—to replicate the rest of the plane indefinitely. Periodic plane tilings are strictly limited in the rotational symmetries they can support. An arrangement of rhombuses exhibits two-fold rotational symmetry (180° rotation); equilateral triangles exhibit three-fold symmetry (120°); squares possess four-fold symmetry (90°); and hexagons feature six-fold symmetry (60°). By the laws of classical Euclidean geometry, these—two-, three-, four-, and six-fold—are the only allowed rotational symmetries for periodic tilings. Five-fold rotational symmetry is geometrically forbidden because regular pentagons cannot tile the plane without leaving gaps.

Kepler attempted to break this barrier in his 1619 work *Harmonices Mundi* (*The Harmony of the World*), illustrating an intricate pentagonal arrangement that exhibited approximate five-fold symmetry, though it was incomplete and left gaps. While an infinite variety of shapes can tile the plane periodically (like hexagons) or both periodically and non-periodically (such as pairs of isosceles triangles or sphinx tiles, which can be rearranged into non-repeating layouts), a theoretical question remained: could a set of tiles be designed that forces *only* non-periodic tilings?

In 1961, mathematician Hao Wang analyzed square tiles with colored edges (Wang tiles), stipulating that adjacent edges must match colors and tiles could not be rotated or reflected. Wang conjectured that any set of tiles capable of covering the plane could always be configured to do so periodically. In 1966, Wang’s student Robert Berger proved the conjecture false by constructing a set of 20,426 tiles that could tile the plane only non-periodically. Such sets are known as aperiodic tilings: finite tile sets that tile infinitely without ever repeating a translationally invariant unit cell. Mathematicians quickly set out to minimize the number of required tiles: Berger reduced his set to 104, Donald Knuth lowered it to 92, and in 1969 Raphael Robinson designed an aperiodic set of just 6 tiles.

```mermaid flowchart TD accTitle: Reduction in Aperiodic Tile Sets accDescr: Chronological reduction of the minimum number of tiles required to force an aperiodic tiling of the plane, from Hao Wang's 1961 conjecture to Roger Penrose's 2-tile solution.

subgraph Early["Early Proofs"] W["1961: Hao Wang Conjecture<br>Periodic tiling assumed mandatory"] B1["1966: Robert Berger<br>20,426 tiles (Conjecture disproved)"] end

subgraph Reduction["Simplifying Tile Sets"] B2["Robert Berger: 104 tiles"] K["Donald Knuth: 92 tiles"] R["1969: Raphael Robinson: 6 tiles"] end

subgraph Penrose["The Minimal Sets"] P1["Roger Penrose (P1)<br>Pentagons, stars, boats, diamonds"] P2["Roger Penrose (P2 & P3)<br>2 tiles (Kites & Darts / Rhombuses)"] end

W --> B1 B1 --> B2 B2 --> K K --> R R --> P1 P1 --> P2 ```

- Rotational symmetries allowed in periodic planar tiling: 2-fold, 3-fold, 4-fold, and 6-fold; 5-fold is mathematically excluded from periodic lattices. - Aperiodic tiling definition: A set of prototiles that can cover the infinite plane, but cannot do so with any translational period. - Evolution of minimal aperiodic tile sets: Berger (20,426) → Berger (104) → Knuth (92) → Robinson (6) → Penrose (2).

---

[07:07](https://www.youtube.com/watch?v=48sCx-wBs34&t=427s) Penrose Tilings, Kepler’s Match, and Moiré Patterns

Mathematician and physicist Roger Penrose reduced the required tile count to just two. Penrose began by clustering regular pentagons edge-to-edge. Surrounding a central pentagon with five identical pentagons leaves diamond-shaped gaps, but the overall cluster inscribes into a larger pentagon. Penrose realized he could iteratively subdivide larger pentagons into smaller ones. As subdivisions proceed, intermediate gaps resolve into rhombuses, stars, and portions of stars dubbed "jester caps." Indefinite subdivision generates an aperiodic tiling displaying near-five-fold rotational symmetry using only these basic shapes. This pattern matched the historical record: when Kepler’s pentagonal drawing from *Harmonices Mundi* is laid over Penrose’s pentagonal subdivision pattern, the two geometries align identically.

Penrose subsequently distilled the geometry down to two simplified tile sets. One consists of a thick rhombus and a thin rhombus; the other consists of two quadrilaterals named "kites" and "darts." Matching rules—enforced physically via interlocking bumps and notches or visually with colored border markings—prevent periodic configurations. When adhering to these rules, the two tiles tile out to infinity without ever forming a repeating periodic grid.

The host illustrates the lack of translational repetition by printing two identical Penrose rhombus patterns—one on paper and one on a transparent sheet—and placing them atop each other to form an optical Moiré pattern. As the top transparency rotates and translates, light patches appear where tiles coincide, surrounded by dark regions of misaligned edges. Enlarging a bright region brings a cluster of tiles into perfect alignment across several symmetric sectors, yet dark bands persist along radial lines. As the host observes: “So what this shows us is that you can't ever match any section perfectly to one beneath it: There will always be some difference.”

- Kepler’s 1619 pentagon sketch in *Harmonices Mundi* directly anticipated the hierarchical pentagon decomposition discovered by Penrose. - Penrose's simplified prototile pairs: - Rhombus set: Thick rhombus (angles of 72° and 108°) and thin rhombus (angles of 36° and 144°). - Kite and dart set: Derived from splitting a rhombus along vertices matching the golden ratio. - Moiré interference visually proves non-periodicity: no translation or rotation can bring two identical infinite Penrose tilings into complete global register.

---

[10:04](https://www.youtube.com/watch?v=48sCx-wBs34&t=604s) Kites, Darts, Infinite Universes, and the Golden Ratio

The host’s preferred Penrose tiling utilizes kites and darts. Each tile face is drawn with specific circular arc segments. When assembling the pieces, matching rules require adjacent tiles to align so that these arc segments form continuous, unbroken curves across edges. To demonstrate the assembly hands-on, the host laser-cut thousands of acrylic kites and darts. While assembling the pieces reveals local motifs like five-pointed "stars" and ten-fold "suns," these local arrangements never recur in a strictly predictable periodic lattice.

This structure raises a fundamental mathematical question: does this assembly generate a single, unique infinite tiling, with every local patch merely showing a piece of that universal canvas? The answer is no. There are an uncountably infinite number of distinct valid Penrose tilings of the infinite plane using kites and darts. Furthermore, local observations cannot distinguish them: any finite cluster of tiles that appears in one Penrose tiling appears infinitely many times within every other valid Penrose tiling. An observer exploring any finite region, no matter how vast, cannot deduce which of the uncountably infinite tilings they inhabit. As the host explains: “There's this kind of paradox to Penrose tilings where there's an uncountable infinity of different versions, but just by looking at them, you could never tell them apart.”

Analyzing the relative abundance of the shapes uncovers an underlying mathematical constant. Counting the laser-cut pieces assembled on the table yields 440 kites and 272 darts:

$$\frac{440}{272} \approx 1.6176\dots \approx \phi$$

Dividing the number of kites by the number of darts yields an approximation of 1.618—the golden ratio ($\phi = \frac{1 + \sqrt{5}}{2}$). In an infinite Penrose tiling, the ratio of kites to darts converges precisely to this irrational value.

- Matching rule for kites and darts: Arc lines inscribed across tile faces must link across borders into continuous curves. - Local structures: Stars, suns, and bowties form locally, but their arrangements never tile periodically. - Indistinguishability theorem: An uncountably infinite number of distinct full-plane Penrose tilings exist, yet every finite patch of radius $r$ found in one tiling exists infinitely many times across every other tiling. - Frequency ratio: In an infinite kite-and-dart Penrose tiling, the limit of the ratio of kites to darts is the golden ratio $\phi = \frac{1 + \sqrt{5}}{2} \approx 1.6180339887\dots$.

[12:54](https://www.youtube.com/watch?v=48sCx-wBs34&t=774s) The Golden Ratio, Fibonacci Spacings, and Five-Fold Symmetry

Penrose tilings inherently embody a kind of five-fold symmetry, and among all irrational constants, the golden ratio ($\phi$) is fundamentally linked to the number five. Algebraically, the golden ratio can be expressed as $0.5 + 5^{0.5} \times 0.5$ (or $\frac{1 + \sqrt{5}}{2}$), and geometrically, it governs regular pentagons, where the ratio of a diagonal to an edge is exactly the golden ratio. Because the kite, dart, and rhombus tiles of Penrose tilings are derived directly from sections of pentagons, the golden ratio is built straight into their geometry. As a tiling expands across the plane, the numerical ratio of kites to darts asymptotically approaches this irrational value. This mathematical property provides rigorous proof that the pattern cannot be periodic: “If the pattern were periodic, then the ratio of kites to darts could be expressed as a ratio of two whole numbers: The number of kites to darts in each periodic segment.”

```mermaid flowchart TD accTitle: Golden Ratio and Aperiodicity in Penrose Tilings accDescr: Diagram tracing pentagon geometry through tile ratios and Fibonacci spacings to aperiodic structures.

subgraph Geometry["Pentagonal Origins"] P["Regular Pentagon<br/>(Diagonal / Edge = φ)"] T["Derived Tiles<br/>(Kites, Darts, Rhombuses)"] P --> T end

subgraph Tilings["Global Properties"] R["Kite-to-Dart Ratio<br/>approaches φ (irrational)"] L["5 Sets of Parallel Lines<br/>(Ammann Lines)"] T --> R T --> L end

subgraph Proof["Evidence of Non-Periodicity"] AP["Cannot be expressed as<br/>ratio of two integers"] F["Gaps follow Fibonacci sequence<br/>(e.g., 13 shorts, 21 longs)"] R --> AP L --> F F --> AP end ```

The mathematical elegance deepens when specific straight lines (Ammann lines) are drawn across the tiles instead of curves. When assembled according to the matching rules, these line segments join seamlessly into continuous straight lines spanning the entire plane in five distinct sets of parallel directions, visually demonstrating the underlying five-fold symmetry. However, the spacing between consecutive parallel lines is never uniform or periodic. Instead, intervals alternate between two distinct widths—long and short. Examining a sequence of intervals reveals an irregular progression such as long-short-long-short-long-long, breaking any standard periodic repetition. When the intervals in any extended segment are counted, their frequencies match adjacent terms in the Fibonacci sequence (such as 13 short intervals and 21 long intervals), whose successive ratios also converge directly to the golden ratio.

- The golden ratio is expressed arithmetically as $0.5 + (5^{0.5} \times 0.5)$ and geometrically as the diagonal-to-side ratio of a regular pentagon. - The irrational kite-to-dart ratio rules out any repeating unit cell, as periodic tilings require a rational ratio of constituent pieces. - Parallel grid lines across the tiles form five distinct orientations, with spacing intervals between lines governed by Fibonacci numbers (1, 1, 2, 3, 5, 8, 13, 21, 34,...).

---

[15:05](https://www.youtube.com/watch?v=48sCx-wBs34&t=905s) The Physical Paradox of Crystal Growth and Local Assembly

Following Penrose’s mathematical discovery, scientists questioned whether these non-repeating geometries could manifest physically in the natural world, particularly within crystal structures. Penrose himself viewed this prospect with deep skepticism because the classical scientific definition of a crystal required an orderly, repeating lattice of identical unit cells. Crystallographers had long before proven that only 14 distinct three-dimensional Bravais lattices could exist, and every known crystal strictly conformed to one of these 14 periodic configurations.

Beyond classical lattice theory, an even more fundamental physical barrier seemed to rule out non-periodic atomic structures: crystals grow through local atomic interactions, whereas Penrose tilings appear to demand non-local, long-range coordination. In a physical crystal, atoms attach sequentially, influenced only by nearby forces. Yet on a Penrose grid, an observer can place a dart on one side and a kite on the opposite side, and each choice can independently be extended outward to infinity without conflict. However, when both choices are made at the same time, the tiling inevitably traps itself into a dead end as it grows together. A tile might fit the local edge-matching rules perfectly, only to force an impossible defect—such as an awkward gap where another dart must go, but with conflicting orientation lines. Because atoms lack foresight and rely purely on local bonding, scientists could not see how nature could avoid such fatal growth traps.

- Classical crystallography recognized exactly 14 Bravais unit cell lattices, none of which permit five-fold rotational symmetry. - Penrose tilings presented a fundamental assembly dilemma: tiles that satisfy local matching rules independently can eventually clash when expanding fronts collide.

---

[16:46](https://www.youtube.com/watch?v=48sCx-wBs34&t=1006s) The Discovery of Quasicrystals: Steinhardt and Shechtman

In the early 1980s, Paul Steinhardt and his students at the University of Pennsylvania utilized computer simulations to investigate how atoms assemble into condensed matter at microscopic scales. Their models revealed that atoms locally preferred clustering into icosahedrons—a geometry rich in five-fold symmetries that classical crystallography considered strictly forbidden in macroscopic solids. Initially wondering whether these icosahedral clusters were limited to tiny clusters of 10 or 100 atoms, Steinhardt’s group drew inspiration from Penrose's two-dimensional tilings to design an entirely new theoretical three-dimensional structure dubbed a "quasicrystal." When they simulated the diffraction pattern of X-rays passing through this hypothetical lattice, the model generated sharp concentric rings of 10 diffraction peaks, confirming true five-fold rotational symmetry in three dimensions.

```mermaid flowchart LR accTitle: Parallel Discovery of Quasicrystals accDescr: Flowchart illustrating how Steinhardt's theoretical simulations and Shechtman's physical alloy synthesis converged on identical 10-point diffraction patterns.

subgraph Theory["Steinhardt & Students (UPenn)"] T1["Computer modeling of<br/>icosahedral atomic clusters"] T2["3D analog of Penrose tiling<br/>(Quasicrystal concept)"] T3["Simulated X-ray diffraction:<br/>Rings of 10 points"] T1 --> T2 --> T3 end

subgraph Experiment["Dan Shechtman (NBS)"] E1["Rapid cooling of<br/>Aluminum-Manganese alloy"] E2["Flaky synthesized material"] E3["Electron diffraction pattern:<br/>10-fold symmetry"] E1 --> E2 --> E3 end

Theory -.->|"Independently matches"| Experiment ```

Simultaneously and completely unaware of Steinhardt's theoretical modeling, materials scientist Dan Shechtman, working with rapidly solidified aluminum-manganese alloys, synthesized a flaky metal whose electron diffraction patterns displayed that very same ten-fold symmetry. Shechtman's laboratory results matched Steinhardt’s computational predictions with remarkable precision. One of the landmark papers formalizing the breakthrough was titled *De Nive Quinquangula: On the Pentagonal Snowflake*, nodding to Johannes Kepler's historic treatise on hexagonal snowflakes.

When addressing the long-range coordination paradox—how atoms can form quasicrystals without making fatal assembly errors—Steinhardt explained that looking solely at edge-matching rules is insufficient. While edge-matching rules allow conflicting placements that ruin the pattern, incorporating rules based on vertices (governing how tile corners interconnect) provides sufficiently stringent local constraints. With vertex rules, local atomic additions can proceed without errors, allowing the aperiodic crystal to grow outward indefinitely.

- Steinhardt's computational diffraction models generated rings of 10 points, the signature reciprocal-space hallmark of five-fold symmetry. - Shechtman produced the physical material by rapidly quenching an aluminum-manganese alloy, observing electron diffraction rings that matched Steinhardt’s theoretical model. - Steinhardt resolved the growth paradox by demonstrating that vertex-matching rules, rather than simple edge-matching rules, prevent local assembly errors from propagating into macroscopic flaws.

---

[18:42](https://www.youtube.com/watch?v=48sCx-wBs34&t=1122s) Ridicule, Vindication, and Real-World Applications

The announcement of quasicrystals encountered severe pushback from the scientific establishment, as it seemed to contradict long-held laws of nature. Prominent figures rejected the discovery outright, most notably double Nobel laureate Linus Pauling, who disparaged the findings with the cutting quip: “There are no quasi crystals, only quasi scientists.” Despite years of professional ostracism, Shechtman and the proponents of quasicrystals were fully vindicated. Dan Shechtman was awarded the 2011 Nobel Prize in Chemistry for the discovery of quasicrystals.

Since their initial identification in laboratory alloys, quasicrystals have been synthesized into large, faceted dodecahedral crystals and discovered in natural meteorites. Because their atomic arrangements lack periodic slip planes, quasicrystals exhibit unique physical characteristics, including low surface friction, high hardness, and unusual thermal and electrical conductivity. These qualities have spurred commercial applications ranging from non-stick coatings in cookware and electrical insulation to advanced ultra-durable steel alloys. The overarching philosophical takeaway of the breakthrough challenges how scientific orthodoxy can blind researchers to reality: “And the thing about this whole story that fascinates me the most is, What exists that we just can't perceive because it's considered impossible? I mean the symmetries of regular geometric shapes seemed so obvious and certain that no one thought to look beyond them, that is until Penrose.”

- Linus Pauling dismissed the discovery with his famous critique: “There are no quasi crystals, only quasi scientists.” - Dan Shechtman received the 2011 Nobel Prize in Chemistry for discovering quasicrystals. - Practical applications for quasicrystalline materials include non-stick cookware, electrical insulation, and wear-resistant steel alloys.

---

[19:53](https://www.youtube.com/watch?v=48sCx-wBs34&t=1193s) Sponsor Message: Password Management with LastPass

The video concludes with a promotional segment for the password manager LastPass, a recurring sponsor of the channel. The presenter notes that their repeated support indicates two things: many viewers have already simplified their digital lives and prevented account lockouts, while others have yet to sign up and need a push to secure their credentials and unclutter their minds.

LastPass is highlighted for providing unlimited password storage, free synchronization across multiple devices, secure password sharing options, and automatic form filling across iOS and Android apps as well as desktop web browsers. The presenter urges viewers to stop reusing identical passwords across vital accounts or relying on memory to recall complex, random strings of characters. Pointing out the cumulative time wasted resetting forgotten passwords, the host emphasizes that adopting a reliable password manager is a small, immediate step that permanently improves everyday life.

- LastPass features include unlimited password storage, free cross-device synchronization, credential sharing, and autofill on mobile and desktop platforms. - Viewers are encouraged to stop reusing passwords across critical accounts and to eliminate time spent resetting forgotten credentials by using the link in the video description.

## Notable quotes > [10:04](https://www.youtube.com/watch?v=48sCx-wBs34&t=604s) There's this kind of paradox to Penrose tilings where there's an uncountable infinity of different versions, but just by looking at them, you could never tell them apart. — Host

## Mentioned Johannes Kepler, Platonic solids, Forum of Mathematics, Strena Seu de Nive Sexangula, Harmonices Mundi, Hao Wang, Wang tiles, Robert Berger, Donald Knuth, Raphael Robinson, Roger Penrose, Penrose tilings, Ammann lines, Fibonacci sequence, Bravais lattices, Paul Steinhardt, University of Pennsylvania, Dan Shechtman, De Nive Quinquangula: On the Pentagonal Snowflake, Linus Pauling, LastPass, Gene Nagata, Ivy Tello, Jonny Hyman, Martin Gardner, Raquel Nuno

## Video description Simple rules of geometry meant that 5-fold symmetry was impossible as were crystals without a periodic structure. This turns out to be wrong. Thanks to LastPass for sponsoring a portion of this video. Click here to start using LastPass: https://ve42.co/LPs

Huge thanks to Prof. Paul Steinhardt for the interview on this topic. Check out his book ‘The Second Kind of Impossible’

If you'd like to learn more about Penrose tilings, go check out "Penrose Tiles to Trapdoor Ciphers" by Martin Gardener, which helped my research for this video.

Filmed by Gene Nagata (Potato Jet on YouTube) Animations by Ivy Tello and Jonny Hyman Editing, Coloring, Music & Audio mastering by Jonny Hyman

Prague scenes filmed in 2012. Special thanks to Raquel Nuno for helping with the tilings!

Additional Music from Epidemic Sound

[Source](https://www.youtube.com/watch?v=48sCx-wBs34)

中文简报

谢赫特曼以准晶体证实打破晶体学传统教条 严格的顶点约束可防止致命的原子生长陷阱,使非周期性晶体得以在自然界中无限组装,颠覆了数百年来的经典几何学教条。 该视频追溯了对称性概念的演变历程,从约翰内斯·开普勒的几何推想及在数学上禁止五重周期性图案的经典晶体学限制,一直讲到永不重复的非周期性镶嵌的发现。罗杰·彭罗斯著名地将这一概念提炼为受黄金分割比和斐波那契间距控制的两种简单形状,但这些形状最初被当作无法在物理上生长的抽象数学新奇事物而未受重视。然而,保罗·斯坦哈特在计算建模领域以及丹·谢赫特曼在实验室冶金学领域于20世纪80年代取得的平行突破表明,被称为准晶体的真实物理材料确实体现了这些“不可能”的对称性。尽管曾遭遇来自莱纳斯·鲍林等科学巨擘的激烈嘲弄与建制阻力,这一发现彻底改变了晶体学,并使谢赫特曼荣获2011年诺贝尔化学奖。 经典欧几里得几何长期认为,周期性平面镶嵌只能具有2重、3重、4重或6重旋转对称性,因正五边形会留下空隙而排除了5重对称性。 (3:39) 罗杰·彭罗斯表明,仅使用两种基本原片(例如风筝形与飞镖形,或厚菱形与薄菱形),即可构建出在无限平面上永不周期性重复的非周期性镶嵌图案。 (7:07) 在无限的风筝形与飞镖形彭罗斯镶嵌中,风筝形与飞镖形数量的比值精确收敛至黄金分割比(phi ≈ 1.618),在数学上证明了不可能存在重复的周期性晶胞单元。 (10:04) 尽管遭到莱纳斯·鲍林等科学家的怀疑与反对,丹·谢赫特曼和保罗·斯坦哈特证实了物理材料中存在具有5重和10重对称性的“准晶体”,谢赫特曼也因此荣获2011年诺贝尔化学奖。 (16:46)

Reading summary

Beginning as a purely mathematical inquiry into non-repeating planar tilings, aperiodic geometry challenged classical crystallographic assumptions and culminated in the discovery of quasicrystals—physical materials exhibiting forbidden five-fold rotational symmetries. Crystallographic Restrictions and the Emergence of Aperiodicity (3:39) Classical Euclidean geometry long dictated that periodic planar tilings can only sustain two-, three-, four-, or six-fold rotational symmetries; five-fold symmetry was considered geometrically forbidden because regular pentagons cannot tile a plane without gaps. While Johannes Kepler explored pentagonal arrangements in his 1619 treatise Harmonices Mundi, the modern search for aperiodicity formally began in the 1960s. After Hao Wang conjectured that any tile set capable of covering the plane could do so periodically, Robert Berger disproved this in 1966 with an aperiodic set of 20,426 tiles that forced non-repeating layouts. Penrose Tilings and the Golden Ratio (7:07) Mathematician Roger Penrose dramatically simplified aperiodic systems down to two tiles, utilizing either thick and thin rhombuses or pairs known as kites and darts. Matching rules prevent these shapes from ever settling into a translationally periodic lattice. An optical Moiré test of identical layered Penrose sheets demonstrates this non-periodicity, as full alignment can never be achieved simultaneously across the plane. Furthermore, an uncountably infinite number of distinct Penrose tilings exist, yet any finite cluster within one appears infinitely often across all others. Fibonacci Order and Mathematical Proofs of Non-Periodicity (12:54) Penrose tilings are intrinsically bound to the golden ratio (φ = (1 + √5)/2), which defines the diagonal-to-side ratio of a regular pentagon. As a kite-and-dart tiling expands toward infinity, the ratio of kites to darts asymptotically approaches this irrational value, offering rigorous proof that the pattern cannot possess a periodic unit cell. Additionally, when Ammann lines are drawn across the tiles, they assemble into continuous parallel grids across five directions. The spacing intervals between these lines alternate between long and short distances in sequences governed by Fibonacci numbers, matching the golden ratio and reflecting underlying five-fold symmetry without translational repetition. Physical Assembly Dilemmas and the Quasicrystal Breakthrough (15:05) Scientists long doubted that aperiodic patterns could form physical crystals. Classical crystallography recognized only 14 Bravais lattices, and physical crystal growth relies on blind, local atomic bonding, which threatened to create fatal growth clashes across colliding fronts of an aperiodic grid. However, in the early 1980s, Paul Steinhardt modeled theoretical three-dimensional "quasicrystals" that produced simulated ten-point diffraction rings. Concurrently, Dan Shechtman synthesized an aluminum-manganese alloy whose electron diffraction confirmed matching ten-fold symmetry. Steinhardt explained that vertex-matching constraints, rather than simple edge matching, allow local atomic bonding to proceed without defect traps. Scientific Resistance, Vindication, and Modern Uses (18:42) The discovery of physical five-fold symmetry faced harsh skepticism from prominent figures, including Linus Pauling, who famously remarked that "there are no quasi crystals, only quasi scientists." Shechtman was ultimately vindicated and awarded the 2011 Nobel Prize in Chemistry. Quasicrystals have since been identified in natural meteorites and synthesized into large faceted dodecahedral structures. Because their atomic networks lack periodic slip planes, quasicrystals feature low surface friction, high hardness, and unique conductivity, leading to applications in non-stick cookware coatings, thermal insulation, and high-durability steel alloys. The progression from Kepler’s early geometrical inquiries to the confirmation of quasicrystals highlights how rigid scientific orthodoxies can obscure observable phenomena, showing that nature can sustain long-range structural order without repeating periodic lattices.

精炼阅读摘要

本期节目梳理了从开普勒对正多面体与六角雪花的几何直觉,到彭罗斯发现非周期性平铺,再到准晶体获得实验证实并荣获诺贝尔奖的科学发展历程,阐明了自然界中超越经典晶体学对称性限制的无序中蕴含的有序结构。 从开普勒构想到晶体学对称限制 (0:00) 400多年前,天文学家约翰内斯·开普勒在布拉格试图用五种柏拉图多面体嵌套解释行星轨道,并于1611年在《六角雪花》中提出球体紧密堆积猜想,推测水由微观单元机械堆积而形成宏观六角对称,该堆积效率约为74%的猜想直到2017年才在《数学论坛》上获得正式证明。开普勒还发现,平面上规则的正多边形仅允许二重、三重、四重和六重旋转对称性,正五边形由于无法无缝拼接而在经典欧几里得几何与周期性平铺中被严格禁止。尽管开普勒曾在1619年的《世界和谐》中尝试绘制五重对称拼接图案,但留下了缝隙。 非周期平铺的数学探索与极简化 (3:39) 传统周期平铺只需平移即可无限复制,但数学家长期探讨是否存在只能非周期平铺的几何图元。1961年王浩提出任何能覆盖平面的图块集必能周期性铺满的猜想,但其学生罗伯特·伯杰在1966年利用20,426块图块证明该猜想不成立,此后该集合被逐步缩减至104块、92块以及拉斐尔·罗宾逊的6块。最终,罗杰·彭罗斯将其精简为两块:由厚菱形与薄菱形组成的图块集,或由风筝形与飞镖形组成的图块集。这些图块遵循特定匹配规则,能无限延伸铺满平面且永不发生平移重复,两张相同图样重叠时形成的莫尔纹也直观证明了局部的完全重合不可能在全局实现。 黄金分割率、不可区分性与阿曼线 (10:04) 以风筝形和飞镖形构成的彭罗斯平铺不仅展现出局部的五角星和十重对称花样,其深层数学特征更直接与黄金比例(约1.618)关联。在无限平面展开时,风筝形与飞镖形的数量之比精确收敛至无理数黄金比,由于周期性平铺要求基本单元内的图块数量之比为有理数,这一无理数特性在数学上严格证明了其非周期性。平铺上若绘制阿曼线,会延伸形成五组相互平行的直线族,其平行线间的长短间距序列交替展开,各间距出现频率遵循斐波那契数列的比值。此外,彭罗斯平铺包含不可数无限种有效构型,且任何构型中的有限区域都会在其余构型中无限次重复出现,使得观察者无法仅凭有限的局部视野断定自己身处哪一种全局平铺之中。 局部生长的物理悖论与准晶体发现 (15:05) 由于彭罗斯平铺具有非局域性要求,若两侧同时独立依照边界规则向外铺展,碰撞结合时往往会导致无法弥合的几何缺陷,加之经典晶体学认定自然界仅存在14种布拉维点阵且严禁五重对称,彭罗斯本人曾怀疑这种结构能否在物理原子世界中成型。然而,20世纪80年代初,宾夕法尼亚大学的保罗·斯坦哈特团队通过计算机模拟发现原子团簇倾向于形成二十面体,进而提出了三维非周期性点阵“准晶体”并模拟出十个衍射亮斑的衍射图谱;与此同时,材料学家丹·谢赫特曼在骤冷铝锰合金实验中独立观察到了相同的十重对称电子衍射图斑。斯坦哈特随后解释,通过引入基于顶点的连接规则而非单纯依赖边界规则,微观原子依靠局部结合力即可避免宏观缺陷、实现持续生长。 学术质疑、实验证实与实际应用 (18:42) 准晶体的发现最初遭到了传统科学界的强烈抵制,两次诺贝尔奖得主莱纳斯·鲍林曾公开讽刺“没有准晶体,只有准科学家”,导致谢赫特曼面临长期的职业孤立。然而,实验证据最终证实了准晶体的存在,谢赫特曼因此荣获2011年诺贝尔化学奖。此后,科研人员在实验室中合成了大型十二面体准晶晶体,并在天然陨石中发现了天然准晶体;由于缺少周期的原子滑移面,准晶体展现出极低的表面摩擦力、高硬度以及独特的导热与导电性能,已被应用于不粘锅涂层、电绝缘和高耐磨钢合金等领域。 从纯数学上的非周期平铺到真实存在的准晶体,这一历程打破了经典晶体学对旋转对称性的教条限制,表明学术界曾因既有范式将“未被观察到的结构”误判为“不可能存在”,促使研究者重新审视自然界中隐秘秩序的形成机制。

Detailed notes — zh

## Background 该视频由知名科普频道 Veritasium 于 2020 年 9 月 30 日发布在 YouTube 平台上。视频简介指出,传统的几何学公理曾断定五重对称性以及缺乏周期性结构的晶体是绝对不可能存在的,但这一认知最终被科学打破;内容结合了对保罗·斯坦哈特(Paul Steinhardt)教授的访谈,探讨了彭罗斯瓷砖与准晶体的颠覆性发现。 ## TL;DR 视频从开普勒对几何宇宙模型、球体最密堆积及六角雪花的研究切入,系统梳理了传统晶体学与二维密铺排斥五重对称性的历史背景。随后,节目详细拆解了从王氏砖到罗杰·彭罗斯仅用两种菱形(或“风筝与飞镖”)实现非周期密铺的数学突破,并展示了其背后与黄金比例及斐波那契数列的深刻联系。最后,叙事转向凝聚态物理领域的重大革命:丹·谢赫特曼在铝锰合金中观测到违背经典常识的五重对称衍射斑,保罗·斯坦哈特等人通过“顶点规则”化解了微观自组装的悖论,尽管历经莱纳斯·鲍林等学术泰斗的严厉嘲讽,准晶体的存在最终获得了实验证实并斩获诺贝尔化学奖。 ## Atmosphere & style 整部影片洋溢着沉浸式科普探索的从容与哲思,从布拉格街头寻访开普勒故居的历史漫步,自然过渡到极具手工趣味与视觉冲击的实验室实证——主持人亲手用激光切割的亚克力拼板在地面拼装大型彭罗斯图样,并在莫尔纹实验中情不自禁地发出顿悟般的惊呼。叙事在严谨的数学推导与惊心动魄的科学争鸣之间收放自如,既有面对拓扑悖论时的烧脑与困惑,也有学术先驱顶住主流泰斗霸凌、最终赢得真理平反的史诗感。整场体验既像是一次跨越四百年的几何美学巡礼,又是一曲对打破人类认知偏见的理性赞歌。 ## Bulletin - [03:39](https://www.youtube.com/watch?v=48sCx-wBs34&t=219s) 传统晶体学曾认为周期性密铺仅支持 2、3、4、6 重对称而排斥 5 重对称,但罗杰·彭罗斯证明仅用两种图块即可实现永不重复的非周期性平面密铺。 - [12:54](https://www.youtube.com/watch?v=48sCx-wBs34&t=774s) 彭罗斯拼图中图块数量的比值收敛于无理数黄金分割比(约 1.618),在数学上严格排除了存在周期性重复晶胞的可能性。 - [16:46](https://www.youtube.com/watch?v=48sCx-wBs34&t=1006s) 丹·谢赫特曼在铝锰合金中发现具备十重对称衍射图样的准晶体,彻底打破了传统 14 种布拉菲点阵的垄断,并因此荣获 2011 年诺贝尔化学奖。 - [18:04](https://www.youtube.com/watch?v=48sCx-wBs34&t=1084s) 物理原子无需超距预知能力即可生长为宏观准晶体,其机制在于微观层面的“顶点匹配规则”提供了足够强的局部约束,避免了结构死锁。 ## Key takeaways - [00:00](https://www.youtube.com/watch?v=48sCx-wBs34&t=0s) 开普勒最初试图用五种正多面体嵌套来解释六大行星轨道的间距,展现了他对宇宙底层蕴藏几何规则的坚定信念。 - [01:57](https://www.youtube.com/watch?v=48sCx-wBs34&t=117s) 开普勒在 1611 年提出球体最密堆积密度约为 74% 的猜想,并敏锐地从微观粒子机械堆积的角度探讨六角雪花的对称成因。 - [03:39](https://www.youtube.com/watch?v=48sCx-wBs34&t=219s) 传统二维几何中仅存在 2、3、4、6 重旋转对称的周期密铺,数学界长期认为正五边形无法参与密铺平面。 - [04:50](https://www.youtube.com/watch?v=48sCx-wBs34&t=290s) 罗伯特·伯杰推翻王浩猜想,证明了只能以非周期方式密铺平面的图块集合确实存在,最初集合多达 20,426 块图块。 - [07:07](https://www.youtube.com/watch?v=48sCx-wBs34&t=427s) 罗杰·彭罗斯通过对正五边形与缝隙的层层细分,最终将非周期密铺图块浓缩为厚薄菱形两种图块,其图案与开普勒 400 年前的手稿惊人重合。 - [08:55](https://www.youtube.com/watch?v=48sCx-wBs34&t=535s) 莫尔纹干涉实验表明,彭罗斯密铺图案在平移与旋转后永远无法实现全局完全重合,直观展现了其非周期性本质。 - [10:04](https://www.youtube.com/watch?v=48sCx-wBs34&t=604s) “风筝与飞镖”组合能构筑出不可数无穷种不同的全局密铺,但任意有限局部的图案都会在所有其他版本中无限次重复出现。 - [12:54](https://www.youtube.com/watch?v=48sCx-wBs34&t=774s) 无限延展的彭罗斯拼图中筝形与飞镖形数量之比收敛于黄金分割比,平行线系间距的计数比严格符合斐波那契数列。 - [15:05](https://www.youtube.com/watch?v=48sCx-wBs34&t=905s) 传统晶体学依据 14 种布拉菲点阵断言自然界不可能存在非周期晶体,且认为微观原子缺乏避免拼装死锁的长程协调能力。 - [16:46](https://www.youtube.com/watch?v=48sCx-wBs34&t=1006s) 保罗·斯坦哈特团队在计算机中对非周期三维准晶结构进行了 X 射线衍射模拟,预言了呈现严格十重对称的光点圆环。 - [17:25](https://www.youtube.com/watch?v=48sCx-wBs34&t=1045s) 丹·谢赫特曼在快速冷却铝锰合金实验中观测到了完全吻合理论模拟的十重对称电子衍射图样,首次证实了准晶体的物理存在。 - [18:04](https://www.youtube.com/watch?v=48sCx-wBs34&t=1084s) 微观原子通过局部“顶点规则”的多体键合形成自洽堆砌,无需超距长程预知即可克服盲目性,实现向宏观尺度的无冲突生长。 - [18:46](https://www.youtube.com/watch?v=48sCx-wBs34&t=1126s) 莱纳斯·鲍林等传统权威曾公开嘲讽准晶体研究,但丹·谢赫特曼最终以不可动摇的实验事实赢得了 2011 年诺贝尔化学奖。 - [19:10](https://www.youtube.com/watch?v=48sCx-wBs34&t=1150s) 准晶体如今已被广泛应用于特种不粘涂层、耐磨绝缘材料及超硬钢材,印证了跳出固有认知框架对科学突破的重大意义。 ## Detailed walkthrough ### [00:00](https://www.youtube.com/watch?v=48sCx-wBs34&t=0s) 开篇与布拉格的开普勒遗产 视频以一种被世人认为“绝对不可能”的几何图案与一种“理应不存在”的物质作为开端。故事的起点追溯到 400 多年前的捷克布拉格。主持人漫步在布拉格街头,称这是他在欧洲最喜欢的城市之一,并动身前往开普勒博物馆(Kepler Museum),寻访曾在此生活与工作的伟大科学家约翰尼斯·开普勒(Johannes Kepler)。开普勒最为人熟知的成就是发现了行星运动定律,证明行星轨道的形状是椭圆形;但在提出这一洞见之前,他曾构建过一个充满几何狂想的太阳系模型。 开普勒设计了一个由嵌套球面组成的宇宙模型,在行星轨道球面之间,他填入了五种正多面体(Platonic solids)。所谓正多面体,是指所有面均完全相同、所有顶点也都完全一致的几何体,无论绕特定角度如何旋转,外观均保持不变。整个几何学中仅存在五种正多面体:正四面体(tetrahedron)、正六面体即立方体(cube)、正八面体(octahedron)、由 12 个正五边形构成的正十二面体(dodecahedron),以及拥有 20 个面的正二十面体(icosahedron)。在开普勒所处的时代,人类已知的行星恰好只有六颗,因此在六个行星天球之间恰好能放入五种正多面体作为“垫片”。开普勒精心挑选多面体的排列顺序,试图让推算出的行星间距与当时的天文观测数据完全吻合。正如主持人所评价的那样:“He had this deep abiding belief that there was some geometric regularity in the universe and of course there is. Just not this.”(他深信宇宙中存在某种几何规律;当然确实存在,只不过并非他当时所想的这套模型而已。) - 开普勒最初的太阳系模型:将六大行星对应的嵌套同心球体,用五种正多面体逐层隔开。 - 五种正多面体:正四面体、立方体、正八面体、正十二面体、正二十面体。 - 开普勒的核心信念:宇宙底层蕴藏着严密的几何规律性。 ### [01:57](https://www.youtube.com/watch?v=48sCx-wBs34&t=117s) 开普勒猜想与六角雪花之谜 开普勒对几何学的痴迷很快延伸到了极为实际的生活问题上,例如:在战舰甲板上,如何堆叠炮弹才能占用最少的空间?早在 1611 年,开普勒就给出了答案:六方密堆积(hexagonal close packing)与面心立方晶格排列(face-centered cubic arrangement)在空间利用率上等价,并且均达到了最优效率,炮弹占据的体积大约为总空间的 74%。虽然在超市堆叠橙子时这种摆法看似是显而易见的常识,但开普勒当时并未给出严格的数学证明,仅仅将其陈述为客观事实,这一假说因而被称为“开普勒猜想”(Kepler's conjecture)。为了彻底在数学上证明这一点,人类耗费了整整 400 年,最终的严格形式化证明直至 2017 年才正式发表在数学期刊《Form of Mathematics》上。 开普勒在 1611 年发表的一篇名为《关于六角雪花》(*Strena Seu de Nive Sexangula*)的小册子中记录了这项堆叠猜想。他在书中提出了一个敏锐的追问:“为什么每当下雪时,雪花的最初形态无一例外都呈现出六角星的形状?如果是纯粹偶然形成的,为什么它们不会碰巧落成五角或者七角,而永远都是六角?”在开普勒生活的年代,人类尚未建立现代的原子与分子理论,更不懂得晶体自组装的微观机理,但他已经几乎触及了真相的边缘。开普勒在书中推测,液态水必定存在某种最基础的微小单元(本质上即水分子),正是这些微小结构单元像炮弹紧密堆积一样通过纯机械结构拼合在一起,才形成了六边形的晶体结构。 - 开普勒猜想(1611 年):球体在三维空间中的最高填充密度约为 74%(六方最密堆积与面心立方)。 - 历时 400 年的证明:直到 2017 年,数学界才通过计算机辅助完成形式化证明并正式发表。 - 《关于六角雪花》的科学直觉:首次尝试从微观离散结构单元的机械堆积,解释宏观晶体的六轴对称几何形状。 ### [03:39](https://www.youtube.com/watch?v=48sCx-wBs34&t=219s) 密铺对称性的限制与非周期密铺的追寻 开普勒清楚地知道,正六边形可以在平面上完美密铺且不留任何缝隙。在数学术语中,这被称为正六边形可以“周期性地密铺平面”(tiles the plane periodically)。所谓周期性密铺,是指如果复制其中的一块区域,仅仅通过纯粹的平移变换(无需任何旋转或镜像翻折),就能将图案无限延展并与后续区域完全吻合。周期性密铺同样具备旋转对称性:例如菱形密铺旋转 180 度(半圈)即可还原,具备二重旋转对称;正三角形具备三重对称,正方形具备四重对称,正六边形具备六重对称。然而,在传统二维几何学中,能形成周期密铺的旋转对称性仅有二重、三重、四重和六重,“There is no five-fold symmetry. Regular pentagons do not tile the plane”(根本不存在五重对称,正五边形无法密铺平面)。 但这并没有阻挡开普勒的探索脚步。他在其著作《宇宙和谐论》(*Harmonices Mundi*)中发表过一组图形,展现出强烈的五重对称特征,虽然各处拼接并非完全天衣无缝,也未讲清如何将其延展到整个平面。在平面密铺理论中,存在无数种只能进行周期性密铺的形状(如正六边形),也存在能同时进行周期性与非周期性密铺的形状(例如等腰三角形或“斯芬克斯密铺块” Sphinx tile)。这引发了一个尖锐的数学疑问:是否存在一组图块,它们**只能**以非周期的方式密铺整个平面? 1961 年,数学家王浩(Hao Wang)提出了研究带颜色方块的“王氏砖”(Wang tiles)模型:规则是拼合边必须颜色相同,图块只能平移而不能旋转或翻折。王浩提出猜想:如果一组图块能密铺平面,那么它必然也能以周期性的方式密铺平面。但他的学生罗伯特·伯杰(Robert Berger)随后证明该猜想是错误的。伯杰成功构造出了一套包含多达 20,426 块图块的集合,这套图块能够密铺整个平面,但只能以非周期的方式进行。这被称为“非周期密铺”(aperiodic tiling)。此后,数学家们开始不断缩减图块数量以追求极简:伯杰本人将数量降到 104 块,高德纳(Donald Knuth)降至 92 块,1969 年拉斐尔·罗宾逊(Raphael Robinson)更是大幅削减至仅用 6 块图块,就能铺满整个平面且永不重复。 ```mermaid flowchart TD accTitle: Aperiodic Tiling Tile Reduction History accDescr: 展现非周期密铺图块数量从王浩猜想被推翻到罗杰·彭罗斯压缩至两种图块的历史递减过程 subgraph S1["概念突破 (1961)"] W["王浩猜想<br>如果能密铺则必然能周期密铺"] -->|"反例推翻"| B1["罗伯特·伯杰 (20,426块图块)<br>证明非周期密铺存在"] end subgraph S2["图块数量极限简化"] B1 --> B2["伯杰优化版本 (104块)"] B2 --> K["唐纳德·高德纳 (92块)"] K --> R["拉斐尔·罗宾逊 (6块)"] R --> P["罗杰·彭罗斯 (最终缩减为 2块)"] end ``` - 周期密铺核心定义:仅需平移变换,就能重现并无限延展的铺砌结构。 - 晶体学限制:周期性平面密铺只支持 2、3、4、6 重旋转对称,完全排斥 5 重对称。 - 非周期密铺里程碑:从罗伯特·伯杰的 20,426 块,到罗宾逊的 6 块,最终由罗杰·彭罗斯降至 2 块。 ### [07:07](https://www.youtube.com/watch?v=48sCx-wBs34&t=427s) 彭罗斯瓷砖与跨越 400 年的巧合 随后登场的是著名物理学家与数学家罗杰·彭罗斯(Roger Penrose),他最终将非周期密铺图块的种类缩减到了仅仅两种。彭罗斯最初的切入点正是正五边形:他在一个正五边形周围环绕放置其他五边形,其间必然会出现缝隙。但这一整体轮廓可以内嵌进一个更大的正五边形中。彭罗斯由此萌生灵感:将原有的五边形不断细分为更小的五边形。随着层层细分,部分缝隙开始连接成菱形(rhombus),另一些缝隙则呈现三尖角状。彭罗斯继续进行二次细分,此时部分缝隙变得足够大,可以填入较小的五边形,而最终剩下的缺口仅由三种基本图形组成:菱形、星形(star)以及一种被彭罗斯称为“小丑帽”(jester cap)的不完整星形分片。无限细分下去,平面将永远只由这些固定形状填充。 令人震惊的是,关于开普勒的第五个事实在此揭晓:如果将 400 年前开普勒在《宇宙和谐论》中绘制的五边形手稿,与彭罗斯细分得到的五重对称密铺图案直接重叠,“The two match up perfectly”(两者完全重合、分毫不差)。在获得这一图案后,彭罗斯进一步提炼其几何本质,最终浓缩出了两款极简图块:厚菱形(thick rhombus)与薄菱形(thin rhombus)。通过在边缘设置凹凸榫卯或特定的颜色匹配规则,排除了周期性拼接的可能性。仅凭这两块小小的瓷砖,就能向外无限铺展至整个无穷平面,且全图永远不会出现周期性重复。 为了直观展示非周期性的本质,主持人将两份相同的彭罗斯菱形图案分别印在白纸与透明胶片上并叠放在一起。由此产生的干涉条纹形成了莫尔纹(Moiré pattern):发暗的区域代表上下两层图案未能对齐,而发亮的区域则代表图形重合。随着透明胶片的缓慢旋转与微调,亮斑在视野中移动、缩放。主持人兴奋地喊道:“Oh yes yes! It's like all of a sudden everything is illuminated. I love it!”(哦太棒了!就像突然之间所有东西都被点亮了一样,我太喜欢这感觉了!)但仔细观察可以发现,即使中心局部完美对齐,沿着放射线延伸开去依然会出现错位发暗的区域。这直观证明了非周期密铺的特质:两张相同的非周期图案在平移或旋转下,永远无法在全局实现处处重合。 - 开普勒与彭罗斯跨越时空的重合:开普勒 1619 年绘制的五边形拼图与彭罗斯 1970 年代的密铺细分图案完全吻合。 - 彭罗斯菱形瓷砖(P3):由顶角不同的厚菱形(72°/108°)与薄菱形(36°/144°)组成。 - 莫尔纹实验验证:全局不存在平移对称性,任何局部的对齐在向外延伸时必然出现相位错位。 ### [10:04](https://www.youtube.com/watch?v=48sCx-wBs34&t=604s) “风筝与飞镖”的不可数无穷与黄金比例 在所有彭罗斯瓷砖的变体中,主持人最喜爱的是被称为“风筝与飞镖”(kites and darts)的组合。这两种图块拥有极其特殊的几何夹角,表面各绘有两道特定曲率的弧线。拼合时必须严格遵循规则:相邻边缘的圆弧必须平滑连续相接,以此从规则上确保密铺只能是非周期的。主持人用激光切割机切出了成千上万个彩色亚克力图块,并在地板上亲自动手拼装超大尺寸的彭罗斯拼图。组装过程极为费神,他一边拼一边叹气:“Oh man. Come on.”(天哪,加把劲。)当视野拉远凝视这一片密铺时,观察者会发现无数局部对称的规律结构,例如反复闪现的星形与“太阳”形;但若进一步细看,就会发现它们绝不会像传统墙纸或晶格那样在空间中规律排布。 这引发了一个深层次的数学问题:由“风筝与飞镖”构成的密铺形态,是否在全宇宙中只有唯一的一种母版,而我们看到的任何密铺都只是这个唯一庞大图案的局部切片?答案是否定的。数学证明表明,风筝与飞镖能够构筑出**不可数无穷**(uncountably infinite)种完全不同的全平面密铺方案。更具冲击力的是其隐藏的拓扑悖论:假如你身处其中某一个密铺世界中,你根本无法判断自己到底处于哪一个方案之中。因为“any finite region of one of these tilings appears infinitely many times in all of the other versions of those tilings”(任何一种密铺中出现的任意大小的有限区域,都会在所有其他版本的密铺中重复出现无限多次)。除非你能一眼纵观整个无穷大的宇宙平面(这在物理上是不可能的),否则仅凭任何有限视界内收集到的局部信息,它们彼此之间绝对无法区分。 最后,主持人对自己拼好的这块密铺图案中的零件进行了清点统计。图块总计包含 440 个风筝图块和 272 个飞镖图块。当用风筝数量除以飞镖数量(440 ÷ 272)时,得出的比值约为 1.618,恰好精确逼近数学常数——黄金比例(golden ratio,$\phi$)。这一在美学、斐波那契数列和正五边形几何中反复出现的神秘比例,在此处再次展露出贯穿微观与宏观几何的核心支配力。 - 构造规则:风筝与飞镖的边缘必须保证表面绘制的弧线首尾相连、保持连续。 - 几何学悖论:存在不可数无穷种全局不同的密铺,但在局部的任意有限尺寸内,每一幅都包含着其他所有版本中的一切图案片段。 - 数量统计与黄金比例:实拼图案包含 440 个风筝与 272 个飞镖,二者比例 $440 / 272 \approx 1.6176$,逼近黄金分割比 $\phi \approx 1.6180339887...$。 ### [12:54](https://www.youtube.com/watch?v=48sCx-wBs34&t=774s) 黄金分割比、斐波那契数列与非周期性证明 在彭罗斯拼图(Penrose tiling)精妙的几何结构中,处处隐藏着某种五重对称性。而在所有无理常数中,黄金分割比 $\phi$ 可以说是最具有“五”特性的一个常数。从数学上表达,黄金分割比可以写成 $0.5 + 5^{0.5} \times 0.5$(即 $\frac{1+\sqrt{5}}{2}$)。它与正五边形密不可分,正五边形的对角线长度与边长之比恰好就是黄金比例。彭罗斯拼图中的基本元件——筝形(kite)和飞镖形(dart),乃至菱形拼图(rhombuses),本身就是由正五边形的特定截块构造出来的,这意味着黄金分割比从一开始就深深刻在它们的几何骨架之中。 更为深刻的是拼图碎片数量之间的数量关系:随着拼图范围向外无限延伸,筝形与飞镖形数量的比值会无限趋近于黄金分割比。由于黄金比例是一个无理数,这一数学事实直接确凿地证明了该图案绝不可能是周期性的。如果拼图是周期性重复的,那么两种图形的比例必然能够表示为两个整数相除——即每个重复单元内筝形与飞镖形的固定数量之比。 如果不在拼图砖块上绘制圆弧,而是画上特定的平直线段,当整个拼图拼接在一起时,会浮现出更加令人称奇的规律:这些线段在跨越不同砖块时会完全严丝合缝地连接成笔直的长线,在整个平面上排列出整整五组不同方向的平行线系,直接印证了图案中蕴含的五重对称性。然而,这些平行线并非均匀排布,观察任意一组平行线之间的间距,会发现它们由“长”(Long)和“短”(Short)两种不同的间隔交织而成。从底部依次向上数,序列呈现为“长、短、长、短、长、长……”,这种排布本身打破了任何周期循环。但如果截取任意一段区域统计其间隔数量,例如数出 13 个短间隔和 21 个长间隔,便会惊奇地发现它们严格对应着斐波那契数列(Fibonacci sequence):1、1、2、3、5、8、13、21、34……而斐波那契数列相邻两项的比值,在极限情况下同样趋近于黄金分割比。 - 黄金比例公式:$\phi = 0.5 + 5^{0.5} \times 0.5 \approx 1.618$ - 正五边形中任意对角线长度与边长之比等于 $\phi$。 - 无限延展的彭罗斯拼图中,筝形数量与飞镖形数量之比收敛于无理数 $\phi$,排除了图案存在周期性晶胞的可能。 - 拼图上绘制的直纹延伸形成五组相互交错的平行线,其长短间距的计数比严格符合斐波那契数列。 --- ### [15:05](https://www.youtube.com/watch?v=48sCx-wBs34&t=905s) 物理晶体的矛盾与“长程协调”难题 当彭罗斯完成这项数学发现后,科学家们随即向他提出了一个核心问题:这种非周期性图案在现实物理世界中是否存在对应物?自然界中是否存在具有此类结构的晶体?对于这个问题,彭罗斯最初的判断是绝不可能。因为在当时凝聚态物理与晶体学的定义中,晶体的本质特征就在于其由完全相同的周期性晶胞在三维空间中平移堆叠而成。就像平面的几何对称性早在数百年前就已被分类穷尽一样,构成所有传统晶体的基本晶格类型在科学界早已盖棺定论——总共只有 14 种布拉菲点阵(Bravais lattices),在此之前从未有人见过任何违背这 14 种模式的物理晶体。 更棘手的障碍在于物理微观生长的机制差异。现实中的晶体是通过原子和分子在微观尺度上的局部相互作用自发结合生长的,而彭罗斯拼图似乎不可避免地需要某种全局性的“长程协调”(long range coordination)。视频中演示了一个生动的反例:如果从一片已有的拼图边缘出发,你在左边放置一个飞镖形,它完全符合拼缝规则,并且能够顺利向外铺展至无穷大;同理,如果你在右侧选择放置一个筝形,同样可以完美向外延展。然而,如果你同时在左边放飞镖形、在右边放筝形,整个拼图在向外扩展一段距离后,就会在一处交汇区域陷入死胡同——拼图中会出现一个极度尴尬的空隙,虽然几何形状正好对应一个飞镖形,但将其嵌入后,砖块上的匹配线却根本无法对齐。 这种现象揭示了一个物理生长上的根本悖论:在局部看来,放置每一个微观砖块都完全遵守了局部的邻接规则,没有任何错误;但由于缺乏长程的全局“预知能力”,局部正确的微观原子堆砌在宏观尺度上必然会产生无法调和的拓扑冲突。既然原子没有跨越遥远距离进行预见性沟通的大脑,大自然又怎么可能自组装出类似彭罗斯拼图的物理固体呢? ```mermaid flowchart TD accTitle: 彭罗斯拼图与传统晶体在生长机制上的冲突 accDescr: 对比传统晶体的局部周期堆砌与彭罗斯拼图因局部盲目性导致的结构死锁过程。 subgraph Crystal["传统晶体 (Periodic Crystals)"] C1["14 种布拉菲点阵"] --> C2["原子通过局部结合自组装"] C2 --> C3["简单平移对称,不会产生远距离冲突"] end subgraph Penrose["彭罗斯拼图的拼装困境"] P1["局部规则:左右两侧各自放置合法碎片"] P2["各自向外继续铺展"] P3["在中间交汇区域出现冲突形状与线段错位"] P1 --> P2 --> P3 end Crystal -.->|"传统晶体学断言:非周期结构无法在物理中存在"| Penrose ``` --- ### [16:46](https://www.youtube.com/watch?v=48sCx-wBs34&t=1006s) 准晶体的预言与丹·谢赫特曼的惊人发现 时间推进到 20 世纪 80 年代初,物理学家保罗·斯坦哈特(Paul Steinhardt)和他的学生们正在利用计算机模拟原子如何在极小尺度上聚集形成凝聚态物质。在模拟中他们发现,从局部结合的角度来看,原子之间非常倾向于抱团形成正二十面体(icosahedron)。然而,正二十面体恰恰是经典晶体学中被严格判为“禁忌”的形态,因为它的三维投影中充满了五重旋转对称性。斯坦哈特团队随之提出了一个大胆的疑问:这类由原子自发形成的正二十面体结构究竟能长到多大?最初他们猜测可能只有 10 个原子或 100 个原子的尺度。但受到彭罗斯拼图的启发,他们尝试构想出一种颠覆性的三维拓扑架构——彭罗斯拼图的三维模拟物,也就是后来被命名的“准晶体”(quasi-crystal)。 斯坦哈特团队在计算机中对这种假设中的三维非周期性结构进行了 X 射线衍射模拟。如果这种结构真的存在,当 X 射线穿透它发生散射时,底片上应该展现出由 10 个衍射光点组成的同心环,直接投射出宏观上的五重旋转对称性。就在计算机模拟完成的同时,在距离他们仅几百公里的实验室里,材料科学家丹·谢赫特曼(Dan Shechtman)在完全不知晓斯坦哈特理论工作的情况下,通过快速冷却铝锰合金合成出了一种薄片状的新型金属材料。当谢赫特曼利用透射电子显微镜对该材料进行电子衍射时,拍摄到了一幅震撼的衍射图样:底片上清晰地排列着极其锐利、呈现严格十重对称的光点圆环,这幅实验衍射图与斯坦哈特在计算机里模拟出的图案几乎分毫不差。 然而,理论与实验的惊人吻合依然留下了一个核心谜题:如果彭罗斯拼图确实需要全局的长程协调才能避免拼装死锁,那么原子究竟是如何在不受长程指令调控的前提下,物理组装成宏观准晶体的? --- ### [18:04](https://www.youtube.com/watch?v=48sCx-wBs34&t=1084s) 顶点法则、鲍林的嘲讽与诺贝尔奖的平反 为了解开这个自组装谜团,视频作者与保罗·斯坦哈特教授进行了深入探讨。斯坦哈特指出了早期拼图理解中的一个关键误区:如果在拼装彭罗斯瓷砖时仅仅依赖“边缘匹配法则”(matching rules on the edges),这些局部规则的约束力确实不够强,盲目拼接很容易陷入放错砖块、最终在远处形成死锁的窘境。但是斯坦哈特提出,“如果你制定针对顶点的规则——也就是各个顶点之间相互连接的方式,这些规则在局部就足够强大,以至于你永远不会犯错,图案可以无限延展下去。”在三维物理世界中,原子正是通过顶点间复杂的多体键合几何构型,在微观局部实现了严格的自洽生长,无需任何超距协调就能一路生长至宏观尺寸。 在准晶体理论奠基的开创性论文中,作者们将其命名为《论五角雪花》(*De Nive Quinquangula*),以此向四百年前研究六角雪花与铺密问题的开普勒致敬。然而,准晶体的问世在当时的学术界无异于一场地震,甚至引来了传统主流科学家的激烈排斥与讥讽。作为化学界的泰斗、两届诺贝尔奖得主莱纳斯·鲍林(Linus Pauling)就曾公开留下了一句刻薄的著名断言:“世上没有什么准晶体,只有准科学家。”正如视频中感叹的那样:“真可谓一记无情的嘲讽(burn)。” 然而,科学的真理最终站在了事实这一边。丹·谢赫特曼顶住了巨大的学术霸凌与孤立,赢得了最终的胜利——由于发现准晶体,他独享了 2011 年诺贝尔化学奖。如今,科学家们已经能够在实验室中培育出外形完美、肉眼可见的正十二面体准晶单晶。这些神奇的材料不仅重塑了物质科学的认知,更被开发应用于不粘绝缘层、高端耐磨炊具涂层以及超硬耐久钢材等诸多工业领域。 这段科学史揭示了人类认知中最深层的盲区:有多少客观存在的事物,仅仅因为我们预设其“不可能存在”,就长久地在我们眼皮底下被彻底忽视?正多边形的几何对称性看起来是如此确凿无疑、不可撼动,以至于千百年来从未有人想过要跳出周期性重复的牢笼,直到罗杰·彭罗斯迈出了颠覆性的一步。这不仅让我们收获了既美丽又反直觉的纯数学图案,更让我们终于看清了那些早在自然界中沉睡、却曾因人类的自缚双眼而视而不见的真实物质。 - 关键机制突破:局部“顶点规则”(vertex rules)替代单一“边缘匹配规则”,使局部原子拼接在不发生冲突的情况下无限延展。 - 经典论文标题致敬:斯坦哈特等人发表《论五角雪花》(*De Nive Quinquangula*),向开普勒 1611 年的《论六角雪花》(*Strena Seu de Nive Sexangula*)致敬。 - 历史冲突:莱纳斯·鲍林极力捍卫传统晶体学,公开贬斥研究者。 - 最终平反:丹·谢赫特曼于 2011 年荣获诺贝尔化学奖。 - 实际应用:准晶材料目前被应用于不粘涂层、电气绝缘、特种厨具与高强度耐磨钢材制造中。 --- ### [19:53](https://www.youtube.com/watch?v=48sCx-wBs34&t=1193s) 赞助商信息:LastPass 密码管理器 在探讨完科学与几何探索的壮丽历程后,视频进入了赞助商 LastPass 的推介环节。作者幽默地指出,LastPass 已经赞助了自己频道的多个视频,这充分说明了两点现实:第一,许多观众已经根据建议注册使用了该软件,彻底告别了记忆繁琐密码和账号被锁的困扰;第二,依然有一部分观众至今还没有行动,因此需要这声及时的提醒。 将密码管理完全托付给 LastPass,可以极大地解放大脑内存并显著提升账户安全。LastPass 提供了不限数量的密码存储空间、完全免费的跨设备云端同步,甚至包括在需要将特定账户临时共享给他人时的安全凭证分享功能。在移动端无论是 iOS 还是 Android 系统,LastPass 都能在打开应用或网站的瞬间自动填充用户名与密码,整个流程快速且无缝。 视频直接与观众进行了一番坦率的交流:“说实话,你是否在多个重要账户上重复使用同一个密码?”作者坦言自己过去也是如此,但这种做法极其危险;而要求人类的大脑去强行死记硬背由乱码组成的复杂随机字符,本身就是反人性的。如果用户最近经历过繁琐的重置密码流程,就会意识到这种低效的折腾在一生中会累积浪费掉大量时间。在生活中,只需迈出微小的一步——例如开始使用一款出色的密码管理器——就能切实改善今后每一天的数字生活品质。观众可以通过视频下方的专属链接开始体验 LastPass,作者最后对赞助商的支持以及所有观众的耐心收看表达了感谢。 ## Notable quotes > [18:04](https://www.youtube.com/watch?v=48sCx-wBs34&t=1084s) 如果你制定针对顶点的规则——也就是各个顶点之间相互连接的方式,这些规则在局部就足够强大,以至于你永远不会犯错,图案可以无限延展下去。 — 保罗·斯坦哈特 (Paul Steinhardt) ## Mentioned 约翰尼斯·开普勒 (Johannes Kepler), 开普勒博物馆 (Kepler Museum), 《关于六角雪花》 (Strena Seu de Nive Sexangula), 《宇宙和谐论》 (Harmonices Mundi), 《Form of Mathematics》, 王浩 (Hao Wang), 王氏砖 (Wang tiles), 罗伯特·伯杰 (Robert Berger), 唐纳德·高德纳 (Donald Knuth), 拉斐尔·罗宾逊 (Raphael Robinson), 罗杰·彭罗斯 (Roger Penrose), 彭罗斯瓷砖 (Penrose tiling), 斐波那契数列 (Fibonacci sequence), 保罗·斯坦哈特 (Paul Steinhardt), 《The Second Kind of Impossible》, 《论五角雪花》 (De Nive Quinquangula), 丹·谢赫特曼 (Dan Shechtman), 莱纳斯·鲍林 (Linus Pauling), 诺贝尔化学奖, 马丁·加德纳 (Martin Gardner), 《Penrose Tiles to Trapdoor Ciphers》, LastPass ## Video description Simple rules of geometry meant that 5-fold symmetry was impossible as were crystals without a periodic structure. This turns out to be wrong. Thanks to LastPass for sponsoring a portion of this video. Click here to start using LastPass: https://ve42.co/LPs Huge thanks to Prof. Paul Steinhardt for the interview on this topic. Check out his book ‘The Second Kind of Impossible’ If you'd like to learn more about Penrose tilings, go check out "Penrose Tiles to Trapdoor Ciphers" by Martin Gardener, which helped my research for this video. Filmed by Gene Nagata (Potato Jet on YouTube) Animations by Ivy Tello and Jonny Hyman Editing, Coloring, Music & Audio mastering by Jonny Hyman Prague scenes filmed in 2012. Special thanks to Raquel Nuno for helping with the tilings! Additional Music from Epidemic Sound [Source](https://www.youtube.com/watch?v=48sCx-wBs34)

Source quotes

[18:04] 保罗·斯坦哈特 (Paul Steinhardt): 如果你制定针对顶点的规则——也就是各个顶点之间相互连接的方式,这些规则在局部就足够强大,以至于你永远不会犯错,图案可以无限延展下去。

Source quotes

[10:04] Host: There's this kind of paradox to Penrose tilings where there's an uncountable infinity of different versions, but just by looking at them, you could never tell them apart.

Original transcript

[0:00] A portion of this video was sponsored by lastpass [0:03] This video is about a pattern people thought was impossible, and a material that wasn't supposed to exist. [0:11] The story begins over 400 years ago in Prague [0:15] I'm now in Prague and the Czech Republic, which is perhaps my favorite European city that I've visited so far. [0:21] I'm going to visit the Kepler museum, [0:23] because he's one of the most famous scientists who lived and worked around Prague. [0:26] I want to tell you five things about Johannes Kepler that are essential to our story. [0:33] Number one: Kepler is most famous for figuring out that the shapes of planetary orbits are ellipses, [0:40] but before he came to this realization, [0:42] He invented a model of the solar system [0:44] He invented a model of the solar system in which the planets were on nested spheres separated by the platonic solids [0:51] What are the platonic solids? [0:53] Well they are objects where all of the faces are identical and all of the vertices are identical [1:00] which means you can rotate them through some angle, and they look the same as they did before [1:06] So the cube is an obvious example. [1:08] Then you also have the tetrahedron, [1:12] the octahedron, [1:15] the dodecahedron which has 12 pentagonal sides, [1:19] and the icosahedron which has 20 sides. [1:22] And that's it. There are just five platonic solids. [1:26] Which was convenient for Kepler because in his day they only knew about six planets [1:31] So this allowed him to put a unique platonic solid between each of the planetary spheres [1:36] Essentially he used them as spacers [1:39] He carefully selected the order of the platonic solids [1:42] so that the distances between planets would match astronomical observations as closely as possible [1:48] He had this deep abiding belief that there was some geometric regularity in the universe [1:54] and of course there is. Just not this. [1:57] Two: Kepler's attraction to geometry extended to more practical questions like, [2:02] How do you stack cannonballs so they take up the least space on a ship's deck? [2:06] By 1611 Kepler had an answer: [2:09] hexagonal close packing and the face centered cubic arrangement [2:13] are both equivalently and optimally efficient, [2:16] with cannonballs occupying about 74 percent of the volume they take up [2:21] now this might seem like the obvious way to stack spheres: [2:24] I mean it is the way that oranges are stacked in the supermarket. [2:27] But Kepler hadn't proved it. [2:29] He just stated it as fact, which is why this became known as Kepler's conjecture. [2:35] Now it turns out he was right, but it took around 400 years to prove it. [2:40] The formal proof was only published in the journal Form of Mathematics in 2017. [2:46] Three: Kepler published his conjecture in a pamphlet called deniva sexangula, [2:51] on the six cornered snowflake. [2:53] In which he wondered, there must be a definite cause why, [2:57] whenever snow begins to fall its initial formations invariably display the shape of a six cornered starlet [3:03] for if it happens by chance why do they not fall just as well with five corners, or with seven [3:08] Why always with six? [3:11] In Kepler's day, there was no real theory of atoms or molecules or how they self-arrange into crystals [3:17] but Kepler seemed to be on the verge of understanding this [3:21] I mean he speculates about the smallest natural unit of a liquid like water, essentially a water molecule, [3:27] and how these tiny units could stack together mechanically to form the hexagonal crystal [3:34] Not unlike the hexagonal close-packed cannonballs [3:39] Four: Kepler knew that regular hexagons can cover a flat surface perfectly with no gaps [3:45] In mathematical jargon we say the hexagon tiles the plane periodically. [3:50] You know that a tiling is periodic if you can duplicate a portion of it [3:54] and continue the pattern only through translation, with no rotations or reflections. [4:00] Periodic tilings can also have rotational symmetry. [4:03] A rhombus pattern has twofold symmetry because if you rotate it 180 degrees, one half turn, [4:09] the pattern looks the same as it did before [4:12] Equilateral triangles have three-fold symmetry [4:15] squares have four-fold symmetry and hexagons have six-fold symmetry [4:21] but those are the only symmetries you can have: two, three, four, and six [4:28] There is no five-fold symmetry. [4:31] Regular pentagons do not tile the plane [4:34] But that didn't stop Kepler from trying [4:36] See this pattern right here? [4:39] He published it in his book harmonics mundi or harmony of the world [4:43] it has a certain five-fold symmetry, [4:48] but not exactly, and it's not entirely clear how you would continue this pattern to tile the whole plane [4:56] There are an infinite number of shapes that can tile the plane periodically [5:00] The regular hexagon can only tile the plane periodically [5:04] There are also an infinite number of shapes that can tile the plane periodically or non-periodically [5:10] For example, isosceles triangles can tile the plane periodically [5:14] but if you rotate a pair of triangles, well then the pattern is no longer perfectly periodic [5:20] a sphinx tile can join with another rotated 180 degrees and tile the plane periodically [5:27] But a different arrangement of these same tiles is non-periodic [5:32] This raises the question: are there some tiles that can only tile the plane non-periodically? [5:39] Well in 1961 Hao Wang was studying multi-colored square tiles [5:44] the rules were, touching edges must be the same color, [5:47] and you can't rotate or reflect tiles only slide them around. [5:51] Now the question was, if you're given a set of these tiles, [5:55] can you tell if they will tile the plane? [5:58] Wang's conjecture was that if they can tile the plane, well they can do so periodically [6:04] but it turned out Wang's conjecture was false. [6:07] His student, Robert Burger, found a set of 20426 tiles [6:13] that could tile the plane but only non-periodically [6:18] think about that for a second: here we have a finite set of tiles [6:22] Okay it's a large number, but it's finite. [6:25] And it can tile all the way out to infinity without ever repeating the same pattern [6:31] there's no way even to force them to tile periodically [6:35] and a set of tiles like this that can only tile the plane non-periodically is called an aperiodic tiling [6:43] and mathematicians wanted to know, [6:45] Were there aperiodic tilings that required fewer tiles? [6:50] Well Robert Burger himself found a set with only 104. [6:54] Donald Knuth got the number down to 92, [6:56] and then in 1969, you had Raphael Robinson who came up with six tiles. [7:01] Just six, that could tile the entire plane without ever repeating [7:07] Then along came Roger Penrose, who would ultimately get the number down to two [7:14] Penrose started with a pentagon. [7:16] He added other pentagons around it and of course noticed the gaps [7:20] But this new shape could fit within a larger pentagon which gave Penrose an idea: [7:26] What if he took the original pentagons and broke them into smaller pentagons? [7:32] Well now some of the gaps start connecting up into rhombus shapes, [7:36] Other gaps have three spikes. [7:39] But Penrose didn't stop there: [7:40] He subdivided the pentagons again [7:43] Now some of the gaps are large enough that you can use pentagons to fill in part of them [7:48] and the remaining holes you're left with are just rhombuses, stars, and a fraction of a star that penrose calls a justice cap. [7:55] You can keep subdividing indefinitely, and you will only ever find these shapes [8:01] So with just these pieces, you can tile the plane aperiodically [8:06] With an almost five-fold symmetry. [8:10] The fifth thing about Johannes Kepler is that if you take his pentagon pattern, [8:15] and you overlay it on top of Penrose's, [8:18] The two match up perfectly. [8:22] Once Penrose had his pattern, he found ways to simplify the tiles. [8:27] He distilled the geometry down to just two tiles: a thick rhombus and a thin rhombus. [8:34] The rules for how they can come together can be enforced by bumps and notches, or by matching colors [8:39] And the rules ensure that these two single tiles can only tile the plane non-periodically [8:46] Just two tiles go all the way out to infinity without ever repeating [8:51] Now one way to see this is to print up two copies of the same Penrose pattern [8:56] and one on a transparency and overlay them on top of each other [9:00] Now the resulting interference you get is called a Moire pattern, [9:04] where it is dark the patterns are not aligned [9:08] you can see there are also some light spots [9:11] and that's where the patterns do match up. [9:14] And as I rotate around you can see the light spots move in and get smaller [9:20] and then at a certain point they move out and get bigger [9:25] and what I want to do is try to enlarge one of these bright spots, [9:29] and see how big of a matching section I can find [9:35] oh yes yes! [9:38] It's like all of a sudden everything is illuminated [9:41] I love it [9:44] So these patterns are perfectly matching up here here here here and here but not along these radial lines [9:52] and that is why they look dark. [9:55] So what this shows us is that you can't ever match any section perfectly to one beneath it: [10:01] There will always be some difference. [10:04] So my favorite Penrose pattern is actually made out of these two shapes [10:10] which are called kites and darts [10:14] And they have these very particular angles [10:17] and the way they're meant to match up is based on these two curves. [10:20] So you can see there's a curve on each piece [10:22] and so you have to connect them so that the curves are continuous [10:27] and that's the rule that allows you to build an aperiodic tiling from these two pieces [10:33] so uh I laser cut thousands of these pieces [10:38] and oh i'm gonna try to put them together and make a huge Penrose tiling [10:45] Oh man. Come on [10:50] If you stare at a pattern of kites and darts [10:53] you'll start to notice all kinds of regularities like stars and suns [10:59] but look closer and they don't quite repeat in the way you'd expect them to [11:06] these two tiles create an ever-changing pattern that extends out to infinity without repeating [11:14] Does this mean there is only one pattern of kites and darts [11:18] and every picture that we see is just a portion of that overall singular pattern? [11:25] Well the answer is no. [11:27] There are actually an uncountably infinite number of different patterns of kites and darts that tile the entire plane [11:37] and it gets weirder: [11:38] If you were on any of those tilings, [11:41] you wouldn't be able to tell which one it is. [11:45] I mean you might try to look further and further out gather more and more data, but it's futile. [11:50] Because any finite region of one of these tilings appears infinitely many times [11:56] in all of the other versions of those tilings [11:59] I mean don't get me wrong those tilings are also different in an infinite number of ways, [12:04] But it's impossible to tell that unless you could see the whole pattern, which is impossible [12:12] There's this kind of paradox to Penrose tilings [12:15] where there's an uncountable infinity of different versions, [12:20] but just by looking at them, you could never tell them apart [12:29] Now what if we count up all the kites and darts in this pattern? [12:33] Well I get 440 kites and 272 darts. [12:38] Does that ratio ring any bells? [12:41] Well if you divide one by the other you get 1.618 [12:46] That is the golden ratio. [12:50] So why does the golden ratio appear in this pattern? [12:54] Well as you know it contains a kind of five-fold symmetry [12:58] and of all the irrational constants, the golden ratio phi is the most five-ish of the constants. [13:05] I mean you can express the golden ratio as 0.5 plus 5 to the power of 0.5 times 0.5 [13:14] The golden ratio is also heavily associated with pentagons [13:17] I mean the ratio of the diagonal to an edge is the golden ratio [13:22] And the kite and dart pieces themselves [13:24] are actually sections of pentagons, [13:27] Same with the rhombuses [13:28] So they actually have the golden ratio built right into their construction [13:33] The fact that the ratio of kites to darts approaches the golden ratio, an irrational number, [13:38] provides evidence that the pattern can't possibly be periodic. [13:41] If the pattern were periodic, then the ratio of kites to darts [13:45] could be expressed as a ratio of two whole numbers: [13:48] The number of kites to darts in each periodic segment. [13:51] And it goes deeper: [13:53] If you draw on the tiles not curves but these particular straight lines, [13:58] well now when you put the pattern together you see something interesting [14:02] they all connect up perfectly into straight lines [14:07] there are five sets of parallel lines [14:10] this is a kind of proof of the five-fold symmetry of the pattern [14:15] but it is not perfectly regular [14:18] take a look at any one set of parallel lines. [14:21] You'll notice there are two different spacings. [14:24] Call them long and short [14:26] From the bottom we have long short long short long long.. [14:31] wait that breaks the pattern [14:34] These gaps don't follow a periodic pattern either [14:38] but count up the number of longs and shorts in any section: [14:42] here I get 13 shorts and 21 longs, [14:45] and you have the fibonacci sequence [14:49] 1 1 2 3 5 8 13 21 34 and so on [14:54] And the ratio of one Fibonacci number to the previous one approaches the golden ratio [15:05] Now the question Penrose faced from other scientists was, could there be a physical analog for these patterns? [15:11] Do they occur in nature, perhaps in crystal structure [15:15] Penrose thought that was unlikely. [15:17] The very nature of a crystal is that it is made up of repeating units [15:21] Just as the fundamental symmetries of the shapes that tile the plane had been worked out much earlier, [15:26] the basic unit cells that compose all crystals were well established. [15:31] There are 14 of them [15:33] and no one had ever seen a crystal that failed to fit one of these patterns. [15:37] And there was another problem [15:39] Crystals are built by putting atoms and molecules together locally, [15:44] whereas Penrose tilings -- well, they seem to require some sort of long range coordination. [15:49] Take this pattern for example [15:51] You could put a dart over here and continue to tile out to infinity. No problems. [15:57] Or you could put a kite over here on the other side. Again, no problems. [16:05] But, if you place the kite and dart in here simultaneously, well then this pattern will not work [16:14] I mean, you can keep tiling for a while [16:17] but when you get to somewhere around here, well it's not gonna work. [16:23] You can put a dart in there which completes the pattern nicely, [16:26] But then you get this really awkward shape there, which is actually the shape of another dart [16:32] but if you put that one in there then the lines don't match up. [16:36] The pattern doesn't work. [16:38] So how could this work as a crystal? [16:40] I mean, both of these tiles obey the local rules, [16:43] but in the long term, they just don't work. [16:46] In the early 1980s, [16:47] Paul Steinhardt and his students were using computers to model how atoms come together into condensed matter, [16:54] that is essentially solid material at the smallest scales, [16:58] and he found that locally, they like to form icosahedrons [17:02] but this was known to be the most forbidden shape because it is full of five-fold symmetries. [17:08] So the question they posed was, how big can these icosahedrons get? [17:12] They thought maybe 10 atoms or 100 atoms, [17:15] but inspired by Penrose tilings, they designed a new kind of structure. [17:20] A 3D analog of Penrose tilings now known as a quasi-crystal. [17:24] And they simulated how x-rays would diffract off such a structure [17:28] and they found a pattern with rings of 10 points, reflecting the five-fold symmetry [17:33] Just a few hundred kilometers away, completely unaware of their work, [17:37] another scientist Dan Shechtman created this flaky material from aluminum and manganese [17:43] and when he scattered electrons off his material, this is the picture he got. [17:49] It almost perfectly matches the one made by Steinhardt [17:56] So if Penrose tilings require long range coordination, then how do you possibly make quasi crystals? [18:04] Well i was talking to Paul Steinhardt about this and he told me, [18:08] if you just use the matching rules on the edges, [18:11] those rules are not strong enough and if you apply them locally you run into problems like this. [18:16] You misplace tiles. [18:18] But he said if you have rules for the vertices -- [18:21] the way the vertices can connect with each other, [18:23] those rules are strong enough locally so that you never make a mistake and the pattern can go on to infinity [18:32] One of the seminal papers on quasi crystals was called De Nive Quinquangula: [18:37] on the pentagonal snowflake in a shout out to Kepler. [18:42] Now not everyone was delighted at the announcement of quasi crystals, [18:45] a material that up until then people thought totally defied the laws of nature. [18:50] Double Nobel Prize winner Linus Pauling famously remarked, [18:54] "There are no quasi crystals, only quasi scientists" [18:59] burn [19:01] But uh Shechtman got the last laugh. [19:03] He was awarded the Nobel Prize for chemistry in 2011 [19:07] and quasi crystals have since been grown with beautiful dodecahedral shapes [19:12] they are currently being explored for applications from non-stick electrical insulation and cookware, to ultra durable steel. [19:20] And the thing about this whole story that fascinates me the most is, [19:23] What exists that we just can't perceive because it's considered impossible? [19:27] I mean the symmetries of regular geometric shapes seemed so obvious and certain [19:32] that no one thought to look beyond them, that is until Penrose. [19:36] And what we found are patterns that are both beautiful and counter-intuitive, [19:41] and materials that existed all along that we just couldn't see for what they really are [19:53] Hey this portion of the video was sponsored by lastpass [19:56] And they have sponsored a number of my videos in the past, [19:58] Which tells me two things: [20:00] Number one: many of you have signed up so you don't have to remember your passwords anymore [20:04] or worry about getting locked out of your accounts [20:07] and number two: some of you have not yet signed up, [20:10] hence this reminder that your accounts will be more secure and your brain less cluttered [20:15] when you put your passwords on autopilot with lastpass [20:18] They give you unlimited password storage, [20:20] free cross-device sync [20:21] and even password sharing [20:23] If you ever need to give someone else access to one of your accounts. [20:26] Lastpass autofills your credentials on mobile sites and apps for ios and android [20:31] and it is so fast and easy when you open an app or site, [20:34] Lastpass fills in your username and password in an instant [20:37] Now real talk: do you have important accounts with the same password? [20:41] I used to and it's not secure [20:43] but remembering a random string of characters is not something I expect my brain to do [20:48] Have you had to reset one of your passwords recently? [20:51] It's annoying and the time you waste will just accumulate over your lifetime [20:55] There are small steps you can take today that will improve every day for the rest of your life, [21:00] and getting a great password manager is one of those steps. [21:03] So click the link below and start using lastpass today [21:06] I want to thank lastpass for sponsoring this portion of the video, [21:09] and I want to thank you for watching