[論文レビュー] Asymptotics for characteristic polynomials of Wishart type products of complex Gaussian and truncated unitary random matrices

Thorsten Neuschel, Dries Stivigny|arXiv (Cornell University)|Jul 10, 2014

Random Matrices and Applications参考文献 12被引用数 4

ひとこと要約

本稿は、複素ガウスおよび切断ユニタリ確率行列の積から得られる特性多項式の漸近的挙動を、多変数サドルポイント法を用いて解析し、プランシュレル＝ロターチ型の漸近展開を導出する。スケーリングされた零点の極限分布は、スペクトルパラメータ $ \varphi $ の三角関数を用いて明示的に表されたパラメトリック密度関数および分布関数により特徴づけられる、$ r+1/2 $ 階のラネー分布であることが示される。

ABSTRACT

Based on the multivariate saddle point method we study the asymptotic behavior of the characteristic polynomials associated to Wishart type random matrices that are formed as products consisting of independent standard complex Gaussian and a truncated Haar distributed unitary random matrix. These polynomials form a general class of hypergeometric functions of type \(_2 F_r\). We describe the oscillatory behavior on the asymptotic interval of zeros by means of formulae of Plancherel-Rotach type and subsequently use it to obtain the limiting distribution of the suitably rescaled zeros. Moreover, we show that the asymptotic zero distribution lies in the class of Raney distributions and by introducing appropriate coordinates elementary and explicit characterizations are derived for the densities as well as for the distribution functions.

研究の動機と目的

• 独立した複素ガウスおよびハール測度に従う切断ユニタリ確率行列の積から生じる特性多項式の零点の漸近的分布を研究すること。
• 平均特性多項式を記述する一般化超幾何多項式 $ {}_2F_r $ のプランシュレル＝ロターチ型漸近公式を導出すること。
• 極限的なマクロな零点分布がラネー分布 $ R_{\frac{r+1}{2},\frac{1}{2}} $ に一致することを特定し、その密度関数および分布関数の明示的・初等的なパラメータ表示を提供すること。
• 漸近的零点分布と、元の確率行列アンサンブル $ Z_r^*Z_r $ のマクロな固有値密度との関係を確立し、自由確率論的構成と整合していることを確認すること。

提案手法

• 大 $ n $ における $ {}_2F_r $ 超幾何多項式の漸近的挙動を解析するため、固定された $ \nu_i $ および $ \kappa $ を用いた多変数サドルポイント法の適用。
• 区間 $ 0 < \varphi < \pi/(r+1) $ において、$ x = \sigma(\varphi) = \frac{(\sin(r+1)\varphi)^{(r+1)/2}}{\sin 2\varphi \cdot (\sin(r-1)\varphi)^{(r-1)/2}} $ というパラメータ表示を用いて、密度関数および分布関数を閉形式で表現すること。
• 生成関数の解析接続にストゥルム＝ペロンの逆公式を適用し、密度 $ v(x) = \frac{\sin 2\varphi \cdot \sin \varphi \cdot (\sin(r-1)\varphi)^{\frac{r}{2}-1}}{\pi (\sin(r+1)\varphi)^{\frac{r}{2}}} $ を導出すること。
• 直接微分と三角恒等式を用いて、導出された密度関数と分布関数 $ V(x) $ の整合性を検証すること。
• パラメトリック形と既知の分布的恒等式を照合することで、極限測度がラネー分布 $ R_{\frac{r+1}{2},\frac{1}{2}} $ に一致することを同定すること。
• 漸近的零点分布 $ F_n(n^{r-1}x) $ と $ Z_r^*Z_r $ のマクロな固有値密度との等価性を確立し、自由乗法的畳み込み $ FC_{r-1} \boxtimes R_{1,\frac{1}{2}} $ と整合していることを確認すること。

実験結果

リサーチクエスチョン

• RQ1 ウィシャルト型積（複素ガウスおよび切断ユニタリ行列を含む）の平均特性多項式の零点の漸近的分布は何か？
• RQ2 一般化超幾何多項式 $ {}_2F_r $ に対するプランシュレル＝ロターチ型漸近展開はどのように導出され、零点の振動的挙動を記述するために用いられるか？
• RQ3 大 $ n $ における零点分布の極限密度関数および累積分布関数の明示的パラメトリック形は何か？
• RQ4 極限零点分布は、Fuss＝カタラン分布やラネー分布といった既知の確率行列固有値分布とどのように関係しているか？
• RQ5 スケーリングされた特性多項式の漸近的零点分布は、元の確率行列アンサンブル $ Z_r^*Z_r $ のマクロな固有値密度と等価か？

主な発見

• スケーリングされた零点 $ F_n(n^{r-1}x) $ の極限分布は、区間 $ \left(0, \frac{(r+1)^{(r+1)/2}}{2(r-1)^{(r-1)/2}}\right) $ に台を持つラネー分布 $ R_{\frac{r+1}{2},\frac{1}{2}} $ に一致することが同定された。
• 明示的なパラメトリック密度式が導出された：$ v(x) = \frac{\sin 2\varphi \cdot \sin \varphi \cdot (\sin(r-1)\varphi)^{\frac{r}{2}-1}}{\pi (\sin(r+1)\varphi)^{\frac{r}{2}}} $、ここで $ x = \sigma(\varphi) $ であり、$ 0 < \varphi < \frac{\pi}{r+1} $ で有効である。
• 対応する累積分布関数は、$ V(x) = \frac{1}{2} + \frac{(r-1)\sin\varphi}{\pi}\left(\frac{\sin(r+1)\varphi}{\sin(r-1)\varphi}\right)^{\frac{1}{2}} + \frac{1}{\pi}\arctan\left( \frac{\cos r\varphi}{\sqrt{\sin(r-1)\varphi \sin(r+1)\varphi}} \right) $ として明示的に与えられる。
• 漸近的零点分布は、確率行列 $ Z_r^*Z_r $ のマクロな固有値密度と一致し、自由確率論との整合性が自由乗法的畳み込み $ FC_{r-1} \boxtimes R_{1,\frac{1}{2}} $ を通じて確認された。
• 導出により、極限測度がラネー分布であることが確認され、パラメータ表示によりその密度関数および分布関数の新しい初等的で明示的な表現が得られた。
• 本手法は複数の切断ユニタリ因子を含む場合にも拡張可能であるが、そのような場合、ラネー分布ではなくジャコビ多項式モーメント測度が得られ、ラネークラスを越える遷移が生じることを示唆している。