[論文レビュー] Quantum Algorithms with Fixed Points: The Case of Database Search

Lov K. Grover, Apoorva Patel+1 more|ArXiv.org|Mar 15, 2006

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

ひとこと要約

本稿では、反復回数に敏感な標準Grover量子探索アルゴリズムの問題を克服し、目的状態への単調収束を保証する2つの固定点量子探索アルゴリズムを提案する。位相シフトπ/3または測定に基づく非可逆的射影を用いることで、qクエリで誤差確率をεからε^{2q+1}に低減し、低クエリ数・高忠実度の状況において、古典的手法および標準量子手法に比べて漸近的に最適で優れたロバスト性を達成する。

ABSTRACT

The standard quantum search algorithm lacks a feature, enjoyed by many classical algorithms, of having a fixed-point, i.e. a monotonic convergence towards the solution. Here we present two variations of the quantum search algorithm, which get around this limitation. The first replaces selective inversions in the algorithm by selective phase shifts of $\fracπ{3}$. The second controls the selective inversion operations using two ancilla qubits, and irreversible measurement operations on the ancilla qubits drive the starting state towards the target state. Using $q$ oracle queries, these variations reduce the probability of finding a non-target state from $ε$ to $ε^{2q+1}$, which is asymptotically optimal. Similar ideas can lead to robust quantum algorithms, and provide conceptually new schemes for error correction.

研究の動機と目的

• 標準Grover量子探索アルゴリズムにおける反復回数に依存する収束性の欠如を是正すること。
• 初期誤差確率が未知または小さい状況下でも、目的状態へ収束する量子探索アルゴリズムの開発。
• 特にパターン認識や誤り訂正において、オракルクエリ数が限られる状況でのアモイチュード推定のオーバーヘッドを低減すること。
• 非ユニタリまたは適応的変換を用いた固定点ダイナミクスの量子アルゴリズムへの応用を検討し、反復誤差に対してロバストな性能を実現すること。
• 固定点収束原理に基づく誤り訂正および関連記憶の再構築のためのフレームワークを提供すること。

提案手法

• Groverアルゴリズムの標準的選択的反転を、π/3の選択的位相シフトに置き換え、振幅の単調収束を可能にする。
• 2つのアーキラキュービットを用いて選択的反転操作を制御し、アーキラキュービットに対する非可逆的射影測定を導入して、系を目的状態へ誘導する。
• Phase-π/3アルゴリズムにおいて再帰的構造を採用することで、初期誤差確率の正確な知識がなくても収束を維持できる。
• 非可逆的測定操作を導入して減衰を生じさせ、変換のすべての固有値の絶対値が1未満になるようにし、固定点収束を可能にする。
• qクエリ後の誤差確率をε^{2q+1}として導出。ここでε = 1−fは初期誤差確率であり、漸近的に最適な性能を達成する。
• 測定に基づくアルゴリズムがすべての正の整数クエリ数を許容し、Phase-π/3バージョンよりも平均クエリコストが低いことを示している。

実験結果

リサーチクエスチョン

• RQ1 固定点収束メカニズムを導入することで、反復回数に依存しない量子探索が可能になるか？
• RQ2 振幅増幅における単調収束を実現するための位相シフト値（例：π/3）は何か？なぜπ/3が特別なのか？
• RQ3 非可逆的測定操作をユニタリ変化の代わりに量子探索に用いることは可能か？なお、最適性は保たれるか？
• RQ4 マークされた状態の割合が未知で小さい状況下で、固定点量子探索の性能は古典的手法および標準量子手法に比べてどのように異なるか？
• RQ5 位相シフトをクエリ依存にすることで、アディアバティック手法に類似した非漸近的領域への固定点量子アルゴリズムの一般化は可能か？

主な発見

• Phase-π/3探索アルゴリズムは、1クエリで誤差確率をεからε³に低減し、高忠実度領域において、最良の古典的手法および量子手法を著しく上回る性能を示す。
• マークされた状態の均等分布割合fが75%〜100%の範囲にある場合、固定点アルゴリズムは全体の誤差確率を約0.4%に抑えるのに対し、最良の古典的手法では2.1%、最良の既知の量子手法では5.7%となる。
• 測定に基づく固定点アルゴリズムは、Phase-π/3バージョンとは異なり、すべての正の整数クエリ数を許容する。
• 固定点アルゴリズムは、q個のオラクルクエリで誤差スケーリングε^{2q+1}を達成し、このような問題の理論的下界と一致するため、漸近的に最適である。
• 測定ベースのアルゴリズムは、Phase-π/3バージョンよりも平均的なクエリ要件が低く、実用的により効率的である。
• 固定点性質により、アルゴリズムが早期に停止されたり、初期段階で誤差が生じたりしても、状態は依然として目的状態へ向かって進化を続けるため、ロバスト性が向上する。