🔢 mathematics

Both directions of Fuglede's conjecture fail in dimension two

Este artigo resolve o problema aberto de longa data na dimensão dois ao construir contraexemplos explícitos em um grupo Abeliano finito e elevá-los para $\mathbb{R}^2$ , provando, assim, que ambas as direções da conjectura de Fuglede falham.

Autores originais: Tao Zhang

Publicado 2026-07-20

📖 4 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Tao Zhang

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine que você é um mestre arquiteto tentando cobrir um chão. Você tem um formato específico de azulejo e quer saber se consegue cobrir todo o chão infinito usando apenas esse formato, deslizando-o sem quaisquer sobreposições ou lacunas. Isso é a arte de ladrilhar. Agora, imagine que você é um músico tentando tocar uma música dentro de uma sala. Você quer saber se pode escolher um conjunto de notas musicais (frequências) que, quando tocadas juntas, descrevam perfeitamente todos os sons possíveis dentro dessa sala sem qualquer redundância. Isso é a arte de ser espectral.

Durante décadas, matemáticos se perguntaram se essas duas habilidades muito diferentes eram, na verdade, a mesma coisa. Poderia um formato que é perfeito para ladrilhar um chão sempre ser perfeito para criar um espectro musical, e vice-versa? Essa ideia, conhecida como a conjectura de Fuglede, ligava a geometria das formas com a física das ondas sonoras. Era uma teoria bela que se sustentava para linhas unidimensionais simples e para muitas formas arredondadas ou retangulares agradáveis. No entanto, conforme os matemáticos olhavam para espaços mais complexos, irregulares ou de alta dimensão, a teoria começou a rachar. Eles encontraram formas que podiam ladrilhar, mas não podiam cantar, e formas que podiam cantar, mas não podiam ladrilhar. Mas um mistério obstinado permanecia: esse fracasso acontecia no mundo bidimensional plano — o plano? Por muito tempo, ninguém conseguia provar nem um, nem outro.

Este artigo de Tao Zhang responde a essa pergunta com um "sim" definitivo. O autor prova que, em duas dimensões, a conexão entre ladrilhar e música está quebrada. O artigo constrói dois formatos muito específicos e um tanto bizarros. O primeiro formato é um ladrilhador perfeito — ele pode cobrir uma grade sem lacunas — mas é "surdo para tons", o que significa que não pode ser descrito por um conjunto limpo de notas musicais. O segundo formato é um "cantor" perfeito, capaz de gerar um espectro musical completo, mas é um ladrilhador terrível, que não consegue cobrir uma grade sem sobreposições ou deixar buracos.

Para entender como isso foi feito, pense na estratégia do matemático como um jogo de "dar zoom para fora". Primeiro, o autor construiu esses formatos complicados dentro de um pequeno mundo finito feito de uma grade de números (especificamente um grupo chamado $\mathbb{Z}_{60} \times \mathbb{Z}_{12}$ ). Neste universo minúsculo e finito, o autor mostrou que o formato de "ladrilhagem" tinha três maneiras diferentes de ser completado em uma grade completa, mas nenhuma dessas complementações compartilhava uma tonalidade musical comum. Inversamente, o formato de "canto" tinha três chaves musicais diferentes, mas nenhuma delas poderia ajudá-lo a ladrilhar a grade.

A mágica acontece na próxima etapa. O autor usou um "princípio de transferência" matemático para elevar esses pequenos formatos finitos para o plano bidimensional real e infinito. Imagine pegar um pequeno carimbo pixelado e pressioná-lo sobre uma enorme folha de papel quadriculado, repetindo-o repetidamente para criar um mosaico massivo e irregular. O artigo prova que, se o pequeno carimbo falha em ser um cantor perfeito ou um ladrilhador perfeito no mundo finito, o enorme mosaico falhará da mesma maneira no mundo real.

O resultado é um par de contraexemplos explícitos. O primeiro é um formato limitado composto por 60 pontos no grupo finito, que se eleva para um formato massivo de 564.540 quadrados unitários que ladrilha o plano, mas não possui um espectro. O segundo é um formato composto por 60 pontos no grupo finito, que se eleva para um formato massivo de 564.540 quadrados unitários que possui um espectro, mas não consegue ladrilhar o plano. Ao elevá-los para o plano real, o autor cria esses formatos massivos para encerrar o debate: em duas dimensões, ser capaz de ladrilhar um chão e ser capaz de cantar uma música são dois talentos completamente diferentes. Um formato pode ter um, o outro, ambos, ou nenhum, e não há regra que force que eles caminhem juntos. A conjectura de que eles eram equivalentes é falsa.

Resumo Técnico: Falha da Conjectura de Fuglede na Dimensão Dois

Enunciado do Problema
A conjectura de Fuglede, proposta em 1974, postula que um conjunto mensurável $\Omega \subset \mathbb{R}^d$ de medida finita positiva é espectral (admite uma base ortogonal de funções exponenciais) se, e somente se, é um ladrilhador translacional (pode ladrilhar $\mathbb{R}^d$ por translações). Embora a conjectura seja válida para domínios convexos e sob várias restrições geométricas ou aritméticas, sabe-se que ela falha em ambas as direções para todas as dimensões $d \geq 3$ . O status da conjectura nas dimensões um e dois permaneceu como um problema em aberto. Este artigo aborda o caso não resolvido de duas dimensões.

