주기적 아즈텍 다이아몬드에서 나타나는 마크드 GUE‑코너스 과정

본 논문은 2×ℓ 주기성을 갖는 아즈텍 다이아몬드 도미노 모델을 연구한다. 모델은 x‑축에 ℓ‑주기, y‑축에 2‑주기의 가중치를 부여하며, α₁,…,α_ℓ와 β₁,…,β_ℓ 라는 양의 파라미터를 사용한다. 가중치는 기본 도메인(2×ℓ) 안에 배치되고, 전체 가중치의 곱이 1이 되도록 정규화한다. 이러한 설정은 기존의 균일 가중 아즈텍 다이아몬드와 달리, 전이점 근처에서 새로운 구조적 정보를 남긴다. 도미노 모델의 완전 매칭을 무작위로 선택하는 확률은 각 매칭에 포함된 에지 가중치의 곱에 비례한다. 저자들은 남쪽·서쪽 에지에 인접한 검은 정점을 선택해 인터래이싱 입자 시스템을 만든다. 입자들은 레벨 t (가로 좌표)와 위치 s (세로 좌표) 로 표기되며, y‑좌표의 짝·홀수에 따라 빨강·청록 색을 부여한다. 이 색은 수직 2‑주기의 직접적인 반영이며, 마크드 인터래이싱 프로세스 (u_{t,s},j) 로 정의된다. 주요 목표는 전이점, 즉 아틱 곡선이 경계와 접하는 점 (2ℓN, 2τN) 근처에서 입자들의 미세 변동을 분석하는 것이다. 전이점의 세로 위치 τ는 모델 파라미터에 의해 명시적으로 결정된다. 입자들의 세로 좌표를 2τN 로 중심을 잡고 √N 로 스케일링하면, 새로운 좌표 (t, µ) ∈ ℕ×ℝ 가 얻어진다. 이 과정에서 Kasteleyn 행렬의 역행렬을 고차원 리만 곡면 위의 이중 폐곡선 적분 형태로 표현한다. 스펙트럴 커브는 일반적으로 genus >0 인 복소 곡선이며, 저자들은 이를 이용해 상관 커널 K_{Int} 를 정확히 계산한다. 커널의 변수는 (ℓx+i, 2y+j) 형태이며, ℓx = 2ℓN−t, y = ⌊Nτ+√N µ⌋ 로 치환된다. 극한 N→∞ 에서, 저자들은 g(·) 라는 게이지 함수를 도입해 K_{Int} 를 정규화한다. 정규화된 커널은 ν(t₂,j₂) σ^{-1} K_{GUE}(t₁,σ^{-1}µ₁; t₂,σ^{-1}µ₂) 로 수렴한다. 여기서 K_{GUE} 는 기존 GUE‑코너스 프로세스의 알려진 커널이며, ν(t,j) = θ(t)δ_{j,1}+(1-θ(t))δ_{j,0} 로 정의된다. θ(t) = α_{ℓ+1-t} / (α_{ℓ+1-t}+β_{ℓ-t}) 로, 이는 수평 ℓ‑주기의 가중치 비율에만 의존한다. 따라서 전이점 근처의 입자 시스템은 마크드 GUE‑코너스 과정으로 수렴한다. 마크는 독립적인 베르누이 변수이며, 마크의 확률 θ(t) 가 레벨 t 에 따라 변한다. 마크를 무시하면 전통적인 GUE‑코너스 과정이 복원되고, 특정 색(예: 빨강만)만을 고려하면 베르누이 삭제 확률 θ(t) 로 얇게 만든 GUE‑코너스 과정이 얻어진다. 정리된 주요 정리는 다음과 같다. 1. Theorem 3.3 (Theorem 1.1) : K_{Int} 의 스케일링 한 극한이 ν·σ^{-1}·K_{GUE} 로 수렴함을 보인다. 2. Corollary 3.7 (Theorem 1.2) : 색이 부여된 인터래이싱 입자 시스템 (u_{t,s},j) 가 마크드 GUE‑코너스 과정으로 약한 수렴한다. 3. Corollary 3.9 (Corollary 1.3) : 한 색만을 선택하면 θ(t) 로 얇게 만든 GUE‑코너스 과정으로 수렴한다. 기술적인 핵심은 고 genus 스펙트럴 커브 위에서의 비대칭적 비정규화와, 로컬-글로벌 추정 기법을 결합해 커널의 급격한 변동을 제어한 점이다. 특히 q→∞ 근처에서의 로컬 분석과 전역적인 경계 추정이 정밀히 수행되어, 마크 함수 θ(t) 가 커널에 정확히 나타난다. 논문은 또한 향후 연구 방향을 제시한다. 수직 k‑주기 모델에 대해서는 k‑마크드 GUE‑코너스 과정이 기대되며, 이는 마크가 0,…,k−1 로 확장될 수 있음을 의미한다. 또한, 이러한 마크드 구조가 6‑vertex 모델, 로젠블록, 그리고 일반적인 행렬 모델에서도 나타날 가능성을 논의한다. 결론적으로, 이 연구는 주기적 가중치가 미세 스케일에서 완전히 사라지는 것이 아니라, 베르누이 마크라는 형태로 남아 확률론적 구조를 풍부하게 만든다는 새로운 현상을 제시한다. 이는 주기적 도미노 모델의 한계 이론에 새로운 차원을 추가하고, 마크드 포인트 프로세스와 얇게 만든 프로세스 사이의 관계를 구체적인 물리 모델에 적용한 첫 사례라 할 수 있다.