A new lower bound for the kissing number in 19 dimensions

Die Autoren verbessern die untere Schranke für die Kissing-Zahl in 19 Dimensionen auf mindestens 11948, indem sie die Konstruktion von Cohn und Li mit einem expliziten nichtlinearen binären Code kombinieren, der durch verschachtelte Codes und den Clebsch-Graphen erzeugt wird.

Das Wesentliche

Stellen Sie sich vor, Sie sind ein Architekt, der versucht, so viele Kugeln wie möglich um eine zentrale Kugel herum zu stapeln, ohne dass sie sich berühren. In der Mathematik nennt man das das „Kuss-Zahl"-Problem (Kissing Number Problem). Die Frage ist einfach: Wie viele Nachbarn kann eine Kugel in einem bestimmten Raum haben?

In unserem Alltag (3 Dimensionen) ist die Antwort 12. Aber was ist, wenn wir in einer Welt mit 19 Dimensionen leben? Das ist schwer vorstellbar, aber genau darum geht es in diesem Papier von Boon Suan Ho.

Hier ist die einfache Erklärung der Entdeckung, ohne komplizierte Formeln:

1. Das Problem: Ein zu kleiner Stapel

Bisher wussten die Mathematiker Cohn und Li, dass man in 19 Dimensionen mindestens 11.692 Kugeln um eine zentrale Kugel herum stapeln kann. Sie haben das erreicht, indem sie eine sehr clevere, aber etwas starre Methode verwendeten. Man könnte sagen, sie haben einen Stapel gebaut, der solide war, aber sie wussten, dass da noch Lücken waren, die sie nicht füllen konnten.

2. Die Lösung: Ein neuer, flexiblerer Bauplan

Boon Suan Ho hat nun einen Weg gefunden, diesen Stapel zu erweitern. Er hat 256 weitere Kugeln hinzugefügt, was die neue Mindestzahl auf 11.948 hebt.

Wie hat er das gemacht? Er hat nicht einfach Kugeln hinzugefügt, sondern ein neues Muster entworfen.

Stellen Sie sich den Raum als ein riesiges, komplexes Labyrinth vor. Um Kugeln hinzuzufügen, müssen Sie Plätze finden, die weit genug von den anderen entfernt sind, damit sie sich nicht berühren.

• Der alte Weg: Cohn und Li haben nur gerade Linien im Labyrinth benutzt (lineare Codes). Das war sicher, aber es gab viele leere Ecken, die sie nicht nutzen konnten.
• Der neue Weg: Ho hat ein nicht-lineares Muster gefunden. Stellen Sie sich das wie ein gewundenes, krummes Pfadnetzwerk vor, das sich durch die Ecken des Labyrinths schlängelt, wo gerade Linien nicht hinkommen.

3. Die Magie der „Schichten" (Die Konstruktion)

Der Trick im Papier ist wie das Schichten eines Kuchens oder das Stapeln von Matroschen-Puppen:

1. Der Boden (Code M): Er beginnt mit einem kleinen, festen Fundament aus 64 Mustern.
2. Die Mitte (Code K): Darauf baut er eine Schicht, die 16-mal so groß ist. Hier passiert etwas Spannendes: Er schaut sich ein spezielles Netzwerk an, das „Clebsch-Graph" genannt wird. Stellen Sie sich das wie eine Karte von Inseln vor, die durch Brücken verbunden sind. Ho findet eine Gruppe von 5 Inseln, die keine Brücken untereinander haben (eine sogenannte „Coclique").
3. Der Aufstieg: Weil diese 5 Inseln sicher voneinander getrennt sind, kann er jede dieser Inseln mit dem Fundament (den 64 Mustern) kombinieren. Das ergibt 5 × 64 = 320 neue, sichere Plätze.
4. Das Dach (Code D): Schließlich nimmt er diese 320 Plätze und vervierfacht sie, indem er sie in vier verschiedene „Nachbarschaften" (Koseten) verschiebt. Das ergibt 1280 neue, sichere Plätze.

