A new lower bound for the kissing number in 19 dimensions

Each language version is independently generated for its own context, not a direct translation.

Imaginez que vous êtes un architecte de l'espace, mais pas n'importe quel espace : un espace à 19 dimensions. C'est un monde que notre cerveau ne peut pas vraiment visualiser (nous sommes limités à 3 dimensions), mais mathématiquement, il existe.

Dans ce monde, il y a un problème célèbre appelé le nombre de baisers (kissing number). La question est simple : si vous placez une sphère (une boule) au centre, combien d'autres sphères de la même taille pouvez-vous faire toucher cette boule centrale sans qu'elles ne se chevauchent entre elles ?

En 19 dimensions, les mathématiciens savaient déjà qu'on pouvait faire toucher 11 692 sphères. Mais ils se demandaient : « Est-ce qu'on peut en faire toucher encore plus ? »

Ce papier, écrit par Boon Suan Ho (avec l'aide d'une intelligence artificielle nommée GPT-5.4 Pro), répond : Oui ! On peut maintenant en faire toucher 11 948.

Voici comment ils ont fait, expliqué avec des images simples :

1. Le défi : Trouver des places libres

Imaginez que vous avez une immense boîte de rangement (l'espace mathématique) remplie de sphères. Vous avez déjà rempli la boîte avec 11 692 sphères. Il reste des espaces vides, mais ils sont très étranges et difficiles à atteindre.

Pour trouver ces espaces, les mathématiciens utilisent un outil appelé un code binaire. C'est comme une liste de mots composés uniquement de 0 et de 1. Chaque mot de cette liste correspond à une position possible pour une nouvelle sphère.

Le problème, c'est que pour que les sphères ne se touchent pas (ne se chevauchent pas), les mots de la liste doivent respecter une règle stricte : ils doivent être très différents les uns des autres (une règle appelée « distance minimale »).

2. L'ancienne solution vs la nouvelle

L'équipe précédente (Cohn et Li) avait trouvé une liste de 1 024 mots qui respectaient cette règle. En ajoutant ces mots à leur configuration, ils avaient atteint le record de 11 692.

L'auteur de ce papier dit : « Attendez, je peux trouver une liste plus grande ! »
Au lieu d'utiliser une liste simple et linéaire (comme une file d'attente bien rangée), il a construit une liste non-linéaire et plus complexe, contenant 1 280 mots. C'est comme passer d'un petit bus à un grand camion pour transporter plus de sphères.

3. La recette secrète : Les poupées russes

