Finite- and long-range spin-wave free-energy asymptotics for the two-dimensional quantum Heisenberg ferromagnet

技術要約：二次元量子ハイゼンベルク強磁性体における有限および長距離スピン波自由エネルギーの漸近挙動

問題設定
本論文は、長距離交換相互作用を持つ二次元量子ハイゼンベルク強磁性体の、低温における主要な自由エネルギーの漸近挙動を厳密に導出することを目的としている。スピン波理論は独立なボゾン（マグノン）に基づく熱力学的挙動を予測するが、実際の量子系では、マグノンは局所的な占有制約（各サイトにつき最大$2S$個のマグノン）を受ける相互作用するマグノンを含む。これまでの厳密な結果は、三次元における近接相互作用のケースを解決しており、二次元においては上界を提供していたが、二次元の近接相互作用のケースにおける一致する下界は、最近ようやく確立された。中心となる問いは、交換結合 $J(z)$ がべき乗則 $|z|^{-2-\sigma}$ で減衰する場合に、自由マグノン記述が任意に大きな距離にわたって相互作用するスピンに対して依然として有効であるかどうかである。

手法
証明には、相互作用するスピン系と自由ボゾン系の間の厳密な比較を用いて、自由エネルギーの上界と下界の両方を確立する手法が用いられる。

1. 下界（衝突制御）:

   • 著者は「排除過程（exclusion process）」の枠組みを適応させ、スピンを、$2S$個のスピン1/2変数として表現する。ここでは、反転したスピンは同じ頂点を占有できない粒子として振る舞う。
   • これらの排除粒子を自由ボゾンと比較するために、粒子が重なる衝突構成（collision configurations）に対して、自由運動エネルギーを最小化することによって波動関数を拡張する。
   • コアとなる技術的課題は、「衝突エネルギー」（粒子が重なることを許容することによる追加のエネルギーコスト）を排除エネルギーに対して抑えることである。これは、相互作用グラフ上の有効抵抗推定を用いることで達成される。
   • 長距離相互作用の場合、著者は新たな抵抗値の境界を導出する。$0 < \sigma < 2$ の場合、抵抗は一様に有界であり、境界的なケースである $\sigma = 2$ では、$O(\log L)$ とスケーリングする。
   • 高エネルギー状態はスペクトルカットオフを用いて切り詰められ、残りの低エネルギーセクターは、調和拡張と最小最大原理（min-max principles）を用いて自由ボゾンと比較される。

2. 上界（射影ギブス状態）:

   • 上界は、自由ボゾン・ギブス状態を、局所的なスピン制約（各サイトにつき最大$2S$個のボゾン）を尊重する部分空間へと射影した、射影ギブス状態の構成を利用する。
   • この射影によって導入される誤差は、局所的な占有密度とエネルギー重み付きの一粒子トレースによって制御される。
   • 長距離カーネルの場合、著者は格子をディリクレ・ボックスでタイル張りすることで試行状態を構成する。著者は、試行状態の回転不変性を利用して、ボックス間の横スピン期待値が消失することを示すことで、アクティブな密度を損なうことなく、クロス・ボックス間の結合（任意に長い長距離結合を含む）を制御できることを実証する。

3. 分散および熱核解析:

   • 著者は、カーネルの裾から導かれる単一マグノン分散 $\varepsilon_J(p)$ を解析する。
   • $0 < \sigma < 2$ の場合、分散は分数形式となる：$\varepsilon_J(p) \sim |p|^\sigma$。
   • $\sigma = 2$ の場合、分散は境界的である：$\varepsilon_J(p) \sim |p|^2 \log(1/|p|)$。
   • これらの分散は熱核の回帰確率のスケールを決定し、それが自由エネルギーの温度依存性を決定する。

主要な結果
本論文は、固定されたスピン $S$ および逆温度 $\beta \to \infty$ における、磁場 $h \ge 0$ に関して一様な主要項自由エネルギー $f_J(\beta, S, h)$ を確立している。

1. 長距離ケース ($0 < \sigma \le 2$):

   • カーネルが $J(z) \sim a|z|^{-2-\sigma}$ ($0 < \sigma < 2$) で減衰する場合、自由エネルギーは次のようにスケーリングする：
     $$\lim_{\beta \to \infty} \beta^{1+2/\sigma} S^{2/\sigma} f_J(\beta, S, h) = -D_\sigma \text{Li}_{1+2/\sigma}(e^{-\beta h})$$
     ここで、$D_\sigma$ はテイルの振幅 $a$ とガンマ関数を含む明示的な定数であり、$\text{Li}_s$ はポリログ関数である。
   • 境界的なケース $\sigma = 2$ では、スケーリングに対数補正が含まれる：
     $$\lim_{\beta \to \infty} \beta^2 S \log(\beta S) f_J(\beta, S, h) = -D_2 \text{Li}_2(e^{-\beta h})$$
     ただし $D_2 = 1/(\pi^2 a)$ である。
   • これらの結果は、相互作用が長距離であっても、主要な自由エネルギーが非相互作用のスピン波理論と同一であることを確認している。

2. 有限二次のモーメントを持つケース:

   • 二次のモーメントが有限であるカーネル（二次元にわたる有限範囲の相互作用を含む）の場合、自由エネルギーは、弱い磁場依存性を伴う標準的な二次法則（高橋の法則）を回復する：
     $$\lim_{\beta \to \infty} \beta^2 S f_J(\beta, S, h) = -\frac{q_J}{4\pi \sqrt{\det A_J}} \text{Li}_2(e^{-\beta h})$$
     ここで、$A_J$ はカーネルの共分散行列であり、$q_J$ は交換格子の指数である。これは、従来の近接相互作用の結果を一般化したものである。

意義および主張
本論文は、二次元における長距離相互作用を持つ強磁性体に対するスピン波予測の厳密な確認および拡張を提供すると主張している。

• スピン波理論の検証: 固定されたすべてのスピンに対して、相互作用および局所的な占有制約が、マグノン分散が分数形式または対数補正を受ける場合であっても、主要な自由エネルギーの漸近挙動を変更しないことを証明している。
• 異常分散の厳密な基礎: 中野および高橋 [16, 17] によって予測され、スピン1/2に対する量子モンテカルロ・シミュレーション [20] によって支持された異常マグノン分散を数学的に正当化している。
• 既知の境界の拡張: 近接相互作用の下界 [14] を任意の長距離べき乗減衰へと拡張し、高橋の二次法則 [21] およびホーフマンの弱磁場法則 [11] を、有限の二次モーメントを持つカーネルへと一般化した。
• 方法論的貢献: 特に、べき乗型のコンダクタンスを持つグラフ上の有効抵抗および、固定幅の回廊を必要とせずに無限範囲の結合を管理する試行状態の構成を用いた、長距離ジャンプを扱うための具体的な衝突制御の技術を導入している。

著者は、これらの結果が自発的な磁気秩序が存在しない可能性のある領域においても成立すること、および、この解析が他の研究で扱われる大きなスピンや高磁場の極限とは異なるものであることを強調している。主要な貢献は、これらの特定の長距離モデルに関する熱力学的極限の厳密な導出である。