[論文レビュー] Adiabatic Quantum Algorithms for the NP-Complete Maximum-Weight Independent Set, Exact Cover and 3SAT Problems

Vicky Choi|arXiv (Cornell University)|Apr 13, 2010

Quantum Computing Algorithms and Architecture参考文献 28被引用数 36

ひとこと要約

この論文は、CKグラフにおける問題ハミルトニアンの頂点重みを変更することで、NP完全問題を対象とする断熱的量子アルゴリズムのパrameterチューニング戦略を提案する。具体的には、最大重み独立集合（MIS）、正確被覆（Exact Cover）、3SATを対象としている。頂点重みをスケーリングすることにより、一次相転移を防ぎ、最小スペクトルギャップを顕著に増大させ、かつそのようなアルゴリズムがランダムなインスタンスに対して失敗するとする従来の主張に反する。

ABSTRACT

The problem Hamiltonian of the adiabatic quantum algorithm for the maximum-weight independent set problem (MIS) that is based on the reduction to the Ising problem (as described in [Choi08]) has flexible parameters. We show that by choosing the parameters appropriately in the problem Hamiltonian (without changing the problem to be solved) for MIS on CK graphs, we can prevent the first order quantum phase transition and significantly change the minimum spectral gap. We raise the basic question about what the appropriate formulation of adiabatic running time should be. We also describe adiabatic quantum algorithms for Exact Cover and 3SAT in which the problem Hamiltonians are based on the reduction to MIS. We point out that the argument in Altshuler et al.(arXiv:0908.2782 [quant-ph]) that their adiabatic quantum algorithm failed with high probability for randomly generated instances of Exact Cover does not carry over to this new algorithm.

研究の動機と目的

• NP完全問題に対する断熱的量子アルゴリズムにおいて、指数的に小さいスペクトルギャップが生じることで指数的実行時間が発生するという課題に対処すること。
• 問題ハミルトニアンにおけるパrameterチューニング、特に頂点重みのスケーリングが、断熱的量子計算における一次相転移を防げるかどうかを調査すること。
• Altshulerらが断熱的量子アルゴリズムがランダムなExact Coverインスタンスに対して失敗すると主張する一般性を、MIS還元に基づく新しいアルゴリズムを構築することで挑戦すること。
• パrameter選択に敏感なスペクトルギャップの挙動を踏まえて、断熱的実行時間の適切な定式化とは何かという根本的な問いに迫ること。
• 量子状態の進化を分析し、より強固な断熱的アルゴリズムの設計を支援するための可視化ツールDeSEVを開発・適用すること。

提案手法

• MISの問題ハミルトニアンは、Isingモデルへの還元により導出され、問題インスタンスに変更を加えずにチューニング可能な柔軟なパrameterを備えている。
• CKグラフにおける頂点重みをスケーリングすることで、エネルギーの地形を変更し、一次相転移を抑制する。一次相転移は、指数的に小さいスペクトルギャップを引き起こすことが知られている。
• 分解状態進化可視化（DeSEV）ツールを用いて、断熱的進化中の基底状態および第一励起状態の進化を分析し、回避された準位のクロスイングに関する洞察を得ている。
• Exact Coverおよび3SATの断熱的量子アルゴリズムは、同じハミルトニアンフレームワークを用いてMISへの還元によって構築されている。
• 断熱的実行時間（ART）は、最小スペクトルギャップに反比例すると仮定して分析されているが、本論文ではパrameter感度に起因するギャップの挙動のため、ARTの標準的定式化に疑問を呈している。
• 数値的解析と可視化を用いて、異なる重みスケーリングにおけるスペクトルギャップ挙動を比較し、顕著に大きなギャップをもたらす設定を同定している。

実験結果

リサーチクエスチョン

• RQ1 断熱的量子アルゴリズムの問題ハミルトニアンにおける頂点重みのチューニングは、CKグラフにおける一次相転移を防げるか？
• RQ2 頂点重みのスケーリングは、MISに対する断熱的量子アルゴリズムにおける最小スペクトルギャップにどのような影響を及ぼし、多項式時間の性能に繋がるか？
• RQ3 Altshulerらが主張するように、ランダムなExact Coverインスタンスに対して断熱的量子アルゴリズムが失敗するという主張は、チューニングされたパrameterを用いたMIS還元に基づく問題に適用しても成り立つか？
• RQ4 問題ハミルトニアンのパrameter選択に敏感なスペクトルギャップの挙動を考慮すると、断熱的実行時間の適切な定式化とは何か？
• RQ5 可視化ツールDeSEVは、より大きなスペクトルギャップと改善された効率を実現する断熱的アルゴリズムの設計に、実用的な洞察を提供できるか？

主な発見

• CKグラフにおけるMIS断熱的アルゴリズムの問題ハミルトニアンにおける頂点重みのスケーリングは、指数的に小さいスペクトルギャップと関連づけられていた一次相転移を効果的に防止した。
• 最適な重みスケーリングにより最小スペクトルギャップが顕著に増大し、MISのCKグラフにおける多項式時間断熱的アルゴリズムの可能性が示唆された。これは、以前の予測とは対照的である。
• MIS還元に基づくExact Coverの断熱的量子アルゴリズムは、Altshulerらの主張の一般性を損なうものであり、ランダムなインスタンスに対しては高い確率で失敗するとされている。
• DeSEV可視化による数値的結果は、適切な重みスケーリングにより、基底状態と第一励起状態の間の回避準位クロスイングが緩和されることを示しており、より好ましい進化経路であることを示している。
• 本研究では、断熱的実行時間が最小スペクトルギャップの逆数に比例するとする標準的仮定が、ギャップの挙動がパrameterチューニングに極めて敏感であることを踏まえると、不十分である可能性が明らかになった。
• 著者らは、問題ハミルトニアンのパrameter、特に頂点重みの選択がアルゴリズムの性能に顕著な影響を与える可能性があることを実証し、断熱的量子アルゴリズムの設計における新たな原則を示唆した。