아즈텍 다이아몬드 무작위 도미노 타일링과 북극 원리 정리

초록

본 논문은 아즈텍 다이아몬드 영역의 무작위 도미노 타일링에서 나타나는 ‘북극 원’ 현상을 확률론적 입장에서 증명한다. 큰 차수 n에 대해, 온도 구역(타일 방향이 섞인 중앙 영역)의 경계는 반지름 n/√2인 원에 εn 이내로 수렴한다는 것을 보이며, 이를 전적으로 비대칭 일차원 배제 과정(TASEP)의 정상 상태 분석에 귀속시킨다.

상세 분석

논문은 크게 네 부분으로 구성된다. 첫 번째는 아즈텍 다이아몬드(정의: 2n(n+1)개의 단위 정사각형으로 이루어진 계단형 영역)와 그 위의 도미노(2개의 인접 정사각형) 타일링을 소개하고, 각 타일에 ‘방향(북·남·동·서)’을 부여하는 기법을 제시한다. 이 방향 부여는 이후 ‘셔플링(shuffling)’ 알고리즘의 핵심이며, 타일이 경계와 연결되는지 여부를 판단하는 기준이 된다.

두 번째로, 셔플링 과정을 세 단계(파괴, 슬라이드, 생성)로 정의한다. 파괴 단계에서는 ‘나쁜 블록(방향이 서로 마주보는 인접 도미노)’을 제거하고, 슬라이드 단계에서는 남은 도미노를 자신의 화살표 방향으로 한 칸씩 이동시킨다. 마지막 생성 단계에서는 남은 2×2 빈칸을 동전 던지기로 가로 또는 세로 도미노 쌍(좋은 블록)으로 채워 완전한 타일링을 만든다. 이 과정을 n번 반복하면 각 타일링이 동일한 확률 2^{-n(n+1)/2}로 생성됨을 보이며, 이는 무작위 타일링을 얻는 효율적인 방법이다.

핵심 정리는 ‘북극 원리(The Arctic Circle Theorem)’이다. ε>0를 고정하고 충분히 큰 n에 대해, 전체 타일링 중 ε 비율 이하만이 온도 구역의 경계가 원의 εn 이내에 있지 않음을 보인다. 이를 증명하기 위해 저자는 전형적인 비대칭 전이형 배제 과정(TASEP, Totally Asymmetric Simple Exclusion Process)의 이산 시간 버전을 도입한다. 초기 상태 x*는 모든 음의 위치에 입자가 채워진 상태이며, 시간 n에서 구간