Aperiodic tile sets from Sturmian lattices

Resumo Técnico: Conjuntos de Ladrilhos Aperiódicos a partir de Lattices Sturmianas

Enunciado do Problema
O artigo aborda a construção de conjuntos de ladrilhos aperiódicos (conjuntos de ladrilhos que podem ladrilhar o plano, mas apenas de formas não periódicas). Embora descobertas recentes, como o monotilho "Smith Turtle", tenham demonstrado a existência de monotilhos aperiódicos, os autores visam generalizar este fenômeno. Especificamente, eles buscam um algoritmo explícito para construir conjuntos de ladrilhos aperiódicos baseados em palavras de Sturm de inclinações quadráticas. O objetivo é produzir conjuntos de ladrilhos onde a constante de escala subjacente corresponda a uma unidade de qualquer corpo quadrático real, gerando assim infinitos conjuntos de ladrilhos aperiódicos essencialmente diferentes.

Metodologia
Os autores propõem um método de construção que diverge das abordagens tradicionais baseadas em estruturas de composição única hierárquica (substituição). Em vez disso, sua metodologia baseia-se em dois componentes primários:

1. Lattices Sturmianas: Os autores utilizam uma estrutura de grade gerada por palavras de Sturm. Uma lattice Sturmiana é definida por três famílias de linhas paralelas nas direções $0, 2\pi/3$ e $4\pi/3$. A condição definidora é que, para índices $i, j, k$ satisfazendo $i+j+k=0$, as linhas $a=a(i), b=b(j), c=c(k)$ delimitam um triângulo de um tamanho fixo e ínfimo. As lacunas entre linhas paralelas adjacentes nestas lattices codificam sequências balanceadas (palavras de Sturm) com uma inclinação irracional específica $\alpha$.
2. Equivalência de Deslocamento Limitado (BD): A ferramenta técnica central é a equivalência de deslocamento limitado de conjuntos de Delone. Os autores tratam a relação entre diferentes conjuntos de pontos (especificamente os centros de "Bolts" em seus ladrilhos) como uma correspondência de muitos-para-muitos. Eles particionam conjuntos de Delone em subconjuntos com densidades naturais específicas e estabelecem correspondências BD entre eles para impor restrições algébricas.

Construção do Conjunto de Ladrilhos
O conjunto de ladrilhos é construído usando dois tipos de componentes derivados de um hexágono com um pequeno disco removido:

• Nuts (Nozes): Peças do tipo anel contendo "barras de Ammann" (segmentos que devem se alinhar para formar linhas retas). Elas impõem a estrutura geométrica da lattice Sturmiana.
• Bolts (Parafusos): Peças do tipo disco que carregam a correspondência BD. Existem três tipos de Bolts ($S, M, L$) correspondentes às três direções da lattice.

A construção impõe uma inclinação específica $\alpha$ controlando as densidades naturais dos centros dos Bolts. Em um ladrilhamento válido de inclinação $\alpha$, as densidades dos conjuntos de Bolts $S, M, L$ devem satisfazer a razão:
$$\delta(S) : \delta(M) : \delta(L) = (1-\alpha)^2 : 2\alpha(1-\alpha) : \alpha^2$$
Para construir o conjunto de ladrilhos para uma irracional quadrática $\alpha$, os autores particionam os conjuntos de Delone da lattice Sturmiana em subconjuntos com densidades proporcionais a coeficientes inteiros $(x', y', z')$ e $(x'', y'', z'')$. Esses coeficientes definem os "patch-tiles" (combinações de Bolts) que, quando combinados com os Nuts, impõem as razões de densidade exigidas. A prova de que essas restrições forçam a inclinação específica baseia-se no fato elementar de que uma curva quadrática e uma reta interceptam-se em no máximo dois pontos.

Principais Resultados

• Teorema 3: Para cada inclinação irracional quadrática $\alpha \in [0,1]$, existe um conjunto de ladrilhos aperiódicos $\mathcal{A}(\alpha)$ que impõe lattices Sturmianas com exatamente essa inclinação (ou seu conjugado de Galois).
• Constantes de Expansão: A constante de expansão subjacente destes conjuntos de ladrilhos é uma unidade do corpo quadrático real $\mathbb{Q}(\alpha)$.
• Aperiodicidade: Como as lattices Sturmianas de inclinação irracional possuem nenhum período não trivial, todo ladrilhamento gerado por $\mathcal{A}(\alpha)$ é não periódico.
• Cardinalidade: Os autores fornecem um limite para o número de ladrilhos em tal conjunto, $Card(\mathcal{A}_\lambda) \leq 2\lambda + O(1)$, onde $\lambda$ é a constante de expansão.
• Exemplo: O artigo detalha uma construção para $\alpha = \sqrt{6}-2$, resultando em um conjunto de ladrilhos com 29 patch-tiles e uma constante de expansão de $5+2\sqrt{6}$.

Significância e Alegações
O artigo afirma fornecer um algoritmo sistemático e explícito para gerar conjuntos de ladrilhos aperiódicos a partir de qualquer inclinação irracional quadrática, indo além do caso específico do Smith Turtle (que corresponde a uma inclinação em $\mathbb{Q}(\sqrt{5})$).

As principais distinções deste trabalho incluem:

• Independência de Autossimilaridade: Ao contrário de muitas provas baseadas em substituição, esta construção não requer que os conjuntos de ladrilhos imponham ladrilhamentos autossimilares; a prova repousa no ajuste de densidade e restrições geométricas.
• Generalidade: O método produz infinitos conjuntos de ladrilhos aperiódicos essencialmente diferentes, realizando as unidades de cada corpo quadrático real como constantes de expansão.
• Mecanismo: O trabalho destaca o papel da equivalência de deslocamento limitado como um mecanismo central para o ajuste de ladrilhos provenientes de lattices Sturmianas, oferecendo uma nova perspectiva sobre a relação entre propriedades combinatórias de palavras e restrições geométricas de ladrilhamento.

Os autores observam que a classificação completa das lattices Sturmianas, as estimativas de cardinalidade e outros exemplos são apresentados em uma versão completa separada do trabalho [2], enquanto esta nota foca no teorema de existência e no esboço da prova.