[論文レビュー] Different Strategies for Optimization Using the Quantum Adiabatic Algorithm

Elizabeth Crosson, Edward Farhi+3 more|arXiv (Cornell University)|Jan 28, 2014

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

ひとこと要約

この論文は、20キュービットのハードなMAX 2-SATインスタンスにおいて、量子断熱アルゴリズム（QAA）の成功確率を向上させる3つの戦略を調査している。進化時間の短縮、ドライバーハミルトニアンの励起状態への初期化、および進化中の中盤にランダムな局所ハミルトニアンを追加することで、著者たちは著しい成功確率の向上を達成した—標準的なQAAに比べて最大1000倍の向上を示した。非断熱的経路が、ハードなインスタンスにおいて従来の断熱的進化を上回ることを示した。

ABSTRACT

We present the results of a numerical study, with 20 qubits, of the performance of the Quantum Adiabatic Algorithm on randomly generated instances of MAX 2-SAT with a unique assignment that maximizes the number of satisfied clauses. The probability of obtaining this assignment at the end of the quantum evolution measures the success of the algorithm. Here we report three strategies which consistently increase the success probability for the hardest instances in our ensemble: decreasing the overall evolution time, initializing the system in excited states, and adding a random local Hamiltonian to the middle of the evolution.

研究の動機と目的

• 20キュービットのMAX 2-SATにおいて最も難しいインスタンスにおける量子断熱アルゴリズム（QAA）の性能を特定し、向上させること。
• 非断熱的戦略—例えば、より速い進化や従来とは異なる初期状態—が、標準的な断熱的進化を上回る可能性があるかどうかを検証すること。
• 断熱的経路中にランダムな局所ハミルトニアンを追加することで、成功確率およびスピンギャップダイナミクスに与える影響を評価すること。
• これらの戦略が、ハードなインスタンス全体に一般化されるのか、それとも小さな系サイズに起因するアーティファクトに過ぎないのかを特定すること。
• 観察された向上が、低レベルの数値的アーティファクトに起因するものでないことを検証するために、同じキュービット数の既知のハードな問題（グローバー探索）を用いてテストすること。

提案手法

• 202,078個のランダムに生成された20キュービットのMAX 2-SATインスタンスを生成し、それぞれが一意な基底状態を持つようにフィルタリングした。さらに、平均場近似を用いてT=100における成功確率が10⁻⁴未満となるインスタンスを抽出した。
• H(t) = (1−t/T)HB + (t/T)HP として、全QAA進化における時間に依存するシュレーディンガー方程式の正確な数値的積分を、T ∈ [1, 200] の範囲で実行した。
• 3つの戦略を実装した：(1) 進化時間Tを断熱的閾値未満に短縮すること、(2) HBの最初の励起状態のランダム重ね合わせに初期化すること、(3) t=T/2の時点でランダムな局所ハミルトニアンを追加すること。
• 経路摂動に関しては、3種類のタイプを検討した：ストーカスティック、複素数、対角型のランダムな局所項を、進化の中点に適用した。
• 進化全般にわたり、基底状態と最初の励起状態の間の最小スピンギャップg_minを計算し、成功確率と相関をとらせた。
• 20キュービットのグローバー探索問題を用いて、これらの戦略が、指数的時間が必要とされる問題においても性能向上をもたらすかどうかを検証した。

実験結果

リサーチクエスチョン

• RQ1 断熱定理の予測とは反対に、進化時間Tを短縮することで、ハードなMAX 2-SATインスタンスにおけるQAAの成功確率が向上する可能性があるか？
• RQ2 ドライバーハミルトニアンHBの励起状態の重ね合わせに初期化することで、標準的な基底状態初期化よりも高い成功確率が得られるか？
• RQ3 断熱的経路の中盤にランダムな局所ハミルトニアン項を追加することで、エネルギーギャップ構造を変化させ、成功確率を向上させられるか？
• RQ4 観察された向上は、スピンギャップの増大に起因するのか、それとも非断熱的進化における他のダイナミクス的効果に起因するのか？
• RQ5 これらの戦略は、他のハードな問題にも一般化されるのか、それとも20キュービットの小さな系サイズにおけるMAX 2-SATインスタンスの構造に特有のものなのか？

主な発見

• 137のハードなインスタンスすべてで、短い進化時間において高い成功確率が得られた。1つのインスタンスでは、T=12でP=0.05、T=100でP=5×10⁻⁵を記録し、1000倍の向上を達成した。
• HBの最初の励起状態のランダム重ね合わせに初期化することで、大多数のハードなインスタンスで平均して成功確率が約0.05に上昇し、理論的上限に近づいた。
• ストーカスティックな場合に、経路摂動を加えることで最も頻繁に成功確率が向上した。一方、複素数の場合が、ユニティに近い成功確率を達成する可能性が最も高かった。
• 対角型の経路摂動では、結果の分散が最も広く、成功確率を低下させるリスクが顕著に見られた。これは、摂動の構造に非常に敏感であることを示唆している。
• 最小スピンギャップg_minが大きいほど成功確率が高くなるという強い相関関係が観察された。特に、最も成功した経路変更の試行において顕著であった。
• これらの戦略は、20キュービットのグローバー探索問題では成功確率を向上させることができず、向上がMAX 2-SATインスタンスの構造に特有であり、一般化可能なアルゴリズム的改善ではないことを確認した。