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\}$ に関するテクニカル・サマリー」

問題設定
本論文は、非負整数 $x, a, b$ における以下のディオファントス不等式を調査している：
$$1 \le |x^2 - 2^a \cdot 3^b| < 3 \max\{a, b\}$$
著者らは、すべての解の集合 $(a, b, x)$ を特定することを目的としている。この問題は、加法的および乗法的数論の交差点に位置しており、特に、指数が指数関数的に増大する一方で誤差項が指数の線形関数によって制約されているとき、完全平方数が3-smooth数（$2^a 3^b$ の形をした数）にいかに近似できるかを検証している。これは、古典的な方程式 $x^2 = 2^a 3^b$（$a$ と $b$ が偶数である無限の自明な解を持つ）とは対照的である。この不等式は、差がゼロではないものの比較的小さい「ニアミス（惜しい値）」の探索を制限している。

手法
証明戦略は、$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$):
   より大きな指数に対して、著者らは問題を、$d \in \{2, 3, 6\}$ である無理数 $\sqrt{d}$ に関する有理近似問題へと帰着させる。

• 連分数への帰着: $a$ と $b$ のパリティを分析することで、$2^a 3^b$ は $2^{2\alpha} 3^{2\beta} d$ と書き換えられる。この不等式は、有理数 $x_0/y_0$ が、誤差が $K/y_0^2$ （ここで $K$ は $A$ に依存する）で抑えられる形で $\sqrt{d}$ を近似することを意味する。
• 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$ 進対数形式の線形形式: 指数 $n$（およびそれに伴う $A$）を抑えるために、著者らは統一された方程式の $p$ 進付値（$p \in \{2, 3\}$）を取る。彼らは、BugeaudとLaurentによる2つの対数に関する $p$ 進線形形式の下界定理を適用する。このステップにより、初期の、とはいえ非常に大きな、$A$ の上界（約 $3.57 \times 10^7$）が得られる。
• LLLアルゴリズムによる簡約: 初期の上界は直接計算するには大きすぎる。著者らは、対数形式から導出された線形形式に基づく格子を構成することにより、Lenstra–Lenstra–Lovász (LLL) 格子簡約アルゴリズムを用いて、上界 $A$ を $2200$ まで大幅に絞り込む。

3. 特殊なケースの処理:
   著者らは、線形形式に含まれる代数的数が乗法的に従属している潜在的なエッジケースに対処する。彼らは、これらのシナリオにおいて $A$ の上界がさらに小さくなる（$A < 180$）ことを示し、これらのケースが初期の計算探索ですでにカバーされていることを保証する。

主要な貢献と結果

• 完全な分類: 本論文は、不等式を満たす非負整数解 $(a, b, x)$ がちょうど 57個 存在することを確立している。
• 明示的なリスト: 57個の解すべてが論文の表1.1に明示されている。著者らは、もし $x, a, b$ を正の整数に限定して探索する場合、解はちょうど28個になることを注記している。
• 手法の統合: 本研究は、古典的なディオファントス近似の手法（Worleyの定理、連分数）と、現代的な超越論的手法（Bugeaud–Laurentの下界）、および計算的な格子簡約（LLL）を組み合わせることで、特定のディオファントス不等式を完全に解決できる有効性を示している。

意義
本論文は、多項式表現が乗法的に構造化された集合（smooth数）を近似するディオファントス不等式を理解するという、より広範なプログラムに寄与している。これは、「ニアミス」方程式の研究を、定数誤差を持つケース（Pillai型の方程式など）を超えて、制御された誤差項を持つケースへと拡張するものである。著者らは、誤差項が指数に対して定数ではなく線形に増大する場合、極めて制約の強い領域となり、有限個の解しか許容しないことを強調している。この特定の不等式の解決は、現在の超越論的手法がこのような問題を完全に解決する上で強力であることを示す実例となっている。