[论文解读] Multiplicative chaos and the characteristic polynomial of the CUE: the $L^1$-phase

Miika Nikula, Eero Saksman+1 more|arXiv (Cornell University)|Jun 5, 2018

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

一句话总结

该论文在 $N \to \infty$ 时，建立了哈尓分布的 $N \times N$ 酉矩阵的特征多项式正幂次经归一化后，在整个 $L^1$-相位（$\beta \in [\sqrt{2}, 2)$）下，其极限分布弱收敛于单位圆上的高斯乘性混沌测度。该结果拓展了此前在 $L^2$-相位的研究成果，并通过严格的重整化与奇异积分方法，证实了随机矩阵理论中对数相关场行为的出现。

ABSTRACT

In this note we prove that suitable positive powers of the absolute value of the characteristic polynomial of a Haar distributed random unitary matrix converge in law, as the size of the matrix tends to infinity, to a Gaussian multiplicative chaos measure once correctly normalized. We prove this in the whole $L^1$- or subcritical phase of the chaos measure.

研究动机与目标

• 建立哈尓分布的随机酉矩阵特征多项式正幂次经归一化后，弱收敛于高斯乘性混沌测度的极限分布。
• 将此前在 $L^2$-相位（$\beta < \sqrt{2}$）的研究结果，推广至完整的 $L^1$-相位（$\beta \in [\sqrt{2}, 2)$）的乘性混沌情形。
• 严格建立 CUE 中特征多项式统计行为与对数相关高斯场及其相关乘性混沌测度之间的联系。
• 完整刻画极限测度为一个中心化高斯场的正式指数形式，其协方差核具有特定的对数相关结构。

提出的方法

• 作者采用正则化与重整化程序，将极限测度定义为 $\mu_\beta(d\theta) = e^{\beta X(\theta) - \frac{\beta^2}{2}\mathbb{E}[X(\theta)^2]} \frac{d\theta}{2\pi}$，其中 $X$ 是一个中心化高斯场，其协方差满足 $\mathbb{E}[X(\theta)X(\theta')] = -\frac{1}{2}\log|e^{i\theta} - e^{i\theta'}|$。
• 他们分析了序列 $\frac{|\det(I - e^{-i\theta}U_N)|^\beta}{\mathbb{E}[|\det(I - e^{-i\theta}U_N)|^\beta]} \frac{d\theta}{2\pi}$ 在单位圆 $\mathbb{T}$ 上测度弱收敛的拓扑结构。
• 证明依赖于奇异积分方程理论与 Sokhotski-Plemelj 公式，以控制与特征多项式相关的 Riemann-Hilbert 问题的矩阵解的行为。
• 通过摄动论证，证明了 $L^2(\Gamma_U)$ 上算子 $I - C_J$ 的可逆性，表明解 $Q_-$ 连续依赖于参数，从而确保了测度在正则化下的稳定性。
• 通过证明差值 $Q_-(\cdot, t) - Q_-(\cdot, s)$ 的 $L^2$-范数在 $t \to s$ 时趋于零，来证明收敛性，其中利用了相关柯西积分算子的算子范数收敛。
• 该方法建立在文献 [5] 和 [36] 的前期工作基础上，通过在跳跃矩阵 $J_Q$ 及其对 $\beta$ 的依赖关系上施加精细估计，将 $L^2$-相位的结果推广至 $L^1$-相位。

实验结果

研究问题

• RQ1 当 $N \to \infty$ 时，CUE 特征多项式的 $\beta$ 次幂绝对值经归一化后，是否在 $\beta \in [\sqrt{2}, 2)$ 范围内弱收敛于高斯乘性混沌测度？
• RQ2 能否在随机矩阵理论的框架下，通过哈尓分布酉矩阵的特征多项式实现乘性混沌的 $L^1$-相位？
• RQ3 极限测度的精确形式是什么？它与具有指定协方差核的对数相关高斯场有何关系？
• RQ4 与先前研究的 $L^2$-相位相比，收敛行为在 $L^1$-相位中如何变化？
• RQ5 对于所有 $\beta < 2$，极限测度是否非退化且定义良好？在 $\beta = 2$ 时会发生什么？

主要发现

• 对于所有 $\beta \in [\sqrt{2}, 2)$，序列 $\frac{|\det(I - e^{-i\theta}U_N)|^\beta}{\mathbb{E}[|\det(I - e^{-i\theta}U_N)|^\beta]} \frac{d\theta}{2\pi}$ 在 $N \to \infty$ 时弱收敛于单位圆上的非退化高斯乘性混沌测度。
• 极限测度几乎必然地支撑在一个随机分形集上，其 Hausdorff 维数为 $2 - \frac{\beta^2}{2}$，与对数相关场的多分形形式一致。
• 底层高斯场的协方差核为 $\mathbb{E}[X(\theta)X(\theta')] = -\frac{1}{2}\log|e^{i\theta} - e^{i\theta'}|$，与随机矩阵理论中预期的对数奇异性相符。
• 通过严格分析与特征多项式相关的 Riemann-Hilbert 问题，结合奇异积分方程与算子理论工具，建立了收敛性。
• 证明展示了 Riemann-Hilbert 问题解 $Q_-$ 关于参数 $\beta$ 的连续性，从而确保了测度在正则化下的稳定性。
• 结果证实，乘性混沌的 $L^1$-相位自然地出现在 CUE 中，拓展了随机矩阵与对数相关场之间已知的联系。