2025-11-10T02:51:50.582851

Ratios of two powers of van der Laan-Padovan numbers

Yamada
The van der Laan-Padovan sequence $P_n ~ (n=0, 1, \ldots)$ is defined by $P_0=1, P_1=P_2=0$, and $P_{n+3}=P_{n+1}+P_n$ for $n=0, 1, \ldots$. We determine all pairs $(P_m, P_n)$ satisfying $P_m^b=2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_n^a$ for some integers $g_1, g_2, g_3, g_4$, $a$, and $b$. More generally, for a linear recurrence sequence $u_n$ satisfying the dominant root condition and a given set of primes $p_1, \ldots, p_k$, there exist only finitely many pairs $(u_m, u_n)$ satisfying $u_m^b=p_1^{g_1} \cdots p_k^{g_k} u_n^a$ for some integers $g_1, \ldots, g_k$, $a$, and $b$.
academic

Ratios of two powers of van der Laan-Padovan numbers

基本信息

  • 论文ID: 2510.06192
  • 标题: Ratios of two powers of van der Laan-Padovan numbers
  • 作者: Tomohiro Yamada (大阪大学日本语言文化中心)
  • 分类: math.NT (数论)
  • 发表时间: 2025年10月12日 (arXiv预印本v2)
  • 论文链接: https://arxiv.org/abs/2510.06192

摘要

van der Laan-Padovan序列 PnP_n (n = 0, 1, ...) 由 P0=1P_0 = 1, P1=P2=0P_1 = P_2 = 0 和递推关系 Pn+3=Pn+1+PnP_{n+3} = P_{n+1} + P_n (n ≥ 0) 定义。本文确定了所有满足 Pmb=2g13g25g37g4PnaP_m^b = 2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_n^a 的整数对 (Pm,Pn)(P_m, P_n)，其中 g1,g2,g3,g4,a,bg_1, g_2, g_3, g_4, a, b 为整数。更一般地，对于满足主根条件的线性递推序列 unu_n 和给定素数集合 p1,…,pkp_1, \ldots, p_k，满足 umb=p1g1⋯pkgkunau_m^b = p_1^{g_1} \cdots p_k^{g_k} u_n^a 的解对 (um,un)(u_m, u_n) 只有有限多个。

研究背景与动机

问题背景

  1. 线性递推序列的算术性质: 线性递推序列的算术性质和丢番图方程一直是数论研究的重要领域。其中最广泛研究的是Lucas序列，已有许多深入的结果。
  2. van der Laan-Padovan序列: 这个序列最初由Dom Hans van der Laan在建筑学研究中引入，后来Richard Padovan进一步推广。序列为：1, 0, 0, 1, 0, 1, 1, 1, 2, 2, 3, 4, 5, 7, 9, 12, 16, 21, 28, 37, 49, 65, 86, 114, 151, 200, ...
  3. 现有理论局限: 对于一般线性递推序列，相比Lucas序列，已知结果较少。特别是对于幂次关系的研究，缺乏有效的方法来确定所有解。

研究动机

  1. 填补理论空白: 为一般线性递推序列中的幂次关系问题提供有效的解决方法
  2. 实际应用: van der Laan-Padovan序列在建筑学和几何学中有重要应用
  3. 方法论贡献: 发展适用于更广泛线性递推序列的技术

核心贡献

  1. 建立一般性有限性定理: 证明了对于满足主根条件的线性递推序列，形如 umb=p1g1⋯pkgkunau_m^b = p_1^{g_1} \cdots p_k^{g_k} u_n^a 的解只有有限多个
  2. 提供有效上界: 在定理4.1中给出了解的有效可计算上界，尽管界很大但在实际计算中可行
  3. 完全解决van der Laan-Padovan序列问题: 确定了所有满足 Pmb=2g13g25g37g4PnaP_m^b = 2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_n^a 的解
  4. 发展新的计算技术: 结合Baker方法、格约化技术和计算机验证，提供了实用的求解策略

方法详解

任务定义

给定线性递推序列 unu_n 和素数集合 {p1,…,pk}\{p_1, \ldots, p_k\}，找到所有满足以下方程的整数对 (m,n)(m,n)： umb=p1g1⋯pkgkunau_m^b = p_1^{g_1} \cdots p_k^{g_k} u_n^a 其中 g1,…,gk,a,bg_1, \ldots, g_k, a, b 为整数，a>0a > 0。

