[论文解读] 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+1}^2 - F_{m+1}F_m - F_m^2 = (-1)^m $，当 $ F_m = x^n $ 时导出一个丢番图方程，得到 $ 5x^{2n} - 4 = z^2 $。
• 将方程转化为 $ \mathbb{Z}[i] $ 中的因式分解，表明 $ v \pm 1 + 2iv $ 必须是高斯整数中的 $ n $ 次幂。
• 将所得代数整数表示为 $ (A + B_1 i)^n $，由此导出一个多项式 $ f_n(x) $，其根生成一个数域 $ \mathbb{Q}(\theta_i) $。
• 分析范数 $ N_{K/\mathbb{Q}}(A - \theta_i B) = \pm 1 $，表明 $ A - \theta_i B $ 是 $ \mathbb{Q}(\theta_i) $ 的整数环中的单位。
• 应用对数线性型的界值与LLL算法，估计基本单位分解中指数的最大绝对值 $ U $。
• 提出一种新颖方法，通过利用最小多项式与单位群秩的结构，避免穷举搜索，尤其在秩 $ n-1 $ 较大时尤为有效。

实验结果

研究问题

• RQ1 斐波那契数列中是否存在非平凡的 $ q $ 次幂，其中 $ q \in \{5, 7, 11, 13, 17\} $？
• RQ2 当单位秩较高时，能否避免使用标准的单位乘积幂穷举法？
• RQ3 基于代数数域结构与单位范数方程的所提替代方法，是否能对更高次幂的素数产生有效界？
• RQ4 该方法能否推广至其他二阶线性递推序列？
• RQ5 在 $ F_m = x^n $ 的解的分解中，基本单位的指数 $ U $ 的最大可能值是多少？

主要发现

• 斐波那契数列中不存在非平凡的5次幂，除 $ F_0 = 0 $ 和 $ F_1 = F_2 = 1 $ 外。
• 斐波那契数列中不存在非平凡的7次幂，除 $ F_0 = 0 $ 和 $ F_1 = F_2 = 1 $ 外。
• 斐波那契数列中不存在非平凡的11次幂，除 $ F_0 = 0 $ 和 $ F_1 = F_2 = 1 $ 外。
• 斐波那契数列中不存在非平凡的13次幂，除 $ F_0 = 0 $ 和 $ F_1 = F_2 = 1 $ 外。
• 斐波那契数列中不存在非平凡的17次幂，除 $ F_0 = 0 $ 和 $ F_1 = F_2 = 1 $ 外。
• 所提方法成功避免了高秩单位群中的穷举搜索，且可应用于其他递推序列及更高次幂的素数。