4. Das Ergebnis

Durch dieses geschickte „Nesteln" und Verschieben von Mustern hat Ho 1280 neue Positionen gefunden, an denen Kugeln platziert werden können, ohne die anderen zu berühren.

• Alt: 11.692 Kugeln.
• Neu: 11.692 + 1.280 = 11.948 Kugeln.

Warum ist das wichtig?

Obwohl 19 Dimensionen für uns unvorstellbar sind, helfen solche mathematischen Entdeckungen uns, die Grenzen des Möglichen zu verstehen. Es ist wie beim Lösen eines riesigen Puzzles: Jeder neue Stein, den wir finden, zeigt uns, dass das Bild komplexer und voller ist, als wir dachten.

Ein kleiner Fun-Fact am Ende:
Der Autor erwähnt am Ende des Papiers, dass er bei der Entdeckung dieses Musters von einer KI (GPT-5.4 Pro) unterstützt wurde. Es ist also ein Beispiel dafür, wie Mensch und Maschine zusammenarbeiten, um alte mathematische Rätsel zu lösen.

Zusammenfassend: Der Autor hat einen cleveren Weg gefunden, um in einem hochdimensionalen Raum mehr Kugeln zu stapeln als je zuvor, indem er ein komplexes, verschlungenes Muster nutzte, das die starren Regeln der Vergangenheit umging.

Technische Zusammenfassung

Hier ist eine detaillierte technische Zusammenfassung des vorliegenden Papiers auf Deutsch:

Titel: Eine neue untere Schranke für die Kissing-Zahl in 19 Dimensionen

Autor: Boon Suan Ho

---

1. Das Problem

Die Kissing-Zahl $k(n)$ in $n$ Dimensionen ist definiert als die maximale Anzahl von nicht-überlappenden Einheitskugeln, die eine zentrale Einheitskugel in $\mathbb{R}^n$ berühren können. Für $n=19$ war die bekannte untere Schranke bis vor kurzem $k(19) \ge 11692$, wie von Cohn und Li bewiesen. Das Ziel dieses Papiers ist es, diese Schranke durch die Konstruktion einer größeren Menge von Berührvektoren zu verbessern.

2. Methodik und Konstruktion

Der Ansatz basiert auf dem von Cohn und Li entwickelten Rahmenwerk, das eine ungerade Vorzeichen-Konstruktion (odd-sign construction) verwendet. Die Kernidee besteht darin, zu einer bestehenden Konfiguration von 10.668 Berührpunkten zusätzliche Vektoren hinzuzufügen, die durch einen binären Code mit bestimmten Eigenschaften im orthogonalen Komplement des verkürzten Steiner-Systems $S(5, 8, 24)$ generiert werden.

In 19 Dimensionen entspricht dieses orthogonale Komplement einem 5-gelochten erweiterten binären Golay-Code (5-punctured extended binary Golay code). Jeder Codewort in einem Code, der in diesem Golay-Code enthalten ist und einen Mindestabstand von mindestens 5 hat, liefert einen zusätzlichen Berührvektor.

Die Hauptleistung des Autors liegt in der Konstruktion eines nichtlinearen binären Codes $A$ mit folgenden Spezifikationen:

• Länge: 19
• Größe: 1280 Codewörter
• Mindestabstand: 5
• Einbettung: Der Code $A$ liegt innerhalb des 5-gelochten Golay-Codes $D$.

Der konstruktive Aufbau:
Der Beweis nutzt eine Hierarchie von verschachtelten linearen Codes $M \le K \le D$ mit den Größen:

• $|M| = 64$ ($\dim M = 6$)
• $|K/M| = 16$ ($\dim K = 10$)
• $|D/K| = 4$

Der Prozess gliedert sich in folgende Schritte:

