Quantum MDS codes from complements of unions of finite-field subsets

Technische Samenvatting: Kwantum MDS-codes uit complementen van unies van eindveld-subsets

Probleemstelling
De constructie van kwantum maximum-distance-separable (MDS) codes met minimale afstanden die de $q/2 + 1$ overstijgen voor lengtes $n > q+1$ blijft een significante uitdaging in de kwantumcoderingstheorie. Hoewel de Hermitische constructie dit probleem reduceert tot het vinden van klassieke Hermitische zelf-orthogonale Generalized Reed–Solomon (GRS) codes over $\mathbb{F}_{q^2}$, kampen bestaande methoden gebaseerd op trace-afbeeldingen, lineaire transformaties en cosets van multiplicatieve subgroepen vaak met beperkingen in de bereikbare minimale afstanden voor specifieke code-lengtes. Specifiek is er behoefte aan nieuwe constructies die kwantum MDS-codes opleveren met strikt grotere minimale afstanden dan die verkrijgbaar zijn uit eerder bekende families, hetzij direct, hetzij via de propagatieregel.

Methodologie
De auteurs stellen een verenigd kader voor het construeren van Hermitische zelf-orthogonale GRS-codes door gebruik te maken van complementen van unies van subsets van $\mathbb{F}_{q^2}$ (of $\mathbb{F}_{q^2}^*$) als locator-sets.

1. Theoretisch Kader:

   • Laat $X \in \{\mathbb{F}_{q^2}, \mathbb{F}_{q^2}^*\}$ en $B \subset X$ een unie zijn van geselecteerde subsets. De locator-set wordt gedefinieerd als $A = X \setminus B$.
   • De auteurs leiden een voldoende voorwaarde af voor Hermitische zelf-orthogonaliteit (Stelling 3.3) door de Lagrange-coëfficiënten van $A$ uit te drukken in termen van de verdwijnende polynoom van $B$.
   • Deze voorwaarde berust op de Frobenius-automorfisme $x \mapsto x^q$ en vereist het vinden van een polynoom $G(x)$ waarvoor geldt dat $G(\alpha)^q = \gamma G(\alpha)$ voor alle $\alpha \in A$, waarbij $\gamma$ een specifiek element is in de kern van de norm-afbeelding.
   • De kolom-multiplicatoren $v_\alpha$ worden gekozen zodanig dat hun normen specifieke restricties voldoen die afgeleid zijn van de verdwijnende polynomen van de constituerende subsets.

2. Constructie van Vijf Families:
   De auteurs passen deze algemene voorwaarde toe om vijf verschillende families van Hermitische zelf-orthogonale GRS-codes te construeren door verschillende typen subsets te combineren:

   • Familie I: Combineert verzamelingen met voorgeschreven normwaarden ($U_\nu$) en cosets van multiplicatieve subgroepen ($M_\delta$).
   • Familie II: Combineert verzamelingen met voorgeschreven trace-waarden ($L_c$) en cosets ($M_\delta$).
   • Familie III: Combineert verzamelingen met voorgeschreven trace-waarden ($L_c$) en verzamelingen met voorgeschreven normwaarden ($U_\nu$).
   • Familie IV: Combineert twee families van verzamelingen met voorgeschreven trace-waarden ($L_c$ en $K_e$) met cosets ($M_\delta$).
   • Familie V: Combineert twee families van verzamelingen met voorgeschreven trace-waarden ($L_c$ en $K_e$) met verzamelingen met voorgeschreven normwaarden ($U_\nu$).
   • Cruciaal is dat het kader toestaat dat er niet-lege intersecties zijn tussen de subsets, waarbij de code-lengte wordt bepaald door de cardinaliteit van de unie $B$ via het inclusie-exclusie principe.

3. Parametervergelijking:
   De resulterende kwantumcodes delen een gemeenschappelijk parameterformaat: lengte $n = q^2 - Sq + \theta$ en een bereik voor de minimale afstand $2 \le d \le d^* = q - S + 1$. De auteurs vergelijken deze parameters systematisch met:

   • Constructies gebaseerd op trace-afbeeldingen gecombineerd met subspaces of norm-afbeeldingen (Fang et al.).
   • Constructies gebaseerd op affiene en projectieve lineaire transformaties (Li et al.).
   • Constructies gebaseerd op cosets van multiplicatieve subgroepen (diverse auteurs, vermeld als R5–R20 in de Appendix).
   • Vergelijkingen houden rekening met codes die afgeleid zijn via de propagatieregel.

