On the Diophantine Inequality $\lvert x^{2} - 2^{a}\cdot 3^{b}\rvert < 3\max\{a,b\}$

关于丢番图不等式 $|x^2 - 2^a \cdot 3^b| < 3 \max\{a, b\}$ 的技术总结

问题陈述
本文研究了如下丢番图不等式：
$$1 \le |x^2 - 2^a \cdot 3^b| < 3 \max\{a, b\}$$
其中 $x, a, b$ 为非负整数。作者旨在确定所有解 $(a, b, x)$ 的集合。该问题处于加法数论与乘法数论的交汇点，具体探讨了一个完全平方数在误差项随指数线性增长（而 $2^a 3^b$ 项本身呈指数级增长）的情况下，能在多大程度上逼近一个 3-光滑数（即形如 $2^a 3^b$ 的数）。这与经典方程 $x^2 = 2^a 3^b$ 形成了对比，后者在 $a$ 和 $b$ 均为偶数时存在无穷多个平凡解。该不等式将搜索范围限制在“近失”（near-misses）情况，即差值不为零但相对较小。

方法论
证明策略根据 $A := \max\{a, b\}$ 的量级分为两个分支，结合了计算验证、解析数论和超越方法。

1. 小规模情形 ($A \le 2200$)：
   作者使用 SageMath 进行穷举计算搜索。对于范围 $[0, 2200]$ 内的每一对 $(a, b)$，他们确定最接近 $\sqrt{2^a 3^b}$ 的候选整数 $x$（具体为 $\lfloor \sqrt{2^a 3^b} \rfloor$ 和 $\lfloor \sqrt{2^a 3^b} \rfloor + 1$），并直接验证不等式。这产生了一个有限的解列表。

2. 大规模情形 ($A > 2200$)：
   对于较大的指数，作者将问题归约为涉及无理数 $\sqrt{d}$（其中 $d \in \{2, 3, 6\}$）的有理逼近问题。

   • 归约为连分数： 通过分析 $a$ 和 $b$ 的奇偶性，将项 $2^a 3^b$ 改写为 $2^{2\alpha} 3^{2\beta} d$。该不等式意味着有理数 $x_0/y_0$ 逼近 $\sqrt{d}$ 的误差受限于 $K/y_0^2$，其中 $K$ 取决于 $A$。
   • Worley 定理： 作者应用 Worley 定理来刻画此类有理逼近。这确立了 $x_0/y_0$ 要么是 $\sqrt{d}$ 的连分数的一个渐近分数，要么是连续渐近分数的特定线性组合。这导出了一个统一的指数丢番图方程，形式为：
     $$2\sqrt{d} y_0 = C\gamma^n + D\delta^n$$
     其中 $\gamma$ 是二次域 $\mathbb{Q}(\sqrt{d})$ 的基本单位，$C, D$ 是由特定族参数化的代数整数。
   • $p$-adic 对数线性形式： 为了限制指数 $n$（从而限制 $A$），作者对统一方程取 $p$-adic 估值（$p \in \{2, 3\}$）。他们应用了 Bugeaud 和 Laurent 关于两个对数的 $p$-adic 线性形式下界定理。这一步得到了一个虽然极大但有限的 $A$ 的初始上界（约 $3.57 \times 10^7$）。
   • LLL 算法约减： 初始上界过大，无法直接计算。作者采用 Lenstra–Lenstra–Lovász (LLL) 格约减算法显著收紧了界限。通过构造一个基于对数方程中线性形式的格，他们将 $A$ 的上界缩减至 $2200$。

3. 处理特殊情况：
   作者处理了涉及线性形式中代数数具有乘法相关性的潜在边缘情况。他们证明了在这些情形下，$A$ 的界限会变得更小（$A < 180$），从而确保这些情况已被初始计算搜索所覆盖。

主要贡献与结果

• 完整分类： 本文确定了该不等式恰好有 57 个非负整数解 $(a, b, x)$。
• 显式列表： 所有 57 个解均列于论文的表 1.1 中。作者指出，如果将搜索限制在正整数 $x, a, b$，则恰有 28 个解。
• 方法论综合： 该工作展示了结合经典丢番图逼近工具（Worley 定理、连分数）与现代超越方法（Bugeaud–Laurent 界限）以及计算格约减（LLL）来解决特定丢番图不等式的有效性。

意义
本文为理解其中包含多项式表达式逼近乘法结构集合（光滑数）的丢番图不等式提供了广泛的程序贡献。它将“近失”方程的研究从精确丢番图方程（如 Pillai 型方程）领域扩展到了具有受控误差项的情形。作者强调，由于误差项随指数线性增长而非常数，这创造了一个高度受限的机制，使得解仅有有限个。成功解决这一特定不等式，证明了当前超越方法在完全解决此类问题方面的强大能力。