[论文解读] On One-Parameter Catalan Arrays

J.A. Agapito, Ângela Mestre+2 more|arXiv (Cornell University)|May 21, 2015

graph theory and CDMA systems参考文献 5被引用 5

一句话总结

本文引入了一个单参数族的Riordan数组，记为$\boldsymbol{C}(r)$，通过将Aigner的Catalan三角形$\boldsymbol{C}$与广义Pascal数组$\boldsymbol{P}(r)$相乘得到。研究证明，$\boldsymbol{C}(r)$的第0列由$ r $的首一多项式构成，其系数为正整数，从而对Catalan数进行了细化。一个关键成果是推导出组合恒等式，将$\boldsymbol{C}(r)$与切比雪夫多项式、周期序列、斐波那契数列以及整数的幂次通过矩阵-向量乘积联系起来。

ABSTRACT

We present a parametric family of Riordan arrays which are obtained by multiplying any Riordan array with a generalized Pascal array. In particular, we focus on some interesting properties of one-parameter Catalan triangles. We obtain several combinatorial identities that involve two special Catalan matrices, the Chebyshev polynomials of the second kind, some periodic sequences, and the Fibonacci numbers.

研究动机与目标

• 研究由Aigner Catalan三角形$\boldsymbol{C}$与广义Pascal数组$\boldsymbol{P}(r)$的乘积导出的Riordan数组参数族。
• 分析所得矩阵$\boldsymbol{C}(r)$的组合与代数性质，特别是其第0列为$ r $的首一多项式且系数为正整数的序列。
• 建立$\boldsymbol{C}(r)$与经典组合序列（包括斐波那契数列、切比雪夫多项式及周期序列）之间的联系。
• 推导涉及$\boldsymbol{C}(r)$的显式组合恒等式，例如矩阵-向量乘积可生成整数的幂次或斐波那契数列。
• 利用Riordan数组与Sheffer多项式框架，统一并推广已知的Catalan相关矩阵结果。

提出的方法

• 将$\boldsymbol{C}(r)$构造为乘积$\boldsymbol{C} \cdot \boldsymbol{P}(r)$，其中$\boldsymbol{P}(r)$是广义Pascal数组，满足$\boldsymbol{P}(0) = \boldsymbol{I}$且$\boldsymbol{P}(1) = \boldsymbol{P}$。
• 利用Riordan数组的基本定理，将$\boldsymbol{C}(r)$解释为单变量多项式空间中基变换的矩阵。
• 应用Sheffer多项式理论，将Shapiro数组$\boldsymbol{B}$的逆与正交多项式（特别是第二类切比雪夫多项式）联系起来。
• 推导出多项式序列$ p_n^{\boldsymbol{B}^{-1}}(x) $的递推关系，该关系控制$\boldsymbol{B}$对整数序列的作用。
• 在特定$ x $值（如2、3、4、5）处计算$ p_n^{\boldsymbol{B}^{-1}}(x) $，以生成周期序列及整数序列（如斐波那契数列）。
• 利用二项式系数恒等式与矩阵求逆，推导出斐波那契数列的闭式表达式，其形式涉及二项式系数与$-5$的幂次。

实验结果

研究问题

• RQ1 矩阵$\boldsymbol{C}(r) = \boldsymbol{C} \cdot \boldsymbol{P}(r)$如何随$ r $的变化推广经典Catalan三角形$\boldsymbol{C}$与$\boldsymbol{B}$？
• RQ2 第0列$\boldsymbol{C}(r)$的代数与组合性质为何？特别是其作为$ r $的首一多项式且系数为正整数的结构如何？
• RQ3 涉及$\boldsymbol{B}$与特定序列（如周期序列、斐波那契数列、自然数）的矩阵-向量乘积如何生成整数的幂次？
• RQ4 $\boldsymbol{B}^{-1}$与正交多项式（特别是第二类切比雪夫多项式）之间有何联系？
• RQ5 能否通过在$ x=5 $处求值多项式序列，从矩阵$\boldsymbol{B}$推导出涉及斐波那契数列的组合恒等式？

主要发现

• 矩阵$\boldsymbol{C}(r)$的第0列为$ r $的首一多项式，次数为$ n $，其系数为正整数，且$\boldsymbol{C}(r)_{n,0}$的常数项为Catalan数$ C_n $。
• $\boldsymbol{C}(1)$等于Shapiro数组$\boldsymbol{B}$，而$\boldsymbol{C}(0) = \boldsymbol{C}$，表明$\boldsymbol{C}(r)$在Aigner与Shapiro Catalan三角形之间实现插值。
• 在$ x=2 $处求值多项式序列$ p_n^{\boldsymbol{B}^{-1}}(x) $，得到周期为4的序列$ 1,0,-1,0 $，且矩阵$\boldsymbol{B}$将向量$ (1,0,-1,0,\dots)^T $映射为$ (1,2,4,8,\dots)^T $。
• 在$ x=3 $处，序列$ p_n^{\boldsymbol{B}^{-1}}(3) $周期为6：$ 1,1,0,-1,-1,0 $，且$\boldsymbol{B}$将$ (1,1,0,-1,-1,\dots)^T $映射为$ (1,3,9,27,\dots)^T $。
• 当$ x=4 $时，序列$ p_n^{\boldsymbol{B}^{-1}}(4) $为自然数序列$ n+1 $，且$\boldsymbol{B}$将$ (1,2,3,4,\dots)^T $映射为$ (1,4,16,64,\dots)^T $，由此导出恒等式$ \sum_{k=0}^{n}\frac{(k+1)^2}{n+1}\binom{2n+2}{n-k} = 4^n $。
• 当$ x=5 $时，$ p_n^{\boldsymbol{B}^{-1}}(5) $等于偶数索引的斐波那契数$ F_{2n+2} $，且$\boldsymbol{B}$将$ (1,3,8,21,55,\dots)^T $映射为$ (1,5,25,125,\dots)^T $，从而导出恒等式$ \sum_{k=0}^{n}\frac{k+1}{n+1}\binom{2n+2}{n-k}F_{2k+2} = 5^n $。