An aperiodic set of Wang tiles for every quadratic irrational

Resumo Técnico: Um Conjunto Aperiódico de Peças de Wang para Todo Irracional Quadrático

Enunciado do Problema
O artigo aborda o problema de provar a não-periodicidade (aperiodicidade) de conjuntos de peças de Wang. Embora a existência de conjuntos de peças aperiódicas seja bem estabelecida, provar que um conjunto específico de peças de Wang não admite uma paginação periódica é frequentemente difícil, tipicamente exigindo argumentos combinatórios complexos baseados em estruturas hierárquicas, propriedades de composição única ou autossimilaridade. Os autores visam fornecer um método mais direto, baseado em aritmética, para provar a não-periodicidade, especificamente para conjuntos de peças de Wang que possuem uma estrutura de "listras" (stripes). Além disso, o artigo busca responder ao problema inverso: para qualquer par de números irracionais $(\alpha, \beta)$ dentro do mesmo corpo quadrático, é possível construir um conjunto finito de peças de Wang com listras que admita uma paginação válida com exatamente essas densidades de listras?

Metodologia
A metodologia central baseia-se em uma correspondência geométrico-aritmética entre peças de Wang com listras e a geometria planar.

1. Particionamento de Listras: Os autores consideram conjuntos de peças de Wang $T$ que podem ser particionados em quatro subconjuntos baseados na presença ou ausência de listras horizontais e verticais: $T = T_\square \cup T_\urcorner \cup T_\sqsubset \cup T_\boxplus$.
2. Codificação Vetorial: Os rótulos nas arestas das peças são mapeados para vetores em $\mathbb{R}^2$ via funções $v$ (rótulos verticais) e $h$ (rótulos horizontais).
3. Determinação do Quadrilátero: Diz-se que um conjunto de peças $T$ "determina" um quadrilátero $ABDC$ se a soma vetorial $v(a) + h(b) - v(c) - h(d)$ é igual a um vértice específico ($A, B, C$ ou $D$), dependendo de qual subconjunto da partição a peça pertence.
4. Equação de Densidade: Para qualquer configuração duplamente periódica válida, as densidades das listras verticais ($\alpha$) e horizontais ($\beta$) devem satisfazer uma equação linear específica derivada dos vértices do quadrilátero:
   $$\mathbf{0} = (1-\alpha)((1-\beta)A + \beta B) + \alpha((1-\beta)C + \beta D)$$
   Esta equação é interpretada geometricamente: as soluções $(\alpha, \beta)$ correspondem a retas que passam pela origem e são tangentes a uma parábola única circunscrita ao quadrilátero $ABDC$.
5. Critério de Não-Periodicidade: Se as soluções para esta equação forem irracionais (especificamente, se o discriminante da equação quadrática resultante for positivo, mas não um quadrado perfeito), então nenhuma paginação periódica pode existir, pois paginações periódicas exigem densidades racionais.

Principais Contribuições e Resultados

• Teorema A (Condição Suficiente para Não-Periodicidade): Os autores estabelecem uma condição suficiente para que um conjunto de peças de Wang com listras seja aperiódico. Se as peças determinarem um quadrilátero $ABDC$ com vértices inteiros satisfazendo condições de determinante específicas (garantindo que o quadrilátero seja não-degenerado de uma forma específica) e o discriminante da equação quadrática associada não for um quadrado perfeito, o conjunto não admite nenhuma paginação periódica.

  • Aplicação: Este teorema fornece novas e curtas provas de não-periodicidade para conjuntos conhecidos, incluindo o conjunto de 16 peças de Ammann, um conjunto de 24 peças que codifica paginações de Penrose, e a família de peças de Wang de média metálica. Estas provas contornam os tradicionais argumentos de decomposição hierárquica.

• Teorema B (Construção para Irracionais Quadráticos): O artigo prova que para todo par $(\alpha, \beta)$ de elementos no mesmo corpo quadrático (onde ambos são racionais ou ambos são irracionais), existe um conjunto finito de peças de Wang com listras que:

  1. Determina um quadrilátero $ABDC$ tal que $(\alpha, \beta)$ é uma solução para a equação de densidade.
  2. Admite uma paginação válida onde as densidades das listras verticais e horizontais são exatamente $\alpha$ e $\beta$.
  3. É aperiódico se $\alpha$ e $\beta$ forem irracionais.
  • Construção: A construção utiliza uma "representação balanceada" de números reais (semelhante a sequências esturmiantes) para definir as cores das peças, garantindo que as densidades das listras correspondam aos valores alvo. Os autores fornecem limites explícitos sobre o número de peças necessárias.

• Abordagem Algorítmica (Seção 5): O artigo apresenta um algoritmo de álgebra linear (baseado em pullbacks de transformações lineares) para computar os vetores $v, h$ e o quadrilátero $ABDC$ para um dado conjunto de peças de Wang. Isso permite a verificação automatizada da condição suficiente do Teorema A para vários conjuntos de peças conhecidos.

Significância e Alegações
Os autores alegam que seu trabalho oferece uma "prova curta" de não-periodicidade para vários conjuntos de peças significativos, substituindo longos argumentos combinatórios por um argumento aritmético direto baseado na irracionalidade das densidades das listras. Esta abordagem é análoga ao trabalho anterior de Kari usando aritmética multiplicativa, mas utiliza aritmética aditiva e propriedades geométricas de parábolas.

O artigo também alega uma solução construtiva para o problema de gerar peças aperiódicas para qualquer par de irracionais quadráticos, preenchendo uma lacuna na literatura onde exemplos eram anteriormente escassos ou dependiam de regras de substituição complexas (como a construção de Mozes). Os autores afirmam explicitamente que sua construção é "o mais simples possível" no contexto de números algébricos de grau 2.

Limitações e Questões Abertas
O artigo mantém a modéstia em relação ao escopo de seus resultados:

• A condição suficiente no Teorema A aplica-se especificamente a conjuntos de peças de Wang com listras.
• A construção no Teorema B garante a existência de uma paginação com densidades específicas, mas os autores levantam a Questão 9.1: É verdade que toda configuração válida no conjunto de peças construído possui estas densidades específicas, ou poderiam existir outras configurações com densidades diferentes (soluções para a mesma equação)?
• A Questão 9.2 indaga se os Wang shifts gerados por estes novos conjuntos de peças são sistemas dinâmicos minimais.
• A Questão 9.3 questiona se estes shifts são autossimilares (admitindo uma substituição 2D expansiva), uma propriedade conhecida para paginações de média metálica, mas ainda não provada para a construção geral.

Os autores não alegam ter resolvido o problema geral dos dominós ou encontrado o número mínimo de peças para aperiodicidade em todos os casos, mas sim terem fornecido uma nova ferramenta eficiente para provar a não-periodicidade e um método sistemático para construir conjuntos aperiódicos com densidades irracionais quadráticas prescritas.