論文「ON REGULAR HIGHER POWER RATIONAL DIOPHANTINE TRIPLES」の技術的概要

著者: Alen Andrašek
日付: 2026 年 4 月（arXiv 投稿日）

1. 問題の背景と定義

本論文は、ディオファントス $m$-組（Diophantine $m$-tuples）の一般化である「高次幂（higher power）の有理数ディオファントス $m$-組」の研究に焦点を当てています。

• 定義: 互いに異なる非零有理数 $\{a_1, \dots, a_m\}$ が $k$ 乗ディオファントス $m$-組であるとは、任意の $1 \le i < j \le m$ に対して $a_i a_j + 1$ が有理数の $k$ 乗（$t_{ij}^k$）となることを指します。
• 既存の知見:
  • $k=2$（平方）の場合、整数 5 組は存在せず、有理数 6 組は存在することが知られています。
  • $k=3$（立方）および $k=4$（4 乗）の場合、特定の整数例やパラメトリック族が既知ですが、一般の $k$ に対する有理数解の完全な分類は未解決です。
  • Batta, Szikszai, Tengely は任意の $k$ に対してパラメトリック族が存在することを示しましたが、その族は常に負の要素を含みます。
• 本研究の目的: 特に $k=4$（4 乗）の場合に焦点を当て、すべての要素が正である非自明な無限族を構築すること、および $k=6, 8$ への拡張の可能性と難しさを検討することです。

2. 手法と主要なアプローチ

2.1. 正則性（Regularity）の概念の導入

古典的なディオファントス 3 組の「正則性」の定義を 4 乗の場合に拡張しました。

• 定義 2: 3 組 $\{a, b, c\}$ が 4 乗ディオファントス 3 組であり、かつ $a = s^2 - r^2$ （または同値に $c = a + b + 2r^2$）を満たすとき、これを正則な 4 乗ディオファントス 3 組と呼びます。
• この条件を課すことで、3 つ目の方程式 $bc+1=t^4$ が楕円曲線上の点の存在問題に帰着されます。具体的には、以下の関係式を満たす有理数 $r, s, t$ を見つける必要があります。
  $$\frac{s^2 r^2 - 1}{s^2 - r^2} = t^2$$
  これは、パラメータ $r$ を固定したときの楕円曲線として解釈できます。

2.2. 楕円曲線とパラメトリック族の構築

上記の方程式を満たす無限個の有理数解 $(r, s)$ を見つけるために、以下の 3 つの異なるアプローチ（パラメトリック族）を提案しました。

1. 第一の族（$a$ が平方数となる場合）:

   • $a = s^2 - r^2$ が有理数の平方になるよう $s$ を $r$ の関数として設定し、得られる曲線を Weierstrass 標準形に変換しました。
   • 得られた楕円曲線はランク 1 であり、無限個の有理点（無限位数の点）が存在します。
   • これらの点から導かれる 3 組 $\{a, b, c\}$ は、パラメータ $u$ を適切に選ぶことですべて正の要素を持つことを証明しました（定理 1）。

2. 第二の族（$s = \alpha r$ の場合）:

   • $s$ と $r$ の比が定数 $\alpha$ となるような構造を仮定し、同様に楕円曲線のパラメトリック解を導出しました。
   • これにより、異なるパラメータ形式を持つ無限族が得られました。

3. 第三の族（ペル方程式からの導出）:

   • 整数解の探索において、$r$ と $p$ がペル方程式 $p^2 - 3r^2 = 1$ を満たす場合に、楕円曲線 $E_r$ 上に無限位数の点が存在することを発見しました。
   • このペル方程式の解をパラメータ $u$ で表現し、これに基づいた新たな無限族を構築しました。

2.3. 高次幂（$k=6, 8$）への拡張の検討

• 一般化: 正則な $2k$ 乗 3 組の存在は、以下の連立方程式の有理数解 $(X, Y, Z, W)$ の存在に帰着されます。
  $$X^k + Y^k = Z^k + W^k, \quad XYZW = Q^2$$
• $k=3$（6 乗の場合）:
  • $x^3 + y^3 = z^3 + 1$ の解は既知ですが、積 $xyz$ が平方数となる条件を満たす解を見つけるのは困難です。
  • 数値探索により、いくつかの非自明な 6 乗 3 組（正の要素を持つもの含む）を発見しましたが、パラメトリック族の構築は困難でした。
• $k=4$（8 乗の場合）:
  • $X^4 + Y^4 = Z^4 + W^4$ の解（オイラーのパラメトリック族など）を用いて $XYZW$ が平方数となる条件を調べました。
  • この条件は種数 2 の曲線に帰着され、有理数解は有限個しか存在しない可能性が高く、パラメトリック族の構築には適さないことが示されました。

3. 主要な結果

1. 正の 4 乗ディオファントス 3 組の無限族の存在証明:
   • 既存のパラメトリック族（式 (1)）は常に負の要素を含んでいましたが、本研究で構築した 3 つの族（特に第一の族と第三の族の一部）を用いることで、すべての要素が正である 4 乗ディオファントス 3 組が無限に存在することを証明しました（定理 1）。
2. 既知の整数解の再解釈:
   • Dujella と Bugeaud によって発見された唯一の既知の整数 4 乗 3 組 $\{1352, 9539880, 9768370\}$ が、本研究で定義した「正則」な 3 組に属していることを示しました。
3. 高次幂における難しさの明確化:
   • $k=6$（6 乗）および $k=8$（8 乗）の場合、正則な 3 組の構築は、より高次のディオファントス方程式や高種数の曲線の問題に帰着され、$k=4$ のような単純なパラメトリック族の構築が極めて困難であることを示しました。

4. 意義と結論

• 理論的貢献: 高次幂ディオファントス 3 組に対する「正則性」の概念を確立し、それを楕円曲線の理論と結びつけることで、$k=4$ の場合の構造を深く理解しました。
• 実用的成果: 正の要素を持つ無限族の具体的なパラメトリック表現を提供し、今後の研究や数値探索の基盤となりました。
• 将来の展望: 6 乗や 8 乗の正の 3 組が無限に存在するかどうかは未解決ですが、本研究で提示されたアプローチ（正則性の仮定と楕円曲線への帰着）は、より高次の場合の研究においても有効な指針となると期待されています。

本論文は、ディオファントス $m$-組の理論において、平方の場合から高次幂への拡張における重要な一歩を踏み出したものと言えます。