A 2-distance set with 277 points in the Euclidean space of dimension 23

In dit artikel wordt een verzameling van 277 punten in de 23-dimensionale Euclidische ruimte geconstrueerd waarbij de onderlinge afstanden uitsluitend 2 en $\sqrt{6}$ bedragen.

De kern

Een wiskundig meesterwerk: Het bouwen van een perfecte 277-punten sterrenhemel

Stel je voor dat je een enorme, onzichtbare ruimte hebt. In de wiskunde noemen we dit de "Euclidische ruimte". Voor ons dagelijks leven is dat gewoon de ruimte om ons heen (3 dimensies), maar wiskundigen kunnen denken in 23 dimensies. Dat is heel moeilijk voor te stellen, dus laten we het vergelijken met een reusachtig, 23-dimensionaal laken.

Op dit laken willen we een groepje mensen (punten) neerzetten. De regel is heel simpel, maar ook heel streng: als je de afstand meet tussen elk paar mensen in deze groep, mag er maar twee verschillende afstanden zijn.

Laten we dit een "2-afstandspartij" noemen.

Het oude mysterie

Jarenlang hebben wiskundigen geprobeerd te ontdekken: Hoe groot kan zo'n groepje maximaal zijn?
In een ruimte met 23 dimensies dachten ze dat de limiet ergens rond de 276 punten lag. Er was een bekende manier om 276 punten te maken (door de middelpunten te nemen van de randen van een 23-dimensionale piramide), maar niemand had ooit een groep van 277 kunnen bouwen. Het leek onmogelijk, alsof je probeerde een puzzelstukje te vinden dat er niet zou moeten zijn.

De nieuwe ontdekking

De auteurs van dit artikel (Ge, Koolen en Munemasa) hebben nu bewezen dat het wel kan. Ze hebben een groep van 277 punten ontworpen in die 23-dimensionale ruimte.

Hoe hebben ze dit gedaan? Ze gebruikten geen gewone meetkunde, maar een soort wiskundig Lego-set gebaseerd op twee dingen:

