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

Technische Zusammenfassung: Schranken für reine disjunkte $(r, \delta)$-Quanten-lokal rückgewinnbare Codes

Problemstellung
Die vorliegende Arbeit befasst sich mit den fundamentalen Grenzen von Quanten-lokal rückgewinnbaren Codes (qLRCs), wobei der Fokus auf der Klasse der reinen disjunkten $(r, \delta)$-qLRCs liegt. Während frühere Forschungsarbeiten bereits Schranken für qLRCs etabliert haben, insbesondere solche, die über das CSS-Framework konstruiert wurden oder innerhalb des Stabilizer-Formalismus liegen, mangelt es an allgemeinen Schranken für Nicht-Stabilizer-Codes, die nicht auf Verbindungen zu zugrunde liegenden klassischen Codes beruhen. Die Autoren streben die Ableitung von oberen Schranken für die Codedimension $K$ für reine disjunkte qLRCs unter Verwendung eines Gewicht-Enumerator-basierten Ansatzes an, ohne eine Stabilizer-Struktur vorauszusetzen. Der spezifische Kontext umfasst Codes, bei denen die Rückgewinnungs-Mengen disjunkte Partitionen der physikalischen Qudits sind, was die Korrektur von bis zu $\delta-1$ Erasures innerhalb eines jeden lokalen Rückgewinnungsblocks der Größe $N = r + \delta - 1$ ermöglicht.

Methodik
Die Autoren entwickeln ein Framework basierend auf blockweisen Quanten-Gewicht-Enumeratoren und lokalen Knill–Laflamme (KL)-Bedingungen.

1. Lokale Struktur und KL-Bedingungen:
   Die Arbeit stellt zunächst fest, dass für disjunkte qLRCs die Lokalitätsbeschränkung eine blockweise Struktur auf den Coderaum induziert. Die Autoren leiten lokale KL-Bedingungen (Theorem 1) her, die zeigen, dass die Korrigierbarkeit von Erasures innerhalb eines Rückgewinnungsblocks $J_\ell$ ausschließlich von der lokalen Code-Unterstützung $Q_\ell$ abhängt. Konkret ist ein Fehler auf einem Block korrigierbar, wenn und nur wenn die lokalen Projektoren spezifische Skalarbedingungen auf die Fehleroperatoren erfüllen.

2. Blockweise Gewicht-Enumerator:
   Um die Verteilung der Fehlergewichte über die disjunkten Rückgewinnungsmengen zu erfassen, führen die Autoren zwei neue Arten von Enumeratoren ein:

   • Blockweise Shor–Laflamme (SL) Enumeratoren ($A^{SL}_i, B^{SL}_i$): Diese verfolgen die Gewichtverteilung von Fehlern über die $s$ Rückgewinnungsblöcke.
   • Blockweise unitäre Enumeratoren ($A^U_i, B^U_i$): Diese werden über partielle Spuren über Teilmengen von Qudits definiert und stehen über kombinatorische Identitäten in Beziehung zu den SL-Enumeratoren (Corollary 1).

   Die Autoren beweisen, dass diese Enumeratoren MacWilliams-Identitäten und Ungleichungen erfüllen, die analog zu den Standard-Quantenfällen sind (Theorem 2 und Theorem 3). Entscheidend ist, dass für Muster von Erasures, die korrigierbar sind (definiert durch die Menge $T_{d,\delta}$), die blockweisen Enumeratoren eine spezifische Gleichheitsbedingung erfüllen ($K B^U_i = A^U_i$).

3. Reinheitsannahme (Purity Assumption):
   Die Analyse konzentriert sich auf reine Codes, definiert durch die Bedingung, dass die blockweisen SL-Enumerator für alle nicht-null korrigierbaren Fehlermuster verschwinden ($A^{SL}_i = 0$ für $i \in T_{d,\delta} \setminus \{0\}$). Diese Annahme vereinfacht die Beziehung zwischen den Enumeratoren und ermöglicht die Ableitung engerer Schranken.

