On mixed $b$-concatenations of Fibonacci and Lucas numbers that are Lucas numbers

논문 개요

이 논문은 피보나치 수열 ($F_n$) 과 루카스 수열 ($L_n$) 의 항들을 특정 기수 (base) $b$에서 '혼합 연결 (mixed concatenation)'하여 얻어진 수가 다시 루카스 수가 되는 경우를 규명하는 디오판토스 방정식 문제를 다룹니다. 저자들은 $2 \le b \le 10$인 모든 기수에 대해, 피보나치 수와 루카스 수를 연결하여 루카스 수를 만드는 모든 해를 완전히 결정했습니다.

1. 문제 정의 (Problem Statement)

피보나치 수열 ($F_n$) 과 루카스 수열 ($L_n$) 은 다음과 같이 정의됩니다:

• $F_0=0, F_1=1, F_{n+2}=F_{n+1}+F_n$
• $L_0=2, L_1=1, L_{n+2}=L_{n+1}+L_n$

기수 $b$에서 $F_k$ (또는 $L_k$) 의 자릿수를 $d$라고 할 때, 다음 두 가지 형태의 혼합 연결 방정식을 연구합니다:

1. 방정식 (1.1): $L_n = L_m \cdot b^d + F_k$
   • (루카스 수 $L_m$과 피보나치 수 $F_k$를 연결하여 루카스 수 $L_n$을 만듦)
2. 방정식 (1.2): $L_n = F_m \cdot b^d + L_k$
   • (피보나치 수 $F_m$과 루카스 수 $L_k$를 연결하여 루카스 수 $L_n$을 만듦)

여기서 $n, m, k$는 음이 아닌 정수이며, $d$는 $F_k$ 또는 $L_k$의 기수 $b$에서의 자릿수입니다.

2. 방법론 (Methodology)

이 논문은 디오판토스 근사 (Diophantine approximation) 이론의 두 가지 강력한 도구를 결합하여 문제를 해결했습니다.

가. 로그의 선형형에 대한 하한 (Lower bounds for linear forms in logarithms)

• **Matveev 의 정리 (Theorem 2.2)**를 활용하여, 방정식의 변수들 ($n, m, k$) 에 대한 상한 (upper bound) 을 유도했습니다.
• 피보나치와 루카스 수의 비네 (Binet) 공식 ($\alpha = \frac{1+\sqrt{5}}{2}, \beta = \frac{1-\sqrt{5}}{2}$) 을 사용하여 방정식을 지수 형태로 변환하고, 대수적 수의 로그 높이 (logarithmic height) 를 계산하여 변수의 크기를 제한했습니다.
• 이를 통해 $n$이 매우 큰 값일 수 없음을 보였으나, 계산 가능한 범위로 줄이기에는 여전히 상한이 너무 컸습니다.

나. 축소 방법 (Reduction Methods)

• Baker-Davenport 축소 방법과 **Dujella-Peth˝o 보조정리 (Lemma 2.3)**를 적용하여 위에서 유도된 거대한 상한을 실질적으로 계산 가능한 작은 범위로 줄였습니다.
• 연분수 (Continued fractions) 이론을 사용하여, $\frac{\log b}{\log \alpha}$의 수렴분 (convergents) 을 분석하고, 방정식의 해가 존재할 수 있는 $n$의 범위를 $n < 229$ (또는 $214$) 수준으로 축소했습니다.
• Lemma 2.5와 Lemma 2.6과 같은 분석적 보조정리들을 사용하여 오차 항을 통제하고 부등식을 정리했습니다.

다. 계산 도구

• 모든 수치 계산과 연분수 분석은 SageMath를 사용하여 수행되었으며, 정밀도는 1000 자리까지 유지되었습니다.

3. 주요 결과 (Key Results)

저자들은 $2 \le b \le 10$인 모든 기수에 대해 방정식 (1.1) 과 (1.2) 의 모든 해를 찾았으며, 해의 개수가 유한함을 증명했습니다.

방정식 (1.1) 의 해 ($L_n = L_m \cdot b^d + F_k$)

• 10 진법 ($b=10$) 의 경우:
  • $L_5 = 11$은 두 가지 방식으로 표현됩니다:
    • $11 = 101 \cdot L_1 + F_1$ (또는 $F_2$)
    • $11 = 101 \cdot L_1 + F_2$
  • $L_6 = 18$은 다음과 같습니다:
    • $18 = 101 \cdot L_1 + F_6$
• 2 진법 ($b=2$) 의 경우:
  • $(n, m, k)$ 쌍으로 $(0,1,0), (2,1,1), (2,1,2), (3,0,0), (4,1,4), (4,2,1), (4,2,2), (5,0,4), (6,3,3), (7,1,7), (7,2,5), (8,5,4)$ 등 총 12 개의 해가 존재합니다.
• 기타 기수 ($b=3$ 부터 $9$):
  • 각 기수마다 유한한 수의 해가 존재하며, 논문 Table 1 에 모든 해가 상세히 나열되어 있습니다.

방정식 (1.2) 의 해 ($L_n = F_m \cdot b^d + L_k$)

• 10 진법 ($b=10$) 의 경우:
  • $L_5 = 11$이 유일한 해입니다:
    • $11 = 101 \cdot F_1 + L_1$ (또는 $101 \cdot F_2 + L_1$)
• 2 진법 ($b=2$) 의 경우:
  • $(2,1,1), (2,2,1), (4,1,2), (4,2,2), (4,4,1), (5,3,2), (5,5,1), (8,5,4)$ 등 총 8 개의 해가 존재합니다.
• 기타 기수:
  • 각 기수별로 유한한 해가 존재하며, 논문 Table 2 에 모든 해가 나열되어 있습니다.

4. 의의 및 기여 (Significance and Contributions)

1. 혼합 연결 문제의 확장: 기존 연구들이 동일한 수열 내에서의 연결 (예: 피보나치 수끼리 연결) 이나 특정 수열 (Pell 수 등) 에 집중했다면, 본 논문은 서로 다른 두 수열 (피보나치와 루카스) 의 혼합 연결 문제를 다뤘다는 점에서 중요한 진전이 있습니다.
2. 기수 일반화: 이전 연구들이 주로 10 진법이나 소수 기수에 국한되었다면, 본 논문은 2 부터 10 까지의 모든 기수에 대해 체계적으로 해를 구했습니다.
3. 유한성 증명: 무한히 많은 해가 존재할 수 있다는 가능성에 대해, 선형형 로그와 축소 방법을 결합하여 해의 개수가 유한함을 엄밀하게 증명했습니다.
4. 구체적 해의 도출: 단순히 유한성만 증명하는 것을 넘어, 모든 가능한 해를 명시적으로 열거하여 구체적인 수학적 사실을 제시했습니다.

5. 결론

이 논문은 피보나치와 루카스 수열의 혼합 연결로 생성된 루카스 수에 대한 디오판토스 방정식을 완전히 해결했습니다. 대수적 수론의 고급 기법 (Matveev 정리, Baker-Davenport 축소) 을 효과적으로 적용하여 변수의 범위를 축소하고, 컴퓨터 계산을 통해 모든 해를 찾아냄으로써, 선형 점화식 수열의 연결 문제에 대한 새로운 통찰을 제공했습니다. 향후 연구로는 일반화된 선형 점화식 수열에 대한 유사한 유한성 결과를 탐구하는 방향으로 이어질 수 있음을 시사합니다.