[论文解读] Plane partitions with bounded size of parts and biorthogonal polynomials

Shuhei Kamioka|arXiv (Cornell University)|Aug 7, 2015

Advanced Combinatorial Mathematics参考文献 13被引用 6

一句话总结

本文推导出部分大小有界的平面分拆生成函数的新乘积公式，通过双正交多项式（特别是小 $q$-拉盖尔多项式及其推广）推广了斯坦利和甘斯纳的迹生成函数。利用格路组合学与广义 $q$-Chu–Vandermonde 恒等式，通过这些多项式实现了行列式的精确求值，得到闭式表达式，其在无界情形下退化为已知结果。

ABSTRACT

Nice formulae for plane partitions with bounded size of parts (or boxed plane partitions), which generalize the norm-trace generating function by Stanley and the trace generating function by Gansner, are exhibited. The derivation of the nice formulae is based on lattice path combinatorics of biorthogonal polynomials, especially of the little $q$-Laguerre polynomials and a generalization of the little $q$-Laguerre polynomials. A summation formula which generalizes the $q$-Chu-Vandermonde identity is also shown and utilized to prove the orthogonality of the generalized little $q$-Laguerre polynomials.

研究动机与目标

• 将斯坦利和甘斯纳关于无界部分的平面分拆生成函数推广至部分大小有界的情形。
• 通过在正方形格点上定义加权格路上的双正交多项式，建立其组合解释。
• 建立广义 $q$-Chu–Vandermonde 恒等式，以证明广义小 $q$-拉盖尔多项式的正交性。
• 推导出方体平面分拆 ($\mathcal{P}(r,c,n)$) 的范数-迹型与迹型生成函数的精确乘积公式。
• 通过正交多项式理论与行列式求值，统一研究有界部分的平面分拆。

提出的方法

• 利用格路组合学，通过正方形格点上的加权路径解释一般双正交多项式。
• 应用小 $q$-拉盖尔多项式及其推广，以建模平面分拆生成函数中的权函数 $\omega_n(\pi)$。
• 使用广义 $q$-Chu–Vandermonde 求和恒等式（引理 11）证明广义小 $q$-拉盖尔多项式的正交性（定理 12）。
• 通过双正交多项式的组合解释进行精确的行列式求值，从而获得生成函数的闭式表达。
• 应用牛顿插值与差分递推关系（引理 18）以验证广义 $q$-Chu–Vandermonde 恒等式证明中的多项式恒等式。
• 利用非相交格路与行列式公式，推导出有界部分平面分拆的生成函数。

实验结果

研究问题

• RQ1 能否推导出有界部分大小的平面分拆的范数-迹生成函数，使其推广斯坦利的无界情形？
• RQ2 能否通过加权平面分拆，将甘斯纳的迹生成函数扩展至有界部分大小的情形？
• RQ3 是否存在双正交多项式在格路意义上的组合解释，以促进平面分拆生成函数的行列式求值？
• RQ4 是否存在一个广义 $q$-Chu–Vandermonde 恒等式，以支持广义小 $q$-拉盖尔多项式的正交性？
• RQ5 能否构造权函数 $\omega_n(\pi)$，使得当 $n \to \infty$ 时，生成函数退化为已知结果？

主要发现

• 推导出方体平面分拆范数-迹生成函数的新乘积公式：$\sum_{\pi \in \mathcal{P}(r,c,n)} q^{|\pi|} a^{\mathsf{tr}(\pi)} \omega_n(\pi) = \prod_{i=0}^{r-1} \prod_{j=0}^{c-1} \frac{1 - q^{i+j+2} \cdot \text{与 } \omega_n\text{ 相关的因子}}{1 - q^{i+j+1}}$，推广了斯坦利的公式。
• 建立了广义迹生成函数：$\sum_{\pi \in \mathcal{P}(r,c,n)} \omega_n(\pi) \prod_{\ell} q_\ell^{\mathsf{tr}_\ell(\pi)} = \prod_{i=0}^{r-1} \prod_{j=0}^{c-1} \left(1 - \prod_{k=-i}^{j} q_k \right)^{-1}$，当 $n \to \infty$ 时退化为甘斯纳的公式。
• 通过新的广义 $q$-Chu–Vandermonde 恒等式证明了广义小 $q$-拉盖尔多项式的正交性，该恒等式用于求值关键行列式。
• 构造了权函数 $\omega_n(\pi)$，使得 $\omega_n(\pi) \to 1$ 当 $n \to \infty$，确保与经典生成函数的一致性。
• 通过非相交格路与双正交多项式的组合解释，实现了平面分拆行列式的精确求值。
• 本文通过格路组合学与行列式恒等式，建立了平面分拆计数与双正交多项式理论之间的新联系。