[論文レビュー] On the number of summands in Zeckendorf decompositions

Murat Koloğlu, Gene S. Kopp+2 more|arXiv (Cornell University)|Aug 19, 2010

Advanced Algebra and Geometry参考文献 6被引用数 38

ひとこと要約

この論文は、[Fₙ, Fₙ₊₁) 内の整数のゼッケンドルフ分解における和項の数の分布を調査し、n → ∞ のとき、和項の数が正規分布（ガウス分布）に収束することを証明している。組み合わせ論的手法とスターリングの近似を用いて、和項の平均は漸近的に n/(φ² + 1) に収束し、分散および高次モーメントも正規分布のそれらに収束することが示された。

ABSTRACT

Zeckendorf proved that every positive integer has a unique representation as a sum of non-consecutive Fibonacci numbers. Once this has been shown, it's natural to ask how many summands are needed. Using a continued fraction approach, Lekkerkerker proved that the average number of such summands needed for integers in $[F_n, F_{n+1})$ is $n / (φ^2 + 1) + O(1)$, where $φ= \frac{1+\sqrt{5}}2$ is the golden mean. Surprisingly, no one appears to have investigated the distribution of the number of summands; our main result is that this converges to a Gaussian as $n o\infty$. Moreover, such a result holds not just for the Fibonacci numbers but many other problems, such as linear recurrence relation with non-negative integer coefficients (which is a generalization of base $B$ expansions of numbers) and far-difference representations. In general the proofs involve adopting a combinatorial viewpoint and analyzing the resulting generating functions through partial fraction expansions and differentiating identities. The resulting arguments become quite technical; the purpose of this paper is to concentrate on the special and most interesting case of the Fibonacci numbers, where the obstructions vanish and the proofs follow from some combinatorics and Stirling's formula; see [MW] for proofs in the general case.

研究の動機と目的

• 区間 [Fₙ, Fₙ₊₁) 内の整数のゼッケンドルフ分解における和項の数の分布を調査し、既知の平均ケースを越えて考察すること。
• 和項の数が、素因数の Erdős–Kac 定理に類似した中心極限定理に従うかどうかを特定すること。
• n → ∞ のとき、和項の分布がガウス分布（正規分布）に収束することを確立すること、特にフィボナッチ数列および関連する線形再帰列に対して。
• 一般の正の線形再帰列（PLRS）の場合に用いられる技術的道具を避けて、フィボナッチの場合の簡略化された組み合わせ的証明を提供すること。
• 他の再帰列への一般化の基盤を築くこと、特に基数-B展開やファール・ディファレンス表現を含む。

提案手法

• 区間 [Fₙ, Fₙ₊₁) 内でちょうど k 個の和項を持つ整数の個数を Nₙ(k) と表し、組み合わせ論的視点から分析する。
• 母関数と部分分数展開を用いて、和項数の分布を分析し、特に Nₙ(k) の指数型母関数に注目する。
• スターリングの近似を用いて、二項係数およびフィボナッチ数の漸近的推定値を Nₙ(k) および Sₙ(k)（和項数の総和）の分析で得る。
• 二項係数の恒等式および再帰的関係（例：E(n) = (n−2)Fₙ₋₃ − E(n−2)）を用いて、和項の期待値の閉形式表現を導出する。
• フィボナッチ数のビネの公式を用いて、Fₙ を含む和を幾何級数の近似で表現し、特に交項和を分析する際の応用を行う。
• 母関数を微分し、∑j x^j および ∑j j x^j に関する恒等式を適用して誤差項を制御し、主要項の漸近的挙動を抽出する。

実験結果

リサーチクエスチョン

• RQ1 区間 [Fₙ, Fₙ₊₁) 内の整数のゼッケンドルフ分解における和項の数は、n → ∞ のとき正規分布に収束するか？
• RQ2 このような分解における和項数の平均および分散の漸近的挙動は何か？
• RQ3 特にフィボナッチの場合に、初等的な組み合わせ論およびスターリングの近似を用いて、和項数の中心極限定理を確立できるか？
• RQ4 和項の分布は、フィボナッチ数を越えて、非負係数をもつ他の線形再帰列へどのように一般化できるか？
• RQ5 黄金比 φ は、和項数の漸近的平均を決定づける役割を果たすか？

主な発見

• 区間 [Fₙ, Fₙ₊₁) 内の整数のゼッケンドルフ分解における和項の数は、n → ∞ のとき分布収束してガウス分布（正規分布）に収束する。
• 和項の期待値は漸近的に n/(φ² + 1) + O(1) に収束し、ここで φ = (1 + √5)/2 は黄金比である。
• 和項数の分散も n に比例して増大し、平均 n/(φ² + 1) の正規分布の分散と一致する。
• 著者らは、和項の期待値の正確な漸近的表現 E(n) = n Fₙ₋₁ / (φ² + 1) + O(Fₙ₋₂) を導出している。
• スターリングの公式に基づく組み合わせ的証明手法は、一般の PLRS の場合に比べてはるかに単純であり、複雑な部分分数分解を回避している。
• この結果はフィボナッチ数を越えて、基数-B展開やファール・ディファレンス表現を含む広範な再帰列のクラスへ一般化可能であるが、一般の場合の詳細は別個の論文で扱っている。