[论文解读] Transforming Recurrent Sequences by Using the Binomial and Invert Operators

Stefano Barbero, Umberto Cerruti+1 more|arXiv (Cornell University)|May 11, 2011

Advanced Combinatorial Mathematics参考文献 8被引用 7

一句话总结

本文研究了在整环上，二项式算子与逆算子——以及移位算子——对线性递推序列的作用。证明了这些算子保持线性递推序列的集合，并推导出其对特征多项式变换的显式公式。主要贡献在于构建了一个构造性框架，可通过‘构造’与‘反构造’过程将任意脉冲序列变换为另一任意脉冲序列，其应用包括斐波那契恒等式与r-阶递推数列。

ABSTRACT

In this paper we study the action of the Binomial and Invert (interpolated) operators on the set of linear recurrent sequences. We prove that these operators preserve this set, and we determine how they change the characteristic polynomials. We show that these operators, with the aid of two other elementary operators (essentially the left and right shifts), can transform any impulse sequence (a linear recurrent sequence starting from $(0,...,0,1)$) into any other impulse sequence, by two processes that we call \emph{construction} and \emph{deconstruction}. Finally, we give some applications to polynomial sequences and pyramidal numbers. We also find a new identity on Fibonacci numbers, and we prove that $r$--bonacci numbers are a Bell polynomial transform of the $(r-1)$--bonacci numbers.

研究动机与目标

• 分析二项式与逆算子在整环上线性递推序列上的作用。
• 确定这些算子如何修改线性递推序列的特征多项式。
• 建立基于二项式、逆与移位算子的群作用框架，该框架保持线性递推序列的集合不变。
• 开发将任意脉冲序列变换为另一任意脉冲序列的构造与反构造过程。
• 将该框架应用于多项式序列与锥体数，揭示新的恒等式与结构关系。

提出的方法

• 引入二项式算子 $ L^{(y)} $ 与逆算子 $ I^{(x)} $ 的插值版本，通过普通生成函数定义：$ I^{(x)} $ 的生成函数为 $ B(t) = \frac{A(t)}{1 - x t A(t)} $，而 $ L^{(y)} $ 的定义为 $ c_n = \sum_{i=0}^n \binom{n}{i} y^{n-i} a_i $。
• 利用生成函数与卷积逆元推导 $ I^{(x)} $ 的递推关系，证明 $ b_n = a_n + x \sum_{j=0}^{n-1} a_{n-1-j} b_j $，其中 $ b_0 = a_0 $。
• 应用牛顿恒等式与有限差分，证明 $ \sum_{i=0}^m \binom{m}{i} y^i \alpha^{m-i} P(i) = (\alpha + y)^m Q(m) $，其中 $ Q(m) $ 是关于 $ m $ 的多项式，从而实现对特征多项式的变换。
• 引入移位算子 $ \sigma $（右移）与 $ \rho $（左移），用于操控序列的初始条件。
• 采用一键反构造技术 $ L^{(-1)} $，从多项式序列中提取有限差分 $ \Delta^n f(0) $，并利用 $ L^{(1)} $ 实现重建。
• 将该框架应用于完全数，证明具有特征多项式 $ (t-1)^2 $ 的序列的重复部分和可生成多边形数与锥体数，并通过算子复合推导其生成规则。

实验结果

研究问题

• RQ1 二项式与逆算子如何变换线性递推序列的特征多项式？
• RQ2 由二项式、逆与移位算子生成的群能否在脉冲序列集合上实现传递作用？
• RQ3 在算子变换下，r-阶递推数与 (r+1)-阶递推数之间存在何种关系？
• RQ4 如何利用二项式算子从有限差分中重构多项式序列？
• RQ5 在这些算子作用下，锥体数与多边形数的结构恒等式如何显现？

主要发现

• 二项式与逆算子保持线性递推序列的集合不变，其对特征多项式的作用通过多项式变换规则被显式刻画。
• 复合算子 $ I(\rho(F^{(r)})) = F^{(r+1)} $ 可从 $ r $-阶递推数列生成 $ (r+1) $-阶递推数列，证明 $ r $-阶递推数列是 $ (r-1) $-阶递推数列的贝尔多项式变换。
• 推导出一个新的斐波那契数恒等式：$ F_{n+1}^{(r)} = F_n^{(r-1)} + \sum_{i=1}^{n-1} F_{i-1}^{(r)} F_{n-i-1}^{(r-1)} $，该恒等式对 $ r \geq 3 $ 成立。
• 一键反构造 $ L^{(-1)}(f(n)) = (\Delta^n f(0)) $ 允许从有限差分中完全重建多项式序列，从而导出标准的牛顿级数展开。
• 具有特征多项式 $ (t-1)^3 $ 的多边形数与具有 $ (t-1)^4 $ 的锥体数，被证明源于具有 $ (t-1)^2 $ 的序列的重复部分和，其项可通过对初始差分序列应用 $ L^{(1)} $ 恢复。
• OEIS 中的多边形数序列（如 A000217、A000290）被证明自然地源于该算子框架，且恒等式 $ L^{(1)}((0,1,q-2,0,\ldots)) = (P_q^{(2)}(n)) $ 提供了对已知条目构造性证明。