Self-Dual Cyclic Codes with Improved Minimum Distance Estimates via Extending the Chen-Ding Construction

Résumé technique : Codes cycliques autoduels avec des estimations de distance minimale améliorées via l'extension de la construction de Chen-Ding

Énoncé du problème
La construction de codes cycliques autoduels et l'établissement de bornes inférieures rigoureuses sur leurs distances minimales constituent des défis fondamentaux en théorie des codes. Alors que Chen et Ding avaient précédemment établi une base pour la construction de codes cycliques autoduels dans les cas où l'ordre multiplicatif de $q$ modulo $n$, noté $\text{ord}_n(q)$, est impair, le cas où $\text{ord}_n(q)$ est pair est resté moins exploré concernant les propriétés de distance minimale. De plus, les bornes inférieures existantes pour certaines familles de codes cycliques autoduels, particulièrement ceux dérivés de la construction Chen-Ding, n'étaient pas toujours serrées. L'objectif principal de ce travail est d'étendre l'investigation au cas où $\text{ord}_n(q)$ est pair, de raffiner la sélection des paramètres pour les constructions existantes et de dériver des bornes inférieures plus serrées sur les distances minimales, en investiguant spécifiquement si ces codes peuvent dépasser les bornes inférieures de type racine carrée.

Méthodologie
L'article emploie des techniques de la théorie algébrique des codes, se concentrant sur les propriétés structurelles des codes cycliques sur des corps finis $\mathbb{F}_q$ (où $q$ est une puissance de 2). La méthodologie repose sur plusieurs piliers clés :

1. Construction par somme de Plotkin : Les auteurs utilisent la méthode de la somme de Plotkin pour construire des codes cycliques autoduels de longueur $2n$ à partir d'une paire de codes $(C, C^\perp)$ ou $(C, C^{\perp H})$ de longueur $n$. Cette approche transforme les codes cycliques contenant leur dual euclidien ou hermitien en codes autoduels.
2. Analyse des ensembles définissants : Un outil analytique central est l'examen des ensembles définissants (ensembles de zéros) des codes duaux. Les auteurs analysent les segments de zéros consécutifs au sein de ces ensembles définissants. En identifiant des motifs spécifiques de zéros consécutifs, ils appliquent la borne BCH et ses corollaires (tels que la borne de Roos) pour estimer la distance minimale des codes duaux.
3. Raffinement des paramètres : L'étude introduit une sélection raffinée de la distance conçue $\delta$ pour les codes BCH. Les auteurs démontrent que la réduction de $\delta$ dans le code d'origine $C$ peut paradoxalement augmenter la distance minimale de son dual $C^\perp$ (ou $C^{\perp H}$), améliorant ainsi la distance minimale globale du code autoduel résultant $C' = \text{Plotkin}(C, C^\perp)$.
4. Différenciation des cas : L'analyse est stratifiée selon la parité de $\text{ord}_n(q)$ (noté $m$) et le type de dualité (euclidienne ou hermitienne). Une attention particulière est accordée aux cas où $m$ est pair pour les codes euclidiens et où $m$ est impair pour les codes hermitiens, qui étaient auparavant moins bien compris en termes de paramètres exacts.

Contributions clés et résultats

• Extension à l'ordre pair : L'article étend la construction de Chen-Ding au cas où $\text{ord}_n(q)$ est pair. Il construit des codes cycliques autoduels euclidiens avec $m$ pair et des codes cycliques autoduels hermitiens avec $m$ pair, prouvant que leurs distances minimales satisfont des bornes inférieures de type racine carrée.
• Bornes inférieures améliorées via un $\delta$ raffiné : Pour les codes autoduels euclidiens avec $m$ impair et les codes autoduels hermitiens avec $m$ pair, les auteurs proposent un nouveau choix de distance conçue $\delta$. Ce raffinement conduit à des distances minimales plus grandes pour des codes de même longueur et de même dimension par rapport aux constructions précédentes.
  • Pour les codes autoduels euclidiens avec $q=2^s$ ($s \ge 2$) et $m \ge 5$ impair, la distance minimale est montrée comme étant au moins $q^{(m+1)/2} + 3$, améliorant la borne précédente de $q^{(m+1)/2} - q + 1$.
  • Pour le cas binaire ($q=2$) avec $m \ge 5$ impair, la distance minimale est améliorée à au moins $2^{(m+1)/2}$.
• Détermination des paramètres exacts : En exploitant les résultats connus sur les ensembles définissants des codes duaux, l'article détermine les paramètres exacts pour deux classes spécifiques de codes cycliques autoduels :
  • Codes autoduels euclidiens (m pair) : Le code $C'$ construit dans le Théorème 11 possède les paramètres exacts $[2(q^m - 1), q^m - 1, 2(q^{m/2} - 1)]_q$.
  • Codes autoduels hermitiens (m impair) : Le code $C'$ construit dans le Théorème 12 possède les paramètres exacts $[2(q^m - 1), q^m - 1, 2(q^{m_1} - 1)]_q$.
• Dépassement des bornes de racine carrée : Les auteurs établissent que les codes cycliques autoduels euclidiens avec $\text{ord}_n(q)$ pair et les codes cycliques autoduels hermitiens avec $\text{ord}_n(q)$ impair ont des distances minimales qui dépassent strictement la borne inférieure de type racine carrée. Ce résultat répond à un problème ouvert concernant l'existence de familles infinies de codes cycliques binaires autoduels ayant des distances minimales dépassant les bornes de racine carrée.

Signification et affirmations
L'article affirme enrichir la théorie des codes cycliques autoduels en fournissant un cadre plus complet pour leur construction et l'estimation de leurs paramètres. Spécifiquement :

• Il résout la construction et la détermination des paramètres pour les cas de codes cycliques autoduels impliquant des ordres multiplicatifs pairs, qui étaient auparavant moins caractérisés.
• Il démontre qu'une sélection soigneuse de la distance conçue $\delta$ peut produire des bornes inférieures plus serrées sur les distances minimales, remettant en question l'hypothèse selon laquelle les bornes BCH standards sont toujours optimales pour les constructions autoduelles.
• En déterminant les paramètres exacts pour des familles spécifiques, ce travail confirme que ces codes peuvent surpasser les bornes inférieures de type racine carrée, un jalon théorique important.
• Les auteurs notent modestement que, bien que leurs bornes inférieures soient améliorées, il subsiste un écart entre ces bornes théoriques et les distances minimales réelles en pratique. Ils identifient l'existence de bornes plus serrées qui pourraient exploiter davantage de zéros dans l'ensemble définissant (au-delà de la borne de Roos) comme un problème ouvert pour des investigations futures.

Le travail ne propose pas de nouvelles applications expérimentales mais apporte des avancées théoriques sur la structure algébrique et les propriétés de distance de ces codes, offrant de nouvelles perspectives pour l'estimation des bornes inférieures en théorie des codes.