[論文レビュー] Dynamics and Lieb-Robinson estimates for lattices of interacting anharmonic oscillators

Laurent Amour, Pierre Lévy-Bruhl+1 more|ArXiv.org|Apr 17, 2009

Mathematical Dynamics and Fractals参考文献 11被引用数 3

ひとこと要約

本稿では、一般の摂動を伴う二次相互作用ポテンシャルに対する、相互作用する非調和振動子からなる無限一様格子系のダイナミクスの存在を確立し、Lieb-Robinson型の境界を導出する。非二次的摂動を扱える新しい$C^*$-代数$\mathcal{W}_2$を導入し、局所的および非局所的観測量の時間発展の収束を証明するとともに、相関の伝播に指数的減衰を示し、従来の調和的または有界な摂動の枠組みを超えて一般化する。

ABSTRACT

For a class of infinite lattices of interacting anharmonic oscillators, we study the existence of the dynamics, together with Lieb-Robinson bounds, in a suitable algebra of observables

研究の動機と目的

• 二次形式を超える一般の摂動を伴う、無限格子系の相互作用する非調和振動子に対する時間発展（ダイナミクス）の存在を確立すること。
• 非二次的摂動を扱うのに従来の代数（例えば、Weyl代数や準局所的代数）よりも適している、新しい$C^*$-代数$\mathcal{W}_2$を定義すること。
• 一般の摂動に対しても一様なLieb-Robinson型の境界を導出し、相関の伝播速度を保証し、系全体で有限な信号伝播速度を確保すること。
• 調和的または有界な相互作用モデルに限らないように、Lieb-Robinson推定を自己相互作用やより一般の非調和ポテンシャルを含む系へと拡張すること。

提案手法

• 著者らは、非二次的摂動を扱えるように調整された局所的観測量の完備化として、$C^*$-代数$\mathcal{W}_2$を定義する。
• 有限格子$\Lambda_n = \{-n, \dots, n\}$上でのハミルトニアン$H_{\Lambda_n}$の自己共役性を保証するため、Kato-Rellich定理を用いることで、ユニタリ時間発展$e^{itH_{\Lambda_n}}$を可能にする。
• 局所的観測量$A$に対するダイナミクス$\alpha_{\Lambda_n}^{(t)}(A)$をユニタリ共役によって定義し、$n \to \infty$の極限で$\mathcal{W}_2$内に収束することを示し、グローバルダイナミクスの確立を達成する。
• 微分方程式系と演算子行列技術を用いてLieb-Robinson型推定を導出し、パラメータ$\gamma > 0$を用いて空間的指数的減衰を実現する。
• 重要な技術的道具として、$E_{n\gamma}$内の演算子行列に適用する修正されたノルムを用い、有界な成長を示す微分方程式系により時間発展の制御を可能にする。
• 証明は、行列要素の交換子に対する反復推定とCauchy-Schwarz不等式の適用に依拠し、観測量間の交換子の成長に対する境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 一般の摂動を伴う二次ポテンシャルに対する、相互作用する非調和振動子の無限格子系のダイナミクスを、厳密に定義することは可能か？
• RQ2 $C^*$-代数$\mathcal{W}_2$は、Weyl代数や準局所的代数よりも、非二次的相互作用を扱うためのより適した枠組みを提供するのか？
• RQ3 自己相互作用を含む一般の摂動を伴う系に対しても、Lieb-Robinson型の境界を一様に確立できるか、特に格子サイズに依存しないか？
• RQ4 遠く離れた観測量間の相関の伝播速度は、非調和的摂動下でも時間的・空間的に一様に有界であるか？
• RQ5 局所的および非局所的観測量の時間発展が、格子サイズが無限大に近づく際の明確な代数内に収束することが示せるか？

主な発見

• すべての局所的および非局所的観測量$A$に対して、$C^*$-代数$\mathcal{W}_2$内での極限としてダイナミクス$\alpha^{(t)}(A)$が存在し、無限格子への時間発展の拡張が達成される。
• $\mathcal{W}_2$が、特にダイナミクスの収束の文脈において、Weyl代数や準局所的代数よりも非二次的摂動を扱うのに適していることが示される。
• 空間的指数的減衰を伴うLieb-Robinson型の境界が確立され、$\|A_{\lambda\mu}^{(j)}(t,s)\| \leq C(M,\gamma) e^{M|t-s|} e^{-\gamma|\lambda - \mu|}$を満たし、有限な信号伝播速度を保証する。
• 交換子の成長に対する境界は格子サイズ$n$に一様であり、定数$C(M,\gamma)$は$n$に依存しないため、熱力学的極限においても一様な推定が可能になる。
• 摂動ポテンシャル$V_{\Lambda_n}^{\text{pert}}$は、$v_{\Lambda_n}^{\text{pert}}(x) = o(|x|^2)$を無限大で満たす任意の$C^3$関数として許容され、二次的または有界な相互作用を超えて一般化される。
• 証明は、$\|A_{\lambda\mu}^{(j)}(t,s)\| \leq C(M,\gamma) e^{M|t-s|} e^{-\gamma|\lambda - \mu|}$を満たす演算子行列の微分方程式系に依拠し、$M > \sqrt{S_\gamma}$を満たすことで、空間的距離に伴う指数的減衰が保証される。