[论文解读] Identity between Restricted Cauchy Sums for the $q$-Whittaker and Skew Schur Polynomials

Takashi Imamura, Matteo Mucciconi+1 more|arXiv (Cornell University)|Jun 22, 2021

Advanced Combinatorial Mathematics参考文献 50被引用 4

一句话总结

本文在限制第一行长度的条件下，建立了 $q$-Whittaker 多项式与斜 Schur 多项式之间受限 Cauchy 和的新恒等式。作者运用可积概率技术，通过比较 $q$-Whittaker 测度与周期 Schur 测度的 Fredholm 衍生式公式，证明了在第一行长度有界的分拆上求和的等式，从而揭示了这两类对称函数之间深刻的联系。

ABSTRACT

The Cauchy identities play an important role in the theory of symmetric functions. It is known that Cauchy sums for the $q$-Whittaker and the skew Schur polynomials produce the same factorized expressions modulo a $q$-Pochhammer symbol. We consider the sums with restrictions on the length of the first rows for labels of both polynomials and prove an identity which relates them. The proof is based on techniques from integrable probability: we rewrite the identity in terms of two probability measures: the $q$-Whittaker measure and the periodic Schur measure. The relation follows by comparing their Fredholm determinant formulas.

研究动机与目标

• 在分拆的第一行长度受限的条件下，建立 $q$-Whittaker 与斜 Schur 多项式受限 Cauchy 和之间的新恒等式。
• 探索 $q$-Whittaker 函数与斜 Schur 函数之间超越标准 Cauchy 恒等式的更深层次结构联系。
• 利用与 $q$-Whittaker 和周期 Schur 测度相关的 Fredholm 衍生式公式，提供该恒等式的概率性证明。
• 为未来在组合学中实现该恒等式的双射证明奠定基础，如后续工作中所概述。

提出的方法

• 作者将该恒等式重新表述为两种概率测度：$q$-Whittaker 测度与平移混合的周期 Schur 测度。
• 他们将恒等式的两边表示为涉及由 $q$-Whittaker 与 Schur 多项式导出的积分核的 Fredholm 衍生式公式。
• 证明依赖于围道变形技术，以使两个测度的 Fredholm 衍生式相等。
• 通过展示在适当的围道平移后，$q$-Whittaker 与周期 Schur 测度的 Fredholm 衍生式相等，从而建立等价性。
• 分析使用了 $q$-Pochhammer 符号的衰减估计以及对核函数 $A(m;r)$ 与 $B(r;m)$ 的界，以确保收敛性。
• 该论证适用于复变量 $a_i, b_j$ 所在的连续区间，可推广至对称函数的任意特殊化。

实验结果

研究问题

• RQ1 是否存在一个关于 $q$-Whittaker 与斜 Schur 多项式的精细恒等式，能尊重其分拆第一行长度的约束？
• RQ2 能否利用概率与可积系统技术，证明 $q$-Whittaker 与斜 Schur 多项式受限 Cauchy 和的相等性？
• RQ3 在围道变形下，$q$-Whittaker 与周期 Schur 测度的 Fredholm 衍生式公式之间有何关系？
• RQ4 $q$-Pochhammer 符号在 Fredholm 衍生式框架中核函数的衰减与收敛性中起什么作用？
• RQ5 如作者后续工作所建议，该恒等式是否可在组合设定下被推广或实现双射化？

主要发现

• 本文证明了对任意 $n \in \mathbb{Z}_{\geq 0}$，在满足 $\mu_1 + \nu_1 \leq n$ 与 $\lambda_1 \leq n$ 的分拆上求和的受限和相等：$\sum_{\mu_1 + \nu_1 \leq n} q^{|\nu|} P_\mu(\mathbf{a}) Q_\mu(\mathbf{b}) = \sum_{\lambda_1 \leq n, \rho \subset \lambda} q^{|\rho|} s_{\lambda/\rho}(\mathbf{a}) s_{\lambda/\rho}(\mathbf{b})$。
• 该等式对位于连续区间的复变量 $a_i, b_j$ 成立，并可推广至对称函数的任意特殊化。
• 证明基于在积分围道平移后，$q$-Whittaker 测度与周期 Schur 测度的 Fredholm 衍生式公式的等价性。
• $q$-Pochhammer 符号的衰减估计被严格建立，确保了 Fredholm 衍生式的收敛性。
• 作者提供了对核函数 $A(m;r)$ 与 $B(r;m)$ 的界，表明其在 $m$ 与 $r$ 上呈指数衰减，这对 Fredholm 衍生式的收敛性至关重要。
• 该恒等式揭示了在第一行约束下，$q$-Whittaker 与斜 Schur 函数之间非平凡的联系，暗示了更深层次的代数与概率结构。