On generalized Thabit numbers $(p+1)p^\mathfrak{a}-1$ in the $k$-Lucas sequence

논문 개요

이 논문은 정수론의 한 분야인 디오판토스 방정식 (Diophantine equation) 을 다루며, **k-루카스 수 (k-Lucas numbers)**와 **일반화된 타비트 수 (Generalized Thabit numbers)**의 교집합을 연구합니다. 구체적으로, $k$-루카스 수열 $\{L_n^{(k)}\}$의 항이 $(p+1)p^a - 1$ 형태의 수와 일치하는 모든 정수 해를 찾는 문제를 해결합니다. 여기서 $p$는 메르센 소수 ($2^\ell - 1$) 또는 페르마 소수 ($2^\ell + 1$) 입니다.

1. 연구 문제 및 배경

• k-루카스 수열 ($L_n^{(k)}$):
  • 초기 조건: $L_{2-k}^{(k)} = \dots = L_{-1}^{(k)} = 0$, $L_0^{(k)} = 2$, $L_1^{(k)} = 1$.
  • 점화식: $n \ge 2$일 때, $L_n^{(k)} = \sum_{i=1}^k L_{n-i}^{(k)}$.
  • $k=2$일 때 고전적인 루카스 수열이 됩니다.
• 일반화된 타비트 수:
  • 식: $(p+1)p^a - 1$.
  • $p=2$일 때 고전적인 타비트 수 $3 \cdot 2^a - 1$이 됩니다.
  • 이 식은 $p$를 소수로 고정했을 때, 선형 점화식의 항이 "소수의 거듭제곱과 그 다음 수의 곱"이라는 특수한 구조를 가지는지 탐구하는 문제입니다.
• 주요 목표:
  • 다음 디오판토스 방정식의 모든 양의 정수 해 $(n, k, a, \ell)$를 구하는 것:
    $$L_n^{(k)} = (p+1)p^a - 1$$
    (단, $p = 2^\ell \pm 1$은 메르센 또는 페르마 소수, $n \ge 2, k \ge 2, a \ge 1, \ell \ge 1$)

2. 방법론 (Methodology)

논문은 다음과 같은 수학적 도구와 단계적 접근법을 사용하여 해를 제한하고 최종적으로 찾습니다.

1. 점화식 성질 및 부등식:

   • $L_n^{(k)}$의 초기 항에 대한 명시적 공식 ($2 \le n \le k$일 때 $3 \cdot 2^{n-2}$ 등) 과 $n \ge k+1$일 때의 상한/하한 부등식 ($\alpha^{n-1} \le L_n^{(k)} \le 2\alpha^n$, 여기서 $\alpha$는 특성 다항식의 주근) 을 유도합니다.
   • 이를 통해 $n$과 $a$의 크기 관계를 추정합니다 ($a \le n$).

2. 2-adic valuation (2 진수 valuation) 분석:

   • $L_n^{(k)}$이 모듈로 2 에서 주기적 ($k+1$ 주기) 이라는 성질을 이용하여, $n$을 $k+1$로 나눈 나머지 ($r$) 에 따라 $L_n^{(k)}$의 2 진수 valuation 을 정확히 계산합니다 (Lemma 3.1).
   • 이는 $p$가 홀수이므로 $L_n^{(k)}$이 홀수여야 한다는 조건을 활용하여 $n$의 가능한 값 ($r=1, 2$) 을 제한하는 데 사용됩니다.

3. 로그의 선형형 (Linear Forms in Logarithms):

   • Matveev 정리를 적용하여 대수적 수의 로그들의 선형 결합이 0 이 아닐 때의 하한을 추정합니다.
   • 이를 통해 $n$과 $k$에 대한 매우 큰 상한 (예: $n < 10^{143}$ 등) 을 유도합니다. 이는 방정식을 직접 계산할 수 있는 범위로 줄이는 첫 단계입니다.

