[论文解读] Pfaffian decomposition and a Pfaffian analogue of q-Catalan Hankel determinants

Masao Ishikawa, Hiroyuki Tagawa+1 more|arXiv (Cornell University)|Nov 27, 2010

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

一句话总结

本文提出了一种针对斜对称矩阵的Pfaffian分解方法，类似于LU分解，并将其应用于由小q-Jacobi多项式导出的q-Catalan矩量序列的Pfaffian计算。关键结果是为一类q-Catalan Pfaffian建立了闭式乘积公式，将其与加权计数的移位反平面分拆联系起来。

ABSTRACT

Motivated by the Hankel determinant evaluation of moment sequences, we study a kind of Pfaffian analogue evaluation. We prove an LU-decomposition analogue for skew-symmetric matrices, called Pfaffian decomposition. We then apply this formula to evaluate Pfaffians related to some moment sequences of classical orthogonal polynomials. In particular we obtain a product formula for a kind of q-Catalan Pfaffians. We also establish a connection between our Pfaffian formulas and certain weighted enumeration of shifted reverse plane partitions.

研究动机与目标

• 开发一种适用于斜对称矩阵的Pfaffian版LU分解方法，称为Pfaffian分解，以计算矩量序列的Pfaffian。
• 推导出由小q-Jacobi多项式导出的q-Catalan矩量所构成的Pfaffian的闭式乘积公式。
• 通过加权计数移位反平面分拆，建立这些Pfaffian的组合解释。
• 探索Pfaffian恒等式与经典正交多项式矩量序列之间的联系，特别是其q-模拟形式。

提出的方法

• 提出一种适用于斜对称矩阵的Pfaffian分解技术，将LU分解推广至斜对称情形。
• 以Pfaffian版的Desnanot-Jacobi伴随矩阵定理作为分解的基础工具。
• 应用q-Dougall公式将矩阵乘积和化为闭式，证明主要的Pfaffian恒等式。
• 采用Zeilberger的创造性微分消去法作为第二种证明方法，得到可手动验证的简洁证书。
• 通过类比矩量定义中的内积结构，定义移位反平面分拆的加权计数。
• 通过q-级数恒等式将Pfaffian与加权平面分拆的生成函数关联，推导出Pfaffian的乘积公式。

实验结果

研究问题

• RQ1 能否将LU型分解推广至斜对称矩阵，以计算矩量序列的Pfaffian？
• RQ2 对于形如Pf((q^{i-1} - q^{j-1})μ_{i+j+r-2}(q))的Pfaffian，是否存在闭式乘积公式，其中μ_n(q)为q-Catalan矩量？
• RQ3 这些Pfaffian恒等式与移位反平面分拆等组合对象之间有何联系？
• RQ4 为何这些Pfaffian可分解为简单的线性乘积？是否存在更深层的正交多项式解释？

主要发现

• 为斜对称矩阵建立了类似LU分解的Pfaffian分解公式，使矩量序列的Pfaffian计算成为可能。
• 推导出Pf((q^{i-1} - q^{j-1})μ_{i+j-2}(q))_{1≤i,j≤2n}的闭式乘积公式，其中μ_n(q)为小q-Jacobi多项式的矩量。
• Pfaffian的公式表示为q的有理函数乘积，涉及q-移位阶乘和类似二项式系数的项。
• 将主要结果应用于推导具有偶数行的移位反平面分拆的加权计数公式，其权重与内积结构一致。
• 提供了通过Zeilberger创造性微分消去法的替代证明，其简洁证书可手动验证恒等式。
• 针对涉及3-Catalan数的类似Pfaffian提出猜想，暗示Pfaffian计算中存在更广泛的模式。