🔢 mathematics

An aperiodic set of Wang tiles for every quadratic irrational

Dit artikel stelt een geometrische voldoende voorwaarde vast voor de niet-periodiciteit van gestreepte Wang-tegels en demonstreert dat voor elk paar irrationale getallen binnen hetzelfde kwadratische veld, er een overeenkomstige eindige aperiodieke verzameling van dergelijke tegels met voorgeschreven streepdensiteiten bestaat.

Oorspronkelijke auteurs: Jarkko Kari, Sébastien Labbé, Pieter Mostert

Gepubliceerd 2026-06-24

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Jarkko Kari, Sébastien Labbé, Pieter Mostert

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat je een gigantische, oneindige vloer hebt en een doos met vierkante tegels. Elke tegel heeft gekleurde randen. De regel voor het tegelen van de vloer is simpel: telkens wanneer twee tegels elkaar raken, moeten hun aangrenzende randen dezelfde kleur hebben.

Normaal gesproken, als een set tegels een vloer kan bedekken, kun je ze in een herhalend patroon over en over weerleggen, zoals een behangpatroon. Dit wordt een periodieke tegellegging genoemd.

Echter, sommige speciale sets tegels zijn aperiodiek. Dit betekent dat ze de hele oneindige vloer kunnen bedekken, maar dat ze nooit een herhalend patroon vormen. Hoe ver je ook uitzoomt, het ontwerp ziet er nooit exact twee keer hetzelfde uit. Het bewijzen dat een set tegels aperiodiek is, is berucht moeilijk, alsof je probeert te bewijzen dat een doolhof geen uitgang heeft zonder de hele route te bewandelen.

Dit artikel door Kari, Labbé en Mostert introduceert een nieuwe, elegante manier om te bewijzen dat bepaalde sets tegels aperiodiek zijn. Ze doen dit door het probleem te veranderen in een geometische puzzel met behulp van strepen en parabolen.

De "Gestreepte" Tegels

De auteurs richten zich op een specifere soort gestreepte tegels waarbij de tegels van nature "strepen" vormen.

Stel je voor dat sommige tegels een horizontale streep hebben, en andere een verticale streep.
De regels van de tegels dwingen deze strepen om op één lijn te liggen, wat lange, continue horizontale of verticale lijnen over de vloer creëert.
De auteurs vragen zich af: "Als we naar een enorm deel van de vloer kijken, welk percentage van de vloer wordt bedekt door horizontale strepen, en welk percentage door verticale streepen?" Laten we deze percentages $\alpha$ (verticaal) en $\beta$ (horizontaal) noemen.

De Geometrische Truc: De Vierhoek en de Parabool

De belangrijkste ontdekking van de auteurs is een wiskundige relatie tussen deze streeppercentages en een vorm genaamd een vierhoek (een vierzijdige figuur).

De Vierhoek: Voor elke set van deze gestreepte tegels kun je vier specifieke punten in de ruimte berekenen (laten we deze punten A, B, C en D noemen) op basis van de kleuren van de tegelranden. Deze punten vormen een vierzijdige vorm.
De Vergelijking: De auteurs bewijzen dat de streeppercentages ( $\alpha$ en $\beta$ ) aan een specifieke vergelijking moeten voldoen. Geometrisch gezien beschrijft deze vergelijking een lijn die door het midden van de vorm gaat en een parabool (een U-vormige curve) raakt die perfect rond de vier zijden van de vierhoek is gewikkeld.
De "Irrationele" Sleutel: Hier zit de magie. Als de vorm van de vierhoek "precies goed" is, zijn de enige mogelijke waarden voor $\alpha$ en $\beta$ irrationale getallen (getallen zoals $\sqrt{5}$ of de Gulden Snede die niet als een simpel breuk kunnen worden geschreven).

Waarom bewijst dit dat de tegels aperiodiek zijn?
Als een tegellegging zichzelf herhaalt (periodiek is), moet het patroon in een net, herhalend vak passen. Dit dwingt de streeppercentages om eenvoudige breuken (rationale getallen) te zijn.

De Logica: Als de wiskunde bewijst dat de streeppercentages moeten irrationaal zijn, terwijl een herhalend patroon vereist dat ze rationaal zijn, dan is een herhalend patroon onmogelijk.
De Conclusie: Daarom kunnen de tegels alleen niet-herhalende, aperiodieke patronen vormen.

Wat Ze Met Deze Nieuwe Tool Deden

De auteurs hebben de tool niet alleen uitgevonden; ze hebben het gebruikt om oude puzzels op te lossen en nieuwe op te bouwen:

