[論文レビュー] An intuitive Hamiltonian for quantum search

Stephen Fenner|ArXiv.org|Apr 24, 2000

Quantum Computing Algorithms and Architecture参考文献 7被引用数 9

ひとこと要約

この論文は、Groverの量子探索アルゴリズムを段階的に正確に再現するシンプルで時間に依存しないハミルトニアンを導入し、アルゴリズムに新たな物理的直感を提供する。従来のアナログ的手法とは異なり、このハミルトニアンはデジタル回路の進化と密接に一致し、最適な $ O(2^{n/2}) $ の探索時間を持つ、量子アルゴリズムと連続時間ダイナミクスの直接的なブリッジを提供する。

ABSTRACT

We present new intuition behind Grover's quantum search algorithm by means of a Hamiltonian. Given a black-box Boolean function f mapping strings of length n into {0,1} such that f(w) = 1 for exactly one string w, L. K. Grover describes a quantum algorithm that finds w in O(2^{n/2}) time. Farhi & Gutmann show that w can also be found in the same amount time by letting the quantum system evolve according to a simple Hamiltonian depending only on f. Their system evolves along a path far from that taken by Grover's original algorithm, however. The current paper presents an equally simple Hamiltonian matching Grover's algorithm step for step. The new Hamiltonian is similar in appearance from that of Farhi & Gutmann, but has some important differences, and provides new intuition for Grover's algorithm itself. This intuition both contrasts with and supplements other explanations of Grover's algorithm as a rotation in two dimensions, and suggests that the Hamiltonian-based approach to quantum algorithms can provide a useful heuristic for discovering new quantum algorithms.

研究の動機と目的

• 時間に依存しないハミルトニアンを用いて、Groverの量子探索アルゴリズムに新たな直感的な物理的解釈を提供すること。
• デジタル回路の各ステップと正確に一致するように、Groverアルゴリズムのユニタリ進化を再現するハミルトニアンを構築すること。
• FarhiとGutmannの以前のアナログハミルトニアンとは対照的に、異なる進化経路に従う点を比較すること。
• ハミルトニアンに基づく設計が、新しい量子アルゴリズムを発見するためのヒューリスティックとして機能する可能性を示唆すること。
• アナログハミルトニアンがデジタル量子回路を、逆にデジタル回路がアナログハミルトニアンを効率的にシミュレートできるかどうかを検討すること。

提案手法

• 時間に依存しないハミルトニアン $ H = \frac{1}{2} \sin(2\theta) \left( |\sigma\rangle\!\langle\sigma| - |w\rangle\!\langle w| \right) $ を提案し、ここで $ \theta = \arccos(1/\sqrt{N}) $ である。このハミルトニアンが系の時間発展を支配する。
• 時間発展演算子 $ e^{-iHt_0} $ が、$ |\sigma\rangle $ と $ |w\rangle $ で張られる2次元部分空間上でGroverの反復演算 $ G $ に等しくなることを示した。ここで $ t_0 = \frac{\pi - 2\theta}{\sin 2\theta} $ である。
• $ e^{-iHt_0} = G + 2P $ であることを示し、ここで $ P $ は $ |\sigma\rangle $-$ |w\rangle $ 部分空間の直交補空間への射影である。これにより、正しいグローバルな進化が保証される。
• 離散的ユニタリ進化と連続時間ダイナミクスを結ぶために、演算子指数関数の恒等式 $ e^{A} = \lim_{k\to\infty} \left(I + \frac{A}{k}\right)^k $ を用いる。
• 新しいハミルトニアンをFarhiとGutmannの $ H' $ と比較し、経路の違いと物理的妥当性の違いを示したが、デジタル回路の進化とより密接に一致していることを明らかにした。
• 離散的ユニタリ進化 $ e^{-iH} $ と $ G $ の近似誤差を分析し、$ x = N^{-1/2} $ のとき $ O(N^{-3/2}) $ であることを示し、大規模な $ N $ に対しては連続的・離散的進化がほとんど区別できないことを確認した。

実験結果

リサーチクエスチョン

• RQ1 時間に依存しないハミルトニアンを構築できるか。その時間発展が、Groverのアルゴリズムを段階的に正確に再現するか。
• RQ2 このハミルトニアンに基づく進化は、FarhiとGutmannのアナログ的手法と比較して、経路と物理的妥当性の点でどのように異なるか。
• RQ3 ハミルトニアンに基づくアプローチは、ユニタリ回路では簡単に表現できないような新しい量子アルゴリズムを発見するためのヒューリスティックとして機能できるか。
• RQ4 ハミルトニアンの時間発展が、小さな量子回路によって効率的にシミュレート可能であるための一般的な基準は何か。
• RQ5 元のFarhiとGutmannのハミルトニアンは、量子回路によって効率的にシミュレート可能か。この事実は、アナログからデジタルへの量子アルゴリズム設計にどのような示唆をもたらすか。

主な発見

• 提案されたハミルトニアン $ H $ は、初期状態 $ |\sigma\rangle $ と目的状態 $ |w\rangle $ で張られる部分空間上で、時間発展 $ e^{-iHt_0} $ が正確にGroverの反復演算 $ G $ に等しくなる。
• 発展時間 $ t_0 = \frac{\pi - 2\theta}{\sin 2\theta} $ により $ e^{-iHt_0} = G $ が達成され、Groverのアルゴリズムと同様に $ O(2^{n/2}) $ の探索複雑度が得られる。
• $ e^{-iH} $ と $ G $ の近似誤差は $ O(N^{-3/2}) $ であり、$ N $ が大きい場合には離散的・連続的進化がほとんど区別できないことが確認された。
• このハミルトニアンはFarhiとGutmannの $ H' $ とは顕著に異なり、ヒルベルト空間内での経路が異なるが、デジタルアルゴリズムの進化とより密接に一致する。
• この手法は、ユニタリ回路よりもハミルトニアンを用いることで、量子アルゴリズム設計のより直感的な出発点が得られることを示唆している。
• 結果として、ハミルトニアンが既知のアルゴリズム的手順に合わせて構造化されている場合、その時間発展が量子回路によって効率的にシミュレート可能である可能性があることが示唆された。