The small Davenport constant of the Heisenberg group of order 125

Resumen Técnico: La constante de Davenport pequeña del grupo de Heisenberg de orden 125

Planteamiento del problema
El artículo aborda la determinación de la constante de Davenport pequeña, $d(G)$, para el grupo de Heisenberg $H_p^3$ de orden $p^3$ sobre el cuerpo finito $\mathbb{F}_p$. La constante $d(G)$ se define como la longitud máxima de una secuencia libre de producto uno sobre $G$ (una secuencia donde ninguna subsecuencia no vacía admite un ordenamiento cuyo producto sea la identidad). Mientras que Godara y Sarkar establecieron que $d(H_{27}) = 6$ para $p=3$ y conjeturaron que $d(H_p^3) = 3p - 3$ para todo primo impar $p$, el caso para $p \ge 5$ permanecía abierto. Este trabajo resuelve específicamente el primer caso abierto: $p=5$, determinando $d(H_{125})$.

Metodología
La demostración combina la teoría de grupos estructurales con la verificación computacional exhaustiva, reduciendo un problema no conmutativo a la combinatoria aditiva sobre $\mathbb{F}_p$.

1. Criterio de producto uno: Los autores establecen una condición necesaria y suficiente para que una secuencia tenga un ordenamiento de producto uno. Para una secuencia $I$ con elementos $g_i = M(a_i, b_i, c_i)$, existe un ordenamiento de producto uno si y solo si:

   • La suma de los vectores de cociente es nula: $\sum (a_i, b_i) = (0, 0)$.
   • La suma negativa de las coordenadas centrales, $-\sum c_i$, se encuentra dentro del "conjunto de suma cruzada" $\Omega(I)$. Este conjunto se define como el conjunto de todos los valores posibles de $\sum_{s<t} a_{\sigma(s)}b_{\sigma(t)}$ sobre todas las permutaciones $\sigma$ de la secuencia.
   • Este criterio reduce el problema no abeliano al análisis de la geometría de los vectores de cociente en $\mathbb{F}_p^2$ y la aritmética de las coordenadas centrales.

2. Reducción a la combinatoria aditiva:

   • Capas de líneas (Line Caps): Utilizando el resultado de Olson sobre la constante de Davenport de $C_p^2$, los autores derivan un límite de "capa de línea": para cualquier línea $L$ que pase por el origen en $\mathbb{F}_p^2$, el número de términos no centrales con cocientes en $L$ más el número de términos centrales está acotado por $2p-2$.
   • Forzamiento central: Se demuestra un lema que establece que si una secuencia contiene un conjunto libre de suma cero de términos centrales $Z$ y una colección de bloques disjuntos de suma de cocientes cero $B_j$, se fuerza una subsecuencia de producto uno si $|\Sigma_0(Z)| + \sum (|\Omega(B_j)| - 1) \ge p$. Aquí, $\Sigma_0(Z)$ es el conjunto de sumas de subconjuntos de las coordenadas centrales.

3. El límite de dispersión (Spread Bound) y búsqueda exhaustiva:

   • El núcleo de la prueba del límite superior se basa en un parámetro de "dispersión", $\sigma(Q)$, definido como el valor máximo de $\sum (|\Omega(B_j)| - 1)$ sobre bloques disjuntos de suma cero de un multiconjunto de cocientes $Q$.
   • Para $p=5$, los autores reducen el problema de probar $d(H_{125}) \le 12$ a la verificación de una única afirmación finita: Proposición 2. Esta proposición afirma que para cualquier multiconjunto $Q$ de longitud $13-z$ (donde $z$ es el número de términos centrales) que satisfaga las restricciones de la capa de línea, $\sigma(Q) \ge 4-z$.
   • Esta proposición se verifica mediante una búsqueda en profundidad (depth-first search) exhaustiva y de memoria plana en C. La búsqueda enumera todos los multiconjuntos válidos sobre los 24 vectores no nulos de $\mathbb{F}_5^2$, podando las ramas que no cumplen el requisito de dispersión. El resultado (cero "hojas malas") fue reproducido independientemente por una segunda implementación con una estrategia de poda diferente.

4. Rigor de la verificación: Cada afirmación numérica, incluyendo la lógica de multiplicación del grupo, el criterio de producto uno y los lemas auxiliares, fue verificada mediante máquina. Los autores señalan explícitamente que, si bien el resultado no ha sido verificado formalmente en un asistente de pruebas, la reproducción independiente de la búsqueda de carga y los lemas verificados por máquina sirven como la garantía de reproducibilidad.

Resultados clave

• Teorema 1: $d(H_{125}) = 12$.
  • Límite inferior: Se muestra explícitamente que la secuencia $x^4 y^4 v^4$ (longitud 12) es libre de producto uno.
  • Límite superior: Toda secuencia de longitud 13 sobre $H_{125}$ contiene una subsecuencia de producto uno. Esto se prueba demostrando que tal secuencia debe satisfacer las condiciones del lema de Forzamiento Central, lo cual es garantizado por el Límite de Dispersión verificado (Proposición 2).
• Limitaciones para $p \ge 7$: Los autores demuestran que el método no se generaliza directamente para $p=7$. Se identifica un multiconjunto contraejemplo específico $Q_0$ donde el teorema de Chevalley–Warning fuerza un bloque de suma cero, pero dicho bloque es colineal (resultando en $|\Omega|=1$) en lugar de ser "amplio" (resultando en $|\Omega|=p$). En consecuencia, la dispersión no puede ser forzada únicamente por métodos polinómicos, y el espacio de búsqueda exhaustiva se vuelve computacionalmente intratable ($\sim 10^{16}$ multiconjuntos). Esto deja abierto el rango $18 \le d(H_{343}) \le 24$.

Significancia y Reivindicaciones
El artículo afirma ser la primera resolución del caso abierto para la conjetura de la constante de Davenport del grupo de Heisenberg ($d(H_p^3) = 3p-3$) más allá de $p=3$.

• Novedad: La contribución no reside en la introducción de nuevos teoremas (Cauchy–Davenport, Chevalley–Warning y los resultados de Olson son estándar), sino en su ensamblaje específico para abordar un objetivo no abeliano y en la rigurosa verificación finita que cierra la brecha para $p=5$.
• Especificidad: El argumento se destaca como "genuinamente específico para $p$". Los autores identifican el paso preciso donde la lógica falla para $p \ge 7$ (la incapacidad de Chevalley–Warning para forzar un bloque amplio y no colineal), proporcionando una evaluación honesta de los límites de su método.
• Reproducibilidad: El artículo enfatiza el papel de la verificación computacional, señalando que el "veredicto" del límite superior es un hecho empírico derivado de una búsqueda exhaustiva, reproducida independientemente para asegurar la corrección.
• Atribución: El artículo divulga explícitamente que los resultados se obtuvieron mediante una colaboración de investigación con IA, atribuyendo tareas específicas (encuadre del problema, aparato de verificación y la redacción final) a un sistema de IA bajo dirección humana, mientras que la reducción lógica y la corrección de las hipótesis iniciales fueron realizadas por un razonador "frío y sin herramientas".