Exponent-one blockers and a Mordell-Weil construction of Euler bricks

レンエ・ペシュマンによる論文「指数 1 のブロッカーとオイラーレンガのモルデル・ヴェイル構成」の詳細な技術的要約を以下に示す。

1. 問題提起

本論文は、18 世紀に遡る数論における有名な未解決問題である完全直方体問題（Perfect Cuboid Problem）に取り組んでいる。

• 定義：完全直方体とは、3 つの辺の長さ（$e_1, e_2, e_3$）が整数であり、かつ 3 つの面の対角線および空間対角線もすべて整数となる直方体を指す。
• 現状：これまでに完全直方体の例は見つかっておらず、その非存在証明もなされていない。
• 範囲：本論文は、辺と面の対角線が整数であるが、空間対角線が整数である必要はない「ボディ・キューボイド（Body Cuboids）」、すなわちオイラーレンガに焦点を当てている。これらは豊富に存在し、古典的な無限族（例：サウダソン、オイラー）および広大な散在集合によってパラメータ化されている。
• 目的：著者は、ボディ・キューボイドが完全直方体とならない構造的な性質を調査し、その非存在に関する仮説を検証するための大規模な新規事例データセットを生成することを目的としている。

2. 手法

本論文は、代数幾何学（楕円ファイバー）と計算数論（大規模な素因数分解と検証）を組み合わせる二重のアプローチを採用している。

A. パラメータ化（マスターヒット）

本研究は、ユークリッド形式の 2 つの互いに素なピタゴラス数対 $(a, b)$ と $(m, n)$ に基づく、ボディ・キューボイドの特定のパラメータ化を利用している。

• パラメータ：$a > b > 0$、$m > n > 0$ であり、$a-b$ および $m-n$ は奇数である。
• 構成：辺は $x = U_1 U_2$、$y = V_1 U_2$、$z = U_1 V_2$ として定義される。ここで $U_i, V_i, W_i$ はピタゴラス数三つ組から導出される。
• マスターヒット条件：3 つ目の面の対角線が整数である場合、タプル $(a, b, m, n)$ は「マスターヒット」となる。これには $M(a, b, m, n) = (V_1 U_2)^2 + (U_1 V_2)^2$ が完全平方数であることが必要である。
• 完全直方体の障害：マスターヒットが完全直方体となるのは、空間対角線の二乗 $f_1 = (W_1 U_2)^2 + (U_1 V_2)^2$ もまた完全平方数である場合に限られる。

B. モルデル・ヴェイル構成（生成器）

古典的な探索の限界を超えた新しいマスターヒットを生成するために、著者は楕円ファイバーを構成する。

1. ファイバー：互いに素なペア $(m, n)$ を固定すると、マスターヒットの方程式は種数 1 の 4 次曲線 $H_{m,n}$ を定義する。
2. 変換：4 次式からワイエルシュトラス形式への変換を用いて、$H_{m,n}$ を楕円曲線 $E_{m,n}$ に写像する。
3. アルゴリズム：著者はモルデル・ヴェイル群 $E_{m,n}(\mathbb{Q})$ を用いて有理点を生成する。
   • $E_{m,n}$ 上の有理点 $P$ は、有理関数 $\tau(P)$ を通じて 4 次曲線へリフトされる。
   • $\tau(P)$ が正の有理平方数であり、かつ偶奇・互いに素の条件を満たす場合、その点は有効なマスターヒットを与える。
4. 規模：このアルゴリズム的生成器により、$10^{888}$ までの巨大な高さを持つパラメータのマスターヒットを発見することが可能となり、網羅的探索の遥か彼方まで到達している。

C. 計算検証

本論文は、1,284,670 件のマスターヒットの大規模データベースに依存している。

• 素因数分解：これら151,575 件について、空間対角線のノルム $f_1$ を、試行除法、sympy、および YAFU（QS/GNFS）を含むパイプラインを用いて完全に素因数分解した。
• 検証スクリプト：カスタム Python/Sage スクリプトが、整数演算、素因数分解の整合性、および「ブロッカー」の性質を検証する。

3. 主要な貢献

貢献 1：検証された指数 1 のブロッカー現象

本論文は、$f_1$ の素因数分解に関する強力な仮説を定式化し、計算的に検証した。

