Multiplicative independence in the sequence of $k$-generalized Pell numbers

기술적 요약: k-일반화 펠 수열에서의 곱셈적 독립성

문제 제기
본 논문은 $(P^{(k)}_n)_{n \ge 2-k}$로 표기되는 $k$-일반화 펠 수열의 항들 사이의 곱셈적 의존성을 조사한다. 이 수열은 다음과 같은 선형 점화식으로 정의된다:
$$P^{(k)}_n = 2P^{(k)}_{n-1} + P^{(k)}_{n-2} + \dots + P^{(k)}_{n-k}$$
초기 조건은 $P^{(k)}_0 = \dots = P^{(k)}_{-(k-2)} = 0$ 및 $P^{(k)}_1 = 1$이다. $k=2$인 경우, 이는 고전적인 펠 수열로 축소된다.

핵심 목적은 $n > m \ge 0$인 인덱스 쌍 $(m, n)$과 정수 $k \ge 2$를 찾아, 항 $P^{(k)}_n$과 $P^{(k)}_m$이 곱셈적으로 의존하는 모든 경우를 결정하는 것이다. 두 개의 0 이 아닌 정수 $a$와 $b$가 곱셈적으로 의존한다는 것은, 0 이 아닌 정수 $x, y$가 존재하여 $a^x = b^y$를 만족함을 의미한다. 저자들은 다음 디오판토스 방정식을 풀고자 한다:
$$(P^{(k)}_n)^x = (P^{(k)}_m)^y$$
여기서 항이 1 인 경우나, 항들이 2 의 거듭제곱인 수열의 초기 구간에서 비롯된 의존성과 같은 자명한 경우는 제외한다.

방법론
증명 전략은 $k$-일반화 피보나치 수와 루카스 수에 사용된 확립된 프레임워크를 따르며, 해석적 정수론과 계산적 검증을 결합한다. 방법론은 세 가지 주요 단계로 진행된다:

1. 해석적 근사 및 로그의 선형형:
   저자들은 $P^{(k)}_n$에 대한 비네 (Binet) 형식 공식을 활용하여 항을 $P^{(k)}_n = g_k(\alpha)\alpha^n + e_n$으로 표현한다. 여기서 $\alpha$는 특성 다항식 $\Psi_k(x) = x^k - 2x^{k-1} - \dots - 1$의 주근 (dominant root) 이며, $g_k(\alpha)$는 특정 대수 함수이다. 이를 곱셈적 의존성 방정식에 대입함으로써, 문제는 로그의 선형형에 대한 상한을 구하는 문제로 변환된다:
   $$\Lambda = (y-x)\log g_k(\alpha) + (nx - my)\log \alpha$$
   로그의 선형형에 대한 하한에 관한 마트베예프 (Matveev) 정리를 사용하여, 저자들은 인덱스 $n$에 대한 $k$의 다항식 상한을 유도한다. 구체적으로, $k \ge 3$ 및 $n > m \ge k+1$인 경우, 다음과 같은 관계를 확립한다:
   $$n < 6.2 \times 10^{33} k^8 (\log k)^6$$

2. 베이커 - 다븐포트 알고리즘을 통한 축소:
   마트베예프 정리에서 유도된 초기 상한은 직접 계산하기에는 너무 크다. 이를 축소하기 위해 저자들은 베이커 - 다븐포트 축소 방법 (특히 두예블라와 페토의 버전) 을 적용한다. 이는 비율 $\tau_k = \frac{\log g_k(\alpha)}{\log \alpha}$의 연분수 전개를 분석하는 것을 포함한다.
   수렴분 (convergents) 의 성질과 두예블라 - 페토 보조정리를 활용하여, 저자들은 $k \le 850$인 범위에 대해 $k$와 무관한 관리 가능한 상수까지 $n$의 상한을 축소한다. 구체적으로, 상한은 $n \le 218$로 축소되며 (안전성을 위해 보수적으로 $n < 300$으로 간주됨).

3. 사례 분할 및 점근적 분석:
   문제는 $k$의 값에 따라 두 가지 영역으로 나뉜다:

   • 작은 $k$ ($k \le 850$): 축소된 상한 $n < 300$을 사용하여, 저자들은 모든 유효한 $k, m, n, x, y$의 조합에 대해 포괄적인 컴퓨터 검색을 수행한다.
   • 큰 $k$ ($k > 850$): 이 범위에 대해 저자들은 점근적 논증을 사용한다. 큰 $k$에 대해 주근 $\alpha$가 2 에 매우 가깝고 $P^{(k)}_n \approx 2^{n-1}$이라는 사실을 이용한다. 항들을 2 차까지 전개 (쿠퍼 - 하워드 전개를 사용) 하여, 방정식 $(P^{(k)}_n)^x = (P^{(k)}_m)^y$가 $x=y$를 의미하고 이에 따라 $n=m$이 됨을 보여준다. 이는 $n > m$이라는 가정에 모순되므로, $k > 850$인 경우 해가 존재하지 않는다.

주요 기여 및 결과
본 논문은 $k$-일반화 펠 수열에서 곱셈적으로 의존하는 쌍에 대한 완전한 분류를 제공한다. 주요 결과인 정리 1.1에 따르면, $k \ge 2$ 및 $n > m \ge 2$인 경우, 항 $P^{(k)}_n$과 $P^{(k)}_m$이 곱셈적으로 의존할 필요충분조건은 다음과 같다:

1. 자명한 경우: $m=1$ (왜냐하면 $P^{(k)}_1 = 1$이기 때문).
2. 2 의 거듭제곱 계열: $2 \le m < n \le k+1$. 이 초기 구간에서 $P^{(k)}_n = 2^{n-1}$이고 $P^{(k)}_m = 2^{m-1}$이므로, $(2^{n-1})^x = (2^{m-1})^y$ 형태의 의존성이 발생한다.
3. 예외적인 고전적 경우: $(k, n, m) = (2, 3, 0)$. 여기서 $P^{(2)}_3 = 2$이고 $P^{(2)}_0 = 0$이다. (참고: 초록에서는 방정식의 맥락에서 $P^{(k)}_0=0$을 자명한 경우로 언급하지만, 엄밀히 말하면 $0^x=0$은 주의 깊게 다뤄야 한다; 논문은 이를 2 의 거듭제곱 범위를 벗어난 고전적 펠 수열과 관련된 유일한 비자명한 해로 나열한다).

저자들은 다른 곱셈적으로 의존하는 쌍은 존재하지 않는다고 명시적으로 밝힌다. $k \ge 3$인 경우, 비자명한 의존성은 항이 정확한 2 의 거듭제곱인 초기 구간 내에서만 엄격하게 발생한다.

의의
본 논문은 곱셈적 의존성에 대한 연구를 고전적 수열 (피보나치, 루카스) 과 $k$-일반화 피보나치/루카스 수열에서 $k$-일반화 펠 수열로 확장한다. 펠 수열의 구조적 특성 (특히 주근의 행동과 초기 2 의 거듭제곱 구간) 이 해의 유사한 분류로 이어짐을 보여준다. 이 연구는 다른 수열에서 발견된 해의 "풍부함"이 초기 자명한 구간과 특정 고전적 경우를 제외하고는 펠 수열로 확장되지 않음을 확인한다. 증명 과정은 마트베예프의 상한, 베이커 - 다븐포트 축소와 같은 심오한 이론적 도구와 계산적 검증을 엄격하게 결합하여 모든 $k$에 대해 문제를 종결시켰다.