[论文解读] On the Schur expansion of Jack polynomials

Per Alexandersson, James Haglund+1 more|arXiv (Cornell University)|May 1, 2018

Advanced Combinatorial Mathematics参考文献 9被引用 3

一句话总结

本文提出了关于修正杰克多项式 $\tilde{J}_{\mu}^{(\alpha)}$ 的舒尔展开的两个猜想，并提供了证据，表明在二项式基 $\binom{\alpha+k}{n}$ 和 $\binom{\alpha}{k}k!$ 中的系数为非负整数，且其生成多项式具有实根。这些结果与欧拉数、斯特林数、准山本内田表和车棋盘相关联，提供了新的组合解释，并暗示对称函数理论中更深层次的代数结构。

ABSTRACT

We present positivity conjectures for the Schur expansion of Jack symmetric functions in two bases given by binomial coefficients. Partial results suggest that there are rich combinatorics to be found in these bases, including Eulerian numbers, Stirling numbers, quasi-Yamanouchi tableaux, and rook boards. These results also lead to further conjectures about the fundamental quasisymmetric expansions of these bases, which we prove for special cases.

研究动机与目标

• 研究修正杰克多项式 $\tilde{J}_{\mu}^{(\alpha)}$ 在涉及 $\alpha$ 的两种二项式基中的舒尔展开。
• 建立这些展开式系数的组合正性，猜想其为非负整数。
• 探索这些系数与欧拉数、斯特林数、准山本内田表和车多项式等组合对象之间的联系。
• 提出并证明这些基的基本准对称展开的猜想的特例。
• 为与系数相关的生成多项式的实根性提供证据。

提出的方法

• 定义 $\tilde{J}_{\mu}^{(\alpha)}(X) = \alpha^n J_{\mu}^{(1/\alpha)}(X)$，以在 $\alpha \to 1/\alpha$ 时稳定舒尔展开。
• 在基 $\binom{\alpha+k}{n}$ 和 $\binom{\alpha}{k}k!$ 中表达舒尔系数 $\langle \tilde{J}_{\mu}^{(\alpha)}, s_\lambda \rangle$。
• 利用柯诺和萨希的组合公式表示杰克多项式的单项式展开，推导出钩形形状下 $\langle \tilde{J}_{\mu}^{(\alpha)}, s_\mu \rangle$ 的表达式。
• 应用车多项式理论于费耶尔斯棋盘，表明命中多项式和车多项式仅有实根，从而推出系数生成多项式的实根性。
• 利用余的关于麦克唐纳多项式及 $q \to 1$ 极限的结果，推导出 $\tilde{J}_{(n)}^{(\alpha)}$ 关于舒尔函数和二项式系数的显式公式。
• 利用恒等式 $\binom{\alpha+k}{n} = \sum_i \binom{\alpha}{i} \binom{k}{n-i}$ 关联两个基，并证明猜想1蕴含猜想2的整数性。

实验结果

研究问题

• RQ1 当在基 $\binom{\alpha+k}{n}$ 中展开时，$\tilde{J}_{\mu}^{(\alpha)}$ 在舒尔基中的系数是否总是非负整数？
• RQ2 这些系数的生成多项式 $\sum_k a_k(\mu,\lambda) z^k$ 是否仅有实根？
• RQ3 在基 $\binom{\alpha}{k}k!$ 中的系数能否进行组合解释，且是否也是非负整数？
• RQ4 舒尔展开系数与组合对象（如准山本内田表、欧拉数和车棋盘）之间有何联系？
• RQ5 这些基的基底准对称展开能否被刻画，且是否支持舒尔正性？

主要发现

• 当 $\mu = (n)$ 时，舒尔系数 $\langle \tilde{J}_{(n)}^{(\alpha)}, s_\lambda \rangle$ 表示为 $\sum_k K_{\lambda,1^n} h_k(B(c_1,\ldots,c_n)) \binom{\alpha+k}{n}$，其中 $h_k$ 为车棋盘的第 $k$ 个初等对称函数。
• 同一系数也可表示为 $\sum_k K_{\lambda,1^n} r_{n-k}(B(c_1,\ldots,c_n)) \binom{\alpha}{k}k!$，与车多项式统计相关联。
• 当 $\mu = (n-\ell,1^\ell)$ 为钩形时，舒尔系数 $\langle \tilde{J}_{\mu}^{(\alpha)}, s_\mu \rangle$ 为两项之和，分别包含 $\ell!$ 和 $\ell \cdot \ell!$，每项乘以特定单元权重的车棋盘对称函数。
• 在特殊情况下，生成多项式 $\sum_k a_k(\mu,\lambda) z^k$ 和 $\sum_k b_{n-k}(\mu,\lambda) z^k$ 被证明仅有实根，这是由于费耶尔斯棋盘的车多项式和命中多项式具有实根。
• 系数 $K_{\lambda,1^n}$（即形状为 $\lambda$ 且内容为 $1^n$ 的标准表的个数）作为乘法因子出现在 $\mu = (n)$ 的展开中。
• 结果提示在 $\binom{\alpha}{k}k!$ 基中，车棋盘解释与表解释之间可能存在双射，这或可带来完整的组合解释。