4. Ableitung von Schranken:
   Unter Verwendung der Eigenschaften dieser Enumeratoren und der Linearen Programmierung (LP) (adaptiert aus der klassischen Codierungstheorie und früheren Quantenarbeiten) konstruieren die Autoren Hilfspolynome basierend auf multivariaten Krawtchouk-Polynomen, um obere Schranken auf die Codedimension abzuleiten.

Wesentliche Beiträge und Ergebnisse

• Lokale KL-Bedingungen für disjunkte qLRCs: Die Arbeit formuliert notwendige und hinreichende Bedingungen für die lokale Fehlerkorrektur in disjunkten qLRCs und entkoppelt die lokale Rückgewinnungsfähigkeit von der globalen Codestruktur.
• Blockweise Enumeratoren: Die Einführung von blockweisen SL- und unitären Gewicht-Enumeratoren bietet ein neues Werkzeug zur Analyse von qLRCs, das die Struktur der disjunkten Partition respektiert und die Lücke zwischen globalen Quanten-Schranken und lokalen Rückgewinnungsbeschränkungen schließt.
• Singleton-ähnliche Schranke (Theorem 4): Für reine disjunkte $(r, \delta)$-qLRCs leiten die Autoren eine Singleton-ähnliche Schranke ab:
  $$K \leq q^{n - 2(d-1) - 2\lfloor \frac{n-(d-1)}{N} \rfloor (\delta-1)}$$
  Es wird gezeigt, dass diese Schranke unter der Reinheitsannahme streng besser ist als die bekannte Schranke für allgemeine disjunkte $(r, \delta)$-qLRCs (Gleichung 7). Im Spezialfall $\delta=2$ reproduziert sie die bekannte Stabilizer-Schranke, ohne eine Stabilizer-Struktur vorauszusetzen.
• Lineare Programmierungs-Schranke (Theorem 5 & 6): Die Autoren leiten eine LP-basierte obere Schranke auf die Codedimension ab. Durch Konstruktion spezifischer Polynome mit nicht-negativen Krawtchouk-Koeffizienten erhalten sie eine Schranke (Gleichung 9), die streng enger ist als relaxierte Versionen der Singleton-ähnlichen Schranke und anderer bekannter Schranken in der Literatur.
• Nicht-Stabilizer-Framework: Ein wesentlicher Beitrag ist, dass diese Ergebnisse ohne die Voraussetzung eines Stabilizer-Codes abgeleitet werden, was eine allgemeinere theoretische Perspektive auf qLRCs bietet.

Bedeutung und Behauptungen
Die Arbeit beansprucht, einen Nicht-Stabilizer-, Gewicht-Enumerator-basierten Ansatz zur Untersuchung reiner disjunkter $(r, \delta)$-qLRCs bereitzustellen. Die Bedeutung liegt in:

1. Stärkung bekannter Schranken: Die abgeleitete Singleton-ähnliche Schranke verbessert bestehende Schranken für disjunkte qLRCs, sofern die Reinheitsbedingung erfüllt ist.
2. Generalität: Die Methodik ist auf allgemeine Quantencodes anwendbar, nicht nur auf solche mit einer Stabilizer-Struktur oder solche, die via CSS-Codes konstruiert wurden.
3. Methodische Weiterentwicklung: Die Verwendung von blockweisen Enumeratoren ermöglicht eine präzise Erfassung der Verteilung der Fehlergewichte über die Rückgewinnungsmengen, was die Ableitung engerer Beschränkungen mittels der LP-Methode ermöglicht.

Die Autoren merken an, dass ihre LP-Schranke in bestimmten Regimen mit der reinen Stabilizer-Schranke übereinstimmt und mindestens so eng wie die reine disjunkte Schranke ist. Sie schließen, dass diese Ergebnisse den Grundstein für zukünftige Erweiterungen auf unreine Codes und Codes mit überlappenden Rückgewinnungsmengen legen, analog zu den Entwicklungen im klassischen Bereich.