An aperiodic set of Wang tiles for every quadratic irrational

Résumé Technique : Un ensemble de tuiles de Wang apériodiques pour chaque irrationnel quadratique

Énoncé du problème
L'article traite du problème de la preuve de la non-périodicité (l'apériodicité) des ensembles de tuiles de Wang. Bien que l'existence d'ensembles de tuiles apériodiques soit bien établie, prouver qu'un ensemble spécifique n'admet aucune couverture périodique est souvent difficile, nécessitant généralement des arguments combinatoires complexes basés sur des structures hiérarchiques, des propriétés de composition uniques ou de l'autosimilitude. Les auteurs visent à fournir une méthode plus directe, basée sur l'arithmétique, pour prouver la non-périodicité, spécifiquement pour les ensembles de tuiles de Wang possédant une structure de « rayures » (stripes). De plus, l'article cherche à répondre au problème inverse : pour toute paire de nombres irrationnels $(\alpha, \beta)$ appartenant au même corps quadratique, peut-on construire un ensemble fini de tuiles de Wang apériodiques avec des rayures qui admet une couverture valide avec précisément ces densités de rayures ?

Méthodologie
La méthodologie centrale repose sur une correspondance géométrique-arithmétique entre les tuiles de Wang avec rayures et la géométrie plane.

1. Partitionnement des rayures : Les auteurs considèrent des ensembles de tuiles de Wang $T$ qui peuvent être partitionnés en quatre sous-ensembles basés sur la présence ou l'absence de rayures horizontales et verticales : $T = T_\square \cup T_\urcorner \cup T_\sqsubset \cup T_\boxplus$.
2. Codage vectoriel : Les étiquettes sur les bords des tuiles sont mappées vers des vecteurs dans $\mathbb{R}^2$ via des fonctions $v$ (étiquettes verticales) et $h$ (étiquettes horizontales).
3. Détermination du quadrilatère : Un ensemble de tuiles $T$ est dit « déterminer » un quadrilatère $ABDC$ si la somme vectorielle $v(a) + h(b) - v(c) - h(d)$ est égale à un sommet spécifique ($A, B, C,$ ou $D$) selon le sous-ensemble de la partition auquel appartient la tuile.
4. Équation de densité : Pour toute configuration doublement périodique valide, les densités des rayures verticales ($\alpha$) et des rayures horizontales ($\beta$) doivent satisfaire une équation linéaire spécifique dérivée des sommets du quadrilatère :
   $$\mathbf{0} = (1-\alpha)((1-\beta)A + \beta B) + \alpha((1-\beta)C + \beta D)$$
   Cette équation est interprétée géométriquement : les solutions $(\alpha, \beta)$ correspondent à des droites passant par l'origine qui sont tangentes à une parabole unique circonscrite au quadrilatère $ABDC$.
5. Critère de non-périodicité : Si les solutions de cette équation sont irrationnelles (spécifiquement, si le discriminant de l'équation quadratique résultante est positif mais n'est pas un carré parfait), alors aucune couverture périodique ne peut exister, car les couvertures périodiques nécessitent des densités rationnelles.

Contributions clés et résultats

• Théorème A (Condition suffisante de non-périodicité) : Les auteurs établissent une condition suffisante pour qu'un ensemble de tuiles de Wang avec rayures soit apériodique. Si les tuiles déterminent un quadrilatère $ABDC$ avec des sommets entiers satisfaisant des conditions de déterminant spécifiques (assurant que le quadrilatère est non dégénéré d'une manière particulière) et que le discriminant de l'équation quadratique associée n'est pas un carré parfait, l'ensemble n'admet aucune couverture périodique.

  • Application : Ce théorème fournit de nouvelles preuves courtes de non-périodicité pour des ensembles connus, incluant l'ensemble de 16 tuiles d'Ammann, un encodage de 24 tuiles des pavages de Penrose, et la famille des tuiles de Wang à moyenne métallique. Ces preuves contournent les arguments traditionnels de décomposition hiérarchique.

• Théorème B (Construction pour les irrationnels quadratiques) : L'article prouve que pour chaque paire $(\alpha, \beta)$ d'éléments appartenant au même corps quadratique (où les deux sont rationnels ou les deux sont irrationnels), il existe un ensemble fini de tuiles de Wang avec rayures qui :

  1. Détermine un quadrilatère $ABDC$ tel que $(\alpha, \beta)$ est une solution de l'équation de densité.
  2. Admet une couverture valide où les densités de rayures verticales et horizontales sont exactement $\alpha$ et $\beta$.
  3. Est apériodique si $\alpha$ et $\beta$ sont irrationnels.
  • Construction : La construction utilise une « représentation équilibrée » de nombres réels (similaire aux séquences sturmiennes) pour définir les couleurs des tuiles, garantissant que les densités de rayures correspondent aux valeurs cibles. Les auteurs fournissent des bornes explicites sur le nombre de tuiles requis.

• Approche algorithmique (Section 5) : L'article présente un algorithme d'algèbre linéaire (basé sur les pullbacks de transformations linéaires) pour calculer les vecteurs $v, h$ et le quadrilatère $ABDC$ pour un ensemble donné de tuiles de Wang. Cela permet la vérification automatisée de la condition suffisante du Théorème A pour divers ensembles de tuiles connus.

Signification et affirmations
Les auteurs affirment que leur travail offre une « preuve courte » de non-périodicité pour plusieurs ensembles de tuiles significatifs, remplaçant les longs arguments combinatoires par un argument arithmétique direct basé sur l'irrationalité des densités de rayures. Cette approche est analogue aux travaux antérieurs de Kari utilisant l'arithmétique multiplicative, mais utilise ici l'arithmétique additive et les propriétés géométriques des paraboles.

L'article revendique également une solution constructive au problème de la génération de tuiles apériodiques pour toute paire d'irrationnels quadratiques, comblant une lacune dans la littérature où les exemples étaient auparavant rares ou reposaient sur des règles de substitution complexes (comme la construction de Mozes). Les auteurs déclarent explicitement que leur construction est « aussi simple que possible » dans le contexte des nombres algébriques de degré 2.

Limites et questions ouvertes
L'article fait preuve de modestie quant à la portée de ses résultats :

• La condition suffisante du Théorème A s'applique spécifiquement aux ensembles de tuiles de Wang avec rayures.
• La construction du Théorème B garantit l'existence d'une couverture avec des densités spécifiques, mais les auteurs posent la Question 9.1 : Est-il vrai que chaque configuration valide dans l'ensemble de tuiles construit possède ces densités spécifiques, ou d'autres configurations avec des densités différentes (solutions à la même équation) pourraient-elles exister ?
• La Question 9.2 demande si les décalages de Wang (Wang shifts) générés par ces nouveaux ensembles de tuiles sont des systèmes dynamiques minimaux.
• La Question 9.3 s'interroge pour savoir si ces décalages sont autosimilaires (admettant une substitution 2D expansive), une propriété connue pour les pavages à moyenne métallique mais non encore prouvée pour la construction générale.

Les auteurs ne prétendent pas avoir résolu le problème général des dominos ni trouvé le nombre minimal de tuiles pour l'apériodicité dans tous les cas, mais ont fourni un nouvel outil efficace pour prouver la non-périodicité et une méthode systématique pour construire des ensembles apériodiques avec des densités d'irrationnels quadratiques prescrites.