[論文レビュー] A Topological Oracle Model for Proving P ≠ NP

Lov K. Grover|ArXiv.org|May 29, 1996

Quantum Computing Algorithms and Architecture参考文献 8被引用数 45

ひとこと要約

この論文は、位相反転とウォルシュ＝ハダマール変換を用いた量子アモニチュード増幅により、サイズNの未整列データベース内のマーキングされた項目をO(√N)クエリで検索する量子探索アルゴリズムを紹介する。これは古典的手法よりも2乗の速度向上を達成し、一般条件下での量子探索の根本的限界を確立する。

ABSTRACT

Imagine a phone directory containing N names arranged in completely random order. In order to find someone's phone number with a 50% probability, any classical algorithm (whether deterministic or probabilistic) will need to look at a minimum of N/2 names. Quantum mechanical systems can be in a superposition of states and simultaneously examine multiple names. By properly adjusting the phases of various operations, successful computations reinforce each other while others interfere randomly. As a result, the desired phone number can be obtained in only O(sqrt(N)) steps. The algorithm is within a small constant factor of the fastest possible quantum mechanical algorithm.

研究の動機と目的

• 構造的知識のない未整列データベースを効率的に探索できる量子アルゴリズムの開発。
• 非構造的問題における古典的探索アルゴリズムに対して2乗の速度向上を示すこと。
• クエリ複雑性の下界を明示的に証明することで、提案されたアルゴリズムの最適性を確立すること。
• アダマール変換や位相シフトといった基本的な量子操作のみを用いて、実装可能な量子アルゴリズムを提供すること。

提案手法

• データベース内のすべてのN個の項目を同時に調べるために量子重ね合わせを利用する。
• すべての基底状態に等しい重ね合わせを生成するためにウォルシュ＝ハダマール変換を適用する。
• マーキングされた状態（目的の項目）の振幅を反転する位相反転操作を採用する。
• 位相反転と干渉効果を組み合わせて反復的にアモニチュード増幅を実行し、マーキングされた状態を測定する確率を向上させる。
• 量子オракルに基づいて、目的の状態の振幅を条件付きで反転する制御位相シフト操作を用いる。
• ユニタリーな時間発展を通じて干渉を発生させ、正しい解の振幅を増幅するとともに、誤った状態の振幅を抑制する。

実験結果

リサーチクエスチョン

• RQ1 非構造的データベースの探索において、量子アルゴリズムは古典的手法よりも顕著な高速化を達成できるか？
• RQ2 量子力学を用いて未整列データベース内のマーキングされた項目を発見するために必要な最小クエリ数は何か？
• RQ3 提案されたアルゴリズムはクエリ複雑性において最適であるか、それより速い量子アルゴリズムが存在できるか？
• RQ4 データ構造の事前知識がなくとも、量子干渉とアモニチュード増幅をどのように活用して探索問題を解けるか？

主な発見

• アルゴリズムはO(√N)のクエリでマーキングされた項目を検出でき、古典的手法がO(N)クエリを要するのに対し2乗の速度向上を達成する。
• BBBV96で確立されたΩ(√N)の一致する下界により、アルゴリズムは定数要因の範囲で最適であることが証明されている。
• アルゴリズムは量子振幅の建設的干渉と誤った状態の破壊的干渉によってその高速化を達成する。
• この手法は、ウォルシュ＝ハダマール変換と条件付き位相シフトの2つの基本的な量子操作に依存しており、実験的に実装可能である。
• 複数の解が存在する場合でもアルゴリズムは有効であり、繰り返し実行することで任意の解の存在を検出できるように適合可能である。
• 縮退した解の摂動や干渉なし測定の原理の使用といった変更に対してもアルゴリズムは頑健であり、より広範な応用可能性を示唆している。