An aperiodic set of Wang tiles for every quadratic irrational

Sintesi Tecnica: Un insieme aperiodico di tasselli di Wang per ogni irrazionale quadratico

Enunciato del Problema
Il saggio affronta il problema di dimostrare la non-periodicità (aperiodicità) di insiemi di tasselli di Wang. Sebbene l'esistenza di insiemi di tasselli aperiodici sia ben stabilita, dimostrare che un particolare insieme di tasselli non ammetta una tassellatura periodica è spesso difficile, richiedendo tipicamente complessi argomenti combinatori basati su strutture gerarchiche, proprietà di composizione uniche o autosimiliarità. Gli autori mirano a fornire un metodo più diretto, basato sull'aritmetica, per dimostrare la non-periodicità, specificamente per insiemi di tasselli di Wang dotati di una struttura a "strisce" (stripes). Inoltre, il saggio cerca di rispondere al problema inverso: per ogni coppia di numeri irrazionali $(\alpha, \beta)$ appartenenti allo stesso campo numerico quadratico, è possibile costruire un insieme finito di tasselli di Wang con strisce che ammetta una tassellatura valida con esattamente quelle densità di strisce?

Metodologia
La metodologia centrale si basa su una corrispondenza geometrico-aritmetica tra i tasselli di Wang con strisce e la geometria planare.

1. Partizione delle Strisce: Gli autori considerano insiemi di tasselli di Wang $T$ che possono essere partizionati in quattro sottoinsiemi in base alla presenza o assenza di strisce orizzontali e verticali: $T = T_\square \cup T_\urcorner \cup T_\sqsubset \cup T_\boxplus$.
2. Codifica Vettoriale: Le etichette sui bordi dei tasselli sono mappate in vettori in $\mathbb{R}^2$ tramite funzioni $v$ (etichette verticali) e $h$ (etichette orizzontali).
3. Determinazione del Quadrilatero: Un insieme di tasselli $T$ è detto "determinare" un quadrilatero $ABDC$ se la somma vettoriale $v(a) + h(b) - v(c) - h(d)$ è uguale a un vertice specifico ($A, B, C,$ o $D$) a seconda di quale sottoinsieme della partizione appartiene il tassello.
4. Equazione di Densità: Per ogni configurazione doppiamente periodica valida, le densità delle strisce verticali ($\alpha$) e delle strisce orizzontali ($\beta$) devono soddisfare una specifica equazione lineare derivata dai vertici del quadrilatero:
   $$\mathbf{0} = (1-\alpha)((1-\beta)A + \beta B) + \alpha((1-\beta)C + \beta D)$$
   Questa equazione è interpretata geometricamente: le soluzioni $(\alpha, \beta)$ corrispondono a rette passanti per l'origine che sono tangenti a un'unica parabola circoscritta al quadrilatero $ABDC$.
5. Criterio di Non-Periodicità: Se le soluzioni a questa equazione sono irrazionali (specificamente, se il discriminante dell'equazione quadratica risultante è positivo ma non un quadrato perfetto), allora non può esistere una tassellatura periodica, poiché le tassellature periodiche richiedono densità razionali.

Contributi Chiave e Risultati

• Teorema A (Condizione Sufficiente per la Non-Periodicità): Gli autori stabiliscono una condizione sufficiente affinché un insieme di tasselli di Wang con strisce sia aperiodico. Se i tasselli determinano un quadrilatero $ABDC$ con vertici interi che soddisfano specifiche condizioni di determinante (che garantiscono che il quadrilatero sia non degenere in un modo specifico) e il discriminante dell'equazione quadratica associata non è un quadrato perfetto, l'insieme non ammette tassellature periodiche.

  • Applicazione: Questo teorema fornisce nuove, brevi dimostrazioni di non-periodicità per insiemi noti, inclusi l'insieme di 16 tasselli di Ammann, un insieme di 24 tasselli di codifica delle tassellature di Penrose, e la famiglia di tasselli di Wang a media metallica. Queste dimostrazioni aggirano i tradizionali argomenti di decomposizione gerarchica.

• Teorema B (Costruzione per gli Irrazionali Quadratici): Il saggio dimostra che per ogni coppia $(\alpha, \beta)$ di elementi nello stesso campo numerico quadratico (dove entrambi sono razionali o entrambi sono irrazionali), esiste un insieme finito di tasselli di Wang con strisce che:

  1. Determina un quadrilatero $ABDC$ tale che $(\alpha, \beta)$ è una soluzione all'equazione di densità.
  2. Ammette una tassellatura valida dove le densità delle strisce verticali e orizzontali sono esattamente $\alpha$ e $\beta$.
  3. È aperiodico se $\alpha$ e $\beta$ sono irrazionali.
  • Costruzione: La costruzione utilizza una "rappresentazione bilanciata" di numeri reali (simile alle sequenze Sturmiane) per definire i colori dei tasselli, assicurando che le densità delle strisce corrispondano ai valori target. Gli autori forniscono limiti espliciti sul numero di tasselli richiesti.

• Approccio Algoritmico (Sezione 5): Il saggio presenta un algoritmo di algebra lineare (basato su pullbacks di trasformazioni lineari) per calcolare i vettori $v, h$ e il quadrilatero $ABDC$ per un dato insieme di tasselli di Wang. Ciò consente la verifica automatizzata della condizione sufficiente del Teorema A per vari insiemi di tasselli noti.

Significato e Rivendicazioni
Gli autori affermano che il loro lavoro offre una "breve dimostrazione" della non-periodicità per diversi insiemi di tasselli significativi, sostituendo lunghi argomenti combinatori con un diretto argomento aritmetico basato sull'irrazionalità delle densità delle strisce. Questo approccio è analogo al precedente lavoro di Kari utilizzando l'aritmetica moltiplicativa, ma utilizza l'aritmetica additiva e le proprietà geometriche delle parabole.

Il saggio rivendica inoltre una soluzione costruttiva al problema di generare tasselli aperiodici per ogni coppia di irrazionali quadratici, colmando una lacuna nella letteratura dove gli esempi erano precedentemente scarsi o dipendevi da complesse regole di sostituzione (come la costruzione di Mozes). Gli autori dichiarano esplicitamente che la loro costruzione è "il più semplice possibile" nel contesto dei numeri algebrici di grado 2.

Limitazioni e Domande Aperte
Il saggio mantiene la modestia riguardo all'ambito dei suoi risultati:

• La condizione sufficiente nel Teorema A si applica specificamente agli insiemi di tasselli di Wang con strisce.
• La costruzione nel Teorema B garantisce l'esistenza di una tassellatura con densità specifiche, ma gli autori pongono la Domanda 9.1: È vero che ogni configurazione valida nell'insieme di tasselli costruito possiede queste specifiche densità, o potrebbero esistere altre configurazioni con densità diverse (soluzioni della stessa equazione)?
• La Domanda 9.2 chiede se i Wang shift generati da questi nuovi insiemi di tasselli siano sistemi dinamici minimi.
• La Domanda 9.3 interroga se questi shift siano autosimili (ammettano una sostituzione 2D espansiva), una proprietà nota per le tassellature a media metallica ma non ancora provata per la costruzione generale.

Gli autori non pretendono di aver risolto il problema generale dei domino o di aver trovato il numero minimo di tasselli per l'aperiodicità in tutti i casi, ma di aver fornito un nuovo, efficiente strumento per dimostrare la non-periodicità e un metodo sistematico per costruire insiemi aperiodici con densità irrazionali quadratiche prescritte.