[論文レビュー] Convergence of the two-dimensional dynamic Ising-Kac model to $\Phi^4_2$

Jean-Christophe Mourrat, Hendrik Weber|arXiv (Cornell University)|Oct 5, 2014

Random Matrices and Applications参考文献 31被引用数 11

ひとこと要約

本稿は、Glauber動的における2次元動的イジング・カスモデルが、粗視化された磁化場のスケーリングと、正規化による臨界温度シフトを考慮することで、動的 $Φ^4_2$ 確率偏微分方程式へ収束することを確立する。著者らは、非線形性がWick正規化された立方項を持つ非線形SPDEの極限過程が満たすことを証明し、統計力学における長年の予想を確認するとともに、離散スピン系と連続的量子場理論との間の厳密な接続を提供する。

ABSTRACT

The Ising-Kac model is a variant of the ferromagnetic Ising model in which each spin variable interacts with all spins in a neighbourhood of radius $\\gamma^{-1}$ for $\\gamma \\ll 1$ around its base point. We study the Glauber dynamics for this model on a discrete two-dimensional torus $\\mathbb{Z}^2/ (2N+1)\\mathbb{Z}^2$, for a system size $N \\gg \\gamma^{-1}$ and for an inverse temperature close to the critical value of the mean field model. We show that the suitably rescaled coarse-grained spin field converges in distribution to the solution of a non-linear stochastic partial differential equation. This equation is the dynamic version of the $\\Phi^4_2$ quantum field theory, which is formally given by a reaction diffusion equation driven by an additive space-time white noise. It is well-known that in two spatial dimensions, such equations are distribution valued and a Wick renormalisation has to be performed in order to define the non-linear term. Formally, this renormalisation corresponds to adding an infinite mass term to the equation. We show that this need for renormalisation for the limiting equation is reflected in the discrete system by a shift of the critical temperature away from its mean field value.

研究の動機と目的

• 2次元動的イジング・カスモデルのスケーリング極限が非線形確率的PDEへ収束することを確立すること。
• 離散的統計力学モデルと動的 $Φ^4_2$ 量子場理論との間の厳密な接続を確立すること。
• 連続極限における正規化の必要性が、離散系の臨界温度シフトとしてどのように現れるかを説明すること。
• 2次元において、動的 $Φ^4_2$ 方程式がこのようなスピン系の普遍的極限として生じるという予想を検証すること。
• Glauber動的を伴う微視的粒子系から動的 $Φ^4_2$ 方程式を初めて厳密に導出すること。

提案手法

• $N \gg \gamma^{-1}$ の離散2次元トーラス上でのイジング・カスモデルの粗視化磁化場をスケーリングすること。
• 相互作用範囲 $\gamma^{-1}$ の長距離相互作用スピン系にGlauber動的を適用すること。
• 逆温度を平均場臨界値付近に保ちつつ、$\gamma \to 0$ のスケーリング極限をとること。
• 極限SPDEにおける立方非線形項のWick正規化を実行し、分布値解を扱えるようにすること。
• スケーリングされた場の分布収束を、動的 $Φ^4_2$ 方程式の解へと確立すること。
• 特異SPDE理論の高度な道具、特に正則性構造とマルティンゲール技法を用いて、確率的および非線形成分を制御すること。

実験結果

リサーチクエスチョン

• RQ1 2次元における動的イジング・カスモデルは、スケーリング極限において動的 $Φ^4_2$ 方程式へ収束するか？
• RQ2 連続SPDEにおける正規化の必要性は、離散系においてどのように現れるか？
• RQ3 離散モデルにおける臨界温度シフトは、平均場値に対して果たす役割は何か？
• RQ4 特異SPDEの解理論を用いて、微視的スピン系から動的 $Φ^4_2$ 方程式を厳密に導出できるか？
• RQ5 正規化が要請する無限大の質量補正項を自然に生成する微視的メカニズムは存在するか？

主な発見

• スケーリングされた粗視化スピン場は、$\gamma \to 0$ のとき分布収束して、動的 $Φ^4_2$ SPDEの解へ収束する。
• 連続SPDEに必要な正規化は、平均場値から離れた有限な臨界温度のずれとして、離散イジング・カスモデルに現れる。
• 極限方程式は形式的に $\partial_t X = \Delta X - \frac{1}{3}(X^3 - 3\infty \cdot X) + AX + \sqrt{2}\xi$ と表され、無限大定数は正規化に起因する。
• 解理論が、非線形項を定義するために不可欠である。正規化なしでは、$X^3$ は分布的意味で適切に定義されない。
• 収束結果は適切な初期条件のもとで成立し、マルティンゲール技法と後向き熱方程式の構造に依存する。
• 本研究は、Glauber動的を伴う微視的確率的スピン系から動的 $Φ^4_2$ モデルを初めて厳密に導出した。