クラマース＝ワニア双対性

クラマース＝ワニエ双対性(Kramers–Wannier duality)は、統計力学での対称性である。クラマース＝ワニエ双対性は、低温での2次元の(square-lattice Ising model)の自由エネルギー(free energy)を、高温の別なイジングモデルの自由エネルギーとを関連付ける双対性である。この双対性はヘンリク・クラマースとグレゴリー・ワニエにより1941年に発見された。この双対性を用いて、クラマースとワニエは、正方格子イジングモデルの臨界点の正確な値を求めた。

同様な双対性は、他の統計モデルの自由エネルギーの間の関係も確立している。例えば、3次元ではイジングモデルはあるゲージイジングモデルの双対である。

 直感的な考え方 
2次元イジングモデルは格子（チェスボード状の正方形の集まり）上で定義される。有限格子では、辺はトーラスを形成するように結合できる。この種類の理論では、対合を構成することができる。例えば、ラルス・オンサーガー(Lars Onsager)は、Y-Δ変換が三角格子に使えるのではないかと提唱したSomendra M. Bhattacharjee, and Avinash Khare, Fifty Years of the Exact Solution of the Two-Dimensional Ising Model by Onsager (1995), arxiv:cond-mat/9511003。さて、離散的なトーラスの双対は自己自身である。さらに、非常に非秩序な（高温度）系の双対は、非常に秩序のある（低温度）系である。これは、フーリエ変換が大きな帯域幅をもつ（標準偏差が大きい）信号を帯域幅の小さな(標準偏差の小さい)信号にするためである。従って、逆温度を持つ本質的に同じ理論であることがわかる。

一方の理論の温度を上げると、もう一方の理論は温度が下る。相転移が一つしかない場合、相転移は交叉する点、すなわち双方の系の温度が等しくなる点で起こる。2次元イジングモデルは無秩序状態から秩序状態へ移るので、無秩序相と秩序相の間には 一対一写像に近い写像が存在する。

理論は一般化され、現在では、様々な考え方が融合している。例えば、四角形格子は円arXiv:cond-mat/9805301,  Self-dual property of the Potts model in one dimension,  F. Y. Wu、ランダム格子arXiv:hep-lat/0110063, Dirac operator and Ising model on a compact 2D random lattice, L.Bogacz, Z.Burda, J.Jurkiewicz, A.Krzywicki, C.Petersen, B.Petersson、非等質トーラスarXiv:hep-th/9703037, Duality of the 2D Nonhomogeneous Ising Model on the Torus,  A.I. Bugrij, V.N. Shadura、三角格子arXiv:cond-mat/0402420, Selfduality for coupled Potts models on the triangular lattice, Jean-Francois Richard, Jesper Lykke Jacobsen, Marco Picco、
labyrintharXiv:solv-int/9902009,  A critical Ising model on the Labyrinth,  M. Baake, U. Grimm, R. J. Baxter、ツイストした境界を持つ格子arXiv:hep-th/0209048,  Duality and conformal twisted boundaries in the Ising model, Uwe Grimm、カイラルポッツモデルarXiv:0905.1924, Duality and Symmetry in Chiral Potts Model, Shi-shyr Roanなど、様々なものに置き換えられる。

 導出 
これらの変数を定義する。

 での低温展開は、

である。

により、

である。ここに、 であり、 である。このことから、高温展開との関係がわかる。関係はより対称性が明確となるように、

と記述することができる。サイトあたりの自由エネルギーの熱力学的極限(thermodynamic limit)

を用いると、クラマース＝ワニアの双対性は、

を与える。

 である等方的な場合は、 に臨界点があるとすれば、 にも別な臨界点がある。従って、唯一の臨界点がある場合は、 のみに臨界点があることとなり、これは を意味し、  を得る。

 関連項目 
イジングモデル
S-双対

 参考文献 

 外部リンク 



Category:統計力学
Category:可解模型
Category:格子模型