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

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

Advanced Mathematical Theories and Applications参考文献 17被引用 16

一句话总结

本文研究了使用非正系数线性递推关系的整数合法分解，重点关注两类特殊序列：(s,b)-Generacci 序列与 Fibonacci Quilt 序列。本文提出一种新颖的组合方法，绕过复杂的多项式根分析，证明了和项数量的高斯分布以及间隙的几何衰减——这些关键结果此前仅限于正系数递推关系。令人惊讶的是，Fibonacci Quilt 序列允许指数级数量的分解方式，而贪心算法仅在约 92.6% 的情况下成功。

ABSTRACT

Zeckendorf's theorem states every positive integer has a unique decomposition as a sum of non-adjacent Fibonacci numbers. This result has been generalized to many sequences $\{a_n\}$ arising from an integer positive linear recurrence, each of which has a corresponding notion of a legal decomposition. Previous work proved the number of summands in decompositions of $m \in [a_n, a_{n+1})$ becomes normally distributed as $n o\infty$, and the individual gap measures associated to each $m$ converge to geometric random variables, when the leading coefficient in the recurrence is positive. We explore what happens when this assumption is removed in two special sequences. In one we regain all previous results, including unique decomposition; in the other the number of legal decompositions exponentially grows and the natural choice for the legal decomposition (the greedy algorithm) only works approximately 92.6\% of the time (though a slight modification always works). We find a connection between the two sequences, which explains why the distribution of the number of summands and gaps between summands behave the same in the two examples. In the course of our investigations we found a new perspective on dealing with roots of polynomials associated to the characteristic polynomials. This allows us to remove the need for the detailed technical analysis of their properties which greatly complicated the proofs of many earlier results in the subject, as well as handle new cases beyond the reach of existing techniques.

研究动机与目标

• 将先前关于正系数线性递推关系下合法分解的研究结果，扩展至首项系数为零的情形。
• 解决文献中因特征多项式根分析复杂而带来的技术难题。
• 研究两类新序列——(s,b)-Generacci 与 Fibonacci Quilt——在非正系数递推关系下的行为，揭示新颖的分解特性。
• 为看似无关的序列中相似的统计行为（高斯和项数量、几何间隙分布）提供统一解释。
• 开发一种新方法，避免对特征多项式根的详细分析，从而扩大其在新型递推关系类型中的适用范围。

提出的方法

• 提出一种基于块插入与分解集合之间双射关系的新型组合框架，用于分析和项数量与间隙分布。
• 利用生成函数与递归分解结构，对 (s,b)-Generacci 序列的合法分解中和项数量进行建模。
• 定义并分析 Fibonacci Quilt 序列中贪心算法的成功率，表明其在约 7.4% 的情况下失败。
• 建立分解集合之间是否存在结尾大小为 t 的块的双射 φt,b，从而实现递归计算方差与期望。
• 通过条件期望对最后一项块类型的期望与方差进行递推，利用恒等式 E[Yn] = Cn + d + f(n) 推导渐近行为。
• 利用块长度映射 l(t) 将不同序列索引下的分解数量关联起来，从而支持递归证明结构。

实验结果

研究问题

• RQ1 当线性递推关系的首项系数为零时，合法分解的性质会发生什么变化？这违反了先前研究的假设。
• RQ2 在非正系数递推关系下，和项数量的分布行为如何，特别是在 (s,b)-Generacci 与 Fibonacci Quilt 序列中？
• RQ3 为何 (s,b)-Generacci 与 Fibonacci Quilt 序列尽管结构不同，却表现出相同的统计行为（高斯和项数量、几何间隙衰减）？
• RQ4 贪心算法在 Fibonacci Quilt 序列中的失败程度如何？是否存在一种改进版本可保证唯一分解？
• RQ5 是否可以开发一种新组合方法，以替代递推分解理论中对特征多项式根的详细分析？

主要发现

• (s,b)-Generacci 序列即使不是正系数线性递推关系，仍保持唯一分解与和项数量的高斯分布。
• Fibonacci Quilt 序列允许指数级数量的合法分解，其表示数量随 n 迅速增长。
• 在 Fibonacci Quilt 序列中，贪心算法在约 92.6% 的情况下能正确生成合法分解。
• 通过调整块选择规则等改进的贪心算法，可在 Fibonacci Quilt 序列中始终生成有效的合法分解。
• 两种序列的统计行为（高斯和项数量、几何间隙分布）完全相同，原因在于其共享的底层组合结构。
• 所提出的方法消除了对特征多项式根的复杂分析需求，简化了证明过程，并可推广至新型递推关系类型。