A new lower bound for the kissing number in 19 dimensions

Este artículo demuestra que el número de besos en 19 dimensiones es al menos 11948, mejorando el límite anterior en 256 mediante una construcción que combina el método de signo impar de Cohn y Li con un código binario no lineal explícito derivado del código de Golay extendido.

Lo esencial

¡Hola! Imagina que este artículo es como una historia de ingeniería espacial y juegos de estrategia que ocurren en un mundo que no podemos ver con nuestros ojos, pero que los matemáticos pueden "sentir" y calcular.

Aquí te explico de qué trata, usando analogías sencillas:

1. El Problema: ¿Cuántas pelotas caben alrededor de una?

Imagina que tienes una pelota de baloncesto en el centro de una habitación. Tu misión es poner otras pelotas idénticas alrededor de ella, tocándola pero sin que se solapen entre ellas.

• En 2 dimensiones (un plano), puedes poner 6 pelotas alrededor de una central.
• En 3 dimensiones (nuestro mundo), puedes poner 12.

El número de besos (o kissing number) es simplemente el máximo número de esferas que puedes poner tocando a una central en un espacio de cierta dimensión. El problema es que, a medida que subimos a dimensiones más altas (como la dimensión 19, que es un espacio abstracto con 19 direcciones posibles), es extremadamente difícil saber cuál es el número máximo.

Hasta ahora, los expertos sabían que en 19 dimensiones podías poner al menos 11,692 pelotas. Este paper dice: "¡Espera! Hemos encontrado una forma de poner 11,948". ¡Es un aumento de 256 pelotas más!

2. La Estrategia: Construyendo con Bloques de Lego

Para lograr este nuevo récord, el autor (Boon Suan Ho) no inventó todo desde cero. Usó una técnica que ya existía (creada por Cohn y Li) como base, pero le añadió un "superbloque" que nadie había encontrado antes.

Imagina que tienes un castillo de bloques (la configuración de 10,668 pelotas). Sabías que podías añadir más bloques en los huecos vacíos, pero solo si esos bloques seguían reglas muy estrictas de "distancia" (no podían chocar).

• El código anterior: Cohn y Li usaron un patrón lineal y predecible (como una cuadrícula perfecta) que les dio 1,024 bloques extra.
• La nueva idea: El autor construyó un patrón no lineal y mucho más complejo (como un laberinto inteligente) que le permitió meter 1,280 bloques extra.

3. El Secreto: El "Gráfico Clebsch" y el Código Golay

Aquí es donde entran las matemáticas abstractas, pero podemos usar una analogía de partidos de fútbol o equipos secretos:

1. El Estadio (El Código Golay): Imagina un estadio gigante (el "Código Golay") donde hay miles de asientos (posiciones). De este estadio, se sacaron 5 asientos específicos, creando un "estadio modificado" (el código de 19 dimensiones).
2. Los Equipos (M, K, D): Dentro de este estadio, el autor organizó a los espectadores en grupos anidados:
   • Un grupo pequeño (M).
   • Un grupo mediano (K) que contiene al pequeño.
   • Un grupo gigante (D) que contiene al mediano.
3. El Gráfico de Vecindad: Imagina que dibujas una línea entre dos personas si están sentadas a una distancia muy corta (3 o 4 asientos). El objetivo es encontrar el mayor grupo de personas donde ninguna tenga una línea conectándolas entre sí (un "conjunto independiente"). Si logras esto, significa que esas personas no chocarán entre sí al poner las pelotas.
4. La Magia del Gráfico Clebsch: El autor descubrió que si tomas el grupo mediano (K) y lo divides por el grupo pequeño (M), el resultado es un mapa famoso llamado Gráfico Clebsch.
   • En este mapa, encontró un grupo especial de 5 personas que no se conectan entre sí (un "5-coclique").
   • Al "desplegar" estas 5 personas de vuelta al grupo original, obtuvieron un equipo de 320 personas que no chocan.
   • Luego, multiplicaron este equipo por 4 (usando otros grupos del estadio gigante) para obtener un ejército final de 1,280 personas perfectas.

4. El Resultado Final

Al tomar este nuevo y enorme grupo de 1,280 personas (que cumplen todas las reglas de no chocar) y añadirlo a la configuración original de 10,668, el número total sube a 11,948.

¿Por qué es importante?

• Es un récord: Hemos empujado la frontera de lo que sabemos sobre cómo se empaquetan las cosas en espacios multidimensionales.
• Es una herramienta: Este nuevo código (la lista de 1,280 patrones) es una herramienta matemática que otros científicos pueden usar para resolver otros problemas, desde la corrección de errores en internet hasta la teoría de cuerdas en física.
• La IA ayudó: Curiosamente, el autor menciona en los agradecimientos que usó una Inteligencia Artificial (GPT-5.4 Pro) para descubrir esta construcción. Es como si el matemático fuera el arquitecto y la IA fuera el ingeniero que encontró el plano oculto en la pila de planos viejos.

En resumen: El autor encontró una forma más inteligente de organizar "pelotas" en un espacio de 19 dimensiones, usando un mapa secreto (el Gráfico Clebsch) y una IA para ayudarle a ver el patrón, logrando meter 256 pelotas más de las que pensábamos posible.

Resumen técnico

Aquí tienes un resumen técnico detallado del artículo "A NEW LOWER BOUND FOR THE KISSING NUMBER IN 19 DIMENSIONS" de Boon Suan Ho, presentado en español:

Resumen Técnico: Nueva Cota Inferior para el Número de Besos en 19 Dimensiones

1. El Problema

