[論文レビュー] Information-Disturbance theorem and Uncertainty Relation

Takayuki Miyadera, Hideki Imai|ArXiv.org|Jul 31, 2007

Chaos-based Image/Signal Encryption参考文献 4被引用数 4

ひとこと要約

この論文は、アリスの状態集合が等確率の純粋状態に制限されるという制限を除外することで、情報-撹乱定理を一般化する。遠隔集合準備とエントロピー不確定性関係を用い、イヴの1つの集合に対する情報量とボブの別の集合に対する情報量の間のトレードオフを、ボブのデータにおける誤差のエントロピーによって定量的に評価することで、量子暗号におけるセキュリティ証明を強化する。

ABSTRACT

It has been shown that Information-Disturbance theorem can play an important role in security proof of quantum cryptography. The theorem is by itself interesting since it can be regarded as an information theoretic version of uncertainty principle. It, however, has been able to treat restricted situations. In this paper, the restriction on the source is abandoned, and a general information-disturbance theorem is obtained. The theorem relates information gain by Eve with information gain by Bob.

研究の動機と目的

• 情報-撹乱定理における、アリスの符号化集合が等確率の純粋状態でなければならないという制限的仮定を除去すること。
• 量子鍵配送における盗聴者（イヴ）の情報取得と正当な受信者（ボブ）の情報取得の間の一般化されたトレードオフを確立すること。
• 情報取得と撹乱の関係を、量子情報理論的ツールを用いて統一的な枠組みで結びつけること。
• 提案された一般化手法を用いて、先行研究の結果を簡単な導出で得ること。
• 情報-撹乱不確定性原理を情報理論的用語に一般化することで、量子暗号におけるセキュリティ証明の理論的基盤を強化すること。

提案手法

• もつれ状態とベル状態測定を用いた遠隔集合準備により、距離を置いて量子状態を準備するのを模擬する。
• クリシュナとパルササラシーが導出した形のPOVMに対するエントロピー不確定性関係を適用し、測定結果のシャノンエントロピーの和を制限する。
• 計算基底とハダマード型基底を用いた二重基底測定フレームワークを導入し、アリスが符号化可能な二つの集合をモデル化する。
• イヴの攻撃をユニタリ相互作用モデルとして表現し（もつれ系上のユニタリ操作として）、その後の条件付きエントロピーを分析する。
• トレースノルム（例：∥ElPj∥）を用いて不確定性関係を制限し、エントロピーの和に対する下界を導出する。
• Eveの測定結果を平均化し、最大もつれ状態をリソースとして用いることで、鍵となる不等式 I(A:E|a) ≤ H(A⊕B|b) を導出する。

実験結果

リサーチクエスチョン

• RQ1 情報-撹乱定理は、等確率の純粋状態集合に限定されない一般化が可能か？
• RQ2 量子鍵配送における盗聴者（イヴ）の情報取得と正当な受信者（ボブ）の情報取得の間の根本的トレードオフは何か？
• RQ3 エントロピー不確定性関係は、一般の量子攻撃の下で情報取得の上限を導出するためにどのように用いることができるか？
• RQ4 遠隔集合準備技術は、情報-撹乱定理の導出を単純化または統一するのを助けるか？
• RQ5 集合間の非可換性は、情報-撹乱トレードオフを決定づける役割を果たすか？

主な発見

• 本論文は、等確率の純粋状態集合に限定されない任意の集合に適用可能な一般化された情報-撹乱定理を導出する。
• 鍵となる結果は不等式 I(A:E|a) ≤ H(A⊕B|b) であり、これは、アリスが符号化（b）を用いる場合のボブのデータにおける誤差分布のシャノンエントロピーによって、イヴの集合（a）に対する情報取得量を制限する。
• この定理は、エントロピー不確定性関係と遠隔集合準備を用いて導出され、集合間の非可換性が直接的にトレードオフを決定づけることが示された。
• この境界はタイトであり、攻撃戦略がユニタリでPOVMで記述される限り、特定の攻撃戦略に依存しない。
• 本手法により、先行研究の結果（例：[10] より）が特殊ケースとして簡単に導出可能である。
• ノルム推定 ∥ElPj∥ ≤ (1/2)^{N/2} は、エントロピーの和に対するNビットの下界を確立する上で中心的役割を果たし、最終的な不等式に至る。