Kernresultaten

1. Bestaan van Vijf Families: Het artikel stelt het bestaan vast van vijf families van $q$-aire kwantum MDS-codes met minimale afstanden $d^* = q - S + 1$. Voor voldoende grote $q$ voldoen deze afstanden aan $d^* > q/2 + 1$.
2. Strikte Verbeteringen ten opzichte van Trace-gebaseerde Constructies:
   • De auteurs leiden bovengrenzen af voor de minimale afstanden van codes verkregen uit trace-subspace en trace-norm constructies (Propositie 4.3).
   • Zij bieden voldoende voorwaarden (Corollary 4.4) waaronder hun vijf families strikt grotere minimale afstanden bereiken dan deze trace-gebaseerde constructies bij dezelfde lengte. Deze verbeteringen treden op voor oneindig veel waarden van $q$.
3. Strikte Verbeteringen ten opzichte van Lineaire Transformatie Constructies:
   • Voor het bereik $(q^2 - 1)/2 < n < q^2$ bepalen de auteurs de grootste minimale afstand die bereikbaar is met lineaire transformatie-constructies (Propositie 4.5).
   • Het toepassen hiervan op hun tweede familie levert een tweeparameter-familie op van lengte $n = (q-R)(q-b)$ (Corollary 4.7). Onder specifieke voorwaarden bereikt deze familie een minimale afstand die strikt groter is dan de best mogelijke vanuit lineaire transformaties.
   • De winst in minimale afstand ($d^* - d_{LLJ}$) groeit lineair met $q$ voor vaste parameters $R$ en $b$ (Corollary 4.8).
4. Strikte Verbeteringen ten opzichte van Coset-gebaseerde Constructies:
   • Door congruentievoorwaarden op de lengtes van codes uit families R5–R16 te analyseren, leiden de auteurs vaste-lengte bovengrenzen af voor hun minimale afstanden (Corollary 4.10).
   • Zij tonen aan dat hun tweede constructie (Corollary 4.11) codes oplevert met lengtes $n = (q-R)(q-b)$ die deze grenzen strikt overschrijden.
   • Bovendien demonstreren zij dat codes uit families R17–R20 de lengtes die door hun verbeteringen worden gedekt niet kunnen bereiken, omdat hun oorspronkelijke lengtes begrensd zijn door $(q^2-1)/2$.

Significantie
Het artikel claimt een systematische methode te bieden voor het construeren van kwantum MDS-codes met verbeterde parameters door gebruik te maken van de algebraïsche structuur van complementen van unies van eindveld-subsets. De primaire significantie ligt in:

• Generalisatie: De voldoende voorwaarde voor Hermitische zelf-orthogonaliteit is van toepassing op elke eindige collectie subsets die specifieke hypothesen bevredigt, wat complexe intersecties mogelijk maakt.
• Parameterexpansie: De constructies leveren kwantum MDS-codes op met lengtes $n = q^2 - O(q)$ en minimale afstanden $d^* = q - O(1)$, specifiek groter dan $q/2 + 1$.
• Bewijsbare Superieuriteit: Het artikel biedt rigoureuze bewijzen dat, onder geschikte parametercondities, deze nieuwe codes strikt grotere minimale afstanden bezitten dan die verkrijgbaar zijn uit verschillende prominente bestaande constructies (trace-gebaseerd, lineaire transformatie-gebaseerd en coset-gebaseerd) bij dezelfde code-lengte.
• Oneindige Families: De auteurs tonen specifieke oneindige subfamilies aan waarbij de winst in minimale afstand over bekende constructies lineair groeit met $q$.

Dit werk stelt geen experimentele implementaties of nieuwe fysieke toepassingen voor, maar richt zich op de theoretische vooruitgang van de parameterruimte voor kwantumfoutcorrigerende codes. Toekomstig werk wordt gesuggereerd om deze methode uit te breiden naar uitgebreide GRS-codes en andere gestructureerde subsets met berekenbare intersecties.