A new lower bound for the kissing number in 19 dimensions

In dit artikel wordt bewezen dat het aanrakingsgetal in 19 dimensies ten minste 11.948 bedraagt, wat een verbetering is van 256 op de bestaande ondergrens door het combineren van de constructie van Cohn en Li met een expliciete niet-lineaire binaire code.

De kern

Stel je voor dat je in een heel groot, onzichtbaar ruimtetuin staat. In deze tuin probeer je zoveel mogelijk bollen (zoals tennisballen) om één centrale bal te plaatsen, zonder dat ze elkaar raken. Ze mogen elkaar wel aanraken, maar niet overlappen.

Het aantal bollen dat je zo kunt plaatsen, noemen wiskundigen het "kissingsgetal" (van het Engelse kissing number, oftewel "aantal zoenen").

In onze gewone 3D-wereld (zoals appels in een doos) kun je precies 12 appels om één centrale appel leggen. Maar wat gebeurt er in een wereld met 19 dimensies? Dat is een dimensie die we niet kunnen zien of voelen, maar waar wiskundigen wel over rekenen.

Hier is wat dit nieuwe paper doet, vertaald naar alledaags taal:

1. Het Probleem: Een te kleine kring

Eerder hadden twee wiskundigen (Cohn en Li) al bewezen dat je in 19 dimensies minstens 11.692 ballen om één centrale bal kunt leggen. Ze hadden een slimme manier bedacht om deze ballen te plaatsen, maar ze stopten op een bepaald punt. Het was alsof ze een muur hadden gebouwd, maar er nog wat ruimte bovenop was die ze niet hadden gebruikt.

2. De Oplossing: Een slimme "code" als bouwplan

De auteur van dit paper, Boon Suan Ho, heeft een nieuwe manier gevonden om die ruimte bovenop te vullen. Hij gebruikt geen gewone ballen, maar een wiskundige code.

Stel je die code voor als een heel specifiek bouwplan of een recept.

• Het oude recept gaf je 1024 extra ballen.
• Het nieuwe recept van Ho is veel slimmer en "niet-lineair" (dat betekent dat het niet op een simpele, rechte lijn werkt, maar op een complexere, gekrulde manier).

Dit nieuwe recept bevat 1280 unieke instructies (in plaats van 1024). Elke instructie in dit recept zorgt voor één extra bal die je om de centrale bal kunt plakken zonder dat ze elkaar raken.

3. Hoe werkt het? (De Metafoor van de "Lagen")

Om dit te doen, heeft de auteur een soort nestkast gebruikt:

1. De Basis (M): Een klein, strak groepje ballen (64 stuks).
2. De Middenlaag (K): Een grotere groep die de basis omvat.
3. De Bovenlaag (D): De grootste groep, die eigenlijk een bekend, perfect patroon is (de "Golay-code").

De auteur heeft gekeken naar de ruimte tussen deze lagen. Hij heeft een grafiek getekend (een soort plattegrond) van alle mogelijke posities. Op deze plattegrond zijn sommige posities "verboden" (als ze te dicht bij elkaar staan).

Hij zocht naar een groep vrienden (een "onafhankelijke verzameling") die allemaal met elkaar kunnen praten zonder dat ze elkaar aanraken.

• Hij vond een groep van 5 speciale posities in de middenlaag.
• Omdat elke positie in de basis 64 varianten heeft, werd die groep van 5 al snel 320 ballen (5 x 64).
• Vervolgens nam hij die groep van 320 en vermenigvuldigde hem met 4 (door de bovenste laag te gebruiken).
• Resultaat: 320 x 4 = 1280 nieuwe ballen.

4. Het Eindresultaat

Door deze slimme, nieuwe groep van 1280 ballen toe te voegen aan het oude plan van 10.668 ballen, komt het totaal uit op:
10.668 + 1.280 = 11.948.

Dit betekent dat we nu weten dat je in 19 dimensies minstens 11.948 ballen om één centrale bal kunt leggen. Dat is 256 ballen meer dan we eerder dachten mogelijk te zijn.

