🔢 mathematics

The lattice packing problem in dimension 9 by Voronoi's algorithm

Este trabajo utiliza el algoritmo de Voronoi para enumerar los 2.237.251.040 retículos perfectos en dimensión 9, demostrando así que la red laminada $\Lambda_9$ proporciona el empaquetamiento de retículo más denso y determinando el conjunto de sus números de contacto posibles.

Autores originales: Mathieu Dutour Sikirić, Wessel van Woerden

Publicado 2026-02-10

📖 4 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Mathieu Dutour Sikirić, Wessel van Woerden

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

El Gran Rompecabezas de las Esferas: Cómo los matemáticos "ordenaron" el espacio en 9 dimensiones

Imagina que tienes una caja gigante llena de naranjas. Si quieres aprovechar al máximo el espacio y que no sobre nada de aire, las acomodas de una forma específica: una encima de otra, encajando los huecos. Eso es lo que en matemáticas llamamos "empaquetamiento de esferas".

El problema es que, mientras más dimensiones añades (no solo arriba-abajo y derecha-izquierda, sino dimensiones invisibles que solo existen en las matemáticas), el rompecabezas se vuelve una pesadilla absoluta.

1. El problema: ¿Cuál es la mejor forma de apretujarse?

Imagina que cada dimensión es una nueva dirección en la que puedes moverte. En 3 dimensiones (nuestro mundo), sabemos que la mejor forma de acomodar naranjas es la que vemos en los supermercados. Pero, ¿qué pasa en la dimensión 9? ¿Cómo se acomodan las "super-naranjas" en un espacio de 9 dimensiones para que no quede ni un milímetro de aire?

Durante décadas, esto fue un misterio. No es que no supiéramos que existía una respuesta, es que era imposible contar todas las formas posibles de acomodarlas.

2. El algoritmo de Voronoi: El explorador incansable

Para resolver esto, los autores usaron un método llamado "Algoritmo de Voronoi". Imagina que este algoritmo es como un explorador en un planeta desconocido. El explorador empieza en un punto (una forma de acomodar esferas) y va saltando de una forma a otra, buscando siempre la que sea "más apretada" o "más perfecta".

El problema es que en la dimensión 9, este planeta es infinitamente más grande que los que habíamos explorado antes. Es como si antes hubiéramos explorado una ciudad pequeña (dimensiones 1 a 8) y ahora nos hubieran lanzado a explorar una galaxia entera.

3. El gran hallazgo: ¡Más de 2 mil millones de formas!

Los autores, Mathieu Dutour Sikirić y Wessel van Woerden, lograron lo que nadie había podido: terminaron de explorar toda la galaxia.

¿Qué encontraron? Encontraron que existen 2,237,251,040 (¡más de dos mil millones!) de formas "perfectas" de acomodar estas esferas. Para que te des una idea, si intentaras contar cada una de estas formas, una por segundo, sin dormir ni comer, tardarías unos 71 años en terminar.

4. La respuesta al misterio

Gracias a este conteo masivo, pudieron confirmar algo muy importante:

La ganadora: Existe una forma específica de acomodar las esferas (llamada la red laminada $\Lambda_9$ ) que es la campeona absoluta. Es la forma más densa, la que deja menos espacio vacío.
El número de "besos": En matemáticas, cuando dos esferas se tocan, decimos que se dan un "beso" (kissing number). Los autores lograron calcular exactamente cuántos "besos" pueden darse las esferas en la dimensión 9, algo que antes era pura adivinanza.

5. ¿Por qué es esto importante? (La analogía del código)

Podrías pensar: "¿A quién le importa cómo se acomodan esferas invisibles en 9 dimensiones?".

El problema es que estas estructuras (llamadas "redes" o lattices) son el lenguaje secreto de la criptografía. La seguridad de tus mensajes de WhatsApp, tus compras por internet y tus contraseñas depende de problemas matemáticos complejos basados en estas redes. Entender cómo se comportan en dimensiones altas ayuda a crear códigos más seguros y a entender la estructura misma de la información.

En resumen:

Este trabajo es como si alguien hubiera logrado mapear cada rincón de un océano infinito. Han pasado de decir "creemos que la mejor forma es esta" a decir "hemos contado todas las formas posibles y estamos 100% seguros de que esta es la mejor". Es un triunfo de la computación y la paciencia matemática.

