[論文レビュー] Incompleteness and Limit of Quantum Key Distribution Theory

Osamu Hirota|arXiv (Cornell University)|Aug 10, 2012

Quantum Information and Cryptography参考文献 2被引用数 27

ひとこと要約

この論文は、量子鍵配送（QKD）の基礎的セキュリティ主張に疑問を呈し、セキュリティの尺度としてのトレース距離の使用に深刻な欠陥が存在することを暴露している。トレース距離が情報理論的セキュリティを信頼できる形で保証しないこと、特に距離が十分に小さくない場合には均一な鍵配布を保証できないことから、QKDがしばしば主張するユニバーサルコンポジションセキュリティが崩れる。本論文は、QKDに代わる、コherent状態に基づく新しいマクロスコピック量子通信フレームワークの構築を提唱しており、QKDは本質的に性能が低く理論的にも不完全であると結論づけている。

ABSTRACT

It is claimed in the many papers that a trace distance ($d$) guarantees the universal composition security in quantum key distribution (QKD). In this introduction paper, at first, it is explicitly explained what is the main misconception in the claim of the unconditional security for QKD theory. In general terms, the cause of the misunderstanding on the security claim is the Lemma in the paper of Renner. It suggests that the generation of the perfect random key is assured by the probability $ (1-d)$, and its failure probability is $d$. Thus, it concludes that the generated key provides the perfect random key sequence when the protocol suceeds. So the QKD provides perfect secrecy to the one time pad. This is the reason for the composition claim. However, the quantity of the trace distance (or variational distance) is not the probability for such an event. If $d $ is not small enough, always the generated key sequence is not uniform. Now one needs the reconstruction of the evaluation of the trace distance if one wants to use it. One should first go back to the indistinguishability theory in the computational complexity based, and to clarify the meaning of the value of the variational distance. In addition, the same analysis for the information theoretic case is necessary. The recent serial papers by H.P.Yuen have given the answer on such questions. In this paper, we show more concise description of Yuen's theory, and clarify that the recent upper bound theories for the trace distance by Tomamichel et al and Hayashi et al are constructed based on the reasoning of Renner and it is unsuitable as the analysis for information theoretic security. Finally, we introduce a macroscopic quantum communication with different principle to replace Q-bit QKD.

研究の動機と目的

• 量子鍵配送（QKD）のセキュリティ主張におけるトレース距離に基づく根本的な誤解を特定・明確化すること。
• トレース距離（d）がQKDにおいてユニバーサルコンポジションセキュリティを保証すると広く信じられているという考えを揺るがすこと。
• レナーの補題に基づく現在のQKDセキュリティ証明が理論的に不完全であり、運用的意味を持たないと示すこと。
• QKDが漸近的リソース仮定に依存していることから、実世界への展開が現実的でないことを示すこと。
• コherent状態を用いたマクロスコピック量子通信へのパラダイムシフトを提唱すること。

提案手法

• レナーの補題における概念的欠陥を分析し、トレース距離dを「失敗確率」と誤って同一視している点に注目。すなわち、鍵が確率（1−d）で完全にランダムであると主張している点を指摘。
• 情報理論的セキュリティの文脈において、バリエーション距離とトレース距離の運用的意味を再検討し、dが非常に小さくない限り均一性が保証されないことを強調。
• トマミェル他およびHayashi他によるトレース距離の最近の上界評価を批判的に検討し、元々のレナーの推論に起因する同じ論理的欠陥を内包していることを示す。
• H.P. ユエンの理論を導入・解説し、量子検出理論に基づく鍵推定攻撃を厳密に評価するフレームワークを提供する。
• コherent状態を用いたマクロスコピック量子通信をQKDの実用的代替手段として提唱。量子雑音を活用して秘密鍵を隠蔽することでセキュアな鍵生成を実現する。
• QKDにおける初期共有鍵の役割を再解釈し、その必要性がQKDが真の鍵配布プロトコルであるという主張を損なっていると主張する。

実験結果

リサーチクエスチョン

• RQ1 なぜトレース距離dがQKDにおけるユニバーサルコンポジションセキュリティを保証するとされる主張が根本的に誤っているのか？
• RQ2 トレース距離がQKDの情報理論的セキュリティを保証するにあたり、真の運用的意味とは何か？
• RQ3 レナーの補題に依存することで、QKDのセキュリティに関する誤った結論が導かれる理由は何か？
• RQ4 トマミェル他およびHayashi他によるトレース距離の現在の上界評価が、情報理論的セキュリティを確立するために不十分である理由は何か？
• RQ5 コherent状態を用いたマクロスコピック量子通信は、QKDよりも実用的かつ理論的に整合性のある代替手段となり得るか？

主な発見

• トレース距離dは、完全なランダム鍵を生成する際の「失敗確率」を表すものではなく、dが十分に小さくない限り、生成された鍵列は均一に分布しない。
• εセキュリティとトレース距離に基づくQKDのセキュリティ主張は、攻撃下での鍵の実際の分布を考慮していないため、運用的根拠を欠いている。
• 特にレナーの補題に立脚する現在のQKD理論的枠組みは不完全であり、絶対的セキュリティを厳密に保証できない。
• 少なくとも256ビットの初期共有秘密鍵が必要な点が、QKDが真の鍵配布プロトコルであるという主張を揺るがし、結果として鍵拡張メカニズムに還元される。
• QKDの性能は商業用高速ネットワーク（例：100 Gbit/sec）では不十分であり、理論的主張とは裏腹に実用的でない。
• コherent状態を用いたマクロスコピック量子通信は、より現実的で理論的にも整合性のある道筋を提供する。量子雑音を用いたマスキングにより、既存の光ファイバーインfraに適合可能な安全な鍵生成が可能になる。