[論文レビュー] Strengths and Weaknesses of Quantum Fingerprinting

Dmitry Gavinsky, Julia Kempe+1 more|arXiv (Cornell University)|Mar 20, 2006

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

ひとこと要約

この論文は、アーリアの量子シミュレーション技術を拡張し、任意の有界誤差の量子通信プロトコル（Bell状態を用いる）が、指数的オーバーヘッドのみを伴って繰り返し量子フィンガープrintプロトコルにシミュレート可能であることを示している。さらに、ほとんどすべての関数に対して、量子フィンガープリントは、同一直線の半空間の最大マージン配置の本質的制限に起因する古典的決定的プロトコルに比べて指数的に非効率であることが示された。

ABSTRACT

We study the power of quantum fingerprints in the simultaneous message passing (SMP) setting of communication complexity. Yao recently showed how to simulate, with exponential overhead, classical shared-randomness SMP protocols by means of quantum SMP protocols without shared randomness ($Q^\parallel$-protocols). Our first result is to extend Yao's simulation to the strongest possible model: every many-round quantum protocol with unlimited shared entanglement can be simulated, with exponential overhead, by $Q^\parallel$-protocols. We apply our technique to obtain an efficient $Q^\parallel$-protocol for a function which cannot be efficiently solved through more restricted simulations. Second, we tightly characterize the power of the quantum fingerprinting technique by making a connection to arrangements of homogeneous halfspaces with maximal margin. These arrangements have been well studied in computational learning theory, and we use some strong results obtained in this area to exhibit weaknesses of quantum fingerprinting. In particular, this implies that for almost all functions, quantum fingerprinting protocols are exponentially worse than classical deterministic SMP protocols.

研究の動機と目的

• 無制限のエンタングルメントを伴う一般の量子プロトコルへ、古典的共有ランダムネスプロトコルのヤオのシミュレーションを拡張すること。
• 計算学習理論における最大マージン配置との関連を特定することで、量子フィンガープリントの能力を特徴づけること。
• ほとんどすべての関数に対して、量子フィンガープリントが古典的決定的SMPプロトコルに比べて指数的に非効率であることを示すこと。
• マージン複雑性を用いて、無制限の事前エンタングルメントが存在する状況下での量子通信複雑性の新たな下界を導出すること。

提案手法

• 任意の多段階量子プロトコル（エンタングルメントを含む）を、O(2^{O(q)} log n) ビットの通信量を伴う繰り返し量子フィンガープリントプロトコルでシミュレートする構成を行う。
• スワップテストを用いて、量子フィンガープリント間の内積を推定し、重なりの閾値に基づいた関数評価を可能にする。
• 計算学習理論の結果を活用して、量子フィンガープリントと最大マージンを持つ同一直線の半空間の配置との間の関係を確立する。
• 関数の符号行列の最大マージンが、エンタングルメント付き量子通信複雑性の下界を決定することを証明する。
• 既知のマージン複雑性に関する結果を応用し、ほとんどすべての関数が指数的に小さな最大マージンを持つことを示し、それにより高い通信コストが生じることを示す。
• 入力を量子状態へマップするためのしきい値埋め込み技術を用い、内積の大きさが関数出力を区別できるようにする。

実験結果

リサーチクエスチョン

• RQ1 ヤオの古典的共有ランダムネスプロトコルの指数的シミュレーションは、無制限のエンタングルメントと多段階通信を伴う一般の量子プロトコルへ拡張可能か？
• RQ2 すべての関数にわたる通信効率という観点で、量子フィンガープリントの根本的制限は何か？
• RQ3 符号行列の最大マージンは、エンタングルメント付き量子通信複雑性とどのように関係するか？
• RQ4 等価性関数およびその変種を除いて、自然な通信問題で効率的な量子フィンガープリントプロトコルが存在するか？
• RQ5 マージン複雑性を用いて、無制限の事前エンタングルメントが存在する状況下で、量子通信複雑性のタイトな下界を導出可能か？

主な発見

• q ビットの通信量と無制限の共有エンタングルメントを伴う任意の量子プロトコルは、O(2^{O(q)} log n) ビットの通信量を伴う繰り返し量子フィンガープリントプロトコルでシミュレート可能である。
• ほとんどすべてのブール関数 f に対して、量子フィンガープリントプロトコルは古典的決定的SMPプロトコルに比べて指数的に多くの通信を要する。
• 関数 f の最大マージン γ(f) は γ(f) = O(2^{-4Q^{ent}(f)} ) を満たし、下界 Q^{ent}(f) ≥ (1/4) log(1/γ(f)) - O(1) が得られる。
• 指数的に小さな最大マージンを持つ関数（これはランダム関数において一般的である）でさえ、無制限のエンタングルメントが存在しても線形の量子通信量を要する。
• 等価性関数は例外的である：O(log n) の通信量で効率的な量子フィンガープリントプロトコルを有し、特殊な状況下での技術の強力さを示している。
• 量子フィンガープリントと最大マージン配置との間の関係を活用することで、計算学習理論の結果を用いて、量子通信複雑性に対する新たな下界を導出可能である。