[論文レビュー] 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$-シュ・ヴァンデルモンド恒等式を活用し、これらの多項式を用いて行列式の正確な評価を実現し、閉形式の表現が得られる。これは、無限大の極限において既知の結果に還元される。

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.

研究の動機と目的

• 部分のサイズが無限大である場合のスターリングおよびガンスナーの平面分割の生成関数を、部分のサイズが有界である場合に一般化すること。
• 正方形格子上の重み付きラティスパスを用いた双直交多項式の組合せ的解釈を構築すること。
• 一般化された little $q$-ラゲール多項式の直交性を保証する一般化された $q$-シュ・ヴァンデルモンド恒等式を確立すること。
• ボックス型平面分割 ($\mathcal{P}(r,c,n)$) のノルム・トレース型およびトレース型生成関数に対する正確な積型公式を導出すること。
• 直交多項式理論と行列式評価を通じて、有界な部分を持つ平面分割の研究を統一すること。

提案手法

• 正方形格子上の重み付きパスを用いて、一般双直交多項式を組合せ論的に解釈する。
• 小 $q$-ラゲール多項式およびその一般化を用い、平面分割の生成関数における重み関数 $\omega_n(\pi)$ をモデル化する。
• 一般化された $q$-シュ・ヴァンデルモンド和公式（補題11）を用いて、一般化された little $q$-ラゲール多項式の直交性を証明する（定理12）。
• 双直交多項式の組合せ的解釈を用いて行列式の正確な評価を実施し、生成関数の閉形式表現を可能にする。
• ニュートン補間および差分帰納式（補題18）を用いて、一般化された $q$-シュ・ヴァンデルモンド恒等式の証明における多項式恒等式を検証する。
• 非交差ラティスパスと行列式の公式を用いて、部分のサイズが有界な平面分割の生成関数を導出する。

実験結果

リサーチクエスチョン

• RQ1 スターリングの無限大の場合を一般化した、部分のサイズが有界な平面分割のノルム・トレース生成関数を導出できるか？
• RQ2 ガンスナーのトレース生成関数を、重み付き平面分割を用いて、部分のサイズが有界である場合に拡張できるか？
• RQ3 行列式評価が平面分割の生成関数に役立つように、ラティスパスに基づく双直交多項式の組合せ的解釈は存在するか？
• RQ4 一般化された little $q$-ラゲール多項式の直交性を支持する一般化された $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{some } \omega_n\text{-dependent factor}}{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$ の極限でガンスナーの公式に還元される。
• 一般化された little $q$-ラゲール多項式の直交性は、新しい一般化された $q$-シュ・ヴァンデルモンド恒等式を用いて証明され、重要な行列式の評価に用いられる。
• 重み関数 $\omega_n(\pi)$ は、$\omega_n(\pi) \to 1$ となるように構成されており、$n \to \infty$ の極限で古典的生成関数と整合性を保つ。
• 非交差ラティスパスを用いた双直交多項式の組合せ的解釈を通じて、平面分割の行列式評価が達成された。
• 本稿は、ラティスパスの組合せ論と行列式恒等式を介して、平面分割の数え上げと双直交多項式理論の間で、新たな関係を確立した。