Nieuwe Bewijzen voor Oude Tegels: Ze pasten hun methode toe op beroemde tegelsets, zoals de Ammann-tegels (16 tegels) en een codering van Penrose-tegels (24 tegels). In plaats van lange, complexe argumenten over zelfgelijkenis (wat de oude manier was), lieten ze simpelweg zien dat de "vierhoek" voor deze tegels irrationale streepdichtheden afdwingt. Dit levert een veel korter, schoner bewijs dat deze tegels aperiodiek zijn.
Nieuwe Tegels Bouwen: Ze gingen de andere kant op. Ze vroegen zich af: "Kunnen we een set tegels maken voor elk paar irrationale getallen dat we kiezen?"
- Ze bewezen dat voor bijna elk paar irrationale getallen (specifiek die uit "kwadratische getalvelden", inclusief getallen met vierkantswortels), je een eindige set Wang-tegels kunt construeren die de vloer dwingt om exact die streepdichtheden te hebben.
- Dit betekent dat ze een aangepaste aperiodieke tegelset kunnen maken voor elke specifieke irrationale ratio die je ook wilt.

Samenvatting

Beschouw het artikel als het introduceren van een nieuwe "metaaldetector" voor tegelsets.

De oude manier: Je moest de hele doolhof van de tegelset doorwandelen om te bewijzen dat er geen herhalend patroon was.
De nieuwe manier: Je kijkt gewoon naar de "vorm" van de tegelregels (de vierhoek). Als de vorm de "streepdichtheid" een irrationaal getal oplegt, weet je direct dat de tegels geen herhalend patroon kunnen vormen.

De auteurs gebruikten deze detector om bekende aperiodieke sets te verifiëren en om geheel nieuwe families van aperiodieke tegels te bouwen, waarmee ze lieten zien dat de verbinding tussen geometrie (parabolen en vierhoeken) en getaltheorie (irrationale getallen) een krachtige sleutel is om de geheimen van deze oneindige vloerpuzzels te ontrafelen.

Technische Samenvatting: Een aperiodische verzameling Wang-tegels voor elke kwadratische irrationaal

Probleemstelling
Het artikel behandelt het probleem van het bewijzen van de niet-periodiciteit (aperiodiciteit) van verzamelingen Wang-tegels. Hoewel het bestaan van aperiodische tegelsets goed gevestigd is, is het bewijzen dat een specifieke set geen periodieke betegeling toelaat vaak moeilijk en vereist dit doorgaans complexe combinatorische argumenten gebaseerd op hiërarchische structuren, unieke compositie-eigenschappen of zelfgelijkenis. De auteurs streven naar een directere, op rekenkunde gebaseerde methode om niet-periodiciteit te bewijzen, specifiek voor verzamelingen Wang-tegels die een "strepenstructuur" bezitten. Bovendien tracht het artikel het inverse probleem te beantwoorden: kan men voor elk paar irrationale getallen $(\alpha, \beta)$ binnen hetzelfde kwadratische getalveld een eindige aperiodische verzameling Wang-tegels met strepen construeren die een geldige betegeling toelaat met exact die strependichtheden?

Methodologie
De kernmethodologie berust op een geometrisch-arithmetische correspondentie tussen Wang-tegels met strepen en planaire geometrie.

Streep-partitionering: De auteurs beschouwen verzamelingen Wang-tegels $T$ die in vier deelverzamelingen kunnen worden verdeeld op basis van de aanwezigheid of afwezigheid van horizontale en verticale strepen: $T = T_\square \cup T_\urcorner \cup T_\sqsubset \cup T_\boxplus$ .
Vector-codering: Labels op de randen van de tegels worden naar vectoren in $\mathbb{R}^2$ gemapt via functies $v$ (verticale labels) en $h$ (horizontale labels).
Vierkant-bepaling: Een verzameling tegels $T$ wordt gezegd een vierkant (quadrilateraal) $ABDC$ te "bepalen" als de vector som $v(a) + h(b) - v(c) - h(d)$ gelijk is aan een specifieke vertex ( $A, B, C,$ of $D$ ) afhankelijk van in welke deelverzameling van de partitionering de tegel behoort.
Dichtheidsvergelijking: Voor elke dubbel-periodieke geldige configuratie moeten de dichtheden van verticale strepen ( $\alpha$ ) en horizontale strepen ( $\beta$ ) voldoen aan een specifieke lineaire vergelijking afgeleid van de hoekpunten van het vierkant:
$\mathbf{0} = (1-\alpha)((1-\beta)A + \beta B) + \alpha((1-\beta)C + \beta D)$
Deze vergelijking wordt geometrisch geïnterpreteerd: oplossingen $(\alpha, \beta)$ komen overeen met lijnen die door de oorsprong gaan en tangent zijn aan een unieke parabool die rond het vierkant $ABDC$ is omschreven.
Criterium voor niet-periodiciteit: Als de oplossingen van deze vergelijking irrationaal zijn (specifiek, als de discriminant van de resulterende kwadratische vergelijking positief is maar geen perfect kwadraat), dan kan er geen periodieke betegeling bestaan, aangezien periodieke betegelingen rationele dichtheden vereisen.

