The small Davenport constant of the Heisenberg group of order 125

Technische Samenvatting: De kleine Davenport-constante van de Heisenberg-groep van orde 125

Probleemstelling
Het artikel behandelt de bepaling van de kleine Davenport-constante, $d(G)$, voor de Heisenberg-groep $H_p^3$ van orde $p^3$ over het eindige veld $\mathbb{F}_p$. De constante $d(G)$ wordt gedefinieerd als de maximale lengte van een product-één-vrije sequentie over $G$ (een sequentie waarbij geen enkele niet-lege deelsequentie een ordening toelaat waarvan het product de identiteit is). Terwijl Godara en Sarkar vaststelden dat $d(H_{27}) = 6$ voor $p=3$ en vermoedden dat $d(H_p^3) = 3p - 3$ voor alle oneven priemgetallen $p$, bleef de casus voor $p \ge 5$ open. Dit werk bepaalt specifiek de eerste openstaande casus: $p=5$, waarbij $d(H_{125})$ wordt bepaald.

Methodologie
Het bewijs combineert structurele groepentheorie met uitputtende computationele verificatie, waarbij een niet-commutatief probleem wordt gereduceerd tot additieve combinatoriek over $\mathbb{F}_p$.

1. Product-één Criterium: De auteurs stellen een noodzakelijke en voldoende voorwaarde vast voor een sequentie om een product-één ordening te hebben. Voor een sequentie $I$ met elementen $g_i = M(a_i, b_i, c_i)$, is een product-één ordening aanwezig dan en slechts dan als:

   • De som van de quotient-vectoren nul is: $\sum (a_i, b_i) = (0, 0)$.
   • De negatieve som van de centrale coördinaten, $-\sum c_i$, binnen de "cross-sum set" $\Omega(I)$ ligt. Deze verzameling wordt gedefinieerd als de verzameling van alle mogelijke waarden van $\sum_{s<t} a_{\sigma(s)}b_{\sigma(t)}$ over alle permutaties $\sigma$ van de sequentie.
   • Dit criterium reduceert het niet-abelse probleem tot de analyse van de geometrie van quotient-vectoren in $\mathbb{F}_p^2$ en de rekenkunde van centrale coördinaten.

2. Reductie naar Additieve Combinatoriek:

   • Lijnkappen (Line Caps): Gebruikmakend van Olsons resultaat over de Davenport-constante van $C_p^2$, leiden de auteurs een "lijnkap"-grens af: voor elke lijn $L$ door de oorsprong in $\mathbb{F}_p^2$, is het aantal niet-centrale termen met quotienten op $L$ plus het aantal centrale termen begrensd door $2p-2$.
   • Centrale Afdwinging (Central Forcing): Een lemma wordt bewezen dat stelt dat indien een sequentie een zero-sum-vrije verzameling centrale termen $Z$ bevat en een collectie disjuncte zero-quotient-sum blokken $B_j$, een product-één deelsequentie wordt afgedwongen als $|\Sigma_0(Z)| + \sum (|\Omega(B_j)| - 1) \ge p$. Hierbij is $\Sigma_0(Z)$ de verzameling deelsommen van de centrale coördinaten.

3. De Spread-grens en Uitputtende Zoektocht:

   • De kern van het bewijs voor de bovengrens berust op een "spread"-parameter, $\sigma(Q)$, gedefinieerd als de maximale waarde van $\sum (|\Omega(B_j)| - 1)$ over disjuncte zero-sum blokken van een quotient-multiset $Q$.
   • Voor $p=5$ reduceren de auteurs het probleem van het bewijzen van $d(H_{125}) \le 12$ tot het verifiëren van een enkele eindige stelling: Propositie 2. Deze propositie stelt dat voor elke multiset $Q$ van lengte $13-z$ (waarbij $z$ het aantal centrale termen is) die voldoet aan de lijnkap-restricties, $\sigma(Q) \ge 4-z$.
   • Deze propositie wordt geverifieerd via een uitputtende, geheugen-vlakke depth-first search in C. De zoektocht enumereert alle geldige multisets over de 24 niet-nul vectoren van $\mathbb{F}_5^2$, waarbij takken die niet aan de spread-eis voldoen, worden weggefilterd (pruning). Het resultaat (nul "slechte bladeren") is onafhankelijk gereproduceerd door een tweede implementatie met een andere pruning-strategie.

4. Verificatie-rigor: Elke numerieke claim, inclus\n bij de groepsmultiplicatielogica, het product-één criterium en de hulp-lemma's, werd machinaal gecontroleerd. De auteurs merken expliciet op dat hoewel het resultaat niet formeel is geverifieerd in een proof assistant, de onafhankelijke reproductie van de cruciale zoektocht en de machinaal gecontroleerde lemma's dienen als de garantie voor reproduceerbaarheid.

Belangrijkste Resultaten

• Stelling 1: $d(H_{125}) = 12$.
  • Ondergrens: De sequentie $x^4 y^4 v^4$ (lengte 12) wordt expliciet getoond als product-één-vrij.
  • Bovengrens: Elke sequentie van lengte 13 over $H_{125}$ bevat een product-één deelsequentie. Dit wordt bewezen door aan te tonen dat elke dergelijke sequentie moet voldoen aan de voorwaarden van het Central Forcing lemma, wat gegarandeerd wordt door de geverifieerde Spread Bound (Propositie 2).
• Beperkingen voor $p \ge 7$: De auteurs demonstreren dat de methode niet direct generaliseert naar $p=7$. Een specifieke tegenvoorbeeld-multiset $Q_0$ wordt geïdentificeerd waar de Chevalley–Warning stelling een zero-sum blok afdwingt, maar dat blok is collinear (resulterend in $|\Omega|=1$) in plaats van "breed" (resulterend in $|\Omega|=p$). Bijgevolg kan de spread niet door louter polynomiale methoden worden afgedwongen, en wordt de computationele zoekruimte voor de uitputtende zoektocht onhandelbaar groot ($\sim 10^{16}$ multisets). Dit laat het bereik $18 \le d(H_{343}) \le 24$ open.

Betekenis en Claims
Het artikel claimt de eerste oplossing te zijn van de openstaande casus voor de Heisenberg-groep Davenport-constante conjectuur ($d(H_p^3) = 3p-3$) buiten $p=3$.

• Nieuwigheid: De bijdrage ligt niet in de introductie van nieuwe stellingen (Cauchy–Davenport, Chevalley–Warning en Olsons resultaten zijn standaard), maar in hun specifieke assemblage om een niet-abels doelwit aan te pakken en de rigoureuze eindige verificatie die de kloof voor $p=5$ dicht.
• Specificiteit: Het argument wordt benadrukt als "genuin $p$-specifiek". De auteurs identificeren de exacte stap waar de logica faalt voor $p \ge 7$ (het onvermogen van Chevalley–Warning om een breed, niet-collineair blok af te dwingen), wat een eerlijke beoordeling geeft van de grenzen van de methode.
• Reproduceerbaarheid: Het artikel legt de nadruk op computationele verificatie en merkt op dat het "vonnis" van de bovengrens een empirisch feit is, afgeleid van een uitputtende zoektocht, die onafhankelijk is gereproduceerd om correctheid te waarborgen.
• Toeschrijving: Het artikel maakt expliciet bekend dat de resultaten zijn verkregen via een AI-onderzoekssamenwerking, waarbij specifieke taken (probleemformulering, verificatie-apparaat en de uiteindelijke tekst) worden toegeschreven aan een AI-systeem onder menselijke leiding, terwijl de logische reductie en correctie van initiële hypothesen werden uitgevoerd door een "koude, tool-vrije" redeneerder.