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

Technische Samenvatting: Hermitische Hull-Variatie van Vector Rank-Metriek Codes en Zelf-Orthogonale Generaliseerde Gabidulin Codes

Probleemstelling
Dit artikel onderzoekt het "hull-variatieprobleem" voor vector rank-metriek codes uitgerust met het Hermitische inproduct. De hull van een lineaire code $C$, gedefinieerd als $H(C) = C \cap C^\perp$, is een fundamentele subcode waarvan de dimensie de haalbaarheid bepaalt van bepaalde constructies, zoals verstrengelingsondersteunde kwantumfoutcorrectiecodes (EAQECC). Hoewel het hull-variatieprobleem voor Euclidische en Hermitische codes in de Hamming-metriek grotendeels is opgelost (waaruit blijkt dat codes vaak kunnen worden getransformeerd naar equivalente codes met elke voorgeschreven hull-dimensie tot aan de oorspronkelijke), bleef het analoge probleem voor vector rank-metriek codes open. Specifiek behandelt het artikel de vraag of elke vector rank-metriek code equivalent is aan een Hermitische LCD-code (Lineair Complementair Dual, d.w.z. een code met een triviale hull) en of Maximum Rank Distance (MRD)-codes kunnen worden geconstrueerd met elke voorgeschreven Hermitische hull-dimensie.

Methodologie en Belangrijkste Bijdragen

1. Hermitische Hull-Variatie Stelling:
   De auteurs stellen vast dat voor vector rank-metriek codes over $\mathbb{F}_{q^{2m}}$ de Hermitische hull-dimensie met één kan worden verlaagd binnen de equivalentieklasse van de code, mits aan specifieke voorwaarden wordt voldaan.

   • Algemeen Geval ($n \ge 3$ of $q \ge 4$): Het bewijs maakt gebruik van een constructieve aanpak die generatormatrices omvat. Door een niet-nul vector in de hull te identificeren en een specifieke equivalentietransformatie $M \in GL_n(\mathbb{F}_q)$ toe te passen, tonen de auteurs aan dat de rang van de matrix $GG^\dagger$ met één toeneemt, waardoor de hull-dimensie met één wordt verlaagd. Dit is gebaseerd op Lemma 3.1, dat aantoont hoe het toevoegen van een rang-een term $\lambda aa^\dagger$ aan een Hermitische matrix onder specifieke voorwaarden de nulliteit ervan verlaagt.
   • Kleine Parameters ($n=2$): Het geval $n=2$ wordt apart behandeld. Voor $q \ge 4$ is de algemene constructie van toepassing. Voor $q=3$ wordt een specifiek argument gebruikt met kwadratische polynomen over $\mathbb{F}_3$ om een transformatie te vinden die de hull elimineert.
   • Belemmering: Het artikel identificeert één uitzonderlijk geval waar hull-variatie onmogelijk is: $(q, n) = (2, 2)$. In dit specifieke geval leveren de auteurs een tegenvoorbeeld op dat aantoont dat een code met een niet-triviale hull niet kan worden getransformeerd naar een equivalente Hermitische LCD-code.

2. Geschaalde Trace-Zelf-Duale Basis:
   Om het bestaan van MRD-codes met voorgeschreven hull-dimensies aan te pakken, introduceren de auteurs het concept van een geschaalde trace-zelf-duale basis.

   • Vorig werk stelde vast dat gewone trace-zelf-duale bases voor $\mathbb{F}_{q^{2m}}/\mathbb{F}_q$ alleen bestaan wanneer $q$ even is. Dit liet het geval van oneven $q$ open voor het construeren van Hermitische zelf-orthogonale Gabidulin-codes.
   • De auteurs definiëren een paar $(\alpha, \lambda)$ waarbij $\alpha$ een basis is en $\lambda \in \mathbb{F}_{q^{2m}}^*$ zodanig dat $\text{Tr}(\lambda \alpha_i \alpha_j) = \delta_{ij}$.
   • Zij bewijzen dat een dergelijke basis bestaat voor elke priemmacht $q$ en geheel getal $m$. Het bewijs omvat het selecteren van $\lambda$ zodanig dat zijn norm gelijk is aan het inverse van de determinant van de Gram-matrix van de trace-vorm, waardoor de bilineaire vorm wordt getransformeerd naar een standaard orthonormale vorm.

3. Constructie van Zelf-Orthogonale MRD Codes:
   Met behulp van de geschaalde trace-zelf-duale basis construeren de auteurs generaliseerde Gabidulin-codes die Hermitisch zelf-orthogonaal zijn.

   • Zij tonen aan dat voor elke $1 \le k \le m$ de generaliseerde Gabidulin-code $G_{k,s}(\alpha)$ gegenereerd door een geschaalde trace-zelf-duale basis Hermitisch zelf-orthogonaal is.
   • Deze constructie lost het open geval voor oneven $q$ op, waardoor het mogelijk wordt om Hermitische zelf-duale MRD-codes (waarbij $k=m$) te creëren voor alle priem machten.

Belangrijkste Resultaten

• Hull-Variatie Classificatie: Voor elk paar $(q, n) \neq (2, 2)$ is elke vector rank-metriek code met Hermitische hull-dimensie $h$ equivalent aan een code met hull-dimensie $\ell$ voor elke $0 \le \ell \le h. Gevolg: elke dergelijke code is equivalent aan een Hermitische LCD-code.
• Bestaan van MRD Codes met Voorgeschreven Hull: Voor elke $(q, m) \neq (2, 1)$, elke dimensie $1 \le k \le m$, en elke doel-hull-dimensie $0 \le \ell \le k$, bestaat er een MRD-code in $\mathbb{F}_{q^{2m}}^{2m}$ met parameters $[2m, k, 2m-k+1]_{q^{2m}/q}$ en Hermitische hull-dimensie $\ell$.
• Euclidische Vergelijking: Het artikel breidt de hull-variatieresultaten uit naar het Euclidische inproduct voor vector rank-metriek codes, waardoor gevallen die in eerdere literatuur open bleven, worden afgerond. Het merkt echter een significante afwijking op: in tegenstelling tot de Hermitische setting bestaan Euclidische zelf-orthogonale MRD-codes niet in even karakteristiek.

Betekenis
Het artikel biedt een uitgebreide oplossing voor het hull-variatieprobleem voor vector rank-metriek codes onder het Hermitische inproduct, waarbij de unieke belemmering bij $(2, 2)$ wordt geïdentificeerd. Door de introductie van de geschaalde trace-zelf-duale basis, verwijderen de auteurs de pariteitsbeperking op $q$ die eerder de constructie van Hermitische zelf-orthogonale Gabidulin-codes belemmerde. Dit verenigt de theorie, zodat MRD-codes met elke toelaatbare Hermitische hull-dimensie kunnen worden geconstrueerd voor alle priem machten. Deze resultaten worden direct gemotiveerd door en zijn toepasbaar op de constructie van EAQECC's, waarbij de hull-dimensie het aantal vooraf gedeelde verstrengelde paren bepaalt dat vereist is.