On concatenations of two $k$-generalized Pell numbers

기술 요약: 두 $k$-일반화 펠(Pell) 수의 연결(Concatenation)에 관하여

문제 정의
본 논문은 $k$-일반화 펠 수열 $(P^{(k)}_n)_{n \ge 2-k}$의 두 항의 연결에 관한 디오판토스 방정식을 조사한다. 이 수열은 $n \ge 2$에 대하여 선형 점화식 $P^{(k)}_n = 2P^{(k)}_{n-1} + P^{(k)}_{n-2} + \dots + P^{(k)}_{n-k}$로 정의되며, 초기 조건은 $P^{(k)}_{-(k-2)} = \dots = P^{(k)}_0 = 0$ 및 $P^{(k)}_1 = 1$이다.

구체적인 문제는 다음 방정식을 만족하는 정수해를 찾는 것이다:
$$P^{(k)}_n = P^{(k)}_m \cdot 10^d + P^{(k)}_p$$
여기서 $n > m$, $p \ge 0$이며, $d$는 $P^{(k)}_p$의 십진수 자릿수(즉, $d = \lfloor \log_{10} P^{(k)}_p \rfloor + 1$)를 나타낸다. 이 방정식은 $P^{(k)}_m$과 $P^{(k)}_p$의 십진 표현을 결합하여 $P^{(k)}_n$을 형성하는 모델을 나타낸다.

방법론
저자들은 이 문제를 해결하기 위해 해석적 정수론, 디오판토스 근사, 그리고 계산적 검증의 조합을 활용한다. 방법론은 다음과 같은 몇 가지 뚜렷한 단계로 진행된다:

1. 예비 경계 및 성질:
   연구는 특성 다항식 $\Psi_k(x) = x^k - 2x^{k-1} - \dots - 1$의 지배근(dominant root) $\alpha$의 성질을 활용한다. $\alpha$는 단위 원 밖의 유일한 근임이 확립되어 있다. 저자들은 $P^{(k)}_n$을 $g_k(\alpha)\alpha^n$으로 근사하기 위해 비네(Binet) 유형의 공식과 Bravo 등의 연구에서 유도된 경계치를 사용한다 (여기서 $g_k(z)$는 특정 유리 함수이다).

2. 로그에 대한 선형 형식 (베이커의 방법):
   지표 $n, m, p$에 대한 상한을 설정하기 위해, 본 논문은 대수적 수의 로그에 대한 마트베예프(Matveev)의 정리를 적용한다. 연결 방정식을 재배열함으로써, 저자들은 $|d \log 10 - (n-m) \log \alpha|$ 및 이와 유사한 형태의 항들을 포함하는 부등식을 도출한다. 마트베예프의 정리는 이러한 0이 아닌 선형 형식에 대한 하한을 제공하며, 이를 펠 수의 근사로부터 얻은 상한과 비교함으로써 $k$에 대한 $n$의 다항식 경계를 얻는다. 구체적으로, $k \ge 3$인 경우 $n < 4.6 \times 10^{23} k^7 (\log k)^4$임을 보여준다.

3. 축소 절차:
   마트베예프의 정리를 통해 얻은 초기 경계값은 계산적으로 다루기 어렵다. 저자들은 다음을 사용하여 이 경계값을 축소한다:

   • 연분수: $\log \alpha / \log 10$ 및 $\log 2 / \log 10$을 포함하는 로그 형식에 대해 베이커-다벤포트(Baker-Davenport) 축소법(특히 Dujella와 Pethő의 변형)과 르장드르(Legendre) 기준을 적용한다.
   • LLL 알고리즘: 다수의 변수와 큰 계수를 가진 선형 형식, 특히 $k$가 큰 경우를 처리하기 위해 렌스트라-레린-로바츠(Lenstra-Lenstra-Lovász) 격자 기저 축소 알고리즘을 활용한다.

4. 경우 분석 및 계산 탐색:
   증명은 $k$의 두 가지 주요 범위로 나뉜다:

   • 작은 $k$ ($2 \le k \le 500$): 축소 절차를 통해 $n$의 경계를 관리 가능한 범위($n \le 170$)로 낮춘다. 그 후 해를 확인하기 위해 이 범위에 대해 직접적인 컴퓨터 탐색을 수행한다.
   • 큰 $k$ ($k > 500$): $P^{(k)}_n$에 대한 쿠퍼-하워드(Cooper-Howard) 전개($n < 2k/2$에서 유효)를 사용하여 항들을 2의 거듭제곱을 이용해 근사한다. 이를 통해 $\log 2$와 $\log 10$을 포함하는 선형 형식을 별도로 분석할 수 있다. LLL 알고리즘과 연분수 축소의 반복적인 적용을 통해, $k > 500$인 경우 모순에 도달할 때까지 $k$와 $n$에 대한 경계값을 점진적으로 조여나간다.

주요 결과
본 논문은 연결 방정식에 관한 다음의 정리를 확립한다:

• $k = 2$인 경우: 유일한 해는 $(n, m, p) = (4, 1, 2)$이다. 이는 고전적인 펠 수에 해당하며, $P_4 = 12$는 $P_1 = 1$과 $P_2 = 2$의 연결($12 = 1 \parallel 2$)이다.
• $k \ge 3$인 경우: 방정식의 해는 존재하지 않는다.

의의 및 주장
본 논문은 선형 점화 수열의 항들의 연결에 관한 광범위한 디오판토스 문제 분야에 기여한다. 이전 연구들이 피보나치 수(Banks와 Luca), 루카스 수(Erdővan), 그리고 $k$-일반화 피보나치/루카스 수(Altassan과 Alan; Tumwesigye 등)에 대해 다루었던 것과 달리, 본 연구는 $k$-일반화 펠 수열에 대한 분석을 확장한다.

저자들은 모든 $k \ge 2$에 대해 해를 완전히 결정했다고 주장한다. 이 연구의 의의는 초월수론의 고급 도구(마트베예프의 정리)를 계산적 축소 기법(LLL 및 연분수)과 결eli하여, 펠 계열에서 아직 해결되지 않았던 특정 디오판토스 방정식을 엄밀하게 해결했다는 점에 있다. 이 결과는 고전적인 펠 수열($k=2$)과 그 고차 일반화($k \ge 3$) 사이의 행동 차이를 극명히 보여주며, 고차 일반화에서는 그러한 연결 성질이 존재하지 않음을 강조한다.