[論文レビュー] Linear time algorithm for quantum 2SAT

Itai Arad, Miklós Sántha+2 more|arXiv (Cornell University)|Aug 26, 2015

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

ひとこと要約

本稿では、量子2-SAT問題をO(n + m)時間で解く決定的線形時間アルゴリズムを提示する。ここでnは量子ビット数、mは2量子ビット射影演算子の数である。このアルゴリズムは、積状態定理とエンタングルメントに配慮した制約スライディングを用いたパス伝播を導入することで、古典的Davis-Putnam手法を量子設定に拡張し、フラストレーションフリー構造を活用し、動的パス圧縮を用いた効率的なグラフ走査により、最適な複雑度を達成する。

ABSTRACT

A canonical result about satisfiability theory is that the 2-SAT problem can be solved in linear time, despite the NP-hardness of the 3-SAT problem. In the quantum 2-SAT problem, we are given a family of 2-qubit projectors $Π_{ij}$ on a system of $n$ qubits, and the task is to decide whether the Hamiltonian $H=\sum Π_{ij}$ has a 0-eigenvalue, or it is larger than $1/n^α$ for some $α=O(1)$. The problem is not only a natural extension of the classical 2-SAT problem to the quantum case, but is also equivalent to the problem of finding the ground state of 2-local frustration-free Hamiltonians of spin $\frac{1}{2}$, a well-studied model believed to capture certain key properties in modern condensed matter physics. While Bravyi has shown that the quantum 2-SAT problem has a classical polynomial-time algorithm, the running time of his algorithm is $O(n^4)$. In this paper we give a classical algorithm with linear running time in the number of local projectors, therefore achieving the best possible complexity.

研究の動機と目的

• 量子2-SAT問題に対して最適な線形時間複雑度を達成する古典的アルゴリズムの開発。
• 既知の多項式時間解法（O(n⁴)）と量子2-SATの理論的下界とのギャップを解消すること。
• ランク1およびランク2の射影演算子のみを含むフラストレーションフリー量子2-SATインスタンスに対して、構造的積状態定理を確立すること。
• スピン1/2系の2局所的、フラストレーションフリーなハミルトニアンにおける効率的な基底状態検出を可能にすること。
• 古典的2-SATの解法技術を量子設定に一般化しつつ、線形時間性能を維持すること。

提案手法

• ランク1およびランク2の射影演算子のみを含むフラストレーションフリー量子2-SATインスタンスに対して、基底状態が単一量子ビット状態のテンソル積であることを示す積状態定理を導入する。
• qubitに対する候補割り当てのテストと、相互作用グラフを通じた制約の伝播を用いて、量子設定に古典的Davis-Putnam解法戦略を適応する。
• 矛盾を衝突するパスによって検出する新規パス伝播メカニズムを導入し、スライディング補題を用いて多エッジパスを直接的な2量子ビット制約に置き換える。
• スライディング補題を繰り返し適用することで、エンタングルメントを含むパスを等価な直接的射影演算子に縮約し、基底空間を保存するとともに、効率的な伝播を可能にする。
• 動的グラフ収縮を用いた再帰的アルゴリズムを実装：成功した伝播後、探索済み部分グラフが分離され、残りのシステムに対して再帰的に処理が継続される。
• 一貫性を保証し、並列伝播パスにおける矛盾を検出することで不充足性を特定するため、閉じた状態追跡メカニズムを用いる。

実験結果

リサーチクエスチョン

• RQ1 量子2-SAT問題は、最良の古典的2-SATアルゴリズムと同等の線形時間で解けるか？
• RQ2 ランク1およびランク2の射影演算子のみを含むすべてのフラストレーションフリー量子2-SATインスタンスに対して、積状態基底状態が存在するか？
• RQ3 指数的爆発を避けるために、量子エンタングルメントを制約伝播で効率的に扱う方法は何か？
• RQ4 エッジ集合全体にわたる複雑度が「テレスコピング和」として表現できるように、量子2-SATにおけるパスベース制約伝播を最適化できるか？
• RQ5 相互作用グラフ内の多エッジパスを、基底空間を保存する前提で等価な直接2量子ビット射影演算子に置き換えることは可能か？

主な発見

• 本稿では、ランク1およびランク2の射影演算子のみから構成されるフラストレーションフリー量子2-SATインスタンスに対して、基底状態が単一量子ビット状態のテンソル積であることを示す積状態定理を確立した。
• 提案されたアルゴリズムはO(n + m)時間で実行され、nは量子ビット数、mは局所的射影演算子の数であり、最適な線形複雑度を達成した。
• アルゴリズムは、エンタングルメントを含む制約パスを等価な直接2量子ビット射影演算子に置き換える新規スライディング補題を用い、基底空間を保存するとともに、効率的な伝播を可能にした。
• 伝播における矛盾は、衝突するパスの結果によって検出され、すべてのパスで一貫した割り当てが存在しない場合に不充足性が確認される。
• アルゴリズムの複雑度は、伝播パスの効率的再利用と動的グラフ収縮のおかげでエッジ集合全体にわたって「テレスコピング和」として表現可能であり、O(|E|)に要約されることが証明された。
• アルゴリズムはフラストレーションフリーインスタンスを正しく同定し、線形時間で有効な積状態基底状態割り当てを返すことができ、従来のO(n⁴)の境界を改善した。