[论文解读] Integrals over Grassmannians and Random permutations

Mark Adler, Pierre van Moerbeke|ArXiv.org|Oct 25, 2001

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

一句话总结

本文建立了多元统计中格拉斯曼流形上积分与随机词中最长递增子序列分布之间的深刻联系，表明高斯总体中样本典型相关系数的拉普拉斯变换等于满足Painlevé型微分方程的格拉斯曼流形积分。关键结果通过RSK对应关系将随机词中所有p个字母均出现的条件下，(p−1)-递增子序列的长度与超几何函数及施尔多项式联系起来，涉及杰克多项式。

ABSTRACT

In testing the independence of two Gaussian populations, one computes the distribution of the sample canonical correlation coefficients, given that the actual correlation is zero. The "Laplace transform" of this distribution is not only an integral over the Grassmannian of p-dimensional planes in complex n-space, but is also related to a generalized hypergeometric function. Such integrals are solutions of Painlevé-like equations. They also have expansions, related to random words of length l formed with an alphabet of p letters. Given that each letter appears in the word, the maximal length of the disjoint union of p increasing subsequences of the word clearly equals l. But the maximal length of the disjoint union of p-1 increasing subsequences leads to a non-trivial distribution. It is precisely this probability which appears in the expansion above.

研究动机与目标

• 将高斯总体中样本典型相关系数分布的拉普拉斯变换与格拉斯曼流形上的积分联系起来。
• 在整数分拆的概率测度下，建立随机词中最长(p−1)-递增子序列长度与统计分拆分布之间的概率联系。
• 证明格拉斯曼流形积分满足与KP层级及Painlevé方程相关的微分方程。
• 推导出长度为ℓ、使用p个字母的随机词中，所有p个字母均出现且(p−1)-递增子序列长度≤ℓ−n+p的概率的显式公式。
• 证明这些概率在杰克多项式与对称函数背景下源于施尔多项式与钩长积。

提出的方法

• 利用RSK对应关系将p个字母字母表上的随机词映射为标准与半标准杨表对，从而在整数分拆上诱导出概率测度。
• 通过在(1^p)处取值的杰克多项式与施尔函数，将格拉斯曼流形积分表示为分拆上的数学期望。
• 应用对称函数理论，特别是杰克多项式，推导涉及广义超几何函数与钩长积的恒等式。
• 通过将格拉斯曼流形积分与KP层级及Pfaff-KP层级关联，推导其微分方程，并施加生成函数的Virasoro约束。
• 利用Pfaff-KP层级与Virasoro约束刻画积分生成函数的性质，尤其针对雅可比型权函数。
• 以雅可比β-积分作为关键例子，证明所得积分满足显式的Virasoro约束，其系数来自权函数的有理对数导数g/f。

实验结果

研究问题

• RQ1 格拉斯曼流形上的积分如何与多元正态分布中样本典型相关系数的分布相关联？
• RQ2 在长度为ℓ、使用p个不同字母且所有字母均出现的随机词中，最长(p−1)-递增子序列的长度具有何种概率意义？
• RQ3 格拉斯曼流形积分如何与超几何函数及Painlevé型微分方程相关联？
• RQ4 杰克多项式与施尔函数在表达典型相关系数分布的拉普拉斯变换中起什么作用？
• RQ5 Virasoro约束与Pfaff-KP层级如何刻画这些积分的生成函数？

主要发现

• 所有p个字母均出现的随机词π ∈ S_ℓ^p中，(p−1)-递增子序列长度≤ℓ−n+p的概率，由所有具有ℓ−p(n−p)个方格且列长≤p的分拆κ的和表示，涉及钩长积与广义Pochhammer符号的乘积。
• 格拉斯曼流形Gr(p, ℂ^n)上的积分等于样本典型相关系数分布的拉普拉斯变换，并满足Painlevé型微分方程。
• 对于雅可比重ρ(z) = (1−z)^a(1+z)^b，积分满足Virasoro约束，其系数由有理函数g/f = (a−b + (a+b)z)/(1−z²)导出。
• 积分的生成函数τ_p(t)满足Hirota双线性关系，β = 1/2、1、2时形式不同，且Pfaff-KP层级的第一个方程被显式给出。
• 在d_1(π) = p条件下，i_{p−1}(π)的首个非平凡情形等价于随机词中不存在长度超过ℓ−n+p的(p−1)-递增子序列的概率。
• 当μ = (n−p)^p时，P^ℓ,p(λ ⊇ μ)的显式公式由所有具有ℓ−p(n−p)个方格的分拆κ的和表示，权重为1/(h^κ)^2 × ((p)_κ)^2 / (n)_κ，证实了组合学与统计学之间的联系。