理论框架

1. 线性递推序列的表示

对于r阶线性递推序列，其通项公式为： un=∑i=1tqi(n)αinu_n = \sum_{i=1}^t q_i(n)\alpha_i^n 其中 α1,…,αt\alpha_1, \ldots, \alpha_t 是特征多项式的根，qi(n)q_i(n) 是多项式。

2. 主根条件

假设 ∣α1∣>∣α2∣≥⋯≥∣αt∣|\alpha_1| > |\alpha_2| \geq \cdots \geq |\alpha_t|，且 κ1≠0\kappa_1 \neq 0，其中 κ1\kappa_1 是 α1\alpha_1 对应的系数。

3. 线性对数形式的下界

核心技术是Matveev的线性对数形式下界定理（引理2.1）：

对于代数数 α1,…,αn\alpha_1, \ldots, \alpha_n 和整数 b1,…,bnb_1, \ldots, b_n，线性形式 Λ=b1log⁡α1+⋯+bnlog⁡αn\Lambda = b_1 \log \alpha_1 + \cdots + b_n \log \alpha_n 满足：Λ=0\Lambda = 0 或 log⁡∣Λ∣>−C(n)Ωlog⁡(c1B)\log |\Lambda| > -C(n)\Omega \log(c_1B)

算法流程

第一步：预处理和特殊情况

  1. 处理 Pn=2f13f25f37f4P_n = 2^{f_1} 3^{f_2} 5^{f_3} 7^{f_4} 的情况（引理5.1）
  2. 使用直接计算确定 n∈{0,1,…,18,20,25,36}n \in \{0, 1, \ldots, 18, 20, 25, 36\}

第二步：一般情况的上界估计

对于 Pna=2g13g25g37g4PmbP_n^a = 2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_m^b：

  1. 建立线性对数形式： Λ=g1log⁡2+⋯+g4log⁡7+(a−b)log⁡κ1+(an−bm)log⁡α1\Lambda = g_1 \log 2 + \cdots + g_4 \log 7 + (a-b) \log \kappa_1 + (an-bm) \log \alpha_1
  2. 应用Matveev定理：得到 m,nm, n 的理论上界
  3. 格约化改进：使用LLL算法和引理2.3改进上界

第三步：计算机验证

  1. 对每个可能的 mm 值，构造相应的线性对数形式
  2. 使用格约化技术获得更精确的下界
  3. 逐一验证剩余情况

技术创新点

  1. 有效性: 与之前的无效性结果不同，本文提供了有效可计算的上界
  2. 格约化技术: 创新性地结合格约化方法显著改进理论上界
  3. 分类讨论: 巧妙地将问题分解为特殊情况和一般情况，大大简化了计算复杂度

实验设置

数学常数

  • 塑性比: α1=1.324717…\alpha_1 = 1.324717\ldots (方程 X3−X−1=0X^3 - X - 1 = 0 的实根)
  • 复根: α2,α3=−0.662358…±0.562279…i\alpha_2, \alpha_3 = -0.662358\ldots \pm 0.562279\ldots i
  • 系数: κi=1/(2αi+3)\kappa_i = 1/(2\alpha_i + 3) for i=1,2,3i = 1, 2, 3
  • 参数: K=5.599815…K = 5.599815\ldots, δ=1.524702…\delta = 1.524702\ldots

计算参数

  • 初始点: n1=27n_1 = 27
  • 精度参数: μ=10\mu = 10
  • 误差界: ϵ<6.3413×10−5\epsilon < 6.3413 \times 10^{-5}

格约化设置

  • 不同阶段使用不同的格参数 (C,γ)(C, \gamma)
  • 第一阶段：(C,γ)=(10150,11)(C, \gamma) = (10^{150}, 11)
  • 后续阶段根据需要调整参数

实验结果

主要结果 (定理1.3)

如果 Pna=2g13g25g37g4PmbP_n^a = 2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_m^b 对某些整数 g1,g2,g3,g4,a,bg_1, g_2, g_3, g_4, a, b 成立且 a>0a > 0，则必须有：

  1. m,n∈{1,2,4}m, n \in \{1, 2, 4\}，或
  2. m,n∈{0,3,5,6,…,18,20,25,36}m, n \in \{0, 3, 5, 6, \ldots, 18, 20, 25, 36\}，或
  3. m,n∈{21,27,49}m, n \in \{21, 27, 49\}