Comment a-t-il construit cette liste géante ? En utilisant une technique de « poupées russes » (des codes imbriqués dans d'autres codes) :

La petite boîte (M) : Il commence par un petit groupe de 64 mots de base.
La boîte moyenne (K) : Il prend cette petite boîte et l'enveloppe dans une boîte plus grande qui contient 16 fois plus de mots (soit 1 024 mots au total).
La grande boîte (D) : Enfin, il prend cette boîte moyenne et l'enveloppe dans la plus grande, qui contient 4 fois plus de mots (soit 4 096 mots au total).

L'astuce géniale réside dans la boîte moyenne (K).
L'auteur a regardé la structure de cette boîte comme un graphique (un dessin avec des points et des lignes). Il a découvert que ce graphique ressemblait à une forme célèbre appelée le graphique de Clebsch.

Dans ce dessin, il a cherché un groupe de points qui ne sont reliés par aucune ligne entre eux (un groupe de « amis » qui ne se parlent pas). Il a trouvé un groupe de 5 points spéciaux.

4. L'explosion finale

Voici la magie :

Ces 5 points spéciaux, une fois « dépliés » à l'intérieur de la petite boîte (M), deviennent 320 mots valides.
Ensuite, il prend ces 320 mots et les copie 4 fois dans les différentes parties de la grande boîte (D).
Résultat : 320 x 4 = 1 280 mots valides !

C'est comme si vous aviez trouvé un motif secret qui, une fois répété dans les coins d'une pièce, vous permettait de placer beaucoup plus de meubles sans qu'ils ne se cognent.

5. Le résultat

En ajoutant ces 1 280 nouvelles positions à la configuration existante de 10 668 sphères, on obtient :
10 668 + 1 280 = 11 948 sphères.

C'est une amélioration de 256 sphères par rapport au record précédent.

En résumé

Ce papier est une victoire de l'ingéniosité mathématique. Au lieu de chercher une solution simple, l'auteur a construit une structure complexe et imbriquée (comme des boîtes dans des boîtes) pour découvrir un motif caché. Ce motif lui a permis de « tasser » un peu plus de sphères dans un espace à 19 dimensions, repoussant les limites de ce que nous savons sur la géométrie de l'univers.

Et le plus drôle ? L'auteur mentionne dans les remerciements qu'il a utilisé une intelligence artificielle (GPT-5.4 Pro) pour découvrir cette construction. C'est un peu comme si l'architecte avait demandé à un assistant robot de dessiner les plans, et que le robot avait trouvé une idée plus brillante que celle des humains seuls !

Each language version is independently generated for its own context, not a direct translation.

Voici un résumé technique détaillé de l'article « A NEW LOWER BOUND FOR THE KISSING NUMBER IN 19 DIMENSIONS » de Boon Suan Ho, rédigé en français.

1. Problématique

Le problème du nombre de contacts (kissing number), noté $k(n)$ , consiste à déterminer le nombre maximal de sphères unitaires non superposées qui peuvent toucher une sphère unitaire centrale dans un espace euclidien de dimension $n$ .
En dimension 19, la borne inférieure connue précédemment était établie par Cohn et Li à 11 692. Cette borne était obtenue en partant d'une configuration de 10 668 points et en ajoutant des vecteurs supplémentaires basés sur un code binaire linéaire de taille 1024, contenu dans le complément orthogonal du système de Steiner $S(5, 8, 24)$ (spécifiquement, un code de Golay binaire étendu poncturé en 5 positions).

L'objectif de cet article est d'améliorer cette borne inférieure en construisant un code binaire non linéaire plus grand (de taille supérieure à 1024) avec une distance minimale suffisante, toujours contenu dans ce même code de Golay poncturé.

2. Méthodologie

L'auteur propose une construction explicite combinant des techniques de théorie des graphes et de théorie des codes. La démarche se décompose en plusieurs étapes clés :

A. Cadre Mathématique

Le travail s'effectue dans le code de Golay binaire étendu poncturé en 5 positions, noté $D$ (de dimension 19).

Objectif : Trouver un sous-ensemble $A \subseteq D$ tel que la distance de Hamming minimale soit d'au moins 5.
Lien géométrique : Selon la construction « odd-sign » de Cohn et Li, chaque mot de code de distance $\ge 5$ dans ce contexte correspond à un vecteur de contact supplémentaire dans $\mathbb{R}^{19}$ .

B. Construction des Codes Emboîtés

L'auteur définit une chaîne de codes linéaires emboîtés :
$M \le K \le D$
avec les tailles suivantes :

$|M| = 64$ ( $\dim M = 6$ )
$|K/M| = 16$ ( $\dim K = 10$ )
$|D/K| = 4$ (Le code $D$ est la réunion de 4 cosets de $K$ )

Les générateurs sont explicitement définis par leurs supports (ensembles d'indices où les bits sont à 1) :

$M$ est engendré par 6 vecteurs ( $m_1, \dots, m_6$ ).
$K$ est engendré par $M$ et 4 vecteurs supplémentaires ( $s_1, \dots, s_4$ ).
$D$ est engendré par $K$ et 2 vecteurs supplémentaires ( $r_1, r_2$ ).

C. Analyse Graphique et Quotient

On définit un graphe $\Gamma$ sur $D$ où deux sommets sont adjacents si leur distance de Hamming est 3 ou 4. Un ensemble indépendant dans ce graphe correspond à un code de distance minimale $\ge 5$ .
L'ensemble des mots de poids 3 ou 4 dans $D$ (noté $S$ ) est analysé. Il se trouve que $S$ est la réunion de 5 cosets non nuls de $M$ dans $K$ .
En quotientant par $M$ , le graphe induit sur $K/M$ est isomorphe au graphe de Clebsch (un graphe fortement régulier sur 16 sommets).
L'ensemble $T$ des images des cosets de $S$ dans $K/M$ forme un 5-coclique (ensemble de 5 sommets indépendants) dans le graphe de Clebsch.

D. Construction du Code Final

Lifting : Le 5-coclique $T$ dans le graphe quotient est « relevé » vers $K$ . Puisque $|M|=64$ , le préimage $B$ de $T$ dans $K$ contient $5 \times 64 = 320 $mots.$ B $est un code de distance$ \ge 5$.
Extension : Le code $D$ est la réunion disjointe de 4 cosets de $K$ (représentés par $0, r_1, r_2, r_1+r_2 $). Comme les arêtes du graphe$ \Gamma $ne relient jamais des cosets distincts de$ K $(la différence entre deux mots de cosets différents n'est jamais dans$ S $), on peut prendre l'union des 4 translates de$ B$.
Résultat : Le code final $A$ est défini comme :
$A = B \cup (B + r_1) \cup (B + r_2) \cup (B + r_1 + r_2)$
Cela donne un code de taille $4 \times 320 = 1280$ avec une distance minimale de 5.

3. Contributions Clés

Construction Non Linéaire : Contrairement à l'approche précédente de Cohn et Li qui utilisait un code linéaire de taille 1024, cette construction produit un code non linéaire de taille 1280.
Utilisation du Graphe de Clebsch : L'article exploite la structure algébrique du graphe de Clebsch pour identifier un ensemble indépendant maximal (5-coclique) qui permet d'agrandir le code au-delà des limites des codes linéaires standards dans ce contexte.
Vérification Explicite : L'auteur fournit une construction explicite avec des coordonnées précises pour les vecteurs de base, permettant une vérification reproductible.

4. Résultats

Le résultat principal est l'amélioration de la borne inférieure pour le nombre de contacts en dimension 19 :
$k(19) \ge 10\,668 + 1\,280 = 11\,948$
Cela représente une amélioration de 256 par rapport à la borne précédente de 11 692.

Le théorème est démontré en appliquant la construction de Cohn et Li au nouveau code $A$ de taille 1280. Chaque mot de code ajoute un vecteur de contact valide à la configuration initiale.

5. Signification et Impact

Avancée Théorique : Ce travail démontre que l'utilisation de codes non linéaires, construits via des structures de graphes spécifiques (comme le graphe de Clebsch), peut surpasser les meilleures constructions linéaires connues pour les problèmes de nombres de contacts en haute dimension.
Méthodologie Hybride : L'article illustre une synergie efficace entre la théorie des codes, la théorie des graphes et la géométrie des nombres.
Ressources Open Source : L'auteur met à disposition des scripts Python et des fichiers de données contenant les coordonnées exactes de la configuration de 11 948 points, facilitant la reproduction et l'extension future de ces résultats.
Note sur la découverte : L'article mentionne de manière transparente que la construction a été découverte avec l'aide de l'IA (GPT-5.4 Pro), soulignant le rôle croissant de l'intelligence artificielle dans la recherche mathématique fondamentale pour explorer des espaces de solutions complexes.

En résumé, cet article établit une nouvelle référence pour le nombre de contacts en dimension 19 en prouvant qu'il est possible d'empiler plus de sphères que ce que l'on croyait possible, grâce à une ingénierie fine de codes binaires non linéaires.