[論文レビュー] Grover's Algorithm for Multiobject Search in Quantum Computing

G. Chen, S. A. Fulling+1 more|ArXiv.org|Sep 13, 1999

Quantum Computing Algorithms and Architecture被引用数 12

ひとこと要約

この論文は、ヒルバート空間の枠組みを用いて、未整列データベース内の複数のターゲットアイテムを効率的に特定するように、グローバーの量子探索アルゴリズムを一般化する。アルゴリズムが複数の解に対しても最適な2乗の加速を維持することを示し、マーキングされた状態の数に応じて予測可能に成功確率がスケーリングされることを明らかにする。

ABSTRACT

L. K. Grover's search algorithm in quantum computing gives an optimal, square-root speedup in the search for a single object in a large unsorted database. In this paper, we expound Grover's algorithm in a Hilbert-space framework that isolates its geometrical essence, and we generalize it to the case where more than one object satisfies the search criterion.

研究の動機と目的

• 量子データベース内の複数のターゲット状態を扱えるように、グローバーの元々の単一ターゲット探索アルゴリズムを拡張すること。
• ヒルバート空間の枠組み内での複数目的探索プロセスの幾何的解釈を提供すること。
• 探索基準を満たすアイテムが1つより多い場合の、アルゴリズムの挙動と成功確率を分析すること。
• 複数の解を求める際のクエリ複雑度の観点から、一般化されたアルゴリズムの最適性を確立すること。
• 複数解の場合の振幅増幅プロセスの背後にある数学的構造を明確にすること。

提案手法

• アルゴリズムの幾何的コアを明確にするために、ヒルバート空間表現を用いてグローバーのアルゴリズムを形式化する。
• 初期状態とマーキングされた状態の均等重ね合わせで張られる2次元部分空間における反復的回転として、探索プロセスをモデル化する。
• グローバー反復演算子を繰り返し適用した際の系の状態ベクトルの進化を導出する。
• 複数のマーキングされた状態を扱えるように一般化された拡散演算子を導入し、アルゴリズムのユニタリ構造を維持する。
• 振幅の進化を追跡することで、複数目的探索における収束行動と最適測定時刻を分析する。
• 回転角度を角変数を用いて記述し、単一解の場合の一般化を行う。

実験結果

リサーチクエスチョン

• RQ1 グローバーのアルゴリズムは、非構造的データベース内で複数のターゲット状態を効率的に探索するようにどのように拡張できるか？
• RQ2 ヒルバート空間における複数目的探索プロセスの幾何的構造は何か？
• RQ3 マーキングされた状態の数に応じて、マーキングされた状態を特定する成功確率はどのようにスケーリングされるか？
• RQ4 複数解の場合に、マーキングされた状態を測定する確率を最大化するために必要な最適な反復回数は何か？
• RQ5 複数の解が存在する場合でも、一般化されたアルゴリズムはクエリ複雑度の観点で依然として最適であるか？

主な発見

• 一般化されたグローバー・アルゴリズムは、最適な2乗の加速を維持し、サイズNのデータベース内にr個のマーキングされたアイテムがある場合、成功確率がO(√N/r)にスケーリングすることを示す。
• アルゴリズムの性能は、マーキングされた状態の数に依存する回転角を持つ2次元部分空間における回転によって支配される。
• 最適な反復回数は約π√N/(4√r)であり、これはマーキングされた状態を測定する確率を最大化する。
• 成功確率は、この最適な反復回数の周辺でピークに達し、その後減少するため、反復回数の正確な制御の必要性が確認される。
• 幾何的枠組みにより、r ≪ Nである限り、マーキングされた状態の数に関わらずアルゴリズムの効率が保たれることを確認する。
• 解析により、複数の解が存在しても、アルゴリズムがロバストで効率的であり、振幅増幅メカニズムが適切にスケーリングされることを示す。