[論文レビュー] Unconditional Security of Practical Quantum Key Distribution

H. J. Hupkes|ArXiv.org|Feb 23, 2004

Quantum Information and Cryptography参考文献 14被引用数 4

ひとこと要約

この論文は、完全な単一光子源を必要とせず、実用的な量子光源を想定することで、MayersによるBB84量子鍵配送プロトコルの無条件安全証明を拡張する。特に、基底に依存しない検出器効率という現実的な条件のもとで、実用的なQKDシステムのプライバシーを厳密に保証する。量子状態推定と誤差限界に基づく修正されたセキュリティフレームワークを用いて、安全な証明を実現する。

ABSTRACT

We present an extension of the first proof for the unconditional security of the BB84 quantum key distribution protocol which was given by Mayers. We remove the constraint that a perfect BB84 quantum source is required and the proof given here covers a range of practical quantum sources. Nothing is assumed about the detector except that the efficiency with which signals are detected is basis independent.

研究の動機と目的

• MayersのBB84 QKDの無条件安全証明を、理想の単一光子源を必要としない実用的量子光源へと拡張すること。
• 光源が複数光子状態や不完全な状態を発生させる場合でも、いかなる量子攻撃に対してもプライバシーが保証されることを証明すること。
• 検出器に関する仮定を緩和し、基底に依存しない検出器効率のみを要件とすることで、実世界の実装への適用性を高めること。
• 実用的欠陥を考慮しつつも無条件安全保証を維持する、厳密なセキュリティフレームワークを提供すること。
• 光源が完全に準備されていなくても、誤差限界と状態推定技術を用いて、秘密鍵抽出が安全に保たれることを確立すること。

提案手法

• Eveの鍵に関する知識を制限するために、量子状態推定とトレース距離に基づく修正されたセキュリティフレームワークを用いる。
• ランダムハッシュ関数によるプライバシー強化を適用し、Eveの情報量を無視できるレベルにまで低下させる。
• 測定結果の分析に、射影演算子 $\widetilde{\Pi}_0$ と $E^\mathcal{K}_v$ を用いた密度行列の部分空間への分解を実施する。
• トレースノルムと誤差項 $h(n,\epsilon)$ を用いて、条件付き鍵分布の均一性からの逸脱を限界づける。
• 鍵分布が均一に近い典型視野 $\mathcal{I}$ の集合を導入し、高い最小エントロピーを保証する。
• 均一性からの逸脱と情報漏洩の制御を定量的に評価するための不等式 $|P(\kappa|v) - 2^{-m}| \leq \frac{1}{2^m}(2q+2)h(n,\epsilon)$ を用いる。

実験結果

リサーチクエスチョン

• RQ1 BB84の無条件安全証明を、完全な単一光子発生源でない実用的量子光源へと拡張することは可能か？
• RQ2 検出器の効率が基底に依存しないが、それ以外は信頼できない場合、どのようにしてセキュリティを維持できるか？
• RQ3 現実的な光源および検出器モデルのもとで、盗聴者が最終鍵について得られる最大情報量は何か？
• RQ4 不完全な光源およびノイズのある測定が存在する状況でも、プライバシー強化をどのように厳密に正当化できるか？
• RQ5 量子チャネルおよびデバイスの不完全性が存在しても、最終鍵が均一分布に近いかつ保証されるための条件は何か？

主な発見

• この論文は、光源が完全な単一光子ではなく、非理想的な状態を発生させてもBB84プロトコルが無条件に安全であることを証明している。
• 検出器効率が基底に依存しないという仮定のもとで、セキュリティが保たれ、これは現実的かつ実験的に検証可能な条件である。
• 鍵分布は均一に近く、その逸脱は $\epsilon_1(n,m,\epsilon) = 2(m+\frac{1}{\ln 2})h(n,\epsilon) + 2\sqrt{2(m+\frac{1}{\ln 2})mh(n,\epsilon)} + mP(\mathcal{P} \cap \overline{\mathcal{L}}_{\epsilon_w})$ で限界づけられている。
• 最終鍵の最小エントロピーは $m - \epsilon_1(n,\epsilon,m)$ 以上に下限づけられており、これによりプライバシー強化によってEveの知識が無視できるレベルにまで低下することが保証される。
• 証明はすべての $n \geq N(\epsilon)$ に対して成立し、$N(\epsilon)$ は誤差許容度 $\epsilon$ のみに依存するため、漸近的に頑健である。
• このフレームワークにより、実用的欠陥を組み込みつつも無条件安全保証を損なわずに、実用的QKDシステムを厳密に取り扱える。