[論文レビュー] Small Prime Powers in the Fibonacci Sequence

James Mc Laughlin|arXiv (Cornell University)|Oct 15, 2001

Coding theory and cryptography参考文献 9被引用数 7

ひとこと要約

この論文は、5乗、7乗、11乗、13乗、17乗の小さな奇素数の完全乗法的冪としてのフィボナッチ数が、F₀=0 および F₁=F₂=1 の自明なもの以外には存在しないことを証明している。線形対数形式とLLLアルゴリズムを用いて代数的数体における基本単数の指数を評価し、特に11、13、17の素数において単数のランクが高いために、全探索が計算的に不可能になる状況を回避するための新しい手法を導入している。

ABSTRACT

It is shown that there are no non-trivial fifth-, seventh-, eleventh-, thirteenth- or seventeenth powers in the Fibonacci sequence. For eleventh, thirteenth- and seventeenth powers an alternative (to the usual exhaustive check of products of powers of fundamental units) method is used to overcome the problem of having a large number of independent units and relatively high bounds on their exponents. It is envisaged that the same method can be used to decide the question of the existence of higher small prime powers in the Fibonacci sequence and that the method can be applied to other binary recurrence sequences. The alternative method mentioned may have wider applications.

研究の動機と目的

• 小さな奇素数（5, 7, 11, 13, 17）の非自明な完全乗法的冪がフィボナッチ数列に現れるかどうかを特定すること。
• このような冪を探す際、代数的数体における多くの基本単数と高い指数の上限を取り扱う計算上の困難を克服すること。
• 特に単数ランクが高い素数に対して、標準的な全探索的手法（積の冪の全探索）を避ける代替手法を開発・適用すること。
• この手法を他の二項線形再帰列およびより高い素数冪へと一般化すること。
• 高度なディオファントス的技法を用いて、既知の結果（例：5乗）の再証明と、新しい結果（例：11乗、13乗、17乗）の得ること。

提案手法

• F_m = x^n のとき、恒等式 $ F_{m+1}^2 - F_{m+1}F_m - F_m^2 = (-1)^m $ を用いてディオファントス方程式を導出し、$ 5x^{2n} - 4 = z^2 $ を得る。
• 方程式を $ \mathbb{Z}[i] $ における因数分解に変換し、$ v \pm 1 + 2iv $ がガウス整数環における $ n $ 乗であることを示す。
• 得られた代数的整数を $ (A + B_1 i)^n $ の形に表現し、その根が数体 $ \mathbb{Q}(\theta_i) $ を生成する多項式 $ f_n(x) $ を得る。
• ノルム $ N_{K/\mathbb{Q}}(A - \theta_i B) = \pm 1 $ を分析し、$ A - \theta_i B $ が $ \mathbb{Q}(\theta_i) $ の整数環における単数であることを示す。
• 線形対数形式からの境界とLLLアルゴリズムを適用し、基本単数分解における指数の最大絶対値 $ U $ を推定する。
• 特にランク $ n-1 $ が大きい場合に有効な、最小多項式の構造と単数群のランクを利用した、全探索を回避する新しい手法を導入する。

実験結果

リサーチクエスチョン

• RQ1 フィボナッチ数列に、$ q \in \{5, 7, 11, 13, 17\} $ に対する非自明な $ q $ 乗冪が存在するか？
• RQ2 単数ランクが高いために、標準的な基本単数の積の冪の全探索が困難な状況において、これを回避できるか？
• RQ3 代数的数体の構造と単数ノルム方程式に基づく提案された代替手法が、より高い素数冪に対しても有効な境界を与えるか？
• RQ4 この手法を他の二項線形再帰列へ一般化できるか？
• RQ5 方程式 $ F_m = x^n $ の解の基本単数分解における、最大の可能な指数 $ U $ は何か？

主な発見

• フィボナッチ数列には、F₀=0 および F₁=F₂=1 を除き、非自明な5乗冪は存在しない。
• フィボナッチ数列には、F₀=0 および F₁=F₂=1 を除き、非自明な7乗冪は存在しない。
• フィボナッチ数列には、F₀=0 および F₁=F₂=1 を除き、非自明な11乗冪は存在しない。
• フィボナッチ数列には、F₀=0 および F₁=F₂=1 を除き、非自明な13乗冪は存在しない。
• フィボナッチ数列には、F₀=0 および F₁=F₂=1 を除き、非自明な17乗冪は存在しない。
• 提案された手法は、高ランクの単数群において全探索を効果的に回避でき、他の再帰列およびより高い素数冪へ応用可能である。