From ABC to Effective Roth and Ridout Constants for Cubic Roots

技術要約：ABC予想から立方根に対する有効なロートおよびリドウト定数へ

問題提起
ロートの定理（1955年）は、任意の代数的数 $\alpha$ と任意の $\epsilon > 0$ に対して、すべての整数 $p, q$ について $|\alpha - p/q| > C(\alpha, \epsilon)/q^{2+\epsilon}$ を満たす定数 $C(\alpha, \epsilon)$ が存在することを確立している。しかし、元の証明は非有効的（ineffective）であり、これは $C$ の存在を保証するものの、その具体的な値を算出する方法は提供していない。ボンビエーリ（1994年）およびファン・フランケンフハイゼン（1999年）は、ABC予想がロートの定理を内含することを実証したが、これらの含意は自然な一連のケースにおいて明示的な定数を導き出すには至っていない。本論文は、条件付きのロート型の境界の存在と、明示的かつ有効な定数の導出との間の溝を埋めることを目的としており、特に立方根（$\sqrt[3]{k}$）に対して、有効な形式のABC予想を活用することでこれに取り組む。

手法
著者らは、ディオファントス近似のデータとABC三組の算術的性質を結びつける構成的なアプローチを採用している。核となる手法は、主に以下の3つのコンポーネントで構成される。

1. ボンビエーリ–ファン・デル・ポルトル公式： 著者らは、代数的数（$\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予想（$c < K_\epsilon \cdot \text{rad}(abc)^{1+\epsilon}$ を満たす定数 $K_\epsilon$ が存在する場合）を仮定し、構成した三組をこの不等式に代入する。これとボンビエーリ–ファン・デル・ポルトルの境界を組み合わせることで、ロートの定理における $\epsilon$ パラメータ（$\epsilon_{Roth}$）と、ABC予想における $\epsilon$（$\epsilon_{ABC}$）との間の明示的な関係、およびロート定数の逆数（$1/C$）の明示的な上界を導出する。

主要な貢献と結果

• 立方根に対する明示的なロート定数： 本論文は、$\sqrt[3]{k}$ に対するロート定数の逆数について、完全に明示的な境界を導出している。パラメータ間の関係は $\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$ についても提供されている。
• リドウトの定理への拡張： 本手法は、平方根および立方根の両方について、リドウトの定理（$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}$ において計算によって検証されている。

意義と主張
本論文は、ロート型の定数とABCパラメータとの依存関係を、理論的な含意から計算可能な枠組みへと、立方根に対して明示的にすることを目的としている。その意義は以下の点にある：

1. 理論と計算の架け橋： 有効なABC予想を仮定した場合の、ディオファントス近似の境界を計算するための具体的な経路を提供している。
2. ABC予想の戦略的分解： 著者らは、ABCヒットの「質」を「近似ゲイン」と「冪ゲイン（power gain）」の二つの成分に分離するという、ABC予想への潜在的な攻撃戦略を提案している。
   • 近似ゲインは常に $3/2$ によって抑えられる（立方根については証明済み）。
   • もし冪ゲインも（例えば 3 によって）抑えることができるならば、ABC予想を証明できる可能性がある。
3. 境界の精緻化： 本研究は、近似ゲインを標準的な「質」よりも常に小さく、あるいは等しい指標として導入しており、ABCヒットを分析するためのよりタイトな制約を提供するものである。

著者らは、導出されたロート定数の精度については謙虚な姿勢を保っており、テストされたケース（$\sqrt[3]{2}$ など）において、ABCに基づく境界が既知の特定の結果（例：コロボフの結果）よりも現在では緩いことを指摘している。しかし、彼らは、このアプローチが定数を明示的にすることに成功しており、ABC予想の研究に向けた新しい分解法を提供していることを強調している。