[논문 리뷰] Convergence of the two-dimensional dynamic Ising-Kac model to $\Phi^4_2$

Jean-Christophe Mourrat, Hendrik Weber|arXiv (Cornell University)|2014. 10. 05.

Random Matrices and Applications참고 문헌 31인용 수 11

한 줄 요약

이 논문은 거칠게 조절된 자화장의 스케일링과 양자역학적 보정을 고려한 Glauber 동역학 하에서, 이중 차원 동적 Ising-Kac 모형이 동적 $Φ^4_2$ 스토케스틱 편미분방정식으로 수렴함을 증명한다. 비선형성의 위크-정규화된 세차항을 포함한 비선형 스토케스틱 편미분방정식을 만족하는 극한 과정이 도출되며, 이는 통계역학 분야에서 오랫동안 제기된 추측을 확인하고 이산 스핀계열과 연속체 양자장 이론 사이의 엄밀한 연결고리를 제공한다.

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.

연구 동기 및 목표

• 이중 차원 동적 Ising-Kac 모형의 스케일링 극한이 비선형 스토케스틱 PDE로 수렴함을 증명하기 위해.
• 이산 통계역학 모형과 동적 $Φ^4_2$ 양자장 이론 사이의 엄밀한 연결 고리를 확립하기 위해.
• 이산계에서의 연속극한에서 보정이 필요한 이유를, 이산계의 임계온도 이동을 통해 설명하기 위해.
• 이중 차원에서 이러한 스핀계열이 동적 $Φ^4_2$ 방정식으로 유일한 극한으로 수렴한다는 추측을 검증하기 위해.
• Glauber 동역학을 갖는 미세입자계에서 동적 $Φ^4_2$ 방정식을 처음으로 엄밀히 유도하기 위해.

제안 방법

• 이중 차원 토러스 위의 이중 차원 Ising-Kac 모형에서 거칠게 조절된 자화장을 $N \gg \gamma^{-1}$ 스케일로 재정의하기.
• 상호작용 범위가 $\gamma^{-1}$인 장거리 상호작용 스핀계에 Glauber 동역학 적용하기.
• 임계온도가 평균장 임계값 근처에 있는 상태에서 $\gamma \to 0$의 극한을 취하는 스케일링 극한 적용하기.
• 극한 SPDE의 세차 비선형성에 위크 정규화를 적용하여 분포값 해를 다룰 수 있도록 하기.
• 재정의된 장이 동적 $Φ^4_2$ 방정식의 해로 확률적 수렴을 증명하기.
• 특수한 SPDE 이론, 특히 정규화 구조와 마틴갈 기법을 활용하여 확률적 및 비선형 성분을 제어하기.

실험 결과

연구 질문

• RQ1 이중 차원에서의 동적 Ising-Kac 모형이 스케일링 극한에서 동적 $Φ^4_2$ 방정식으로 수렴하는가?
• RQ2 연속극한에서 SPDE에 필요한 보정이 이산계에서 어떻게 반영되는가?
• RQ3 이산계에서의 임계온도 이동은 평균장 값에 비해 어떤 역할을 하는가?
• RQ4 특수한 SPDE의 해이론을 활용하여, 미세스케일 스핀계에서 동적 $Φ^4_2$ 방정식을 엄밀히 유도할 수 있는가?
• RQ5 보정이 요구하는 무한한 질량 보정항을 자연스럽게 생성하는 미세스케일 메커니즘이 존재하는가?

주요 결과

• 재정의된 거칠게 조절된 스핀장은 $\gamma \to 0$일 때 동적 $Φ^4_2$ SPDE의 해로 확률적 수렴을 보인다.
• 연속극한 SPDE에 필요한 보정은 이산 Ising-Kac 모형의 임계온도가 평균장 값에서 유한한 이동을 겪는 것으로 나타난다.
• 극한 방정식은 형식적으로 $\partial_t X = \Delta X - \frac{1}{3}(X^3 - 3\infty \cdot X) + AX + \sqrt{2}\xi$ 로 주어지며, 이 무한한 상수는 보정에 기인한다.
• 해이론은 비선형성을 정의하기 위해 필수적이며, 보정 없이선 분포론적으로 $X^3$이 잘 정의되지 않는다.
• 적절한 초기 조건 하에서 수렴 결과가 도출되며, 마틴갈 기법과 후진 열방정식의 구조에 의존한다.
• 본 연구는 Glauber 동역학을 갖는 미세스케일 스토케스틱 스핀계에서 동적 $Φ^4_2$ 모형을 처음으로 엄밀히 유도한다.