Integers representable as a difference of two rational fourth powers

アシュリー・ラトリフとグエン・スアン・トによる論文「2 つの有理数 4 乗の差として表せる整数」の詳細な技術的要約を以下に示す。

1. 問題の定義

本論文は、以下のディオファントス方程式の可解性を取り扱っている：
$$n = x^4 - y^4$$
ここで、$n$ は正の整数であり、$x, y$ は0 でない有理数である。

この問題の動機は、指数 $n=4$ に対するフェルマーの最終定理にあり、これにより $1$は 2 つの 0 でない有理数 4 乗の差として表せないことが示唆される。2 つの有理数 4 乗の*和* ($x^4 + y^4 = n$) の場合については、Cohen、Bremner、および Tho によって $n \le 10,000$ に対してほぼ解決されたが、差の場合については特定の値において未完了であった。著者らは、この形式で表せるすべての正の整数 $n \le 10,000$ の完全なリストを提供することを目的としている。

数学的には、この問題は $xyz \neq 0$ となる整数解 $(x, y, z)$ を求めることと同値であり、同次方程式
$$x^4 - y^4 = nz^4$$
を解くことに帰着される。4 乗の性質により、4 乗自由な（4 乗で割り切れない）$n$ についてのみ分析すれば十分である。

2. 手法

著者らは、楕円曲線、局所障害、およびガウス整数における因数分解の手法を組み合わせた、多層的な計算および理論的アプローチを採用している。作業フローは 3 つの主要な段階に分けられる。

A. 簡単な簡約と楕円曲線（節 2.1 および 2.2）

最初のステップは、特定の楕円曲線上の有理点の探索に問題を還元することである。

• 変換: $x^4 - y^4 = nz^4$ の任意の非自明な整数解は、以下の 3 つの関連楕円曲線のいずれか上の有理点の存在を意味する：
  1. $Y^2 = X^3 + nX$
  2. $Y^2 = X^3 - nX$
  3. $Y^2 = X^3 - n^2X$
• ランク 0 の判定: これらの曲線のいずれかがランク 0 である場合、有理点の集合は有限（ねじれ点のみ）となる。著者らはコンピュータ代数システムMagmaを用いてランクとねじれ点を計算する。ねじれ点が有効な解（$xyz \neq 0$）を与えない場合、その方程式は解なしと証明される。
• 8 次方程式への還元: 曲線が正のランクを持つ場合、問題（定理 2 により）以下の形式の方程式を解くことに還元される：
  $$a^2u^8 + b^2v^8 = cw^4$$
  ここで、$a, b, c$ は $abc \in \{n/8, 2n\}$ となる互いに素な整数である。
• 局所障害とモルデル・ヴェイル篩:
  • 局所障害: 著者らは $p^k$ 法における解をチェックする。ある素数に対して互いに素な解が存在しない場合、その方程式は大域的に解を持たない。
  • モルデル・ヴェイル篩: 局所障害では解を排除できない方程式の場合、著者らは問題を 8 次方程式から導かれる楕円曲線上の有理点の探索にマッピングする。そして、モルデル・ヴェイル篩を用いて、ある素数 $p$ において生成される点の群が、可能な局所解の集合と交わらないことを確認し、これにより解なしを証明する。

B. 三平方の定理による手法（節 2.3）

8 次方程式 $a^2u^8 + b^2v^8 = cw^4$ における係数 $c$ が完全平方数（$c=k^2$）である特定のケースでは、方程式を三平方の組を含む系に変換できる：
$$x^2 + y^2 = z^2$$
原始三平方の組の標準的なパラメータ化を用いることで、著者らは 4 乗を含む方程式系（例：$d^2U^8 - e^2V^8 = bv^4$）を解く問題に還元する。この手法は、篩の手法では解決できなかった多くのケースを成功裏に解決した。

C. $\mathbb{Z}[i]$ における因数分解（節 3 および付録 B）

残りの頑固なケース（論文の表 2 にリストされている）については、著者らはガウス整数環 $\mathbb{Z}[i]$ における因数分解の手法を利用する。

• 因数分解: 方程式 $a^2u^8 + b^2v^8 = cw^4$ は以下のように書き換えられる：
  $$(au^4 + bv^4i)(au^4 - bv^4i) = cw^4$$
• ガウス整数: $\mathbb{Z}[i]$ における gcd と $c$ の素因数分解を分析することで、著者らは以下を導き出す：
  $$au^4 + bv^4i = \alpha(s + ti)^4$$
  ここで、$\alpha$ は $\mathbb{Z}[i]$ における $c$ の約数である。
• スキームの局所非可解性: 実部と虚部を等置することで、変数 $s, t, u, v$ に関する 2 つの同次 4 次方程式の系が得られる。これは射影空間 $\mathbb{P}^3(\mathbb{Q})$ におけるスキームを定義する。著者らは Magma を用いて、このスキームが特定の素数（通常は 2, 3, 5、または 17）において局所的に解を持たないかどうかをチェックする。もしスキームが $p$ 法において解を持たなければ、元のディオファントス方程式は整数解を持たない。

3. 主な貢献

1. 完全な分類: 本論文は、2 つの 0 でない有理数 4 乗の差として表せるすべての正の整数 $n \le 10,000$ の完全なリストを提供する。
2. 未解決ケースの解決: 著者らは、Grechuk と Tho による先行研究で未解決となっていた特定のケース（$n = 219, 463, 514$ など、$n=10,000$ までの他の値）を解決した。
3. アルゴリズム的枠組み: 本論文は、楕円曲線のランク、モルデル・ヴェイル篩、三平方のパラメータ化、およびガウス整数の因数分解を組み合わせた堅牢な計算パイプラインを詳述している。この枠組みは、より高次の冪を含む同様のディオファントス問題に応用可能である。
4. OEIS シーケンス: 結果は、オンライン整数列大百科事典（OEIS）において、シーケンスA393616（0 でない有理数 4 乗）およびA393617（0 を含む）としてカタログ化されている。

4. 結果

• 可解な整数: 論文の表 3 には、$x^4 - y^4$ として表せる $n \le 10,000$ の136個の整数がリストされている。それぞれについて、具体的な有理数表現が提供されている（例：$5 = (3/2)^4 - (1/2)^4$）。
• 不可解な整数: 本論文は、範囲 $1 \le n \le 10,000$ 内の残りの整数が0 でない有理数解を持たないことを証明している。
• 特定のケース: 付録には、$\mathbb{Z}[i]$ における因数分解手法を必要とした 33 の「困難な」ケースに対する網羅的な証明が提供されている。例えば、$n=463$ の場合、方程式 $214369u^8 + v^8 = 2w^4$ が、関連するスキームが $p=2$ および $p=3$ で局所的に解を持たないことを証明することで、解を持たないことが示されている。

5. 意義

• 調査の完了: この研究は、4 乗の和に関する Cohen の調査と並行しており、差の場合の $10,000$ までの全体像を完成させた。
• 方法論的進展: 古典的な数論（ガウス整数、三平方の組）と現代の計算ツール（Magma、モルデル・ヴェイル篩）を組み合わせることで、高次のディオファントス方程式を解く力を示している。
• 将来の研究の基盤: 詳細な付録と「困難な」ケースに対して使用された特定の手法は、6 乗の和や差、あるいはより高次の指数に関する同様の問題に取り組むための青写真となっている。

結論として、ラトリフとトは、有理数 4 乗の差に関する文献におけるギャップを成功裏に埋め、指定された範囲内で表せる整数の決定的なリストと、表せないものに対する厳密な証明を提供した。