A dual linear programming bound for sphere packing in dimension 36

Resumen Técnico: Un límite de programación lineal dual para el empaquetamiento de esferas en la dimensión 36

Planteamiento del problema
El artículo aborda el problema del empaquetamiento de esferas en la dimensión $d=36$, centrándose específicamente en el límite de programación lineal (LP) de Cohn–Elkies. Aunque se sabe que el límite LP es exacto en las dimensiones 8 y 24, su exactitud sigue siendo una cuestión abierta en todas las demás dimensiones. El autor investiga si el límite de Cohn–Elkies, denotado como $\delta_{LP}(d)$, puede certificar la optimalidad del mejor empaquetamiento conocido actualmente, $\delta^*(d)$. En la dimensión 36, el mejor empaquetamiento conocido es la configuración de Kschischang–Pasupathy con una densidad central de $2^{18}/3^{10}$. El objetivo es construir un "punto de viabilidad dual" (una función auxiliar específica) que proporcione un límite inferior para $\delta_{LP}(36)$ estrictamente mayor que la densidad del empaquetamiento de Kschischang–Pasupathy. Si tiene éxito, esto demuestra que ningún función de Cohn–Elkies puede certificar el empaquetamiento conocido como óptimo.

Metodología
La construcción sigue el método de Cohn y Triantafillou, utilizando el espacio de formas modulares de peso 18 para el subgrupo congruencia $\Gamma_0(24)$. El núcleo del método consiste en encontrar un par de formas modulares $(g, \tilde{g})$ de peso $k=18$ (donde $k=d/2$) que satisfagan restricciones de coeficientes específicas para generar una distribución válida para el límite LP.

El artículo detalla dos innovaciones metodológicas críticas necesarias para resolver este problema en la dimensión 36, donde los métodos anteriores (exitosos en dimensiones hasta 32) enfrentaron obstáculos numéricos y teóricos:

1. Generación de restricciones (Formulación de plano de corte):
   Una relajación de programación lineal ingenua, que imponía la no negatividad de los coeficientes solo hasta un $n$ finito, produjo un óptimo que se volvía negativo inmediatamente después del rango impuesto (específicamente para $n \equiv 3, 9, 15, 21 \pmod{24}$). Por el contrario, un problema totalmente restringido con cientos de filas era numéricamente singular para los resolvedores de punto flotante y demasiado grande para los métodos simplex densos exactos.

   • Solución: El autor emplea un enfoque de generación de restricciones. Se resuelve un LP racional exacto sobre un pequeño conjunto de trabajo. Las filas violadas (donde los coeficientes son negativos) se identifican exactamente, se añaden al conjunto de restricciones y el LP se resuelve de nuevo. En la dimensión 36, este proceso convergió en una sola ronda, produciendo un vértice racional exacto cuyas expansiones $q$ permanecieron no negativas mucho más allá del rango impuesto.

2. Constante de Deligne sensible a la elevación (Lift-Aware):
   Probar la "positividad eventual" (que los coeficientes permanezcan no negativos para todo $n > n_0$) requiere acotar la parte cuspidal de las formas modulares. La cota estándar de Deligne utiliza una norma $\ell_1$ de las coordenadas en la base de elevación de nuevas formas (newform-lift basis).

   • Solución: El autor identifica que la norma $\ell_1$ ingenua es "con pérdida" (lossy) en este contexto porque el certificado está dominado por una única elevación de forma vieja profunda (la nueva forma de nivel uno desplazada por $e=24$). La constante ingenua falló el umbral de verificación por un margen estrecho. El autor introduce una constante "sensible a la elevación", $C_w = \sum_{f,e} |\lambda_{f,e}| e^{-(k-1)/2}$, que suprime la contribución de las elevaciones profundas mediante el factor $e^{-(k-1)/2}$. Esta constante refinada es diez órdenes de magnitud más pequeña, lo que permite que la verificación se cierre con un margen significativo.

Resultados clave
El artículo construye un punto de viabilidad dual explícito $(g, \tilde{g})$ y deriva los siguientes resultados:

• Límite dual: El certificado construido establece que el límite de programación lineal de Cohn–Elkies en la dimensión 36 satisface:
  $$\delta_{LP}(36) \geq 146.1036\dots = 32.9104\dots \times \frac{2^{18}}{3^{10}}$$
• Comparación con el empaquetamiento conocido: Este límite inferior excede la densidad del empaquetamiento de Kschischang–Pasupathy ($2^{18}/3^{10}$) por un factor de al menos 32.91.
• Implicación: En consecuencia, ninguna función auxiliar de Cohn–Elkies puede certificar el empaquetamiento de Kschischang–Pasupathy como óptimo en la dimensión 36. El límite LP es estrictamente superior a la densidad del empaquetamiento conocido.
• Rigor de la verificación: El certificado es exacto. El punto dual es un vector racional con numeradores de $\approx 128$ dígitos. La no negatividad de los coeficientes se verifica mediante aritmética exacta hasta $n=800$. Para $n > 800$, la positividad eventual se prueba utilizando la constante de Deligne sensible a la elevación y cotas de cola explícitas, con todos los constantes certificados mediante aritmética de intervalos de redondeo exterior.

Significado y Reivindicaciones
El artículo reclama varias contribuciones significativas al campo del empaquetamiento de esferas y las formas modulares:

1. Extensión de los límites conocidos: Este es el primer límite dual construido en cualquier dimensión por encima de 32. Extiende la tabla existente de Cohn–Triantafillou (que cubría $d=12, 16, 20, 28, 32$), Li ($3 \le d \le 13$), y de Courcy-Ireland et al. ($d=6$).
2. Avance metodológico: El artículo destaca que la formulación de generación de restricciones es esencial para alcanzar el óptimo seguro de la cola en dimensiones altas donde el LP denso exacto es intratable. Además, demuestra que la constante de Deligne sensible a la elevación es necesaria para la verificación rigurosa en casos dominados por elevaciones de formas viejas profundas, un escenario donde las cotas estándar fallan.
3. Naturaleza del resultado: El autor señala que, si bien la declaración dual es fuerte (la brecha es grande), la "no exactitud estricta" (probar $\delta_{LP}(36) > \delta_{max}(36)$ donde $\delta_{max}$ es la verdadera densidad óptima) sigue fuera de alcance. La no exactitud estricta requeriría un límite superior independiente por debajo de $32.91 \times \delta^*$, un umbral actualmente inalcanzable por las técnicas de límite de tres puntos existentes.
4. Reproducibilidad: El trabajo enfatiza que la verificación se basa únicamente en álgebra lineal racional exacta y aritmética de intervalos, independiente de sistemas de álgebra computacional con maquinaria de formas modulares. Todo el código, recibos y datos exactos se proporcionan como archivos auxiliares.

El artículo concluye que la dimensión 36 representa un régimen cualitativamente diferente donde el empaquetamiento récord conocido es débil en relación con el límite LP, haciendo que la declaración dual sea fuerte pero la cuestión de la optimalidad estricta sea más difícil de resolver.