The small Davenport constant of the Heisenberg group of order 125

Résumé Technique : La petite constante de Davenport du groupe de Heisenberg d'ordre 125

Énoncé du Problème
L'article traite de la détermination de la petite constante de Davenport, $d(G)$, pour le groupe de Heisenberg $H_p^3$ d'ordre $p^3$ sur le corps fini $\mathbb{F}_p$. La constante $d(G)$ est définie comme la longueur maximale d'une suite sans produit unitaire sur $G$ (une suite où aucune sous-suite non vide n'admet un ordre dont le produit est l'identité). Alors que Godara et Sarkar ont établi que $d(H_{27}) = 6$ pour $p=3$ et ont conjecturé que $d(H_p^3) = 3p - 3$ pour tout nombre premier impair $p$, le cas pour $p \ge 5$ est resté ouvert. Ce travail résout spécifiquement le premier cas ouvert : $p=5$, en déterminant $d(H_{125})$.

Méthodologie
La preuve combine la théorie des groupes structurels avec une vérification computationnelle exhaustive, réduisant un problème non commutatif à la combinatoire additive sur $\mathbb{F}_p$.

1. Critère de Produit Unitaire : Les auteurs établissent une condition nécessaire et suffisante pour qu'une suite possède un ordre de produit unitaire. Pour une suite $I$ dont les éléments sont $g_i = M(a_i, b_i, c_i)$, un ordre de produit unitaire existe si et seulement si :

   • La somme des vecteurs quotients est nulle : $\sum (a_i, b_i) = (0, 0)$.
   • La somme négative des coordonnées centrales, $-\sum c_i$, appartient à l'ensemble de « somme croisée » $\Omega(I)$. Cet ensemble est défini comme l'ensemble de toutes les valeurs possibles de $\sum_{s<t} a_{\sigma(s)}b_{\sigma(t)}$ sur toutes les permutations $\sigma$ de la suite.
   • Ce critère réduit le problème non abélien à l'analyse de la géométrie des vecteurs quotients dans $\mathbb{F}_p^2$ et de l'arithmétique des coordonnées centrales.

2. Réduction à la Combinatoire Additive :

   • Caps de droites (Line Caps) : En utilisant le résultat d'Olson sur la constante de Davenport de $C_p^2$, les auteurs dérivent une borne de « cap de droite » : pour toute droite $L$ passant par l'origine dans $\mathbb{F}_p^2$, le nombre de termes non centraux dont les quotients sont sur $L$ plus le nombre de termes centraux est borné par $2p-2$.
   • Forçage Central : Un lemme est prouvé stipulant que si une suite contient un ensemble sans somme nulle de termes centraux $Z$ et une collection de blocs de somme de quotients disjoints nuls $B_j$, un sous-produit unitaire est forcé si $|\Sigma_0(Z)| + \sum (|\Omega(B_j)| - 1) \ge p$. Ici, $\Sigma_0(Z)$ est l'ensemble des sommes partielles des coordonnées centrales.

3. La Borne d'Étalement (Spread Bound) et Recherche Exhaustive :

   • Le cœur de la preuve de la borne supérieure repose sur un paramètre d'« étalement », $\sigma(Q)$, défini comme la valeur maximale de $\sum (|\Omega(B_j)| - 1)$ sur les blocs de somme nulle disjoints d'un multiensemble de quotients $Q$.
   • Pour $p=5$, les auteurs réduisent le problème de prouver $d(H_{125}) \le 12$ à la vérification d'un énoncé fini unique : Proposition 2. Cette proposition affirme que pour tout multiensemble $Q$ de longueur $13-z$ (où $z$ est le nombre de termes centraux) satisfaisant les contraintes de cap de droite, $\sigma(Q) \ge 4-z$.
   • Cette proposition est vérifiée via une recherche en profondeur exhaustive, à mémoire plate, en C. La recherche énumère tous les multiensembles valides sur les 24 vecteurs non nuls de $\mathbb{F}_5^2$, élaguant les branches qui ne respectent pas l'exigence d'étalement. Le résultat (zéro « mauvaise feuille ») a été reproduit indépendamment par une seconde implémentation utilisant une stratégie d'élagage différente.

4. Rigueur de la Vérification : Chaque affirmation numérique, y compris la logique de multiplication du groupe, le critère de produit unitaire et les lemmes auxiliaires, a été vérifiée par machine. Les auteurs notent explicitement que bien que le résultat ne soit pas formellement vérifié dans un assistant de preuve, la reproduction indépendante de la recherche de charge et des lemmes vérifiés par machine servent de garantie de reproductibilité.

Résultats Clés

• Théorème 1 : $d(H_{125}) = 12$.
  • Borne Inférieure : La suite $x^4 y^4 v^4$ (longueur 12) est explicitement montrée comme étant sans produit unitaire.
  • Borne Supérieure : Toute suite de longueur 13 sur $H_{125}$ contient une sous-suite de produit unitaire. Ceci est prouvé en montrant que toute telle suite doit satisfaire les conditions du lemme de Forçage Central, ce qui est garanti par la Borne d'Étalement vérifiée (Proposition 2).
• Limitations pour $p \ge 7$ : Les auteurs démontrent que la méthode ne se généralise pas directement pour $p=7$. Un contre-exemple spécifique de multiensemble $Q_0$ est identifié où le théorème de Chevalley–Warning force un bloc de somme nulle, mais ce bloc est colinéaire (donnant $|\Omega|=1$) plutôt que « large » (donnant $|\Omega|=p$). Par conséquent, l'étalement ne peut être forcé par des méthodes polynomiales seules, et l'espace de recherche exhaustive devient computationnellement intraitable ($\sim 10^{16}$ multiensembles). Cela laisse la plage $18 \le d(H_{343}) \le 24$ ouverte.

Signification et Revendications
L'article prétend être la première résolution du cas ouvert pour la conjecture de la constante de Davenport du groupe de Heisenberg ($d(H_p^3) = 3p-3$) au-delà de $p=3$.

• Nouveauté : La contribution ne réside pas dans l'introduction de nouveaux théorèmes (Cauchy–Davenport, Chevalley–Warning et les résultats d'Olson sont standards) mais dans leur assemblage spécifique pour traiter une cible non abélienne et dans la vérification finie rigoureuse qui ferme l'écart pour $p=5$.
• Spécificité : L'argument est mis en évidence comme étant « véritablement spécifique à $p$ ». Les auteurs identifient l'étape précise où la logique échoue pour $p \ge 7$ (l'incapacité de Chevalley–Warning à forcer un bloc large et non colinéaire), fournissant une évaluation honnête des limites de la méthode.
• Reproductibilité : Le papier souligne le rôle de la vérification computationnelle, notant que le « verdict » de la borne supérieure est un fait empirique dérivé d'une recherche exhaustive, indépendamment reproduite pour assurer la correction.
• Attribution : Le papier divulgue explicitement que les résultats ont été obtenus via une collaboration de recherche avec une IA, avec des tâches spécifiques (cadrage du problème, appareil de vérification et rédaction finale) attribuées à un système d'IA sous direction humaine, tandis que la réduction logique et la correction des hypothèses initiales ont été effectuées par un raisonneur « froid et sans outils ».