통계 물리학에서 파인레베 함수와 ASEP의 새로운 한계 법칙

본 논문은 1차원 비대칭 단순 배제 과정(ASEP)의 최신 연구 동향을 종합하고, 그 한계 법칙을 Painlevé II 초월함수를 통해 표현한다. 서론에서는 2차원 이징 모델에서 Painlevé 함수가 등장한 역사적 배경을 소개하고, 자유 페르미온 모델, 베타 앙사 해석 가능한 모델, 그리고 무작위 행렬 이론 등에서 Painlevé 함수가 어떻게 나타나는지를 개괄한다. 특히, 정확히 풀 수 있는 모델이라도 자유 페르미온 구조가 없으면 Painlevé 함수가 나타나지 않을 것이라는 일반적인 인식을 제시한다. 본격적인 기술은 마스터 방정식과 베타 앙사 해법을 통해 시작된다. ASEP는 연속시간 마코프 과정으로, 입자들은 오른쪽(p) 혹은 왼쪽(q)으로 한 칸씩 이동한다. 베타 앙사는 스핀 체인 XXZ와의 동형성을 이용해 적용되며, 여기서 핵심은 전이 확률 P_Y(X; t)를 복소 적분 형태(식 5)로 표현하는 것이다. 이 적분은 N개의 복소 변수 ξ_i에 대한 다중 적분이며, 각 적분 경로 C_r 은 충분히 작은 원으로 잡아 극점을 피한다. 다음으로, 마스터 방정식과 경계 조건을 만족함을 보이고, 초기 조건을 만족하도록 모든 비동일 순열 항이 서로 소거되는 과정을 상세히 설명한다. 특히, TASEP(p=1)에서는 식 5가 N×N 행렬식 형태로 변환되어 기존 결과와 일치함을 확인한다. 그 후, 입자 위치의 주변 분포와 대규모 N→∞ 한계를 다룬다. 두 가지 초기조건, 즉 모든 양의 정수에 입자가 채워지는 ‘step’ 초기조건과 각 사이트가 독립적으로 밀도 ρ로 채워지는 ‘step‑Bernoulli’ 초기조건을 고려한다. 입자 m번째 위치 x_m(t)의 분포 P_ρ(x_m(t)≤x)를 구하기 위해, 적분 경로를 원 C_R(큰 반경)으로 확장하고, 복소 적분을 합으로 바꾸는 과정에서 세 가지 대수적 항등식(식 6‑8)을 도입한다. 이 항등식들은 τ‑이항계수와 Vandermonde 행렬식의 구조를 이용해 복잡한 다중 적분을 단순화한다. 결과적으로, P_ρ(x_m(t)≤x)는 K_ρ 커널을 갖는 Fredholm 행렬식 형태(식 10)로 표현된다. K_ρ는 복소 평면 원 위에서 정의된 핵으로, q·ξ·e^{tε(ξ)}·(p+qξξ'−ξ)·…·(ξ−τ)·… 형태를 가진다. ρ=1(단계 초기조건)에서는 마지막 인자가 1이 되어 기존 TASEP 결과와 일치한다. 다음 섹션에서는 KPZ 스케일링을 도입한다. m, t→∞ 이면서 σ=m/t를 고정하고, 위치를 x=c₁t + c₂t^{1/3}s 로 재스케일링한다. 여기서 c₁=−1+2√σ, c₂=(σ−1/6)(1−√σ)^{2/3}이다. 이 스케일링 하에서 한계 분포는 두 경우로 나뉜다. (i) 0<σ<ρ²이면 Tracy‑Widom F₂ 분포, (ii) σ=ρ²이면 Tracy‑Widom F₁ 분포가 나타난다(식 13‑14). F₁, F₂는 Painlevé II 방정식 q''=xq+2q³의 Hastings‑McLeod 해 q(x)를 이용해 정의된다. 구체적으로, F₂(s)=exp