[論文レビュー] Lower bounds for quantum communication complexity

Hartmut Klauck|ArXiv.org|Jun 28, 2001

Quantum Computing Algorithms and Architecture参考文献 25被引用数 47

ひとこと要約

この論文は、有界誤差量子通信複雑性における、新しいフォーリエに基づく下界手法を導入し、古典的手法を量子設定に一般化する。ハミング距離関数 HAMⁿⁿ/² に対して、Ω(n/log n) の下界を示し、非決定的複雑性が O(log n) であることを示すことにより、有界誤差と非決定的量子通信複雑性の間で指数的分離を確立する。

ABSTRACT

We prove new lower bounds for bounded error quantum communication complexity. Our methods are based on the Fourier transform of the considered functions. First we generalize a method for proving classical communication complexity lower bounds developed by Raz to the quantum case. Applying this method we give an exponential separation between bounded error quantum communication complexity and nondeterministic quantum communication complexity. We develop several other lower bound methods based on the Fourier transform, notably showing that \sqrt{\bar{s}(f)/\log n}, for the average sensitivity \bar{s}(f) of a function f, yields a lower bound on the bounded error quantum communication complexity of f(x AND y XOR z), where x is a Boolean word held by Alice and y,z are Boolean words held by Bob. We then prove the first large lower bounds on the bounded error quantum communication complexity of functions, for which a polynomial quantum speedup is possible. For all the functions we investigate, the only previously applied general lower bound method based on discrepancy yields bounds that are O(\log n).

研究の動機と目的

• 従来の手法（差分法やランク法など）の制限を克服するため、有界誤差通信複雑性に特化した一般化された量子固有の下界技術を開発すること。
• 特に、古典的手法よりも量子的高速化が可能な多項式的利点を示す関数に対して、強い下界を証明すること。
• 特に、有界誤差と非決定的（片側無限誤差）量子プロトコルの間の分離を確立することを目的とする。
• HAMⁿⁿ/²、MAJₙ、COUNTₙᵗ などの関数の通信行列の代数的およびスペクトル的性質を用いて、その量子通信複雑性を分析すること。
• 特に、全関数に対して量子プロトコルが古典的手法よりも4乗以上良いことはないか、という点を含め、通信複雑性における量子優位性の限界を調査すること。

提案手法

• ラズの古典的手法（特定のフォーリエ係数の絶対値の和に基づく）を、実数の重み [−1, 1] を持つ重み付き単色長方形を用いて、量子設定に一般化する。
• 関数 f のフーリエ変換を用いて、平均感度 s̄(f) を通じて量子通信複雑性の下界を導出し、f(x ∧ y ⊕ z) に対して √(s̄(f)/log n) が有効な下界であることを示す。
• デ・ウルフの枠組みを応用し、量子プロトコルと重み付き長方形被覆の関係を結びつけることで、量子プロトコルを古典的弱無限誤差プロトコルでシミュレート可能であることを可能にする。
• 特にトレースノルム最小化を用いた行列近似技術を活用し、ラズボロフの後続の研究にインspiredされた通信行列の複雑性を制限する。
• 量子プロトコルから長方形をグループ化し、重みを調整することで、古典的弱無限誤差プロトコルを構築し、すべての f に対して QC(f) = Θ(PC(f)) を証明する。
• 差分法とスペクトル的手法を用いて、IPₙ、HAMⁿⁿ/²、MAJₙ などの特定関数を分析し、異なるモデル間での下界を比較する。

実験結果

リサーチクエスチョン

• RQ1 フォーリエに基づく手法を古典的通信複雑性から量子通信複雑性に一般化し、より強い下界を得られるか？
• RQ2 ハミング距離関数 HAMⁿⁿ/² の量子通信複雑性は何か？ そして、非決定的バージョンと比較するとどうなるか？
• RQ3 代数的手法を用いて、有界誤差と非決定的量子通信複雑性の間で指数的分離を証明できるか？
• RQ4 差分法が HAMⁿⁿ/² に対して O(log n) の下界しか得られないのに対し、新しいフォーリエに基づくアプローチは、どのように比較されるか？
• RQ5 全関数に対して、量子有界誤差通信複雑性が、古典的有界誤差複雑性よりも4乗以上小さいことは可能か？

主な発見

• フォーリエに基づく手法を用いて、HAMⁿⁿ/² の有界誤差量子通信複雑性に対して Ω(n/log n) の下界を確立した。
• HAMⁿⁿ/² の非決定的量子通信複雑性が O(log n) であることを示し、有界誤差と非決定的量子複雑性の間で指数的分離を達成した。
• 差分法は HAMⁿⁿ/² に対して O(log n) の下界しか得られないが、新しいフォーリエに基づく手法が優れていることを示した。
• 関数 f(x ∧ y ⊕ z) に対して、下界 √(s̄(f)/log n) が有効な有界誤差量子通信複雑性の下界であることを証明した。
• すべての関数 f に対して QC(f) = Θ(PC(f)) であることを示し、量子的および古典的弱無限誤差通信複雑性が漸近的に同等であることを示した。
• 結果として、COUNTₙᵗ の上界がタイトであることが示唆され、後にラズボロフの研究によって確認された。これにより、本手法の強力さが裏付けられた。