[論文レビュー] Reply to recent scepticism about the foundations of quantum cryptography

Renato Renner|arXiv (Cornell University)|Sep 11, 2012

Chaos-based Image/Signal Encryption被引用数 19

ひとこと要約

この論文は、HirotaとYuenが量子暗号における量子鍵の機密性に関する標準的トレース距離基準が誤りであると主張するのを反論する。彼らの議論は、機密性の必要条件と十分条件を混同しており、鍵が完全に一様でない場合でも、広く用いられているトレース距離基準（d(ρ_SE, ρ_S ⊗ ρ_E) ≤ ε）が普遍的コンposable（UC）機密性を正しく示していることを示している。主な結論は、標準的なセキュリティ証明フレームワークが依然として有効で堅牢であるということである。

ABSTRACT

In a series of recent papers, Hirota and Yuen claim to have identified a fundamental flaw in the theory underlying quantum cryptography, which would invalidate existing security proofs. In this short note, we sketch their argument and show that their conclusion is unjustified --- it originates from a confusion between necessary and sufficient criteria for secrecy.

研究の動機と目的

• 最近のHirotaとYuenによる、量子鍵配送（QKD）のセキュリティ証明におけるトレース距離基準の有効性を疑問視する批判に応えること。
• 機密性のための必要条件と十分条件の違いを明確にし、批判者による根本的な概念的誤りを是正すること。
• 普遍的コンposable（UC）機密性のための十分条件としての標準的トレース距離基準（d(ρ_SE, ρ_S ⊗ ρ_E) ≤ ε）の正当性を再確認すること。
• トレース距離基準が満たされるが、代替基準が満たされない反例を用いて、代替基準P(S|E) ∼ 2^{-ℓ}がUC機密性に必要ではないことを示すこと。

提案手法

• 論文は、実際の結合状態ρ_SEと理想状態ρ_S ⊗ ρ_Eとの間のトレース距離に基づく標準的機密性基準を分析する。この距離はεで上限付けられている。
• これに対して、批判者らの代替基準である、攻撃者の推測確率P(S|E)が2^{-ℓ}に近いことを要求する基準と対比する。この基準はより厳密である。
• トレース距離基準が満たされる（ε = 10^{-20}）が、推測確率基準が1つの鍵値におけるわずかなバイアスのため失敗する反例を構築する。
• 反例により、(HY)がUC機密性に必要でないことが示されることで、(TD) ⇒ (UC機密性)の含意が成立することを証明する。
• 任意の区別者によるSと理想鍵との区別における最大の利得を用いて、ε-機密鍵の定義を用いる。
• 批判者の論理は失敗する。なぜなら、彼らは(HY)がUC機密性に必要であると仮定しているが、反例によりそれが事実ではないことが示されている。

実験結果

リサーチクエスチョン

• RQ1 トレース距離基準d(ρ_SE, ρ_S ⊗ ρ_E) ≤ εは、量子暗号における普遍的コンposable（UC）機密性を示すか？
• RQ2 HirotaとYuenが主張するように、代替基準P(S|E) ∼ 2^{-ℓ}はUC機密性に必要か？
• RQ3 攻撃者の推測確率が2^{-ℓ}を超える場合でも、トレース距離基準のもとで鍵がε-機密であることは可能か？
• RQ4 批判者らが(HD) ⇒ (UC機密性)が無効であると主張する論理的誤謬は何か？
• RQ5 量子鍵配送のセキュリティにおいて、トレース距離基準と推測確率基準の正しい関係は何か？

主な発見

• トレース距離基準d(ρ_SE, ρ_S ⊗ ρ_E) ≤ εは、先行研究（BHLMO05; RenKoe05）で示されたように、普遍的コンposable（UC）機密性を正しく示している。
• 批判者らがこの含意が無効であると主張するのは誤りであり、それは機密性の必要条件と十分条件を混同していることに起因する。
• トレース距離基準が満たされる（ε = 10^{-20}）が、推測確率基準P(S|E) ∼ 2^{-ℓ}が満たされない反例が構築され、これにより後者が必要でないことが証明された。
• (HY) ⇒ (UC機密性)の含意は有効であるが、逆は必要ではなく、批判者らは誤ってそれが必要であると仮定している。
• 標準的な量子暗号のセキュリティフレームワークは健全であり、トレース距離基準は十分であり、現代のQKDセキュリティ証明で広く用いられている。
• 批判が妥当であれば、量子暗号だけでなく古典的暗号、特にランダムネス抽出器に対しても基礎的な欠陥をもたらすが、そのような欠陥は存在しない。