GUE 상관함수와 KdV 적분가능성 새로운 증명

논문은 먼저 KdV 방정식과 그 계층(2)을 소개하고, 라그랑지 연산자 \(L=\partial_{t_0}^2+2u\) 와 의사미분 연산자 \(P_+\) 을 이용해 KdV 계층을 정의한다. 이어서 모듈러 공간 \(M_{g,n}\) 위의 ψ‑클래스 교차수 \(\langle\tau_{d_1}\dots\tau_{d_n}\rangle_g\) 를 정의하고, 와이튼 자유에너지 \(F(t)\) 와 그 타우함수 \(Z=e^F\) 를 소개한다. 와이튼‑콘테베히치 정리는 이 자유에너지가 KdV 계층을 만족한다는 명제이며, 문자열 방정식(5)과 디라톤 방정식(6)이 그 증명에 핵심적인 역할을 한다. 다음으로 토다 격자 계층을 알파벳 링 \(A\) 위에 정의하고, 시프트 연산자 \(\Lambda\)와 라그랑지 연산자 \(L=\Lambda+v_0+w_0\Lambda^{-1}\) 를 도입한다. 기본 행렬 해석 \(R(\lambda)\) 가 존재함을 보이고, 이를 통해 \(\tau\)‑함수 \(\tau(x,s;\epsilon)\) 가 식(24)–(26)으로 정의된다. 토다 격자 계층은 차분‑미분 형태의 흐름 \(\epsilon\partial_{s_i}v=D_i(v_0),\ \epsilon\partial_{s_i}w=D_i(w_0)\) 으로 기술된다. 그 후 GUE 자유에너지 \(F_G(x,s;\epsilon)\) 를 정의하고, 그 파티션 함수 \(Z_G=e^{F_G}\) 가 토다 격자 계층의 \(\tau\)‑함수임을 확인한다. 짝수 변수만 남긴 \(F^{eG}\) 는 볼테라 격자 방정식(37)을 만족하고, 이는 차분 연산자 \(\Lambda\)와 미분 연산자 \(\epsilon\partial_x\) 의 조합으로 식(49)를 얻는다. 식(49)는 \(F^{eG}\)의 두 번째 \(s_2\) 미분이 \(x\)‑미분과 연관된 비선형 관계임을 보여준다. 핵심 단계는 오쿤코프가 제시한 한계식(11)이다. 큰 스케일 \(\kappa\to\infty\) 에서 지도 수 \(Map_g(i_1,\dots,i_n)\) 가 와이튼의 \(n\)‑점 함수 \(Q_g(x_1,\dots,x_n)\) 로 수렴한다. 이를 토다 격자와 GUE 자유에너지의 관계에 대입하면, \(Q_g\)가 토다 격자 흐름의 연속극한에서 KdV 흐름을 만족한다는 식(44)를 얻는다. 식(44)는 \((2g+n-1)|x_I|^2 Q_g\)가 두 항의 합으로 분해되는 형태이며, 여기서 첫 항은 차수‑차원 감소에 따른 \(Q_{g-1}\) 항, 두 번째 항은 두 개의 낮은 차수 \(Q_{g_1},Q_{g_2}\) 의 곱으로 구성된다. 이는 기존에 알려진 KdV 타우함수 관계(48)와 일치한다. 마지막으로, 위 결과들을 종합해 와이튼‑콘테베히치 정리를 새로운 방식으로 증명한다. 즉, GUE 상관함수의 토다 격자 적분가능성(즉, 타우함수 구조)과 오쿤코프의 대규모 한계식만으로 KdV 계층이 성립함을 보였으며, 이는 기존의 매트릭스 에어리 함수나 푸아송 구조를 이용한 증명과는 다른 경로를 제공한다.