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$ かつ整数 $k \ge 2$ となるすべてのインデックスの対 $(m, n)$ を決定することであり、その項 $P^{(k)}_n$ と $P^{(k)}_m$ が乗法的に依存するものである。2 つの非零整数 $a$ と $b$ が乗法的に依存するとは、非零整数 $x, y$ が存在して $a^x = b^y$ となることをいう。著者らは、以下のディオファントス方程式を解くことを目指す。
$$(P^{(k)}_n)^x = (P^{(k)}_m)^y$$
ただし、項が 1 に等しい場合、または数列の初期部分（項が 2 のべき乗となる部分）からの依存性のみが起因する自明なケースは除く。

手法
証明戦略は、k-一般化フィボナッチ数およびルカス数に対して確立された枠組みに従い、解析的数論と計算検証を組み合わせる。手法は主に 3 つの段階で進行する。

1. 解析的近似と対数における線形形式
   著者らは、$P^{(k)}_n$ に対するビネ型公式を利用する。これは項を $P^{(k)}_n = g_k(\alpha)\alpha^n + e_n$ と表すものであり、ここで $\alpha$ は特性多項式 $\Psi_k(x) = x^k - 2x^{k-1} - \dots - 1$ の支配根であり、$g_k(\alpha)$ は特定の代数関数である。
   この式を乗法的依存性の方程式に代入することで、問題は対数における線形形式の上限評価へと変換される。
   $$\Lambda = (y-x)\log g_k(\alpha) + (nx - my)\log \alpha$$
   対数における線形形式の下限に関するマテエフの定理を用いて、著者らはインデックス $n$ に対して $k$ の関数としての多項式的上限を導出する。具体的には、$k \ge 3$ かつ $n > m \ge k+1$ に対して、以下が成り立つ。
   $$n < 6.2 \times 10^{33} k^8 (\log k)^6$$

2. Baker-Davenport アルゴリズムによる縮小
   マテエフの定理から導かれた初期の上限は、直接計算するには大きすぎる。これを縮小するため、著者らは Baker-Davenport 縮小法（特に Dujella と Pethő による版）を採用する。これには、比 $\tau_k = \frac{\log g_k(\alpha)}{\log \alpha}$ の連分数展開の解析が含まれる。
   収束項の性質と Dujella-Pethő の補題を利用することで、著者らは $k \le 850$ の範囲において、$n$ の上限を $k$ に依存しない管理可能な定数まで縮小する。具体的には、上限は $n \le 218$ まで縮小され（安全のために保守的に $n < 300$ とされる）。

3. 場合分けと漸近解析
   問題は $k$ の値に基づいて 2 つの領域に分割される。

   • 小 $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 次まで展開する（Cooper-Howard 展開を使用）ことで、方程式 $(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 のべき乗部分）が、解の類似した分類をもたらすことを示している。この研究は、他の数列で見られる解の「豊かさ」が、初期の自明な部分と特定の古典的ケースを超えてペル数列には拡張されないことを確認するものである。証明は、マテエフの上限や Baker-Davenport 縮小といった深遠な理論的道具と計算検証を厳密に組み合わせ、すべての $k$ に対して問題を閉じるものである。