On mixed $b$-concatenations of Fibonacci and Lucas numbers that are Lucas numbers

以下是关于论文《On mixed b-concatenations of Fibonacci and Lucas numbers that are Lucas numbers》（关于斐波那契数和卢卡斯数的混合 $b$ 进制拼接构成的卢卡斯数）的详细技术总结：

1. 研究问题 (Problem Statement)

本文旨在解决一个数论中的丢番图方程问题，具体是寻找所有满足以下条件的卢卡斯数（Lucas numbers, $L_n$）：
这些卢卡斯数可以表示为一个斐波那契数（Fibonacci number, $F_m$）和一个卢卡斯数（$L_k$）在 $b$ 进制下的混合拼接（mixed concatenation）。

数学上，这对应于求解以下两个丢番图方程的非负整数解 $(n, m, k)$，其中 $2 \le b \le 10$：

1. 方程 (1.1): $L_n = L_m \cdot b^d + F_k$
   • 含义：卢卡斯数 $L_n$ 由卢卡斯数 $L_m$ 和斐波那契数 $F_k$ 拼接而成，$d$ 是 $F_k$ 在 $b$ 进制下的位数。
2. 方程 (1.2): $L_n = F_m \cdot b^d + L_k$
   • 含义：卢卡斯数 $L_n$ 由斐波那契数 $F_m$ 和卢卡斯数 $L_k$ 拼接而成，$d$ 是 $L_k$ 在 $b$ 进制下的位数。

其中，$d = \lfloor \log_b X \rfloor + 1$（$X$ 为 $F_k$ 或 $L_k$）。

2. 方法论 (Methodology)

作者结合了**丢番图逼近（Diophantine approximation）**中的两种核心工具来证明解的有限性并确定所有解：

2.1 线性型对数下界 (Lower bounds for linear forms in logarithms)

• 理论依据： 使用了 Matveev 定理（基于 Baker 和 Wüstholz 的工作），该定理为代数数非零线性对数形式 $|\Lambda| = |b_1 \log \gamma_1 + \dots + b_t \log \gamma_t|$ 提供了显式的下界估计。
• 应用过程：
  • 利用斐波那契数和卢卡斯数的 Binet 公式（涉及黄金分割比 $\alpha = \frac{1+\sqrt{5}}{2}$ 和 $\beta = \frac{1-\sqrt{5}}{2}$）将原方程转化为涉及 $\alpha$ 和 $b$ 的指数方程。
  • 通过代数变形构造非零的线性对数形式 $\Lambda$。
  • 利用 Matveev 定理导出变量 $n, m, k$ 的上界。虽然这些上界非常大（例如 $n < 10^{30}$ 量级），但证明了变量是有界的。

2.2 连分数缩减法 (Reduction methods based on continued fractions)

• 理论依据： 基于 Baker-Davenport 引理，并由 Dujella 和 Pethő 改进。利用 Legendre 定理处理特定情况。
• 应用过程：
  • 将线性对数形式的不等式转化为形如 $0 < |u\tau - v + \mu| < AB^{-w}$ 的不等式，其中 $\tau = \frac{\log b}{\log \alpha}$。
  • 计算 $\tau$ 的连分数展开及其收敛项（convergents）。
  • 利用引理排除那些使得不等式成立的中间变量范围，从而将 Matveev 定理给出的巨大上界（如 $10^{30}$）缩减到计算机可搜索的小范围（如 $n < 230$）。
• 计算工具： 所有计算均使用 SageMath 完成，精度高达 1000 位小数。

3. 主要贡献与结果 (Key Contributions and Results)

3.1 理论贡献

• 证明了对于 $2 \le b \le 10$，满足上述混合拼接条件的卢卡斯数只有有限个。
• 将此前关于单一序列内部拼接（如纯斐波那契数拼接）的研究扩展到了混合序列（斐波那契与卢卡斯数混合）以及任意进制的设定中。

3.2 具体解 (Specific Solutions)

作者完全确定了 $2 \le b \le 10$ 范围内的所有解。

针对方程 (1.1) $L_n = L_m \cdot b^d + F_k$ 的解：

• 对于不同的基数 $b$，解集 $(n, m, k, b, d)$ 是有限的。
• 十进制 ($b=10$) 的特例：
  • $L_5 = 11$ 是唯一的十进制解。
  • 具体形式：$11 = 101 \cdot L_1 + F_1$ 或 $11 = 101 \cdot L_1 + F_2$（注：原文此处表述为 $L_5 = 101 \cdot L_1 + F_1$，即 $11 = 1 \cdot 10^2 + 1$，这里 $L_1=1, F_1=1$，拼接逻辑为 $L_1$ 后接 $F_1$ 或 $F_2$）。
  • 原文还提到 $L_6 = 18$，但根据表格数据，$b=10$ 时主要解为 $L_5=11$。表格显示 $b=10$ 时解为 $(5, 1, 1, 10, 1)$ 和 $(5, 1, 2, 10, 1)$。

针对方程 (1.2) $L_n = F_m \cdot b^d + L_k$ 的解：

• 同样给出了所有 $b$ 下的完整解列表。
• 十进制 ($b=10$) 的特例：
  • $L_5 = 11$ 是唯一的十进制解。
  • 具体形式：$11 = 101 \cdot F_1 + L_1$。

关键发现：
在十进制（$b=10$）下，唯一满足条件的卢卡斯数是 11 ($L_5$)。它既可以看作 $L_1$ 和 $F_1/F_2$ 的拼接，也可以看作 $F_1$ 和 $L_1$ 的拼接。

4. 证明逻辑概要 (Proof Outline)

1. 界限建立： 利用 Binet 公式和不等式推导 $n, m, k, d$ 之间的初步关系（如 $n \approx m+k$）。
2. 上界估计： 应用 Matveev 定理，将方程转化为线性对数形式，得到 $n$ 的极大上界（如 $n < 6.3 \times 10^{30} (\log b)^4$）。
3. 界限缩减：
   • 利用连分数理论（Lemma 2.3 和 2.4），将 $n$ 的上界从 $10^{30}$ 量级缩减至 $n < 230$ 左右。
   • 这一过程依赖于计算 $\frac{\log b}{\log \alpha}$ 的连分数收敛项，并验证 $\epsilon > 0$ 条件。
4. 穷举搜索： 在缩减后的小范围内（$n \le 230$），利用 SageMath 进行计算机穷举搜索，验证所有可能的整数解，从而得到最终的确切解列表。

5. 意义与展望 (Significance and Future Work)

• 学术意义： 该研究丰富了线性递归序列（Linear Recurrence Sequences）中关于数字拼接（Concatenation）问题的理论体系。它展示了如何结合解析数论（对数下界）和计算数论（连分数缩减）来解决具体的混合序列问题。
• 未来方向： 作者提出，未来的研究可以探索更广泛的广义线性递归序列（Generalized Linear Recurrence Sequences）中混合拼接的有限性问题，以及是否在其他进制或更复杂的拼接模式下存在类似的有限性结果。

总结

这篇论文通过严谨的解析数论方法和高效的计算验证，彻底解决了“哪些卢卡斯数可以表示为斐波那契数和卢卡斯数的混合 $b$ 进制拼接”这一问题，证明了在 $2 \le b \le 10$ 范围内解的有限性，并给出了所有具体的解。