Multi-Path Quantum Key Distribution Transport: A Four-Order Mathematical Framework with Provable Zero-Interruption Under Stated Provisioning Conditions

Technische Zusammenfassung: Multi-Pfad-Quantenschlüsselverteilungstransport

Problemstellung
Aktuelle Metropolen-QKD-Netzwerke (Quantum Key Distribution), wie das Beijing–Shanghai-Backbone und das Tokyo-QKD-Testbed, stehen vor drei strukturellen Engpässen, die ihren Übergang von experimentellen Verbindungen zu nutzbaren Netzwerkdiensten verhindern:

1. Ein-Pfad-Raten-Asymmetrie: Einzelne QKD-Verbindungen generieren Schlüssel mit Raten, die um Größenordnungen unter dem klassischen Durchsatz liegen. Die Aggregation von Rohschlüsseln aus mehreren Pfaden ohne rigorose pro-Pfad Sicherheitsprozessierung führt zu informationstheoretischem Leakage.
2. Vulnerabilität von Standby-Schlüsselpools: Bestehende Netzwerke verlassen sich auf Standby-Schlüsselpools, um Fluktuationen abzufangen, was eine nicht-verschwindende Wahrscheinlichkeit für statischen Schlüsseldiebstahl einführt und die Forward Secrecy bricht.
3. Inkompatibilität mit Trusted Relays: Standard-Transportprotokolle (z. B. TCP/IP, MPTCP) sind strukturell inkompatibel mit dem Hop-by-Hop-Schlüsselmanagement, das für Trusted-Relay-QKD-Topologien erforderlich ist, welche die Reichweite über das ~100-km-Glasfaserlimit hinaus erweitern.

Methodik: Ein vierstufiger mathematischer Rahmen
Das Paper schlägt eine vollständige Transportschicht für Multi-Pfad-QKD-Netzwerke vor, die auf einem progressiven vierstufigen mathematischen Rahmen basiert. Dieser Rahmen integriert Mechanismen der physikalischen Schicht, Protokolle der Transportschicht und rigorose theoretische Beweise.

• Schicht 0 (Physikalisch): Nutzt BB84 mit Decoy-States über $K$ unabhängige Glasfaserpfade. Zu den Innovationen gehören die WDM-Drei-Modus-Steuerung (Power/Normal/Throttling) basierend auf Hot-Pool-Niveaus, Multi-Adress-Pool-Rotation (16 Adressen) zur Minderung von DoS-Angriffen sowie Delay-Baseline-Tamper-Detection zur Identifizierung von Intercept-Resend-Angriffen.
• Schicht 1 (Transport): Verwaltet das Schlüsselinventar über einen „Hot Pool“ (Echtzeit) und einen „Cold Pool“ (OPES). Sie verwendet dynamische $\alpha$-Hybridverschlüsselung (Mischung aus Quanten-OTP und Post-Quantum Kyber-768), SegmentGroup-basierte selektive Retransmission zur Einsparung von Schlüsselmaterial sowie Matrix-basierte Transmission für 2D-Daten.
• Schicht 2 (Mathematischer Rahmen): Der zentrale theoretische Motor, bestehend aus vier Theorem:
  1. Theorem 1 (Entkopplung): Beweist mittels der Jensenschen Ungleichung, dass eine unabhängige pro-Pfad Sicherheitsprozessierung strikt mehr sichere Schlüssel ($K_{indep} \ge K_{concat}$) liefert als die physische Konkatenation von Rohschlüsseln.
  2. Theorem 2 (Allokation): Leitet eine geschlossene „Shadow-Price“-Lösung für die optimale Traffic-Allokation ($w^*_i \propto 1/\lambda_i$) ab, die den Traffic dynamisch basierend auf den marginalen Schlüsselverbrauchskosten routet.
  3. Theorem 3 & 3' (Buffer Dimensioning): Verwendet Large Deviation Principles (LDP), um die minimale Hot-Buffer-Kapazität für thin-tailed Demand zu berechnen. Theorem 3' erweitert dies auf subexponentiellen Heavy-Tailed-Demand (Pareto) und liefert asymptotische Grenzen, wo Standard-LDP versagt.
  4. Theorem 4 (Zero-Interruption): Definiert One-Pass Erasable Storage (OPES) mit physikalischen Axiomen (Write-once, Read-once, Unidirektionaler Fluss). Es beweist, dass unter spezifischen Bereitungsbedingungen die Wahrscheinlichkeit einer Dienstunterbrechung identisch Null ist ($P_{interruption} = 0$).
