[논문 리뷰] On the Diophantine equation F_{n}-F_{m}=2^{a}

Zafer Şi̇ar, Refık Keskin|arXiv (Cornell University)|2017. 12. 29.

Mathematical Dynamics and Fractals인용 수 9

한 줄 요약

이 논문은 비음수 정수 $ m, n, a $ 에서 다항방정식 $ F_n - F_m = 2^a $ 를 해결하며, 유일한 해는 명시적으로 나열된 16개의 삼중항뿐임을 증명한다. 이는 로그 선형형식의 하한과 베이커-단베이트 감소 방법을 조합하여 큰 해를 효과적으로 유계화하고 제거함으로써, 궁극적으로 유한한 검색으로 문제를 축소시키며, 계산적 검증과 이론적 분석을 통해 모든 해를 확인한다.

ABSTRACT

In this paper, we solve Diophantine equation in the tittle in nonnegative integers m,n, and a. In order to prove our result, we use lower bounds for linear forms in logarithms and and a version of the Baker-Davenport reduction method in diophantine approximation.

연구 동기 및 목표

• 비음수 정수 $ (n, m, a) $ 에서 피보나치 수 $ F_n $ 이 $ n $-번째 피보나치 수일 때, 다항방정식 $ F_n - F_m = 2^a $ 의 모든 해를 결정하는 것.
• 특히 $ F_n \pm F_m = 2^a $ 형태의 지수다항방정식에 대한 이전 연구를 확장하여 피보나치 수와 루카스 수를 포함하는 문제를 다루는 것.
• 특히 로그 선형형식의 하한과 베이커-단베이트 감소 기법을 포함한 초월수론의 고급 도구를 적용하여 해 공간을 효과적으로 유계화하는 것.
• 초기 지수적 추정치에서 유도된 $ n $ 의 상한을 다룰 수 있는 유한 범위로 줄여, 모든 해를 완전히 계산적으로 검색할 수 있도록 하는 것.
• 유계화 이후 남은 케이스를 분석하기 위해 합동 조건을 분석하고, 특히 $ n - m = 1, 2, 4, 12 $ 인 경우에 피보나치 수와 루카스 수의 성질을 활용하는 것.

제안 방법

• 2, $ \alpha = (1+\sqrt{5})/2 $, 및 $ \sqrt{5} $ 의 대수적 독립성을 바탕으로, 마트베예프의 정리에 의해 로그 선형형식의 하한을 도출함으로써 $ n $ 에 대한 初기 상한을 유도한다.
• 레마 2 를 통해 연분수 수렴근을 이용한 베이커-단베이트 감소 방법을 적용하여 큰 값의 $ n $ 과 $ n - m $ 을 제거한다.
• 비네 공식 $ F_n = (\alpha^n - \beta^n)/\sqrt{5} $ 과 $ |\beta| < 1 $ 인 추정치를 사용하여 $ |F_n - F_m - 2^a| $ 의 차이를 유계화하고, $ \alpha^{-n} $ 과 $ \alpha^{-(n-m)} $ 를 포함하는 부등식을 이끌어낸다.
• 다른 경우에 따라 $ n \equiv m \pmod{4} $ 인지에 따라 $ F_n - F_m = F_{(n-m)/2} L_{(n+m)/2} $ 또는 $ F_{(n+m)/2} L_{(n-m)/2} $ 라는 항등식을 사용하여 차이의 구조를 분석한다.
• 선형형식의 계수를 유계화하기 위해 로그 높이 함수 $ h(\eta) $ 를 사용하여 하한 정리의 적용 가능성을 보장한다.
• 감소 방법을 반복적으로 적용하여, 먼저 $ n - m $ 에 대해, 그 다음 $ n $ 에 대해 적용함으로써 해 공간을 점진적으로 줄여 계산적으로 다룰 수 있는 범위로 축소한다.

실험 결과

연구 질문

• RQ1 방정식 $ F_n - F_m = 2^a $ 에 대한 모든 비음수 정수 해 $ (n, m, a) $ 는 무엇인가?
• RQ2 특히 로그 선형형식을 사용한 분석적 수론 도구를 통해 해 집합을 효과적으로 유계화할 수 있는가?
• RQ3 베이커-단베이트 감소 방법은 피보나치 수를 포함하는 지수다항방정식의 큰 해를 어떻게 제거하는가?
• RQ4 $ n - m = 12 $ 인 해가 존재하는가? 만약 존재한다면 어떤 조건에서 발생하는가?
• RQ5 루카스 수 $ L_k $ 의 성질이 $ F_n - F_m = 2^a $ 의 해가 존재하는 데 어떤 역할을 하는가?

주요 결과

• 다항방정식 $ F_n - F_m = 2^a $ 는 비음수 정수 $ m < n $ 과 $ a $ 에서 정확히 16개의 해를 가지며, 이는 모두 정리 5에 명시적으로 나열되어 있다.
• 해는 $ (n, m, a) = (1,0,0), (2,0,0), (3,0,1), (6,0,3), (3,1,0), (4,1,1), (5,1,2), (3,2,0), (4,3,0), (4,2,1), (5,2,2), (9,3,5), (5,4,1), (7,5,3), (8,5,4), (8,7,3) $ 이다.
• 베이커-단베이트 감소 방법의 첫 번째 적용을 통해 $ n $ 의 初기 상한이 $ 2.91 \times 10^{28} $ 에서 $ 7.56 \times 10^{15} $ 로 줄어들었다.
• 감소 방법의 두 번째 적용을 통해 $ n $ 의 상한이 더욱 줄어들어 $ n \leq 98 $ 로 유도되었으며, 이는 $ n > 200 $ 이라는 가정과 모순되어 유한한 케이스 분석을 강제한다.
• $ n - m = 1 $ 인 경우, 방정식은 $ 2^a = F_{m-1} $ 로 단순화되며, 이로부터 $ (3,2,0), (4,3,0), (8,7,3) $ 등의 해가 유도되며, 이는 알려진 피보나치 수의 거듭제곱과 일치한다.
• $ n - m = 4 $ 인 경우, 방정식은 $ 2^a = L_{m+2} $ 로 변형되며, 루카스 수열에서 유일한 완전거듭제곱은 $ L_1 = 1 $ 과 $ L_3 = 4 $ 이므로, 유일한 타당한 해는 $ m = 1 $, $ a = 2 $, $ n = 5 $ 이다.