From ABC to Effective Roth and Ridout Constants for Cubic Roots

技术摘要：从 ABC 到立方根的有效 Roth 与 Ridout 常数

问题陈述
Roth 定理（1955）指出，对于任何代数数 $\alpha$ 和任何 $\epsilon > 0$，存在一个常数 $C(\alpha, \epsilon)$，使得对于所有整数 $p, q$，均有 $|\alpha - p/q| > C/q^{2+\epsilon}$。然而，原证明是无效的（ineffective），这意味着它仅保证了 $C$ 的存在性，却无法提供计算其显式值的方法。虽然 Bombieri（1994）和 Van Frankenhuysen（1999）已经证明了 ABC 猜想蕴含了 Roth 定理，但这些推导并未在自然的族群案例中产生显式的常数。本文旨在解决从条件的 Roth 型界限到推导显式、有效常数之间的差距，特别是针对立方根（$\sqrt[3]{k}$）的情况，通过利用 ABC 猜想的一个有效形式来实现这一目标。

方法论
作者采用了一种将丢番图逼近数据与 ABC 三元组算术属性联系起来的构造性方法。核心方法论包含三个主要部分：

1. Bombieri–Van der Poorten 公式： 作者利用了代数数（专门针对立方根 $\alpha = \sqrt[3]{k}$）的正规连分数系数（$b_n$）的显式公式。对于渐近分数 $p_n/q_n$，该公式将下一个系数 $b_{n+1}$ 与余项 $d_n = |p_n^3 - k q_n^3|$ 联系起来。具体而言，对于立方根，领先项主导了余项，从而得出如下严格不等式：
   $$b_{n+1} \leq \frac{3p_n^2 q_n}{d_n}$$
   这使得将逼近质量（由 $b_n$ 编码）转化为算术数据（$d_n$）成为可能。

2. 构造 ABC 三元组： 来自渐近分数的“结果方程” $p_n^3 = k q_n^3 + d_n$ 被转化为互质的 ABC 三元组。通过定义 $g_n = \gcd(k q_n^3, d_n) = \gcd(k, p_n^3)$，作者构造了如下三元组：
   $$\left( \frac{p_n^3}{g_n}, \frac{k q_n^3}{g_n}, \frac{d_n}{g_n} \right)$$
   这确保了三元组由互质整数组成，满足应用 ABC 猜想的前提条件。

3. 推导有效界限： 假设存在一个有效的 ABC 猜想形式（即存在常数 $K_\epsilon$ 使得 $c < K_\epsilon \cdot \text{rad}(abc)^{1+\epsilon}$），作者将构造的三元组代入不等式。通过将此与 Bombieri–Van der Poorten 界限结合，作者推导出了 Roth 定理中的 $\epsilon$ 参数（$\epsilon_{Roth}$）与 ABC 猜想中的 $\epsilon$（$\epsilon_{ABC}$）之间的显式关系，以及 Roth 常数倒数（$1/C$）的一个显式上界。

主要贡献与结果

• 立方根的显式 Roth 常数： 本文为 $\sqrt[3]{k}$ 的 Roth 常数倒数推导出了一个完全显式的界限。参数间的关系由 $\epsilon_{Roth} = \frac{3\epsilon_{ABC}}{1+\epsilon_{ABC}}$ 给出。$1/C$ 的界限由 ABC 常数 $K_\epsilon$、整数 $k$ 以及初始渐近分数表示。
• $\sqrt[3]{2}$ 的数值分析： 作者将该方法应用于 $\sqrt[3]{2}$。对于 $\epsilon_{Roth} = 0.5$，基于 ABC 的推导得到的 $1/C$ 界限约为 $13.16$，而 Korobov 的精确结果为 $3.15$。虽然在这一特定实例中，基于 ABC 的界限不够精确（归因于使用了粗略的渐近分数上界），但这证明了该方法的可行性。文中也提供了针对 $\epsilon_{Roth} = 0.4$ 的类似计算。
• 向 Ridout 定理的扩展： 该方法论被扩展用于为平方根和立方根的 Ridout 定理（关于 $S$-整数逼近）提供显式界限。作者表明，对于固定的 $\epsilon > 0$ 和有效的 ABC 常数，解的集合是有限且可显式界定的。
• 逼近增益与猜想： 文中引入了一个新概念——“逼近增益”（approximation gain），将其作为对 ABC “质量”（quality）的一种精细化描述。它是基于方程中各项的对数比定义的。作者证明，对于立方根（$k \geq 3$ 及 $k=2$），逼近增益严格受限于 $3/2$。
  • 定理 2.7 & 2.8： 对于所有由 $\sqrt[3]{k}$ 的渐近分数产生的计算结果，其逼近增益均小于 $3/2$。
  • 计算验证： 该界限已在 $c < 2^{63}$ 的情况下通过计算得到验证。

意义与主张
本文声称使 Roth 型常数对 ABC 参数的依赖关系变得显式化，实现了从理论蕴含到针对立方根的可计算框架的跨越。其意义在于：

1. 架起理论与计算的桥梁： 它提供了一条在假设有效 ABC 猜想的前提下，计算丢番图逼近界限的具体路径。
2. ABC 猜想的策略性分解： 作者提出了一种通过将 ABC “命中”（hit）的“质量”分解为两个组成部分——“逼近增益”和“幂次增益”（power gain）——来攻击 ABC 猜想的潜在策略。
   • 他们猜想逼近增益始终受限于 $3/2$（已在立方根情形下得到证明）。
   • 他们认为，如果幂次增益也能被限制（例如限制在 3 以内），那么 ABC 猜想就可以被证明。
3. 界限的精细化： 该工作引入了逼近增益作为一个度量，它始终小于或等于标准的质量，从而为分析 ABC 命中提供了更紧凑的约束。

作者对推导出的 Roth 常数的精确度保持谦逊，指出在测试案例（如 $\sqrt[3]{2}$）中，基于 ABC 的界限目前仍比已知的特定结果（如 Korobov 的结果）要松。然而，他们强调该方法成功地使常数变得显式，并为未来研究 ABC 猜想提供了一种全新的分解视角。