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

技术摘要：k 阶广义佩尔数列中的乘法独立性

问题陈述
本文研究了$k$阶广义佩尔数列$(P^{(k)}_n)_{n \ge 2-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$具有乘法依赖性。两个非零整数$a$和$b$被称为具有乘法依赖性，如果存在非零整数$x, y$使得$a^x = b^y$。作者旨在求解丢番图方程：
$$(P^{(k)}_n)^x = (P^{(k)}_m)^y$$
排除项等于 1 的平凡情况，或仅由数列初始段（其中项为 2 的幂）产生的依赖性情况。

方法论
证明策略遵循$k$阶广义斐波那契数和卢卡斯数已建立的框架，结合了解析数论与计算验证。方法论分为三个主要阶段：

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$$
   利用 Matveev 关于对数线性型下界的定理，作者导出了索引$n$关于$k$的多项式上界。具体而言，对于$k \ge 3$且$n > m \ge k+1$，他们建立了：
   $$n < 6.2 \times 10^{33} k^8 (\log k)^6$$

2. 通过 Baker-Davenport 算法进行归约：
   从 Matveev 定理导出的初始上界过大，无法直接计算。为了归约该上界，作者采用了 Baker-Davenport 归约方法（具体为 Dujella 和 Pethő 的版本）。这涉及分析比率$\tau_k = \frac{\log g_k(\alpha)}{\log \alpha}$的连分数展开。
   利用收敛项的性质和 Dujella-Pethő 引理，作者将$n$的上界归约为一个与$k$无关的常数，适用于$k \le 850$的范围。具体而言，上界被归约为$n \le 218$（为安全起见保守取为$n < 300$）。

3. 情形分离与渐近分析：
   问题根据$k$的值分为两个区域：

   • 小$k$（$k \le 850$）： 利用归约后的上界$n < 300$，作者对所有有效的$k, m, n, x, y$组合进行了 exhaustive 计算机搜索。
   • 大$k$（$k > 850$）： 对于此范围，作者使用渐近论证。他们利用这样一个事实：对于大的$k$，主根$\alpha$极其接近 2，且$P^{(k)}_n \approx 2^{n-1}$。通过将项展开至二阶（使用 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 的幂段）导致了类似的解分类。这项工作证实，在其他数列中发现的解的“丰富性”并未扩展到佩尔数列，除了初始的平凡段和特定的经典情况外。该证明严谨地结合了深层理论工具（Matveev 界限、Baker-Davenport 归约）与计算验证，从而对所有$k$解决了该问题。