[論文レビュー] A limiting random analytic function related to the CUE

Reda Chhaibi, Joseph Najnudel+1 more|arXiv (Cornell University)|Mar 30, 2014

Analytic Number Theory Research参考文献 10被引用数 3

ひとこと要約

この論文は、適切な時間および空間のスケーリングを行った後、ハール分布を受けるランダムユニタリ行列の固有多項式がほとんど確実に極限の確率的解析関数に収束することを確立している。この極限関数は、正弦核をもつデターミナント点過程をなす実数零点を有し、一階モーメントが有限でないにもかかわらず、CUE（円型ユニタリアンサンプル）固有多項式の非自明なスケーリング極限を提供する。

ABSTRACT

We show in this paper that, when properly rescaled in time and in space, the characteristic polynomial of a random unitary matrix converges almost surely to a random analytic function whose zeros, which are on the real line, form a determinantal point process with sine kernel. We prove this result in the framework of virtual isometries to circumvent the fact that the rescaled characteristic polynomial does not even have a moment of order one, hence making the classical techniques of random matrix theory difficult to apply.

研究の動機と目的

• ランダムユニタリ行列の固有多項式から導かれる極限の確率的解析関数の存在を確立すること。
• スケーリングされた固有多項式が有限の一階モーメントを持たないという課題を解決し、古典的手法が適用できない状況を克服すること。
• 極限関数の零点が正弦核をもつデターミナント点過程をなすことの証明を行い、確率的行列理論および数論からの予測と整合させること。
• バーチャル等長写像を用いて次元を越えてユニタリ群を結合し、非一様可積分性にもかかわらずほとんど確実な収束を実現すること。

提案手法

• 著者たちは、次元 $n$ の間でハール分布を受けるユニタリ行列 $U_n$ をバーチャル等長写像によって結合し、一貫した周辺分布を保証する。
• 固有多項式 $Z_n(z)$ を $e^{2iz\theta/n}$ で評価し、$Z_n(1)$ で正規化することで、比 $\xi_n(z) = Z_n(e^{2iz\pi/n}) / Z_n(1)$ を形成する。
• 細かな固有値の推定（[MNN13] より）と正弦核デターミナント点過程の性質を用いて、$\xi_n(z)$ が極限の整関数 $\xi_\infty(z)$ にほとんど確実に局所一様収束することを証明する。
• 収束は、コンパクト集合上で一様収束の位相を備えた $\mathbb{C}$ 上の連続関数空間で確立される。
• 著者たちは $\xi_\infty(z)$ のモーメントバウンドと成長推定を導出し、$|\xi_\infty(z)| \leq \exp O(|z|\log(2+|z|))$ を示す。また、零点上の積表示を用いて下界も得る。
• 逆零点のべき和は $P_{\alpha+1} = \sum_{k \in \mathbb{Z}} \frac{1}{y_k^{\alpha+1}}$ と表され、$R_\alpha(e^{ix})$ を含むシンボルを持つトーペリッツ行列式と関連づけられる。

実験結果

リサーチクエスチョン

• RQ1 ランダムユニタリ行列のスケーリングされた固有多項式は、非退化な極限の確率的解析関数に収束するか？
• RQ2 極限関数の零点集合は、正弦核をもつデターミナント点過程として特徴づけられるか？
• RQ3 スケーリングされた固有多項式が有限の一階モーメントを持たない場合、ほとんど確実な収束はどのように確立できるか？
• RQ4 $\xi_\infty(z_1), \dots, \xi_\infty(z_p)$ の同時有限次元分布は何か？
• RQ5 リーマンゼータ関数のKeating-Snaithモーメント予想に相当するランダム行列の類似は存在するか？

主な発見

• スケーリングされた固有多項式 $\xi_n(z) = Z_n(e^{2iz\pi/n}) / Z_n(1)$ は、$\mathbb{C}$ 上の局所一様収束の位相で、ほとんど確実に極限の整関数 $\xi_\infty(z)$ に収束する。
• 関数 $\xi_\infty(z)$ の零点はほとんど確実に実数であり、正弦核をもつデターミナント点過程をなし、相関関数は $\rho_r(x_1,\dots,x_r) = \det\left(\frac{\sin[\pi(x_j - x_k)]}{\pi(x_j - x_k)}\right)_{j,k=1}^r$ で与えられる。
• 極限関数は、ほとんど確実に成長バウンド $|\xi_\infty(z)| \leq \exp O(|z|\log(2+|z|))$ を満たす。
• 積表示を用いて下界が確立され、$|\xi_\infty(ix)| \geq \prod_{k \geq 1} \left(1 + \frac{x^2}{c k^2}\right)$ が成り立ち、ある確率的定数 $c > 0$ に対して $|\xi_\infty(ix)| \geq \frac{\sinh(\pi x / \sqrt{c})}{\pi x / \sqrt{c}}$ が得られる。
• $\xi_\infty(z_1), \dots, \xi_\infty(z_p)$ の同時分布は、$p$ 点における固有多項式比の極限として特徴づけられ、分布収束が成立する。
• べき和 $P_{\alpha+1} = \sum_k y_k^{-\alpha-1}$ は、$R_\alpha(e^{ix})$ を含むシンボルを持つトーペリッツ行列式と関連づけられ、$\mathbb{E}[\exp(-2i\lambda P_{\alpha+1})] = \lim_n D_n(\phi_n)$ を用いてモーメントの計算が可能になる。