[論文レビュー] Quantum Cryptography with Imperfect Apparatus

Dominic Mayers, Andrew Chi-Chih Yao|ArXiv.org|Sep 15, 1998

Quantum Information and Cryptography参考文献 16被引用数 65

ひとこと要約

この論文は、光子源が不完全であっても安全であることを保証する、BB84量子鍵配送の自己検証型量子光源を提案する。製造業者が古典的入出力に対して特定のテストを実施することを要請することで、テストに合格した場合に限り、送信された量子状態がEPR対の直和に等しくなることを保証する。これにより、光源の内部構造を信頼することなく、安全性を証明できる。

ABSTRACT

Quantum key distribution, first proposed by Bennett and Brassard, provides a possible key distribution scheme whose security depends only on the quantum laws of physics. So far the protocol has been proved secure even under channel noise and detector faults of the receiver, but is vulnerable if the photon source used is imperfect. In this paper we propose and give a concrete design for a new concept, {\it self-checking source}, which requires the manufacturer of the photon source to provide certain tests; these tests are designed such that, if passed, the source is guaranteed to be adequate for the security of the quantum key distribution protocol, even though the testing devices may not be built to the original specification. The main mathematical result is a structural theorem which states that, for any state in a Hilbert space, if certain EPR-type equations are satisfied, the state must be essentially the orthogonal sum of EPR pairs.

研究の動機と目的

• 実装上の一般的な欠陥である、光子源が不完全な場合に生じるBB84量子鍵配送のセキュリティ脆弱性に対処すること。
• 光源が完全にキャリブレーションされているという仮定を排除すること。これは、実世界の量子暗号システムでは現実的ではない。
• 古典的テストのみで量子状態の整合性を検証できる自己検証型光源を設計すること。これにより、光源の内部部品を信頼する必要がなくなる。
• 古典的テストの結果が期待される確率と一致する場合、量子状態はEPR対の直和に等しいことを証明すること。これによりセキュリティが保証される。
• 理想化された物理的仮定に依存せず、テスト可能な古典的性質によってセキュリティが保証される実用的量子暗号のフレームワークを提供すること。

提案手法

• 複数の場所からの古典的入力を受け取り、古典的出力を返す自己検証型光源を提案し、外部による検証を可能にする。
• 固定された入力に対する古典的出力の統計的分布に基づくテストを定義し、観測された確率が理論的仕様と一致することを保証する。
• EPR型相関方程式を満たす場合、量子状態はEPR対の直和に等しいことを示す構造的定理を用いる。
• ヒルベルト空間における射影演算子と同型写像を用いて、異なる測定基底（例：R1、R2、R3）における量子状態の振る舞いを分析する。
• 部分空間（Hi、Ki）間の直交性とユニタリティの制約を活用し、状態が直交するEPRに類似した成分に分解されることを証明する。
• 背理法を用いて、測定演算子が必要なEPR条件を満たす場合、部分空間HiとHjは直交している必要があることを証明する。

実験結果

リサーチクエスチョン

• RQ1 古典的テスト結果のみが利用可能な場合、光子源が不完全であってもBB84プロトコルのセキュリティを保証できるか？
• RQ2 量子状態がEPR対の集合のように振る舞うために必要な構造的条件は何か？これによりセキュリティが保たれる。
• RQ3 古典的入出力確率にどのような条件が満たされると、量子状態がEPR対の直和に等しいと結論付けられるか？
• RQ4 自己検証型光源をどのように設計すれば、そのセキュリティが光源の内部構造を信頼することに依存しなくなるか？
• RQ5 測定結果の古典的統計に基づくテストが、量子状態が理想のEPR状態にどれほど近いかを検証できるか？

主な発見

• 自己検証型光源の古典的入出力確率分布が理論的仕様と一致する場合、量子状態はEPR対の直和に等しい。
• 主な構造的定理は、EPR型方程式を満たす任意の状態が、直交するEPR状態の和に等しいことを証明し、必要なもつれ構造を保証する。
• 射影演算子Rγxは各部分空間Hi上で期待通りに作用し、計算基底に対する回転された測定基底に対応する。
• 状態ΨはΨ = ∑αi(ai(0)⊗bi(0) + ai(1)⊗bi(1))と分解されることを証明し、サブシステム間のEPRに類似したもつれを確認する。
• i ≠ jのとき、部分空間HiとHjが直交していることが示され、これは量子状態の整合性とセキュリティ証明の維持に不可欠である。
• 証明は背理法に依存する：HiとHjが直交していないと、R3+における射影が直交しなくなり、射影演算子の直交性が破れる。