🔢 mathematics

Classification of ternary maximal self-orthogonal codes of length 25

Cet article présente une classification complète des codes auto-orthogonaux maximaux ternaires de longueur 25, étendant les résultats antérieurs qui couvraient les longueurs jusqu'à 24.

Auteurs originaux : Makoto Araya, Masaaki Harada

Publié 2026-05-14

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Makoto Araya, Masaaki Harada

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous soyez un architecte en chef tentant de concevoir le jeu de plans parfait. Dans le monde des mathématiques, plus précisément dans un domaine appelé théorie des codes, ces « plans » sont appelés codes. Ils servent à transmettre des messages (comme du texte ou des images) à travers l'univers sans qu'ils ne soient déformés par du bruit ou des erreurs.

Ce papier porte sur un type spécifique de plan appelé Code Ternaire Maximal Auto-Orthogonal. Cela sonne comme une longue phrase, alors décomposons-le en une histoire simple concernant un club très strict.

Le Cadre : Un Club aux Règles Strictes

Imaginez un club où les membres sont constitués de nombres. Ce club possède trois règles spécifiques :

La Langue : Tout le monde parle une langue ne comportant que trois mots : 0, 1 et 2. (C'est la partie « Ternaire »).
La Longueur : Chaque membre doit avoir exactement 25 nombres sur sa carte d'identité. (C'est la partie « Longueur 25 »).
La Règle « Auto-Orthogonale » : C'est la règle la plus importante du club. C'est comme un « test du miroir ». Si vous prenez deux membres quelconques du club et que vous comparez leurs cartes d'identité, ils doivent être parfaitement « hors phase » d'une manière mathématique. Si vous mélangez leurs nombres ensemble, le résultat doit toujours être zéro. En termes simples : Aucun deux membres ne peuvent être trop similaires. Ils doivent être suffisamment distincts pour s'annuler mutuellement.

L'Objectif : Trouver le Club « Maximal »

Les auteurs de ce papier voulaient trouver chaque version possible de ce club qui soit Maximal.

Maximal signifie que le club est aussi rempli qu'il peut l'être. Vous ne pouvez pas ajouter un seul nouveau membre au club sans briser la règle du « test du miroir ». Si vous essayez d'ajouter une nouvelle personne, elle serait inévitablement trop similaire à quelqu'un déjà à l'intérieur.

L'objectif était donc : Combien de façons différentes existe-t-il pour construire ce club parfait et complet de membres à 25 nombres, où chacun est unique et respecte les règles strictes ?

Le Défi : Une Aiguille dans une Botte de Foin Cosmique

Le nombre de combinaisons possibles est astronomiquement énorme. C'est comme essayer de trouver chaque arrangement possible d'un jeu de cartes, mais le jeu contient 25 cartes, et chaque carte peut être l'une de trois couleurs.

Pour résoudre ce problème, les auteurs n'ont pas simplement deviné. Ils ont utilisé une méthode de construction astucieuse :

L'Analogie des Lego : Ils ont commencé avec des clubs plus petits et connus (codes de longueur 24).
L'Extension : Ils ont tenté d'« allonger » ces petits clubs en ajoutant un nombre supplémentaire à la fin de la carte d'identité de chaque membre.
Le Filtre : Ils ont vérifié chaque nouvelle possibilité pour voir si elle respectait toujours les règles. Si c'était le cas, ils l'ont conservée. Si elle enfreignait les règles, ils l'ont éliminée.

Ils ont également utilisé une « Formule de Masse », qui est comme un tour de passe-passe comptable mathématique. C'est une façon de vérifier leur travail. Imaginez que vous ayez un grand bocal rempli de billes. Vous ne les comptez pas une par une ; au lieu de cela, vous pesez le bocal et vous savez exactement combien de billes il contient en fonction du poids d'une seule bille. Les auteurs ont utilisé cette formule pour prouver qu'ils n'avaient manqué aucun club et qu'ils n'avaient rien compté deux fois.

La Grande Découverte

Après avoir exécuté ces calculs sur des superordinateurs, les auteurs ont trouvé la réponse :

Il existe exactement 139 613 façons différentes de construire ce club parfait de longueur 25.

Ils ne se sont pas arrêtés au nombre total ; ils les ont catégorisés en fonction de la « force » du club. En théorie des codes, la « force » est mesurée par le poids minimal (combien de nombres non nuls un membre possède).

Les Clubs les Plus Forts : 26 de ces clubs sont incroyablement robustes (poids minimal 9).
Les Clubs Moyens : 118 984 clubs sont de force moyenne (poids minimal 6).
Les Clubs les Plus Faibles : 20 603 clubs sont les moins robustes mais toujours valides (poids minimal 3).

Pourquoi Cela Importe-t-il ?

Le papier conclut que ce travail achève un immense puzzle. Les mathématiciens classifient ces clubs pour les longueurs de 3 à 24 depuis des années. Ce papier complète la dernière pièce pour la longueur 25.

Pensez-y comme à un musée. Pendant des années, les conservateurs avaient exposé chaque artefact unique des tailles 3 à 24. Ce papier ajoute l'ensemble complet des collections de taille 25 à l'exposition, assurant que le musée est maintenant complet pour cette plage spécifique.

Les auteurs ont également regardé vers l'avenir, utilisant leurs mathématiques pour estimer combien de clubs pourraient exister pour les longueurs 26, 27, 28, 29 et 30. Ils ont constaté que les nombres deviennent énormes très rapidement (des milliards et des billions), suggérant que classifier ces tailles futures sera un défi encore plus grand.

