[論文レビュー] Large deviation analysis for quantum security via smoothing of Renyi entropy of order 2

Masahito Hayashi|arXiv (Cornell University)|Feb 1, 2012

Wireless Communication Security Techniques参考文献 38被引用数 10

ひとこと要約

本稿は、2次Rényiエントロピーの滑らか化を用いて、量子セキュリティのための大偏差境界を確立し、古典的結果を量子設定に拡張する。$L_1$区別可能性および修正された相互情報量の指数的減少率を、ユニバーサル2および$\varepsilon$-ほぼ双対ユニバーサル2ハッシュ関数の下で導出し、誤り訂正を伴う秘密鍵生成における最小エントロピーの滑らか化よりもタイトなセキュリティ境界を提供する。

ABSTRACT

It is known that the security evaluation can be done by smoothing of Rényi entropy of order 2 in the classical and quantum settings when we apply universal$_2$ hash functions. Using the smoothing of Renyi entropy of order 2, we derive security bounds for $L_1$ distinguishability and modified mutual information criterion under the classical and quantum setting, and have derived these exponential decreasing rates. These results are extended to the case when we apply $\varepsilon$-almost dual universal$_2$ hash functions. Further, we apply this analysis to the secret key generation with error correction.

研究の動機と目的

• 古典的大偏差解析（2次Rényiエントロピーに基づくもの）を量子設定に拡張すること。
• 2次Rényiエントロピーの近似的な滑らか化を用いて、$L_1$区別可能性および修正された相互情報量基準における秘密鍵生成のセキュリティを評価すること。
• 非漸近的領域におけるユニバーサル2および$\varepsilon$-ほぼ双対ユニバーサル2ハッシュ関数の下で、セキュリティ基準の指数的減少率を導出すること。
• 量子設定において、2次Rényiエントロピーの近似的な滑らか化と最小エントロピーの厳密な滑らか化の間で、セキュリティ境界の性能を比較すること。
• 得られた境界を誤り訂正を伴う秘密鍵生成に応用し、合成的セキュリティを保証すること。

提案手法

• 量子状態における不確実性の尺度として、2次Rényiエントロピーを用いる。特にプライバシー強化の文脈で。
• 実際の状態と理想状態の間の$L_1$区別可能性をバインドするために、2次Rényiエントロピーの近似的な滑らか化を適用する。
• $n$重i.i.d.設定における大偏差技法を用いて、$L_1$区別可能性基準の指数的減少率を導出する。
• 独立性と一様性を同時に捉える修正された相互情報量基準へ分析を拡張する。
• 標準的なユニバーサル2関数を超えて、より一般な量子プロトコルに適用可能な結果を得るため、$\varepsilon$-ほぼ双対ユニバーサル2ハッシュ関数を導入する。
• 変分法および凸双対性を用いて、Rényiエントロピー滑らか化と発散最小化を関連づけ、タイトな境界を可能にする。

実験結果

リサーチクエスチョン

• RQ1 2次Rényiエントロピーに基づく大偏差解析を、古典的設定から量子設定へ拡張できるか？
• RQ2 量子領域におけるユニバーサル2ハッシュ関数の下で、$L_1$区別可能性および修正された相互情報量の指数的減少率は何か？
• RQ3 セキュリティ境界の観点から、2次Rényiエントロピーの近似的な滑らか化と最小エントロピーの厳密な滑らか化の性能はどのように比較できるか？
• RQ4 $\varepsilon$-ほぼ双対ユニバーサル2ハッシュ関数の性能は、タイトなセキュリティ境界を達成するためにいかほどか？
• RQ5 導出された境界は、誤り訂正を伴う秘密鍵生成に適用可能であり、合成的セキュリティを維持できるか？

主な発見

• 本稿は、2次Rényiエントロピーの近似的な滑らか化を用いて、量子設定における$L_1$区別可能性のタイトな指数的減少率を導出し、側情報がない場合に古典的境界と一致する。
• 修正された相互情報量基準が評価され、一様性と独立性を捉える上で有効であることが示され、$L_1$区別可能性を補完する。
• $n$重i.i.d.ケースにおいて、導出された境界は、側情報がない場合にタイトな指数的減少率の下限を与える。
• $\varepsilon$-ほぼ双対ユニバーサル2ハッシュ関数の使用により、結果の適用範囲がより一般的な量子プロトコルへ拡張される。
• 分析により、量子設定において、2次Rényiエントロピーの近似的な滑らか化が最小エントロピーの厳密な滑らか化よりも厳密なセキュリティ境界を提供することが示された。
• 結果は、誤り訂正を伴う秘密鍵生成に適用可能であり、$L_1$区別可能性および相互情報量基準を通じて合成的セキュリティの保証が得られる。