[論文レビュー] Much Ado About Something: Why Lieb-Robinson bounds are useful

Bruno Nachtergaele, Robert Sims|arXiv (Cornell University)|Feb 4, 2011

Quantum many-body systems参考文献 34被引用数 20

ひとこと要約

この論文は、短距離相互作用を有する量子多体系のダイナミクスを分析するための強力な数学的道具として、Lieb-Robinson 界の有用性を示している。Lieb-Robinson 速度（情報伝播の有限速度）を確立することにより、相関関係の崩壊、エンタングルメントの増大、トポロジカル秩序の安定性に対する厳密な制御が可能となり、スペクトルギャップ、面積則、格子模型における量子相の安定性といった重要な応用が得られる。

ABSTRACT

This is a short review on the applications of Lieb-Robinson bounds for a general readership of mathematical physicists.

研究の動機と目的

• 有限範囲または指数的に減衰する相互作用を有する量子多体系のダイナミクスを理解するための Lieb-Robinson 界の有用性を確立すること。
• これらの界が、相対論的理論における光速の非相対論的アナロジーを提供すること、すなわち量子信号および摂動の伝播を制限することを示すこと。
• ギャップを持つ基底状態において、相関関係の指数的クラスタリングが Lieb-Robinson 界によって保証されることを示すこと。
• Lieb-Robinson 界が、局所的摂動下でのトポロジカル秩序の安定性を示す役割を果たすことを説明すること。
• エンタングルメントエントロピーの面積則の証明および多次元 Lieb-Schultz-Mattis 定理への応用を強調すること。

提案手法

• 著者たちは、各サイトに局所ヒルベルト空間が配置され、相互作用が関数 Φ によって支配される、メトリック空間構造を持つ格子系を定義する。
• 局所ハミルトニアン H_Λ^Φ を局所項および相互作用の和として定義し、ユニタリな時間発展によって自己随伴性と適切に定義されたハイゼンベルク力学を保証する。
• コアとなる技術は、一様可積分性および畳み込み性を満たす関数 F(r) であり、これにより Lieb-Robinson 界が導出可能となる。
• 界は、局所的可観測量 A および B に対して、[τ_t^Λ(A), B] の演算子ノルムを推定し、Lieb-Robinson 速度によって定義される光円錐の外側では指数的に減衰することを示す。
• 時間発展演算子における交換子の成長に関する再帰的推定を用い、格子のメトリック構造および相互作用の減衰を活用する。
• Lindblad 個体を用いて非可逆的ダイナミクスへと界を拡張し、相関関係の崩壊、スペクトルギャップ、量子相の安定性に関する結果の証明に応用する。

実験結果

リサーチクエスチョン

• RQ1 Lieb-Robinson 界は、相対論的でない多体系において、どのように量子情報の伝播を制御できるか？
• RQ2 ギャップを持つ量子系において、Lieb-Robinson 速度、スペクトルギャップ、および相関長とにはどのような関係があるか？
• RQ3 Lieb-Robinson 界は、局所的摂動下でのトポロジカル秩序の安定性をどの程度保証するか？
• RQ4 Lieb-Robinson 界を用いて、ギャップを持つ量子系におけるエンタングルメントエントロピーの面積則を導出できるか？
• RQ5 Lieb-Robinson 界は、多次元 Lieb-Schultz-Mattis 定理の証明にどのように寄与するか？

主な発見

• Lieb-Robinson 速度 v は、相対論的理論における光速に類似した、量子格子系における信号伝播速度の有限上界を提供する。
• ギャップを持つ基底状態では、相関長 ξ が ξ ≤ 2v/γ + 1/μ を満たす。ここで γ はスペクトルギャップ、μ は相互作用の減衰率を表す。
• 相関関係の指数的クラスタリングが、|ω(AB) − ω(A)ω(B)| ≤ c‖A‖‖B‖exp(−d(X,Y)/ξ) の形で証明され、これは台の距離にのみ依存する。
• Lieb-Robinson 界は、Kitaev のトーラスコード模型において示されるように、任意の短距離摂動下でのトポロジカル秩序の安定性を証明するために不可欠である。
• 一様次元のギャップを持つ系において、密度行列の近似的な因数分解を介して、エンタングルメントエントロピーの面積則を導出可能である。
• 多次元 Lieb-Schultz-Mattis 定理の証明において、Lieb-Robinson 界は、特定の対称性下で一意な基底状態が存在するならば、大きなスペクトルギャップが矛盾を引き起こすことを示すために不可欠である。