[論文レビュー] Subsequences and Divisibility by Powers of the Fibonacci Numbers

Kritkajohn Onphaeng, Prapanpong Pongsriiam|arXiv (Cornell University)|Jul 10, 2013

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

ひとこと要約

本稿はフィボナッチ数に基づく再帰的定義された列 $ G(k,n,m) $ を導入し、すべての正の整数 $ k, m, n $ に対して $ F_n^{k+m-1} $ が $ G(k,n,m) $ を割ることを証明する。さらに、商 $ \frac{G(k,n,m)}{F_n^{k+m-1}} \mod F_n $ を計算し、その結果は $ n $ の偶奇、3 および 4 による割り切れ性、および $ m $ の値に複雑に依存しており、フィボナッチ数の割り切れ性に関する先行研究を拡張する。

ABSTRACT

Let $F_n$ be the $n$th Fibonacci number. Let $m, n$ be positive integers. Define a sequence $(G(k,n,m))_{k\geq 1}$ by $G(1,n,m) = F^m_n$, and $G(k+1,n,m) = F_{nG(k,n,m)}$ for all $k\geq 1$. We show that $F_n^{k+m-1}\mid G(k,n,m)$ for all $k, m, n\in\mathbb N$. Then we calculate $\frac{G(k,n,m)}{F_n^{k+m-1}}\pmod{F_n}$.

研究の動機と目的

• 繰り返しフィボナッチ列の $ F_n $ のべきによる割り切れicknessを一般化すること。特に、Panraksa らおよび Tangboonduangjit と Wiboonton の研究を拡張すること。
• 新しい再帰的列 $ G(k,n,m) $ を定義・分析すること。ここで $ G(1,n,m) = F_n^m $ かつ $ G(k+1,n,m) = F_{n \cdot G(k,n,m)} $ である。
• $ \frac{G(k,n,m)}{F_n^{k+m-1}} \mod F_n $ の明確な公式を、$ k $ の偶奇および $ n $ の 3 および 4 による割り切れicknessに依存して確立すること。
• $ k \geq 2 $、$ n \geq 4 $、$ m \geq 1 $ の場合に $ F_n^{k+m-1} \parallel G(k,n,m) $（正確な割り切れickness）を証明すること。
• $ k=2,3 $ および $ m=1 $ の場合の以前の合同式結果を、任意の $ k, m, n $ に対して一般化する枠組みを統合・拡張すること。

提案手法

• 列 $ G(k,n,m) $ を再帰的に定義：$ G(1,n,m) = F_n^m $、$ G(k+1,n,m) = F_{n \cdot G(k,n,m)} $。
• $ F_{nr} = \sum_{j=1}^r \binom{r}{j} F_n^j F_{n-1}^{r-j} F_j $ の恒等式を用いて、$ F_{n \cdot G(k,n,m)} $ を $ F_n $ を法として展開する。
• 既知のフィボナッチ恒等式を適用：$ \gcd(F_m, F_n) = F_{\gcd(m,n)} $、カッシーニの恒等式 $ F_{n+1}F_{n-1} - F_n^2 = (-1)^n $、および 4 を法とした周期性。
• 補題 2.1 を用いる：$ F_n^{s-1} \mid r $ ならば $ F_n^s \mid F_{nr} $ である。これにより $ G(k,n,m) $ が $ F_n^{k+m-1} $ で割り切れることが示される。
• $ k $ の偶奇および $ n $ が 3 や 4 で割り切れるかどうかに基づく場合分けを実施し、$ F_n $ を法とする商を計算する。
• $ k $ についての帰納法を用い、$ k=2 $ を $ m \geq 1 $ の場合の基本ケースとし、二項展開とモジュラ還元を用いて合同式を検証する。

実験結果

リサーチクエスチョン

• RQ1 再帰的にフィボナッチの添字を用いて定義される $ G(k,n,m) $ に対して、すべての $ k, m, n \in \mathbb{N} $ で $ F_n^{k+m-1} $ が $ G(k,n,m) $ を割るか？
• RQ2 $ \frac{G(k,n,m)}{F_n^{k+m-1}} \mod F_n $ の値は何か？ その値は、$ n $ の算術的性質（特に 3 や 4 による割り切れickness）にどのように依存するか？
• RQ3 $ k \geq 2 $、$ n \geq 4 $、$ m \geq 1 $ の場合に、正確な割り切れickness $ F_n^{k+m-1} \parallel G(k,n,m) $ を確立できるか？
• RQ4 $ m=1 $、$ k=2,3 $ の場合の結果を一般化し、$ F_n $ を法とする商にどのようなパターンが現れるか？
• RQ5 特に 4 を法とした性質および恒等式 $ F_{n-1}^2 \equiv (-1)^n \mod F_n $ が導出過程において果たす役割は何か？

主な発見

• 本稿は、$ F_n^{k+m-1} \mid G(k,n,m) $ がすべての $ k, m, n \in \mathbb{N} $ で成り立つことを証明し、$ m=1 $ の場合の先行研究を一般化する。
• $ k \geq 2 $、$ n \geq 3 $ の場合、商 $ \frac{G(k,n,m)}{F_n^{k+m-1}} \mod F_n $ は明示的に計算され、$ k $ の偶奇および $ n $ が 3 や 4 で割り切れるかどうかに依存する。
• もし $ 2 \mid k $ かつ $ 3 \nmid n $ ならば、商は $ F_n $ を法として 1 と合同であるが、$ 4 \mid n $ の場合は $ F_{n-1} $ に合同である。
• もし $ 3 \mid n $ ならば、$ k $ が偶数で $ m=1 $ の場合、商は $ \left(\frac{F_{n-3}}{2}\right)^{k-1} $ に等しく、$ k $ が偶数で $ m \geq 2 $ の場合は $ (-1)^n \left(\frac{F_{n-3}}{2}\right)^{k-1} $ に等しい。奇数 $ k $ の場合も同様の対称的挙動を示す。
• $ k \geq 2 $、$ n \geq 4 $、$ m \geq 1 $ の場合、本稿は $ F_n^{k+m-1} \parallel G(k,n,m) $ を確立し、べきの指数が正確であることを示している。
• $ k=2 $ および $ k=3 $、$ m=1 $ の場合の結果は、[10] および [15] の以前の合同式結果を回復・一般化しており、一貫性と拡張性を確認している。