[論文レビュー] Hyperfibonacci Sequences and Polytopic Numbers

Ligia Loretta Cristea, Ivica Martinjak+1 more|arXiv (Cornell University)|Jun 20, 2016

Advanced Mathematical Theories and Applications参考文献 2被引用数 5

ひとこと要約

本稿は、ハイパーフィボナッチ数列とポリトープ数の間の組合せ論的・代数的関係を確立し、$r$ 世代目の $n$ 番目のハイパーフィボナッチ数とその2つの直前の項との差が、$n$ 番目の通常の $(r-1)$-トーピック数に等しいことを証明している。これにより、ハイパーフィボナッチ数列の等価な再帰的定義が得られ、バイネットの公式の拡張が可能となり、ハイパーフィボナッチ数列およびハイパーライクス数列に対して一般化された恒等式が導出される。

ABSTRACT

We prove that the difference between the $n$-th hyperfibonacci number of $r$-th generation and its two consecutive predecessors is the $n$-th regular $(r-1)$-topic number. Using this fact we provide an equivalent recursive definition of hyperfibonacci sequences and derive an extension of the Binet formula. We also prove further identities involving both hyperfibonacci and hyperlucas sequences, in full generality.

研究の動機と目的

• ハイパーフィボナッチ数列とポリトープ数の間の直接的な関係を確立すること。
• 連続する直前2項との差を用いた、ハイパーフィボナッチ数列の等価な再帰的定義を提供すること。
• バイネットの公式を任意の生成度のハイパーフィボナッチ数列に拡張すること。
• ハイパーフィボナッチ数列およびハイパーライクス数列を含む一般恒等式を導出すること。
• タイリングモデルを通じたハイパーフィボナッチ数の組合せ論的解釈を検討すること。

提案手法

• 少なくとも $r$ 枚のデッキを含む $(n+2r+1)$-ボードにおける組合せ論的タイリングの議論を用いて再帰関係を導出する。
• 差 $F_{n+2}^{(r)} - F_{n+1}^{(r)} - F_n^{(r)}$ が、$n$ 番目の通常の $(r-1)$-トーピック数 $\binom{n+r}{r-1}$ に等しいことを証明する。
• フィボナッチ数のカッシーニおよびカタランの恒等式を応用し、1世代目のハイパーフィボナッチ数列の閉形式恒等式を導出する。
• 母関数および線形再帰的解析を用いて、バイネットの公式をハイパーフィボナッチ数列に拡張する。
• 再帰的証明において、集合 $A$（正確に $r$ 枚のデッキ）と集合 $B$（$r$ 枚より多いデッキ）のケースを分離するためのタイリング分解を用いる。
• ハイパーフィボナッチ数列で用いたタイリングおよび代数的技法を適応して、ハイパーライクス数列に対しても類似の結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 生成度 $r$ の $n$ 番目のハイパーフィボナッチ数とその2つの直前項との正確な関係は何か？
• RQ2 ポリトープ数を用いて、ハイパーフィボナッチ数列を再帰的に再定義できるか？
• RQ3 バイネットの公式をより高い生成度のハイパーフィボナッチ数列に一般化できるか？
• RQ4 1世代目のハイパーフィボナッチ数列に対して、カッシーニに類似した恒等式は存在するか？
• RQ5 ハイパーライクス数列は、再帰的構造および組合せ論的構造の観点から、ハイパーフィボナッチ数列とどのように関係しているか？

主な発見

• 差 $F_{n+2}^{(r)} - F_{n+1}^{(r)} - F_n^{(r)}$ は正確に $n$ 番目の通常の $(r-1)$-トーピック数 $\binom{n+r}{r-1}$ に等しく、これによりハイパーフィボナッチ数列の等価な再帰的定義が得られる。
• $r$ 世代目のハイパーフィボナッチ数列へのバイネットの公式の拡張が導出され、閉形式による計算が可能になる。
• 1世代目において、$n \geq 3$ に対して恒等式 ${F_n^{(1)}}^2 - F_{n-1}^{(1)}F_{n+1}^{(1)} = F_{n-3}^{(1)} + 1 + (-1)^{n+1}$ が成り立つ。
• 2番目の恒等式として、$n \geq 2$ に対して ${F_n^{(1)}}^2 - F_{n-2}^{(1)}F_{n+2}^{(1)} = F_n^{(1)} + 1 + (-1)^n$ が確立された。
• ハイパーライクス数列に対しても類似の再帰的および恒等式的結果が証明され、差 $L_{n+2}^{(r)} - L_{n+1}^{(r)} - L_n^{(r)}$ が $\binom{n+r-1}{r-1}$ に等しいことが示された。
• デッキの枚数に制約を課したタイリングとしてのハイパーフィボナッチ数の組合せ論的解釈が厳密に形式化され、証明に用いられた。