[论文解读] Moments and Cumulants of Polynomial random variables on unitary groups, the Itzykson-Zuber integral and free probability

Benoı̂t Collins|ArXiv.org|May 7, 2002

Random Matrices and Applications被引用 86

一句话总结

本文通过对称群的特征标和舒尔函数，为酉群上多项式函数的矩和累积量提供了显式的代数公式。它建立了矩阵模型积分和伊茨基森-祖伯积分对数的渐近收敛性，推导出累积量生成函数的极限表达式，并将其与自由概率中的沃伊科列夫斯基 R-变换联系起来。

ABSTRACT

We consider integrals on unitary groups $U_d$ of the form $$\int_{U_d}U_{i_1j_1}... U_{i_qj_q}U^*_{j'_{1}i'_{1}} ... U^*_{j'_{q'}i'_{q'}}dU$$ We give an explicit formula in terms of characters of symmetric groups and Schur functions, which allows us to rederive an asymptotic expansion as $d o\infty$. Using this we rederive and strenghthen a result of asymptotic freeness due to Voiculescu. We then study large $d$ asymptotics of matrix model integrals and of the logarithm of Itzykson-Zuber integrals and show that they converge towards a limit when considered as power series. In particular we give an explicit formula for $$\lim_{d o\infty}\frac{\partial^n}{\partial z^n}d^{-2} \log\int_{U_d} e^{zd Tr (XUYU^*)}dU|_{z=0}$$ assuming that the normalized traces $d^{-1} Tr(X^k)$ and $d^{-1} Tr (Y^k)$ converge in the large $d$ limit. We consider as well a different scaling and relate its asymptotics to Voiculescu's R-transform.

研究动机与目标

• 通过使用对称群特征标和舒尔函数，推导出酉群上多项式函数积分的显式公式。
• 重新推导并强化沃伊科列夫斯基关于酉矩阵与确定性矩阵的渐近自由性结果。
• 分析矩阵模型积分和伊茨基森-祖伯积分对数在大 d 渐近下的行为，证明其幂级数系数的收敛性。
• 建立伊茨基森-祖伯积分渐近累积量与自由概率中沃伊科列夫斯基 R-变换之间的精确联系。
• 以组合结构和生成函数的形式，提供对极限累积量的图解与代数解释。

提出的方法

• 使用温格滕微分法，通过对称群的特征标和舒尔函数表达 $\mathbb{U}_d$ 上多项式函数的积分。
• 应用定理 2.1，通过对具有特定循环类型条件的置换求和来计算矩和累积量。
• 利用生成函数和累积量展开，分析当 $d\to\infty$ 时 $d^{-2}\log\int e^{zd\,{\rm Tr}(XUYU^*)}dU$ 的渐近行为。
• 推导出在 $z=0$ 处对数积分的第 $q$ 阶导数的极限，其为归一化迹 $x_k = \lim d^{-1}{\rm Tr}(X^k)$ 和 $y_k = \lim d^{-1}{\rm Tr}(Y^k)$ 的有理函数。
• 使用图解技术与对称函数理论，对极限系数进行组合解释。
• 通过恒等式 $\lim_{d\to\infty} d \cdot \partial^q_z F_{d,X,Y}(0) = (q-1)! \cdot k_q(Y)$，将伊茨基森-祖伯积分的渐近行为与沃伊科列夫斯基 R-变换联系起来，其中 $k_q(Y)$ 是 $Y$ 的第 $q$ 阶累积量。

实验结果

研究问题

• RQ1 伊茨基森-祖伯积分的渐近极限能否显式表示为 $z$ 的幂级数，其系数仅依赖于 $X$ 和 $Y$ 的极限谱分布？
• RQ2 当 $d\to\infty$ 时，迹 $\,{\rm Tr}(XUYU^*)$ 的累积量如何渐近行为，能否与自由概率工具（如 R-变换）建立联系？
• RQ3 酉群上矩阵模型积分收敛性的精确代数结构是什么，能否推广到非厄米特矩阵？
• RQ4 是否存在 $d^{-2}\log\int e^{zd\,{\rm Tr}(XUYU^*)}dU$ 的极限累积量的闭式生成函数？
• RQ5 能否将累积量生成函数的收敛性加强为 $\mathbb{C}$ 上紧集上的一致收敛？

主要发现

• 当 $d\to\infty$ 时，$F_{d,X,Y} = d^{-2}\log\int e^{zd\,{\rm Tr}(XUYU^*)}dU$ 的第 $q$ 阶导数在 $z=0$ 处收敛至一个极限，该极限仅依赖于 $X$ 和 $Y$ 的极限谱分布，且其显式有理系数由 $x_k = \lim d^{-1}{\rm Tr}(X^k)$ 和 $y_k = \lim d^{-1}{\rm Tr}(Y^k)$ 表示。
• 当 $q=2$ 时，$d^{-2}C_2(d^2{\rm tr}A)$ 的极限为 $x_2 y_2$；当 $q=3$ 时，其极限为 $x_3 y_3$，证实了累积量的主导阶行为。
• 当 $q=4$ 时，$d^{-2}C_4(d^2{\rm tr}A)$ 的极限为 $x_4 y_4 + 3x_2^2 y_2^2 - 2x_2^2 y_4 - 2x_4 y_2^2$，显示出超越乘积项的非平凡组合结构。
• 当 $X$ 为一个秩一投影时，$\lim_{d\to\infty} d \cdot \partial^q_z F_{d,X,Y}(0)$ 等于 $(q-1)! \cdot k_q(Y)$，直接将伊茨基森-祖伯积分与沃伊科列夫斯基 R-变换联系起来。
• 累积量生成函数的系数收敛于 $d$ 的有理函数，其渐近行为与已知的温格滕函数 $\mathrm{Wg}(\sigma,d)$ 的行为一致。
• 该方法允许显式计算长度不超过 8 的 $U, V, U^*, V^*$ 的约化字迹的期望，例如 $\mathbb{E}[{\rm tr}((UVU^*V^*)^2)] = \frac{-4}{d^2(d^2-1)}$。