Aperiodic tile sets from Sturmian lattices

Resumen Técnico: Conjuntos de Teselas Aperiódicas a partir de Redes Sturmianas

Planteamiento del Problema
El artículo aborda la construcción de conjuntos de teselas aperiódicas (conjuntos de teselas que pueden cubrir el plano pero solo de formas no periódicas). Si bien descubrimientos recientes, como la "Tortuga de Smith" (monotile), han demostrado la existencia de monotiles aperiódicos, los autores buscan generalizar este fenómeno. Específicamente, buscan un algoritmo explícito para construir conjuntos de teselas aperiódicas basados en palabras de Sturm de pendientes cuadráticas. El objetivo es producir conjuntos de teselas donde la constante de escalado subyacente corresponda a una unidad de cualquier campo cuadrático real, generando así infinitos conjuntos de teselas aperiódicas esencialmente diferentes.

Metodología
Los autores proponen un método de construcción que difiere de los enfoques tradicionales que dependen de estructuras jerárquicas de composición única (sustitución). En su lugar, su metodología se basa en dos componentes primarios:

1. Redes Sturmianas: Los autores utilizan una estructura de rejilla generada por palabras de Sturm. Una red Sturmiana se define por tres familias de líneas paralelas en las direcciones $0, 2\pi/3,$ y $4\pi/3.$ La condición definitoria es que para los índices $i, j, k$ que satisfacen $i+j+k=0,$ las líneas $a=a(i), b=b(j), c=c(k)$ delimitan un triángulo de un tamaño fijo y diminuto. Las brechas entre las líneas paralelas adyacentes en estas redes codifican secuencias balanceadas (palabras de Sturm) con una pendiente irracional específica $\alpha$.
2. Equivalencia de Desplazamiento Acotado (BD): La herramienta técnica central es la equivalencia de desplazamiento acotado de los conjuntos de Delone. Los autores tratan la relación entre diferentes conjuntos de puntos (específicamente los centros de los "Bolts" en sus teselaciones) como una correspondencia de muchos a muchos. Particionan los conjuntos de Delone en subconjuntos con densidades naturales específicas y establecen correspondencias BD entre ellos para imponer restricciones algebraicas.

Construcción del Conjunto de Teselas
El conjunto de teselas se construye utilizando dos tipos de componentes derivados de un hexágono con un pequeño disco removido:

• Nuts (Tuercas): Piezas de tipo anillo que contienen "barras de Ammann" (segmentos que deben alinearse para formar líneas rectas). Estas imponen la estructura geométrica de la red Sturmiana.
• Bolts (Pernos): Piezas de tipo disco que portan la correspondencia BD. Existen tres tipos de Bolts ($S, M, L$) que corresponden a las tres direcciones de la red.

La construcción impone una pendiente específica $\alpha$ mediante el control de las densidades naturales de los centros de los Bolts. En una teselación válida de pendiente $\alpha$, las densidades de los conjuntos de Bolts $S, M, L$ deben satisfacer la relación:
$$\delta(S) : \delta(M) : \delta(L) = (1-\alpha)^2 : 2\alpha(1-\alpha) : \alpha^2$$
Para construir el conjunto de teselas para un irracional cuadrático $\alpha$, los autores particionan los conjuntos de Delone de la red Sturmiana en subconjuntos con densidades proporcionales a coeficientes enteros $(x', y', z')$ y $(x'', y'', z'').$ Estos coeficientes definen los "patch-tiles" (combinaciones de Bolts) que, al combinarse con las Nuts, imponen las proporciones de densidad requeridas. La prueba de que estas restricciones fuerzan la pendiente específica se basa en el hecho elemental de que una curva cuadrática y una línea se intersectan en como máximo dos puntos.

Resultos Clave

• Teorema 3: Para cada pendiente irracional cuadrática $\alpha \in [0,1],$ existe un conjunto de teselas aperiódicas $\mathcal{A}(\alpha)$ que impone redes Sturmianas con exactamente esa pendiente (o su conjugada de Galois).
• Constantes de Expansión: La constante de expansión subyacente de estos conjuntos de teselas es una unidad del campo cuadrático real $\mathbb{Q}(\alpha).$
• Aperiodicidad: Dado que las redes Sturmianas de pendiente irracional carecen de periodos no triviales, toda teselación generada por $\mathcal{A}(\alpha)$ es no periódica.
• Cardinalidad: Los autores proporcionan un límite para el número de teselas en tal conjunto, $Card(\mathcal{A}_\lambda) \leq 2\lambda + O(1),$ donde $\lambda$ es la constante de expansión.
• Ejemplo: El artículo detalla una construcción para $\alpha = \sqrt{6}-2,$ resultando en un conjunto de teselas con 29 patch-tiles y una constante de expansión de $5+2\sqrt{6}.$

Significancia y Reivindicaciones
El artículo afirma proporcionar un algoritmo sistemático y explícito para generar conjuntos de teselas aperiódicas a partir de cualquier pendiente irracional cuadrática, extendiéndose más allá del caso específico de la Tortuga de Smith (que corresponde a una pendiente en $\mathbb{Q}(\sqrt{5})$).

Las distinciones clave de este trabajo incluyen:

• Independencia de la Autosemejanza: A diferencia de muchas pruebas basadas en sustitución, esta construcción no requiere que los conjuntos de teselas impongan teselaciones autosemejantes; la prueba descansa en el ajuste de densidades y restricciones geométricas.
• Generalidad: El método produce infinitos conjuntos de teselas aperiódicas esencialmente diferentes, realizando las unidades de cada campo cuadrático real como constantes de expansión.
• Mecanismo: El trabajo destaca el papel de la equivalencia de desplazamiento acotado como un mecanismo central para emparejar las teselas que surgen de las redes Sturmianas, ofreciendo una nueva perspectiva sobre la relación entre las propiedades combinatorias de las palabras y las restricciones geométricas de teselación.

Los autores señalan que la clasificación completa de las redes Sturmianas, las estimaciones de cardinalidad y más ejemplos se presentan en una versión completa separada de la obra [2], mientras que esta nota se centra en el teorema de existencia y el esquema de la prueba.