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

Les auteurs construisent un ensemble à deux distances de 277 points dans l'espace euclidien de dimension 23, où les distances entre les points sont égales à 2 et $\sqrt{6}$.

L'essentiel

🌟 Le Grand Jeu des Points Éloignés : Une Découverte dans un Monde à 23 Dimensions

Imaginez que vous êtes un architecte dans un monde où vous pouvez construire des structures non pas sur un plan (2D) ou dans une pièce (3D), mais dans un espace gigantesque à 23 dimensions. C'est un monde que notre cerveau ne peut pas visualiser directement, mais que les mathématiciens peuvent manipuler avec des équations.

Dans cet article, trois chercheurs (Hong-Jun Ge, Jack Koolen et Akihiro Munemasa) racontent comment ils ont réussi à placer 277 points dans cet espace étrange, en respectant une règle très stricte et fascinante.

1. La Règle du Jeu : "Deux Distances, Pas Plus"

Imaginez que vous organisez une grande fête dans cette salle à 23 dimensions. Vous invitez 277 invités (les points).
La règle est la suivante : La distance entre n'importe quel couple d'invités ne peut prendre que deux valeurs possibles.

• Soit deux invités sont à une distance "courte" (disons, 2 mètres).
• Soit ils sont à une distance "longue" (disons, $\sqrt{6}$ mètres, soit environ 2,45 mètres).
• Il est interdit d'avoir une distance de 2,1 mètres ou de 3 mètres. Tout le monde doit être soit "proche", soit "loin", mais jamais "à mi-chemin".

C'est ce qu'on appelle un ensemble à 2 distances.

2. Le Défi : Casser le Record

