[論文レビュー] Two-Source Extractors Secure Against Quantum Adversaries

Roy Kasher, Julia Kempe|arXiv (Cornell University)|May 4, 2010

Adversarial Robustness in Machine Learning参考文献 27被引用数 4

ひとこと要約

本稿では、もつれを共有する可能性のある量子敵対者に対しても安全な、最初の2源抽出器を提示する。Chor-Goldreichの内積抽出器およびDodisらによる多ビット変種が、量子限定ストレージおよびもつれの下でも安全であることを証明し、誤差と最小エントロピー要件のタイトな境界を達成し、古典的ケースと同等のパラメータを実現する。

ABSTRACT

We initiate the study of multi-source extractors in the quantum world. In this setting, our goal is to extract random bits from two independent weak random sources, on which two quantum adversaries store a bounded amount of information. Our main result is a two-source extractor secure against quantum adversaries, with parameters closely matching the classical case and tight in several instances. Moreover, the extractor is secure even if the adversaries share entanglement. The construction is the Chor-Goldreich [CG88] two-source inner product extractor and its multi-bit variant by Dodis et al. [DEOR04]. Previously, research in this area focused on the construction of seeded extractors secure against quantum adversaries; the multi-source setting poses new challenges, among which is the presence of entanglement that could potentially break the independence of the sources.

研究の動機と目的

• 量子敵対者が量子情報を格納する状況において、多源抽出器が依然として安全であるかどうかを調査すること。
• 敵対者間のもつれが、2源抽出器の安全性を破壊する可能性があるかどうかを特定すること。
• 量子知識を有する敵対者に対して2源抽出器が安全であるための最小エントロピーと誤差の明示的境界を確立すること。
• もつれが存在する状況において、古典的多源抽出器とその量子安全版との間のギャップを埋めること。

提案手法

• Chor-Goldreichの2源内積抽出器およびDodisらによる多ビット変種を、量子設定に適応する。
• 量子敵対者の知識と測定戦略をモデル化するために、Pretty Good Measurement（近似最適測定）フレームワークを用いる。
• XOR補題を用いて、多ビット抽出器の安全性を1ビットの強い抽出器のケースに還元する。
• 得られた量子安全な2源抽出器を、量子知識に対するシード付き抽出器と合成することで出力長を拡張する。
• トレース距離の境界と量子情報理論的ツールを用いて、ストレージが限定された量子敵対者に対する安全性を定量化する。
• 既知の量子安全なシード付き抽出器（例：[DPVR09] より）を活用し、最小限のシードオーバーヘッドで完全な出力長を達成する。

実験結果

リサーチクエスチョン

• RQ1 敵対者が量子情報を格納し、もつれを共有する場合でも、2源抽出器は安全に保たれるか？
• RQ2 標準的な古典的2源抽出器（例：内積抽出器）は、量子限定ストレージ敵対者に対しても安全に保たれるか？
• RQ3 2源抽出器が量子敵対者に対して安全であるために達成可能な最小の最小エントロピーと誤差パrameterは何か？
• RQ4 敵対者間のもつれが、量子設定下での多源抽出器の独立性と安全性に与える影響は何か？
• RQ5 量子知識下で、多ビット2源抽出器の安全性を1ビットケースに還元できるか？

主な発見

• Chor-Goldreichの内積抽出器は、ストレージが限定された量子敵対者に対しても安全であり、敵対者間のもつれが存在しても同様に安全である。
• 2源抽出器の最小エントロピーが $k_1$ と $k_2$ の場合、$k_1 + k_2 \gtrapprox n + 6\log \varepsilon^{-1}$ の条件下で安全性が達成され、古典的ケースと同程度のパラメータ（対数要因を除いて）を達成する。
• 1ビットの場合、$k_1 + k_2 \geq n - 2 + 6\log \varepsilon^{-1}$ のとき、抽出器は $(k_1, k_2, \varepsilon)$ X-strong (Y-strong) 抽出器として量子知識に対して安全である。
• 多ビットの場合、抽出器 $E_D$ は $k_1 + k_2 \geq 6m + n - 2 + 6\log \varepsilon^{-1}$ のとき、$m$ ビットのほぼ一様な出力を生成する形で安全である。
• 長さ $d = O(\log^3(n/\varepsilon))$ の量子安全なシード付き抽出器と合成することで、最終的な構成は $m = \frac{1}{6}(k_1 + k_2 - n - 6\log \varepsilon^{-1}) + k_1 - 8\log k_1 - 8\log \varepsilon^{-1} - O(1)$ ビットの出力を達成する。
• 安全性の証明により、抽出器出力と一様分布とのトレース距離が $\sqrt{\varepsilon}$ 以下に抑えられ、量子知識に対して堅牢であることが保証される。