El número de besos en $n$ dimensiones, denotado como $k(n)$, es el número máximo de esferas unitarias no superpuestas que pueden tocar una esfera unitaria central en un espacio euclidiano $\mathbb{R}^n$. Determinar el valor exacto de $k(n)$ es un problema fundamental en la geometría de empaquetamiento de esferas.

• Estado anterior: En 19 dimensiones, Cohn y Li habían establecido una cota inferior de $k(19) \ge 11692$. Su construcción se basaba en una configuración de 10668 puntos, a la cual añadieron vectores adicionales derivados de un código binario lineal de tamaño 1024 contenido en el complemento ortogonal de un sistema de Steiner $S(5, 8, 24)$ (específicamente, un código de Golay binario extendido de 5 posiciones punteadas).
• Objetivo del trabajo: Mejorar esta cota inferior encontrando un código binario no lineal más grande (con distancia mínima $\ge 5$) dentro de ese mismo espacio, lo que permitiría añadir más vectores de contacto.

2. Metodología

El autor construye un código binario explícito $A$ de longitud 19, tamaño 1280 y distancia mínima 5, contenido dentro de un modelo de código de Golay binario extendido de 5 posiciones punteadas ($D$). La construcción sigue una estrategia algebraica y combinatoria sofisticada:

1. Definición de Códigos Anidados: Se definen tres códigos lineales anidados $M \le K \le D$ sobre el cuerpo finito $\mathbb{F}_2^{19}$:

   • $M$: Generado por 6 vectores ($|M|=64$).
   • $K$: Generado por $M$ y 4 vectores adicionales ($s_1, \dots, s_4$), con $|K/M|=16$.
   • $D$: Generado por $K$ y 2 vectores adicionales ($r_1, r_2$), con $|D/K|=4$.
   • Se verifica computacionalmente que $D$ es isomorfo al código de Golay punteado.

2. Construcción del Gráfico de Adyacencia:

   • Se define un grafo $\Gamma$ sobre los vértices de $D$, donde dos vértices son adyacentes si su distancia de Hamming es 3 o 4.
   • Un conjunto independiente en este grafo corresponde a un código con distancia mínima $\ge 5$.
   • El conjunto de vectores de peso 3 o 4 en $D$ (denotado como $S$) genera el código $K$.

3. Cociente y el Grafo de Clebsch:

   • Al considerar el cociente $K/M$, el conjunto de clases $S$ induce un grafo de Cayley sobre $\mathbb{F}_2^4$.
   • Este grafo cociente se identifica como el Grafo de Clebsch.
   • Se demuestra que un subconjunto específico de 5 elementos en el espacio cociente forma un 5-coclique (un conjunto independiente de tamaño 5) en el Grafo de Clebsch.

4. Lifting (Elevación) y Expansión:

   • El 5-coclique se "eleva" al código $K$ tomando la unión de las 5 clases laterales correspondientes. Dado que $|M|=64$, esto produce un código $B$ de tamaño $5 \times 64 = 320$dentro de$K$.
   • Finalmente, se toman las 4 traslaciones de $B$ dentro de las 4 clases laterales de $K$ en $D$ (usando los vectores $r_1, r_2$).
   • Esto genera el código final $A$ de tamaño $4 \times 320 = 1280$.

3. Contribuciones Clave

• Construcción de un Código No Lineal: Se presenta explícitamente un código binario no lineal de tamaño 1280 y distancia mínima 5, superando el código lineal de tamaño 1024 utilizado anteriormente por Cohn y Li.
• Uso de Estructuras Algebraicas Profundas: La demostración conecta la teoría de códigos con la teoría de grafos, utilizando específicamente las propiedades del Grafo de Clebsch y la estructura de los códigos de Golay punteados para garantizar la distancia mínima.
• Verificación Computacional Rigurosa: Aunque la construcción es algebraica, se basa en verificaciones computacionales exhaustivas (enumeración de los 4096 vectores de $D$) para identificar los vectores de peso 3 y 4 y confirmar la independencia del conjunto resultante.

4. Resultados

• Teorema Principal: El número de besos en 19 dimensiones satisface:
  $$k(19) \ge 11948$$
• Mejora Cuantitativa: Esta nueva cota supera la anterior ($11692$) en 256 vectores adicionales.
• Construcción Explícita: El artículo proporciona las coordenadas explícitas para una configuración de 11948 puntos que toca una esfera central en $\mathbb{R}^{19}$.

5. Significado e Impacto

• Avance en Geometría Discreta: Este trabajo representa un progreso significativo en la comprensión de los límites inferiores para el número de besos en dimensiones altas, un área donde los avances suelen ser incrementales y difíciles de lograr.
• Validación de Métodos Híbridos: El uso combinado de construcciones de "signo impar" (odd-sign construction) de Cohn y Li con códigos no lineales explícitos demuestra una vía prometedora para mejorar cotas en otras dimensiones.
• Reproducibilidad: El autor ha hecho públicos los scripts de Python y los archivos de datos necesarios para verificar la construcción y obtener las coordenadas exactas, facilitando la reproducción y el estudio futuro por parte de la comunidad matemática.
• Nota Curiosa: El artículo menciona en sus agradecimientos que la construcción fue descubierta con la asistencia de una IA (GPT-5.4 Pro), lo que subraya el papel emergente de la inteligencia artificial en la investigación matemática de alto nivel.

En resumen, el artículo demuestra que mediante una ingeniería algebraica cuidadosa y el aprovechamiento de la simetría del Grafo de Clebsch, es posible densificar significativamente los empaquetamientos de esferas en 19 dimensiones, elevando la cota inferior conocida a 11948.