On Binary Codes That Are Maximal Totally Isotropic Subspaces with Respect to an Alternating Form

Résumé Technique : Sur les Codes Binaires Qui Sont des Sous-Espaces Totalement Isotropes Maximaux par Rapport à une Forme Alternante

Énoncé du Problème
Bien que les codes linéaires binaires auto-duaux (où un code $K$ est égal à son complément orthogonal $K^\perp$ sous le produit scalaire standard) aient été largement étudiés et classifiés pour des longueurs $n \le 40$, il existe un manque de recherches concernant les codes linéaires qui coïncident avec leur complément orthogonal lorsque le produit scalaire sous-jacent n'est pas le produit scalaire standard. Cet article traite de la classification et des propriétés structurelles des codes linéaires binaires qui sont des sous-espaces totalement isotropes maximaux par rapport à une forme bilinéaire alternante spécifique définie sur $\mathbb{F}_2^n$.

Méthodologie
Les auteurs définissent un nouveau produit scalaire sur l'espace vectoriel $V = \mathbb{F}_2^n$ :
$$\langle v, w \rangle := \sum_{i \neq j} v_i w_i = v \cdot w + p(v)p(w)$$
où $v \cdot w$ est le produit scalaire standard et $p(v) = \sum v_i$ est la parité du vecteur. Contrairement au produit scalaire, cette forme est alternante ($\langle v, v \rangle = 0$ pour tout $v$).

L'étude procède par les étapes méthodologiques suivantes :

1. Classification via la Géométrie Symplectique : Les auteurs analysent la structure des sous-espaces totalement isotropes maximaux (lagrangiens) sous cette forme.
   • Pour $n$ impair, la forme est dégénérée avec un radical engendré par le vecteur tout-uns $\mathbf{1}$. Les auteurs établissent une bijection entre les sous-espaces totalement isotropes maximaux de $\mathbb{F}_2^n$ et les codes auto-orthogonaux maximaux de longueur $n$.
   • Pour $n$ pair, la forme est non dégénérée, faisant de $\mathbb{F}_2^n$ un espace symplectique. Les auteurs distinguent les lagrangiens « pairs » (sous-espaces contenus dans le sous-espace de poids pair $V^+$, qui correspondent aux codes auto-duaux standards) et les lagrangiens « impairs » (ceux contenant des vecteurs de poids impair). Ils utilisent une correspondance deux-à-un entre les lagrangiens impairs et les compléments de $\langle \mathbf{1} \rangle$ au sein des lagrangiens pairs pour faciliter la classification.
2. Classification Computationsnelle : En utilisant SageMath, les auteurs implémentent un algorithme pour classifier ces sous-espaces jusqu'à l'action du groupe symétrique $S_n$ (permutation des coordonnées) pour $n \le 24$. Cela implique de générer des représentants de codes auto-duaux, de trouver leurs compléments, et de construire les lagrangiens impairs correspondants. Une formule de masse est utilisée pour vérifier l'exhaustivité de l'énumération.
3. Analyse des Énumérateurs de Poids : Les auteurs dérivent une identité de type MacWilliams spécifique à ce produit scalaire alternant. Ils analysent les énumérateurs de poids de ces codes en étudiant l'action de groupes matriciels spécifiques (isomorphes au groupe diédral $D_8$ et à un groupe plus grand d'ordre 192) sur l'espace des polynômes. Cela leur permet de déterminer la structure algébrique des énumérateurs de poids pour les cas généraux et de Type II (poids divisibles par 4).

Contributions et Résultats Clés

• Classification : L'article fournit une classification complète des sous-espaces totalement isotropes maximaux pour $n \le 24$. Les résultats sont présentés dans le Tableau 1, énumérant le nombre de lagrangiens de Type I et de Type II non équivalents pour les longueurs paires et impaires.
  • Notamment, pour certaines valeurs de $n$, la distance minimale de lagrangiens impairs spécifiques dépasse la plus haute distance minimale réalisable par des codes auto-duaux standards de même longueur.
• Identité de Type MacWilliams : Les auteurs prouvent que l'identité de MacWilliams standard ne s'applique pas à cette forme alternante. À la place, ils dérivent une identité modifiée (Proposition 4.2) reliant l'énumérateur de poids d'un code $K$ à celui de son complément orthogonal $K^\perp$. Cette identité sépare les parties paires et impaires de l'énumérateur de poids, montrant que la partie impaire subit un échange de variables ($x \leftrightarrow y$) dans la transformation.
• Contraintes Structurelles sur les Énumérateurs de Poids :
  • Longueur Impaire : Les auteurs prouvent que l'énumérateur de poids d'un code totalement isotrope maximal de longueur impaire est déterminé par l'énumérateur de poids de sa partie paire. Ils fournissent des structures de modules explicites pour ces énumérateurs sur l'anneau des invariants, distinguant les cas généraux et les cas de Type II (où les poids sont divisibles par 4).
  • Longueur Paire : Pour $n$ pair, l'article établit des contraintes sur les énumérateurs de poids des lagrangiens impairs. Il démontre que pour les lagrangiens impairs de Type II, la longueur $n$ doit satisfaire des congruences spécifiques modulo 8 ($n \equiv 0, 2, \text{ ou } -2 \pmod 8$).
  • L'article fournit des théorèmes détaillés (4.7, 4.9, 4.13, 4.19, 4.21, 4.23) décrivant les énumérateurs de poids comme des éléments de modules libres générés par des polynômes spécifiques sur l'anneau des invariants.
• Propriétés de Décomposition : L'article caractérise les sous-espaces totalement isotropes maximaux décomposables. Il montre qu'un code avec une distance minimale de 1 ou 2 se décompose en un produit direct impliquant des codes plus petits (par exemple, $i_1 \times M$ ou $i_2^k \times M$), permettant une analyse récursive.

Signification
L'article revendique une importance en comblant une lacune dans la littérature concernant les codes linéaires qui sont auto-orthogonaux sous des produits scalaires non standards. En introduisant la forme alternante $\langle v, w \rangle = v \cdot w + p(v)p(w)$, les auteurs ouvrent une nouvelle voie pour l'étude des sous-espaces « lagrangiens » dans les espaces vectoriels binaires.

Le travail est significatif car :

1. Il étend la théorie des codes auto-duaux à un contexte plus large de formes alternantes, révélant de nouvelles classes de codes (lagrangiens impairs) avec des distances minimales potentiellement supérieures à celles des codes auto-duaux traditionnels.
2. Il fournit la première classification complète de ces structures pour de petites longueurs ($n \le 24$).
3. Il établit un cadre théorique (via la nouvelle identité de type MacWilliams) pour analyser les distributions de poids de ces codes, prouvant que leurs énumérateurs sont contraints par des invariants algébriques spécifiques, similaires mais distincts de ceux des codes auto-duaux standards.

Les auteurs notent que la classification des lagrangiens impairs est équivalente à la classification des codes auto-orthogonaux maximaux de longueur impaire, reliant ainsi cette étude aux problèmes existants en théorie des codes tout en offrant de nouvelles perspectives structurelles à travers le prisme de la géométrie symplectique.