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

技術要約：マルチパス量子鍵配送（QKD）トランスポート

問題提起
北京–上海バックボーンや東京QKDテストベッドのような現在の都市圏量子鍵配送（QKD）ネットワークは、実験的なリンクから実用的なネットワークサービスへと移行することを妨げている3つの構造的なボトルネックに直面している：

1. 単一パスのレート非対称性： 個々のQKDリンクは、古典的なスループット需要よりも数桁低い速度で鍵を生成する。厳密なパスごとのセキュリティ処理なしに複数のパスから生鍵を集約すると、情報理論的な漏洩が生じる。
2. スタンバイ鍵プールの脆弱性： 既存のネットワークは変動を吸収するためにスタンバイ鍵プールに依存しており、これは静的な鍵窃盗の確率をゼロではなくし、前方秘匿性を損なう。
3. 信頼された中継器（Trusted Relays）との不整合： 標準的なトランスポートプロトコル（例：TCP/IP、MPTCP）は、距離を約100 kmのファイバー限界以上に拡張するために必要な、ホップバイホップの鍵管理を行う信頼された中継トポロジーと構造的に互換性がない。

手法：4次数学的フレームワーク
本論文は、漸進的な4次の数学的フレームワークに基づき構築された、マルチパスQKDネットワークのための完全なトランスポート層を提案する。このフレームワークは、物理層メカニック、トランスポート層プロトコル、および厳密な理論的証明を統合している。

• レイヤー0（物理層）： $K$ 個の独立した光ファイバーパス上でデコイ状態を用いたBB84を利用する。革新的な技術として、ホットプールレベルに基づくWDM 3モード制御（Power/Normal/Throttling）、DoS対策のためのマルチアドレス・プール回転（16アドレス）、およびインターセプト・リセンド攻撃を特定するための遅延ベースライン・タンパー検知が含まれる。
• レイヤー1（トランスポート層）： 「ホットプール」（リアルタイム）と「コールドプール」（OPES）を介して鍵インベントリを管理する。動的な$\alpha$ハイブリッド暗号（量子OTPとPost-Quantum Kyber-768の混合）を用い、鍵材料を節約するためのSegmentGroupベースの選択的再送、および2Dデータのための行列ベースの送信を採用する。
• レイヤー2（数学的フレームワーク）： 4つの定理からなるコアとなる理論エンジン。
  1. 定理1（デカップリング）： イェンセンの不等式を用い、独立したパスごとのセキュリティ処理が、生の鍵の物理的な結合よりも厳密に多くの安全な鍵（$K_{indep} \ge K_{concat}$）を生み出すことを証明する。
  2. 定理2（配分）： 最適なトラフィック配分のための閉形式の「シャドウ・プライス」解を導出し（$w^*_i \propto 1/\lambda_i$）、限界鍵消費コストに基づいてトラフィックを動的にルーティングする。
  3. 定理3および定理3'（バッファ・ディメンショニング）： 大偏差原理（LDP）を用いて、細い裾を持つ需要に対する最小ホットバッファ容量を計算する。定理3'はこれをサブ指数的な重い裾（パレート分布）を持つ需要に拡張し、標準的なLDPが機能しない漸近的境界を提供する。
  4. 定理4（ゼロ中断）： 物理的公理（一度限りの書き込み、一度限りの読み取り、一方向の流れ）を備えたOne-Pass Erasable Storage (OPES) を定義する。特定のプロビジョニング条件下において、サービス中断の確率が厳密にゼロ（$P_{interruption} = 0$）であることを証明する。
• レイヤー3（アプリケーション層）： アプリケーションは$\alpha$パラメータを通じて暗号強度を選択でき、純粋な量子セキュリティとポスト量子計算効率のバランスを調整できる。

主な貢献

1. 初の完全なトランスポート層： 本論文は、物理的な鍵生成とアプリケーション層のサービスとの間のギャップに対処する、マルチパスQKDネットワーク専用に設計された初のトランスポート層を提示する。
2. 証明可能なゼロ中断： OPESコールドプールと定理4を通じて、本フレームワークは決定論的なゼロ・サービス中断の保証を提供し、レジリエンスを確率的な指標（例：99.999%）から物理的な確実性へと変貌させる。
3. 構成可能なセキュリティチェーン： 著者らは、Shor–Preskill簡約、マルチパス構成、およびハイブリッド暗号を連鎖させ、エンドツーエンドのセキュリティ境界 $\epsilon_{total} \le 10^{-8}$ を達成する形式的なセキュリティ定理（定理5）を確立した。
4. 情報理論的前方秘匿性： OPESの「一度限りの読み取り」公理は、困難性の仮定に依存する計算論的な前方秘匿性よりも強力な、物理的な前方秘匿性（$I(K_{pre}; O_{post}) = 0$）を提供する。
5. 防御層の深化（Defense-in-Depth）アーキテクチャ： 4層の防御チェーン（アドレス回転、行列復元、遅延検知、OPES）を定式化し、結合されたバイパス確率が単一層の防御よりも数桁低いことを示している。

結果
本フレームワークは、$K=4$ パス、3ホップ・トポロジーにおける14,400秒間の離散イベントシミュレーション（4つの3,600秒シナリオ：ベースライン、DoSジャミング、遅延インターセプト・リセンド、および複合攻撃）を通じて検証された。

• 中断率： すべてのシナリオにおいてゼロのサービス中断が観察された。
• バッファのダイナミクス： ホットプールは容量の $\ge 10.2\%$ の最小レベルを維持した。OPESコールドプールの利用率は低く（3,600秒間で0.65%）、プロビジョニングモデルの効率性を裏付けた。
• 攻撃耐性：
  • DoSヒット率は、理論的な $1/N$ 境界（$N=16$ の場合6.25%）と一致した。
  • 遅延ベースのタンパー検知は、偽陽性ゼロで100%の感度を達成した。
  • ハイブリッド暗号スキームは、サービス低下なしに鍵供給の変動に正常に適応した。
• スケーラビリティ： スループットはパスの数（$K=1 \to 16$）に対してほぼ線形にスケールし、~$150$ kbpsに達した。これは、リアルタイムのAES-256鍵更新には十分な速度である。

意義
本論文は、マルチパスQKDのための初めての数学的に厳密なトランスポート層を提供し、「QKDリンクが存在する」という段階から「QKDが利用可能なネットワークサービスである」という段階へと、この分野を移行させるものである。物理的公理（OPES）とネットワーク性能（ゼロ中断）の間の証明可能なリンクを確立することにより、本研究は既存の都市圏ファイバーインフラストラクチャ上に堅牢なマルチホップQKDネットワークを展開するためのブループリントを提示している。本フレームワークは、特定の仮定（A1–A4）を満たすあらゆるQKDプロトコルと互換性があり、ポスト量子暗号（PQC）を補完するアプローチとして、バルク通信にはPQCを利用しつつ、重要なデータセグメントに対しては情報理論的なセキュリティを提供するものである。