[論文レビュー] 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

ひとこと要約

本稿は、正の先頭係数を有しない線形再帰によって定義される2つの新しい数列—(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 数列の一般化されたビネットの公式を証明し、支配的根が実数かつ正であることを保証する。
• 母関数と漸近的解析を用いて、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 数列の一般化されたビネットの公式が確立され、支配的実正根の存在が確認され、数列の項が正であることが保証された。