[论文解读] Legal Decompositions Arising from Non-positive Linear Recurrences

Minerva Catral, Pari L. Ford+3 more|arXiv (Cornell University)|Jun 30, 2016

semigroups and automata theory参考文献 14被引用 15

一句话总结

本文研究了使用两种新型序列——(s,b)-Generacci 和 Fibonacci Quilt——对整数进行合法分解，这些序列由具有零首项系数的线性递推关系定义，而先前基于正首项系数的方法在此不适用。研究证明了 (s,b)-Generacci 序列的唯一分解，并发现 Fibonacci Quilt 序列的合法分解平均数量呈指数增长，且贪心算法的成功率约为 93%。

ABSTRACT

Zeckendorf's theorem states that any positive integer can be written uniquely as a sum of non-adjacent Fibonacci numbers; this result has been generalized to many recurrence relations, especially those arising from linear recurrences with leading term positive. We investigate legal decompositions arising from two new sequences: the $(s,b)$-Generacci sequence and the Fibonacci Quilt sequence. Both satisfy recurrence relations with leading term zero, and thus previous results and techniques do not apply. These sequences exhibit drastically different behavior. We show that the $(s,b)$-Generacci sequence leads to unique legal decompositions, whereas not only do we have non-unique legal decompositions with the Fibonacci Quilt sequence, we also have that in this case the average number of legal decompositions grows exponentially. Another interesting difference is that while in the $(s,b)$-Generacci case the greedy algorithm always leads to a legal decomposition, in the Fibonacci Quilt setting the greedy algorithm leads to a legal decomposition (approximately) 93\% of the time. In the $(s,b)$-Generacci case, we again have Gaussian behavior in the number of summands as well as for the Fibonacci Quilt sequence when we restrict to decompositions resulting from a modified greedy algorithm.

研究动机与目标

• 探究线性递推中首项系数为正是否对合法分解的唯一性具有决定性作用。
• 分析在首项系数为零的递推关系定义的序列中合法分解的行为，此类情况下标准技术失效。
• 比较 (s,b)-Generacci 和 Fibonacci Quilt 序列，尽管两者均具有非正递推关系，但其分解性质存在根本性差异。
• 研究贪心算法在生成这些序列合法分解中的表现。
• 在特定条件下，建立两种序列中合法分解中求和项数量的高斯分布行为。

提出的方法

• 通过具有零首项系数的递推关系定义 (s,b)-Generacci 序列：$ a_{n+1} = a_{n} + \cdots + a_{n+1-L} $，其中特征多项式为 $ x^{(s+1)b} - x^{sb} - b = 0 $。
• 将 Fibonacci Quilt 序列引入为第二种具有非正递推关系的序列，其来源于广义二项式结构。
• 通过变量替换 $ y = x^b $，将特征多项式转化为 $ q(y) = y^{s+1} - y^s - b = 0 $，从而可应用 Perron-Frobenius 理论。
• 通过分析变换后多项式的根，证明 (s,b)-Generacci 序列的广义 Binet 公式，确保主导根为实数且为正。
• 利用生成函数与渐近分析，研究 Fibonacci Quilt 序列中合法分解数量的增长率。
• 评估 Fibonacci Quilt 序列中贪心算法及其改进版本（Greedy-6）的表现，显示成功概率约为 93%。

实验结果

研究问题

• RQ1 当线性递推中缺乏正首项系数时，是否从根本上改变了合法整数分解的唯一性与结构？
• RQ2 在如 (s,b)-Generacci 序列这类具有非正递推关系的序列中，是否仍可实现唯一合法分解？
• RQ3 Fibonacci Quilt 序列的合法分解数量的渐近行为如何？其是否呈指数增长？
• RQ4 贪心算法在具有非正递推关系的序列中生成合法分解的效率如何，特别是在 Fibonacci Quilt 情况下？
• RQ5 在适当条件下，两种序列中合法分解的求和项数量是否表现出高斯分布？

主要发现

• 尽管递推关系具有零首项系数，(s,b)-Generacci 序列对所有正整数均存在唯一合法分解。
• 对于 Fibonacci Quilt 序列，合法分解的平均数量随整数大小呈指数增长，表明其与唯一性存在根本性偏离。
• 贪心算法在 Fibonacci Quilt 设置中约 93% 的整数上可生成合法分解，表明其具有部分可靠性。
• (s,b)-Generacci 情况下，贪心算法始终能生成有效合法分解，确保性能一致。
• 两种序列中合法分解的求和项数量分布均表现出高斯行为——具体而言，在 (s,b)-Generacci 情况下，以及在 Fibonacci Quilt 序列中采用改进贪心算法时。
• 通过特征多项式的变换与根分析，建立了 (s,b)-Generacci 序列的广义 Binet 公式，确认主导实正根的存在，从而保证序列各项为正。