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

Stel je voor dat je in het midden van een gigantische, onzichtbare kamer staat. Je houdt een lange, dunne stok vast die vanuit je hand naar de wand wijst. Stel je nu voor dat je een heleboel van deze stokken hebt, allemaal beginnend vanuit je hand, wijzend in verschillende richtingen. In de wereld van de wiskunde wordt dit een "lijnstelsel" genoemd. Meestal houden wiskundigen van het idee dat alles perfect gelijk is. Als je een verzameling stokken hebt waarbij elk paar exact dezelfde hoek maakt, dan noem je dat "gelijkhoekige lijnen", en dat is een beetje als een perfect uitgebalanceerd mobiel dat aan het plafond hangt.

Maar het leven is zelden zo perfect. Soms wil je weten wat er gebeurt als je toestaat dat er twee verschillende hoeken zijn in plaats van slechts één. Dit is de wereld van de "bi-hoekige lijnen". Het is als een dans waarbij partners slechts twee specifieke hoeken kunnen aannemen: misschien een brede, luie leun of een scherpe, snelle draai. De vraag die wiskundigen stellen is: "Hoeveel dansers kunnen we in deze kamer passen voordat ze tegen elkaar opbotsen?" Hoe groter de kamer (hoe hoger de dimensie), hoe meer dansers je denkt te kunnen passen, maar de regels van de geometrie zijn streng. Er is een limiet aan hoeveel stokken je kunt stapelen zonder de "twee-hoeken-regel" te breken.

Dit artikel is een detectiveverhaal over het vinden van het absolute maximum aantal van deze stokken in kamers van specifieke groottes, van dimensie 7 tot en met dimensie 10, en zelfs een blik werpend op dimensie 15. De auteurs, Paul Tricot, onderzoeken een zeer specifiek type dans: een waarbij de hoeken tussen de stokken vaststaan op twee zeer precieze waarden, bepaald door de getallen 1/5 en 3/5. Ze gokken niet zomaar; ze gebruiken een slimme truc die deze dansende stokken verbindt met "integrale roosters". Denk aan een rooster als een gigantisch, onzichtbaar raster van stippen, zoals de punten op een grafiekpapier dat zich oneindig uitstrekt. De auteurs ontdekten dat als je je stokken precies goed arrangeert, ze perfect uitlijnen met de "wortels" (speciale vectoren) van deze rasters. Door deze verbinding te gebruiken, kunnen ze precies bewijzen hoeveel stokken er in de kamer passen en laten ze zien dat de bekende arrangementen daadwerkelijk de beste zijn.

De Grote Stokkenpakwedstrijd

Het artikel richt zich op een specifieke puzzel: In een 7-dimensionale ruimte (wat moeilijk te visualiseren is, dus stel je een kamer voor met 7 verschillende richtingen waarin je kunt bewegen), wat is het maximale aantal lijnen dat je kunt tekenen door het middelpunt als elke paar lijnen elkaar moet ontmoeten onder een hoek van ofwel $\arccos(1/5)$ of $\arccos(3/5)$?

Vóór dit artikel kenden wiskundigen al grote getallen. Voor dimensies 7 tot en met 20 hadden de grootste bekende groepen lijnen groottes zoals 72, 126, 240, enzovoort. Deze waren gebouwd met een slimme methode die gebruikmaakt van speciale roosters (specifiek $E_6$, $E_7$ en $E_8$). Maar niemand wist zeker of dit de grootste groepen waren, of dat iemand er nog een paar stokken bij kon proppen door nog slimmer te zijn.

Tricot's artikel zegt: "Laten we kijken of we het beter kunnen doen." En het antwoord voor dimensies 7, 8 en 9 is een resoluut nee.

Hier is wat het artikel daadwerkelijk heeft gevonden, onderverdeeld per kamergrootte:

