Lieb–Robinson 評価とギャップ・相関の減衰：量子スピン系の有限伝播速度

数学作用素環と量子統計力学第10章博士・研究有料「本」の章約 22 分2026-10-03

対象読者: 本テーマ第 9 章の量子スピン系（準局所代数・相互作用・時間発展）を学んだ人。ハイゼンベルク模型などのスピン鎖と、基底状態・スペクトルギャップの初歩を知っていることを仮定します。

前提となる記事:量子スピン系：準局所代数・相互作用・熱力学極限の動力学と平衡状態

0. この記事の要点

格子状に並んだ多数の量子的な粒子（小さな磁石の列のようなもの）のある場所に刺激を与えたとき、その影響は遠くまで一瞬で届くのでしょうか。相対論には光速という上限がありますが、格子上の量子系でも、相互作用の強さで決まる実質的な速さの上限があることを、この記事では示します。この上限が分かると、エネルギーに隙間（ギャップ）がある系では、離れた場所どうしの結びつき（相関）が距離とともに指数的に弱まることも導けます。読み終えると、この二つの結果の証明の流れと、ギャップがあるかないかを見分ける代表例（Lieb–Schultz–Mattis の定理、AKLT 模型）の位置づけが分かります。

相互作用 $\Phi$ が距離について指数的に減衰する（ノルム $\|\Phi\|_a$ が有限）とき、有限体積の時間発展 $\tau^\Lambda_t$ は体積によらない評価 $\|[\tau^\Lambda_t(A),B]\|\le C\|A\|\|B\|\min(|X|,|Y|)\,e^{-a(d(X,Y)-v|t|)}$ を満たします。これが Lieb–Robinson 評価で、 $v$ は相互作用だけで決まる「速度」です。
証明は Nachtergaele–Sims による反復で、鍵は交換子の大きさ $C_B(X,t)$ についての積分不等式と、格子上の F 関数の畳み込み不等式 $\sum_z F(d(x,z))F(d(z,y))\le C_FF(d(x,y))$ です。
基底状態の GNS ハミルトニアン（時間発展を生む作用素）が一意な基底状態とギャップ $\gamma$ を持てば、局所観測量の相関は $e^{-\mu d(X,Y)}$ 、 $\mu=a\gamma/(\gamma+2av)$ で減衰します（Hastings–Koma、Nachtergaele–Sims）。一意性を外すと減衰は起きません。
半奇数スピンの反強磁性 Heisenberg 鎖では、長さ $L$ の環のギャップが $O(1/L)$ で閉じます（Lieb–Schultz–Mattis）。整数スピンではギャップが開くという Haldane 予想は、一般の Heisenberg 鎖では未証明です。
整数スピンでギャップが証明できる代表例が AKLT 模型です。frustration-free な系（各項が同時に最小値 $0$ を取れる系）では、小さな開鎖のギャップ $\gamma_n$ が $1/n$ を超えれば全系にギャップがある、という Knabe の有限サイズ判定が使えます。

1. 動機

相対論的な場の理論では、因果律が光速で効きます。光錐の外にある 2 つの観測量は可換です。一方、格子上の量子スピン系のハミルトニアンは非相対論的で、 $e^{itH}Ae^{-itH}$ は $t>0$ ならすぐに格子全体に広がります。局所観測量 $A$ の時間発展を $\tau_t(A)$ と書くと、遠くの $B$ との交換子 $[\tau_t(A),B]$ は一般に $0$ ではありません。

Lieb と Robinson（1972 年）は、この交換子が光錐の外では指数的に小さいことを示しました。光速の代わりに、相互作用の強さと格子の幾何で決まる速度 $v$ が現れます。この結果は 30 年ほど注目されませんでしたが、2004 年から 2006 年にかけて Hastings、Nachtergaele–Sims、Hastings–Koma が次の 2 点を示してから、量子多体系の解析の基本道具になりました。

評価の定数が体積によらない形で証明できる。これで熱力学極限の時間発展の存在（量子スピン系）と、有限伝播速度が同時に手に入る。
有限伝播速度とスペクトルギャップを組み合わせると、基底状態の相関が指数的に減衰する。相対論的場の理論での「質量ギャップ ⇒ 相関の指数減衰」の格子版です。

この章ではまず 1 と 2 を証明します。そのうえで、ギャップがあるかないかを判定する問題に進みます。ギャップがないことを示す Lieb–Schultz–Mattis の定理と、ギャップがあることを示す AKLT 模型・Knabe の判定法です。整数スピンと半奇数スピンの違いを述べる Haldane 予想は、この 2 つの間にあります。

ここから先は有料（買い切り ¥200）の内容です。

この章は博士課程以上・研究水準の内容です。続き（定義・定理・証明・例・演習）は ¥200 の買い切りで、他の有料章と 100 本ノックも含めてすべて読めます。無料の章は最後まで読めます。

購入するログイン

このテーマの 100 本ノック（100 問）