확률적 플립을 이용한 다이머 타일링 수렴 시간 분석

초록

본 논문은 삼각 격자 위의 다이머 타일링에 대해 에너지(인접 동일 타일 수)를 증가시키지 않는 로컬 변환인 ‘플립’을 무작위로 적용하는 마코프 과정의 수렴 속도를 연구한다. 최악의 경우 기대 플립 횟수는 Θ(n²)일 것으로 추정되며, 저자는 이를 O(n²·⁵) 상한으로 증명한다. 또한 평균 경우와 이론적 격차에 대한 논의도 포함한다.

상세 분석

논문은 먼저 삼각 격자에서 두 개의 인접 삼각형으로 이루어진 다이머(lozenge) 타일링을 정의하고, 각 타일의 높이를 φ‑맵을 통해 3차원 격자상의 계단면으로 표현한다. 오류(edge)가 동일한 두 타일 사이에 존재하면 이를 ‘에러’라 하고, 전체 에러 수 E(ω)를 타일링의 에너지로 설정한다. 에러가 없는 영역은 완전한 육각형(6삼각형)으로 구성되며, 이러한 영역을 ‘섬(island)’ 혹은 ‘구멍(hole)’이라 구분한다. 섬은 주변보다 높은 높이를, 구멍은 낮은 높이를 가진다. 섬·구멍의 면적을 A(σ)라 하면, 전체 부피 V(ω)=∑A(island)−∑A(hole) 로 정의하고, 이는 에러가 없는 상태에서 V=0이 된다.

플립은 세 타일이 한 꼭짓점에 모여 있을 때 가능한 로컬 재배열이며, 이는 높이면에서 ±1의 부피 변화를 일으킨다. 에너지 변화 ΔE는 {0,±2,±4,±6} 중 하나이며, 논문에서는 ΔE≤0인 플립만 허용한다. 이렇게 제한된 플립 집합을 F(ω)라 하고, 플립 가능성이 없는 상태를 ‘동결(frozen)’이라 정의한다. 중요한 명제 1은 어떠한 에러가 존재하는 타일링에서도 부피를 감소시키는 플립이 항상 존재함을 보이며, 따라서 동결 상태는 반드시 에러가 없다는 것을 의미한다.

수렴 시간 T는 초기 타일링 ω₀에서 동결 상태에 도달하기까지 수행된 플립 횟수이며, 최악의 기대값 b_T(n)=max_{ω∈Ω_n} E