단위 원 순환 앙상블의 중심 없는 Virasoro 대수와 확률 함수

본 논문은 Haar 측정 아래 단위군 U(n)에서 무작위 행렬을 선택했을 때, 고유값이 원호 (η,θ) 안에 존재하지 않을 확률 τₙ(η,θ)를 연구한다. 이 확률은 고유값 분포의 Weyl 적분식으로 표현되며, 호의 길이 θ−η에만 의존한다는 기본적인 성질을 갖는다. 저자들은 이를 2‑차원 Toda 격자와 연결된 τ‑함수 τₙ(t,s;η,θ)로 일반화한다. 여기서 t와 s는 각각 양의 정수 차수의 시간 변수이며, τₙ은 다중 적분 형태로 정의된다(식 1.3). 핵심 결과는 τₙ이 무한 개의 Virasoro 제약식 Bₖ(η,θ)τₙ = Lₙₖ τₙ (k∈ℤ)를 만족한다는 점이다. Bₖ는 경계 연산자로, i(e^{ikθ}∂_θ + e^{ikη}∂_η) 형태이며, Lₙₖ는 복잡한 미분 연산자로 (2.4)–(2.6)에 명시되어 있다. Lₙₖ는 두 개의 Heisenberg 대수 복사본을 정상 순서화한 후 차를 취해 구성되며, 중심이 없는 Virasoro 대수의 표현을 제공한다. 저자들은 변분 계산을 통해 (2.2), (2.3) 식을 증명하고, 이를 이용해 경계 변환과 시간 변환이 τₙ에 미치는 영향을 분석한다. 특히, z_α → z_α e^{ε(z^k_α−z^{-k}_α)}와 같은 회전 변환이 적분식에 어떻게 반영되는지를 상세히 다룬다. 다음으로 τₙ을 Toeplitz 행렬식으로 표현(식 3.1)하고, 이는 2‑Toda 격자의 Toeplitz 계층에 속함을 보인다. 따라서 τₙ은 t 변수에 대해 KP 방정식 (3.2)를 만족한다. Virasoro 제약식 중 k=1,2와 KP 방정식을 조합하면, R(θ)=−½∂_θ log τₙ(−θ,θ)가 만족하는 3차 비선형 미분식 (1.2)를 재유도한다. 이 식은 Tracy‑Widom이 기존에 얻은 결과와 동일하며, W(θ)=0 형태로 정리될 수 있다. 여기서 W(θ)에는 R, R′, R″가 포함되며, 식 (3.9)에서 도출된다. 마지막으로, R(θ)를 복소 평면에 정의된 함수 r(z)와 연결하고, σ(z)=−i(z−1)r(z)−n²z/4 로 정의하면 σ(z)는 Okamoto‑Jimbo‑Miwa 형태의 Painlevé VI 방정식을 만족한다는 점을 제시한다. 이는 단위 원 순환 앙상블의 간격 확률이 Painlevé 방정식과 직접적인 연관이 있음을 보여준다. 전체적으로 논문은 (i) τ‑함수의 Virasoro 제약식, (ii) 중심 없는 Virasoro 대수의 완전한 표현, (iii) 이 제약식과 KP 방정식의 결합을 통한 Tracy‑Widom 미분식 재유도, (iv) Painlevé VI와의 연결이라는 네 가지 주요 기여를 제공한다. 이러한 결과는 무작위 행렬 이론, 대수적 위상학, 그리고 특수 함수 이론 사이의 깊은 상호작용을 밝히는 동시에, 기존에 알려진 부분 결과들을 보다 구조적으로 이해할 수 있는 새로운 틀을 제시한다.