Biangular lines with angles arccos(1/5) and arccos(3/5)

Stellen Sie sich vor, Sie stünden in der Mitte eines riesigen, unsichtbaren Raums. Sie halten einen langen, dünnen Stab in der Hand, der von Ihrer Hand aus zur Wand zeigt. Stellen Sie sich nun vor, Sie hätten eine ganze Menge dieser Stäbe, die alle von Ihrer Hand ausgehen und in verschiedene Richtungen zeigen. In der Welt der Mathematik nennt man das ein „Liniensystem“. Normalerweise lieben Mathematiker es, wenn alles perfekt gleichmäßig ist. Wenn Sie einen Satz von Stäben haben, bei dem jedes Paar exakt denselben Winkel bildet, nennt man das „äquiwinklige Linien“ (equiangular lines) – das ist ein wenig wie ein perfekt ausbalanciertes Mobile, das von der Decke hängt.

Doch das Leben ist selten so perfekt. Manchmal möchte man wissen, was passiert, wenn man zwei verschiedene Winkel statt nur einem zulässt. Das ist die Welt der „biwinkligen Linien“ (biangular lines). Es ist wie ein Tanz, bei dem die Partner nur in zwei spezifischen Winkeln zusammenpassen können: vielleicht ein breiter, träger Schwung oder eine scharfe, schnelle Drehung. Die Frage, die sich Mathematiker stellen, lautet: „Wie viele Tänzer können wir in diesen Raum passen, bevor sie aneinanderstoßen?“ Je größer der Raum (die höhere Dimension), desto mehr Tänzer denkt man vielleicht unterbringen zu können, aber die Regeln der Geometrie sind streng. Es gibt eine Grenze für die Anzahl der Stäbe, die man hineinpacken kann, ohne die „Zwei-Winkel-Regel“ zu verletzen.

Dieses Papier ist eine Detektivgeschichte über die Suche nach der absoluten maximalen Anzahl dieser Stäbe in Räumen bestimmter Größen, von Dimension 7 bis Dimension 10, und es wirft sogar einen Blick auf Dimension 15. Die Autoren, Paul Tricot, untersuchen eine ganz spezifische Art des Tanzes: eine, bei der die Winkel zwischen den Stäben durch zwei sehr präzise Werte festgelegt sind, die durch die Zahlen 1/5 und 3/5 bestimmt werden. Sie raten nicht einfach; sie verwenden einen cleveren Trick, der diese tanzenden Linien mit „ganzzahligen Gittern“ (integral lattices) verbindet. Stellen Sie sich ein Gitter wie ein riesiges, unsichtbares Netz von Punkten vor, wie die Punkte auf einem Graphikpapier, das sich bis ins Unendliche erstreckt. Die Autoren haben entdeckt, dass, wenn man seine Stäbe genau richtig anordnet, sie sich perfekt mit den „Wurzeln“ (speziellen Vektoren) dieser Gitter ausrichten. Durch diesen Zusammenhang können sie genau beweisen, wie viele Stäbe in den Raum passen, und zeigen, dass die bekannten Anordnungen tatsächlich die besten sind.

Der große Stab-Pack-Wettbewerb

Das Papier konzentriert sich auf ein spezielles Rätsel: In einem 7-dimensionalen Raum (der schwer zu visualisieren ist – stellen Sie sich einen Raum mit 7 verschiedenen Richtungen vor, in denen Sie sich bewegen können), was ist die maximale Anzahl an Linien, die man durch den Mittelpunkt ziehen kann, wobei jedes Paar der Linien in einem Winkel von entweder $\arccos(1/5)$ oder $\arccos(3/5)$ zueinander steht?

Vor diesem Papier kannten Mathematiker bereits einige große Zahlen. Für die Dimensionen 7 bis 20 waren die größten bekannten Gruppen von Linien Größen wie 72, 126, 240 und so weiter. Diese wurden mit einer cleveren Methode unter Verwendung spezieller Wurzelgitter (speziell $E_6$, $E_7$ und $E_8$) konstruiert. Aber niemand wusste sicher, ob dies die größten möglichen Gruppen waren oder ob jemand durch noch mehr Cleverness noch ein paar Stäbe mehr hineinquetschen könnte.

Tricots Papier sagt: „Lassen Sie uns prüfen, ob wir es besser machen können.“ Und die Antwort für die Dimensionen 7, 8 und 9 ist ein deutliches Nein.

Hier ist, was das Papier tatsächlich herausgefunden hat, aufgeschlüsselt nach Raumgröße:

