Variants on the $abc$-Conjecture using Alternative Quality Metrics

技術要約：代替品質指標を用いたabc予想の変種

問題提起
MasserとOesterléによって定式化されたabc予想は、互いに素な三つ組 $(a, b, c)$（ただし $a+b=c$ を満たす）に対する「品質」 $q_s(a, b, c) = \ln(c) / \ln(\text{rad}(abc))$ の漸近的境界を提唱している。この予想は、数論における深遠な結果（$n \ge 6$ におけるフェルマーの最終定理を含む）を包含しているが、未だ未解決である。abc予想を分析する上での主要な困難は、標準的な指標の下では大きな $c$ に対して高品質な三つ組を決定することが計算量的に困難であること、および標準的な指標は、指数が十分に大きい場合には多くの素因数を持つ三つ組によって達成され得る「小さなラジカル」を持つ三つ組を優先することにある。本論文では、代替の品質指標、特に異なる素因数の数 ($\omega$) をより積極的に罰則化する指標を用いることで、標準的な指標と同様の漸近的挙動を持つ、扱いやすい（tractableな）abc予想の変種が得られるかどうかを調査する。

手法
著者らは、$abc$ の素因数の**二重幾何平均（DGM: Doubly Geometric Mean）**に基づく新しいクラスの品質指標を導入する。

1. DGM品質の定義: 標準的な品質は、$abc$を割る素数の幾何平均と$\ln(c)$ との比較と見なされる。著者らは、幾何平均を二重幾何平均に置き換えることで、DGM品質 $q_{DGM}$ を以下のように定義する：
   $$q_{DGM}(a, b, c) = \frac{\ln(c)}{\exp\left(\frac{1}{\omega} \sum_{i=1}^\omega \ln \ln p_i\right)} = \frac{\ln(c)}{\omega \cdot \sqrt[\omega]{\prod_{i=1}^\omega \ln p_i}}$$
   この指標は、分母における線形因子と素数の対数的重み付けを通じて、$\omega$ によるペナルティを明示的に課しており、素因数の大きさに関わらず、少ない素因数を持つ三つ組を優先する。

2. パラメータ化されたクラス: 著者らは、$\omega$ の影響と分母の成長率を調整するためのパラメータ $\alpha$ および $\beta$ を導入することで、これをDGM品質クラス $q_C(a, b, c; \alpha, \beta)$ へと一般化する。

3. 解析的手法: 著者らは以下を用いる：

   • 漸近解析: 特定の三つ組の族（例：メルセンヌ、双子素数、固定素数列）を構築し、品質指標の $\limsup$ を決定する。
   • 条件付き証明: 双子素数予想、Lenstra-Pomerance-Wagstaff予想、およびチェンの定理、ミハイレスクの定理を活用して、境界を確立する。
   • 楕円曲線との関連: abc三つ組をFrey曲線へと写像し、Szpiro比および標準的なabc予想と関連付ける。
   • アルゴリズムの実装: 総当たり（ブルートフォース）のアプローチと比較して、劣線形な実行時間を持つ構成的列挙アルゴリズムを開発する。

主な貢献と結果

• DGM品質の非有界性: 標準的な品質（1に抑えられると予想されている）とは異なり、著者らは $q_{DGM}$ が非有界であることを証明する。

  • 定理 3.9: $\limsup_{c \to \infty} \max q_{DGM} = \infty$。
  • これは、メルセンヌ素数（定理 3.8）、フェルマー素数、または双子素数の無限性を仮定することで確立される。
  • 定理 3.12: チェンの定理を用いて、三つ組 $(2, p, p+2)$（ここで $p+2$ は素数または2つの素数の積 $P_2$ である）の族を構成することにより、非条件的な非有界性の証明が提供される。

• DGMクラスにおける相転移: 論文は、$q_C$ のパラメータ $\beta$ に関する臨界閾値を特定している。

  • 定理 4.4: 固定された素数の数 $\omega$ と、$c$ と共に増加する $k$ 個の素数を持つ三つ組の族において、$\beta_0 = \omega/k$ で相転移が発生する。
    • $\beta < \omega/k$ の場合、品質は $\infty$ に発散する。
    • $\beta = \omega/k$ の場合、品質は有限の非ゼロ定数に収束する。
    • $\beta > \omega/k$ の場合、品質は 0 に収束する。
  • これは、$\beta$ を増大させることで、特定の三つ組の族が高品質な候補集合から排除される「飽和」条件を確立している。

• 標準的な品質との関係:

  • 定理 4.13 および 4.15: 標準的な品質 $q_s$ は、「パッキング効率」因子 $\eta$（素数の対数の算術平均と幾何平均の比）を介してDGM品質と関連していることが示される。具体的には、$q_s = \eta \cdot q_{DGM}$ である。
  • 著者らは、abc予想が $q_{DGM}$ が $\eta$ の $1/\eta$（定数を除いて）によって抑えられるという主張と等価であることを示しており、これは $q_{DGM}$ の発散が、素数の数が増えるにつれての $\eta$ の減衰によって制御されていることを示唆している。

• アルゴリズムの効率性:

  • 論文は、高品質な三つ組を見つけるための4つのアルゴリズムを提示している。
  • アルゴリズム 3 および 4 (メルセンヌおよび円分数): これらは、$b^n - 1$ の形式の数の事前計算された因数分解を利用する。これらは $O(d)$ の計算量（ここで $d$ は $c$ の桁数）を達成しており、総当たり法の $O(10^d)$ の計算量に対して大幅な改善となっている。
  • 円分数アルゴリズム（アルゴリズム 4）を用い、底 $b=7$ を使用した場合、著者らは約14,060のDGM品質を持つ三つ組を特定した。これは、メルセンヌの最大品質（約4,544）を大きく上回っており、かつ $c$ 自体はより小さい。

意義と主張
本論文は、DGM指標が解析的に扱いやすい「堅牢な変種」としてのabc予想を提供すると主張している。

• 扱いやすさ（Tractability）: 焦点を $\omega$ を厳しく罰則化する指標へと移すことで、標準的な予想が未解決であるのに対し、DGMの類推（品質の非有界性）がチェンの定理を用いて無条件に証明可能であることを示している。
• 位相空間の分析: $(\alpha, \beta)$ パラメータ空間の導入により、異なる三つ組の族が漸近的にどのように振る舞うかを詳細に研究することが可能となる。相転移の特定は、標準的な予想が、一連の品質指標の中の一点として捉えられる可能性があることを示唆している。
• 計算上の利点: 劣線形アルゴリズムの開発により、標準的な指標の下で以前よりもはるかに大きな三つ組を探索することが可能となり、新しい指標の下での高品質な三つ組の分布に関する経験的データを提供している。
• 理論的架け橋: 本研究は、パッキング効率を通じて標準的なabc予想とDGM指標との間の直接的な繋がりを確立しており、DGMクラスの漸近的挙動を理解することが、元の予想の証明に関連する「減衰」メカニズムへの洞察を与える可能性を示唆している。

著者らは、DGMの類推は非有界であり（したがって有界な標準的予想とは異なる）、品質指標の修正された枠組みとそれらの相転移の研究は、独立した解析的問題や、基礎となる素数構造のより深い理解への有望な道筋を提供するものであると結論付けている。