[论文解读] On Summand Minimality of Generalized Zeckendorf Decompositions

Katherine Cordwell, Max Hlavacek+4 more|arXiv (Cornell University)|Aug 31, 2016

semigroups and automata theory参考文献 7被引用 3

一句话总结

本文证明了，对于使用相同线性递推序列的表示，广义齐肯多夫分解（gzd）所用加数最少，当且仅当递推式的系数序列是弱递减的（即 $c_1 \geq \cdots \geq c_t$）。作者提出了一套将任意表示通过线性算法转换为 gzd 的框架，并通过结构分析与多项式不可约性论证证明了其最小性。

ABSTRACT

Zeckendorf proved that every number can be uniquely represented as a sum of non-consecutive Fibonacci numbers. This has been extended in many ways, including to linear recurrences $H_n=c_1 H_{n-1} + \cdots + c_t H_{n-t}$ where the $c_i$ are non-negative integers and $c_1$, $c_t \ge 1$. Every number has a unique generalized Zeckendorf decomposition (gzd) -- a representation composed of blocks that are lexicographically less than $(c_1,\dots,c_t)$, which we call the signature. We prove that the gzd of a positive integer $m$ uses the fewest number of summands out of all representations for $m$ using the same recurrence sequence, for all $m$, if and only if the signature of the linear recurrence is weakly decreasing (i.e., $c_1 \ge \cdots \ge c_t$). Following the parallel with well-known base $d$ representations, we develop a framework for naturally moving between representations of the same number using a linear recurrence, which we then utilize to construct an algorithm to turn any representation of a number into the gzd. To prove sufficiency, we show that if the signature is weakly decreasing then our algorithm results in fewer summands. To prove necessity we proceed by divide and conquer, breaking the analysis into several cases. When $c_1 > 1$, we give an example of a non-gzd representation of a number and show that it has fewer summands than the gzd by performing the same above-mentioned algorithm. When $c_1 = 1$, we non-constructively prove the existence of a counterexample by utilizing the irreducibility of a certain family of polynomials together with growth rate arguments.

研究动机与目标

• 确定广义齐肯多夫分解在所有使用相同线性递推序列的表示中，加数最少的条件。
• 开发一种系统性框架，通过基于递推的变换，将任意数的表示转换为其广义齐肯多夫分解。
• 刻画递推序列的结构特性——特别是其系数序列——使得 gzd 为加数最少。
• 通过构造性与非构造性方法，解决弱递减系数序列条件在加数最小化中的必要性与充分性。

提出的方法

• 作者将广义齐肯多夫分解定义为使用字典序小于递推式系数序列 $(c_1, \dots, c_t)$ 的块，以确保唯一性。
• 他们提出一种变换算法，通过迭代替换字典序超过系数序列的块，将任意有效表示转换为 gzd。
• 在充分性证明中，他们证明若系数序列弱递减，则该算法可减少加数数量，从而保证最小性。
• 在必要性证明中，采用分治策略，根据 $c_1 = 1$ 或 $c_1 > 1$ 分类分析。
• 当 $c_1 > 1$ 时，构造显式反例，表明存在加数少于 gzd 的非 gzd 表示。
• 当 $c_1 = 1$ 时，利用增长速率分析与一类多项式不可约性的论证，非构造性地证明存在加数少于 gzd 的反例。

实验结果

研究问题

• RQ1 在何种递推系数序列条件下，广义齐肯多夫分解在所有使用相同序列的表示中为加数最少？
• RQ2 是否存在一种系统性算法，可将任意数的表示转换为广义齐肯多夫分解，同时保持或减少加数数量？
• RQ3 弱递减系数序列条件是否为广义齐肯多夫分解中加数最小化的必要且充分条件？
• RQ4 递推序列的何种结构性或代数性质会导致 gzd 无法实现加数最小化？

主要发现

• 广义齐肯多夫分解在所有使用相同递推序列的表示中加数最少，当且仅当递推系数序列弱递减。
• 存在一种构造性算法，可将任意表示转换为 gzd；当系数序列弱递减时，该过程可减少加数数量。
• 当 $c_1 > 1$ 时，可显式构造出加数少于 gzd 的非 gzd 表示，从而证明弱递减条件的必要性。
• 当 $c_1 = 1$ 时，通过多项式族的不可约性与渐近增长速率分析，非构造性地证明了存在加数少于 gzd 的反例。
• 表示转换的框架基于与递推系数序列的字典序比较，从而实现向 gzd 的系统性约化。