[논문 리뷰] Gap probability in the spectrum of random matrices and asymptotics of polynomials orthogonal on an arc of the unit circle

Igor Krasovsky|ArXiv.org|2004. 01. 20.

Random Matrices and Applications참고 문헌 15인용 수 10

한 줄 요약

이 논문은 가우스 유니터리 군집(Gaussian Unitary Ensemble)의 버블 스케일링 근처에서 사인 커널에 관련된 프레드홀름 행렬식 $\Delta(s)$의 전체 대규모-$s$ 점점 가까운 전개를 확립한다. 이는 디슨의 추측에 따라 $\ln\Delta(s) = -\frac{s^2}{2} - \frac{1}{4}\ln s + c_0 + O(1/s)$ 전개에서 상수항 $c_0 = \frac{1}{12}\ln 2 + 3\zeta'(-1)$을 완전히 증명하는 데 성공한다. 증명은 원호 위의 수직다항식의 점점 가까운 전개와 리만-힐베르트 문제 접근법을 통해 토플리츠 행렬식과 행렬식의 로그 도함수를 연결하는 공식을 결합하여 수행된다.

ABSTRACT

We obtain uniform asymptotics for polynomials orthogonal on a fixed and varying arc of the unit circle with a positive analytic weight function. We also complete the proof of the large $s$ asymptotic expansion for the Fredholm determinant with the kernel $\sin z/(πz)$ on the interval $[0,s]$, verifying a conjecture of Dyson for the constant term in the expansion. In the Gaussian Unitary Ensemble of random matrices, this determinant describes the probability for an interval of length $s$ in the bulk scaling limit to be free from the eigenvalues.

연구 동기 및 목표

• 가우스 유니터리 군집의 버블 스케일링 근처에서 사인 커널에 대한 프레드홀름 행렬식 $\Delta(s)$의 전체 점점 가까운 전개를 엄밀하게 확립하는 것.
• 디슨이 제안한 $\ln\Delta(s)$ 점점 가까운 전개에서 상수항 $c_0$를 정당화하는 데 남아 있던 문제를 해결하는 것.
• 고정 또는 변화하는 원호 위에서 양의 해석적 가중함수를 가진 단위원 위의 수직다항식에 대한 균일한 점점 가까운 전개를 유도하는 것.
• 이 다항식의 점점 가까운 전개를 응용하여 토플리츠 행렬식의 로그 도함수를 계산하고, 이를 통합하여 $\ln\Delta(s)$의 전체 전개를 복원하는 것.

제안 방법

• 디프트가 제안한 공식을 활용하여 두 토플리츠 행렬식의 행렬식을 연결함으로써, 원호 위의 수직다항식의 주요 계수와 $\det T_{n-1}(\alpha)$를 연결한다.
• 위도움의 원호 위 토플리츠 행렬식 점점 가까운 공식을 적용하여, 고정된 $\alpha_2 < \pi$에서 점점 가까운 행동을 기반으로 한다.
• 리만-힐베르트 문제 접근법을 사용하여 단위원의 원호 위에서 수직다항식 $\phi_n(z,\alpha)$의 전체 점점 가까운 전개를 유도하며, 이는 $\alpha$와 $z$에 대해 균일하게 성립한다.
• 크리스토펠 유사 항등식과 이를 통해 $\phi_n(e^{i\alpha},\alpha)$와 그 도함수로 표현되는 레마를 적용하여, $\frac{d}{d\alpha}\ln\det T_{n-1}(\alpha)$의 로그 도함수를 유도한다.
• 원호 끝점 $z = e^{i\alpha}$에서 $\phi_n(e^{i\alpha},\alpha)$와 $\phi_n'(e^{i\alpha},\alpha)$의 점점 가까운 분석을 수행하며, 도함수 표현식에서 주요 항들이 상쇄됨을 보인다.
• 결과로 얻어진 $\frac{d}{d\alpha}\ln\det T_{n-1}(\alpha)$의 표현식을 $\alpha = 2s/n$에서 $\alpha_2$까지 통합하며, 점점 가까운 전개를 활용하여 $\ln\Delta(s)$의 전체 전개를 복원한다.

실험 결과

연구 질문

• RQ1 사인 커널에 대한 대규모-$s$ 점점 가까운 전개에서 프레드홀름 행렬식 $\Delta(s)$의 정확한 상수항 $c_0$는 무엇인가?
• RQ2 고정 및 변화하는 원호 길이에 대해 원호 위의 수직다항식 점점 가까운 전개를 어떻게 균일하게 제어할 수 있는가?
• RQ3 토플리츠 행렬식의 로그 도함수는 원호 경계에서의 수직다항식 값과 도함수로 표현될 수 있는가?
• RQ4 로그 도함수를 통합하여 $\ln\Delta(s)$의 전체 점점 가까운 전개, 특히 상수항까지 복원하는 것이 가능한가?
• RQ5 리만-힐베르트 방법을 사용하여 수직다항식의 점점 가까운 전개를 통해 임의의 순서의 토플리츠 행렬식 점점 가까운 전개를 도출할 수 있는가?

주요 결과

• 디슨의 $\ln\Delta(s)$ 점점 가까운 전개에서 상수항이 엄밀하게 $c_0 = \frac{1}{12}\ln 2 + 3\zeta'(-1)$로 확인되었으며, 오랫동안 남아 있던 추측이 해결되었다.
• 대규모 $s$에 대해 $\ln\Delta(s)$의 전체 점점 가까운 전개가 $\ln\Delta(s) = -\frac{s^2}{2} - \frac{1}{4}\ln s + c_0 + O(1/s)$로 확립되었으며, 균일한 오차 한계를 가진다.
• 단위원의 원호 위에서 수직다항식 $\phi_n(z,\alpha)$에 대한 균일한 점점 가까운 전개가 $n\sin(\alpha/2)$의 역수의 거듭제곱 형태로 도출되었으며, $2s/n \leq \alpha < \pi$ 범위에서 성립하며, 나머지 항은 $\alpha$에 대해 균일하다.
• 로그 도함수 $\frac{d}{d\alpha}\ln\det T_{n-1}(\alpha)$는 $-n^2\frac{\sin(\alpha/2)}{2\cos(\alpha/2)} - \frac{\cos(\alpha/2)}{8\sin(\alpha/2)} + O\left(\frac{1}{n\sin^2(\alpha/2)}\right)$로 표현되며, $n > s$ 및 $s > s_0$ 조건에서 균일한 오차를 가진다.
• 이 도함수를 통합하면 $\ln\det T_{n-1}(2s/n) = n^2\ln\cos(s/n) - \frac{1}{4}\ln(n\sin(s/n)) + c_0 + O(1/s) + o(1)$가 되며, 이는 직접적으로 $\ln\Delta(s)$에 대한 주요 결과를 이끌어낸다.