Aperiodic tile sets from Sturmian lattices

Technische Samenvatting: Aperiodische Tegelsets uit Sturmiaanse Roosters

Probleemstelling
Het artikel behandelt de constructie van aperiodieke tegelsets (verzamelingen tegels die wel het vlak kunnen betegelen, maar alleen op niet-periodieke wijzen). Hoewel recente ontdekkingen, zoals de "Smith Turtle" monotiel, het bestaan van aperiodieke monotielen hebben aangetoond, streven de auteurs ernaar dit fenomeen te generaliseren. Specifiek zoeken zij naar een expliciet algoritme om aperiodieke tegelsets te construeren op basis van Sturmiaanse woorden van kwadratische hellingen. Het doel is om teل te resulteren in tegelsets waarbij de onderliggende schalingsconstante overeenkomt met een eenheid van elk reëel kwadratisch veld, waardoor oneindig veel essentieel verschillende aperiodieke tegelsets worden gegenereerd.

Methodologie
De auteurs stellen een constructiemethode voor die afwijkt van traditionele benaderingen die steunen op hiërarchische unieke compositie- (substitutie-) structuren. In plaats daarvan steunt hun methodologie op twee primaire componenten:

1. Sturmiaanse Roosters: De auteurs maken gebruik van een roosterstructuur gegenereerd door Sturmiaanse woorden. Een Sturmiaans rooster wordt gedefinieerd door drie families van parallelle lijnen in de richtingen $0, 2\pi/3,$ en $4\pi/3$. De definiërende voorwaarde is dat voor indices $i, j, k$ die voldoen aan $i+j+k=0$, de lijnen $a=a(i), b=b(j), c=c(k)$ een driehoek van een vaste, zeer kleine grootte begrenzen. De tussenruimtes tussen de aangrenzende parallelle lijnen in deze roosters coderen gebalanceerde sequenties (Sturmiaanse woorden) met een specifieke irrationele helling $\alpha$.
2. Begrensde Verplaatsingsequivalentie (Bounded Displacement - BD Equivalentie): Het kerninstrument van de technische methode is de begrensde verplaatsingsequivalentie van Delone-verzamelingen. De auteurs behandelen de relatie tussen verschillende verzamelingen punten (specifiek de centra van "Bolts" in hun betegeling) als een veel-op-veel correspondentie. Ze partitioneren Delone-verzamelingen in deelverzamelingen met specifieke natuurlijke dichtheden en vestigen BD-correspondenties tussen hen om algebraïsche beperkingen af te dwingen.

Constructie van de Tegelset
De tegelset wordt geconstrueerd met behulp van twee typen componenten afgeleid van een zeshoek met een klein verwijderd schijfje:

• Nuts: Ringvormige stukken die "Ammann-staven" bevatten (segmenten die moeten uitlijnen om rechte lijnen te vormen). Deze dwingen de geometrische structuur van het Sturmiaanse rooster af.
• Bolts: Schijfvormige stukken die de BD-correspondentie dragen. Er zijn drie typen Bolts ($S, M, L$) die overeenkomen met de drie richtingen van het rooster.

De constructie dwingt een specifieke helling $\alpha$ af door de natuurlijke dichtheden van de Bolt-centra te controleren. In een geldige betegeling van helling $\alpha$ moeten de dichtheden van de Bolt-verzamelingen $S, M, L$ voldoen aan de verhouding:
$$\delta(S) : \delta(M) : \delta(L) = (1-\alpha)^2 : 2\alpha(1-\alpha) : \alpha^2$$
Om de tegelset voor een kwadratische irrationale $\alpha$ te construeren, partitioneren de auteurs de Delone-verzamelingen van het Sturmiaanse rooster in deelverzamelingen met dichtheden proportioneel aan gehele coëfficiënten $(x', y', z')$ en $(x'', y'', z'')$. Deze coëfficiënten definiëren de "patch-tegels" (combinaties van Bolts) die, wanneer ze met de Nuts worden gecombineerd, de vereiste dichtheidsverhoudingen afdwingen. Het bewijs dat deze beperkingen de specifieke helling afdwingen, berust op het elementaire feit dat een kwadratische curve en een lijn elkaar in maximaal twee punten snijden.

Belangrijkste Resultaten

• Stelling 3: Voor elke kwadratische irrationale helling $\alpha \in [0,1]$ bestaat er een aperiodieke tegelset $\mathcal{A}(\alpha)$ die Sturmiaanse roosters met exact die helling (of diens Galois-conjugaat) afdwingt.
• Expansieconstanten: De onderliggende expansieconstante van deze tegelsets is een eenheid van het reële kwadratische veld $\mathbb{Q}(\alpha)$.
• Aperiodiciteit: Omdat Sturmiaanse roosters van een irrationele helling geen niet-triviale perioden bezitten, is elke door $\mathcal{A}(\alpha)$ gegenereerde betegeling niet-periodiek.
• Cardinaliteit: De auteurs bieden een bovengrens aan het aantal tegels in een dergelijke set, $Card(\mathcal{A}_\lambda) \leq 2\lambda + O(1)$, waarbij $\lambda$ de expansieconstante is.
• Voorbeeld: Het artikel beschrijft een constructie voor $\alpha = \sqrt{6}-2$, wat resulteert in een tegelset met 29 patch-tegels en een expansieconstante van $5+2\sqrt{6}$.

Betekenis en Claims
Het artikel claimt een systematisch, expliciet algoritme te bieden voor het genereren van aperiodieke tegelsets vanuit elke kwadratische irrationale helling, waarmee het verder gaat dan de specifieke casus van de Smith Turtle (die overeenkomt met een helling in $\mathbb{Q}(\sqrt{5})$).

De belangrijkste onderscheidende kenmerken van dit werk zijn:

• Onafhankelijkheid van Zelf-gelijkenis: In tegenstelling tot veel substitutie-gebaseerde bewijzen, vereist deze constructie niet dat de tegelsets zelf-gelijke betegelingen afdwingen; het bewijs rust op dichtheidsmatching en geometrische beperkingen.
• Generaliteit: De methode levert oneindig veel essentieel verschillende aperiodieke tegelsets op, waarbij de eenheden van elk reëel kwadratisch veld als expansieconstanten worden gerealiseerd.
• Mechanisme: Het werk benadrukt de rol van begrensde verplaatsingsequivalentie als een centraal mechanisme voor het matchen van tegels die voortkomen uit Sturmiaanse roosters, wat een nieuw perspectief biedt op de relatie tussen combinatorische woordeigenschappen en geometrische betegelingbeperkingen.

De auteurs merken op dat de volledige classificatie van Sturmiaanse roosters, cardinaliteitschattingen en verdere voorbeelden in een aparte volledige versie van het werk [2] worden gepresenteerd, terwijl deze nota zich concentreert op het existentiebewijs en de schets van het bewijs.