[論文レビュー] Quantum Adiabatic Evolution Algorithms versus Simulated Annealing

Edward Farhi, Jeffrey Goldstone+1 more|ArXiv.org|Jan 8, 2002

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

ひとこと要約

この論文は、n ビットの文字列上での古典的コスト関数の最小化において、量子断熱的遷移アルゴリズムとシミュレーテッド・アニーリングを比較している。コスト関数がハミング重みにのみ依存する場合、両手法は類似した性能を示すが、特定の非対称な例（例：「スパイク」や「含意のブッシュ」）では、量子断熱的アルゴリズムは多項式時間で成功する一方、シミュレーテッド・アニーリングは指数的失敗を示す。主な貢献は、進化経路の選択が性能に著しく影響することを示し、構造的問題において量子断熱的アルゴリズムが古典的局所探索を上回ることを示している。

ABSTRACT

We explain why quantum adiabatic evolution and simulated annealing perform similarly in certain examples of searching for the minimum of a cost function of n bits. In these examples each bit is treated symmetrically so the cost function depends only on the Hamming weight of the n bits. We also give two examples, closely related to these, where the similarity breaks down in that the quantum adiabatic algorithm succeeds in polynomial time whereas simulated annealing requires exponential time.

研究の動機と目的

• n ビットの文字列上でのコスト関数の最小化において、量子断熱的遷移とシミュレーテッド・アニーリングの性能を比較すること。
• 量子断熱的アルゴリズムが失敗するのに対し、古典的シミュレーテッド・アニーリングが失敗する状況を特定すること。
• 初期ハミルトニアンと遷移経路の選択が、アルゴリズムの成功または失敗に与える影響を分析すること。
• 量子断熱的アルゴリズムで指数的高速化をもたらすコスト関数の構造的特徴を同定すること。

提案手法

• 量子断熱的アルゴリズムを時間に依存するハミルトニアン H(t) = H̃(t/T) として定式化し、既知の初期基底状態から問題ハミルトニアン HP へと進化させる。
• 断熱定理を用いて、系が瞬間的な基底状態にとどまるように保証し、最初の2つの準位間の最小エネルギーギャップが十分に大きくなければならないことを要求する。
• シミュレーテッド・アニーリングをビット配置上のマルコフ連鎖としてモデル化し、ボルツマン分布とメトロポリス受理ルールを用いて温度を低下させながら状態を更新する。
• ハミング重みにのみ依存する対称的コスト関数を分析し、量子的および古典的手法が類似した振る舞いを示すことを示す。
• 量子トンネル効果により多項式時間で成功する非対称な例（例：「スパイク」や「含意のブッシュ」）を検討する。
• 摂動解析と数値的固有値分解を用いて最小ギャップを計算し、ギャップ(n) ≈ 0.5782 / n^{1/3} + O(n^{-2/3}) のスケーリングを示す。

実験結果

リサーチクエスチョン

• RQ1 量子断熱的アルゴリズムとシミュレーテッド・アニーリングが、コスト関数の最小化において類似した性能を示す条件は何か？
• RQ2 シミュレーテッド・アニーリングが指数的失敗を示す問題において、量子断熱的アルゴリズムが多項式時間で成功できるか？
• RQ3 初期ハミルトニアンの選択が、量子断壑的アルゴリズムの性能に与える影響は何か？
• RQ4 コスト関数のどのような構造的特徴が、量子トンネル効果によって古典的障壁を克服することを可能にするか？
• RQ5 「含意のブッシュ」の例では、最小ギャップがなぜ n^{-1/3} のようにスケーリングするのか、そしてそのスケーリングが実行時間に与える影響は何か？

主な発見

• ハミング重みにのみ依存する対称的コスト関数では、量子断壑的遷移とシミュレーテッド・アニーリングの両方が類似した性能を示し、最悪ケースでは指数的時間が必要となる。
• 「スパイク」の例では、量子トンネル効果により、古典的に到達不可能な障壁を越えて量子断壑的遷移が多項式時間で成功するが、シミュレーテッド・アニーリングは指数的失敗を示す。
• 「含意のブッシュ」の例では、1つのアーキテクチャ・キュービットを追加することで、最小ギャップが ∼n^{-1/3} のようにスケーリングし、多項式時間での性能が可能になる。
• 数値的結果は、ギャップ(n) ≈ 0.5782 / n^{1/3} の解析的予測を確認しており、フィッティングによる切片が 0.5812 に一致し、摂動解析の妥当性が裏付けられる。
• 量子断壑的アルゴリズムの性能は、初期ハミルトニアンの選択に極めて敏感であり、例えば λ < 1 に設定するとギャップが指数的に小さくなる。
• これらの結果は、量子断壑的アルゴリズムがシミュレーテッド・アニーリングが失敗する場合に失敗するという一般定理は存在しないことを示しており、特定の構造的問題において量子高速化の可能性を強調している。