[論文レビュー] For the Quantum Heisenberg Ferromagnet, Some Conjectured Approximations

Paul Federbush|ArXiv.org|Jan 15, 2001

Matrix Theory and Algorithms被引用数 5

ひとこと要約

本稿では、格子熱方程式の解と導出された「平均場」波動関数を用いて、量子ヘイゼンベルク強磁性体におけるスピン期待値の推測的近似を提案する。真のスピンアップ確率 $ \langle p_i\rangle_\mu$ は、厳密な境界と局所性の性質を伴い、$ \phi_\mu(i)$, $ \rho_\mu(i)$, または $ \phi_{\mu/2}(i)$ によってよく近似されるとの仮説を提示する。この近似は、三次元における相転移の証明に寄与することを目的としている。

ABSTRACT

We present some conjectured approximations for spin expectations in a Quantum Heisenberg system. The conjectures are based on numerical experimentation, some theoretical insights and underpinning, and aesthetic value. We hope theoretical developments will follow from these ideas, even leading to a proof of the phase transition (in three dimensions).

研究の動機と目的

• 量子ヘイゼンベルク強磁性体系におけるスピン期待値の推測的近似を提示・分析すること。
• 演算子 $e^{-\mu H}$ を通じて、系の力学と格子熱方程式を結びつける理論的枠組みを確立すること。
• 対称性を保ち、単一サイトのスピン確率に一貫して射影する「平均場」波動関数近似を導入すること。
• これらの近似を通じて、三次元量子ヘイゼンベルク強磁性体における相転移の証明への道筋を示唆すること。
• 数値的に、$\phi_{\mu/2}(i)$ が $\phi_\mu(i)$ や $\rho_\mu(i)$ よりも $\langle p_i\rangle_\mu$ の大 $\mu$ 近似として優れていることを示すこと。

提案手法

• スピン配置に作用する量子ヘイゼンベルクハミルトニアン $H = -\sum_{i\sim j}(I_{ij}-1)$ を定義し、$N$ 個の上スピンを持つ状態を扱う。
• 初期条件 $\phi_0(i) = 1$（$i \in \mathcal{S}_0$ の場合）、それ以外は 0 である格子熱方程式の解 $\phi_\mu(i)$ を用い、スピン拡散をモデル化する。
• スピンアップ確率の非線形変換として、$\rho_\mu(i) = \frac{\phi_\mu^2(i)}{\phi_\mu^2(i) + (1 - \phi_\mu(i))^2}$ を構築する。
• 時間発展状態を介して定義される真のスピン期待値 $\langle p_i\rangle_\mu = \frac{\langle e^{-\mu H}\psi_0, p_i e^{-\mu H}\psi_0 \rangle}{\|e^{-\mu H}\psi_0\|^2}$ を定義する。
• 対称性を保ち、単一サイトのスピン確率に一貫して射影する「平均場」波動関数 $\psi^{AP}_\mu = \bigotimes_i \begin{pmatrix} \phi_\mu(i) \\ 1 - \phi_\mu(i) \end{pmatrix}_i$ を導入する。この波動関数は、平均場的進化方程式を満たす。
• 多数体の力学と単一サイトのスピン確率を結びつけるため、射影写像 $P_{N,1}$ を用い、熱方程式と整合性を保つ。

実験結果

リサーチクエスチョン

• RQ1 すべての $\mu$ に対して、$\phi_\mu(i)$ や $\rho_\mu(i)$ からのスピンアップ期待値 $\langle p_i\rangle_\mu$ の一様な有界性 $|\langle p_i\rangle_\mu - \rho_\mu(i)| < c_d < 1$ が成り立つか？
• RQ2 すべての初期スピン配置に依存せず、$\mu \to 0$ のとき $\ell^\infty(\Lambda)$ 内で $\langle p_i\rangle_\mu$ が $\phi_\mu(i)$ に収束するか？
• RQ3 なぜ $\phi_{\mu/2}(i)$ が $\phi_\mu(i)$ よりも $\langle p_i\rangle_\mu$ の大 $\mu$ 近似として優れているのか？
• RQ4 スピンをこの距離より遠くで変更しても、$\langle p_i\rangle_\mu$ の変化が $\varepsilon$ 未満に抑えられるような有限の局所性長 $L_{\varepsilon,\mu}$ が存在するか？
• RQ5 「平均場」波動関数 $\psi^{AP}_\mu$ が、三次元量子ヘイゼンベルク強磁性体における相転移の証明の基盤として機能できるか？

主な発見

• 仮説1が成立：すべての $i$ と $\mu$ に対して $|\langle p_i\rangle_\mu - \rho_\mu(i)| < c_d < 1$ が成り立ち、一次元では $c_1 = \frac{1}{2}$ である。
• 仮説2が成立：すべての $i$ と $\mu$ に対して $|\langle p_i\rangle_\mu - \phi_\mu(i)| < c_d < 1$ が成り立ち、一次元では $c_1 = \frac{1}{2}$ である。
• 仮説3が支持：$\ell^\infty(\Lambda)$ 内で $\lim_{\mu \to 0} \frac{1}{\mu}|\langle p_i\rangle_\mu - \rho_\mu(i)| = 0$ が成り立ち、一次元では $\mu^{2-\varepsilon}$ の収束速度を示す。
• $\mu \geq 4$ のとき仮説4が成立：$|\langle p_i\rangle_\mu - \phi_{\mu/2}(i)| < 0.1$ が成り立ち、大 $\mu$ 近似が改善されていることが示される。
• 「平均場」波動関数 $\psi^{AP}_\mu$ はスピンアップ確率として $\rho_\mu(i)$ を得ており、$\phi_\mu(i)$ がゆっくり変化する極限で平均場的進化を満たす。
• 局所性仮説（仮説5）が提示：$\langle p_i\rangle_\mu$ は、サイト $i$ からの距離が $L_{\varepsilon,\mu}$ 未満のスピンにのみ依存する。