[論文レビュー] Quantum lower bounds by quantum arguments

Andris Ambainis|ArXiv.org|Feb 24, 2000

Quantum Computing Algorithms and Architecture参考文献 15被引用数 16

ひとこと要約

本稿は、入力の重ね合わせ状態とのもつれを分析することにより、量子クエリアルゴリズムの下界を証明する新しい量子反対者手法を導入する。この手法により、置換の逆転とAND-of-ORsの計算について、タイトなΩ(√N)の下界が確立され、既知の複数の結果を統一的に証明し、従来の古典的反対者法や多項式法よりもより体系的な手法を提供する。

ABSTRACT

We propose a new method for proving lower bounds on quantum query algorithms. Instead of a classical adversary that runs the algorithm with one input and then modifies the input, we use a quantum adversary that runs the algorithm with a superposition of inputs. If the algorithm works correctly, its state becomes entangled with the superposition over inputs. We bound the number of queries needed to achieve a sufficient entanglement and this implies a lower bound on the number of queries for the computation. Using this method, we prove two new $Ω(\sqrt{N})$ lower bounds on computing AND of ORs and inverting a permutation and also provide more uniform proofs for several known lower bounds which have been previously proven via variety of different techniques.

研究の動機と目的

• 古典的反対者手法に起因する制限を克服する、量子クエリ下界を証明するための新しい、より一貫性のある手法の開発。
• 置換の逆転やAND-of-ORsの計算といった問題において、従来はΩ(∛N)やΩ(∜N)といった弱い下界しか得られなかったが、それらの問題に対するタイトな下界の欠如を解消すること。
• 過去の下界結果で用いられたばらばらな証明手法を、量子もつれと重ね合わせに基づく単一の枠組みで統一すること。
• 複数の問題（特に、従来は多様で複雑な手法を要した問題）に対してタイトな下界を導出することで、本手法の有効性を示すこと。

提案手法

• 本手法は、アルゴリズムを入力の重ね合わせ状態に対して実行する量子反対者を用い、アルゴリズムの状態と入力の重ね合わせ状態との間でもつれを生じさせる。
• 十分なもつれを達成するために必要なクエリ数を制限し、これが異なる入力に対して正しい出力を計算するために不可欠であることを示す。
• 核心的なアイデアは、アルゴリズムが関数を正しく計算するならば、その状態は入力の重ね合わせ状態ともつれることであり、もつれの成長速度がクエリ数の上限を制限することにある。
• 密度行列と異なる入力に対する状態間の内積を用いて、アルゴリズムの状態の時間発展を分析し、状態間の二乗距離の和を追跡する。
• 非定数関数を計算するには、アルゴリズムの状態が入力ごとに分離しなければならないが、その分離はクエリ数によって制限されることを活用する。
• 本手法はグローバーの距離に基づく証明と代数的に関係しているが、もつれに基づくより一般的で直感的な量子力学的解釈を提供する。

実験結果

リサーチクエスチョン

• RQ1 入力の重ね合わせ状態を用いる量子反対者アプローチは、量子クエリ複雑性において、古典的反対者法よりもタイトな下界を導けるか？
• RQ2 この手法は、従来は別個で複雑な技術を要していた複数の量子下界証明を統一的かつ簡略化できるか？
• RQ3 この量子反対者手法は、AND-of-ORs や置換の逆転といった問題に対して、Ω(√N)のタイトな下界を証明する一般枠組みを提供できるか？（これらに対しては、従来は弱い下界しか得られていなかった。）
• RQ4 この手法は、コロージョン問題や順序付き探索といった問題に拡張可能か？（これらの問題では、既存の下界は最適でないか、証明が困難である。）
• RQ5 この量子反対者手法は、多項式法や距離に基づく幾何的アプローチに比べ、クエリ複雑性においてより強力または一般性があるか？

主な発見

• 本稿は、置換の逆転についてΩ(√N)の下界を証明し、従来Ω(∛N)の下界しか得られなかった長年のギャップを解消した。
• AND-of-ORsの計算についてもΩ(√N)の下界を確立し、従来のΩ(∜N)の下界を改善し、グローバーベースのアルゴリズムのクエリ複雑性と一致する。
• 本手法は、アンオーダードサーチや1/2と1/2+εの1の割合を区別する問題など、既知の複数の下界を統一的に簡略化・一般化する証明枠組みを提供する。
• 本手法はグローバーの距離に基づく証明と代数的に同等であるが、もつれを介したより直感的な量子力学的解釈を提供する。
• 本手法は広範な問題クラスに適用可能であり、コロージョン問題や量子通信複雑性といった未解決問題への応用可能性を示唆する。
• 本稿では、現在の技術ではタイトな下界を導けない問題（特に順序付き探索問題や低誤差探索）における手法の限界を特定している。