实正交矩阵的子矩阵的幂的迹的渐进分布

设随机矩阵U属于n阶实正交群O(n),O(n)的分布是单位Haar分布,[U]m表示U的m阶顺序主子矩阵,记Q=n/m～(1/n/m)[U]m.文献(Diaconis P,Shahshahani M.J Appl Probab,1994,A31:49-62.)通过计算TrUj的联合矩得出对固定的整数k,当n充分大时(TrU,TrU2,…,TrUk)渐进于正态分布.利用Jack函数和对称群的特征标的恒等式,推广这一结论到U的子矩阵情形,即证明了随机向量(TrQ,TrQ2,…,TrQk)当m→+∞时依分布收敛于正态分布.对特殊实正交矩阵群SO(n)也有类似的结论.