🔢 mathematics

Both directions of Fuglede's conjecture fail in dimension two

Este artículo resuelve el problema abierto de larga data en dimensión dos mediante la construcción de contraejemplos explícitos en un grupo abeliano finito y su elevación a $\mathbb{R}^2$ , demostrando así que ambas direcciones de la conjetura de Fuglede fallan.

Autores originales: Tao Zhang

Publicado 2026-07-20

📖 4 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Tao Zhang

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que eres un maestro arquitecto intentando cubrir un suelo. Tienes una forma específica de baldosa y quieres saber si puedes cubrir todo el suelo infinito usando solo esa forma, deslizándola sin que haya solapamientos ni huecos. Esto es el arte de la teselación. Ahora, imagina que eres un músico intentando tocar una canción dentro de una habitación. Quieres saber si puedes elegir un conjunto de notas musicales (frecuencias) que, al tocarse juntas, describan perfectamente cada sonido posible dentro de esa habitación sin redundancia. Esto es el arte de ser espectral.

Durante décadas, los matemáticos se preguntaron si estas dos habilidades tan diferentes eran en realidad la misma cosa. ¿Podría una forma que es perfecta para teselar un suelo ser siempre perfecta para crear un espectro musical, y viceversa? Esta idea, conocida como la conjetura de Fuglede, vinculaba la geometría de las formas con la física de las ondas sonoras. Era una teoría hermosa que se mantenía en pie para líneas unidimensionales simples o para formas agradables, redondeadas o cuadradas. Sin embargo, a medida que los matemáticos observaban formas más complejas, dentadas o en espacios de mayor dimensión, la teoría comenzaba a agrietarse. Encontraron formas que podían teselar pero no podían cantar, y formas que podían cantar pero no podían teselar. Pero un misterio obstinado permanecía: ¿ocurría este fallo en el mundo plano y bidimensional, el plano? Durante mucho tiempo, nadie pudo probarlo de ninguna de las dos maneras.

Este artículo de Tao Zhang responde a esa pregunta con un "sí" definitivo. El autor demuestra que, en dos dimensiones, la conexión entre la teselación y la música está rota. El autor construye dos formas muy específicas y algo extrañas. La primera forma es un teselador perfecto —puede cubrir una cuadrícula sin huecos— pero es "sorda al tono", lo que significa que no puede ser descrita por un conjunto limpio de notas musicales. La segunda forma es un "cantante" perfecto, capaz de generar un espectro musical completo, pero es un teselador terrible que no puede cubrir una cuadrícula sin solaparse o dejar huecos.

Para entender cómo se hizo esto, piensa en la estrategia del matemático como un juego de "alejar el zoom". Primero, el autor construyó estas formas complicadas dentro de un pequeño mundo finito hecho de una cuadrícula de números (específicamente un grupo llamado $\mathbb{Z}_{60} \times \mathbb{Z}_{12}$ ). En este universo diminuto y finito, el autor demostró que la forma de "teselación" tenía tres formas diferentes de completarse en una cuadrícula completa, pero ninguna de esas completaciones compartía una clave musical común. Por el contrario, la forma de "canto" tenía tres claves musicales diferentes, pero ninguna de ellas podía ayudarla a teselar la cuadrícula.

La magia ocurre en el siguiente paso. El autor utilizó un "principio de transferencia" matemático para elevar estas pequeñas formas finitas al plano bidimensional real e infinito. Imagina tomar un pequeño sello pixelado y presionarlo sobre una enorme hoja de papel milimetrado, repitiéndolo una y otra vez para crear un mosaico masivo y dentado. El artículo demuestra que si el pequeño sello falla al ser un cantante perfecto o un teselador perfecto en el mundo finito, el gran mosaico fallará de la misma manera en el mundo real.

El resultado es un par de contraejemplos explícitos. El primero es una forma acotada compuesta por 60 puntos en el grupo finito, que se eleva a una forma masiva de 564.540 cuadrados unitarios que tesela el plano pero no tiene un espectro. El segundo es una forma compuesta por 60 puntos en el grupo finito, que se eleva a una forma masiva de 564.540 cuadrados unitarios que tiene un espectro pero no puede teselar el plano. Al elevar estas formas al plano real, el autor crea estas formas masivas para resolver el debate: en dos dimensiones, ser capaz de teselar un suelo y ser capaz de cantar una canción son dos talentos completamente diferentes. Una forma puede tener uno, el otro, ambos, o ninguno, y no hay ninguna regla que obligue a que vayan juntos. La conjetura de que eran equivalentes es falsa.

Resumen Técnico: El Fracaso de la Conjetura de Fuglede en Dimensión Dos

Planteamiento del Problema
La conjetura de Fuglede, propuesta en 1974, postula que un conjunto medible $\Omega \subset \mathbb{R}^d$ de medida finita positiva es espectral (admite una base ortogonal de funciones exponenciales) si y solo si es un teselador por traslación (puede teselar $\mathbb{R}^d$ mediante traslaciones). Si bien la conjetura se cumple para dominios convexos y bajo diversas restricciones geométricas o aritméticas, se sabe que falla en ambas direcciones para todas las dimensiones $d \geq 3$ . El estatus de la conjetura en las dimensiones uno y dos permanecía como un problema abierto. Este artículo aborda el caso no resuelto en dos dimensiones.

