[論文レビュー] Autocorrelations of the characteristic polynomial of a random matrix under microscopic scaling

Rowan Killip, E. Ryckman|arXiv (Cornell University)|Apr 9, 2010

Theoretical and Computational Physics参考文献 23被引用数 3

ひとこと要約

本稿は、単位円上に分布するβエンsemblesに従うランダム行列の特徴的多項式の微視的スケールにおける自己相関を計算する。線形常微分方程式（ODE）のシステムを解くという新規な手法に基づき、行列サイズ $ n \to \infty $ の極限における自己相関の正確な表現を導出し、$ \beta $ に対して解析的依存性を示し、特徴的多項式のレベルでは相転移が発生しないことを証明する。結果は一般の $ \beta \in (0,\infty) $ に対してベッセル関数で表される。

ABSTRACT

We calculate the autocorrelation function for the characteristic polynomial of a random matrix in the microscopic scaling regime. While results fitting this description have be proved before, we will cover all values of inverse temperature $β\in (0,\infty)$. The method also differs from prior work, relying on matrix models introduced by Killip and Nenciu.

研究の動機と目的

• 一般の逆温度 $ \beta \in (0,\infty) $ に対して、微視的スケーリング極限におけるランダム行列特徴的多項式の漸近的自己相関を計算すること。
• 従来の $ \beta = 1,2,4 $ に限られた結果を、行列式構造に依存しない新しい手法により、$ \beta $ の連続的全範囲に拡張すること。
• 特徴的多項式統計に相転移が生じるかどうかを、自己相関関数の $ \beta $ における解析性を分析することで調査すること。
• 複数の評価点が単位円付近にある高次自己相関の一般式を、線形ODEのシステムの解として導出すること。
• 得られた自己相関が $ \beta $、$ w_j $、および $ y_k $ に関して解析的であることを示し、特徴的多項式のレベルでは相転移が生じないことを示唆すること。

提案手法

• 逆温度 $ \beta $ をパrameterとする単位円上に配置された $ \beta $-エンsembles により、固有値統計をモデル化する。その同時密度は $ |\Delta(e^{i\theta_1}, \dots, e^{i\theta_n})|^\beta $ に比例する。
• 特徴的多項式 $ Z_n(z) = \prod_{j=1}^n (1 - z^{-1} e^{i\theta_j}) $ を導入し、数論的アナロジーのため $ z^n $ 要素を除く正規化を行う。
• 微視的スケーリングを適用し、$ n \to \infty $ の下で $ Z_n(e^{iw/n}) $ および $ Z_n(e^{iy/n}) $ を評価する。これは通常の粒子間隔に焦点を当てる。
• 正則な特異点を持つ線形常微分方程式（ODE）のシステムとして、漸近的自己相関を導出し、行列値ODEフレームワークを用いる。
• Bessel関数を用いて、$ q=r=1 $ の場合のODEシステムを明示的に解き、既知の恒等式およびガンマ関数のレジェンドルの二重公式を活用する。
• 自己相関が $ \beta $、$ w_j $、および $ y_k $ に関して解析的であることを確立し、特徴的多項式のレベルでは相転移が生じないことを示唆する。

実験結果

リサーチクエスチョン

• RQ1 一般の $ \beta \in (0,\infty) $ に対して、微視的極限 $ n \to \infty $ における自己相関 $ \mathbb{E}^\beta_n\left[ Z_n(e^{ix/n}) \overline{Z_n(e^{-ix/n})} \right] $ の漸近的挙動は何か？
• RQ2 $ \beta $-エンsemblesの特徴的多項式は、$ \beta $ における非解析的挙動によって示唆されるように、統計的性質に相転移を示すか？
• RQ3 一般の $ \beta $ に対して、高次自己相関 $ \mathbb{E}^\beta_n\left[ \prod_{j=1}^q Z_n(e^{iw_j/n}) \prod_{k=1}^r \overline{Z_n(e^{iy_k/n})} \right] $ を計算できるか？ その漸近的挙動を特徴づける構造は何か？
• RQ4 自己相関関数の $ \beta $ における解析的構造は、$ \beta $-エンsemblesの普遍性または非普遍性をどのように反映するか？
• RQ5 一般の $ \beta $ に対する微視的自己相関の正確な関数的形は何か？ また、$ \beta = 2 $（$ U(n) $ 上のハール測度）または $ \beta = 1,4 $（古典的対称空間）に対する既知の結果にどのように還元されるか？

主な発見

• 微視的自己相関 $ \lim_{n\to\infty} n^{-2/\beta} \mathbb{E}^\beta_n\left[ Z_n(e^{iw/n}) \overline{Z_n(e^{iy/n})} \right] $ は、$ \sqrt{\pi} \, e^{-i(w - \bar{y})/2} (w - \bar{y})^{1/2 - 2/\beta} J_{2/\beta - 1/2}\left( \frac{w - \bar{y}}{2} \right) $ に等しい。ここで $ J_\nu $ は第一種ベッセル関数である。
• 結果はすべてのパrameter $ \beta $、$ w $、および $ y $ に関して解析的であり、微視的スケールにおいて特徴的多項式統計に相転移が生じないことを示唆する。
• 特別な場合 $ w = x $、$ y = x $ に対しては、$ 2r $ 次モーメント $ \lim_{n\to\infty} n^{-2r^2/\beta} \mathbb{E}^\beta_n\left[ |Z_n(e^{ix})|^{2r} \right] $ は $ \prod_{p=1}^r \frac{\Gamma(2p/\beta)}{\Gamma(2(r+p)/\beta)} $ に等しく、ガンマ関数の有限積である。
• この手法は、$ \beta = 1,2,4 $ の場合にのみ存在する行列式／パフアアン構造に依存せず、任意の $ \beta $ に一般化可能であり、可積分系の代わりにODEを用いる。
• 一般の $ R = q + r $ に対してODEシステムの解は $ \beta $ に関して解析的であり、特徴的多項式の相関構造に相転移がないことを支持する。
• 高次相関に対しては、結果が線形ODEの解として表現可能であるが、明示的な閉形式は特異関数（例：ウィッタカー関数、超幾何関数）を含み、その情報量がODE表現を上回る明確な利点は示されていない。