The fourth known primitive solution to $a^5 + b^5 + c^5 + d^5 = e^5$

この論文は、ディオファントス方程式 $a^5 + b^5 + c^5 + d^5 = e^5$ に対する既知の原始解として 4 番目となる新たな解と、その探索手法および結果を提示しています。

要約

この論文は、数学の難問「5 乗の和」に関する驚くべき発見について書かれたものです。専門用語を抜きにして、まるで**「巨大な数字の宝探し」**のような物語として解説します。

🕵️‍♂️ 物語の舞台：5 乗の謎

まず、この研究が扱っているのは、こんな不思議な方程式です。
「ある 4 つの数字を 5 乗して足し合わせると、別の 1 つの数字（これも 5 乗した形）にぴったり等しくなる」

これを**「4 つの数字のグループが、1 つの数字のグループと戦って、完全に引き分けになる」**と想像してみてください。
数学の歴史では、長い間「そんなことありえない！4 つの数字では 1 つの数字に勝てないはずだ！」と言われていました（オイラーという偉い数学者がそう主張しました）。

しかし、1966 年に「いやいや、実は 4 つでも勝てる例があるよ」という最初の発見がありました。それ以来、この「引き分け」を見つけるのは、**「砂漠で真珠を見つける」**くらい難しいことでした。

🏆 これまでの「真珠」たち

この論文を書く前までに、世界中の研究者が見つけた「真珠（解）」はたった 3 つしかありませんでした。

1. 1966 年発見：すべて正の数字の組み合わせ。
2. 1996 年発見：マイナスの数字が混じった組み合わせ。
3. 2004 年発見：また正の数字の組み合わせ。

これらは 60 年もの間、誰も見つけられなかった「幻の 3 つ」です。

🆕 今回の大発見：第 4 の真珠

今回、ジェフリー・ブラウン氏という研究者が、**「第 4 の真珠」**を見つけ出しました！
それはこんな数字の組み合わせです：

7,191,155 の 5 乗 ＋ 13,316,225 の 5 乗 ＋ (－1,340,632) の 5 乗 ＋ 19,562,135 の 5 乗 ＝ 19,568,785 の 5 乗

（※マイナスの数字が含まれているのがポイントです）

これは、60 年ぶりに見つかった新しい「引き分けの形」です。

🔍 どうやって見つけたの？（宝探しの方法）

これほど巨大な数字の組み合わせを、手作業で探すのは不可能です。ブラウン氏は、**「巨大な図書館で本を探す」**ような工夫をしました。

1. 半分ずつ探す作戦（ミート・イン・ザ・ミドル）

   • 全部の数字を 1 つずつ試すのではなく、「左側の 2 つの数字の組み合わせ」と「右側の 2 つの数字の組み合わせ」を別々に計算してリスト化しました。
   • それらを整理して、**「足し合わせたら目標の数字になるペア」**を探し出しました。これは、2 人の探偵が別々のルートで情報を集め、最後に合流して真相を暴くようなものです。

2. 不要なゴミを捨てる（フィルタリング）

   • 図書館の全冊を調べるのは時間がかかりすぎます。そこで、「11 で割った余り」や「25 で割った余り」で、「絶対に答えにならない本」を事前に捨て去るというルールを使いました。これにより、探す範囲を劇的に狭めました。

3. クラウドでの大規模作業

   • この作業は、世界中のクラウドコンピューティング（インターネット上の巨大な計算機群）を使って行われました。
   • なんと、**「1 台のパソコンで 1050 万時間」**もかかる計算量を、9 ヶ月という短期間で終わらせました。これは、数千台のパソコンが同時に働いた結果です。

🌟 まとめ

この論文は、**「数学の宝探し」**の最新報告書です。
「4 つの数字を 5 乗して足すと、1 つの数字に等しくなる」という、極めて稀な現象を、コンピュータの力を借りて見事に発見しました。

これまで「3 つしか見つからなかった」この方程式の解が、**「4 つ目」**に増えたことは、数学の歴史に新しいページが加わったことを意味します。ブラウン氏は、奥様や家族の支えもあり、この壮大な計算の旅を成功させました。

まるで、宇宙の奥深くにある新しい星を発見したような、ワクワクするニュースなのです。

技術概要

ジェフリー・ブラウン（Jeffrey Braun）による論文「THE FOURTH KNOWN PRIMITIVE SOLUTION TO a5 + b5 + c5 + d5 = e5（a5 + b5 + c5 + c5 = e5 の第四の既知の原始解）」の技術的概要を以下に日本語でまとめます。

