An aperiodic set of Wang tiles for every quadratic irrational

Resumen Técnico: Un conjunto aperiódico de teselas de Wang para cada irracional cuadrático

Planteamiento del problema
El artículo aborda el problema de demostrar la no periodicidad (aperiodicidad) de conjuntos de teselas de Wang. Si bien la existencia de conjuntos de teselas aperiódicas está bien establecida, demostrar que un conjunto específico no admite un teselado periódico suele ser difícil, requiriendo típicamente argumentos combinatorios complejos basados en estructuras jerárquicas, propiedades de composición única o autosimilitud. Los autores pretenden proporcionar un método más directo, basado en la aritmética, para demostrar la no periodicidad, específicamente para conjuntos de teselas de Wang que poseen una estructura de "franjas" (stripes). Además, el artículo busca responder al problema inverso: para cualquier par de números irracionales $(\alpha, \beta)$ dentro del mismo campo cuadrático, ¿se puede construir un conjunto finito de teselas de Wang con franjas que admita un teselado válido con exactamente esas densidades de franjas?

Metodología
La metodología central se basa en una correspondencia geométrica-aritmética entre las teselas de Wang con franjas y la geometría plana.

1. Partición de franjas: Los autores consideran conjuntos de teselas de Wang $T$ que pueden particionarse en cuatro subconjuntos basados en la presencia o ausencia de franjas horizontales y verticales: $T = T_\square \cup T_\urcorner \cup T_\sqsubset \cup T_\boxplus$.
2. Codificación vectorial: Las etiquetas en los bordes de las teselas se mapean a vectores en $\mathbb{R}^2$ mediante funciones $v$ (etiquetas verticales) y $h$ (etiquetas horizontales).
3. Determinación del cuadrilátero: Se dice que un conjunto de teselas $T$ "determina" un cuadrilátero $ABDC$ si la suma vectorial $v(a) + h(b) - v(c) - h(d)$ es igual a un vértice específico ($A, B, C,$ o $D$) dependiendo de a qué subconjunto de la partición pertenece la tesela.
4. Ecuación de densidad: Para cualquier configuración válida doblemente periódica, las densidades de las franjas verticales ($\alpha$) y las franjas horizontales ($\beta$) deben satisfacer una ecuación lineal específica derivada de los vértices del cuadrilátero:
   $$\mathbf{0} = (1-\alpha)((1-\beta)A + \beta B) + \alpha((1-\beta)C + \beta D)$$
   Esta ecuación se interpreta geométricamente: las soluciones $(\alpha, \beta)$ corresponden a líneas que pasan por el origen y son tangentes a una parábola única circunscrita al cuadrilátero $ABDC$.
5. Criterio de no periodicidad: Si las soluciones a esta ecuación son irracionales (específicamente, si el discriminante de la ecuación cuadrática resultante es positivo pero no es un cuadrado perfecto), entonces no puede existir un teselado periódico, ya que los teselados periódicos requieren densidades racionales.

Contribuciones clave y resultados

• Teorema A (Condición suficiente para la no periodicidad): Los autores establecen una condición suficiente para que un conjunto de teselas de Wang con franjas sea aperiódico. Si las teselas determinan un cuadrilátero $ABDC$ con vértices enteros que satisfacen condiciones de determinante específicas (que aseguran que el cuadrilátero sea no degenerado de una manera específica) y el discriminante de la ecuación cuadrática asociada no es un cuadrado perfecto, el conjunto no admite un teselado periódico.

  • Aplicación: Este teorema proporciona nuevas y breves demostraciones de no periodicidad para conjuntos conocidos, incluyendo el conjunto de 16 teselas de Ammann, un conjunto de 24 teselas que codifica teselados de Penrose, y la familia de teselas de Wang de media metálica. Estas demostraciones evitan los argumentos tradicionales de descomposición jerárquica.

• Teorema B (Construcción para irracionales cuadráticos): El artículo demuestra que para cada par $(\alpha, \beta)$ de elementos en el mismo campo cuadrático (donde ambos son racionales o ambos son irracionales), existe un conjunto finito de teselas de Wang con franjas que:

  1. Determina un cuadrilátero $ABDC$ tal que $(\alpha, \beta)$ es una solución a la ecuación de densidad.
  2. Admite un teselado válido donde las densidades de las franjas verticales y horizontales son exactamente $\alpha$ y $\beta$.
  3. Es aperiódico si $\alpha$ y $\beta$ son irracionales.
  • Construcción: La construcción utiliza una "representación balanceada" de números reales (similar a las secuencias sturmianas) para definir los colores de las teselas, asegurando que las densidades de las franjas coincidan con los valores objetivo. Los autores proporcionan límites explícitos sobre el número de teselas requeridas.

• Enfoque algorítmico (Sección 5): El artículo presenta un algoritmo de álgebra lineal (basado en pullbacks de transformaciones lineales) para calcular los vectores $v, h$ y el cuadrilátero $ABDC$ para un conjunto dado de teselas de Wang. Esto permite la verificación automatizada de la condición suficiente del Teorema A para diversos conjuntos de teselas conocidos.

Significado y afirmaciones
Los autores afirman que su trabajo ofrece una "demostración corta" de la no periodicidad para varios conjuntos de teselas significativos, reemplazando los extensos argumentos combinatorios con un argumento aritmético directo basado en la irracionalidad de las densidades de las franjas. Este enfoque es análogo al trabajo anterior de Kari utilizando aritmética multiplicativa, pero utiliza aritmética aditiva y propiedades geométricas de las parábolas.

El artículo también afirma ofrecer una solución constructiva al problema de generar teselas aperiódicas para cualquier par de irracionales cuadráticos, llenando un vacío en la literatura donde los ejemplos eran previamente escasos o dependían de reglas de sustitución complejas (como la construcción de Mozes). Los autores declaran explícitamente que su construcción es "tan simple como sea posible" en el contexto de los números algebraicos de grado 2.

Limitaciones y preguntas abiertas
El artículo mantiene la modestia respecto al alcance de sus resultados:

• La condición suficiente en el Teorema A se aplica específicamente a conjuntos de teselas de Wang con franjas.
• La construcción en el Teorema B garantiza la existencia de un teselado con densidades específicas, pero los autores plantean la Pregunta 9.1: ¿Es cierto que cada configuración válida en el conjunto de teselas construido tiene estas densidades específicas, o podrían existir otras configuraciones con diferentes densidades (soluciones a la misma ecuación)?
• La Pregunta 9.2 indaga si los desplazamientos de Wang (Wang shifts) generados por estos nuevos conjuntos de teselas son sistemas dinámicos minimales.
• La Pregunta 9.3 pregunta si estos desplazamientos son autosimilares (admiten una sustitución 2D expansiva), una propiedad conocida para los teselados de media metálica pero que aún no se ha probado para la construcción general.

Los autores no pretenden haber resuelto el problema general de los dominos ni haber encontrado el número mínimo de teselas para la aperiodicidad en todos los casos, sino que han proporcionado una nueva herramienta eficiente para probar la no periodicidad y un método sistemático para construir conjuntos aperiódicos con densidades de irracionales cuadráticos prescritas.