[論文レビュー] Quantum Advantage on Information Leakage for Equality

Juan Miguel Arrazola, Dave Touchette|arXiv (Cornell University)|Jul 26, 2016

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

ひとこと要約

本稿は、同時メッセージ伝達（SMP）モデルにおいて等価関数を計算する古典的プロトコルの情報漏洩れに有限サイズの下界を確立し、実用的な量子優位性を示している。通信複雑度の境界を改善し、マーコフの不等式とニューマン型の議論を用いて情報漏洩れと結びつけることで、著者らは現実的な入力サイズにおいて、量子プロトコルが古典的プロトコルよりも指数的に低い情報漏洩れを達成できることを示している。

ABSTRACT

We prove a lower bound on the information leakage of any classical protocol computing the equality function in the simultaneous message passing (SMP) model. Our bound is valid in the finite length regime and is strong enough to demonstrate a quantum advantage in terms of information leakage for practical quantum protocols. We prove our bound by obtaining an improved finite size version of the communication bound due to Babai and Kimmel, relating randomized communication to deterministic communication in the SMP model. We then relate information leakage to randomized communication through a series of reductions. We first provide alternative characterizations for information leakage, allowing us to link it to average length communication while allowing for shared randomness (pairwise, with the referee). A Markov inequality links this with bounded length communication, and a Newman type argument allows us to go from shared to private randomness. The only reduction in which we incur more than a logarithmic additive factor is in the Markov inequality; in particular, our compression method is essentially tight for the SMP model with average length communication.

研究の動機と目的

• 漸近的量子優位性と実用的妥当性のギャップを埋めるために、古典的プロトコルの情報漏洩れに有限サイズの下界を確立すること。
• 現実的で漸近的でない入力サイズにおいて、量子プロトコルが古典的プロトコルよりも情報漏洩れの面で優れていることを示すこと。
• SMPモデルにおいて通信複雑度と情報漏洩れの間の明確なリンクを、新規の還元手法を用いて提供すること。
• 特にプライベートなランダムネスを有する確率的プロトコルに対して、SMPモデルにおける既存の通信複雑度境界を改善すること。
• 情報漏洩れがSMPモデルにおける意味的かつタイトなプライバシー測度であることを検証し、平均通信コストと対数的要因の範囲で整合させること。

提案手法

• SMPモデルにおける確率的通信と決定的通信の関係を示すババイ＝キッメル通信境界の有限サイズ改善を導出する。
• 共有ランダムネス（アリス／チャーリーおよびボブ／チャーリー間のペアワイズ）を用いた平均長通信に基づいて情報漏洩れを再定式化する。
• マーコフの不等式を適用して、平均長通信境界を有界長通信に変換し、対数的加法的ペナルティのみを被る。
• ニューマン型の議論を用いて、共有ランダムネスを有するプロトコルを、誤差と通信境界を保ちながらプライベートランダムネスを有する同等のプロトコルに変換する。
• ハーシャらの単一メッセージ圧縮結果を活用し、通信コストと情報漏洩れの間でタイトな還元を可能にする。
• すべての還元を組み合わせて、古典的情報漏洩れを改善された通信下界と結びつけ、対数的要因の範囲でタイトであることを示す。

実験結果

リサーチクエスチョン

• RQ1 等価関数を計算する古典的SMPプロトコルに対して、情報漏洩れに有限サイズの下界を確立できるか？
• RQ2 古典的SMPプロトコルにおける情報漏洩れは入力サイズにどのように依存するか。有限領域においては定量的に評価可能か？
• RQ3 実用的入力サイズにおいて、量子プロトコルが古典的プロトコルよりも明示的に低い情報漏洩れを達成できるか？
• RQ4 共有ランダムネスを有するSMPモデルにおいて、情報漏洩れと平均通信コストの関係はどの程度タイトか？
• RQ5 この文脈において、平均長から有界長通信に変換する際に生じる最小の加法的ペナルティは何か？

主な発見

• 本稿は、等価関数を計算する古典的SMPプロトコルの情報漏洩れに有限サイズの下界を確立し、それが入力サイズ $ n $ に対して2次的に増加すること、すなわち $ \Omega(n^2) $ であることを示している。
• 改善された通信複雑度境界により、$ CC_{priv}(EQ_n, \varepsilon) \geq 2\sqrt{g_3(\varepsilon)n} - g_3(\varepsilon) - 6 $ という下界が得られ、これは従来の境界を1桁以上も上回っている。
• 情報漏洩れが共有ランダムネスを用いた平均通信コストとタイトに関係していることが示され、差は最大で対数的加法的要因にとどまる。
• マーコフの不等式のステップが還元チェーンで唯一の顕著なペナルティをもたらし、SMPモデルにおいては圧縮手法が本質的にタイトであることが示唆される。
• 量子プロトコル（例えば量子フィンガープrint）は、情報漏洩れを $ \log n $ のオーダーに抑えられ、これは有限な $ n $ に対して古典的プロトコルの $ \Omega(n^2) $ の下界と比べて指数的に小さいことを示しており、実用的な量子優位性を裏付けている。
• 分析により、情報漏洩れがSMPモデルにおいて強固で意味のあるプライバシー測度であることが確認され、通信コストと整合し、量子プロトコルとの公平な比較を可能にしている。