[论文解读] Free probability and representations of large symmetric groups

Piotr Śniady|ArXiv.org|Apr 19, 2003

Random Matrices and Applications参考文献 15被引用 5

一句话总结

本文通过用对称群表示的归一化特征函数表达 Jucys–Murphy 元素的自由累积量，建立了自由概率与对称群渐近表示理论之间的联系。当杨图按 q^{-1/2} 缩放并趋于固定形状时，推导出这些累积量的二阶渐近展开式，并提出一种用于更高阶展开的算法，从而得到 Kerov 多项式中关于循环上特征函数的显式二阶项。

ABSTRACT

We study the asymptotic behavior of the free cumulants (in the sense of free probability theory of Voiculescu) of Jucys--Murphy elements--or equivalently--of the transition measure associated with a Young diagram. We express these cumulants in terms of normalized characters of the appropriate representation of the symmetric group S_q. Our analysis considers the case when the Young diagrams rescaled by q^{-1/2} converge towards some prescribed shape. We find explicitly the second order asymptotic expansion and outline the algorithm which allows to find the asymptotic expansion of any order. As a corollary we obtain the second order asymptotic expansion of characters evaluated on cycles in terms of free cumulants, i.e. we find explicitly terms in Kerov polynomials with the appropriate degree.

研究动机与目标

• 理解在大对称群背景下，Jucys–Murphy 元素相关自由累积量的渐近行为。
• 通过归一化特征函数，将自由概率理论与对称群 S_q 的表示理论联系起来。
• 在杨图经 q^{-1/2} 缩放后收敛于固定形状的极限下，推导自由累积量的二阶渐近展开式。
• 建立一种通用算法，用于计算自由累积量的更高阶渐近展开项。
• 将结果应用于获得 Kerov 多项式中关于循环上特征函数的显式二阶项。

提出的方法

• 用 S_q 的不可约表示的归一化特征函数表达 Jucys–Murphy 元素的自由累积量。
• 分析杨图经 q^{-1/2} 缩放后趋于固定形状的渐近情形。
• 利用与杨图相关的转移测度，将其与自由概率中的自由累积量联系起来。
• 应用渐近表示理论技术，将特征函数与累积量按 q 的负幂次展开。
• 基于特征函数展开，推导出一种递归算法，用于计算任意阶次的渐近项。
• 利用自由累积量与循环特征之间的联系，提取 Kerov 多项式中显式的二阶项。

实验结果

研究问题

• RQ1 当对称群 S_q 的大小趋于无穷，且杨图按 q^{-1/2} 缩放时，Jucys–Murphy 元素的自由累积量的渐近行为如何？
• RQ2 这些自由累积量的二阶渐近展开式的显式形式是什么，其表达式如何依赖于杨图的极限形状？
• RQ3 能否将循环上归一化特征函数的渐近展开用自由累积量表示，其二阶项是什么？
• RQ4 何种算法框架可系统地计算自由累积量展开的更高阶渐近项？
• RQ5 在渐近 regime 下，这些结果如何改进 Kerov 多项式中关于循环上特征函数的表达式？

主要发现

• 在 q^{-1/2} 缩放极限下，Jucys–Murphy 元素相关自由累积量的二阶渐近展开被显式计算出来。
• 证明了 S_q 上循环的归一化特征函数可展开为自由累积量的渐近级数，且显式导出了二阶项。
• 建立了一种算法，可计算自由累积量展开的任意阶渐近项。
• 通过转移测度与自由累积量之间的联系，正式建立了自由概率与对称群表示理论之间的联系。
• 结果提供了 Kerov 多项式中关于循环上特征函数的显式二阶项，解决了渐近特征理论中的一个关键开放问题。
• 利用自由累积量，完全刻画了循环上特征函数的渐近行为至二阶，证实并扩展了已知的猜想。