[論文レビュー] Generalised entropy accumulation

Tony Metger, Omar Fawzi+2 more|arXiv (Cornell University)|Mar 9, 2022

Physical Unclonable Functions (PUFs) and Hardware Security被引用数 5

ひとこと要約

この論文は、より広いクラスの量子サイド情報モデルに一般化されたエントロピー蓄積定理（一般化 EAT）を導入する。これにより、動的に更新されるサイド情報が可能になる。元々の EAT で要請されるマルコフ条件を緩和することで、量子暗号におけるよりタイトで広く適用可能なセキュリティ証明が可能となり、一般の敵対者に対するブラインドランダムネス拡張のセキュリティ証明が初めて可能になる。

ABSTRACT

Consider a sequential process in which each step outputs a system $A_i$ and updates a side information register $E$. We prove that if this process satisfies a natural "non-signalling" condition between past outputs and future side information, the min-entropy of the outputs $A_1, \dots, A_n$ conditioned on the side information $E$ at the end of the process can be bounded from below by a sum of von Neumann entropies associated with the individual steps. This is a generalisation of the entropy accumulation theorem (EAT), which deals with a more restrictive model of side information: there, past side information cannot be updated in subsequent rounds, and newly generated side information has to satisfy a Markov condition. Due to its more general model of side-information, our generalised EAT can be applied more easily and to a broader range of cryptographic protocols. As examples, we give the first multi-round security proof for blind randomness expansion and a simplified analysis of the E91 QKD protocol. The proof of our generalised EAT relies on a new variant of Uhlmann's theorem and new chain rules for the Renyi divergence and entropy, which might be of independent interest.

研究の動機と目的

• サイド情報がラウンド間で更新可能な量子プロトコルにおける最小エントロピーの境界をより一般化した枠組みを構築すること。
• 元々のエントロピー蓄積定理（EAT）の制限を克服すること。この定理はサイド情報に制限的なマルコフ条件を要請する。
• 信頼できないデバイスに基づく量子暗号、例えばブラインドランダムネス拡張のようなプロトコルのセキュリティ証明を可能にすること。
• E91 型量子鍵配送に対するより良いセキュリティ証明を含む、より広範な量子暗号プロトコルに適用可能なツールを提供すること。
• 逐次的エントロピー蓄積において、マルコフ条件の自然な代替としての非信号条件を確立すること。

提案手法

• 一般化 EAT は、各ラウンドでシステム $A_i$ を出力し、サイド情報レジスタ $E$ を更新する逐次的量子プロセスをモデル化する。ここでは、過去の出力と将来のサイド情報の間に非信号条件が成り立つ。
• 完全な出力系列 $A_1^n$ の滑らかさ最小エントロピー $H_{ extnormal{min}}^{ar{ε}}(A_1^n|E_n)$ が、個々のラウンドからのヴォイエン・ニューマンエントロピー $H(A_i|E_i)$ の和によって下から抑えられることを証明する。
• 非信号条件が元の EAT のマルコフ条件に代わることで、サイド情報がラウンド間で更新され、再利用可能になる。
• リーマンダイバージェンスとスペクトルピンチング技術を用いて、条件付きリーマンエントロピーの強化されたチェーンルールを導出する。
• エンタロピー不確定性関係を用いて最小トレードオフ関数を構築し、E91 やブラインドランダムネス拡張のようなプロトコルにおける最小エントロピーの下界を導出可能にする。
• このフレームワークは、古典的および量子的サイド情報の条件付けを可能とし、非信号条件を満たすためにサイド情報レジスタに追加されるシステム $X^n$ を含む。

実験結果

リサーチクエスチョン

• RQ1 逐次的量子プロトコルにおいて、動的に更新されるサイド情報を許容するようにエントロピー蓄積定理を一般化できるか？
• RQ2 元の EAT におけるマルコフ条件を緩和しながらも、タイトな最小エントロピー下界を保証する方法は何か？
• RQ3 一般化 EAT は、ブラインドランダムネス拡張のような信頼できないデバイスに基づくプロトコルに適用可能か？
• RQ4 非信号条件は、エントロピー蓄積におけるマルコフ的サイド情報構造の代替として果たす役割は何か？
• RQ5 一般化 EAT は、E91 などの量子鍵配送プロトコルに対して、より良いセキュリティ証明をもたらすか？

主な発見

• 一般化 EAT は、非信号条件の下で、滑らかさ最小エントロピー $H_{ extnormal{min}}^{ar{ε}}(A^n|E_n)$ が個々のラウンドからのヴォイエン・ニューマンエントロピー $H(A_i|E_i)$ の和によって下から抑えられることを確立する。
• この定理により、一般の敵対者に対するブラインドランダムネス拡張のセキュリティ証明が初めて可能になる。これは、元の EAT の範囲外にあったプロトコルである。
• 一般化 EAT は、マルコフ条件を満たすために追加する補助系 $\bar{A}_i$ が不要になるため、セキュリティ境界におけるエントロピーペナルティ項を低減する。
• この手法により、量子系 $Q_i^n\bar{Q}_i^n$ や古典的情報 $X_i$ を含む、ラウンド間で更新されるサイド情報が可能になる。これらはサイド情報レジスタ $E_i$ に統合される。
• エンタロピー不確定性関係から導出される最小トレードオフ関数の使用が可能となり、E91 QKD などのプロトコルにおける具体的な下界が得られる。
• サイド情報の i.i.d. またはマルコフ的仮定を必要としないため、よりタイトで柔軟なセキュリティ境界が達成される。