[论文解读] 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

一句话总结

本文利用多变量鞍点法，研究了复高斯矩阵与截断酉随机矩阵乘积的特征多项式的渐近行为，推导出Plancherel-Rotach型渐近展开。归一化零点的极限分布被证明为阶数为 $ r+1/2 $ 的Raney分布，其概率密度函数与分布函数通过谱参数 $ \varphi $ 的三角函数显式表出。

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 $ 的Plancherel-Rotach型渐近公式。
• 识别极限宏观零点分布为Raney分布 $ R_{\frac{r+1}{2},\frac{1}{2}} $，并提供其密度函数与分布函数的显式初等参数化表达。
• 建立渐近零点分布与底层随机矩阵系综 $ Z_r^*Z_r $ 的宏观特征值密度之间的联系，确认其与自由概率构造的一致性。

提出的方法

• 在 $ n $ 充分大、固定 $ \nu_i $ 与 $ \kappa $ 的极限下，应用多变量鞍点法分析 $ {}_2F_r $ 超几何多项式的渐近行为。
• 通过参数化 $ x = \sigma(\varphi) = \frac{(\sin(r+1)\varphi)^{(r+1)/2}}{\sin 2\varphi \cdot (\sin(r-1)\varphi)^{(r-1)/2}} $（其中 $ 0 < \varphi < \pi/(r+1) $）将密度函数与分布函数表示为闭式。
• 通过将生成函数的解析延拓代入Stieltjes-Perron反演公式，推导出密度 $ 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) $ 的一致性。
• 通过将参数形式与已知分布恒等式比对，识别出极限测度为Raney分布 $ 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 Wishart型乘积中涉及复高斯矩阵与截断酉矩阵的平均特征多项式的零点渐近分布为何？
• RQ2 如何推导 $ {}_2F_r $ 超几何多项式的Plancherel-Rotach型渐近展开，并利用其描述零点的振荡行为？
• RQ3 在 $ n $ 充分大时，零点分布的极限密度与累积分布函数的显式参数形式为何？
• RQ4 极限零点分布与已知的随机矩阵特征值分布（如Fuss-Catalan或Raney分布）有何关联？
• RQ5 归一化特征多项式的渐近零点分布是否等价于底层随机矩阵系综 $ Z_r^*Z_r $ 的宏观特征值密度？

主要发现

• 归一化特征多项式 $ F_n(n^{r-1}x) $ 的极限零点分布被识别为Raney分布 $ R_{\frac{r+1}{2},\frac{1}{2}} $，其支撑集为 $ \left(0, \frac{(r+1)^{(r+1)/2}}{2(r-1)^{(r-1)/2}}\right) $。
• 推导出显式参数密度公式：$ 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}} $ 的一致性。
• 推导结果确认极限测度为Raney分布，且参数化提供了其密度函数与分布函数的新颖、初等且显式的表达形式。
• 该方法可推广至含多个截断酉因子的情形，但此类情况产生的是雅可比多项式矩测度而非Raney分布，表明已超出Raney分布类。