リー・ヤンの定理のソースを表示

[[統計力学]]において '''リー・ヤンの定理'''（リー・ヤンのていり、{{lang-zh|楊李定理}}、{{lang-en|Lee–Yang theorem}}）とは、[[統計的場の理論]]における'''[[強磁性]]'''の相互作用を持つ、あるモデルの[[分配函数]]を外場の関数としたときに、全ての[[零点|ゼロ点]]が純虚数になるという定理である。外場を指数関数の形で[[フガシティー]]に変数変換すれば、ゼロ点は複素平面の単位円上の点となることから、'''リー・ヤンの円定理'''とも呼ばれる。この最初のバージョンは、[[イジング模型|イジングモデル]]に対して、[[李政道]]と[[楊振寧]] {{harv|Lee|Yang|1952}}により証明された。

{{harvtxt|Simon|Griffiths|1973}}は、リー・ヤンの定理をイジングモデルの重ね合わせによって近似することで、ある連続の確率分布へ拡張した。{{harvtxt|Newman|1974}}は、一般的な定理として大まかに言えば強磁性を持つ相互作用に対して成り立つリー・ヤンの定理が相互作用のない場合にも成り立つことを示した。{{harvtxt|Lieb|Sokal|1981}}は、{{仮リンク|チャールズ・ニューマン|en|Charles M. Newman}}の結果を '''R''' から高次元ユークリッド空間上の測度へ拡張した。

リー・ヤンの定理と[[リーマンゼータ函数]]や[[リーマン予想]]との関係について、いくつかの予想がある。{{harv|Knauf|1999}}を参照。

==準備==
{{harvtxt|Newman|1974}}の結果に基づく形で、定式化を行う。スピン変数を S<sub>j</sub>、外場を z<sub>j</sub>とし、系のスピン・ハミルトニアンが、

:<math>H = -\sum{J_{jk}S_jS_k}-\sum{z_jS_j}</math>

で与えられるものとする。ここで相互作用項の係数 J<sub>jk</sub> の全てが非負な実数のときに '''[[強磁性]]'''(ferromagnetic)という。

このとき、[[分配函数]]は次の式で与えられる。

:<math>Z = \int e^{- H} d\mu_1(S_1)\cdots d\mu_N(S_N)</math>

ここに各々の d&mu;<sub>j</sub> は任意の[[ガウス函数]]が可積分であるように、無限遠点で十分早く減少する実数軸 '''R''' 上の[[測度]]とする。

:<math> \int e^{b S^2}  d|\mu_j(S)| < \infty , \, \forall b \in \mathbb{R}</math>

実数上の急減少する測度は、次のように、そのフーリエ変換の全てのゼロ点が実数であるときに、'''リー・ヤンの性質'''(Lee-Yang property)を持つと呼ばれる。

:<math> \int e^{h S}  d\mu_j(S) \neq 0 , \, \forall h \in \mathbb{H}_{+}:=\{ z \in \mathbb{C} | \Re{z}>0 \} </math>

==定理==
'''リー・ヤンの定理は次のことを言っている。''' もしハミルトニアンが強磁性的で、全ての測度 d&mu;<sub>j</sub> がリー・ヤンの性質を持ち、全ての z<sub>j</sub> が正の実部を持てば、分配函数はゼロにならない。

:<math> Z(\{ z_j \}) \neq 0 , \, \forall z_j \in \mathbb{H}_{+}</math>

特に、全ての値 z<sub>j</sub> がある値 z に等しいならば、z の函数として考えたときに、分配函数の全てのゼロ点は虚数になる。

リー・ヤンの考えた元来のイジングモデルでは、測度は2点の集合 {&minus;1, 1} の上に[[関数の台|サポート]]を持っているので、分配函数は変数 &rho;= e<sup>&pi;z</sup> の函数と考えることができる。変数変換によってリー・ヤンの定理は、全てのゼロ点&rho; は単位円 |&rho;| = 1 の上にあるということができる。

==例==

