[论文解读] Shifted Jack polynomials, binomial formula, and applications

Andreĭ Okounkov, Grigori Olshanski|ArXiv.org|Aug 23, 1996

Advanced Combinatorial MathematicsMathematics参考文献 9被引用 20

一句话总结

本文建立了移位杰克多项式的一个二项式公式，通过反向表格和 $\theta$-权重给出了显式的组合表达式。关键贡献是建立了一个生成函数恒等式，将移位杰克多项式与在 $1+x_i$ 处取值的杰克多项式联系起来，该结果在表示理论和渐近特征理论中具有应用，尤其通过 $\theta$-维数公式实现。

ABSTRACT

In this note we prove an explicit binomial formula for Jack polynomials and discuss some applications of it.

研究动机与目标

• 推导移位杰克多项式在对称函数和组合表格方面的显式二项式公式。
• 建立移位杰克多项式与在 $1+x_i$ 处取值的杰克多项式之间的联系。
• 利用组合恒等式，为移位杰克多项式的对偶性和零化性质提供一种新证明。
• 将二项式公式应用于推导斜形的 $\theta$-维数公式和渐近特征理论。

提出的方法

• 使用哈里什-钱德拉同构，将微分算子与移位对称多项式联系起来。
• 将移位杰克多项式 $P^{*}_{\nu}(x;\theta)$ 定义为在 $\bar{\theta}$-对称代数中唯一满足在所有 $\nu' \neq \nu$ 且 $|\nu'| \geq |\nu|$ 处为零的元素。
• 应用涉及在分划 $\mu$ 上的反向表格 $T$ 的组合公式，其中行内条目弱递减，列内条目严格递减。
• 使用 $\psi_T(\theta)$，即表格的 $\theta$-权重，对展开式 $P^{*}_{\mu}(x;\theta)$ 中的单项式 $\prod_{s\in\mu}(x_{T(s)} - a'(s) + \theta l'(s))$ 进行加权。
• 推导主要的二项定理：$\frac{P_{\lambda}(1+x_1,\dots,1+x_n;\theta)}{P_{\lambda}(1,\dots,1;\theta)} = \sum_{\mu} \frac{P^{*}_{\mu}(\lambda;\theta) Q_{\mu}(x;\theta)}{(n\theta)_{\mu}}$，其中 $Q_{\mu} = \frac{H'(\mu)}{H(\mu)} P_{\mu}$。
• 通过缩放 $\lambda \to \kappa\lambda$，$\mu \to \kappa\mu$，当 $\kappa \to \infty$ 时进行渐近分析，导出 $P_{\mu}(\lambda)$ 的积分表示，其形式涉及贝塔函数和差积的乘积。

实验结果

研究问题

• RQ1 如何基于标准杰克多项式及其对偶，为移位杰克多项式构造一个类二项式展开？
• RQ2 移位杰克多项式的组合结构是什么？它如何推广移位舒尔函数的理论？
• RQ3 斜形的 $\theta$-维数公式如何从二项恒等式和对偶性质中导出？
• RQ4 该二项式公式能否用于通过渐近极限导出杰克多项式的积分表示？
• RQ5 该二项式公式对 $U(\infty)$ 和 $S(\infty)$ 的渐近特征理论有何影响？

主要发现

• 二项式公式 $\frac{P_{\lambda}(1+x_1,\dots,1+x_n;\theta)}{P_{\lambda}(1,\dots,1;\theta)} = \sum_{\mu} \frac{P^{*}_{\mu}(\lambda;\theta) Q_{\mu}(x;\theta)}{(n\theta)_{\mu}}$ 对所有分划 $\lambda$ 和 $\mu$ 成立，其中 $Q_{\mu}(x;\theta) = \frac{H'(\mu)}{H(\mu)} P_{\mu}(x;\theta)$。
• 分划 $\lambda$ 的 $\theta$-维数为 $\operatorname{\theta-dim}\lambda = \frac{| olimits|\lambda|!}{H(\lambda)}$，其中 $H(\lambda) = \prod_{s\in\lambda}(a(s) + \theta l(s) + 1)$。
• 斜形 $\theta$-维数之比满足 $\frac{\operatorname{\theta-dim}\lambda/\mu}{\operatorname{\theta-dim}\lambda} = \frac{P^{*}_{\mu}(\lambda;\theta)}{| olimits|\lambda|(|\lambda|-1)\cdots(|\lambda|-|\mu|+1)}$，为斜形 $\theta$-维数提供了组合解释。
• 导出了 $P_{\mu}(\lambda)$ 的积分表示：$P_{\mu}(\lambda) = \frac{1}{C(\mu,n)} \frac{1}{V(\lambda)^{2\theta-1}} \int \dots \int P_{\mu}(\nu) V(\nu) \Pi(\lambda,\nu;\theta) \, d\nu$，对实数 $\lambda$ 和 $\theta > 0$ 成立，其中 $C(\mu,n) = \prod_{i\leq n-1} B(\mu_i + (n-i)\theta, \theta)$。
• 当 $\kappa \to \infty$ 时，$P^{*}_{\mu}(\kappa\lambda;\theta)/\kappa^{| olimits|\mu|}$ 的渐近极限为 $P_{\mu}(\lambda;\theta)$，确认其与标准杰克多项式极限的一致性。
• 该方法为零化性质 $P^{*}_{\mu}(\lambda;\theta) = 0$（当且仅当 $\mu \subset \lambda$）和首项恒等式 $P^{*}_{\mu}(x;\theta) = P_{\mu}(x;\theta) + \text{低次项}$ 提供了一种新的组合证明。