[論文レビュー] Exponential Separation of Quantum and Classical One-Way Communication Complexity for a Boolean Function

Dmitry Gavinsky, Julia Kempe+1 more|arXiv (Cornell University)|Jul 25, 2006

Quantum Computing Algorithms and Architecture参考文献 14被引用数 4

ひとこと要約

本稿は、ブール関数に対して、量子通信と古典的通信の1ウェイ通信複雑度の間で指数的分離を確立し、量子プロトコルがたった $(\log n)^{3/2}$ ビットの量子状態で問題を解けるのに対し、任意の古典的1ウェイプロトコルは $\sqrt{n}(\log n)^{1/4}$ ビットを必要とする、という事実を示している。この結果は、量子通信の根本的な優位性を強調しており、同じストレージ容量であっても量子ストレージが鍵の安全性を損なう可能性がある、限定ストレージモデルの暗号理論に影響を及ぼす。

ABSTRACT

We give an exponential separation between one-way quantum and classical communication complexity for a Boolean function. Earlier such a separation was known only for a relation. A very similar result was obtained earlier but independently by Kerenidis and Raz [KR06]. Our version of the result gives an example in the bounded storage model of cryptography, where the key is secure if the adversary has a certain amount of classical storage, but is completely insecure if he has a similar amount of quantum storage.

研究の動機と目的

• 先行研究による関係問題に関する未解決問題を残したまま、ブール関数に対して、量子と古典の1ウェイ通信複雑度の間で、無条件の指数的分離を確立すること。
• 全ブール関数において、1ウェイモデルにおいて量子通信が古典通信よりも指数的に高い効率を達成できることを示すこと。
• 限定ストレージ暗号モデルにおいて、量子攻撃者が最小限の量子ストレージでセキュリティを破る可能性があるという、量子優位性が継続することを示すこと。
• 先行研究で用いられたフーリエ解析的手法とは異なる、タラグランドの不等式とマルティンゲール集中を基盤とする新しい証明技法を提供すること。
• ゼロエラー量子プロトコルが、有界誤差古典プロトコルを上回ることを示すことで、通信複雑度における量子優位性の理解を強化すること。

提案手法

• プロトコルは、入力依存の情報を効率的に符号化・処理するために、量子重ね合わせと干渉を利用する、サイズ $(\log n)^{3/2}$ ビットの量子メッセージを用いる。
• 古典的下界は、出力分布の確率的解析により確立され、短い古典的メッセージでは高確率で必要な出力を近似できないことが示される。
• 鍵となる要素は、入力添え字をブロックにランダムに分割し、プロトコルの成功確率が特定の重み付き係数の和の集中に依存することである。
• 証明では、タラグランドの不等式とマクディアミドのマルティンゲール分散バウンドを用いて、古典的プロトコル下での出力分布の均一性からの逸脱を制御する。
• アリスのメッセージが短すぎる場合、ボブは導出された文字列 $ z $ について十分な情報を得られず、関数を正しく計算できなくなることが分析で示される。
• 実際に得られた結果は、出力分布と均一分布との全変動距離を評価することで得られ、メッセージが十分に長くない限り、この距離がゼロから離れていることが証明される。

実験結果

リサーチクエスチョン

• RQ1 全ブール関数に対して、関係問題に限らず、量子と古典の1ウェイ通信複雑度の間で指数的分離を達成できるか？
• RQ2 古典的通信で $\sqrt{n}(\log n)^{1/4}$ ビットを必要とするブール関数を解くために、最小限の量子通信コストはどれほどか？
• RQ3 通信複雑度における量子優位性は、限定ストレージモデルにおける暗号プロトコルのセキュリティとどのように関係するか？
• RQ4 ゼロエラー量子プロトコルは、有界誤差古典プロトコルに対して、1ウェイ通信において指数的優位性を達成できるか？
• RQ5 鍵の導出と情報論的セキュリティの文脈において、量子ストレージが古典ストレージよりも優れているという影響は何か？

主な発見

• 本稿は、量子通信複雑度が $(\log n)^{3/2}$ ビット、古典的1ウェイ通信複雑度が $\sqrt{n}(\log n)^{1/4}$ ビットである指数的分離を確立した。
• 量子プロトコルはゼロエラー計算を達成しているが、古典的下界は有界誤差プロトコルに対しても成立するため、より強い分離が示された。
• この結果は、限定ストレージモデルにおいて、共有文字列から導出された鍵は、$\sqrt{n}$ ビット未満の古典的ストレージを持つ敵に対しては安全であるが、$\sqrt{n}$ ビットの量子ストレージを持つ敵に対しては安全ではないことを示唆する。
• 証明技法は、タラグランドの不等式とマクディアミドのマルティンゲールバウンドに依拠しており、並行研究で用いられたフーリエ解析的手法とは明確に異なる新しい代替手法を提供する。
• 古典的メッセージ長が $c = \delta \sqrt{n}(\ln n)^{1/4}$ のとき、出力分布と均一分布との全変動距離が $1/10$ 未満に抑えられ、下界が証明される。
• この結果は、共有エンタングルメントを用いた古典的通信と、共有ランダムネスを用いた古典的通信の間で、同時メッセージ伝達モデルにおいても、ブール関数に対して分離を示すように適応可能である。