[论文解读] Falling Factorials, Generating Functions, and Conjoint Ranking Tables

Brad Osgood, William Wu|ArXiv.org|Oct 18, 2008

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

一句话总结

本文研究了当将下降阶乘 $ (xy)^{\underline{k}} $ 表示为 $ x^{\underline{l}} y^{\underline{m}} $ 乘积的线性组合时出现的系数 $ c^{(k)}_{l,m} $，推导出多种闭式表达式、递推关系，并通过联合排名表给出了其组合解释。主要贡献是将这些结果自然地推广到 $ n \geq 2 $ 个变量的乘积，其中 $ c^{(k)}_L $ 计数了多维排名表中有效的 $ k $-标记方式。

ABSTRACT

We investigate the coefficients generated by expressing the falling factorial $(xy)_k$ as a linear combination of falling factorial products $(x)_l (y)_m$ for $l,m =1,...,k$. Algebraic and combinatoric properties of these coefficients are discussed, including recurrence relations, closed-form formulae, relations with Stirling numbers, and a combinatorial characterization in terms of conjoint ranking tables.

研究动机与目标

• 刻画展开式 $ (xy)^{\underline{k}} = \sum_{l,m=1}^k c^{(k)}_{l,m} x^{\underline{l}} y^{\underline{m}} $ 中的系数 $ c^{(k)}_{l,m} $。
• 推导 $ c^{(k)}_{l,m} $ 的多种闭式表达式和递推关系，并将其与第一类与第二类斯特林数联系起来。
• 通过具有 $ k $ 个不同标签的联合排名表，为 $ c^{(k)}_{l,m} $ 提供组合解释。
• 将该框架扩展至 $ n \geq 2 $ 个变量的乘积，推广系数结构与组合模型。
• 建立 $ c^{(k)}_L $ 的非负性与结构性条件，例如当 $ \prod l_i < k $ 时 $ c^{(k)}_L = 0 $。

提出的方法

• 通过生成函数，利用下降阶乘、普通幂与斯特林数之间的关系推导展开式。
• 使用恒等式 $ x^{\underline{k}} = \sum_{l=1}^k (-1)^{k-l} \left[\begin{smallmatrix}k\\l\end{smallmatrix}\right] x^l $ 和 $ x^k = \sum_{l=1}^k \left\{\begin{smallmatrix}k\\l\end{smallmatrix}\right\} x^{\underline{l}} $，将 $ (xy)^{\underline{k}} $ 表示为 $ x^{\underline{l}} y^{\underline{m}} $ 的形式。
• 利用前向差分算子的性质与多指标记号，推导 $ c^{(k)}_{l,m} $ 的递推关系。
• 引入具有每维属性 $ l_i $ 个选择的联合排名表概念，并证明 $ L! \cdot c^{(k)}_L $ 等于将 $ k $ 个不同标签分配至单元格的方式数，使得每个属性至少出现在一个排名中。
• 将容斥原理推广至高维，导出涉及 $ \Phi(L,M) $ 的公式，其中 $ \Phi(L,M) $ 表示在第 $ i $ 维移除 $ m_i $ 个切片后剩余的非零单元格数。
• 通过矩阵求逆提供另一种公式，将 $ c^{(k)}_L $ 表示为关于多指标 $ r_i $ 的带符号和，包含二项式系数与 $ \prod r_i $ 的乘积。

实验结果

研究问题

• RQ1 如何将下降阶乘 $ (xy)^{\underline{k}} $ 表示为 $ x^{\underline{l}} y^{\underline{m}} $ 乘积的线性组合，且 $ c^{(k)}_{l,m} $ 的代数性质是什么？
• RQ2 $ c^{(k)}_{l,m} $ 的组合解释是什么，它如何推广至 $ n $ 个变量？
• RQ3 能否为 $ c^{(k)}_{l,m} $ 推导出闭式表达式与递推关系，它们与斯特林数有何关联？
• RQ4 在何种条件下保证 $ c^{(k)}_L $ 的非负性，它在何时为零？
• RQ5 生成函数方法与容斥原理方法在推导系数公式时如何统一或区别？

主要发现

• 系数 $ c^{(k)}_{l,m} $ 具有对称性：$ c^{(k)}_{l,m} = c^{(k)}_{m,l} $，且为非负整数，当 $ k \geq 2 $ 时，若 $ l = m = 1 $，则 $ c^{(k)}_{l,m} = 0 $。
• 当 $ k = 3 $ 时，展开式为 $ (xy)^{\underline{3}} = x^{\underline{1}}y^{\underline{3}} + x^{\underline{3}}y^{\underline{1}} + 6x^{\underline{2}}y^{\underline{2}} + 3x^{\underline{2}}y^{\underline{3}} + 3x^{\underline{3}}y^{\underline{2}} + x^{\underline{3}}y^{\underline{3}} $，表明当 $ l,m \geq 2 $ 时系数非零。
• 矩阵 $ c^{(9)}_{l,m} $ 对称且包含正整数，其中 $ c^{(9)}_{1,1} = 1 $，$ c^{(9)}_{1,2} = 255 $，$ c^{(9)}_{9,9} = 1 $，验证了组合模型的正确性。
• 公式 $ c^{(k)}_L = \sum_{p=1}^k (-1)^{k-p} \left[\begin{smallmatrix}k\\p\end{smallmatrix}\right] \prod_{i=1}^n \left\{\begin{smallmatrix}p\\l_i\end{smallmatrix}\right\} $ 提供了以斯特林数表示的闭式表达式。
• 证明了 $ L! \cdot c^{(k)}_L $ 等于将 $ k $ 个不同标签填入 $ l_1 \times \cdots \times l_n $ 的联合排名表中，使得每个属性在排名中均不缺失的填法总数。
• 容斥公式 $ c^{(k)}_L = \frac{k!}{L!} \sum_{h=0}^{\|L\|} (-1)^h \sum_{\|M\|=h} \binom{\Phi(L,M)}{k} \prod_{j=1}^n \binom{l_j}{m_j} $ 给出了有效标记方式的组合计数，其中 $ \Phi(L,M) $ 表示在第 $ i $ 维移除 $ m_i $ 个切片后剩余的单元格数。