Jusqu'à présent, les mathématiciens savaient qu'il était possible de placer un certain nombre de points selon cette règle. Pour une dimension de 23, la limite théorique "facile" (comme placer les milieux des arêtes d'un polyèdre parfait) donnait environ 276 points.

L'objectif de l'article était de savoir : Peut-on en ajouter un de plus ?
Peut-on faire tenir 277 points en respectant la règle des deux distances ?

La réponse est OUI. C'est comme si vous parveniez à faire entrer une 277ème personne dans une salle de bal déjà pleine, sans que personne ne se cogne ou ne change la distance avec ses voisins.

3. Comment ont-ils fait ? (L'Analogie de la Recette)

Les chercheurs n'ont pas trouvé ces points par hasard. Ils ont suivi une recette mathématique très précise, un peu comme un chef qui assemble des ingrédients spécifiques :

• L'Ingénieur (Le Code) : Ils ont utilisé un objet mathématique appelé le "Code de Golay ternaire". Imaginez cela comme un code secret très complexe, un peu comme un mot de passe à 11 chiffres, mais avec des règles très strictes.
• Le Graphique (La Carte) : Ils ont dessiné une carte (un "graphe") reliant ces points. Certains points sont connectés (amis), d'autres non. Cette carte a une structure si parfaite qu'elle possède des propriétés magiques (des "valeurs propres" spécifiques).
• Le Point Mystère (Le 277ème) : Ils avaient déjà 276 points qui fonctionnaient bien ensemble. Le problème était d'ajouter le 277ème. Ils ont découvert un point spécial, qu'ils appellent "le point de commutation" (ou switching root). C'est un point qui agit comme un aimant ou un pivot : il permet de réorganiser l'espace pour que le nouveau point s'intègre parfaitement sans briser la règle des deux distances.

En résumé, ils ont pris une structure existante de 276 points, ajouté un point "clé" calculé avec une précision chirurgicale, et le tout a fonctionné.

4. Pourquoi est-ce important ? (La Limite de la Salle)

Une fois qu'ils ont réussi à placer ces 277 points, ils se sont demandé : "Peut-on en ajouter un 278ème ?"

La réponse est NON.
Ils ont prouvé que cet arrangement est maximal. C'est comme un puzzle où la dernière pièce est en place. Si vous essayez d'en ajouter une autre, le puzzle se brise : soit la nouvelle pièce est trop loin, soit trop près, et la règle des "deux distances" est rompue.

C'est une découverte importante car elle nous dit exactement jusqu'où on peut aller dans cet espace à 23 dimensions. C'est la limite absolue pour ce type de configuration.

5. L'Analogie Finale : Le Jeu de Billard Multidimensionnel

Imaginez un jeu de billard où les billes ne sont pas sur une table plate, mais flottent dans un univers à 23 dimensions.

• Les chercheurs ont réussi à placer 277 billes.
• La règle est que chaque bille doit toucher ses voisines soit avec une force "faible", soit avec une force "forte". Jamais de force moyenne.
• Ils ont prouvé qu'il est impossible de mettre une 278ème bille sans casser cette harmonie.
• De plus, ils ont montré que si vous essayez de sortir de cet espace (en passant à 24 dimensions), vous pourriez peut-être ajouter une bille, mais une fois revenu à 23 dimensions, c'est impossible.

En Conclusion

Cet article est une victoire de la géométrie pure. Il répond à une question vieille de plusieurs décennies : "Quelle est la taille maximale d'un tel groupe de points en dimension 23 ?"
La réponse est 277.

C'est un peu comme si, après des années de recherche, on découvrait enfin la taille exacte d'une boîte qui peut contenir un nombre spécifique d'objets, prouvant qu'on ne peut pas en mettre un de plus sans tout faire éclater. C'est une belle preuve de la beauté et de la rigueur des mathématiques, même dans des dimensions que nous ne pouvons pas voir.

Résumé technique

Voici un résumé technique détaillé de l'article « A 2-distance set with 277 points in the Euclidean space of dimension 23 » de Hong-Jun Ge, Jack Koolen et Akihiro Munemasa.

1. Problème et Contexte

Définition du problème :
Un ensemble à $s$ distances dans un espace euclidien $\mathbb{R}^d$ est un ensemble de points dont les distances mutuelles ne prennent que $s$ valeurs distinctes. L'article se concentre sur les ensembles à 2 distances.

État de l'art et bornes :

• Blokhuis a démontré que la taille maximale d'un ensemble à 2 distances dans $\mathbb{R}^d$ est bornée par $\binom{d+2}{2}$.
• Pour $d \le 8$, les tailles maximales sont connues.
• Un exemple classique est l'ensemble des milieux des arêtes d'un simplexe régulier de dimension $d$, qui contient $\binom{d+1}{2}$ points.
• Le problème ouvert : Existe-t-il des ensembles à 2 distances dont la taille dépasse $\binom{d+1}{2}$ pour $d > 8$ ? Aucune construction n'était connue pour $d > 8$ avant ce travail.
• Cas spécifique ($d=23$) : La borne inférieure est $\binom{24}{2} = 276$. Glazyrin et Yu ont montré que si l'ensemble est contenu dans la sphère unité $S^{22} \subset \mathbb{R}^{23}$, la taille est bornée par 276. L'objectif est de construire un ensemble de taille 277 dans $\mathbb{R}^{23}$, dépassant ainsi la borne des milieux d'arêtes de simplexe.

2. Méthodologie et Construction

Les auteurs utilisent une approche combinatoire et algébrique basée sur la théorie des graphes et les codes correcteurs d'erreurs.

Étape 1 : Le graphe et la matrice de Seidel

• Ils partent du graphe unique à deux-graphes réguliers sur 276 sommets (décrit par Goethals et Seidel).
• Ce graphe $\Gamma$ est construit à partir de l'union de deux ensembles :
  • $X$ : Un graphe multipartite complet avec 11 parties de 3 sommets chacune ($|X| = 33$).
  • $Y$ : Le dual du code de Golay ternaire ($C^\perp$), contenant 243 vecteurs ($|Y| = 243$).
• Les arêtes sont définies par des conditions sur les poids des vecteurs du code et les indices des parties.
• La matrice de Seidel $S = J - I - 2A(\Gamma)$ de ce graphe possède un spectre spécifique : $\{[55]^{23}, [-5]^{253}\}$.

Étape 2 : Représentation vectorielle dans $\mathbb{R}^{24}$

• En analysant le spectre de la matrice d'adjacence $A(\Gamma)$, les auteurs montrent que $A(\Gamma) + 3I$ est semi-définie positive de rang 24.
• Cela permet d'associer à chaque sommet $u \in X \cup Y$ un vecteur $v_u \in \mathbb{R}^{24}$ tel que :
  • $\langle v_u, v_u \rangle = 3$
  • $\langle v_u, v_v \rangle = 1$ si $u, v$ sont adjacents.
  • $\langle v_u, v_v \rangle = 0$ sinon.
• Les distances carrées entre ces 276 points sont $\{4, 6\}$.

Étape 3 : Réduction de dimension et ajout d'un point

• Les auteurs identifient un racine de commutation (switching root) $r \in \mathbb{R}^{24}$ telle que $\langle r, r \rangle = 2$ et $\langle r, v \rangle = 1$ pour tout $v$ dans l'ensemble initial.
• L'ensemble initial réside dans l'hyperplan affine $\{v \mid \langle v, r \rangle = 1\}$, isomorphe à $\mathbb{R}^{23}$.
• Ils définissent un nouveau vecteur $u = x_1 + x_2 + x_3 - r$, où $\{x_1, x_2, x_3\}$ sont les trois vecteurs correspondant à une partie du graphe multipartite $X$.
• Ils prouvent que le vecteur $u$ est indépendant du choix de la partie et que $\langle u, u \rangle = 5$.

3. Résultats Principaux

Théorème 1 (Construction) :
L'ensemble $Z = \{u\} \cup X \cup Y$ forme un ensemble à 2 distances de taille 277 dans $\mathbb{R}^{23}$ (plongé dans un hyperplan de $\mathbb{R}^{24}$).

• Les distances carrées sont $\{4, 6\}$.
• La taille de 277 dépasse la borne $\binom{24}{2} = 276$.

Proposition 3 (Maximalité) :

• L'ensemble $Z$ est maximal dans $\mathbb{R}^{23}$ : il ne peut pas être étendu à un ensemble à 2 distances plus grand dans cette dimension.
• Dans $\mathbb{R}^{24}$, l'unique extension possible est $Z \cup \{ \frac{1+\sqrt{3}}{2}r \}$.
• La preuve de la maximalité repose sur l'analyse du réseau intégral $M$ engendré par les vecteurs décalés et l'utilisation du logiciel Magma pour vérifier exhaustivement les vecteurs candidats dans le réseau dual $M^*$. Seule une solution spécifique satisfait les conditions de distance.

4. Contributions Clés

1. Résolution d'un problème ouvert : Première construction connue d'un ensemble à 2 distances de taille supérieure à $\binom{d+1}{2}$ pour $d > 8$ (spécifiquement pour $d=23$).
2. Chiffre record : Établissement d'un ensemble de 277 points, brisant la barrière de 276 points qui était considérée comme une limite naturelle liée aux deux-graphes réguliers et aux droites équiangulaires.
3. Méthode de construction : Utilisation ingénieuse du code de Golay ternaire et de la théorie des deux-graphes pour générer une structure géométrique complexe.
4. Preuve de maximalité : Démonstration rigoureuse (assistée par ordinateur) que cet ensemble ne peut pas être agrandi dans la dimension 23, le rendant un candidat fort pour être un ensemble maximal unique (à isométrie et homothétie près), analogue aux résultats de Lisoněk en dimension 7.

5. Signification et Perspectives

• Analogie dimensionnelle : Ce résultat est l'analogue en dimension 23 de l'exemple célèbre de Lisoněk en dimension 7 (29 points, soit $\binom{8}{2}+1$).
• Limites de l'extension : L'article montre que contrairement à la dimension 7 où un ensemble de 29 points peut être étendu à 45 points en dimension 8, l'ensemble de 277 points en dimension 23 ne peut pas être étendu à 325 points ($\binom{26}{2}$) en dimension 24.
• Problème ouvert : Il reste à déterminer s'il existe un ensemble à 2 distances de taille 325 dans $\mathbb{R}^{24}$.
• Impact : Ce travail ouvre de nouvelles pistes pour la classification des ensembles à distances multiples et la compréhension des structures géométriques maximales dans les espaces de haute dimension.

En résumé, cet article présente une avancée majeure en géométrie discrète en construisant et en prouvant la maximalité d'un ensemble à 2 distances de taille record en dimension 23, en s'appuyant sur des structures algébriques profondes (codes de Golay, deux-graphes).