[論文レビュー] A family of meta-Fibonacci sequences defined by variable order recursions

Nathaniel D. Emerson|ArXiv.org|Aug 26, 2005

Advanced Mathematical Theories and Applications参考文献 10被引用数 3

ひとこと要約

本稿は、再帰的順序 r(n) が n に応じて変化する新しいメタフィボナッチ数列の族——可変 r-フィボナッチ数列——を導入する。各項 b(n) は、直前の r(n) 項の和として定義される。本稿では、λ(n) と μ(n,s) という2つの関数を用いて、b(n) のタイトな閉形式の上界および下界を確立し、b(n) の増大率がこれらの項によって有界であることを証明する。これにより、指数的、線形的、対数的といった多様な増大領域における数列挙動の正確な推定が可能になる。

ABSTRACT

We define a family of meta-Fibonacci sequences where the order of the of recursion at stage n is a variable r(n), and the n^{th} term of a sequence is the sum of the previous r(n) terms. For the terms of any such sequence, we give upper and lower bounds which depend only on r(n).

研究の動機と目的

• 再帰的順序 r(n) が n に応じて変化する新しいメタフィボナッチ数列の定義と解析を行うこと。
• 特に r(n) が部分線形である場合に、再帰的順序が可変である数列に対して一般の境界が欠如している問題に対処すること。
• b(n) の閉形式の推定値を、r(1), ..., r(n) の順序列にのみ依存する形で提供すること。
• この族内で可能な全範囲の増大率——指数的、線形的、対数的——を同定すること。
• 標準的な数列に限定されないよう、負の添え字と任意の初期条件を許容する枠組みへの一般化を図ること。

提案手法

• n > 1 に対して b(n) = Σ_{k=1}^{r(n)} b(n-k) により可変 r-フィボナッチ数列を定義し、b(0) = 1 および r(n) が部分線形であることを仮定する。
• 増大ダイナミクスを捉える2つの補助関数 λ(n) = 1 + (r(n) - 1)/r(n-1) および μ(n,s) = 2 + [r(n) - r(n-1) - 1] × ∏_{k=n-s}^{n-1} 1/r(k) を導入する。
• メイン定理を確立：比 b(n)/b(n-1) は min{λ(n), μ(n,r(n)-1)} と max{λ(n), μ(n,r(n-1))} の間で有界である。
• n=2 から n まで比の推定値をテレスコピックに積み上げることで、b(n) の積形式の境界を導出する。
• r(n) を整数全体 Z に拡張し、β(n) を再帰的に逆方向に定義することで、数列をすべての整数に一般化する。これにより、任意の初期条件を許容できる。
• r(n) に対して M_r = sup(r(n) - n) が有限である場合、拡張された数列は次元 M_r の実数ベクトル空間をなすことを証明する。

実験結果

リサーチクエスチョン

• RQ1 再帰的順序 r(n) が固定ではなく n に応じて変化する場合、メタフィボナッチ数列の増大率はどのように振る舞うか？
• RQ2 b(n) のタイトで閉形式の上界および下界を、r(1), ..., r(n) の順序列にのみ依存する形で導出可能か？
• RQ3 可変順序メタフィボナッチ数列では、指数的、線形的、対数的といったどの程度の増大行動が可能か？
• RQ4 再帰的関係を保ちつつ、任意の初期条件を許容する形で、数列を負の添え字に拡張可能か？
• RQ5 このような数列をすべての整数に一般化した場合、解空間の次元はいかほどか？

主な発見

• 比 b(n)/b(n-1) は min{λ(n), μ(n,r(n)-1)} と max{λ(n), μ(n,r(n-1))} の間で有界であり、各ステップにおける増大の精密な制御が可能である。
• 数列 b(n) は、指数関数的に増大するが、r(n) > 1 が十分大きな n に対して常に成り立つならば、少なくとも指数的に増大する。
• 線形的増大は可能であるが、r(n) = 1 が無限回成り立つ場合に限る。その場合、漸近的密度 L = lim b(n)/n はゼロでなければならない。
• 対数的増大、例えば Θ(log₂ n) またはそれ未満は、r(n) = 2 が n = 2^{2^k} のような疎な点でのみ成り立つように設定することで達成可能である。
• 拡張された可変 r-フィボナッチ数列は、次元 M_r = sup(r(n) - n) の実数ベクトル空間をなす。
• r(n) が部分線形の場合、M_r = 1 であるため、解空間は1次元であり、β(-1) によってパrameter化可能である。