Waarom is dit cool?

• Het is een recordbreker: Wiskundigen jagen al decennia op deze getallen. Elke stap omhoog is een grote prestatie.
• Het is een samenwerking met AI: In de dankbetuiging geeft de auteur eerlijk toe dat hij GPT-5.4 Pro (een zeer geavanceerde AI) heeft gebruikt om dit specifieke patroon te vinden. Het is alsof je een meester-bakker bent, maar je hebt een robot-assistent die je het perfecte recept voor de taart heeft bedacht.
• Het is bewijsbaar: Hoewel het abstract klinkt, is het allemaal gebaseerd op simpele controle van getallen (een computer heeft alle 4096 mogelijkheden nagekeken om zeker te weten dat het klopt).

Kortom: De auteur heeft met hulp van een AI een slimmere manier gevonden om ballen te stapelen in een onzichtbare 19-dimensionale wereld, waardoor we nu weten dat er meer ballen in passen dan we ooit hadden gedacht.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het paper "A NEW LOWER BOUND FOR THE KISSING NUMBER IN 19 DIMENSIONS" van Boon Suan Ho, vertaald en samengevat in het Nederlands.

Titel: Een nieuwe ondergrens voor het kussental in 19 dimensies

1. Het Probleem

Het paper adresseert het klassieke probleem van het kussental (kissing number), aangeduid als $k(n)$. Dit is het maximale aantal niet-overlappende eenheidsbollen in de $n$-dimensionale Euclidische ruimte $\mathbb{R}^n$ die een centrale eenheidsbol kunnen raken. Hoewel de waarden voor veel dimensies bekend zijn (bijvoorbeeld $k(3)=12$ en $k(8)=240$), blijft het exacte kussental voor dimensie 19 een open probleem.

De bestaande ondergrens voor $k(19)$ was 11.692, bewezen door Cohn en Li. Hun methode combineerde een bestaande configuratie van 10.668 punten met extra vectoren die werden gegenereerd door een lineaire code met grootte 1024, ingebed in een specifiek 5-gestampte extended binary Golay-code. Het doel van dit paper is deze ondergrens te verbeteren door een grotere, niet-lineaire code te construeren.

2. Methodologie en Constructie

De kern van de bewijsvoering ligt in de constructie van een expliciete niet-lineaire binaire code $A$ met de volgende eigenschappen:

• Lengte: 19
• Grootte: 1280 codewoorden
• Minimale afstand: 5
• Inbedding: De code zit binnen een 5-gestampte extended binary Golay-code (de orthogonale complement van het verkorte Steiner-systeem $S(5, 8, 24)$).

De constructie volgt een hiërarchische aanpak met geneste lineaire codes $M \leq K \leq D$:

1. Definitie van de Codes:

   • $M$: Een lineaire code gegenereerd door 6 vectoren ($m_1, \dots, m_6$) met grootte $|M| = 64$.
   • $D$: De volledige 5-gestampte Golay-code, gegenereerd door de basis van $M$ plus vier extra vectoren ($s_1, \dots, s_4$) en twee coset-representanten ($r_1, r_2$).
   • $K$: Een tussenliggende code gedefinieerd als de span van $M$ en de vectoren $s_1, \dots, s_4$.

2. Grafische Benadering (Clebsch-graf):

   • Er wordt een graf $\Gamma$ gedefinieerd op de vectoren van $D$, waarbij twee vectoren verbonden zijn als hun Hamming-afstand 3 of 4 is. Een onafhankelijke verzameling in deze graf komt overeen met een code met minimale afstand $\geq 5$.
   • De auteurs analyseren de kwotiëntgraf op $K/M$. De vectoren met gewicht 3 of 4 in $K$ vormen vijf niet-nul $M$-cosets.
   • De structuur van deze cosets vormt de Clebsch-graf (een specifieke graf op 16 knopen).