Metodologia
Os autores empregam uma estratégia de construção de contraexemplos em grupos abelianos finitos e de transferência para o espaço euclidiano via um princípio de transferência finito-infinito. A metodologia central envolve:

Construção em Grupos Finitos: Os autores trabalham dentro do grupo abeliano finito de posto dois $G = \mathbb{Z}_{60} \times \mathbb{Z}_{12}$ $G = Z_{60} \times Z_{12}$ . Eles constroem dois subconjuntos específicos de 60 pontos deste grupo:
- Um conjunto $A_-$ que ladrilha $G$ , mas não possui espectro.
- Um conjunto $A_+$ que é espectral, mas não ladrilha $G$ .
Amplificação por Camadas: Para alcançar essas propriedades, os autores utilizam uma técnica de amplificação de "cinco camadas". Eles partem de um conjunto "semente" $E \subset \mathbb{Z}_{12}^2$ $E \subset Z_{12}^{2}$ (um grafo de 12 pontos).
- Para o ladrilhador não-espectral, eles identificam três complementos de ladrilhamento distintos de $E$ que não compartilham um espectro comum. Estes são organizados em cinco camadas (usando um fator auxiliar $\mathbb{Z}_5$ ) para criar um conjunto onde a incompatibilidade dos complementos impede a existência de qualquer espectro global.
- Para o conjunto espectral não-ladrilhador, eles identificam três espectros distintos de $E$ que não compartilham um complemento de ladrilhamento comum. Uma construção paralela de cinco camadas garante que o conjunto resultante seja espectral, mas não consiga ladrilhar.
Isomorfismo e Transferência: As construções são realizadas em $H \times \mathbb{Z}_5$ (onde $H = \mathbb{Z}_{12}^2$ ). O Teorema Chinês do Resto fornece um isomorfismo $\Phi: H \times \mathbb{Z}_5 \to \mathbb{Z}_{60} \times \mathbb{Z}_{12}$ , preservando a estrutura do grupo sem aumentar o posto.
Transferência Finito-Infinita: Utilizando uma versão refinada do princípio de transferência (Proposição 2.1), os contraexemplos finitos são elevados para subconjuntos limitados de $\mathbb{R}^2$ . Especificamente, para $k$ suficientemente grande, o conjunto $A[k] = A + \{ (n_1 j_1, n_2 j_2) : 0 \leq j_1, j_2 < k \}$ retém as propriedades espectrais ou de ladrilhamento do conjunto finito original. Esses conjuntos discretos são então expandidos em uniões de quadrados unitários em $\mathbb{R}^2$ .

Contribuições Principais e Resultados
O artigo estabelece seu teorema principal:

Teorema 1.1: Existe um ladrilhador translacional limitado em $\mathbb{R}^2$ que não é espectral, e existe um conjunto espectral limitado em $\mathbb{R}^2$ que não ladrilha por translações.

Os resultados específicos incluem:

Construção Explícita de um Ladrilhador Não-Espectral: Os autores constroem um conjunto $A_- \subset \mathbb{Z}_{60} \times \mathbb{Z}_{12}$ que ladrilha o grupo, mas não possui um espectro. Através da transferência, isso produz um ladrilhador translacional limitado em $\mathbb{R}^2$ (uma união finita de quadrados unitários) que não é espectral.
Construção Explícita de um Conjunto Espectral Não-Ladrilhador: Os autores constroem um conjunto $A_+ \subset \mathbb{Z}_{60} \times \mathbb{Z}_{12}$ que é espectral, mas não ladrilha o grupo. Através da transferência, isso produz um conjunto espectral limitado em $\mathbb{R}^2$ (especificamente, uma união disjunta de 564.540 quadrados unitários de semi-abertos) que não ladrilha por translações.
Resolução da Barreira de Posto Dois: O artigo demonstra que a conjectura de Fuglede falha mesmo em grupos com apenas dois fatores cíclicos ( $\mathbb{Z}_{n_1} \times \mathbb{Z}_{n_2}$ ), superando um cenário restritivo onde a conjectura era conhecida por ser válida em muitas famílias abelianas finitas específicas.

Significância
O artigo afirma resolver o caso bidimensional da conjectura de Fuglede, provando que ambas as implicações da conjectura falham em $\mathbb{R}^2$ . Isso completa o quadro para conjuntos mensuráveis irrestritos, mostrando que a equivalência entre espectralidade e ladrilhamento falha em cada dimensão $d \geq 2$ . O trabalho estende os resultados negativos conhecidos de $d \geq 3$ para o plano, utilizando uma construção inédita em um grupo abeliano finito de posto dois para contornar resultados positivos anteriores em configurações de baixo posto. Os autores observam que suas construções são explícitas e dependem da interação entre complementos de ladrilhamento e espectros em grupos finitos, elevados para o domínio contínuo.

Resumo Técnico: Falha da Conjectura de Fuglede na Dimensão Dois

Mais como este