[論文レビュー] The Elliptic Function in Statistical Integrable Models II

Kazuyasu Shigemoto|arXiv (Cornell University)|Feb 27, 2013

Algebraic structures and combinatorial models被引用数 4

ひとこと要約

本稿は、2次元イジング模型におけるSU(2)群構造と楕円関数パラメータライゼーションの深い関係を確立し、ヤン・バクスター方程式の可解性条件がSU(2)対称性から生じ、モデルの正確な可解性の背後にあるのは楕円関数の加法定理であることを示している。楕円関数（sn, cn, dn）によるパラメータライゼーションは、正確な可解性に不可欠な差分性を自然に導く。

ABSTRACT

Two dimensional statistical integrable models, such as the Ising model, the chiral Potts model and the Belavin model, becomes integrable. Because of the SU(2) symmetry of these models, these models become integrable. The integral models are often parameterized by the elliptic function or the elliptic theta function. In this paper, we study the Ising model, and we show that the Yang-Baxter equation of the Ising model can be written as the integrability condition of SU(2), and we gives the natural explanation why the Ising model can be parameterized by the elliptic function by connecting the spherical trigonometry relation and the elliptic function. Addition formula of the elliptic function is the secret of the exact solvability of the Ising model.

研究の動機と目的

• イジング模型のボルツマン重みが群論的原理に基づいて楕円関数でパラメータライズされる理由を説明すること。
• 球面三角法と楕円関数の加法定理との間の幾何学的・代数的リンクを確立すること。
• ヤン・バクスター方程式における差分性—正確な可解性の鍵—がSU(2)対称性と楕円関数の恒等式から生じることを示すこと。
• ハイペルエリプティック微分方程式の保存量を導出し、アーベルの加法定理を一般化すること。
• SU(2)群構造と結びつけることで、可解模型における楕円関数の出現を自然に説明すること。

提案手法

• スピン行列（σz, σx）を用いたSU(2)群生成子の観点から、イジング模型におけるヤン・バクスター方程式を導出し、可解性条件を満たすことを示した。
• パラメータライゼーション：cosh(2Ki) = 1/cn(ui), sinh(2Ki) = sn(ui)/cn(ui) および L* についても同様の楕円関数表現を用いた。
• パrameterを u1 + u3 の形で表現することで、ヤン・バクスター方程式における差分性を確立し、正確な可解性を実現した。
• 2次元球面上の余弦定理を用いた球面三角法と、微分方程式を介して楕円関数の加法定理を結びつけた。
• ハイペルエリプティック積分に対して変数変換（xi → 1/xi）を適用し、2つの保存量を導出し、アーベルの加法定理を一般化した。
• 数値的にシンボリック計算（Maxima）を用いてn=3の場合を検証し、sn, cn, dnの加法定理がu1+u2+u3=0の下で正当化された。

実験結果

リサーチクエスチョン

• RQ1 なぜイジング模型は楕円関数によるパラメータライゼーションを許容するのか？
• RQ2 ヤン・バクスター方程式における差分性—正確な可解性の鍵—はSU(2)対称性とどのように関係しているのか？
• RQ3 統計力学の文脈において、楕円関数の加法定理の幾何的起源は何か？
• RQ4 ハイペルエリプティック積分の保存量は、ヤン・バクスター方程式の構造から導けるか？
• RQ5 2次元球面の球面三角法は、可解模型における楕円関数の代数的構造とどのように関係するか？

主な発見

• ヤン・バクスター方程式がSU(2)群の可解性条件と等価であることが示され、その可解性に群論的根拠を与えた。
• イジング模型のボルツマン重みが楕円関数（sn, cn, dn）でパラメータライズされることで、自然に差分性が生じ、正確な可解性が実現される。
• 楕円関数の加法定理が、イジング模型の正確な可解性の根本的要因であると特定された。
• n=3の場合、恒等式 ∑(xi√f4(xi)/F′(xi)) + k∑xi = 0 がxi = sn(ui), u1+u2+u3=0の下で成立することを確認し、加法定理を検証した。
• ハイペルエリプティック微分方程式に対して2つの保存量が導出された：1つはxiで、もう1つはξi = 1/xiで表される。これはアーベルの加法定理を一般化する。
• xi から ξi への変換により、∑(1/xi) および ∑(1/xi)² を含む新たな保存量が得られ、その係数はf4(x)の多項式構造に依存する。