[論文レビュー] Searching in Grover's Algorithm

Richard Jozsa|ArXiv.org|Jan 9, 1999

Computability, Logic, AI Algorithms被引用数 41

ひとこと要約

この論文は、Groverの量子探索アルゴリズムの幾何的解釈を提供し、アルゴリズムのコアな操作が2つの反転から成る回転に由来することを示している。これは、合成演算子構造とGrover反復におけるマイナス記号の役割を説明する。主な貢献は、なぜアルゴリズムが機能するのかを統一的に理解することであり、Hadamard変換を任意のユニタリ操作に置き換えられることを説明している。

ABSTRACT

Grover's algorithm is usually described in terms of the iteration of a compound operator of the form $Q = - H I_{0} H I_{x_0}$. Although it is quite straightforward to verify the algebra of the iteration, this gives little insight into why the algorithm works. What is the significance of the compound structure of $Q$? Why is there a minus sign? Later it was discovered that $H$ could be replaced by essentially any unitary $U$. What is the freedom involved here? We give a description of Grover's algorithm which provides some clarification of these questions.

研究の動機と目的

• 代数的検証をはるかに超えて、Groverのアルゴリズムがなぜ機能するのかを明確にすること。
• アルゴリズムにおける合成演算子構造 $ Q = -UI_0U^{-1}I_{x_0} $ の意義を説明すること。
• 反復演算子におけるマイナス記号の謎を解明すること。
• Hadamard変換 $ H $ を任意のユニタリ $ U $ に置き換えられる理由を説明し、この選択の幾何的意味を明らかにすること。
• 特に2次元ユークリッド幾何学の基本的原理、すなわち2つの反転の合成が回転を生じることに着目し、Groverのアルゴリズムを統一的に理解すること。

提案手法

• 定理1：交わる直線における2つの反転は、それらのなす角の2倍の回転を生じる。
• 演算子 $ Q = -I_{|w_0\rangle}I_{x_0} $ を、$ |x_0\rangle $ と $ |w_0\rangle $ で張られる2次元部分空間における回転と解釈する。ここで $ |w_0\rangle $ は均一重ね合わせ状態である。
• 2つの反転の合成が回転を生じるという幾何的原理を適用し、回転角 $ 2\alpha $ を得る。ここで $ \sin\alpha = \frac{1}{\sqrt{N}} $ である。
• Hadamard変換 $ H $ を任意のユニタリ $ U $ に置き換え、$ U|0\rangle = |w_0\rangle $ が探索部分空間内のランダムな初期状態を定義することを示す。
• 恒等式 $ -I_{|w_0\rangle}I_{x_0} = I_{|w_0^\perp\rangle}I_{x_0} $ を用いて、マイナス記号を「ほぼ直交する方向をほぼ平行な方向に変換する」方法として再解釈し、微小な回転を可能にする。
• 状態の反復的変化を $ \alpha_n = (2n+1)\alpha $ として導出し、$ |w_0\rangle $ から $ |x_0\rangle $ に到達するには $ O(\sqrt{N}) $ 回の反復が必要であることを示す。

実験結果

リサーチクエスチョン

• RQ1 Groverのアルゴリズムにおける合成演算子 $ Q = -HI_0HI_{x_0} $ がなぜ効果的な探索を可能にするのか。その構造に幾何的意味は何か。
• RQ2 演算子 $ Q $ におけるマイナス記号の役割は何か。なぜアルゴリズムが正常に機能するためには不可欠なのか。
• RQ3 なぜHadamard変換 $ H $ を任意のユニタリ $ U $ に置き換えられるのか。この自由度の幾何的解釈は何か。
• RQ4 アルゴリズムの振る舞いは初期状態 $ U|0\rangle $ にどのように依存するのか。この状態が $ |x_0\rangle $ とほぼ直交している場合にはどうなるか。
• RQ5 アルゴリズムは2次元部分空間における回転として理解できるか。もしそうならば、この理解が $ O(\sqrt{N}) $ の高速化をどのように説明するのか。

主な発見

• 演算子 $ Q = -UI_0U^{-1}I_{x_0} $ は、$ |x_0\rangle $ と $ |w_0\rangle $ で張られる2次元部分空間において、$ \sin\alpha = \frac{1}{\sqrt{N}} $ の回転角 $ 2\alpha $ で回転する。
• マイナス記号は、$ |w_0\rangle $ と $ |x_0\rangle $ のほぼ直交する方向を、微小な回転が可能になるようにほぼ平行な方向に変換するために不可欠である。
• アルゴリズムの成功は、2つの反転が回転を生成するという幾何的原理に基づく。これにより、$ Q $ の合成構造が説明される。
• H を任意のユニタリ $ U $ に置き換えられるのは、$ U|0\rangle $ が2次元探索部分空間内の新しい初期状態を定義するからであり、アルゴリズムは依然として1ステップあたり $ O(1/\sqrt{N}) $ の回転を実行する。
• 必要な反復回数は $ O(\sqrt{N}) $ である。回転角 $ 2\alpha \approx 2/\sqrt{N} $ であり、$ \pi/2 $ ラジアンの回転を達成するにはこの回数が必要となる。
• 初期状態 $ U|0\rangle $ が $ |x_0\rangle $ と正確に直交している場合（$ \sin\alpha = 0 $）にのみ、アルゴリズムは無視できる確率を除き失敗する。このとき回転角はゼロとなる。