• Dimensie 7: Het artikel bewijst dat het maximale aantal lijnen exact 72 is. Als je probeert er 73 te passen, breekt de geometrie. De enige manier om 72 te krijgen, is door het specifieke arrangement te gebruiken dat is opgebouwd uit het $E_6$-rooster. Het is de enige oplossing.
• Dimensie 8: De limiet is 126 lijnen. Opnieuw bewijst het artikel dat je er niet meer kunt passen. De enige manier om dit aantal te bereiken, is door het arrangement afgeleid van het $E_7$-rooster te gebruiken.
• Dimensie 9: De limiet is 240 lijnen. Het bewijs laat zien dat het arrangement van het $E_8$-rooster de unieke winnaar is. Je kunt geen 241ste lijn erbij proppen.
• Dimensie 10: Het artikel zet zich af om ook de grootste stelsels in deze dimensie te classificeren, volgens hetzelfde rigoureuze proces dat gebruikt is voor de lagere dimensies. Echter, de verstrekte tekst van het artikel breekt echter af voordat het definitieve bewijs voor dimensie 10 is voltooid, waardoor die specifieke limiet binnen dit document een werk in uitvoering blijft.

De auteurs hebben niet alleen gegokt naar deze getallen; ze gebruikten een combinatie van logische deductie en computerzoekopdrachten om elke andere mogelijkheid uit te sluiten. Ze lieten zien dat als je aanneemt dat er een grotere groep lijnen bestaat, je uiteindelijk een wiskundige tegenstrijdigheid tegenkomt—zoals het proberen te passen van een vierkante pen in een rond gat, maar het gat is gemaakt van pure wiskunde.

De "Speciale Driehoek" Aanwijzing

Hoe hebben ze dit bewezen? Ze gebruikten een detectiewerktuig genaamd een "speciale driehoek". Stel je drie stokken in je hand voor. Als er twee van hen leunen onder de "brede" hoek ($\arccos(3/5)$) en de derde leunt onder een "scherpe" hoek ($\arccos(-1/5)$, wat de tegenovergestelde is van de brede hoek), vormen zij een speciale driehoek.

Het artikel bewijst dat er in elke grote groep van deze lijnen (72 of meer) deze speciale driehoeken moeten bestaan. Zodra je weet dat ze bestaan, wordt de wiskunde erg rigide. De auteurs toonden aan dat als je deze driehoeken hebt, de gehele groep lijnen gedwongen wordt om uit te lijnen met een specifiek rooster (een lattice). Zodra ze de lijnen dwongen om uit te lijnen met het rooster, konden ze computerprogramma's gebruiken om elke mogelijke manier te controleren waarop de stokken op dat rooster gerangschikt kunnen worden. De computers controleerden miljoenen combinaties en vonden in elk geval dat je niet meer dan de bekende aantallen (72, 126, 240) kon krijgen.

Een Nieuwe Ontdekking in Dimensie 15

Hoewel de hoofdtaak het bewijzen van de limieten voor dimensies 7 tot en met 9 was (en het starten op 10), had het artikel ook een leuke verrassing. In dimensie 15 construeerden de auteurs een nieuw systeem van 456 lijnen. Dit komt overeen met de grootte van het best bekende systeem gevonden door andere wiskundigen (Ganzhinov en Szöllősi), maar dit artikel biedt een frisse manier om het te bouwen. Het is alsof je een nieuw, iets ander recept vindt dat precies dezelfde heerlijke taart maakt. Dit bevestigt dat 456 een zeer sterke kandidaat is voor het maximum in dimensie 15, hoewel het artikel niet beweert dat het bewezen heeft dat dit de absolute limiet is (dat is een moeilijkere taak voor hogere dimensies).

De Kern van het Verhaal

Dit artikel is een overwinning voor de zekerheid. Voor dimensies 7, 8 en 9 weten we nu het exacte maximum aantal lijnen dat kan dansen op de melodie van de hoeken $\arccos(1/5)$ en $\arccos(3/5)$. De getallen zijn 72, 126 en 240. Het artikel bewijst dat de arrangementen die we al kenden niet alleen goed zijn, maar ook de enige manieren zijn om deze maxima te bereiken.

De auteurs gebruikten de verbinding tussen deze lijnen en integrale roosters (de onzichtbare rasters) als een superkracht. Door het probleem van "het passen van stokken" te veranderen in een probleem van "het passen van punten op een rooster", konden ze computers gebruiken om elke mogelijkheid te controleren en te bewijzen dat niemand het beter kan doen. Het is een herinnering aan het feit dat in de uitgestrekte, abstracte wereld van hoog-dimensionale geometrie, soms de meest prachtige patronen ook de enige zijn die passen.