リー・ヤンの定理

統計力学において リー・ヤンの定理（リー・ヤンのていり、、）とは、統計的場の理論における強磁性の相互作用を持つ、あるモデルの分配函数を外場の関数としたときに、全てのゼロ点が純虚数になるという定理である。外場を指数関数の形でフガシティーに変数変換すれば、ゼロ点は複素平面の単位円上の点となることから、リー・ヤンの円定理とも呼ばれる。この最初のバージョンは、イジングモデルに対して、李政道と楊振寧 により証明された。
は、リー・ヤンの定理をイジングモデルの重ね合わせによって近似することで、ある連続の確率分布へ拡張した。は、一般的な定理として大まかに言えば強磁性を持つ相互作用に対して成り立つリー・ヤンの定理が相互作用のない場合にも成り立つことを示した。は、の結果を R から高次元ユークリッド空間上の測度へ拡張した。
リー・ヤンの定理とリーマンゼータ函数やリーマン予想との関係について、いくつかの予想がある。を参照。
準備.
の結果に基づく形で、定式化を行う。スピン変数を Sj、外場を zjとし、系のスピン・ハミルトニアンが、
で与えられるものとする。ここで相互作用項の係数 Jjk の全てが非負な実数のときに 強磁性(ferromagnetic)という。
このとき、分配函数は次の式で与えられる。
ここに各々の dμj は任意のガウス函数が可積分であるように、無限遠点で十分早く減少する実数軸 R 上の測度とする。
実数上の急減少する測度は、次のように、そのフーリエ変換の全てのゼロ点が実数であるときに、リー・ヤンの性質(Lee-Yang property)を持つと呼ばれる。
定理.
リー・ヤンの定理は次のことを言っている。 もしハミルトニアンが強磁性的で、全ての測度 dμj がリー・ヤンの性質を持ち、全ての zj が正の実部を持てば、分配函数はゼロにならない。
特に、全ての値 zj がある値 z に等しいならば、z の函数として考えたときに、分配函数の全てのゼロ点は虚数になる。
リー・ヤンの考えた元来のイジングモデルでは、測度は2点の集合 {−1, 1} の上にサポートを持っているので、分配函数は変数 ρ= eπz の函数と考えることができる。変数変換によってリー・ヤンの定理は、全てのゼロ点ρ は単位円 |ρ| = 1 の上にあるということができる。
例.
リー・ヤンの性質を持つ測度の例をいくつか列挙する。