イジング模型

スピン系のモデルとしては非常に単純化されたモデルであるが、相転移現象を記述可能なモデルであり、多くの物理学者によって研究されてきた^[1]。単純なモデルであるため厳密な解析が可能であり、特に外部磁場の無い二次元イジング模型は厳密解が得られる可解格子模型の一種である。

イジング模型は1920年にドイツの物理学者ヴィルヘルム・レンツ（英語版）によって提案された^[2]。イジング模型という名前はレンツの博士課程の指導学生でありこの模型の研究を行っていたエルンスト・イジングに因んでいる^[3]。1944年にラルス・オンサーガーによって与えられた二次元イジング模型の厳密解は統計力学における金字塔の一つとされる^[4]。

概要

イジング模型のハミルトニアンは次式で与えられる。J は交換相互作用定数、h は外部磁場である。

${\mathcal {H}}=-J\sum _{\left\langle i,j\right\rangle }\sigma _{i}\cdot \sigma _{j}-h\sum _{i}\sigma _{i}$

σ_i は（結晶）格子点 i 上のスピンで、+1（上向き）と -1（下向き）の2状態のどちらかを取る。1項目は隣接スピン同士の向きが揃おうとする相互作用を表し、 $\left\langle i,j\right\rangle$ は最隣接する格子点のペアについてのみ和を取ることを意味する。2項目は外部磁場があるときに各スピンが外部磁場と同じ方向に配向しようとする作用を表す。

イジングの提案の段階で、一次元（格子系）での厳密な解は求められていて、有限温度での相転移を起こさないことが示されていた。その後、1944年にラルス・オンサーガーが二次元イジング模型の厳密解を求めた。これは相転移を起こし、この結果は相転移現象の記述と理解のために大変重要な役割を果たしている。オンサーガーの方法以外にも外部磁場のない二次元イジング模型の厳密解を求める方法がいくつか知られている。しかし、外部磁場のある場合の厳密解は得られていない。

三次元イジング模型の厳密解は知られていないが、共形ブートストラップを用いて解析的に臨界指数を求める試みがなされている^[5] ^[6]。

厳密解以外にも平均場近似や繰り込み群、級数展開（低温展開、高温展開）の手法などによる近似解が知られている。と、これらを用いた数値計算手段を使って近似的に解かれる。

この模型は、結晶表面のラフニング転移や合金の規則‐不規則（秩序‐無秩序）転移、異方性の大きな磁性の問題などに応用されている。

1次元モデル

相互作用の減衰が α > 1 で $J_{ij}\sim |i-j|^{-\alpha }$ であれば、熱力学的極限が存在する^[7]。

1 < α < 2 で強磁性の相互作用 $J_{ij}\sim |i-j|^{-\alpha }$ の場合について、ダイソン(Dyson)は階層を比較することにより充分小さな温度で相転移があることを証明した^[8]。

強磁性の相互作用 $J_{ij}\sim |i-j|^{-2}$ の場合について、フレーリッヒ(Fröhlich)とスペンサー(Spencer)は（階層の場合と対照的に）充分小さな温度で相転移があることを示した^[9]。

α > 2 の相互作用 $J_{ij}\sim |i-j|^{-\alpha }$ の場合（このことは有限の範囲の相互作用を意味する）においては、自由エネルギー(free energy)が熱力学パラメータに対して解析的であるので、正の温度（有限の β）に対して相転移がない^[7]。

近接相互作用の場合についてはイジング(E. Ising)がモデルの完全解を示した。任意の正の温度（有限の β）で、自由エネルギーは熱力学的パラメータの中で解析的であり、省略された 2点相関函数は指数的に急速に減少する。温度 0 （β が無限大）では、第二種の相転移がある。自由エネルギーは無限大となり、領略された 2点スピンの相関函数は減少しない（定数のままである）。従って、T = 0 はこの場合の臨界温度であり、スケーリング公式を満す^[10]。