• Schicht 3 (Applikation): Ermöglicht Anwendungen, die Verschlüsselungsstärke über den $\alpha$-Parameter zu wählen, wobei ein Gleichgewicht zwischen reiner Quantensicherheit und Post-Quantum-Effizienz hergestellt wird.

Wesentliche Beiträge

1. Erste vollständige Transportschicht: Das Paper präsentiert die erste Transportschicht, die speziell für Multi-Pfad-QKD-Netzwerke entwickelt wurde, und schließt die Lücke zwischen physischer Schlüsselgenerierung und Applikationsschicht-Service.
2. Beweisbare Zero-Interruption: Durch den OPES Cold Pool und Theorem 4 bietet der Rahmen eine deterministische Garantie von Zero Service Interruption und transformiert Resilienz von einer probabilistischen Metrik (z. B. 99,999 %) zu einer physikalischen Gewissheit.
3. Komponierbare Sicherheitskette: Die Autoren etablieren ein formales Sicherheitstheorem (Theorem 5), das Shor–Preskill-Reduktion, Multi-Pfad-Komposition und Hybridverschlüsselung verknüpft, um eine End-to-End-Sicherheitsschranke von $\epsilon_{total} \le 10^{-8}$ zu erreichen.
4. Informationstheoretische Forward Secrecy: Das OPES „Read-once“-Axiom liefert physikalische Forward Secrecy ($I(K_{pre}; O_{post}) = 0$), was stärker ist als computergestützte Forward Secrecy, da es auf physischer Löschung statt auf Härteannahmen beruht.
5. Defense-in-Depth-Architektur: Eine vierstufige Verteidigungskette (Adressrotation, Matrix-Restaurierung, Delay-Detektion, OPES) ist formalisiert und zeigt, dass die kombinierten Bypass-Wahrscheinlichkeiten um Größenordnungen niedriger sind als bei Einzel-Layer-Verteidigungen.

Ergebnisse
Der Rahmen wurde mittels einer ereignisgesteuerten Simulation auf einer $K=4$ Pfad, 3-Hop-Topologie über 14.400 simulierte Sekunden (vier 3.600-Sekunden-Szenarien: Baseline, DoS-Jamming, Delay-Intercept-Resend und kombinierte Angriffe) validiert.

• Interruption Rate: In allen Szenarien wurden null Dienstunterbrechungen beobachtet.
• Buffer Dynamik: Der Hot Pool hielt ein Minimum von $\ge 10,2 \%$ der Kapazität. Die Auslastung des OPES Cold Pools blieb niedrig (0,65 % über 3.600 s), was die Effizienz des Bereitungsmodells bestätigt.
• Angriffstoleranz:
  • DoS-Hit-Raten entsprachen der theoretischen $1/N$-Grenze (6,25 % für $N=16$).
  • Delay-basierte Tamper-Detektion erreichte 100 % Sensitivität bei null False Positives.
  • Das Hybridverschlüsselungsschema passte sich erfolgreich an Schwankungen im Schlüsselangebot an, ohne Leistungsdegradierung.
• Skalierbarkeit: Der Durchsatz skalierte nahezu linear mit der Anzahl der Pfade ($K=1 \to 16$) und erreichte ~150 kbps bei $K=16$, was für die Echtzeit-AES-256-Schlüsselaktualisierung ausreicht.

Bedeutung
Das Paper beansprucht, die erste mathematisch rigorose Transportschicht für Multi-Pfad-QKD bereitzustellen und das Feld von „QKD-Links existieren“ hin zu „QKD ist ein nutzbarer Netzwerkdienst“ zu bewegen. Durch die Etablierung einer beweisbaren Verbindung zwischen physikalischen Axiomen (OPES) und Netzwerkperformance (Zero Interruption) bietet die Arbeit einen Bauplan für den Einsatz robuster Multi-Hop-QKD-Netzwerke auf bestehender Metropolen-Glasfaserinfrastruktur. Der Rahmen wird als kompatibel mit jedem QKD-Protokoll präsentiert, das spezifische Annahmen (A1–A4) erfüllt, und dient als komplementärer Ansatz zur Post-Quantum-Kryptographie (PQC), indem er informationstheoretische Sicherheit für kritische Datensegmente bietet, während PQC für den Bulk-Traffic genutzt wird.