1. Een speciaal netwerk (een graaf): Stel je voor dat je 276 mensen hebt die allemaal met elkaar verbonden zijn via een heel specifiek patroon van handdrukken. Dit patroon is zo gekozen dat het een "perfecte symmetrie" heeft.
2. Een geheime code (de Golay-code): Dit is een oude, zeer krachtige code die wordt gebruikt om fouten in data te corrigeren (zoals bij ruimtevaart of cd's). Ze gebruikten de wiskunde achter deze code om de posities van de punten te bepalen.

De "Magische Schakelaar"

Het echte genie zit in de laatste stap. Ze hadden al die 276 punten, maar ze misten nog één.
Stel je voor dat je een kamer hebt met 276 stoelen die perfect passen. Je wilt er nog één bijzetten, maar dan moet de afstand tot alle andere stoelen nog steeds kloppen met de twee toegestane maten.

Ze vonden een "schakelpunt" (in de tekst een switching root). Dit is als een magische sleutel of een ankerpunt in de ruimte. Door dit ankerpunt te gebruiken, konden ze een 277e persoon plaatsen op een plek die voorheen leek onmogelijk.

• De afstand van deze nieuwe persoon tot de eerste groep was precies de juiste maat.
• De afstand tot de tweede groep was ook precies de juiste maat.

Het resultaat is een perfecte, symmetrische sterrenhemel van 277 punten, waar elke ster precies twee soorten afstanden heeft tot zijn buren.

Waarom is dit belangrijk?

In de wiskunde is het vinden van zo'n groot groepje als een rekord.

• Het breekt de oude grens van 276.
• Het laat zien dat er meer "ruimte" is in die 23 dimensies dan we dachten.
• Ze bewezen ook dat je dit groepje van 277 punten niet kunt uitbreiden naar 278. Het is een "maximaal" groepje. Als je nog één persoon probeert toe te voegen, breekt het hele delicate evenwicht en vallen de afstanden uit elkaar.

De conclusie in het kort

De auteurs hebben een wiskundig kunstwerk gecreëerd: een groep van 277 punten in een 23-dimensionale ruimte, waarbij iedereen precies twee soorten afstanden heeft tot elkaar. Ze hebben bewezen dat dit het maximale aantal is voor deze specifieke configuratie. Het is alsof ze een onmogelijke muur hebben gevonden en er precies één steen in hebben gelegd die er perfect bij past, waarna ze zeiden: "Hier is de muur, en hij kan niet groter."

Het is een mooi voorbeeld van hoe wiskundigen met abstracte codes en hoge dimensies spelen om de grenzen van wat mogelijk is, te verleggen.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "A 2-distance set with 277 points in the Euclidean space of dimension 23" in het Nederlands.

Titel: Een 2-afstandsset met 277 punten in de 23-dimensionale Euclidische ruimte

Auteurs: Hong-Jun Ge, Jack Koolen, Akihiro Munemasa
Datum: 6 maart 2026

---

1. Probleemstelling en Achtergrond

Een $s$-afstandsset in een Euclidische ruimte $\mathbb{R}^d$ is een verzameling punten waarbij de onderlinge afstanden slechts $s$ verschillende waarden aannemen. Het onderzoek naar de maximale grootte van dergelijke sets is een fundamenteel probleem in de combinatorische meetkunde.

• Bestaande grenzen: Blokhuis bewees dat de grootte van een 2-afstandsset in $\mathbb{R}^d$ begrensd is door $\binom{d+2}{2}$.
• De constructie van reguliere simplices: De verzameling van de middelpunten van de ribben van een reguliere $d$-simplex vormt een 2-afstandsset van grootte $\binom{d+1}{2}$.
• Het open probleem: De belangrijkste onderzoeksvraag is of er 2-afstandssets bestaan die groter zijn dan $\binom{d+1}{2}$. Voor dimensies $d > 8$ was er tot nu toe geen constructie bekend van een dergelijke set.
• Specifieke context voor $d=23$:
  • De theoretische bovengrens is $\binom{25}{2} = 300$.
  • De standaardconstructie (middelpunten van ribben van een 23-simplex) levert $\binom{24}{2} = 276$ punten.
  • Glazyrin en Yu hebben bewezen dat als een 2-afstandsset in de eenheidssfeer $S^{22} \subset \mathbb{R}^{23}$ ligt, de grootte maximaal 276 is.
  • De vraag was of er een set van 277 punten bestaat in $\mathbb{R}^{23}$ die niet in de eenheidssfeer ligt (dus in een affiene hypervlak).

2. Methodologie en Constructie

De auteurs construeren een 2-afstandsset van 277 punten in $\mathbb{R}^{23}$ door gebruik te maken van de theorie van twee-grafen (two-graphs), Seidel-matrices en de ternaire Golay-code.

Stap 1: De basisgraf $\Gamma$
De constructie begint met een graf $\Gamma$ met 276 hoekpunten, afgeleid van het unieke reguliere twee-graf op 276 hoekpunten.

• Hoekpunten: De verzameling $V = X \cup Y$.
  • $X$: Een verzameling van $3 \times 11 = 33$ punten, geïnterpreteerd als een compleet multipartiete graf met 11 delen van elk 3 punten.
  • $Y$: De verzameling van vectoren in het duale van de ternaire Golay-code ($C^\perp$), met grootte $3^6 = 243$.
• Randen:
  • Tussen $x \in X$ en $y \in Y$: Er is een rand als de $i$-de coördinaat van $y$ niet gelijk is aan de component $a$ van $x=(a,i)$.
  • Tussen $y, y' \in Y$: Er is een rand als het gewicht van $y - y'$ gelijk is aan 6.

Stap 2: Spectrale analyse en inbedding

• De Seidel-matrix $S = J - I - 2A(\Gamma)$ heeft het spectrum $\{[55]^{23}, [-5]^{253}\}$.
• De auteurs analyseren de eigenvectoren van de adjacentiematrix $A(\Gamma)$. Het spectrum van $A(\Gamma)$ bevat waarden die toelaten dat $A(\Gamma) + 3I$ positief semi-definiet is met rang 24.
• Dit maakt het mogelijk om een verzameling vectoren $V = \{v_u \mid u \in X \cup Y\}$ in $\mathbb{R}^{24}$ te construeren zodanig dat hun inproducten corresponderen met de matrix $A(\Gamma) + 3I$.
• De resulterende set $X \cup Y$ in $\mathbb{R}^{24}$ heeft de volgende eigenschappen:
  • Norm: $\|v\|^2 = 3$.
  • Afstanden: De kwadratische afstanden tussen verschillende punten zijn $\{4, 6\}$.

Stap 3: De "Switching Root" en projectie

• Er wordt een specifieke vector $r \in \mathbb{R}^{24}$ gevonden (de switching root) met $\|r\|^2 = 2$ en $\langle r, v \rangle = 1$ voor alle $v \in X \cup Y$.
• Hierdoor ligt de set $X \cup Y$ in het affiene hypervlak $\{v \in \mathbb{R}^{24} \mid \langle v, r \rangle = 1\}$, dat isomorf is met $\mathbb{R}^{23}$.

Stap 4: Toevoegen van het 277e punt

• De auteurs definiëren een nieuwe vector $u = x_1 + x_2 + x_3 - r$, waarbij $\{x_1, x_2, x_3\}$ een deelverzameling is van één van de 11 delen van $X$.
• Ze bewijzen dat $\langle u, u \rangle = 5$ en dat de kwadratische afstanden van $u$ tot alle punten in $X \cup Y$ ook in de verzameling $\{4, 6\}$ vallen.
• De uiteindelijke set is $Z = \{u\} \cup X \cup Y$, met grootte $1 + 276 = 277$.

3. Belangrijkste Resultaten

1. Constructie van een set van 277 punten:
   De paper presenteert de eerste bekende constructie van een 2-afstandsset in $\mathbb{R}^{23}$ met grootte 277. Dit is één punt groter dan de ondergrens $\binom{24}{2} = 276$ die voortkomt uit de middelpunten van een reguliere simplex.

2. Maximaliteit in $\mathbb{R}^{23}$:
   De auteurs bewijzen dat deze set $Z$ maximaal is in $\mathbb{R}^{23}$. Dat wil zeggen dat het onmogelijk is om een ander punt toe te voegen aan $Z$ binnen $\mathbb{R}^{23}$ zonder dat de 2-afstandseigenschap verloren gaat.

   • Nuance: In de oorspronkelijke ruimte $\mathbb{R}^{24}$ kan de set wel worden uitgebreid met één punt ($Z \cup \{\frac{1+\sqrt{3}}{2}r\}$), maar dit punt ligt niet in het affiene hypervlak dat $\mathbb{R}^{23}$ voorstelt.

3. Uniciteit van de uitbreiding:
   Er wordt aangetoond dat $Z \cup \{\frac{1+\sqrt{3}}{2}r\}$ de enige manier is om een grotere 2-afstandsset in $\mathbb{R}^{24}$ te vormen die $Z$ bevat.

4. Verband met de Golay-code en Twee-grafen:
   De constructie is diep verbonden met de structuur van de ternaire Golay-code en het unieke reguliere twee-graf op 276 hoekpunten. De symmetrieën en eigenschappen van deze structuren zijn cruciaal voor het behoud van de twee specifieke afstanden.

4. Significatie en Implicaties

• Oplossing van een langdurig open probleem: Dit werk beantwoordt de vraag of 2-afstandssets groter dan $\binom{d+1}{2}$ bestaan voor $d > 8$. Het toont aan dat voor $d=23$ een set van grootte $\binom{24}{2} + 1$ mogelijk is.
• Analogie met lagere dimensies: Het resultaat wordt vergeleken met een constructie van Lisoněk uit 1997 voor $\mathbb{R}^7$ (waar een set van 29 punten, oftewel $\binom{8}{2}+1$, bestaat). De auteurs suggereren dat hun set van 277 punten in $\mathbb{R}^{23}$ een hoog-dimensionaal analogon is van Lisoněk's voorbeeld.
• Beperkingen voor verdere uitbreiding: Hoewel de set maximaal is in $\mathbb{R}^{23}$, blijft de vraag open of er een 2-afstandsset van grootte 325 ($\binom{26}{2}$) bestaat in $\mathbb{R}^{24}$. De auteurs tonen aan dat hun set niet kan worden uitgebreid tot zo'n grootte in $\mathbb{R}^{24}$, wat de complexiteit van het probleem in hogere dimensies onderstreept.
• Methodologische bijdrage: Het gebruik van switching roots en de integratie van coderingstheorie (Golay-code) met spectrale grafentheorie biedt een krachtig nieuw kader voor het construeren van dergelijke meetkundige structuren.

Conclusie

Dit artikel levert een doorbraak in de theorie van 2-afstandssets door een expliciete constructie te geven van een set van 277 punten in $\mathbb{R}^{23}$. Het bewijst dat de grootte van een 2-afstandsset de grens $\binom{d+1}{2}$ kan overschrijden voor $d=23$, en vestigt een nieuw record voor de maximale grootte van een dergelijke set in deze dimensie. De set is maximaal in de gegeven dimensie, wat de optimaliteit van de constructie benadrukt.