• Dimension 7: Das Papier beweist, dass die maximale Anzahl der Linien genau 72 beträgt. Wenn man versucht, 73 unterzubringen, bricht die Geometrie zusammen. Der einzige Weg, um 72 zu erreichen, besteht darin, die spezifische Anordnung zu verwenden, die aus dem $E_6$-Gitter aufgebaut ist. Es ist die einzige Lösung.
• Dimension 8: Das Limit liegt bei 126 Linien. Auch hier beweist das Papier, dass man nicht mehr unterbringen kann. Der einzige Weg, diese Zahl zu erreichen, ist die Verwendung der Anordnung, die aus dem $E_7$-Gitter abgeleitet wurde.
• Dimension 9: Das Limit ist 240 Linien. Der Beweis zeigt, dass die Anordnung aus dem $E_8$-Gitter der eindeutige Gewinner ist. Man kann keine 241. Linie hineinquetschen.
• Dimension 10: Das Papier setzt sich zum Ziel, auch die größten Systeme in dieser Dimension zu klassifizieren, wobei es demselben strengen Prozess folgt, der für die niedrigeren Dimensionen verwendet wurde. Der bereitgestellte Text des Papiers bricht jedoch ab, bevor der endgültige Beweis für die Dimension 10 abgeschlossen ist, wodurch dieses spezifische Limit innerhalb dieses Dokuments als laufendes Projekt zurückbleibt.

Die Autoren haben diese Zahlen nicht geraten; sie haben eine Mischung aus logischer Deduktion und Computersuchen verwendet, um jede andere Möglichkeit auszuschließen. Sie zeigten, dass, wenn man annimmt, es gäbe eine größere Gruppe von Linien, man letztendlich auf einen mathematischen Widerspruch stößt – wie der Versuch, einen quadratischen Steckpin in ein rundes Loch zu stecken, nur dass das Loch aus reiner Mathematik besteht.

Der Hinweis des „besonderen Dreiecks“

Wie haben sie das bewiesen? Sie verwendeten ein Detektivwerkzeug namens „besonderes Dreieck“. Stellen Sie sich drei Stäbe in Ihrer Hand vor. Wenn zwei von ihnen in einem „weiten“ Winkel ($\arccos(3/5)$) lehnen und der dritte in einem „scharfen“ Winkel ($\arccos(-1/5)$, was das Gegenteil des weiten Winkels ist), bilden sie ein besonderes Dreieck.

Das Papier beweist, dass man in jeder großen Gruppe dieser Linien (72 oder mehr) diese speziellen Dreiecke haben muss. Sobald man weiß, dass sie existieren, wird die Mathematik sehr starr. Die Autoren zeigten, dass, wenn diese Dreiecke existieren, die gesamte Gruppe der Linien gezwungen ist, sich an ein spezifisches Gitter (ein Lattice) auszurichten. Sobald sie die Linien dazu zwangen, sich am Gitter auszurichten, konnten sie Computerprogramme nutzen, um jede mögliche Art und Weise zu prüfen, die Stäbe auf diesem Gitter anzuordnen. Die Computer prüften Millionen von Kombinationen und fanden, dass man in jedem Fall nicht mehr als die bekannten Zahlen (72, 126, 240) erreichen konnte.

Eine neue Entdeckung in Dimension 15

Während die Hauptaufgabe darin bestand, die Limits für die Dimensionen 7 bis 9 zu beweisen (und mit 10 zu beginnen), hatte das Papier auch eine schöne Überraschung. In Dimension 15 konstruierten die Autoren ein neues System von 456 Linien. Dies entspricht der Größe des besten bekannten Systems, das von anderen Mathematikern (Ganzhinov und Szöllősi) gefunden wurde, aber dieses Papier bietet einen frischen Weg, es aufzubauen. Es ist, als fände man ein neues, etwas anderes Rezept, das genau denselben köstlichen Kuchen backt. Dies bestätigt, dass 456 ein sehr starker Kandidat für das Maximum in Dimension 15 ist, obwohl das Papier nicht behauptet, bewiesen zu haben, dass dies das absolute Limit ist (das ist eine schwierigere Aufgabe für höhere Dimensionen).

Das Fazit

Dieses Papier ist ein Sieg für die Gewissheit. Für die Dimensionen 7, 8 und 9 wissen wir nun die exakte maximale Anzahl an Linien, die zur Melodie der Winkel $\arccos(1/5)$ und $\arccos(3/5)$ tanzen können. Die Zahlen sind 72, 126 und 240. Das Papier beweist, dass die Anordnungen, die wir bereits kannten, nicht nur gut sind – sie sind die einzigen Wege, um diese Maxima zu erreichen.

Die Autoren nutzten die Verbindung zwischen diesen Linien und ganzzahligen Gittern (den unsichtbaren Rastern) als Superkraft. Indem sie das Problem des „Stäbe-Einpassens“ in ein Problem des „Punkt-Einpassens auf einem Gitter“ verwandelten, konnten sie Computer nutzen, um jede Möglichkeit zu prüfen und zu beweisen, dass niemand besser sein kann. Es ist eine Erinnerung daran, dass in der weiten, abstrakten Welt der hochdimensionalen Geometrie manchmal die schönsten Muster auch die einzigen sind, die passen.