Metodología
Los autores emplean una estrategia de construcción de contraejemplos en grupos abelianos finitos y su transferencia al espacio euclidiano mediante un principio de transferencia de finito a infinito. La metodología central involucra:

Construcción en Grupos Finitos: Los autores trabajan dentro del grupo abeliano finito de rango dos $G = \mathbb{Z}_{60} \times \mathbb{Z}_{12}$ $G = Z_{60} \times Z_{12}$ . Construyen dos subconjuntos específicos de 60 puntos de este grupo:
- Un conjunto $A_-$ que tesela $G$ pero carece de espectro.
- Un conjunto $A_+$ que es espectral pero no tesela $G$ .
Amplificación por Capas: Para lograr estas propiedades, los autores utilizan una técnica de amplificación de "cinco capas". Comienzan con un conjunto "semilla" $E \subset \mathbb{Z}_{12}^2$ $E \subset Z_{12}^{2}$ (un grafo de 12 puntos).
- Para el teselador no espectral, identifican tres complementos de teselación distintos de $E$ que no comparten un espectro común. Estos se disponen en cinco capas (usando un factor auxiliar $\mathbb{Z}_5$ ) para crear un conjunto donde la incompatibilidad de los complementos impide la existencia de cualquier espectro global.
- Para el conjunto espectral que no tesela, identifican tres espectros distintos de $E$ que no comparten un complemento de teselación común. Una construcción paralela de cinco capas asegura que el conjunto resultante sea espectral pero no pueda teselar.
Isomorfismo y Transferencia: Las construcciones se realizan en $H \times \mathbb{Z}_5$ (donde $H = \mathbb{Z}_{12}^2$ ). El Teorema del Resto Chino proporciona un isomorfismo $\Phi: H \times \mathbb{Z}_5 \to \mathbb{Z}_{60} \times \mathbb{Z}_{12}$ , preservando la estructura del grupo sin aumentar el rango.
Transferencia de Finito a Infinito: Utilizando una versión refinada del principio de transferencia (Proposición 2.1), los contraejemplos finitos se elevan a subconjuntos acotados de $\mathbb{R}^2$ . Específicamente, para un $k$ suficientemente grande, el conjunto $A[k] = A + \{ (n_1 j_1, n_2 j_2) : 0 \leq j_1, j_2 < k \}$ conserva las propiedades espectrales o de teselación del conjunto finito original $A$ . Estos conjuntos discretos se expanden luego en uniones de cuadrados unitarios en $\mathbb{R}^2$ .

Contribuciones Clave y Resultados
El artículo establece su teorema principal:

Teorema 1.1: Existe un teselador por traslación acotado en $\mathbb{R}^2$ que no es espectral, y existe un conjunto espectral acotado en $\mathbb{R}^2$ que no tesela por traslaciones.

Los resultados específicos incluyen:

Construcción Explícita de un Teselador No Espectral: Los autores construyen un conjunto $A_- \subset \mathbb{Z}_{60} \times \mathbb{Z}_{12}$ que tesela el grupo pero no tiene espectro. A través de la transferencia, esto produce un teselador por traslación acotado en $\mathbb{R}^2$ (una unión finita de cuadrados unitarios) que no es espectral.
Construcción Explícita de un Conjunto Espectral que No Tesela: Los autores construyen un conjunto $A_+ \subset \mathbb{Z}_{60} \times \mathbb{Z}_{12}$ que es espectral pero no tesela el grupo. A través de la transferencia, esto produce un conjunto espectral acotado en $\mathbb{R}^2$ (específicamente, una unión disjunta de 564,540 cuadrados unitarios semiabiertos) que no tesela por traslaciones.
Resolución de la Barrera de Rango Dos: El artículo demuestra que la conjetura de Fuglede falla incluso en grupos con solo dos factores cíclicos ( $\mathbb{Z}_{n_1} \times \mathbb{Z}_{n_2}$ ), superando un entorno restrictivo donde la conjetura se sabía que se cumplía en muchas familias abelianas finitas específicas.

Significancia
El artículo afirma resolver el caso bidimensional de la conjetura de Fuglede, demostrando que ambas implicaciones de la conjetura fallan en $\mathbb{R}^2$ . Esto completa el panorama para conjuntos medibles sin restricciones, mostrando que la equivalencia entre espectralidad y teselación falla en cada dimensión $d \geq 2$ . El trabajo extiende los resultados negativos conocidos de $d \geq 3$ hacia el plano, utilizando una novedosa construcción en un grupo abeliano finito de rango dos para sortear los resultados positivos previos en entornos de bajo rango. Los autores señalan que sus construcciones son explícitas y dependen de la interacción entre los complementos de teselación y los espectros en grupos finitos, elevados al dominio continuo.

Resumen Técnico: El Fracaso de la Conjetura de Fuglede en Dimensión Dos

Más como este