• 仮説 4.1（普遍的な指数 1 のブロッカー）：すべてのマスターヒットについて、$f_1$ の素因数 $\ell$ が存在し、以下の条件を満たす。
  1. 指数 1：$v_\ell(f_1) = 1$（その素数はちょうど 1 回現れる）。
  2. 一般性：$\ell$ は、パラメータ $(a, b, m, n)$ から導出された 29 の「標準的な式」（例：$a, b, m, n, a+b, a^2+b^2$ など）のいずれとも互いに素である。
• 重要性：これは単に奇数乗の素数を見つけることよりも厳密に強い。指数が 3、5 などの素数も $f_1$ が平方数になるのを防ぐが、それは平方因子を伴う。観測された障害は原始的（指数 1）であり、完全平方数とならないという失敗は、高次冪の産物ではなく本質的であることを示唆している。
• 検証：この現象は、完全に素因数分解された 151,575 件の記録すべてにおいて例外なく成立する。
• 変種の反証：本論文は、自然な強化案が失敗することを示している。
  • 最大の外部パラメータ素数が常にブロッカーとなるわけではない。
  • 最小の外部パラメータブロッカーが常に指数 1 を持つわけではない。

貢献 2：モルデル・ヴェイル生成器

著者は、1,222,841 件の新しいマスターヒットを生成する厳密なアルゴリズム的構成を提供した（61,829 件の基本セットに追加）。

• カバレッジ：これらのヒットは 411 個の異なる楕円ファイバーにまたがっている。
• 新規性：生成されたレンガのパラメータは、既知のどのものよりも遥かに大きく、網羅的探索の質的な限界を超えている。
• 結果：生成された 1,284,670 件のレンガのいずれも完全直方体ではない（正確な整数平方チェックにより検証済み）。

貢献 3：構造的分解

本論文は、$f_1$ の標準的な分解を導入する。
$$f_1 = g_0^2 (\xi^2 + \eta^2)$$
ここで $g_0 = \gcd(W_1 U_2, U_1 V_2)$ であり、$\xi, \eta$ は互いに素な整数である。

• 仮説 4.14：項 $(\xi^2 + \eta^2)$ は決して完全平方数にならない。
• 含意：この仮説が成り立てば、ブロッカーの存在（仮説 4.7）を意味し、それはさらにこのクラスにおける完全直方体の非存在を意味する。これにより、問題は特定の多項式式のペアがピタゴラス数三つ組を形成し得るかどうかのチェックに帰着する。

4. 結果

• データベース規模：本論文は1,284,670 件のマスターヒットのデータベースを確立した。
• 完全直方体の状態：このデータセットにおいてゼロ件の完全直方体が見つかった。
• ブロッカー統計：
  • 完全に素因数分解された記録の 100% が指数 1 のブロッカー条件を満たす。
  • データベースの 95.2% は新しいモルデル・ヴェイル生成器から得られた。
  • 生成器は、古典的な無限族（サウダソン、レンハート、ヒマネ）にはほとんど含まれないレンガを生成し、生成器が「散在」構造にアクセスしていることを確認した。
• ランクの発見：6 つの楕円ファイバーが、標準的な降下限界で以前は 4 と報告されていたモルデル・ヴェイルランクが少なくとも 5 であることが判明し、データベース内で最大のレンガの発見につながった。

5. 意義

• 構造的洞察：本論文は、単なる総当たり探索を超えて、ボディ・キューボイドが完全直方体とならない深い構造的理由を特定した。それは原始的で一般的な指数 1 の素数ブロッカーの存在である。これは、障害が単なる小さな数の偶然ではなく、パラメータ化の幾何学に内在するものであることを示唆している。
• 方法的進展：ディオファントス解を生成するためにモルデル・ヴェイル群の列挙を成功裏に適用したことは、ディオファントス幾何学における高高さの解を探索するための強力な新たなツールを提供する。
• 非存在の証拠：証明ではないが、経験的証拠は圧倒的である。「指数 1 のブロッカー」現象が、パラメータサイズにおいて 12 桁の範囲にわたるデータセット全体で普遍的に成立するという事実は、このパラメータ化クラスにおいて完全直方体が存在しないという仮説を強く支持する。
• 未解決問題：本論文は、証明への道筋を明示的に概説している。標準的な分解における互いに素なペア $(\xi, \eta)$ が決してピタゴラス数三つ組を形成し得ないことを証明すること（仮説 4.14）は、このクラスにおける完全直方体の非存在を無条件に証明することになる。

要約すると、ペシュマンの研究は、高度な楕円曲線理論と大規模な計算検証を組み合わせ、完全直方体の非存在に対するこれまでにない最も強力な経験的証拠を提供し、普遍的に現れるように見える特定の原始的な算術的障害を特定したものである。