[論文レビュー] Quantum speedup for combinatorial optimization with flat energy landscapes

Madelyn Cain, Sambuddha Chattopadhyay+4 more|arXiv (Cornell University)|Jun 22, 2023

Quantum Computing Algorithms and Architecture被引用数 9

ひとこと要約

論文は、硬いエネルギー地形を持つ難易度の高い問題点に対して、最適化された量子アダバティックアルゴリズムと古典的マルコフ連鎖モンテカルロ法を比較するフレームワークを構築し、二次加速の成り立ち条件を示し、局所的ハミルトニアンの修正がシミュレーテッドアニーリングや関連アルゴリズムへの加速を拡張することを提案します。

ABSTRACT

Designing quantum algorithms with a speedup over their classical analogs is a central challenge in quantum information science. Motivated by recent experimental observations of a superlinear quantum speedup in solving the Maximum Independent Set problem on certain unit-disk graph instances [Ebadi et al., Science 376, 6598 (2022)], we develop a theoretical framework to analyze the relative performance of the optimized quantum adiabatic algorithm and a broad class of classical Markov chain Monte Carlo algorithms. We outline conditions for the quantum adiabatic algorithm to achieve a quadratic speedup on hard problem instances featuring flat low-energy landscapes and provide example instances with either a quantum speedup or slowdown. We then introduce an additional local Hamiltonian with no sign problem to the optimized adiabatic algorithm to achieve a quadratic speedup over a wide class of classical simulated annealing, parallel tempering, and quantum Monte Carlo algorithms in solving these hard problem instances. Finally, we use this framework to analyze the experimental observations.

研究の動機と目的

• 量子アルゴリズムがNP困難な組合せ最適化問題の古典ソルバーより優れて発揮し得る条件を動機付け、分析する。
• 低エネルギー固有状態の局在化が平坦な地形における量子および古典の性能をどのように制御するかを特徴づける。
• シミュレーテッドアニーリングやパラレル温度法に対してQAAの加速または減速を予測する基準を開発する。
• 局所的な符号問題フリーのハミルトニアンを用いた修正QAAを提案し、脱局在化を強制して古典ソルバーに対して二次的な加速を生み出す。

提案手法

• Rydberg原子に着想を得たハミルトニアンを用いて単位ドメイングラフ上の最大独立集合問題をコストとしてモデル化する。
• Cheeger不等式とスペクトルギャップの境界を用いて地形構造をランタイムに結び付け、SAおよびQMCの実行時間を分析する。
• 2次の摂動論を用いて基底状態と第一励起状態（|G>と|E>）を同定し、回避交差でのDelta_QAAを決定する。
• 準同値体の中で局在化する基底状態を脱局在化させるラプラス様項H_llを導入し、デルタを抑制して局在化を防ぐ。
• 改良QAAが二次的な加速を達成する条件を導出し、ギャップとλ/ωのスケーリングを関連付ける。
• 局所的な脱局在化-局在化転移を示す例として星形グラフなどのグラフ族を提示し、実行時間への影響を説明する。

実験結果

リサーチクエスチョン

• RQ1 最適化されたQAAは、難しい単位円盤グラフの硬いエネルギー地形に対してSAおよびQMCを上回る条件はあるのか。
• RQ2 低エネルギー固有状態の(脱)局在化は最小ギャップとQAAの対応する実行時間にどう影響するのか。
• RQ3 局所的で符号問題のないハミルトニアンを追加することで、脱局在化を強制し、広いクラスの問題に対して古典ソルバーより二次的な加速を得られるのか。
• RQ4 実例の構造（例：Db比）と問題サイズに対するSAおよびQMCの実行時間のスケーリングはどうなるのか。これらは様々な局在化シナリオの下でQAAとどのように比較されるのか。
• RQ5 単位ディスクグラフ上の最大独立集合における実験的な加速観測は、このフレームワークの説明に適合するのか。

主な発見

• 硬い平坦な地形を持つ難しいグラフでのSA実行時間は、テストされた単位円盤グラフで少なくともexp(constant * sqrt(n))と同等またはそれ以上のスケーリングを示し、D_{b-1}/D_bの比に相関していた。
• QAAの実行時間は回避交差のギャップDelta_QAAによって支配され、|G>と|E>の局在化特性によって制御され、脱局在化すると二次的な加速が可能になる。
• 脱局在化した|G>と|E>（近似最適解の構成に均等に分布するような場合）はDelta_QAA^{-1}をSAの境界より二次的に小さくする。
• 局所的ラプラシアン項H_llを大きなλで導入すると脱局在化を強制し、QAAのギャップを有利なスケールに低減して、星形グラフのインスタンスや多くの単位円盤グラフでSAに対して二次的な加速を達成する。
• 実用的なλ/ω比を持つ単位円盤グラフでは、改良QAAはSAに対して二次的な加速を示し、分析された領域で経路積分QMCより依然として有利である。