[論文レビュー] Coupling Lemma and Its Application to The Security Analysis of Quantum Key Distribution

Kentaro Kato|arXiv (Cornell University)|May 23, 2015

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

ひとこと要約

この論文は、確率論の結合補題を用いて、量子鍵配送（QKD）におけるセキュリティパラメータεの失敗確率解釈を挑戦する。εがトレース距離によって定義される場合、特に実際の鍵と理想鍵が統計的に独立である場合には、εはプロトコルの失敗確率を表さないことが示される。この場合、変動距離は不一致確率よりも厳密に小さい。

ABSTRACT

It is known that the coupling lemma provides a useful tool in the study of probability theory and its related areas. It describes the relation between the variational distance of two probability distributions and the probability that outcomes from the two random experiments associated with each distribution are not identical. In this paper, the failure probability interpretation problem that has been presented by Yuen and Hirota is discussed from the viewpoint of the application of the coupling lemma. First, we introduce the coupling lemma, and investigate properties of it. Next, it is shown that the claims for this problem in the literatures are justified by using the coupling lemma. Consequently, we see that the failure probability interpretation is not adequate in the security analysis of quantum key distribution.

研究の動機と目的

• QKDにおけるセキュリティパラメータεが失敗確率として解釈可能かどうかという長年の議論を解決すること。
• 結合補題を用いて、先行研究で提唱された失敗確率解釈の妥当性を検証すること。
• 物理的に妥当な仮定（統計的独立性）のもとで、標準的なεを失敗確率と解釈する根拠がなぜ誤りであるかを明確にすること。
• 結合補題を用いた厳密な確率論的分析により、εが鍵の不一致確率と等価でないことを示すこと。

提案手法

• 結合補題を用いて、二つの確率分布間の変動距離とそれらの結果が異なる確率との関係を定式化する。
• 変動距離が不一致確率に等しくなる最大結合が存在することを用い、失敗の可能性の上界を分析する。
• 実際の鍵と理想鍵が統計的に独立である場合を分析し、変動距離が不一致確率よりも厳密に小さいことを示す。
• 変動距離v(P_K, P_U)と不一致確率Pr{k ≠ u}が等しくなるのは、特定の非物理的結合（人工的な相関を導入する）場合に限ることを示す。
• QKDにおけるトレース距離基準（||ρ_KE - ρ_U ⊗ ρ_E|| ≤ ε）を用い、結合に基づく推論によりεの解釈を検討する。
• 反例と理論的分析を用いて、自然な物理的仮定（独立性）の下で失敗確率解釈が成立しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 QKDにおけるセキュリティパラメータεをプロトコルの失敗確率として意味的に解釈できるか？
• RQ2 Pr{k ≠ u} = v(P_K, P_U) を満たす結合の存在に基づく失敗確率解釈の物理的妥当性は何か？
• RQ3 実際の鍵と理想鍵が統計的に独立である場合、εと実際の不一致確率との関係はどのように変化するか？
• RQ4 なぜ結合補題がεの標準的失敗確率解釈に根本的な欠陥を露呈するのか？
• RQ5 変動距離が鍵の不一致確率に等しくなる条件は何か？そしてその条件は物理的に妥当か？

主な発見

• 実際の鍵と理想鍵が統計的に独立である場合、変動距離v(P_K, P_U)はPr{k ≠ u}よりも厳密に小さいため、εの失敗確率解釈は正当ではない。
• 変動距離v(P_K, P_U)がPr{k ≠ u}に等しくなるのは、実際の鍵と理想鍵の間に人工的な相関を導入する特定の最大結合に限る。この相関は物理的根拠を持たない。
• 結合補題により、v(P_K, P_U)はすべての可能なPr{k ≠ u}の下界であることが示され、εを一般に失敗確率と解釈することはできない。
• εが最大失敗確率を表すという主張は、存在する結合（「ある」）に依存しているが、すべての結合に共通する性質（「すべての」）ではないため、根拠が不十分である。
• この分析により、ユエンの批判が裏付けられる：物理的に妥当な仮定の下では、結合補題は失敗確率解釈を支持しない。
• 本論文は結論として、εがQKDのセキュリティ解析において確率として解釈できる、特に失敗確率として解釈できるものではないと結論づける。