Belangrijkste bijdragen en resultaten

Stelling A (Voldoende voorwaarde voor niet-periodiciteit): De auteurs stellen een voldoende voorwaarde vast voor een verzameling Wang-tegels met strepen om aperiodiek te zijn. Als de tegels een vierkant $ABDC$ bepalen met gehele hoekpunten die voldoen aan specifieke determinantvoorwaarden (die garanderen dat het vierkant op een specifieke manier niet-degeneratief is) en de discriminant van de bijbehorende kwadratische vergelijking geen perfect kwadraat is, dan kent de verzameling geen periodieke betegeling.
- Toepassing: Deze stelling biedt nieuwe, korte bewijzen van niet-periodiciteit voor bekende verzamelingen, waaronder de Ammann 16-tegelset, een 24-tegel codering van Penrose-tegels, en de familie van de metallic mean Wang-tegels. Deze bewijzen omzeilen de traditionele hiërarchische decompositie-argumenten.
Stelling B (Constructie voor kwadratische irrationalen): Het artikel bewijst dat voor elk paar $(\alpha, \beta)$ van elementen in hetzelfde kwadratische getalveld (waar beide rationeel of beide irrationaal zijn), er een eindige verzameling Wang-tegels met strepen bestaat die:
1. Een vierkant $ABDC$ bepaalt zodanig dat $(\alpha, \beta)$ een oplossing is voor de dichtheidsvergelijking.
2. Een geldige betegeling toelaat waarbij de verticale en horizontale streependichtheden exact $\alpha$ en $\beta$ zijn.
3. Aperiodiek is als $\alpha$ en $\beta$ irrationaal zijn.
- Constructie: De constructie maakt gebruik van een "gebalanceerde representatie" van reële getallen (vergelijkbaar met Sturmiaanse sequenties) om tegelkleuren te definiëren, waardoor de streependichtheden de doelwaarden bereiken. De auteurs geven expliciete grenzen aan het aantal tegels dat vereist is.
Algoritmische benadering (Sectie 5): Het artikel presenteert een lineaire algebra algoritme (gebaseerd op pullbacks van lineaire transformaties) om de vectoren $v, h$ en het vierkant $ABDC$ te berekenen voor een gegeven verzameling Wang-tegels. Dit maakt de automatische verificatie van de voldoende voorwaarde in Stelling A voor diverse bekende tegelsets mogelijk.

Betekenis en Claims
De auteurs claimen dat hun werk een "kort bewijs" biedt voor de niet-periodiciteit van verschillende belangrijke tegelsets, waarbij zij langdurige combinatorische argumenten vervangen door een direct rekenkundig argument gebaseerd op de irrationaliteit van streependichtheden. Deze benadering is analoog aan het eerdere werk van Kari met multiplicatieve rekenkunde, maar gebruikt additieve rekenkunde en de geometrische eigenschappen van parabolen.

Het artikel claimt ook een constructieve oplossing voor het probleem van het genereren van aperiodische tegels voor elk paar kwadratische irrationalen, waarmee een gat in de literatuur wordt opgevuld waar voorbeelden voorheen schaars waren of vertrouwden op complexe substitutieregels (zoals de constructie van Mozes). De auteurs verklaren expliciet dat hun constructie "zo eenvoudig mogelijk is" in de context van algebraïsche getallen van graad 2.

Beperkingen en Open Vragen
Het artikel houdt rekening met de reikwijdte van de resultaten:

De voldoende voorwaarde in Stelling A is specifiek van toepassing op verzamelingen Wang-tegels met strepen.
De constructie in Stelling B garandeert het bestaan van een betegeling met specifieke dichtheden, maar de auteurs stellen Vraag 9.1: Is het waar dat elke geldige configuratie in de geconstrueerde tegelset deze specifieke dichtheden heeft, of zouden andere configuraties met andere dichtheden (oplossingen van dezelfde vergelijking) kunnen bestaan?
Vraag 9.2 vraagt of de Wang-shifts gegenereerd door deze nieuwe tegelsets minimale dynamische systemen zijn.
Vraag 9.3 onderzoekt of deze shifts zelfgelijken zijn (een expansieve 2D substitutie toestaan), een eigenschap die bekend is voor metallic mean tilings maar nog niet bewezen is voor de algemene constructie.

De auteurs beweren niet de algemene domino-problematiek te hebben opgelost of het minimale aantal tegels voor aperiodiciteit in alle gevallen te hebben gevonden, maar hebben een nieuw, efficiënt instrument geleverd om niet-periodiciteit te bewijzen en een systematische methode om aperiodische verzamelingen met voorgeschreven kwadratische irrationale dichtheden te construeren.

De "Gestreepte" Tegels

De Geometrische Truc: De Vierhoek en de Parabool

Wat Ze Met Deze Nieuwe Tool Deden

Samenvatting

Meer zoals dit