[论文解读] Combinatorial interpretations of binomial coefficient analogues related to Lucas sequences

Bruce E. Sagan, Carla D. Savage|ArXiv.org|Nov 16, 2009

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

一句话总结

本文通过在 $k\times(n-k)$ 矩形内对整数分拆进行铺砖，为卢卡斯系数（lucasnomial coefficients）——基于卢卡斯序列的二项式系数的多项式类比——提供了两种新颖的组合解释。第一种解释使用分拆及其补部分的线性铺砖，第二种使用圆形铺砖，两种方法生成的生成函数均精确匹配卢卡斯系数，相较于以往工作，提供了更简单且更对称的组合模型，尤其在 $s=t=1$ 时对斐波那契系数（fibonomial coefficients）尤为显著。核心贡献在于，为这些广义二项式系数建立了一种无重数且对称的铺砖组合解释。

ABSTRACT

Let s and t be variables. Define polynomials {n} in s, t by {0}=0, {1}=1, and {n}=s{n-1}+t{n-2} for n >= 2. If s, t are integers then the corresponding sequence of integers is called a Lucas sequence. Define an analogue of the binomial coefficients by C{n,k}={n}!/({k}!{n-k}!) where {n}!={1}{2}...{n}. It is easy to see that C{n,k} is a polynomial in s and t. The purpose of this note is to give two combinatorial interpretations for this polynomial in terms of statistics on integer partitions inside a k by n-k rectangle. When s=t=1 we obtain combinatorial interpretations of the fibonomial coefficients which are simpler than any that have previously appeared in the literature.

研究动机与目标

• 为基于卢卡斯序列的卢卡斯系数 $\left\{n\atop k\right\}$ 提供组合解释，这些系数是二项式系数的多项式类比。
• 解决长期以来对斐波那契系数更简单组合模型的请求，特别是在 $s=t=1$ 的情况下。
• 通过引入两种不同的铺砖模型——线性和圆形——基于矩形网格内的整数分拆，统一并推广现有解释。
• 建立一个对称且无重数的组合框架，自然反映 $\left\{m+n\atop m\right\}$ 的对称性。

提出的方法

• 通过递推关系 $\{n\} = s\{n-1\} + t\{n-2\}$ 定义卢卡斯多项式 $\{n\}$，初始条件为 $\{0\}=0$，$\{1\}=1$，并将之扩展为卢卡斯系数 $\left\{n\atop k\right\} = \frac{\{n\}!}{\{k\}!\{n-k\}!}$。
• 在整数分拆 $\lambda \subseteq k \times (n-k)$ 的费雷尔斯图（Ferrers diagram）上引入铺砖模型，使用单格（monominos）和双格（dominos），其权重为 $s^m t^d$，其中 $m$ 为单格数量，$d$ 为双格数量。
• 定义 $\mathcal{L}_\lambda$ 为分拆 $\lambda$ 的行的线性铺砖集合，$\mathcal{L}'_{\lambda^*}$ 为共轭分拆 $\lambda^*$ 的列的线性铺砖集合，且不以单格开始。
• 引入圆形铺砖 $\mathcal{C}_\lambda$ 和 $\mathcal{C}_{\lambda^*}$，允许双格环绕行和列的两端，空行的基准权重为 2。
• 证明 $\left\{m+n\atop m\right\}$ 等于所有 $\lambda \subseteq m\times n$ 的 $\mathcal{L}_\lambda \times \mathcal{L}'_{\lambda^*}$ 中所有铺砖对 $T$ 的权重之和，且 $2^{m+n}\left\{m+n\atop m\right\}$ 等于所有 $\mathcal{C}_\lambda \times \mathcal{C}_{\lambda^*}$ 中所有铺砖对 $T$ 的权重之和。
• 利用 $\{n\}$ 和 $\langle n\rangle$（一个相关多项式序列）的递归结构，验证生成函数满足与卢卡斯系数相同的递推关系。

实验结果

研究问题

• RQ1 能否通过整数分拆上的铺砖统计量，为卢卡斯系数 $\left\{n\atop k\right\}$ 提供一种无重数的组合解释？
• RQ2 是否存在一种对称的铺砖模型，用于 $\left\{m+n\atop m\right\}$，以反映其内在对称性并避免乘法因子？
• RQ3 能否比现有的非交叉格路或铺砖模型更简单地解释斐波那契系数（当 $s=t=1$ 时）？
• RQ4 $\ell$-nomial 系数（当 $s=\ell, t=-1$）和 $q$-二项式系数（当 $s=q+1, t=-q$）能否通过相同的铺砖框架自然解释？
• RQ5 共轭分拆 $\lambda^*$ 和 $\mathcal{L}'$ 条件在实现简洁、递归的组合模型中起什么作用？

主要发现

• 卢卡斯系数 $\left\{m+n\atop m\right\}$ 恰好等于所有 $\lambda \subseteq m \times n$ 的所有铺砖对 $T \in \mathcal{L}_\lambda \times \mathcal{L}'_{\lambda^*}$ 的权重之和 $w(T)$，其中权重由单格和双格的数量定义。
• 对称形式的恒等式为 $2^{m+n}\left\{m+n\atop m\right\} = \sum_{\lambda \subseteq m\times n} \sum_{T \in \mathcal{C}_\lambda \times \mathcal{C}_{\lambda^*}} w(T)$，使用圆形铺砖，空行/列的基准权重为 2。
• 当 $s=t=1$ 时，卢卡斯系数退化为斐波那契系数，第一种解释提供了比本杰明与普洛特（Benjamin and Plott）先前构造更简单、无重数的铺砖模型。
• 当 $s=\ell, t=-1$ 时，该模型为 $\ell$-nomial 系数提供了新解释，并将其与讲堂分拆定理（Lecture Hall Partition Theorem）联系起来。
• 当 $s=q+1, t=-q$ 时，该模型为经典 $q$-二项式系数提供了新的组合解释。
• 证明依赖于验证生成函数满足与卢卡斯系数相同的递推关系，利用 $\{n\}$ 和 $\langle n\rangle$ 的初始条件和递推关系。