中间结果

引理5.1

如果 Pn=2f13f25f37f4P_n = 2^{f_1} 3^{f_2} 5^{f_3} 7^{f_4}，则 n∈{0,1,…,18,20,25,36}n \in \{0, 1, \ldots, 18, 20, 25, 36\}。

引理5.2

如果 Pna=2g13g25g37g4PmbP_n^a = 2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_m^b 且 gcd⁡(a,b)=1\gcd(a,b) = 1，则：

  • m≤988m \leq 988
  • bm≤3.850562×1029bm \leq 3.850562 \times 10^{29}
  • an<5.5553×1029an < 5.5553 \times 10^{29}

计算验证

通过逐一检验 m≤988m \leq 988 的所有情况，确认只有上述三组解存在。验证过程中发现：

  • 对于 Hm=Pm/(2e1⋯7e4)H_m = P_m/(2^{e_1} \cdots 7^{e_4})，当 0≤m≤10120 \leq m \leq 1012 且 Hm∉{0,1}H_m \notin \{0,1\} 时，HmH_m 不是完全幂
  • 这确保了在大多数情况下 a=1a = 1

相关工作

经典结果

  1. Lucas序列: Bilu-Hanrot-Voutier定理为Lucas序列提供了强有力的工具
  2. 一般线性递推: van der Poorten-Schlickewei的增长条件，Evertse的素因子结果
  3. 有效性结果: Mignotte, Stewart, Pethö等人的有效界

近期进展

  1. Odjoumani-Ziegler: 对素数幂在线性递推序列中出现的研究
  2. Bugeaud-Kaneko: 关于完全幂的有效界
  3. Gómez Ruiz-Luca: 不同递推序列间的乘性关系

本文贡献

相比现有工作，本文首次给出了van der Laan-Padovan序列幂次关系的完整解，并提供了适用于一般线性递推序列的有效方法。

结论与讨论

主要结论

  1. 完全性: 彻底解决了van der Laan-Padovan序列的幂次关系问题
  2. 一般性: 建立了适用于满足主根条件的线性递推序列的一般理论
  3. 有效性: 提供了实际可计算的上界和算法

局限性

  1. 上界过大: 理论上界 C′′Ψlog⁡(c2C′Ψ′)C^{\prime\prime} \Psi \log(c_2 C^\prime \Psi^\prime) 在实际应用中可能过大
  2. 计算复杂度: 对于参数很大的情况，计算量仍然巨大
  3. 特定素数: 当前结果限于素数集合 {2,3,5,7}\{2, 3, 5, 7\}

未来方向

  1. 改进上界: 寻找更紧的理论上界
  2. 扩展素数集: 研究更大素数集合的情况
  3. 其他递推序列: 将方法应用到其他重要的递推序列
  4. 算法优化: 开发更高效的计算算法

深度评价

优点

  1. 理论贡献: 首次完全解决了一个具体的三阶线性递推序列的幂次关系问题
  2. 方法创新: 巧妙结合了Baker方法、格约化技术和计算机验证
  3. 实用价值: 提供了可执行的PARI-GP代码，增强了可重现性
  4. 写作清晰: 论文结构清晰，技术细节充分

不足

  1. 理论局限: 主根条件的要求限制了方法的适用范围
  2. 计算依赖: 最终结果heavily依赖计算机验证，理论分析不够深入
  3. 推广性: 向其他递推序列的推广并不直接

影响力

  1. 学术价值: 为线性递推序列的丢番图方程研究提供了新的技术路径
  2. 实用意义: van der Laan-Padovan序列在建筑学中的应用使结果具有跨学科价值
  3. 方法论: 格约化技术在数论问题中的应用具有示范意义

适用场景

  1. 数论研究: 线性递推序列的算术性质研究
  2. 计算数学: 需要精确求解丢番图方程的场合
  3. 应用数学: 涉及递推序列的实际问题

参考文献

论文引用了37篇重要文献，涵盖了线性递推序列理论、Baker方法、格约化技术等多个领域的经典和前沿工作，为研究提供了坚实的理论基础。