[论文解读] Linear recurrence sequences and their convolutions via Bell polynomials

Daniel Birmajer, Juan B. Gil+1 more|arXiv (Cornell University)|May 29, 2014

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

一句话总结

本文提出了一种新颖的框架，利用部分贝尔多项式分析具有固定系数的线性递推序列及其多重复卷积。通过将递推系数的 INVERT 变换表示为序列，推导出卷积序列的通用递推关系，该关系保持原始递推的深度，从而实现组合恒等式的系统推导以及 Girard-Waring 公式的推广。

ABSTRACT

We recast homogeneous linear recurrence sequences with fixed coefficients in terms of partial Bell polynomials, and use their properties to obtain various combinatorial identities and multifold convolution formulas. Our approach relies on a basis of sequences that can be obtained as the INVERT transform of the coefficients of the given recurrence relation. For such a basis sequence $(y_n)$ with generating function $Y(t)$, and for any positive integer $r$, we give a formula for the convolved sequence generated by $Y(t)^r$ and prove that it satisfies an elegant recurrence relation.

研究动机与目标

• 使用部分贝尔多项式统一表示具有固定系数的线性递推序列。
• 通过生成函数与贝尔多项式恒等式，开发一种系统化方法，用于计算此类序列的多重复卷积。
• 为任意 r 重卷积推导出与原序列相同深度的通用递推关系。
• 利用该框架对幂和对称函数的 Girard-Waring 公式提供一种替代推导。

提出的方法

• 将线性递推序列通过部分贝尔多项式表示，应用于递推系数的 INVERT 变换。
• 通过生成函数 $ Y(t) = 1/Q(t) $ 定义一组基序列，其中 $ Q(t) = 1 - \sum c_n t^n $，并将任意序列表示为平移后基序列的线性组合。
• 使用 Faà di Bruno 公式将基序列 $ y_n $ 表示为部分贝尔多项式的形式：$ y_n = \sum_{k=0}^n \frac{k!}{n!} B_{n,k}(1!c_1, 2!c_2, \dots) $。
• 推导出 r 重卷积序列 $ a_n^{(r)} $ 的通用递推关系，证明其满足与原序列相同深度的递推关系。
• 利用贝尔多项式的性质，推导出卷积序列及其生成函数的闭式表达式。
• 通过具体例子验证该框架，包括斐波那契、帕多瓦和三体数列及其卷积。

实验结果

研究问题

• RQ1 具有固定系数的线性递推序列能否通过部分贝尔多项式与系数的 INVERT 变换系统地表示？
• RQ2 线性递推序列的 r 重卷积由何种通用递推关系控制？该递推关系是否保持原递推的深度？
• RQ3 能否利用此贝尔多项式框架重新推导幂和对称函数的 Girard-Waring 公式？
• RQ4 通过贝尔多项式展开表达卷积序列时，会涌现出哪些组合恒等式？
• RQ5 该方法能否应用于斐波那契、帕多瓦和三体数列，以推导其卷积的新递推关系？

主要发现

• r 重卷积线性递推序列满足与原序列相同深度的递推关系，该关系通过贝尔多项式恒等式推导得出。
• 对于任意满足 d 阶线性递推关系的序列 $ (a_n) $，其 r 重卷积 $ a_n^{(r)} $ 满足如下形式的递推关系：$ n a_n^{(r)} = \sum_{j=1}^d (n + j(r-1)) c_j a_{n-j}^{(r)} $，其中 $ c_j $ 为递推系数。
• r 重卷积的生成函数为 $ Y(t)^r $，其系数通过贝尔多项式表达为：$ y_n^{(r)} = \sum_{k=1}^n \binom{k+r-1}{k} \frac{k!}{n!} B_{n,k}(1!c_1, 2!c_2, \dots) $。
• 该框架通过将初等对称函数用贝尔多项式表示，统一推导出幂和对称函数的 Girard-Waring 公式。
• 为斐波那契、帕多瓦和三体数列的卷积推导出明确的递推关系，其结果与 OEIS 中已知序列（如 A001629、A001628、A001872 和 A073778）一致。
• 该方法通过在贝尔多项式展开中提取系数，能够推导出新的组合恒等式，尤其适用于稀疏或具有特定结构的系数序列。