リー・ヤンの性質を持つ測度の例をいくつか列挙する。
*スピン 1/2であるイジングモデルの場合、各々の測度は、ウェイト 1/2 を持ち、 1 と &minus;1の 2点で構成されているサポートを持つ、d&mu;<sub>i</sub>（S<sub>i</sub>）=(&delta; (S<sub>i</sub> -1) + &delta; (S<sub>i</sub> +1))/2である。これは元来の場合でリー・ヤンによって考えられた。
*スピン n/2 の測度は、各々がウェイト 1/(n &nbsp;+&nbsp;1) を持つ n+1 個の空間的な点をサポートとして持っている。これはイジングモデルの一般化に相当する。
*&minus;1 と 1 の間の均一な密度分布をした測度
*密度 <math>\exp(-\lambda\cosh(S))\,dS</math>
*正の&lambda;と実数''b''に対しての密度 <math>\exp(-\lambda S^4-bS^2)\,dS</math>、これは (&phi;<sup>4</sup>)<sub>2</sub> のユークリッド量子場理論に対応する。
*正の &lambda; に対し密度 <math>\exp(-\lambda S^6- aS^4-bS^2)\,dS</math> は、リー・ヤンの性質をいつも持つわけではない。
* d&mu; がリー・ヤンの性質を持つと、任意の正の b に対し <math>\exp(bS^2)d\mu</math> がリー・ヤンの性質を持つ。
* d&mu; がリー・ヤンの性質を持つと、任意の偶の多項式 Q でゼロ点が全て虚数であるような多項式に対し、Q(S)&nbsp;d&mu; がリー・ヤンの性質を持つ。
*リー・ヤンの性質を持つ2つの測度の[[畳み込み]]もリー・ヤンの性質を持つ。

==参考文献==
*{{Citation | last1=Itzykson | first1=Claude | last2=Drouffe | first2=Jean-Michel | title=Statistical field theory. Vol. 1 | publisher=[[Cambridge University Press]] | series=Cambridge Monographs on Mathematical Physics | isbn=978-0-521-34058-8 |mr=1175176 | year=1989}}
*{{Citation | last1=Knauf | first1=Andreas | title=Number theory, dynamical systems and statistical mechanics |mr=1714352 | year=1999 | journal=Reviews in Mathematical Physics. A Journal for Both Review and Original Research Papers in the Field of Mathematical Physics | issn=0129-055X | volume=11 | issue=8 | pages=1027–1060|doi=10.1142/S0129055X99000325}}
*{{Citation | last1=Lee | first1=T. D. | last2=Yang | first2=C. N. | title=Statistical Theory of Equations of State and Phase Transitions. II. Lattice Gas and Ising Model | url=http://link.aps.org/abstract/PR/v87/p410 | doi=10.1103/PhysRev.87.410  | year=1952 | journal=[[Physical Review]] | issn=0031-9007 | volume=87 | pages=410–419}}
*{{Citation | doi=10.1007/BF01213009 | last1=Lieb | first1=Elliott H. | last2=Sokal | first2=Alan D. | title=A general Lee-Yang theorem for one-component and multicomponent ferromagnets |mr=623156 | year=1981 | journal=Communications in Mathematical Physics | issn=0010-3616 | volume=80 | issue=2 | pages=153–179|url=http://projecteuclid.org/euclid.cmp/1103919874}}
*{{Citation | last1=Newman | first1=Charles M. | title=Zeros of the partition function for generalized Ising systems | doi=10.1002/cpa.3160270203 |mr=0484184 | year=1974 | journal=[[Communications on Pure and Applied Mathematics]] | issn=0010-3640 | volume=27 | pages=143–159}}
*{{Citation | doi=10.1007/BF01645626 | last1=Simon | first1=Barry | author1-link=Barry Simon | last2=Griffiths | first2=Robert B. | title=The  (φ<sup>4</sup>)<sub>2</sub> field theory as a classical Ising model | url=http://projecteuclid.org/euclid.cmp/1103859251 |mr=0428998 | year=1973 | journal=Communications in Mathematical Physics | issn=0010-3616 | volume=33 | pages=145–164}}
*{{Citation | last1=Yang | first1=C. N. | last2=Lee | first2=T. D. | title=Statistical Theory of Equations of State and Phase Transitions. I. Theory of Condensation | url=http://link.aps.org/abstract/PR/v87/p404  | doi=10.1103/PhysRev.87.404 | year=1952 | journal=[[Physical Review]] | issn=0031-9007 | volume=87 | pages=404–409}}

{{Physics-stub}}
{{DEFAULTSORT:りいやんのていり}}
[[Category:統計力学の定理]]
[[Category:楊振寧]]