Hermitian hull-variation of vector rank-metric codes and self-orthogonal generalized Gabidulin codes

Résumé technique : Variation de l'enveloppe hermitienne des codes de rang vectoriel et codes de Gabidulin généralisés auto-orthogonaux

Énoncé du problème
Cet article étudie le « problème de la variation de l'enveloppe » pour les codes de rang vectoriel équipés du produit scalaire hermitien. L'enveloppe d'un code linéaire $C$, définie par $H(C) = C \cap C^\perp$, est un sous-code fondamental dont la dimension détermine la faisabilité de certaines constructions, telles que les codes correcteurs d'erreurs quantiques assistés par intrication (EAQECC). Bien que le problème de la variation de l'enveloppe pour les codes euclidiens et hermitiens dans la métrique de Hamming ait été largement résolu (montrant que les codes peuvent souvent être transformés en codes équivalents avec n'importe quelle dimension d'enveloppe prescrite jusqu'à l'originale), le problème analogue pour les codes de rang vectoriel restait ouvert. Plus précisément, l'article examine si tout code de rang vectoriel est équivalent à un code LCD hermitien (Linear Complementary Dual) (c'est-à-dire un code à enveloppe triviale) et si des codes de distance maximale de rang (MRD) peuvent être construits avec n'importe quelle dimension d'enveloppe hermitienne prescrite.

Méthodologie et contributions clés

1. Théorème de variation de l'enveloppe hermitienne :
   Les auteurs établissent que pour les codes de rang vectoriel sur $\mathbb{F}_{q^{2m}}$, la dimension de l'enveloppe hermitienne peut être réduite d'une unité au sein de la classe d'équivalence du code, sous réserve que des conditions spécifiques soient remplies.

   • Cas général ($n \ge 3$ ou $q \ge 4$) : La preuve utilise une approche constructive impliquant des matrices génératrices. En identifiant un vecteur non nul dans l'enveloppe et en appliquant une transformation d'équivalence spécifique $M \in GL_n(\mathbb{F}_q)$, les auteurs montrent que le rang de la matrice $GG^\dagger$ augmente d'une unité, réduisant ainsi la dimension de l'enveloppe d'une unité. Cela repose sur le Lemme 3.1, qui démontre comment l'ajout d'un terme de rang un $\lambda aa^\dagger$ à une matrice hermitienne réduit sa nullité sous des conditions spécifiques.
   • Petits paramètres ($n=2$) : Le cas $n=2$ est traité séparément. Pour $q \ge 4$, la construction générale s'applique. Pour $q=3$, un argument spécifique utilisant des polynômes quadratiques sur $\mathbb{F}_3$ est utilisé pour trouver une transformation qui élimine l'enveloppe.
   • Obstruction : L'article identifie un seul cas exceptionnel où la variation de l'enveloppe est impossible : $(q, n) = (2, 2)$. Dans ce cas précis, les auteurs fournissent un contre-exemple montrant qu'un code à enveloppe non triviale ne peut pas être transformé en un code LCD hermitien équivalent.

2. Base auto-duale de trace mise à l'échelle :
   Pour aborder l'existence de codes MRD avec des dimensions d'enveloppe prescrites, les auteurs introduisent le concept de base auto-duale de trace mise à l'échelle.

   • Des travaux antérieurs ont établi que les bases auto-duales de trace ordinaires pour $\mathbb{F}_{q^{2m}}/\mathbb{F}_q$ n'existent que lorsque $q$ est pair. Cela laissait le cas de $q$ impair ouvert pour la construction de codes de Gabidulin hermitiens auto-orthogonaux.
   • Les auteurs définissent une paire $(\alpha, \lambda)$ où $\alpha$ est une base et $\lambda \in \mathbb{F}_{q^{2m}}^*$ telle que $\text{Tr}(\lambda \alpha_i \alpha_j) = \delta_{ij}$.
   • Ils prouvent qu'une telle base existe pour toute puissance première $q$ et tout entier $m$. La preuve consiste à sélectionner $\lambda$ de telle sorte que sa norme soit égale à l'inverse du déterminant de la matrice de Gram de la forme de trace, transformant ainsi la forme bilinéaire en une forme orthonormée standard.

3. Construction de codes MRD auto-orthogonaux :
   En utilisant la base auto-duale de trace mise à l'échelle, les auteurs construisent des codes de Gabidulin généralisés qui sont hermitiens auto-orthogonaux.

   • Ils démontrent que pour tout $1 \le k \le m$, le code de Gabidulin généralisé $G_{k,s}(\alpha)$ généré par une base auto-duale de trace mise à l'échelle est hermitien auto-orthogonal.
   • Cette construction résout le cas ouvert pour $q$ impair, permettant la création de codes MRD hermitiens auto-duaux (où $k=m$) pour toutes les puissances premières.

Résultats principaux

• Classification de la variation de l'enveloppe : Pour chaque paire $(q, n) \neq (2, 2)$, tout code de rang vectoriel avec une dimension d'enveloppe hermitienne $h$ est équivalent à un code avec une dimension d'enveloppe $\ell$ pour tout $0 \le \ell \le h$. Par conséquent, tout tel code est équivalent à un code LCD hermitien.
• Existence de codes MRD avec enveloppe prescrite : Pour chaque $(q, m) \neq (2, 1)$, chaque dimension $1 \le k \le m$, et chaque dimension d'enveloppe cible $0 \le \ell \le k$, il existe un code MRD dans $\mathbb{F}_{q^{2m}}^{2m}$ avec les paramètres $[2m, k, 2m-k+1]_{q^{2m}/q}$ et une dimension d'enveloppe hermitienne $\ell$.
• Comparaison euclidienne : L'article étend les résultats de variation de l'enveloppe au produit scalaire euclidien pour les codes de rang vectoriel, complétant des cas laissés ouverts dans la littérature précédente. Cependant, il note une divergence significative : contrairement au cadre hermitien, les codes MRD euclidiens auto-orthogonaux n'existent pas en caractéristique paire.

Signification
L'article fournit une solution complète au problème de la variation de l'enveloppe pour les codes de rang vectoriel sous le produit scalaire hermitien, identifiant l'obstruction unique en $(2, 2)$. En introduisant la base auto-duale de trace mise à l'échelle, les auteurs éliminent la restriction de parité sur $q$ qui entravait auparavant la construction de codes de Gabidulin hermitiens auto-orthogonaux. Cela unifie la théorie, garantissant que des codes MRD avec n'importe quelle dimension d'enveloppe hermitienne admissible peuvent être construits pour toutes les puissances premières. Ces résultats sont directement motivés par et applicables à la construction d'EAQECC, où la dimension de l'enveloppe détermine le nombre de paires intriquées pré-partagées requises.