[論文レビュー] Quantum Mechanical Square Root Speedup in a Structured Search Problem

Edward Farhi, Sam Gutmann|ArXiv.org|Nov 18, 1997

Quantum Computing Algorithms and Architecture参考文献 3被引用数 13

ひとこと要約

この論文は、古典的計算でO(N)ステップを要する構造化された探索問題に対して、平方根の高速化を達成する量子アルゴリズムを示している。特定のグラフ構造上で量子断続的発展を活用することで、アルゴリズムはO(√N)時間で問題を解き、量子優位性が非構造的探索を超えた問題固有の制約下でも継続することを示している。

ABSTRACT

An unstructured search for one item out of N can be performed quantum mechanically in time of order square root of N whereas classically this requires of order N steps. This raises the question of whether square root speedup persists in problems with more structure. In this note we focus on one example of a structured problem and find a quantum algorithm which takes time of order the square root of the classical time.

研究の動機と目的

• 量子高速化（非構造的探索で知られている平方根の改善）が、追加の構造を有する問題においても持続するかを調査すること。
• 明示的な時間計算量の優位性を有する、特定の構造化された探索問題を効率的に解く量子アルゴリズムを設計すること。
• 定義されたグラフベースの探索問題における量子断続的発展の性能を分析すること。
• 同じ構造的設定における古典的アルゴリズムと比較して、量子アルゴリズムの実行時間を比較すること。

提案手法

• 著者らは、N個のノードを持つグラフに基づく構造化された探索問題を定義し、その中で1つのマークされたノードが解であると仮定する。
• 初期ハミルトニアンが単純な状態である量子断続的発展を適用し、問題を符号化する最終ハミルトニアンに系を発展させる。
• 断続的発展により、系は全過程で基底状態にとどまり、最終的な基底状態が解を符号化する。
• 時間に依存するハミルトニアンが初期ハミルトニアンと問題ハミルトニアンの間を補間することで、時間発展が支配される。
• 実行時間は断続的発展における最小エネルギー間隔に依存し、これが必要な発展時間の上限を定める。
• 解析により、最小間隔がO(1/√N)に比例することが示され、これにより全発展時間がO(√N)に比例することが導かれる。

実験結果

リサーチクエスチョン

• RQ1 量子アルゴリズムは、非構造的探索の有名なケースを超えて、構造化された探索問題においても平方根の高速化を達成できるか？
• RQ2 この構造化された問題における断続的発展の最小エネルギー間隔のスケーリングはいかほどか？
• RQ3 この構造化された問題において、量子断続的アルゴリズムの実行時間は古典的探索アルゴリズムと比べてどうなるか？
• RQ4 問題構造の存在が、量子高速化の実現可能性や大きさに影響を及ぼすか？

主な発見

• 量子断続的アルゴリズムは、構造化された探索問題をO(√N)時間で解き、非構造的探索で観察される平方根の高速化と一致する。
• 断続的発展における最小エネルギー間隔はO(1/√N)に比例し、これが必要な発展時間を決定する。
• この問題の古典的対応はO(N)ステップを要し、量子領域における平方根の高速化が確認される。
• 結果として、量子高速化が非構造的問題に限定されるのではなく、適切なアルゴリズム設計のもとで特定の構造的設定へも拡張可能であることが示された。