[論文レビュー] A polynomial-time algorithm for the ground state of 1D gapped local Hamiltonians

Zeph Landau, Umesh Vazirani+1 more|arXiv (Cornell University)|Jul 19, 2013

Quantum many-body systems参考文献 16被引用数 23

ひとこと要約

本稿では、1次元のギャップを持つ局所ハミルトニアンの基底状態を近似する初の多項式時間ランダム化アルゴリズムを提示する。凸最適化、行列積状態（MPS）構造、および新規の近似基底状態射影（AGSP）技術を組み合わせることで、真の基底状態に対して逆多項式の忠実度を持つMPS近似を、多項式時間で効率的に計算可能であり、量子多体系物理学における長年の未解決問題を解決する。

ABSTRACT

Computing ground states of local Hamiltonians is a fundamental problem in condensed matter physics. We give the first randomized polynomial-time algorithm for finding ground states of gapped one-dimensional Hamiltonians: it outputs an (inverse-polynomial) approximation, expressed as a matrix product state (MPS) of polynomial bond dimension. The algorithm combines many ingredients, including recently discovered structural features of gapped 1D systems, convex programming, insights from classical algorithms for 1D satisfiability, and new techniques for manipulating and bounding the complexity of MPS. Our result provides one of the first major classes of Hamiltonians for which computing ground states is provably tractable despite the exponential nature of the objects involved.

研究の動機と目的

• 1次元ギャップ付き局所ハミルトニアンの基底状態が、指数的次元のヒルバート空間を持つにもかかわらず、古典的コンピュータ上で効率的に近似可能かどうかを解明すること。
• 1次元系におけるQMA完全性の理論的困難さと、DMRGの実用的成功の間の矛盾を解消すること。
• 逆多項式の忠実度を持つMPS表現の基底状態を、証明可能に効率的なアルゴリズムで計算すること。
• ギャップ付き1次元系がヒルバート空間の取り扱いやすい領域に位置することを示し、古典的シミュレーションの可能性を支持すること。

提案手法

• アルゴリズムは、多項式次元の部分空間に制限された密度行列のエネルギーを最小化する凸最適化フレームワークを用いる。
• 繰り返しステップ（拡張、サイズの短縮、結合の短縮、誤差低減）を通じて、有効な状態の集合を構築する。各ステップで重要なパラメータの多項式的バウンドを維持する。
• 誤差を低減しながらも、結合次元とスレートランクを多項式的次元に保つ、新規のAGSP（近似基底状態射影）を設計する。
• ハスティングスの面積法則の構造的結果と、AGSP構築に関する最近の進展を活用し、エンタングルメントとMPSの複雑さを制限する。
• 行列乗法的重み法と次元削減技術を用いて、凸計画問題を効率的に解く。
• 最終的な状態は、最適化された密度行列の最大固有ベクトルとして抽出され、真の基底状態との重なりが高くなることを保証する。

実験結果

リサーチクエスチョン

• RQ1 1次元ギャップ付き局所ハミルトニアンの基底状態は、古典的コンピュータ上で多項式時間で計算可能か？
• RQ2 DMRGの実用的成功は、ギャップ付き1次元系に内在するより深い構造的性質に起因しているか？
• RQ3 多項式的結合次元を持つ行列積状態（MPS）を用いて、基底状態を証明可能に効率的に近似するアルゴリズムは存在するか？
• RQ4 スペクトルギャップ条件に加え、エンタングルメントのバウンドがあれば、基底状態近似の多項式時間アルゴリズムを可能にするか？
• RQ5 近似基底状態射影（AGSP）は、ギャップ付き1次元系の効率的古典的シミュレーションを可能にする上で、どのような役割を果たすか？

主な発見

• アルゴリズムの実行時間は、n^{c(d,ε)} poly(n/η) であり、c(d,ε) = 2^{O(log³d / ε)} であり、真の基底状態との忠実度が1−η以上であるMPS近似を、高確率で返す。
• アルゴリズムは多項式時間内に逆多項式の忠実度（1−η）を達成し、結合次元はnの多項式で有界である。
• 繰り返しステップによる有効な集合の構築により、任意のカットにおけるスレートランクが多項式的バウンドを保つ。
• 誤差低減ステップを変更することで、任意の固定多項式p(n)について、忠実度1−1/p(n)を達成でき、エネルギーはε₀ + 1/p(n)以下に抑えられる。
• 従来の面積法則の証明に用いられたAGSPとは異なり、より単純な構成でありながら、誤差低減に十分な性能を発揮する、新規のAGSP構成に依存している。
• この結果により、ギャップ付き1次元系はMPSによる簡潔な古典的記述が可能であり、古典的シミュレーションが可能な量子系の取り扱いやすいクラスの存在を支持する。