[論文レビュー] A polynomial-time algorithm for ground states of spin trees

Nilin Abrahamsen|arXiv (Cornell University)|Jul 10, 2019

Quantum many-body systems参考文献 30被引用数 5

ひとこと要約

本稿では、分形次元 β < 2 であるスピンツリー上の局所ハミルトニアンの基底状態を計算する多項式時間の古典的アルゴリズムを提示する。面積則の証明と、新規の多スケールテンソルネットワーク「METAツリー」を用いた効率的表現を可能にする。この手法は、スピン鎖からツリー型の相互作用グラフへと既存の結果を一般化し、縮退・フラストレーションを有する基底状態に対しても、単一指数関数的ギャップ依存性を有する。

ABSTRACT

We prove that the ground states of a local Hamiltonian satisfy an area law and can be computed in polynomial time when the interaction graph is a tree with discrete fractal dimension $β&lt;2$. This condition is met for generic trees in the plane and for established models of hyperbranched polymers in 3D. This work is the first to prove an area law and exhibit a provably polynomial-time classical algorithm for local Hamiltonian ground states beyond the case of spin chains. Our algorithm outputs the ground state encoded as a multi-scale tensor network on the META-tree, which we introduce as an analogue of Vidal's MERA. Our results hold for polynomially degenerate and frustrated ground states, matching the state of the art for local Hamiltonians on a line.

研究の動機と目的

• 一次元スピン鎖にとどまらない、より複雑な相互作用グラフへと、効率的な基底状態計算の適用範囲を拡張すること。
• 分形次元 β < 2 であるツリー上の局所ハミルトニアンが面積則を満たすことを確立すること。
• フラストレーションや縮退が存在する場合でも、多項式時間で基底状態を計算できる古典的アルゴリズムを開発すること。
• MERAに類似した多スケールテンソルネットワーク構造「METAツリー」を導入し、長さスケールにわたる基底状態のもつれを符号化すること。

提案手法

• アルゴリズムは、クラスタ展開と切り捨てられた摂動論を用いて、基底状態発展演算子 e^{-tH} を近似する。
• 頂点 v の r-ボールについて |B_v(r)| = O(r^β) を満たすことで、分形次元 β < 2 であるツリーを定義する。
• 鍵となるステップは、包含除外原理と m 個の連結成分を持つ項のノルム推定を用いて、クラスタ展開の誤差を抑えること。
• 相互作用ツリーを階層的な層に分割することで、多スケールテンソルネットワーク（METAツリー）を構築する。各層は異なる長さスケールでのもつれを表す。
• スーパーブロック法にインspiredした分割統治型融合戦略を、ツリー構造に適応して用いる。
• 最終的なテンソルネットワーク、すなわちメタ-TN は、基底に物理的インデックス、上部に部分空間符号化のための次元インデックスを持つ多スケールもつれ構造として基底状態を符号化する。

実験結果

リサーチクエスチョン

• RQ1 分形次元 β < 2 であるツリー型相互作用グラフ上の局所ハミルトニアンの基底状態に対して、面積則を証明できるか？
• RQ2 フラストレーションや縮退が存在する場合でも、そのようなハミルトニアンの基底状態を古典的に多項式時間で計算できるアルゴリズムは存在するか？
• RQ3 これらの基底状態の多スケールもつれ構造を、テンソルネットワーク形式で効率的に符号化できるか？
• RQ4 相互作用ツリーの分形次元 β が、基底状態計算の複雑さともつれスケーリングにどのように影響するか？
• RQ5 MERAに類似した構造を、線形鎖を超えたツリーへ一般化できるか？その場合の計算効率はいかほどか？

主な発見

• 分形次元 β < 2 であるツリー上の局所ハミルトニアンの基底状態は、スピン鎖にのみ知られていた重要な結果を一般化した面積則を満たす。
• 多項式時間でこれらの基底状態を計算するアルゴリズムが構築され、実行時間は n に対して多項式的であり、逆スペクトルギャップに対して単一指数関数的である。
• アルゴリズムは、フラストレーションがある場合や多項式的縮退がある場合にも対応でき、スピン鎖における最先端技術と同等の性能を達成する。
• 基底状態は、対数的深さの METAツリー 上の多スケールテンソルネットワーク（メタ-TN）として効率的に符号化され、コンact表現を可能にする。
• 切り捨てられたクラスタ展開により誤差バウンドが達成され、クラスタサイズ L を a_t^L が指数的に減衰するように選べば収束が保証される。
• この構成は MERA フレームワークをツリー型グラフへ一般化し、非線形系における多スケールもつれ縮約の理論的基盤を提供する。