[논문 리뷰] Small Prime Powers in the Fibonacci Sequence

James Mc Laughlin|arXiv (Cornell University)|2001. 10. 15.

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ₘ = xⁿ일 때, 항등식 $ 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\} $의 거듭제곱으로서의 비자명한 수가 존재하는가?
• 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제곱수는 존재하지 않는다.
• 제안된 방법은 고랭크 단위군에서의 전수 검색을 효과적으로 피할 수 있으며, 다른 재귀수열과 더 높은 소수 거듭제곱에 적용 가능하다.