[论文解读] Generalized Compositions of Natural Numbers

Milan Janjić|arXiv (Cornell University)|Dec 16, 2010

Advanced Mathematical Theories and Applications被引用 3

一句话总结

本文引入自然数的广义组合，其中每个整数 i 可以以 b_i 种不同类型出现，推导出此类组合数的递推关系和闭式公式。文章建立了与斐波那契数列、卡塔兰数列、佩尔数列、雅克布斯塔回数列及其他经典数列的联系，表明特定的 b_i 序列选择可产生已知整数数列，并可通过常系数线性递推显式表示公式。

ABSTRACT

We consider compositions of natural numbers when there are different types of each natural number. Several recursions as well as some closed formulas for the number of compositions is derived. We also find its relationships with some known classes of integers such as Fibonacci, Catalan, Pell, Pell-Lucas, and Jacobsthal numbers.

研究动机与目标

• 通过为每个部分大小 i 允许多种类型（颜色），对标准整数组合进行推广，其中类型由 b_i 索引。
• 推导此类广义组合数的递推关系和闭式表达式。
• 探索广义组合与斐波那契数、卡塔兰数、佩尔数和雅克布斯塔回数等著名整数数列之间的联系。
• 确定序列 b = (b_1, b_2, ...) 的条件，使得广义组合数满足常系数线性递推关系，从而实现显式公式。
• 展示 OEIS 中已知数列如何作为特定 b_i 赋值下广义组合的计数结果出现。

提出的方法

• 定义 c(n, b) 为 n 的广义组合数，其中每个部分 i 可以选择 b_i 种不同类型。
• 建立递推关系：c(n, b) = sum_{i=1}^{n} b_i * c(n-i, b)，初始条件为 c(1, b) = b_1，当仅使用一个部分时，c(n, b) = b_n（n > 1）。
• 引入序列 a_n = c(n-1, b)，导出递推关系 a_{n+1} = sum_{i=1}^n b_{n+1-i} a_i。
• 分析特殊情况：b_i 为等差数列、b_i = i^2（二次型）、b_i 为指数型，以及 b_i = 斐波那契数。
• 利用斐波那契数的恒等式（如卡西尼恒等式、求和恒等式）推导这些情况下 c(n, b) 的闭式表达。
• 在 b_i 为三角数的情况下，应用齐尔伯格算法推导涉及二项式系数和的恒等式。

实验结果

研究问题

• RQ1 如何将标准整数组合推广，以允许每个部分大小 i 有多种类型（颜色），并确定此类组合数的递推关系？
• RQ2 在什么条件下，序列 b_i 使得广义组合数满足常系数线性递推关系？
• RQ3 哪些经典数列（如斐波那契数、卡塔兰数、佩尔数、雅克布斯塔回数）在特定 b_i 选择下成为广义组合的计数结果？
• RQ4 当 b_i 为等差数列、二次型或指数型时，能否推导出广义组合的闭式表达？
• RQ5 通过将广义组合解释为二项式系数的加权和，可推导出哪些组合恒等式？

主要发现

• 当 b_i = p 对所有 i 成立时，广义组合数为 c(n, b) = p(1+p)^{n-1}，推广了标准的 2^{n-1} 种组合。
• 若 b_i = C_{i-1}（卡塔兰数），则 c(n, b) = C_n，表明卡塔兰数在该组合映射下是不动点。
• 当 b_i = m(i-1) + k（等差数列）时，c(n, b) 满足三阶常系数线性递推关系：c(n+1, b) = (k+2)c(n, b) + (m-k-1)c(n-1, b)。
• 当 b_i = i^2（二次型）时，组合数满足四阶常系数线性递推关系，从而可导出显式闭式表达。
• 当 b_i = F_{m + k(i-1)}（基于斐波那契数）时，组合数满足二阶常系数线性递推关系，其系数涉及斐波那契数。
• 在基于斐波那契的 b_i 序列中，特定的 m 和 k 值可生成已知的 OEIS 数列：例如，m=0, k=1 生成雅克布斯塔回数（A001045），m=1, k=1 生成佩尔数（A000129），m=1, k=2 生成 A007052。