[論文レビュー] 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$ の場合、成長率の議論と多項式族の既約性を用いて、項数が少ない反例の存在を非構成的に証明する。

実験結果

リサーチクエスチョン

• RQ1 再帰のシグネチャがどのような条件下で、同じ再帰列を用いたすべての表現の中で一般化されたゼッケンドルフ分解が項数を最小化するか。
• RQ2 任意の数の表現を、その一般化されたゼッケンドルフ分解に変換する体系的アルゴリズムが存在するか。この過程で項数が増加しないか、あるいは減少するか。
• RQ3 弱く非増加的なシグネチャ条件が、一般化されたゼッケンドルフ分解における項数最小性に、必要かつ十分であるか。
• RQ4 再帰列のどのような構造的または代数的性質が、gzdが項数最小でなくなる原因となるか。

主な発見

• 線形再帰列を用いたすべての表現の中で、一般化されたゼッケンドルフ分解が項数を最小化するのは、再帰のシグネチャが弱く非増加的であるとき、かつそのときに限り成り立つ。
• 任意の表現をgzdに変換する構成的アルゴリズムが存在し、シグネチャが弱く非増加的であれば、このプロセスは項数を減少させる。
• $c_1 > 1$ の場合、gzdより項数が少ない非-gzd表現を明示的に構成可能であり、弱く非増加的条件の必要性を示している。
• $c_1 = 1$ の場合、多項式族の既約性と漸近的成長率の分析を用いて、gzdより項数が少ない反例の存在が非構成的に証明されている。
• 表現を変換するための枠組みは、再帰のシグネチャとの辞書式比較に基づき、gzdへの体系的還元を可能にする。