Bounds for Pure Disjoint $(r,\delta)$-Quantum Locally Recoverable Codes

Résumé technique : Bornes pour les codes quantiques localement récupérables (qLRC) disjoints purs (r, δ)

Énoncé du problème
L'article traite des limites fondamentales des codes quantiques localement récupérables (qLRC), en se concentrant spécifiquement sur la classe des qLRC disjoints purs (r, δ). Bien que des recherches antérieures aient établi des bornes pour les qLRC, particulièrement ceux construits via le cadre CSS ou au sein du formalisme des stabilisateurs, il existe un manque de bornes générales pour les codes non-stabilisateurs qui ne reposent pas sur des connexions avec des codes classiques sous-jacents. Les auteurs visent à dériver des bornes supérieures sur la dimension du code $K$ pour les qLRC disjoints purs en utilisant une approche basée sur les énumérateurs de poids, sans supposer une structure de stabilisateur. Le cadre spécifique implique des codes où les ensembles de récupération sont des partitions disjointes de qudits physiques, permettant la correction de jusqu'à $\delta-1$ effacements au sein de tout bloc de récupération locale de taille $N = r + \delta - 1$.

Méthodologie
Les auteurs développent un cadre basé sur les énumérateurs de poids quantiques par blocs et les conditions locales de Knill–Laflamme (KL).

1. Structure locale et conditions KL :
   L'article établit d'abord que pour les qLRC disjoints, la contrainte de localité induit une structure par blocs sur l'espace de code. Les auteurs dérivent des conditions KL locales (Théorème 1), démontrant que la capacité de correction des effacements au sein d'un bloc de récupération $J_\ell$ dépend uniquement du support de code local $Q_\ell$. Plus précisément, une erreur est correctible sur un bloc si et seulement si les projecteurs locaux satisfont des conditions scalaires spécifiques sur les opérateurs d'erreur.

2. Énumérateurs de poids par blocs :
   Pour capturer la distribution des poids d'erreur à travers les ensembles de récupération disjoints, les auteurs introduisent deux nouveaux types d'énumérateurs :

   • Énumérateurs Shor–Laflamme (SL) par blocs ($A^{SL}_i, B^{SL}_i$) : Ils suivent la distribution de poids des erreurs à travers les $s$ blocs de récupération.
   • Énumérateurs unitaires par blocs ($A^U_i, B^U_i$) : Ils sont définis via des traces partielles sur des sous-ensembles de qudits et sont liés aux énumérateurs SL par des identités combinatoires (Corollaire 1).

   Les auteurs prouvent que ces énumérateurs satisfont des identités de MacWilliams et des inégalités analogues au cas quantique standard (Théorème 2 et Théorème 3). Crucialement, ils établissent que pour des motifs d'effacements qui sont correctibles (définis par l'ensemble $T_{d,\delta}$), les énumérateurs par blocs satisfont une condition d'égalité spécifique ($K B^U_i = A^U_i$).

3. Hypothèse de pureté :
   L'analyse se concentre sur les codes purs, définis par la condition que les énumérateurs SL par blocs s'annulent pour tous les motifs d'erreurs correctibles non nuls ($A^{SL}_i = 0$ pour $i \in T_{d,\delta} \setminus \{0\}$). Cette hypothèse simplifie la relation entre les énumérateurs, permettant la dérivation de bornes plus serrées.

4. Dérivation des bornes :
   En utilisant les propriétés de ces énumérateurs et la méthode de programmation linéaire (LP) (adaptée de la théorie du codage classique et de travaux quantiques antérieurs), les auteurs construisent des polynômes auxiliaires basés sur des polynômes de Krawtchouk multivariés pour dériver des bornes supérieures sur la dimension du code.

Contributions clés et résultats

• Conditions KL locales pour les qLRC disjoints : L'article formule des conditions nécessaires et suffisantes pour la correction d'erreurs locales dans les qLRC disjoints, découplant la capacité de récupération locale de la structure globale du code.
• Énumérateurs par blocs : L'introduction des énumérateurs de poids SL et unitaires par blocs fournit un nouvel outil pour analyser les qLRC qui respecte la structure de partition disjointe, comblant l'écart entre les bornes quantiques globales et les contraintes de récupération locales.
• Borne de type Singleton (Théorème 4) : Pour les qLRC disjoints purs (r, δ), les auteurs dérivent une borne de type Singleton :
  $$K \leq q^{n - 2(d-1) - 2\lfloor \frac{n-(d-1)}{N} \rfloor (\delta-1)}$$
  Il est démontré que cette borne est strictement plus forte que la borne connue pour les qLRC disjoints (r, δ) généraux (Équation 7) sous l'hypothèse de pureté. Dans le cas particulier où $\delta=2$, elle retrouve la borne connue des stabilisateurs sans nécessiter de structure de stabilisateur.
• Borne de programmation linéaire (Théorèmes 5 & 6) : Les auteurs dérivent une borne supérieure basée sur la LP. En construisant des polynômes spécifiques avec des coefficients de Krawtchouk non négatifs, ils obtiennent une borne (Équation 9) qui est strictement plus serrée que les versions relaxées de la borne de type Singleton et d'autres bornes connues dans la littérature.
• Cadre non-stabilisateur : Une contribution significative est que ces résultats sont dérivés sans supposer que le code est un code stabilisateur, offrant une perspective théorique plus générale sur les qLRC.

Signification et affirmations
L'article affirme fournir une approche non-stabilisatrice basée sur les énumérateurs de poids pour l'étude des qLRC disjoints purs (r, δ). La signification réside dans :

1. Renforcement des bornes connues : La borne de type Singleton dérivée améliore les bornes existantes pour les qLRC disjoints lorsque la condition de pureté est remplie.
2. Généralité : La méthodologie s'applique aux codes quantiques généraux, pas seulement à ceux possédant une structure de stabilisateur ou ceux construits via des codes CSS.
3. Avancée méthodologique : L'utilisation d'énumérateurs par blocs permet de rendre compte précisément de la manière dont les poids d'erreur sont distribués à travers les ensembles de récupération, permettant la dérivation de contraintes plus serrées via la méthode LP.

Les auteurs notent que leur borne LP coïncide avec la borne pure des stabilisateurs dans certains régimes, et qu'elle est au moins aussi serrée que la borne disjointe pure. Ils concluent que ces résultats jettent les bases de futures extensions aux codes impurs et aux codes avec des ensembles de récupération chevauchants, reflétant les développements dans le cadre classique.