[论文解读] Weingarten Calculus

Georg Köstenberger|arXiv (Cornell University)|Jan 4, 2021

Random Matrices and Applications被引用 6

一句话总结

本文提出了一套统一的框架，用于使用 Weingarten 微积分计算单位酉群 U(d) 上多项式函数的积分，借助 Schur-Weyl 对偶性、表示论和 Jucys-Murphy 元素。该框架推导出 Haar 随机酉矩阵迹的 2n 次矩的显式公式，推广了 Diaconis 的结果，并将 Weingarten 微积分的适用范围扩展至标准的 d ≥ n 范围之外。

ABSTRACT

We consider the problem of computing the integral $$ \int_{\mathcal{U}(d)} u_{i_1j_1}\cdots u_{i_nj_n} \bar{u}_{i'_1j'_1} \cdots \bar{u}_{i'_{n'}j'_{n'}} dU, $$ where the integration takes place with respect to the probability Haar measure on the unitary group $\mathcal{U}(d)$, and the $u_{ij}$ denotes the $ij$-th entry of a unitary matrix $U$. We present a unified approach connecting classical results, the explicit formula for the integral given by B. Collins and P. Sniady and subsequent works of various authors providing different points of view. Finally we are able to provide an explicit formula for the $2n$-th moment of the trace of a unitary Haar random matrix, generalizing a result of P. Diaconis.

研究动机与目标

• 本文旨在统一计算酉群积分的多种不同方法，特别是涉及矩阵元素多项式的情形。
• 旨在将 Weingarten 微积分的有效范围扩展至经典假设 d ≥ n 之外。
• 目标包括为 Haar 分布酉矩阵迹的 2n 次矩提供一种新的显式公式。
• 旨在阐明 Weingarten 函数、Moore-Penrose 逆与 Jucys-Murphy 元素在酉积分背景下的精确联系。
• 旨在将先前关于迹矩的结果推广至更高阶次，如 |Tr(U^k)|^{2n}。

提出的方法

• 该方法利用 Schur-Weyl 对偶性与双重中心化子定理，分析 U(d) 在 Cd 的张量幂上的作用。
• 通过张量积与 Kronecker 积之间的典范同构，将 U^⊗n 和 (U*)^⊗n 的矩阵元表示为元素的乘积。
• 将积分约化为计算投影算子 E 在酉群的交换代数 CU(d) 上的迹，该算子被证明是正交投影。
• Weingarten 函数 Wg(σ) 作为关键组成部分，其计算与由 Jucys-Murphy 元素构造的矩阵的 Moore-Penrose 逆相关联。
• 通过分析轨道-稳定子结构与置换对称性，将 |u11|^2 的直接计算推广至更高阶矩。
• 对于迹矩 |Tr(U^k)|^{2n}，该方法将被积函数重写为多重指标的和，并应用 Weingarten 公式计算所得积分。

实验结果

研究问题

• RQ1 如何系统性地统一不同方法与假设下的 Weingarten 微积分，特别是在 d ≥ n 范围之外？
• RQ2 在酉积分背景下，Weingarten 函数、Moore-Penrose 逆与 Jucys-Murphy 元素之间的确切联系是什么？
• RQ3 能否为 Haar 分布酉矩阵迹的 2n 次矩推导出一个显式公式，推广 Diaconis 的结果？
• RQ4 对称群 Sn 中的轨道与稳定子结构如何促进高阶矩的计算？
• RQ5 该方法在多大程度上可推广以计算形如 ∫ |Tr(U^k)|^{2n} dU（k > 1）的积分？

主要发现

• 本文为 Haar 分布酉矩阵迹的 2n 次矩提供了新的显式公式，推广了 Diaconis 的结果。
• 证明了交换代数 CU(d) 的维数为 ∑_{λ ⊢ n, l(λ) ≤ d} (dim Sλ)^2，确认了其与表示论的联系。
• 积分 ∫ |Tr(U)|^{2n} dU 表示为 n! ∑_i ∑_{σ ∈ stab(i)} Wg(σ)，其中 stab(i) 是多重指标 i 的稳定子。
• 对于 k 次幂情形，积分 ∫ |Tr(U^k)|^{2n} dU 计算为对多重指标 i, j, i′, j′ 的求和，具有特定的循环置换结构，涉及更大对称群中 σ 的 Weingarten 函数 Wg(σ)。
• 该方法揭示了在 k=1 时成立的简化性质无法推广至 k>1，表明结构复杂性显著增加。
• 该框架成功地将经典结果、Collins-Sniady 公式与 Jucys-Murphy 元素方法统一为一个连贯的酉积分计算工具。