🔢 mathematics

Classification of LCD and self-dual codes over a finite non-unital local ring

Cet article étudie les codes LCD et auto-duaux sur l'anneau local non commutatif et non unitaire $E_p$ en établissant des conditions pour les propriétés MDS et AMDS et en fournissant des classifications de ces codes pour de petites longueurs sur $E_2$ et $E_3$ .

Auteurs originaux : Anup Kushwaha, Indibar Debnath, Om Prakash, Patrick Solé

Publié 2026-06-25

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Anup Kushwaha, Indibar Debnath, Om Prakash, Patrick Solé

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 essayez d'envoyer un message secret à travers une pièce bruyante. Pour vous assurer que le message arrive correctement, vous ajoutez des bits de « garde » supplémentaires à votre message. Ces gardes aident à détecter si une lettre a été déformée (détection d'erreurs) ou même à la corriger si elle est erronée (correction d'erreurs). Dans le monde des mathématiques, ces messages sont appelés codes, et les règles qu'ils suivent sont comme la grammaire d'un langage secret.

Pendant des décennies, les mathématiciens ont construit ces langages secrets en utilisant un type de système de nombres très spécifique et bien élevé appelé un corps (pensez à cela comme une grille de nombres parfaite et ordonnée). Mais récemment, des chercheurs ont commencé à se demander : « Et si nous utilisions un système de nombres plus désordonné et chaotique ? »

Cet article explore précisément cela. Les auteurs construisent des codes secrets en utilisant un système de nombres étrange et « désordonné » appelé $E_p$ .

Le Cadre : Un Système de Nombres Chaotique

Considérez le système de nombres $E_p$ comme une pièce avec deux clés spéciales, $r$ et $s$ .

Dans un monde normal, si vous avez une clé, vous pouvez généralement ouvrir n'importe quelle porte. Mais dans cette pièce, il n'y a pas de clé maîtresse (pas d'« identité multiplicative »).
Les règles sont bizarres : Si vous tournez la clé $r$ deux fois, c'est comme si vous la tourniez une seule fois ( $r^2=r$ ). Mais si vous tournez $r$ puis $s$ , vous obtenez $r$ ($rs=r$). Si vous tournez $s$ puis $r$ , vous obtenez $s$ ($sr=s$).
C'est un anneau non commutatif et non unitaire. En langage clair : L'ordre dans lequel vous faites les choses compte, et il n'y a pas de « 1 » pour multiplier.

Les auteurs essaient de construire les meilleurs codes secrets possibles en utilisant cette pièce chaotique.

Les Trois Types de Codes Étudiés

L'article se concentre sur trois types spécifiques de codes, chacun possédant un super-pouvoir particulier :

1. Codes LCD (Les Codes à « Rupture Propre »)

L'Analogie : Imaginez que vous avez une équipe d'espions (votre code) et une équipe de contre-espions (le code « dual »). Habituellement, ces deux équipes pourraient se chevaucher ; un espion pourrait travailler pour les deux camps.
Le But : Un code LCD (Dual Complémentaire Linéaire) est une équipe où les espions et les contre-espions n'ont aucun chevauchement. Ils sont complètement séparés.
Pourquoi c'est important : Dans le monde réel (bien que l'article se concentre sur les mathématiques), ne pas avoir de chevauchement rend le code très sûr contre certains types d'attaques de piratage.
La Découverte de l'Article :

Les auteurs ont trouvé une règle : pour construire un code LCD parfait dans cette pièce chaotique ( $E_p$ ), il suffit de prendre un code LCD parfait provenant d'une pièce normale et ordonnée (un corps $F_p$ ) et de le « traduire » en utilisant une clé spécifique ( $r$ ).
Ils ont compté combien de ces codes uniques existent pour des longueurs de messages courtes (jusqu'à 13 pour la version binaire, 10 pour la version ternaire).
Ils ont également trouvé les versions les plus performantes de ces codes (appelées MDS et AMDS), qui sont les plus efficaces pour corriger les erreurs.

2. Codes Auto-duaux à Gauche (Les Codes « Miroir »)

L'Analogie : Imaginez un code qui est son propre reflet. Si vous regardez le code dans un miroir, vous voyez exactement le même code.
Le But : Un code Auto-dual est un code où l'équipe d'espions est identique à l'équipe de contre-espions.
La Nuance : Parce que notre système de nombres est désordonné (l'ordre compte), nous devons être prudents. Est-ce un « Miroir à gauche » ou un « Miroir à droite » ?

Auto-dual à gauche : Le code est identique lorsqu'il est reflété depuis la gauche.
Auto-dual à droite : Le code est identique lorsqu'il est reflété depuis la droite.
La Découverte de l'Article :
Côté Gauche : Ils ont réussi à construire et à classifier les meilleurs codes (MDS/AMDS) Auto-duaux à gauche pour des longueurs allant jusqu'à 12. Ils ont trouvé que ces codes sont simplement des « traductions » de codes miroirs parfaits du monde ordonné.
Côté Droit : Ils se sont heurtés à un mur. Ils ont prouvé que les codes parfaitement (MDS) Auto-duaux à droite ne peuvent pas exister dans cette pièce chaotique. De plus, les codes « presque parfaits » (AMDS) Auto-duaux à droite ne peuvent exister que si le message fait exactement 2 lettres de long. Tout ce qui est plus long brise les règles.

3. Codes Auto-duaux des Deux Côtés (Les Codes à « Symétrie Parfaite »)

L'Analogie : C'est le code ultime. Il est son propre reflet, à la fois de la gauche et de la droite. Il est parfaitement symétrique.
La Découverte de l'Article :

Ils ont prouvé que ces codes ne peuvent exister que si la longueur du message est un nombre pair (comme 2, 4, 6). On ne peut pas avoir un code parfaitement symétrique avec un nombre impair de lettres dans ce système.
Ils ont également prouvé qu'on ne peut pas avoir un code « parfait » (MDS) avec une distance minimale de 1 (ce qui signifierait que le code est très faible).
Ils ont classifié les meilleurs de ces codes pour des longueurs très courtes (jusqu'à 6 pour la version binaire, 4 pour la version ternaire).

La Vue d'Ensemble : Qu'ont-ils Réellement Fait ?

Les auteurs n'ont pas inventé un nouveau téléphone ou une nouvelle application de chiffrement. À la place, ils ont effectué un inventaire massif des possibilités mathématiques.

Ils ont cartographié le territoire : Ils ont créé un catalogue (des tableaux dans l'article) répertoriant chaque code unique et de premier ordre qu'ils ont pu trouver pour des longueurs de messages courtes dans ce système de nombres chaotique spécifique.
Ils ont trouvé les raccourcis : Ils ont prouvé qu'il n'est pas nécessaire de réinventer la roue. Si vous avez un bon code provenant d'un système de nombres normal, vous pouvez facilement le transformer en un bon code pour ce système chaotique.
Ils ont trouvé les impasses : Ils ont prouvé que certains types de codes (comme les codes parfaits Auto-duaux à droite) sont impossibles dans ce système, évitant ainsi à d'autres mathématiciens de perdre du temps à les chercher.

Résumé

Considérez cet article comme un guide de construction pour un type de jeu de LEGO très spécifique et étrange.

Les briques sont étranges et ne s'emboîtent pas de la manière habituelle.
Les auteurs ont découvert comment construire les tours les plus solides et les plus symétriques (codes) possibles avec ces briques.
Ils ont listé exactement combien de tours uniques on peut construire pour de petites tailles.
Ils ont également prouvé que certains designs de tours sont impossibles à construire avec ces briques.

Le résultat est une carte fondamentale pour quiconque souhaite construire des codes correcteurs d'erreurs en utilisant ce système de nombres étrange et particulier.

Résumé Technique : Classification des codes LCD et auto-duaux sur un anneau local fini non unitaire

Énoncé du Problème
La théorie du codage traditionnelle s'est largement concentrée sur les codes en tant qu'espaces vectoriels sur des corps finis ou des modules sur des anneaux unitaires (principalement commutatifs). Des recherches récentes se sont tournées vers les anneaux non unitaires, pourtant la littérature reste peu abondante concernant les codes sur des anneaux non commutatifs et non unitaires. Cet article traite de la classification et de l'énumération des codes linéaires complémentaires duaux (LCD) et des codes auto-duaux sur un anneau local non unitaire spécifique, noté $E_p$ . L'anneau est défini par deux générateurs $r$ et $s$ avec les relations $pr = ps = 0$, $r^2 = r$ , $s^2 = s$ , $rs = r$, et $sr = s $, où$ p$ est un nombre premier. Les auteurs étudient spécifiquement les codes MDS (Maximum Distance Separable) et AMDS (Almost Maximum Distance Separable) au sein de cette structure algébrique, un domaine jusqu'alors inexploré pour les anneaux non unitaires.

Méthodologie
L'étude emploie l'analyse structurelle algébrique et l'énumération computationnelle. La méthodologie procède selon les étapes suivantes :

Fondements Algébriques : Les auteurs définissent $E_p$ comme un anneau local possédant un idéal maximal unique $I = \{mt \mid 0 \le m < p\}$ , où $t = r + (p-1)s$ . Ils établissent une application de réduction $\alpha: E_p \to E_p/I \cong \mathbb{F}_p$ .
Décomposition des Codes : Pour tout code $E_p$ -linéaire $C$ , les auteurs utilisent le code résiduel $Res(C)$ et le code de torsion $Tor(C)$. Un résultat structurel clé est établi : un code $C$ est libre si et seulement si $Res(C) = Tor(C)$.
Construction de la Dualité et des LCD : L'article définit les duals gauche et droit ( $C^{\perp L}$ et $C^{\perp R}$ ) basés sur le produit euclidien. Il est prouvé qu'aucun code LCD droit non nul n'existe sur $E_p$ , restreignant l'étude aux codes LCD gauches. Les auteurs démontrent qu'un code $E_p$ -LCD est toujours libre et est engendré par une matrice de la forme $rG $, où$ G$ engendre un code LCD sur le corps de base $\mathbb{F}_p$ .
Équivalence Monomiale : L'étude établit que deux codes $E_p$ -linéaires libres sont monomialement équivalents si et seulement si leurs codes résiduels sont monomialement équivalents sur $\mathbb{F}_p$ . Cela permet de réduire l'énumération des codes $E_p$ à l'énumération des codes $\mathbb{F}_p$ .
Caractérisation MDS/AMDS : Des conditions nécessaires et suffisantes sont dérivées montrant qu'un code $E_p$ -linéaire libre est MDS (ou AMDS) si et seulement si son code résiduel est MDS (ou AMDS) sur $\mathbb{F}_p$ .
Énumération Computationnelle : En utilisant le système de calcul algébrique MAGMA et les classifications existantes de codes LCD/auto-duaux binaires et ternaires (citant les travaux d'Araya, Harada et autres), les auteurs énumèrent et classent des codes spécifiques pour des longueurs allant jusqu'à 13 (pour LCD) et 12 (pour les auto-duaux gauches) sur $E_2$ et $E_3$ .

Contributions Clés et Résultats

Codes LCD :
- Ont prouvé que tous les codes LCD sur $E_p$ sont libres et que le nombre de codes LCD monomialement inéquivalents sur $E_p$ est égal à celui sur $\mathbb{F}_p$ pour la même longueur.
- Fournissent des décomptes exacts de codes LCD monomialement inéquivalents sur $E_2$ (longueurs jusqu'à 13) et $E_3$ (longueurs jusqu'à 10).
- Classent tous les codes LCD MDS et AMDS sur $E_2$ et $E_3$ pour des longueurs allant jusqu'à 6, en fournissant des matrices génératrices explicites.
Codes Auto-duaux Gauches :
- Ont établi qu'un code auto-duel gauche sur $E_p$ est libre et que son code résiduel est un code auto-duel sur $\mathbb{F}_p$ .
- Classent les codes auto-duaux gauches MDS et AMDS sur $E_2$ et $E_3$ pour des longueurs allant jusqu'à 12.
- Démontrent que les propriétés MDS et AMDS pour les codes auto-duels gauches sont directement héritées de leurs codes résiduels sur $\mathbb{F}_p$ .
Codes Auto-duaux Droits :
- Ont prouvé la non-existence de codes auto-duels droits MDS sur $E_p$ .
- Montrent que des codes auto-duels droits AMDS existent si et seulement si la longueur du code est 2.
Codes Auto-duaux Bilatéraux (Two-Sided) :
- Ont prouvé que tout code auto-duel MDS ou AMDS sur $E_p$ doit avoir une longueur paire.
- Montrent qu'aucun code auto-duel MDS n'existe avec une distance minimale $d=1$ .
- Classent les codes auto-duels MDS et AMDS sur $E_2$ (longueurs jusqu'à 6) et $E_3$ (longueurs jusqu'à 4).

Signification
L'article affirme être la première tentative d'étude des codes LCD et auto-duaux MDS et AMDS sur un anneau non unitaire. En étendant la théorie des anneaux unitaires et commutatifs vers l'anneau non unitaire et non commutatif $E_p$ , ce travail comble une lacune dans la littérature concernant le codage sur des structures non unitaires. Les résultats fournissent une classification complète pour les courtes longueurs, offrant un cadre fondamental pour de futures investigations dans des structures algébriques similaires. Le travail repose sur la correspondance entre les codes sur $E_p$ et les codes sur $\mathbb{F}_p$ , exploitant efficacement les classifications existantes basées sur les corps pour résoudre le problème sur les anneaux.