1. Definition der Codes:
   • $M$ wird durch 6 Vektoren ($m_1, \dots, m_6$) erzeugt.
   • $K$ wird durch $M$ und 4 zusätzliche Vektoren ($s_1, \dots, s_4$) erweitert.
   • $D$ (der 5-gelochte Golay-Code) wird durch $K$ und 2 weitere Vektoren ($r_1, r_2$) erweitert.
2. Quotientengraph und Clebsch-Graph:
   • Betrachtet man die Menge $S$ aller Vektoren in $D$ mit einem Hamming-Gewicht von 3 oder 4, so bilden diese die Adjazenzkanten eines Graphen $\Gamma$.
   • Der Quotientengraph auf $K/M$ bezüglich der Menge $S$ ist isomorph zum Clebsch-Graph.
   • Die Menge $T$ (die Bilder der Cosets von $M$ in $K$, die Vektoren aus $S$ enthalten) bildet eine 5-Coclique (eine unabhängige Menge der Größe 5) im Clebsch-Graph.
3. Hebung zum Code $B$:
   • Da $T$ eine unabhängige Menge ist, ist das vollständige Urbild von $T$ in $K$ (bezeichnet als $B$) eine unabhängige Menge im Graphen $\Gamma|_K$.
   • $B$ besteht aus den 5 Cosets von $M$ in $K$, die zu $T$ gehören.
   • Größe von $B$: $5 \times |M| = 5 \times 64 = 320$. Dies ist ein Code mit Mindestabstand$\ge 5$.
4. Vollständiger Code $A$:
   • Der finale Code $A$ wird durch die Vereinigung von $B$ und seinen drei Translaten in den anderen Cosets von $K$ in $D$ gebildet:
     $$A = B \cup (B + r_1) \cup (B + r_2) \cup (B + r_1 + r_2)$$
   • Da keine Kanten zwischen verschiedenen Cosets von $K$ existieren (die Differenz zweier Punkte in verschiedenen Cosets liegt nicht in $S$), bleibt die Unabhängigkeit erhalten.
   • Gesamtgröße: $4 \times 320 = 1280$.

3. Schlüsselergebnisse

• Satz 1: Die Kissing-Zahl in 19 Dimensionen erfüllt die Ungleichung:
  $$k(19) \ge 11948$$
• Verbesserung: Dies stellt eine Steigerung der bisherigen unteren Schranke von 11.692 um 256 Punkte dar.
• Konstruktion: Es wurde ein expliziter nichtlinearer Code der Größe 1280 und Mindestabstand 5 innerhalb des 5-gelochten Golay-Codes konstruiert.

4. Bedeutung und Signifikanz

• Fortschritt in der diskreten Geometrie: Die Arbeit liefert einen der wenigen signifikanten Fortschritte bei der Bestimmung der Kissing-Zahlen in hohen Dimensionen, wo exakte Werte oft unbekannt sind.
• Methodische Innovation: Die Kombination aus der Cohn-Li-Konstruktion mit einer expliziten nichtlinearen Kodierung, die auf der Struktur des Clebsch-Graphen und verschachtelten Codes basiert, zeigt neue Wege auf, um große Kissing-Konfigurationen zu finden.
• Rolle der KI: Im Papier wird explizit erwähnt, dass GPT-5.4 Pro verwendet wurde, um die Konstruktion zu entdecken und bei der Formulierung des Beweises zu unterstützen. Dies unterstreicht das wachsende Potenzial von KI-Systemen bei der Lösung komplexer mathematischer Probleme in der Kombinatorik und Geometrie.
• Reproduzierbarkeit: Alle Berechnungen (Enumeration von 4096 Codewörtern, Überprüfung des Mindestabstands) sind elementare endliche Checks. Der Autor stellt Python-Skripte und Daten für die 11.948-Punkte-Konfiguration öffentlich zur Verfügung.

Zusammenfassend beweist das Papier, dass durch die geschickte Nutzung der algebraischen Struktur des Golay-Codes und graphentheoretischer Eigenschaften (Clebsch-Graph) die untere Schranke für die Kissing-Zahl in 19 Dimensionen signifikant erhöht werden kann.