[論文レビュー] The Average Gap Distribution for Generalized Zeckendorf Decompositions

Olivia Beckwith, Amanda Bower+5 more|arXiv (Cornell University)|Aug 29, 2012

Advanced Mathematical Theories and Applications参考文献 15被引用数 27

ひとこと要約

本稿は、係数が0または1であり、非ゼロ係数の間にちょうどg−1個のゼロが存在する線形再帰列における一般化されたゼッケンドルフ分解の和項間のギャップの分布を調査する。コロレグルーらにインspiredされた組合せ的アプローチを用い、g未満のギャップは不可能であることを証明し、gより大きいギャップ長jの確率は、再帰の特性方程式の最大固有値に等しい減衰率をもって幾何的に減少することを示す。

ABSTRACT

An interesting characterization of the Fibonacci numbers is that, if we write them as $F_1 = 1$, $F_2 = 2$, $F_3 = 3$, $F_4 = 5, ...$, then every positive integer can be written uniquely as a sum of non-adjacent Fibonacci numbers. This is now known as Zeckendorf's theorem [21], and similar decompositions exist for many other sequences ${G_{n+1} = c_1 G_{n} + ... + c_L G_{n+1-L}}$ arising from recurrence relations. Much more is known. Using continued fraction approaches, Lekkerkerker [15] proved the average number of summands needed for integers in $[G_n, G_{n+1})$ is on the order of $C_{ m Lek} n$ for a non-zero constant; this was improved by others to show the number of summands has Gaussian fluctuations about this mean. Kolo$\breve{ m g}$lu, Kopp, Miller and Wang [17, 18] recently recast the problem combinatorially, reproving and generalizing these results. We use this new perspective to investigate the distribution of gaps between summands. We explore the average behavior over all $m \in [G_n, G_{n+1})$ for special choices of the $c_i$'s. Specifically, we study the case where each $c_i \in {0,1}$ and there is a $g$ such that there are always exactly $g-1$ zeros between two non-zero $c_i$'s; note this includes the Fibonacci, Tribonacci and many other important special cases. We prove there are no gaps of length less than $g$, and the probability of a gap of length $j > g$ decays geometrically, with the decay ratio equal to the largest root of the recurrence relation. These methods are combinatorial and apply to related problems; we end with a discussion of similar results for far-difference (i.e., signed) decompositions.

研究の動機と目的

• 線形再帰列の広いクラスにおける一般化されたゼッケンドルフ分解の和項間ギャップの統計的分布を分析すること。
• 和項数に関する既存の結果を拡張し、特に最小ギャップサイズと減衰率に注目してギャップ構造を含めること。
• 構造的係数パターン（0と1がg−1個のゼロで分離）を持つ再帰に基づく系列を用いたギャップ分布を研究するための組合せ的フレームワークを確立すること。
• フィボナッチ数列やトリボナッチ数列に関する既存の結果を、スキップオナッチ数列や他の「カンガルー」再帰を含むより広い系列族に一般化すること。
• 符号付き（ファーディファレンス）分解における類似の挙動を探索し、分析の範囲を符号付き和項表現に拡張すること。

提案手法

• 再帰関係から導かれる制約を満たす整数の組み合わせとして有効な分解をモデル化することにより、ゼッケンドルフ分解の組合せ的定式化を採用する。
• クッキー（スターバーズ）法を用いて、[G_n, G_{n+1}) 内のちょうどk個の和項をもつ整数の数を数え、問題を制約付き整数の組み合わせ問題に変換する。
• ギャップ生成関数を定義し、係数系列の構造（c_i ∈ {0,1} で非ゼロ項の間にg−1個のゼロ）を活用して、指定されたギャップパターンをもつ有効な組み合わせの数に対する再帰関係を導出する。
• 母関数技法と複素解析を用いてギャップ数の漸近的挙動を分析し、特にギャップ確率の指数的減衰に注目する。
• 再帰の特性多項式の支配的固有値λ₁を用いて、gより長いギャップの確率の減衰率を決定する。
• 再帰と係数パターンが課す構造的制約を分析することにより、g未満のギャップが発生しないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 構造的係数（c_i ∈ {0,1}、非ゼロ係数の間にg−1個のゼロ）を持つ系列における一般化されたゼッケンドルフ分解において、非隣接和項間の最小ギャップ長は何か？
• RQ2 このような分解において、ギャップ長j > gの観測確率はjが増加するにつれてどのように減少するか？
• RQ3 ギャップ確率の減衰率は、再帰の特性方程式の支配的固有値を用いて表現可能か？
• RQ4 分解空間の組合せ的構造はギャップ分布にどのように影響するか？
• RQ5 符号付き（ファーディファレンス）分解においても同様のギャップ分布パターンが成立するか？ここで和項は正または負の係数をとる。

主な発見

• 再帰において非ゼロ係数の間に正確にg−1個のゼロが存在するという構造的制約のため、研究された一般化されたゼッケンドルフ分解ではg未満のギャップは発生しない。
• ギャップ長j > gの場合は、その発生確率は、再帰の特性方程式の最大固有値λ₁に等しい減衰率をもって幾何的に減少する。
• 減衰率は1未満であり、再帰の支配的固有値によって決定され、ギャップ頻度の指数的減衰を支配する。
• 結果は強固であり、フィボナッチ数列、トリボナッチ数列、スキップオナッチ数列を含む広い系列クラスにまで拡張可能であり、これらすべてがg-構造的係数条件を満たす。
• 用いられた組合せ的フレームワークはギャップ分布の精密な漸近的分析を可能にし、符号付き（ファーディファレンス）分解の研究にも応用可能である。
• 解析によりギャップ分布が一様ではなく、支配的固有値のスペクトル的性質によって完全に決定される強い指数的減衰を示すことが確認された。