Aperiodic tile sets from Sturmian lattices

Sintesi Tecnica: Insiemi di Piastrelle Aperiodiche da Reticoli Sturmian

Problema
Il saggio affronta la costruzione di insiemi di piastrelle aperiodiche (insiemi di piastrelle che possono rivestire il piano ma solo in modi non periodici). Sebbene le recenti scoperte, come la "Smith Turtle" monotile, abbiano dimostrato l'esistenza di monotili aperiodici, gli autori mirano a generalizzare questo fenomeno. Nello specifico, cercano un algoritmo esplicito per costruire insiemi di piastrelle aperiodiche basati su parole Sturmian di pendenze quadratiche. L'obiettivo è produrre insiemi di piastrelle dove la costante di scala sottostante corrisponde a un'unità di qualsiasi campo quadratico reale, generando così infiniti insiemi di piastrelle aperiodiche essenzialmente differenti.

Metodologia
Gli autori propongono un metodo di costruzione che diverge dagli approcci tradizionali basati su strutture di composizione unica gerarchica (sostituzione). La loro metodologia si basa invece su due componenti primarie:

1. Latiti Sturmian: Gli autori utilizzano una struttura a griglia generata da parole Sturmian. Un reticolo Sturmian è definito da tre famiglie di linee parallele nelle direzioni $0, 2\pi/3$ e $4\pi/3$. La condizione definente è che per indici $i, j, k$ soddisfacenti $i+j+k=0$, le linee $a=a(i), b=b(j), c=c(k)$ delimitano un triangolo di una dimensione fissa e minuscola. Gli spazi tra le linee parallele adiacenti in questi reticoli codificano sequenze bilanciate (parole Sturmian) con una specifica pendenza irrazionale $\alpha$.
2. Equivalenza a Spostamento Limitato (BD - Bounded Displacement): Lo strumento tecnico centrale è l'equivalenza a spostamento limitato di insiemi di Delone. Gli autori trattano la relazione tra diversi insiemi di punti (specificamente i centri dei "Bolts" nelle loro tassellazioni) come una corrispondenza molti-a-molti. Partizionano gli insiemi di Delone in sottoinsiemi con specifiche densità naturali e stabiliscono corrispondenze BD tra di essi per imporre vincoli algebrici.

Costruzione dell'Insieme di Piastrelle
L'insieme di piastrelle è costruito utilizzando due tipi di componenti derivate da un esagono con un piccolo disco rimosso:

• Nuts (Noccioli): Pezzi simili ad anelli contenenti "barre di Ammann" (segmenti che devono allinearsi per formare linee rette). Questi impongono la struttura geometrica del reticolo Sturmian.
• Bolts (Bulloni): Pezzi simili a dischi che portano la corrispondenza BD. Ci sono tre tipi di Bolt ($S, M, L$) corrispondenti alle tre direzioni del reticolo.

La costruzione impone una specifica pendenza $\alpha$ controllando le densità naturali dei centri dei Bolt. In una tassellazione valida di pendenza $\alpha$, le densità degli insiemi di Bolt $S, M, L$ devono soddisfare il rapporto:
$$\delta(S) : \delta(M) : \delta(L) = (1-\alpha)^2 : 2\alpha(1-\alpha) : \alpha^2$$
Per costruire l'insieme di piastrelle per un irrazionale quadratico $\alpha$, gli autori partizionano gli insiemi di Delone del reticolo Sturmian in sottoinsiemi con densità proporzionali a coefficienti interi $(x', y', z')$ e $(x'', y'', z'')$. Questi coefficienti definiscono le "patch-tiles" (combinazioni di Bolt) che, quando combinate con i Nuts, impongono i rapporti di densità richiesti. La prova che tali vincoli impongano la specifica pendenza $\alpha$ si basa sul fatto elementare che una curva quadratica e una retta si intersecano in al massimo due punti.

Risultati Chiave

• Teorema 3: Per ogni pendenza irrazionale quadratica $\alpha \in [0,1]$, esiste un insieme di piastrelle aperiodico $\mathcal{A}(\alpha)$ che impone reticoli Sturmian con esattamente quella pendenza (o il suo coniugato di Galois).
• Costanti di Espansione: La costante di espansione sottostante di questi insiemi di piastrelle è un'unità del campo quadratico reale $\mathbb{Q}(\alpha)$.
• Aperiodicità: Poiché i reticoli Sturmian di pendenza irrazionale possiedono nessuna periodicità non banale, ogni tassellazione generata da $\mathcal{A}(\alpha)$ è non periodica.
• Cardinalità: Gli autori forniscono un limite sul numero di piastrelle in un tale insieme, $Card(\mathcal{A}_\lambda) \leq 2\lambda + O(1)$, dove $\lambda$ è la costante di espansione.
• Esempio: Il saggio dettaglia una costruzione per $\alpha = \sqrt{6}-2$, risultando in un insieme di piastrelle con 29 patch-tiles e una costante di espansione di $5+2\sqrt{6}$.

Significato e Rivendicazioni
Il saggio rivendica di fornire un algoritmo sistematico ed esplicito per generare insiemi di piastrelle aperiodiche da qualsiasi pendenza irrazionale quadratica, estendendosi oltre il caso specifico della Smith Turtle (che corrisponde a una pendenza in $\mathbb{Q}(\sqrt{5})$).

Le distinzioni chiave di questo lavoro includono:

• Indipendenza dall'Auto-similarità: A differenza di molte prove basate sulla sostituzione, questa costruzione non richiede che gli insiemi di piastrelle impongano tassellazioni auto-simili; la prova si basa sul matching delle densità e sui vincoli geometrici.
• Generalità: Il metodo produce infiniti insiemi di piastrelle aperiodiche essenzialmente differenti, realizzando le unità di ogni campo quadratico reale come costanti di espansione.
• Meccanismo: Il lavoro evidenzia il ruolo dell'equivalenza a spostamento limitato come meccanismo centrale per far corrispondere le piastrelle derivanti dai reticoli Sturmian, offrendo una nuova prospettiva sulla relazione tra proprietà combinatorie delle parole e vincoli geometrici di tassellazione.

Gli autori notano che la classificazione completa dei reticoli Sturmian, le stime di cardinalità e ulteriori esempi sono presentati in una versione completa separata del lavoro [2], mentre questa nota si concentra sul teorema di esistenza e sullo schema della prova.