En résumé : Ce papier est un catalogue définitif. Il nous indique exactement combien de groupes uniques, respectant les règles et maximaux de codes à 25 nombres existent, achevant un projet de classification mathématique de longue date.

Résumé technique : Classification des codes auto-orthogonaux maximaux ternaires de longueur 25

Énoncé du problème
L'article traite de la classification des codes auto-orthogonaux maximaux ternaires. Un code ternaire $C$ sur le corps $\mathbb{F}_3$ est auto-orthogonal si $C \subseteq C^\perp$ . Il est qualifié de maximal s'il n'est pas strictement contenu dans un autre code auto-orthogonal. Alors que les codes auto-orthogonaux maximaux de longueurs allant jusqu'à 24 avaient déjà été classifiés, le cas de la longueur $n=25$ restait ouvert. Plus précisément, les auteurs visent à classifier tous les codes auto-orthogonaux maximaux ternaires non équivalents de longueur 25, qui ont nécessairement une dimension $k=12$ (puisque $n$ est impair, la dimension est $(n-1)/2$ ).

Méthodologie
La classification utilise une approche constructive basée sur les opérations de raccourcissement et d'allongement, combinées à des tests d'équivalence rigoureux et à une vérification par la formule de masse.

Construction par allongement : Les auteurs utilisent l'inverse de l'opération de raccourcissement. Ils construisent des codes auto-orthogonaux maximaux ternaires $[25, 12]$ en étendant des codes auto-orthogonaux ternaires $[24, 11]$ . Étant donné une matrice génératrice d'un code $[24, 11]$ , un nouveau vecteur colonne $b$ est ajouté pour former un code $[25, 12]$ . Le vecteur $b$ doit satisfaire des conditions spécifiques de poids et d'orthogonalité : $\text{wt}(b) \ge d-1$ , $\text{wt}(b) \equiv 2 \pmod 3$ , et $Ab^T = 0$ , où $A$ est la partie de parité de la matrice génératrice. Pour éviter les redondances, seuls les vecteurs dont la première composante non nulle est 1 sont considérés.
Codes sources : La construction repose sur deux sources distinctes :
- Distance duale 1 : Codes dérivés directement de codes auto-duaux ternaires connus $[24, 12]$ par ajout d'une coordonnée nulle.
- Distance duale > 1 : Codes dérivés de la classification complète des codes auto-orthogonaux ternaires $[24, 11]$ . Ces sous-codes ont été énumérés en les extrayant de tous les codes auto-duaux ternaires non équivalents $[24, 12]$ .
Tests d'équivalence : Pour déterminer si deux codes construits sont équivalents, les auteurs emploient une approche d'isomorphisme de graphes. Ils construisent des graphes dirigés colorés en sommets $\Gamma_{W(C)}(C)$ basés sur les mots de code de poids spécifiques (généralement les poids 9, 12 ou 24). Les tests d'isomorphisme et le calcul des groupes d'automorphismes sont effectués à l'aide des logiciels nauty et Magma.
Vérification par la formule de masse : L'exhaustivité de la classification est vérifiée en utilisant la formule de masse pour les codes auto-orthogonaux ternaires. La somme de $2^n n! / |\text{Aut}(C)|$ sur tous les codes non équivalents trouvés est comparée au total théorique $T(n, k)$ .

Résultats clés
L'article établit le théorème suivant :

Théorème 1 : Il existe exactement 139 613 codes auto-orthogonaux maximaux ternaires $[25, 12]$ $[25, 12]$ non équivalents.
- Distribution du poids minimal :
  - 26 codes ont un poids minimal $d=9$ .
  - 118 984 codes ont un poids minimal $d=6$ .
  - 20 603 codes ont un poids minimal $d=3$ .
Sous-classification :
- Les auteurs fournissent une classification complète des codes auto-orthogonaux ternaires $[24, 11]$ , trouvant 1 373 codes avec $d=9$ , 2 745 294 avec $d=6$ , et 339 492 avec $d=3$ .
- La formule de masse a été vérifiée avec succès pour les deux classifications $[24, 11]$ et $[25, 12]$ , confirmant qu'aucun code n'a été manqué.
Groupes d'automorphismes : Des tableaux détaillés sont fournis, listant les ordres des groupes d'automorphismes pour les codes $[25, 12]$ résultants, classés par leurs poids minimaux.

Signification et affirmations
La signification principale de ce travail est l'achèvement de la classification des codes auto-orthogonaux maximaux ternaires pour toutes les longueurs $n$ jusqu'à 25. Les auteurs notent que ce résultat est une conséquence directe de la classification antérieure des codes auto-duaux ternaires de longueur 24.

De plus, l'article déduit des bornes inférieures non serrées pour le nombre de codes auto-orthogonaux maximaux ternaires non équivalents pour les longueurs $n=26$ à $n=30$ en utilisant la formule de masse. Plus précisément, il établit que $N(26) \ge 757 009 213$ et $N(30) \ge 4,9 \times 10^{15}$ .

Enfin, les auteurs identifient une application spécifique de leur classification : elle sert de fondation à un projet futur visant à achever la classification des matrices de pesage d'ordre 25 et de poids 9, en utilisant des méthodes précédemment appliquées à la longueur 24. La liste complète des codes est disponible électroniquement via un dépôt universitaire.

Le Cadre : Un Club aux Règles Strictes

L'Objectif : Trouver le Club « Maximal »

Le Défi : Une Aiguille dans une Botte de Foin Cosmique

La Grande Découverte

Pourquoi Cela Importe-t-il ?

Articles similaires