[논문 리뷰] Front progression for the East model

Oriane Blondel|arXiv (Cornell University)|2012. 12. 18.

Theoretical and Computational Physics참고 문헌 18인용 수 14

한 줄 요약

이 논문은 비순차적 상호작용 입자계인 동쪽 운동 제약 스핀 모형(East kinetically constrained spin model)에서 앞선 위치에 대한 대수의 법칙과 에르고딕성에 대한 법칙을 수립한다. 표준 쌍화 방법이 통하지 않는 비순차성의 문제를 극복하기 위해, 앞선 뒤에서 멀리 떨어진 영역에서 평형 상태로의 지수적 수렴을 정량화하는 새로운 쌍화 논증 기법을 개발함으로써, KCSM에 대한 첫 번째 형태 정리(Shape Theorem)를 증명한다.

ABSTRACT

The East model is a one-dimensional, non-attractive interacting particle system with Glauber dynamics, in which a flip is prohibited at a site $x$ if the right neighbour $x+1$ is occupied. Starting from a configuration entirely occupied on the left half-line, we prove a law of large numbers for the position of the left-most zero (the front), as well as ergodicity of the process seen from the front. For want of attractiveness, the one-dimensional shape theorem is not derived by the usual coupling arguments, but instead by quantifying the local relaxation to the non-equilibrium invariant measure for the process seen from the front. This is the first proof of a shape theorem for a kinetically constrained spin model.

연구 동기 및 목표

• 표준 쌍화 논증이 실패하는 비순차적 운동 제약 스핀 모형(KCSM)인 동쪽 모형에 대한 형태 정리를 수립하기 위해.
• 완전히 점령된 왼쪽 반직선에서 시작할 경우, 동쪽 모형에서 가장 왼쪽의 0 위치(즉, 앞선 위치)에 대한 대수의 법칙을 증명하기 위해.
• 앞선에서 본 과정의 에르고딕성을 입증하기 위해, 즉 유일한 불변 측도가 존재하고 그것으로 수렴하는가를 입증하기 위해.
• 앞선 뒤의 비평형 불변 측도로의 지수적 수렴을 정량화하는 새로운 쌍화 기법을 개발하여, 비순차성의 부재에도 불구하고 결과를 도출하기 위해.

제안 방법

• 거리 L만큼 앞선 뒤의 구성 상태의 분포가 충분한 시간 후에 총 변동 거리에서 평형 상태에 지수적으로 가까워지는 것을 보여주는 정교한 쌍화 논증(정리 4.7)을 도입한다.
• KS01과 KPS02의 영향을 받은 반복적 쌍화 구축 방식을 사용하여, 앞선 근처의 유한한 영역과 앞선으로부터 멀리 떨어진 영역을 분리한다.
• 마르코프 성질과 수렴 추정치를 적용하여 앞선 궤적의 먼 세그먼트 간의 상관관계를 제어한다.
• 앞선 궤적을 크기 s의 블록으로 나누고, L = ⌊√s⌋로 설정하여, 단조성 부재에도 불구하고 부분합 유형의 논증을 적용한다.
• Borel-Cantelli 보조정리와 모멘트 추정치(보조정리 3.4의 일반화)를 사용하여 앞선 위치의 블록 단위 증분에서의 변동성을 제어한다.
• 유한한 전파 속도와 정리 4.7을 적용하여 앞선 이동의 이탈과 쌍화 구축에서 발생하는 오차 항을 제어한다.

실험 결과

연구 질문

• RQ1 비순차성의 존재에도 불구하고 동쪽 모형에 대한 형태 정리를 수립할 수 있는가?
• RQ2 완전히 점령된 왼쪽 반직선에서 시작할 경우, 동쪽 모형의 앞선 위치는 대수의 법칙을 만족하는가?
• RQ3 앞선에서 본 과정은 에르고딕한가, 즉 유일한 불변 측도가 존재하고 그것으로 수렴하는가?
• RQ4 유한한 영역(앞선 근처)과 무한한 영역(앞선으로부터 멀리 떨어진 곳)을 동시에 제어할 수 있는 쌍화 논증을 설계할 수 있는가?
• RQ5 앞선 뒤에서 평형 상태로의 수렴 속도는 얼마이며, 이를 어떻게 활용하여 앞선의 거시적 행동을 제어할 수 있는가?

주요 결과

• 앞선 위치는 대수의 법칙을 만족한다: 거의 확실하게 lim_{t→∞} X(ω(t))/t = v를 만족하며, 여기서 v는 앞선 전파의 점근적 속도이다.
• 앞선에서 본 과정은 에르고딕하다: 유일한 불변 측도가 존재하고 시스템이 분포적으로 그것으로 수렴한다.
• 초기 구성에 관계없이 시간 t 이후에 거리 L만큼 앞선 뒤의 구성 상태는 총 변동 거리에서 평형 측도에 지수적으로 가까워진다.
• 쌍화 구축은 두 구성 상태가 확률이 1로 수렴하는 임의의 큰 유한 구간에서 앞선에서 본다.
• 속도 v는 시간에 따른 기대 앞선 이동 거리의 극한으로 특징지어지며, 주요 오차 항들은 지수적 수렴과 Borel-Cantelli 논증을 통해 제어된다.
• 이 증명은 운동 제약 스핀 모형에 대한 첫 번째 형태 정리를 수립하며, 비순차적 KCSM 연구에서의 돌파구를 마련한다.