Einstein-Kachel

Einstein tile

Einführung

Unter einer Einstein‑Kachel (von „ein Stein“ – ein einziger Stein) versteht man eine einzelne Form \(P\), die die Ebene lücken‑ und überdeckungsfrei parkettieren kann, ohne dass die daraus entstehenden Parkettierungen periodisch sind. Formal heißt eine Parkettierung \(\mathcal T\) periodisch, wenn es einen von Null verschiedenen Verschiebungsvektor \(v\in\mathbb R^2\) gibt, so dass \(\mathcal T+v=\mathcal T\). Existiert kein solcher Vektor, so ist die Parkettierung aperiodisch. Eine Form, die nur aperiodische Parkettierungen zulässt, heißt aperodische Monokachel oder kurz Einstein.

Historischer Hintergrund

• Hilberts 18. Problem (1900): Fragte u. a., ob es einen Körper gibt, der den Raum nur nicht‑isohedral parkettiert. Diese Idee motivierte spätere Arbeiten zur Aperiodizität.
• Hao Wang (1961): stellte das Domino‑Problem und das Wortproblem für Wang‑Kacheln auf.
• Robert Berger (1966): bewies Unentscheidbarkeit durch ein Beispiel von 20 426 Kacheln, reduzierte später auf 104 Kacheln.
• Roger Penrose (1974): fand ein aperiodisches Paar (die berühmten Penrose‑Rauten).
• Joshua Socolar & Joan Taylor (2010): präsentierten eine scheinbare Monokachel, die jedoch entweder nicht zusammenhängend oder auf verborgene "Matching Rules" angewiesen war.
• David Smith (2022): entdeckte als Hobby‑Mathematiker die Hutkachel. Gemeinsam mit J. S. Myers, C. S. Kaplan und C. Goodman‑Strauss bewies er 2023 ihre echte Aperiodizität ohne Zusatzregeln.

Die genaue Fragestellung

Gesucht war eine zusammenhängende topologische Scheibe \(P\subset\mathbb R^2\), so dass jede Parkettierung der Ebene mit Kongruenzabbildungen von \(P\) zwingend aperiodisch ist. Es dürfen dabei keine zusätzlichen Markierungen oder Nachbarschaftsregeln verwendet werden, nur der reine geometrische Umriss zählt.

Die Lösung – die Hutkachel

Die Hut ist ein Polykite, das aus acht recht‑winkligen Kites mit Winkeln $60°$–$90°$–$120°$–$90°$ zusammengesetzt ist. Den Autoren gelang es, eine Substitutionsregel \(\sigma\colon P\to P^n\) herzuleiten, so dass jeder rekursive Ersatz \(\sigma^k(P)\) eine größere Hut‑Superkachel bildet. Die Hierarchie erzwingt Quasiskalen‑Selbstähnlichkeit und damit Aperiodizität.

Weitere Einstein‑Kacheln

Seit 2023 ist eine ganze Familie von Formen \(\text{Tile}(a,b)\) bekannt, darunter die Spectre (chirale Monokachel ohne Spiegelung), die sogar strikt aperiodisch ist – selbst das Spiegelbild darf nicht benutzt werden. Auch Varianten wie die Vampire‑Kachel wurden untersucht.

Mehrdimensionale Varianten

In $\mathbb R^3$ existiert seit 1988 die Schmitt–Conway–Danzer‑Kachel, ein konvexer Körper, der den Raum nur aperiodisch füllt (allerdings mit Schraubsymmetrie). Für stärkere Aperiodizitäts‑Definitionen ist die Frage nach einem echten 3‑dimensionalen Einstein noch offen.

Anwendungen & Bedeutung

• Quasikristalle: Molekulare Analoga der Hut erzeugen chirale Quasikristallstruktur in zwei Dimensionen.
• Theoretische Informatik: Modelle von selbstassemblierenden Systemen nutzen aperiodische Monokacheln als hartes Steuerungselement.
• Kunst & Design: Die Hut fand rasch Eingang in Grafik‑ und Architekturanwendungen.

Ausblick

Aktuelle Forschung untersucht, ob es konvexe Einstein‑Kacheln in der Ebene gibt und ob sich das Hut‑Prinzip auf $n>3$ Dimensionen übertragen lässt. Außerdem stellt sich die Frage, wie wenige lokale Regeln nötig sind, um Aperiodizität zu erzwingen.

Introduction

An einstein tile (from the German “ein Stein” – one stone) is a single shape \(P\) that tiles the plane edge‑to‑edge, yet every such tiling is non‑periodic. A tiling \(\mathcal T\) is periodic if and only if there exists a non‑zero translation vector \(v \in \mathbb R^2\) with \(\mathcal T + v = \mathcal T\). If no such vector exists, the tiling is aperiodic. A shape for which all monohedral tilings are aperiodic is called an aperiodic monotile – or an einstein.

Historical background

• Hilbert’s 18th problem (1900): Asked for a body whose space fillings are non‑isohedral, inspiring later work on aperiodicity.
• Hao Wang (1961): Introduced the domino problem for Wang tiles, linking tilings to logic.
• Robert Berger (1966): Proved undecidability via 20 426 prototiles, later reduced to 104.
• Roger Penrose (1974): Produced an aperiodic pair – the famous Penrose rhombs.
• Joshua Socolar & Joan Taylor (2010): Offered a quasi‑monotile requiring either disconnections or hidden matching rules.
• David Smith (2022): Discovered the hat, the first genuine geometric monotile. Together with J. S. Myers, C. S. Kaplan and C. Goodman‑Strauss, he proved its aperiodicity in 2023.

The precise problem

Find a connected topological disk \(P\subset\mathbb R^2\) such that every edge‑to‑edge tiling by congruent copies of \(P\) is necessarily aperiodic. No decorations, colours or matching rules are allowed – only pure geometry.

The solution – the hat

The hat is a polykite assembled from eight right kites whose angles are $60°$–$90°$–$120°$–$90°$. The authors established a substitution rule \(\sigma:P\rightarrow P^n\). Iterating \(\sigma\) yields hierarchical metatiles; this forced hierarchy implies non‑periodicity.

Other einstein tiles

The hat belongs to an infinite family \(\text{Tile}(a,b)\). The spectre (a strictly chiral monotile) and playful off‑shoots like the vampire tile were announced in 2023–24.

Higher‑dimensional analogues

In $\mathbb R^3$ the Schmitt–Conway–Danzer tile (1988) is an aperiodic prototile – albeit with screw symmetry. Whether a strict 3‑D einstein exists remains open.

Applications & significance

• Quasicrystals: Molecular hats are predicted to yield chiral two‑dimensional quasicrystals.
• Self‑assembly & computation: Aperiodic monotiles act as hard‑wired controllers in algorithmic self‑assembly models.
• Art & design: The hat quickly inspired artworks, textiles and façade motifs.

Outlook

Current research explores convex einstein candidates, generalisations to dimensions $n>3$, and the minimal locality required to force aperiodicity.