Resumen Técnico: El problema del empaquetamiento de redes en dimensión 9 mediante el algoritmo de Voronoi

Autores: Mathieu Dutour Sikirić y Wessel van Woerden.

1. El Problema

El estudio se centra en el problema del empaquetamiento de esferas (sphere packing problem), específicamente en su restricción de empaquetamiento de redes (lattice packing). El objetivo es encontrar la configuración de redes en $\mathbb{R}^n$ que maximice la densidad de empaquetamiento.

Matemáticamente, esto equivale a maximizar el invariante de Hermite $\gamma(L)$ de una red $L$ , o de su forma cuadrática asociada $Q$ . Aunque este problema ha sido resuelto para dimensiones específicas (1, 2, 3, 4, 5, 6, 7, 8 y 24), la dimensión 9 ha permanecido como un vacío computacional y teórico debido a la explosión combinatoria de las estructuras posibles.

2. Metodología

Los autores emplean el algoritmo de Voronoi, un método de enumeración finito que se basa en la teoría de formas perfectas. La estrategia principal es la siguiente:

Teoría de Formas Perfectas: Voronoi demostró que cualquier red con densidad de empaquetamiento óptima debe ser una red perfecta (una red donde la forma cuadrática está unívocamente determinada por sus vectores mínimos).
Algoritmo de Grafo de Voronoi: El algoritmo recorre un grafo donde los nodos son redes perfectas no similares y las aristas representan "vecinos" en el poliedro de Ryshkov. El proceso comienza con una red conocida (como la red raíz $A_d$ ) y explora sistemáticamente todos los vecinos hasta completar la enumeración.
Desafío de la Descripción Dual: El cuello de botella del algoritmo es el "problema de la descripción dual": pasar de una representación de rayos extremos (vectores) a una de facetas (inecuaciones) en conos poliedros de alta incidencia.
Innovaciones Algorítmicas: Para hacer viable la dimensión 9, los autores implementaron:
- Método de Descomposición de Adyacencia Recursiva (ADM): Para resolver el problema dual bajo simetría.
- Funciones Canónicas: Uso de algoritmos de isomorfismo de grafos (vía la librería Traces) para identificar rápidamente si una red ya ha sido descubierta, reduciendo la complejidad de cuadrática a lineal.
- Paralelización masiva: Implementación mediante MPI para distribuir la carga de trabajo en cientos de procesos.
- Banco de Ahorros (Saving Bank): Un sistema de memorización para reutilizar descripciones duales de caras comunes y evitar cálculos redundantes.

3. Contribuciones Clave y Resultados

El trabajo representa un hito computacional al completar la enumeración en dimensión 9, algo que se consideraba inalcanzable.

Clasificación Completa: Se enumeraron todas las 2,237,251,040 redes perfectas no similares en dimensión 9.
Densidad Óptima: Como corolario, se demuestra que la red laminada $\Lambda_9$ es la red de empaquetamiento más densa en dimensión 9.
Constante de Hermite: Se establece que la constante de Hermite $\gamma_9$ es exactamente 2.
Números de Beso (Kissing Numbers): Se determinó con precisión el conjunto de posibles números de beso (número de vectores mínimos) en dimensión 9: $2 \cdot \{1, \dots, 91, 99, 120, \dots, 129, 136\}$ .
Propiedades de las Redes:
- Se identifica a la red de Coxeter $A_9^2$ como la única red perfecta en dimensión 9 que no tiene una base de vectores mínimos.
- Se identifica a la red de Coxeter $A_9^5$ como la única red perfecta hueca (hollow perfect lattice) en esta dimensión.
- Se clasifican las redes dual-extremas respecto al invariante de Bergé-Martinet.

4. Significado e Impacto

Este artículo cierra una brecha importante en la teoría de números y la geometría de números. Al resolver el problema de la dimensión 9, los autores no solo proporcionan una respuesta a una pregunta clásica, sino que también validan la potencia de los métodos computacionales modernos para abordar problemas de complejidad exponencial.

La metodología desarrollada para manejar la descripción dual bajo simetría y el uso de funciones canónicas para billones de objetos tiene aplicaciones directas en otras áreas de la matemática combinatoria y la computación de alta eficiencia. Además, el hecho de que $\gamma_8 = \gamma_9 = 2$ demuestra que la constante de Hermite no es estrictamente creciente con la dimensión, un resultado teóricamente relevante.