3. Het "5-coclique" Argument:

   • In de Clebsch-graf wordt een 5-coclique (een verzameling van 5 knopen zonder onderlinge verbindingen) geïdentificeerd. Deze komt overeen met de verzameling $T = \{e_1, e_2, e_3, e_4, e_1+e_2+e_3+e_4\}$ in de vectorruimte $\mathbb{F}_2^4$.
   • Omdat er geen randen zijn binnen een enkele $M$-coset en de verzameling $T$ een onafhankelijke verzameling is in de kwotiëntgraf, vormt de volledige pre-afbeelding van $T$ in $K$ een onafhankelijke verzameling.
   • Dit resulteert in een code $B \subset K$ met grootte $5 \times |M| = 5 \times 64 = 320$ en minimale afstand 5.

4. Uitbreiding naar de Volledige Code:

   • De code $B$ wordt uitgebreid naar de volledige code $A$ door vier translaties (cosets) van $B$ binnen $D$ te nemen: $B$, $B+r_1$, $B+r_2$, en $B+r_1+r_2$.
   • Omdat vectoren uit verschillende cosets van $K$ in $D$ nooit een verschil van gewicht 3 of 4 hebben (dus niet verbonden zijn in $\Gamma$), blijft de onafhankelijkheid behouden.
   • Eindgrootte: $|A| = 4 \times 320 = 1280$.

3. Belangrijkste Bijdragen

• Verbetering van de Ondergrens: De paper toont aan dat $k(19) \geq 11.948$. Dit is een verbetering van 256 punten ten opzichte van de vorige recordhouder (11.692).
• Niet-lineaire Constructie: In tegenstelling tot de eerdere aanpak van Cohn en Li die een lineaire code van grootte 1024 gebruikte, presenteert Ho een expliciete niet-lineaire code van grootte 1280.
• Geometrisch Combinatorisch Bewijs: De methode combineert de "odd-sign" constructie van Cohn en Li met een diepgaand gebruik van de structuur van de Clebsch-graf en geneste codes om een grotere verzameling van niet-overlappende bollen te vinden.
• Reproduceerbaarheid: Alle berekeningen zijn elementaire eindige checks (het enumereren van 4096 codewoorden). De auteurs hebben Python-scripts en de exacte coördinaten van de 11.948-punten configuratie openbaar gemaakt.

4. Resultaten

Het centrale resultaat is Stelling 1:

Het kussental in 19 dimensies voldoet aan $k(19) \geq 11.948$.

Dit wordt bereikt door de 10.668 punten uit de bestaande configuratie te combineren met de 1280 nieuwe vectoren gegenereerd door de code $A$. De minimale afstand van 5 in de code $A$ garandeert dat de toegevoegde vectoren voldoen aan de geometrische voorwaarden voor een geldige kussende configuratie.

5. Betekenis en Context

• Vooruitgang in Hoog-Dimensionale Meetkunde: Het paper levert een significante stap voorwaarts in het begrijpen van de dichtheid van bolpakkingen in hoge dimensies. Dimensie 19 is een kritiek punt waar de gap tussen de bekende onder- en bovengrenzen groot is; elke verbetering helpt bij het verfijnen van de theoretische grenzen.
• Rol van AI: Een opmerkelijk aspect van dit paper is de erkenning in de "Acknowledgements" dat GPT-5.4 Pro werd gebruikt om de constructie van de code te ontdekken en te helpen bij de uiteenzetting. Dit markeert een opvallend moment in de wiskundige literatuur waar AI een directe rol speelt in het vinden van een nieuw wiskundig bewijs en een recordbrekende constructie.
• Methodologische Impact: De aanpak toont aan dat het combineren van klassieke coderingstheorie (Golay-codes) met grafentheorie (Clebsch-graf) en moderne AI-gedreven zoekalgoritmen effectief kan zijn voor het oplossen van complexe meetkundige problemen.

Samenvattend biedt dit paper een wiskundig robuust en computergestut bewijs voor een nieuwe ondergrens van het kussental in 19 dimensies, waarbij het een brug slaat tussen traditionele coderingstheorie en de opkomende mogelijkheden van kunstmatige intelligentie in wiskundig onderzoek.