[论文解读] Asymptotics of Jack polynomials as the number of variables goes to infinity

Andreĭ Okounkov, Grigori Olshanski|ArXiv.org|Sep 5, 1997

Random Matrices and Applications参考文献 16被引用 28

一句话总结

本文将 Vеrshik 与 Kerov 对 U(∞) 的渐近特征的分类推广至任意正参数 θ 的 Jack 多项式。证明了签名序列是正则的（即归一化 Jack 函数在无限环面的紧子集上一致收敛）当且仅当其满足 Vershik-Kerov 条件。极限被显式计算为参数 α±, β±, γ± 的无穷乘积，将 Schur 多项式情形（θ=1）推广至一般 θ > 0。

ABSTRACT

In this paper we study the asymptotic behavior of the Jack rational functions as the number of variables grows to infinity. Our results generalize the results of A. Vershik and S. Kerov obtained in the Schur function case (theta=1). For theta=1/2,2 our results describe approximation of the spherical functions of the infinite-dimensional symmetric spaces $U(\infty)/O(\infty)$ and $U(2\infty)/Sp(\infty)$ by the spherical functions of the corresponding finite-dimensional symmetric spaces.

研究动机与目标

• 将对称函数的渐近理论从 Schur 多项式（θ=1）推广至任意 θ > 0 的 Jack 多项式。
• 刻画使得归一化 Jack 函数在无限环面 T^∞ 的紧子集上一致收敛的签名序列。
• 在除有限个变量外其余变量均设为 1 的条件下，为归一化 Jack 多项式在 n → ∞ 时的极限提供显式公式。
• 将原本仅针对 Schur 函数情形（θ=1）定义的 Vershik-Kerov 条件推广至签名（带符号的分拆），并证明其对正则性而言是必要且充分的。

提出的方法

• 引入归一化 Jack 函数 Φ_λ(n)(z;θ) := P_λ(n)(z;θ)/P_λ(n)(1,…,1;θ)，确保其在点 (1,1,…) 处收敛。
• 定义签名序列 λ(n) 为正则的，若 Φ_λ(n) 在 T^∞ 的紧子集上一致收敛。
• 采用 Vershik-Kerov 条件于分拆序列：存在极限 α_i = lim λ_i(n)/n，β_i = lim λ'_i(n)/n，δ = lim |λ(n)|/n。
• 通过将 λ(n) 分解为正部 λ^+(n) 和负部 λ^−(n)，将这些条件推广至签名，定义相应的 α^±_i, β^±_i, γ^± 参数。
• 使用生成函数技巧与归纳法，推导出 Jack 设置下幂和型对称函数生成函数的闭式表达。
• 应用 q-类 Gauss 超几何求和公式以验证生成函数公式，该公式构成主要结果的基础。

实验结果

研究问题

• RQ1 对于哪些签名序列 λ(n)，归一化 Jack 多项式 Φ_λ(n)(z;θ) 在 n → ∞ 时于 T^∞ 的紧子集上一致收敛？
• RQ2 当此类收敛发生时，极限函数 lim_{n→∞} Φ_λ(n)(z;θ) 的显式形式是什么？
• RQ3 Vеrshik-Kerov 条件——此前仅知于 Schur 函数情形（θ=1）——如何推广至任意 θ > 0 的 Jack 多项式？
• RQ4 极限函数能否分解为关于 z_j 的乘积形式？每个 z_j 对应的因子具有何种函数形式？
• RQ5 参数 α^±_i, β^±_i, γ^± 在刻画 Jack 多项式渐近行为中起何作用？

主要发现

• 当且仅当 λ^+(n) 和 λ^−(n) 均满足 Vershik-Kerov 条件时，签名序列 λ(n) 是正则的，即极限 α^±_i, β^±_i, γ^± 存在且有限。
• 归一化 Jack 函数的极限由无穷乘积 ∏_{j≥1} φ_{α,β,γ}(z_j) 给出，其中 φ_{α,β,γ}(z) 是显式构造的乘积，涉及参数 α^±_i, β^±_i, γ^± 和参数 θ。
• 极限函数 φ_{α,β,γ}(z) 可表示为 e^{γ^+(z−1)+γ^−(z^{−1}−1)} 乘以 (1 + β^±_i(z−1)) 和 (1 − α^±_i(z−1)/θ)^{-θ} 的有理函数形式，反映出 Schur 情形的 θ-变形。
• 收敛性在 T^∞ 的紧子集上一致成立，且归一化确保极限在 (1,1,…) 处定义良好。
• 该结果将经典的 Vershik-Kerov 定理（U(∞) 的特征）从 θ=1 推广至整个 Jack 多项式族。
• 证明依赖于通过归纳法和 q-类 Gauss 求和公式建立的 Jack 对称函数生成函数恒等式，从而确认了极限的结构。