[논문 리뷰] Universality for critical KCM: infinite number of stable directions

Ivailo Hartarsky, Laure Marêché외 1명|arXiv (Cornell University)|2019. 04. 19.

Stochastic processes and statistical mechanics인용 수 2

한 줄 요약

이 논문은 두 차원에서 무한한 안정 방향을 가진 임계 운동적 제약 모델(KCM)에 대해 보편성을 확립한다. 감염 시간은 exp(q^{-2α})로 스케일링되며, 이는 단조성 동역학에서 존재하지 않는 에너지 장벽으로 인해 해당 부트스트랩 퍼콜레이션 모델의 지수의 두 배이다. 이 결과는 Martinelli, Morris, Toninelli의 추측을 확인하며, KCM의 보편성 분류에서 핵심적인 열린 문제를 해결한다.

ABSTRACT

Kinetically constrained models (KCM) are reversible interacting particle systems on $\mathbb{Z}^d$ with continuous-time constrained Glauber dynamics. They are a natural non-monotone stochastic version of the family of cellular automata with random initial state known as $\mathcal{U}$-bootstrap percolation. KCM have an interest in their own right, owing to their use for modelling the liquid-glass transition in condensed matter physics. In two dimensions there are three classes of models with qualitatively different scaling of the infection time of the origin as the density of infected sites vanishes. Here we study in full generality the class termed `critical'. Together with the companion paper by Martinelli and two of the authors we establish the universality classes of critical KCM and determine within each class the critical exponent of the infection time as well as of the spectral gap. In this work we prove that for critical models with an infinite number of stable directions this exponent is twice the one of their bootstrap percolation counterpart. This is due to the occurrence of `energy barriers', which determine the dominant behaviour for these KCM but which do not matter for the monotone bootstrap dynamics. Our result confirms the conjecture of Martinelli, Morris and the last author, who proved a matching upper bound.

연구 동기 및 목표

• . 무한한 안정 방향을 가진 임계 KCM에 대한 보편성을 확립한다.
• . 이 클래스에서 감염 시간과 스펙트럼 갭의 정확한 스케일링을 규명한다.
• . 감염 시간 지수는 해당 부트스트랩 퍼콜레이션 모델의 지수의 두 배라는 추측을 해결한다.
• . 에너지 장벽이 KCM 동역학에서 수행하는 역할을 명확히 하여 단조성 부트스트랩 퍼콜레이션과 구별한다.

제안 방법

• . 스펙트럼 갭을 딜레르트 형식과 분산을 통해 유계로 만드는 국소 함수 φq를 사용한다.
• . 임계 덩어리와 법적 경로를 통해 연결된 구성 상태의 집합 A를 구성하여, φ가 이러한 경로에서만 비영이 되도록 보장한다.
• . 해리스 부등식과 보조정리 6.1을 적용하여 µ(A)의 하한을 구하고, 이는 분산 추정에 핵심적이다.
• . 주요 열 C2N 외부에서는 동역학을 유지하는 수정된 경로 ˜γ를 사용하여, B(n)을 피하는 경로가 존재한다는 가정에서 모순을 이끌어낸다.
• . 추론 6.5에 의존하여, Ωg에서 ω로의 경로 중 ω0 = 0이면 반드시 B(n)을 가로질러야 하며, 이로써 φ(ω) = 0임을 증명한다.
• . 이러한 추정을 종합하여 스펙트럼 갭 방법을 통해 E[τ0]의 하한을 확보하기 위한 세 조건을 모두 만족시킨다.

실험 결과

연구 질문

• RQ1 . 무한한 안정 방향을 가진 임계 KCM의 감염 시간의 정확한 스케일링은 무엇인가?
• RQ2 . 에너지 장벽의 존재가 단조성 부트스트랩 퍼콜레이션과 비교할 때 동역학에 어떤 영향을 미치는가?
• RQ3 . 이러한 KCM의 감염 시간 지수는 정확히 해당 부트스트랩 퍼콜레이션 모델의 지수의 두 배인가?
• RQ4 . 스펙트럼 갭 방법을 통해 유도된 E[τ0]의 하한은 진정한 점근적 스케일링과 일치하는가?

주요 결과

• . 무한한 안정 방향을 가진 임계 KCM의 감염 시간 E[τ0]는 exp(q^{-2α})로 스케일링되며, 여기서 α는 해당 부트스트랩 퍼콜레이션 모델의 임계 지수이다.
• . 에너지 장벽으로 인해 이 지수는 부트스트랩 퍼콜레이션의 대응 지수의 정확히 두 배이다. 이는 단조성 동역학에 영향을 주지 않는다.
• . 스펙트럼 갭 방법을 통해 확립된 E[τ0]의 하한은 균형 모델에 대해 날카로운 것으로 밝혀져 추측된 점근적 스케일링과 일치한다.
• . 이 결과는 Martinelli, Morris, Toninelli가 이전에 상한을 증명한 추측을 확인한다.
• . 비균형 모델의 경우, 수정 인자는 (log q)^4로 예상되며, 이는 임계 덩어리의 1차원 기하학에서 기인한다.
• . 스펙트럼 갭 Trel은 E[τ0]와 같은 지수로 스케일링되며, 이는 이 클래스에서 시간 척도의 보편성을 확인한다.