1. 問題の背景

本論文は、ディオファントス方程式
$$a^5 + b^5 + c^5 + d^5 = e^5$$
の整数解（特に「原始解」、すなわち最大公約数が 1 である解）の探索に関するものです。

• オイラーのべき和予想との関係: 1769 年、オイラーは $n > 3$ に対して、$n$ 乗の和が $n$ 乗になるためには、左辺に少なくとも $n$ 項が必要であると予想しました（$k-1 \ge n$）。
• 反証の歴史: この予想は 1966 年に Lander と Parkin によって $n=5$ の場合、左辺 4 項で成り立つ反例（$27^5 + 84^5 + 110^5 + 133^5 = 144^5$）が発見されることで否定されました。
• 現状: 1966 年の発見以降、この方程式の解は極めて稀であり、本論文発表以前には既知の原始解が 3 つのみ（非負整数解 2 つ、負の項を含む整数解 1 つ）しか報告されていませんでした。

2. 主要な貢献と結果

本論文の最大の貢献は、上記の方程式に対する第四の原始解を新たに発見し、報告したことです。

• 発見された新しい解:
  $$71911^5 + 133162^5 + (-1340632)^5 + 1956213^5 = 1956878^5$$

  • この解は整数領域（$\mathbb{Z}$）に存在し、負の項を含んでいます。
  • 以前に発見された 3 つの解（1966 年、1996 年、2004 年）に続く、史上 4 番目の原始解となります。

• 既存解の再確認: 本研究の探索プロセスにおいて、これまでに知られていた 3 つの解すべてを再発見し、アルゴリズムの正当性を検証しました。

3. 探索手法（Methodology）

本研究では、大規模な計算リソースを活用した効率的な探索アルゴリズムが採用されました。

• ミート・イン・ザ・ミドル（Meet-in-the-Middle）戦略:
  • 2 つの 5 乗和（$a^5 + b^5$）をすべて列挙し、配列に格納してソートします。
  • ソートされた配列の両端からスキャンを行い、残りの 2 つの項（$c^5 + d^5$）と組み合わせて目標値 $e^5$ に一致する相補的なペアを検出します。
• 検索空間の削減:
  • 候補となる和をモジュロ 11 と 25 でフィルタリングし、不要な計算を排除しました。
  • 中国の剰余定理（CRT）に基づくパーティショニングを用いることで、複数のマシン間での効率的な並列処理を可能にしました。
• 実装技術:
  • 言語・ライブラリ: C++ で実装され、128 ビット整数演算を使用。
  • 並列化: OpenMP によるマルチスレッド処理と、クラウドコンピューティングプラットフォームへの分散処理。
  • ソート: 第五乗和のソートには、インプレース並列ソートアルゴリズム「IPS4o」を採用し、計算効率を最大化しました。
  • プロファイリング: 実装は計算効率のために徹底的にプロファイリングおよびチューニングされました。

4. 計算リソースと範囲

• 計算量: 総計算量は約 10,500,000 vCPU 時間 に及びました。
• 期間: 9 ヶ月かけて行われました。
• 探索範囲（Table 2 に基づく）:
  • 非負整数領域（$\mathbb{Z}_{\ge 0}$）:
    • 網羅的探索：$e \le 2.76 \times 10^6$
    • 部分的探索：$2.76 \times 10^6 < e \le 4.00 \times 10^6$
  • 整数領域（$\mathbb{Z}$、負の項を含む）:
    • 網羅的探索：$e \le 1.45 \times 10^6$
    • 部分的探索：$1.45 \times 10^6 < e \le 2.00 \times 10^6$

5. 意義

この研究は、ディオファントス方程式の解の探索において、計算数論の手法（大規模並列処理、高度なアルゴリズム最適化、モジュロ演算によるフィルタリング）を効果的に適用した好例です。
特に、1966 年の Lander-Parkin の発見から約 60 年を経て、4 つ目の原始解が新たに発見されたことは、この方程式の解の分布が極めて希少であることを改めて示唆すると同時に、計算機科学の進歩が古典的な数論の問題解決にどのように寄与できるかを示す重要な成果となっています。

---

参考文献情報:

• 著者: Jeffrey Braun
• 日付: 2026 年 2 月 24 日（論文提出日）
• arXiv ID: arXiv:2603.05549v1 [math.NT]
• 分類: 11D41 (Diophantine equations), 11D25, 11Y50 (Computational number theory)