酉群上的矩阵积分：Schur-Weyl 对偶性的应用

本文全面回顾了关于酉群 $\mathsf{U}(d)$ 的积分公式，得出了新的结果并提供了创新的证明。这些公式推导的核心在于运用 Schur-Weyl 对偶性，这是群表示论中的一个经典而强大的定理。这种对偶性充当了桥梁，建立了有限群（或置换群）表示论与经典李群（特别是酉群）表示论之间的深刻联系。从 Schur-Weyl 对偶性的角度来看，显然酉群上矩阵积分的计算与所谓的 Weingarten 函数错综复杂地交织在一起。该函数的显式求值严重依赖于三个关键方面：首先，酉群不可约表示的维数；其次，置换群不可约表示的维数；第三，置换群的不可约特征标。对于前两个方面，我们可以依赖成熟的公式。具体而言，酉群和置换群不可约表示的维数均可利用 Frame、Robinson 和 Thrall 提出的钩长公式 (hook-length formula)，以及 Stanley 提出的钩内容公式 (hook-content formula) 来确定。然而，第三个方面构成了更为复杂的挑战。不幸的是，尽管付出了巨大努力，除了涉及特定分区的少数特殊情况外，目前仍没有针对置换群通用不可约特征标的统一闭式公式。鉴于这些不可约特征标的重要性，全面理解它们至关重要。幸运的是，属于给定置换群的所有不可约特征标信息都编码在所谓的特征标表中……