[논문 리뷰] Delocalisation and absolute-value-FKG in the solid-on-solid model

Piet Lammers, Sébastien Ott|arXiv (Cornell University)|2021. 01. 13.

Markov Chains and Monte Carlo Methods인용 수 4

한 줄 요약

이 논문은 평면 그래프 위에서 고정된 경사가 아닌 임의의 기울기에 대해 고체-납(SOS) 모델에서의 국소화 해제를 위한 새로운 일반적인 증명을 제시한다. 또한 높이 함수의 절댓값이 FKG 격자 조건을 만족함을 입증하며, 이는 정량적 국소화 해제와 관련이 있고, SOS 모델과 이산 가우시안 모델에서 유한체적과 무한체적 국소화 해제 간의 동치성을 시사한다.

ABSTRACT

The solid-on-solid model is a model of height functions, introduced to study the interface separating the $+$ and $-$ phase in the Ising model. The planar solid-on-solid model thus corresponds to the three-dimensional Ising model. Delocalisation of this model at high temperature and at zero slope was first derived by Fröhlich and Spencer, in parallel to proving the Berezinskii-Kosterlitz-Thouless phase transition. The first main result of this article consists of a simple, alternative proof of delocalisation of the solid-on-solid model. In fact, the argument is more general: it works on any planar graph -- not just the square lattice -- and implies that the interface delocalises at any slope rather than exclusively at the zero slope. The second main result, proved independently, is that the absolute value of the height function in this model satisfies the FKG lattice condition. This property is believed to be intimately linked to the (quantitative) understanding of delocalisation, given the recent successes in the context of the square ice and (more generally) the six-vertex model, and it has already been used elsewhere in a new proof of the BKT transition. The new FKG inequality is shown to hold true for both the solid-on-solid model as well as for the discrete Gaussian model, which in this article implies that the two notions of delocalisation, namely delocalisation in finite volume and delocalisation of shift-invariant Gibbs measures, coincide.

연구 동기 및 목표

• 제로 기울기와 정사각형 격자 외의 일반적인 경우에 대해 SOS 모델에서의 국소화 해제에 대한 더 단순하고 일반적인 증명을 제공하는 것.
• SOS 모델에서 높이 함수의 절댓값이 FKG 격자 조건을 만족함을 입증하는 것.
• |φ|에 대한 FKG 성질이 유한체적 국소화 해제와 이동 불변 갭스 측도에서의 국소화 해제 간의 동치성을 시사함을 보이는 것.
• FKG 기반 방법의 적용 범위를 SOS 모델과 이산 가우시안 모델로 확장하여 국소화 해제의 정량적 이해를 지원하는 것.
• 특히 3차원에서 효과적 표면 모델의 표면 불안정성에 대한 엄밀한 분석에 기여하는 것.

제안 방법

• 조건부 측도와 랜덤 클러스터 모델에 대한 결합을 기반으로 한 구성적 확률적 추론을 통해 높이 함수의 부호 구조를 분석하는 것.
• 에드워즈-소칼 결합을 적용하여 부호 과정을 상호작용 강도가 증가하는 퍼콜레이션 모델과 연결하는 것.
• 유한 체적에서 |φ|와 퍼콜레이션 구성 ω의 공동 분포에 대해 단조성과 FKG 부등식을 활용하는 것.
• 국소 수렴과 퍼콜레이션 추론을 통해 유한체적 측도 μΔₙ이 유일한 에르고딕 갭스 측도 μ로 수렴함을 증명하는 것.
• 버턴과 키프의 결과를 활용하여 ω가 거의 확실히 무한 클러스터를 포함하지 않음을 보이고, μ의 유일성을 확보하는 것.
• 공동 단조성과 결합 기법을 통해 SOS 모델과 이산 가우시안 모델에서 |φ|에 대한 FKG 성질이 성립함을 입증하는 것.

실험 결과

연구 질문

• RQ1 일반적인 평면 그래프에서 제로 기울기 외의 임의의 기울기에 대해 SOS 모델에서의 국소화 해제가 성립하는가?
• RQ2 SOS 모델에서 높이 함수의 절댓값이 FKG 격자 조건을 만족하는가?
• RQ3 |φ|에 대한 FKG 성질을 이용하여 유한체적 국소화 해제와 이동 불변 갭스 측도에서의 국소화 해제 간의 동치성을 입증할 수 있는가?
• RQ4 이산 가우시안 모델에서도 |φ|에 대한 FKG 부등식이 성립하는가? 그 결과는 무엇인가?
• RQ5 FKG 성질을 통해 효과적 표면 모델에서 표면 불안정성의 정량적 경계를 도출할 수 있는가?

주요 결과

• 이 논문은 모든 기울기(특히 제로 기울기 외)에 대해 임의의 평면 그래프 위에서 SOS 모델의 국소화 해제에 대한 새로운 일반적인 증명을 확립한다.
• SOS 모델에서 높이 함수의 절댓값 |φ|는 FKG 격자 조건을 만족하며, 이는 깊은 의미를 지닌 새로운 결과이다.
• |φ|에 대한 FKG 성질은 SOS 모델에서 유한체적 국소화 해제와 이동 불변 갭스 측도에서의 국소화 해제가 동일함을 시사한다.
• 동일한 FKG 성질은 이산 가우시안 모델에서도 성립하며, 이로 인해 유한체적과 무한체적 국소화 해제 간의 동치성이 성립한다.
• μ(φᵣ) = 0 를 만족하는 유일한 에르고딕 갭스 측도 μ는 (Δₙ이 격자를 점점 고르게 메우는 조건 하에) 유한체적 측도 μΔₙ의 약한 극한으로서 존재한다.
• (|φ|, ω)의 공동 분포는 체적 Λ에 대해 증가하며, 퍼콜레이션 과정 ω는 거의 확실히 무한 클러스터를 포함하지 않아 μ의 유일성을 보장한다.