4. LLL 알고리즘 및 Dujella-Pethő 축소법 (Reduction Methods):

   • Matveev 정리로 얻은 거대한 상한은 실제 계산이 불가능하므로, LLL (Lenstra-Lenstra-Lovász) 격자 축소 알고리즘을 사용하여 상한을 실질적으로 계산 가능한 수준으로 축소합니다.
   • 격자 (Lattice) 를 구성하고, 선형형의 최소값에 대한 하한을 계산하여 $n$의 범위를 급격히 줄입니다 (예: $n \le 1202$).

5. 컴퓨터 탐색 (SageMath):

   • 축소된 범위 내의 모든 가능한 $k, n, p, a$ 조합에 대해 SageMath 를 사용하여 방정식을 직접 검증합니다.

3. 주요 결과 (Results)

논문은 다음 세 가지 해만이 존재함을 증명합니다.

• 정리 1.1: $p = 2^\ell \pm 1$ 형태의 소수에 대해 방정식 $L_n^{(k)} = (p+1)p^a - 1$의 해는 위 표에 명시된 $(n, k, p, a, \ell)$ 조합 $(5, 2, 3, 1, 2)$, $(7, 2, 5, 1, 2)$, $(6, 3, 3, 2, 2)$ 뿐이다.

4. 증명 과정의 핵심 단계

1. Case 1: $2 \le n \le k+1$

   • 이 구간에서는 $L_n^{(k)}$이 $3 \cdot 2^{n-2}$ 또는 $3 \cdot 2^{n-2}-2$ 형태가 됩니다.
   • 우변 $(p+1)p^a - 1$은 홀수이므로, 좌변이 짝수인 경우와 모순이 발생하여 해가 없음을 증명합니다.

2. Case 2: $n \ge k+2$

   • Subcase A: $p < n^{10}$
     • $k \le 600$인 경우: LLL 알고리즘을 적용하여 $n \le 466$으로 축소하고, SageMath 로 모든 경우를 탐색하여 3 개의 해를 찾습니다.
     • $k > 600$인 경우: 점화식의 점근적 성질과 로그 선형형을 결합하여 $k$와 $n$에 대한 모순을 유도하거나 범위를 축소하여 해가 없음을 보입니다.
   • Subcase B: $p > n^{10}$
     • $p$가 매우 크다는 가정 하에 2-adic valuation 분석을 통해 $n \pmod{k+1}$의 조건을 제한합니다.
     • 로그 선형형과 LLL 알고리즘을 반복 적용하여 $\ell \le 1760$ 및 $n \le 1202$로 범위를 축소합니다.
     • 이 범위 내의 19 개의 소수 (메르센 15 개, 페르마 5 개) 에 대해 SageMath 로 검증한 결과, 추가적인 해는 존재하지 않음을 확인합니다.

5. 의의 및 기여 (Significance)

• 수열 교차 문제의 확장: 기존의 k-피보나치 수열과 메르센/페르마 수열의 교차에 대한 연구 (Altassan & Alan 등) 를 k-루카스 수열과 일반화된 타비트 수로 확장했습니다.
• 계수론적 기법의 종합적 적용: 대수적 수론 (로그 선형형), 해석적 수론 (점근적 분석), 그리고 계산 수론 (LLL 알고리즘, 컴퓨터 검증) 을 결합하여 디오판토스 방정식을 해결하는 표준적인 방법론을 잘 보여줍니다.
• 완전성: 주어진 조건 하에서 해가 존재하지 않음을 수학적으로 엄밀하게 증명하고, 존재하는 모든 해를 명시적으로 나열함으로써 해당 문제에 대한 완전한 해결책을 제시했습니다.

이 논문은 선형 점화식 수열과 특수한 형태의 소수 거듭제곱 사이의 관계를 규명하는 데 중요한 기여를 했으며, 향후 유사한 디오판토스 문제 연구에 참고할 수 있는 중요한 사례가 됩니다.