[論文レビュー] Gap probability in the spectrum of random matrices and asymptotics of polynomials orthogonal on an arc of the unit circle

Igor Krasovsky|ArXiv.org|Jan 20, 2004

Random Matrices and Applications参考文献 15被引用数 10

ひとこと要約

本稿は、区間 $[0,s]$ における正弦核に関連するFredholm行列式 $\Delta(s)$ の完全な大$ s $漸近展開を確立し、Dysonの予想における定数項 $c_0 = \frac{1}{12}\ln 2 + 3\zeta'(-1)$ の証明を完了する。展開式 $\ln\Delta(s) = -\frac{s^2}{2} - \frac{1}{4}\ln s + c_0 + O(1/s)$ の定数項についての証明は、円弧上の直交多項式の漸近挙動と、Riemann-Hilbert問題の手法によるToeplitz行列式と行列式の対数微分を結ぶ公式を組み合わせることで達成される。

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.

研究の動機と目的

• ガウスユニタリー系の内部スケーリング極限における正弦核のFredholm行列式 $\Delta(s)$ の完全な漸近展開を厳密に確立すること。
• Dysonが予想した $\ln\Delta(s)$ の漸近展開における定数項 $c_0$ の正当化という未解決問題を解消すること。
• 固定または変化する単位円の弧上における正の解析的重み関数を持つ直交多項式の一様漸近挙動を導出すること。
• これらの多項式の漸近挙動を応用し、Toeplitz行列式の対数微分を計算し、それを統合することで $\ln\Delta(s)$ の完全な展開を回復すること。

提案手法

• Deiftが提唱した公式を用い、2つのToeplitz行列式の行列式を関連付けることで、$\det T_{n-1}(\alpha)$ を円弧上の直交多項式の先頭係数に関連付ける。
• Widomの円弧上におけるToeplitz行列式の漸近公式を用い、固定された $\alpha_2 < \pi$ における漸近挙動を基準とする。
• Riemann-Hilbert問題の手法を用いて、単位円の弧上における直交多項式 $\phi_n(z,\alpha)$ の完全な漸近挙動を、$\alpha$ および $z$ に関して一様に得る。
• Christoffel型の恒等式と、$\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)$ の漸近解析を行い、微分式における主要項のキャンセルを示す。
• $\alpha = 2s/n$ から $\alpha_2$ まで $\frac{d}{d\alpha}\ln\det T_{n-1}(\alpha)$ の式を統合し、漸近挙動を用いて $\ln\Delta(s)$ の完全な展開を回復する。

実験結果

リサーチクエスチョン

• RQ1 正弦核のFredholm行列式 $\Delta(s)$ の大$ s $漸近展開における正確な定数項 $c_0$ は何か？
• RQ2 固定および変化する弧長に対して、円弧上の直交多項式の漸近挙動をどのように一様に制御できるか？
• RQ3 Toeplitz行列式の対数微分を、弧の境界における直交多項式の値およびその微分で表現できるか？
• RQ4 対数微分を統合することで、$\ln\Delta(s)$ の完全な漸近展開（定数項を含む）を回復できるか？
• RQ5 Riemann-Hilbert法を用いて、直交多項式の漸近挙動を経由して、Toeplitz行列式の任意の次数の漸近挙動を導出できるか？

主な発見

• Dysonの $\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)$ の主結果を示す。