[論文レビュー] A simplified Binet formula for k-generalized Fibonacci numbers

Gregory P. Dresden|arXiv (Cornell University)|May 4, 2009

Advanced Combinatorial Mathematics参考文献 5被引用数 20

ひとこと要約

本稿では、k一般化フィボナッチ数（例：トリボナッチ、テトラナッチ）の簡略化されたビネット型公式を提示し、特徴方程式の支配的実根のみを用いて、各項がその公式の最初の項の最も近い整数に等しくなることを示している。主な貢献は、すべての n ≥ 2−k に対して、この公式の先頭項を丸めることで正確な k一般化フィボナッチ数が得られることの証明であり、計算的に効率的で正確な閉形式表現を提供する。

ABSTRACT

We present a particularly nice Binet-style formula that can be used to produce the k-generalized Fibonacci numbers (that is, the Tribonaccis, Tetranaccis, etc). Furthermore, we show that in fact one needs only take the integer closest to the first term of this Binet-style formula to generate the desired sequence. These results were also found (independently) at about the same time by Zhaohui Du of Singapore, China. We are working on a joint paper.

研究の動機と目的

• k一般化フィボナッチ数（例：トリボナッチ、テトラナッチ）の簡略化された閉形式表現を、ビネット風の公式を用いて導出すること。
• この公式の最初の項の最も近い整数が、すべての n ≥ 2−k に対して正確に k一般化フィボナッチ数列を生成することを示すこと。
• すべての n ≥ 2−k において、この丸め方の妥当性を立証すること、負の添え字を含む。
• 従来の公式を簡略化し、誤差解析を可能にする統一的かつ解析的に取り扱いやすい表現を提供すること。

提案手法

• 特徴方程式 xᵏ − xᵏ⁻¹ − ⋯ − 1 = 0 の根 α₁,…,αₖ を用いて、Fₙ⁽ᵏ⁾ のビネット風の公式を導出する。
• Fₙ⁽ᵏ⁾ をこれらの根の和として表現する：Fₙ⁽ᵏ⁾ = Σᵢ₌₁ᵏ [ (αᵢ − 1) / (2 + (k+1)(αᵢ − 2)) ] αᵢⁿ⁻¹。
• 支配的実根 α > 1 を特定し、他の根からの寄与が指数関数的に減少することを示す。
• 誤差項 Eₙ = Fₙ⁽ᵏ⁾ − m⁽ᵏ⁾(α)αⁿ⁻¹ を定義する。ここで m⁽ᵏ⁾(α) は支配的項の係数である。
• 帰納法と再帰的性質を用いて、すべての n ≥ 2−k に対して |Eₙ| < 1/2 であることを証明し、丸めが正しい整数を生成することを保証する。
• Eₙ の再帰的性質を用いて、n ≥ 2 に対して |Eₙ| ≥ 1/2 であると仮定すると、|Eₙ| が無限大に発散するが、これは誤差の漸近的減少と矛盾するため、矛盾が生じることを示す。

実験結果

リサーチクエスチョン

• RQ1 k一般化フィボナッチ数に対して、複雑な根の寄与を回避する簡略化されたビネット型公式を導出可能か？
• RQ2 すべての n ≥ 2−k に対して、ビネット公式の支配的項の最も近い整数が正確に Fₙ⁽ᵏ⁾ に等しいか？
• RQ3 誤差項 Eₙ = Fₙ⁽ᵏ⁾ − m⁽ᵏ⁾(α)αⁿ⁻¹ の振る舞いは何か？ すべての関連する n に対して 1/2 以内に有界であるか？
• RQ4 なぜ丸めの性質が一部の数列（例：スケーリングされたフィボナッチ）では成り立たないのか？ どのような点で k一般化フィボナッチ数列はこの性質を満たすのか？
• RQ5 係数 m⁽ᵏ⁾(α) = (α−1)/(2+(k+1)(α−2)) は、トリボナッチ数のスピークァーマンの既知の公式とどのように関係しているか？

主な発見

• 本稿では、xᵏ − xᵏ⁻¹ − ⋯ − 1 = 0 の唯一の正の実根 α に対して、すべての n ≥ 2−k で Fₙ⁽ᵏ⁾ = Round[ m⁽ᵏ⁾(α)αⁿ⁻¹ ] が成り立つことを証明している。
• 誤差項 Eₙ = Fₙ⁽ᵏ⁾ − m⁽ᵏ⁾(α)αⁿ⁻¹ は、Fₙ⁽ᵏ⁾ と同じ k 階線形再帰的性質に従うため、帰納的誤差制御が可能である。
• n = 0 のとき、すべての k ≥ 2 に対して |E₀| = |m⁽ᵏ⁾(α)α⁻¹| < 1/2 が成り立ち、α > 2 − 1/(3k) および m⁽ᵏ⁾(α) < (3k−1)/(5k−1) を用いて明示的な上限が導出されている。
• n = 1 のとき、m⁽ᵏ⁾(α) ∈ (1/2, 1) かつ F₁⁽ᵏ⁾ = 1 であるため、|E₁| < 1/2 が成り立つ。
• n ≥ 2 に対して |Eₙ| ≥ 1/2 であると仮定すると、|Eₙ| が無限大に発散するが、これは誤差の漸近的減少と矛盾するため、矛盾が生じる。
• この公式は、k=3（トリボナッチ）の場合にスピークァーマンの以前の結果と等価であり、一貫性が確認され、すべての k ≥ 2 に一般化されている。