🔢 mathematics

ABC implies that Ramanujan's tau function misses almost all primes

この論文は、$abc$ 予想を仮定してラマヌジャンのタウ関数が素数の集合の密度 1 の部分（すなわち「ほとんどすべての」素数）を値として取らないことを証明し、さらにその値として現れる素数の個数の漸近挙動に関する予想と、自然言語記述からの自動定理証明による形式化の成果を報告しています。

原著者： David Kurniadi Angdinata, Evan Chen, Chris Cummins, Ben Eltschig, Dejan Grubisic, Leopold Haller, Letong Hong, Andranik Kurghinyan, Kenny Lau, Hugh Leather, Seewoo Lee, Simon Mahns, Aram H. Markosyan

公開日 2026-04-01

📖 1 分で読めます🧠 じっくり読む

CC BY 4.0

原著者： David Kurniadi Angdinata, Evan Chen, Chris Cummins, Ben Eltschig, Dejan Grubisic, Leopold Haller, Letong Hong, Andranik Kurghinyan, Kenny Lau, Hugh Leather, Seewoo Lee, Simon Mahns, Aram H. Markosyan, Rithikesh Muddana, Ken Ono, Manooshree Patel, Gaurang Pendharkar, Vedant Rathi, Alex Schneidman, Volker Seeker, Shubho Sengupta, Ishan Sinha, Jimmy Xin, Jujian Zhang

原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

この論文は、数学の「王様」のような存在である**ラマヌジャンのタウ関数（ $\tau$ 関数）**が、実は「素数」という特別な数字をほとんど見逃している（生成しない）という驚くべき発見を報告したものです。

しかも、この発見は**「ABC 予想」という、数学界で最も有名な未解決問題の一つを仮定することで証明されました。さらに、この論文の最大の特徴は、「AI（AxiomProver）」**が証明の核心部分を自動的に作り出し、人間がそれを翻訳して論文にしたという点です。

以下に、専門用語を排し、日常の比喩を使ってこの論文の内容を解説します。

1. 物語の舞台：「タウ関数」という巨大な工場の機械

まず、ラマヌジャンのタウ関数（ $\tau$ ）を想像してください。これは、無限に続く数字の列を作る**「魔法の機械」**のようなものです。

入力：自然数 $n$ （1, 2, 3...）
出力： $\tau(n)$ という大きな整数

この機械は非常に複雑で、出力される数字は巨大な値になります。例えば、ある入力に対して「8056...」という 20 桁以上の数字を吐き出すこともあります。

**「素数」**とは、1 と自分自身でしか割り切れない、数字の世界における「基本粒子」のような存在です。
昔から数学者たちは、「この魔法の機械は、無限に多くの『素数』を出力するのではないか？」と疑っていました。つまり、「この機械は、素数という特別な宝石を無限に産み出せるのではないか？」と期待していたのです。

2. 発見：「宝石」はほとんど出てこない！

しかし、この論文の著者たちは、**「ABC 予想」**という強力な仮説（数学の法則のようなもの）を使うと、その期待は裏切られることを証明しました。

結論：
「この機械は、ほぼすべての素数を見逃している」のです。

比喩：
この機械は、砂漠に散らばる「砂粒（すべての整数）」を拾い集めます。その中から「ダイヤモンド（素数）」を見つけ出そうとします。
従来の予想では「ダイヤモンドは無限にたくさんあるはずだ」と考えられていました。
しかし、この論文は**「ABC 予想が正しいなら、この機械が拾えるダイヤモンドは、砂漠の砂粒全体に比べれば、ほとんどゼロに近い」と示しました。
砂漠の砂粒が 1 兆個あるとして、見つかるダイヤモンドはたったの数個かもしれません。つまり、「タウ関数は、素数の 99.99...% を見逃している」**ということです。

3. どうやって証明したのか？「魔法の鍵」と「曲がりくねった道」

証明のプロセスは、以下のようなステップを踏みました。

「ABC 予想」という魔法の鍵を使う
ABC 予想は、「足し算の結果が、その数字を構成する素因数の積よりもはるかに大きくなることは稀だ」という、数字の性質に関する強力なルールです。これを鍵として使います。
複雑な迷路（双曲線）を解く
この機械が素数を出力する条件を式にすると、非常に複雑な「曲がりくねった道（双曲線）」の上に、整数の点があるかどうかを調べる問題になります。
- 「 $y^2 = x^{11} + \text{素数}$ 」のような式です。
- 通常、このような道には整数の点はほとんど存在しません。
AI が迷路を解く
ここが今回のすごいところです。著者たちは、この複雑な迷路を解くための論理を**「AxiomProver」という AI**に任せました。
- 人間は「問題の概要」を AI に渡しました。
- AI は、数学のルール（Lean というプログラミング言語）を使って、「ABC 予想を使えば、この迷路にはほとんど点がない」という証明を自動生成しました。
- 人間は、AI が作った「コードのような証明」を読み解き、それを人間が読める文章（この論文）に翻訳しました。

4. 矛盾する予想：「それでも、無限に存在するはずだ」

ここで面白い逆転があります。
「ABC 予想」を使えば「素数はほとんど見逃す（密度 0）」と証明できますが、著者たちは別の視点（サト・テイト予想など）を使って、**「それでも、素数は無限に存在するはずだ」**という推測も提示しています。

比喩：
「砂漠でダイヤモンドを見つける確率は、砂粒の総数に比べれば限りなくゼロに近い（ABC 予想による結果）。
しかし、砂漠が無限に広がり続けるなら、ゼロに近い確率でも、ダイヤモンドが 1 つでも、100 個でも、無限に存在する可能性は残っている（推測による結果）。"

つまり、「見つかる数は極めて少ないが、0 ではない（無限にあるかもしれない）」というのが、彼らの最終的な見解です。

5. この論文の本当の意義：「AI と人間の共創」

この論文の最も画期的な点は、数学的な内容そのものよりも、**「証明の作り方」**にあります。

従来の方法： 天才的な数学者が、何年もかけて頭の中で証明を組み立て、紙に書く。
今回の方法： 人間が「問題」と「必要な仮説」を AI に渡し、AI が「証明の骨格」を自動生成。人間はそれを「翻訳」して論文にする。

著者たちは、**「AI は数学者の助手として、証明の『エンジン』を自動で作り出せる」**ことを実証しました。これは、数学の未来において、AI が人間の創造性を補完し、より複雑な問題を解決する時代が来たことを示唆しています。

まとめ

ラマヌジャンのタウ関数は、「素数」という特別な数字を、ほとんど見逃している（ABC 予想が正しければ）。
しかし、**「無限に存在する可能性」**は残っている。
この証明の核心部分は、AI が自動で作り出し、人間がそれを解説した。

これは、数学という古くからの分野に、AI という新しいパートナーが加わり、人類の知のフロンティアを押し広げつつある瞬間の記録なのです。

この論文「ABC IMPLIES THAT RAMANUJAN'S TAU FUNCTION MISSES ALMOST ALL PRIMES（ABC 予想はラマヌジャンのタウ関数がほとんどすべての素数を飛ばすことを意味する）」の技術的な要約を以下に示します。

1. 研究の背景と問題設定

対象: ラマヌジャンのタウ関数 $\tau(n)$ 。これは、 $\Delta(z) = q \prod_{n=1}^\infty (1-q^n)^{24} = \sum_{n=1}^\infty \tau(n)q^n$ で定義される重さ 12 の正規化された尖点形式（cusp form）のフーリエ係数です。
レフマー予想 (Lehmer's Conjecture): $\tau(n) \neq 0$ がすべての $n \ge 1$ で成り立つという有名な未解決問題です。
素数値に関する問題: $\tau(n)$ の値として、符号を除いて無限に多くの素数が現れるかどうかが長年の関心事でした（フォークロア予想）。
既存の結果:
- Xiong は、 $\tau(n)$ が素数となる場合、その素数集合の密度は高々 $2/11$ であることを示しました。
- 特定の値（ $\pm 1, \pm 3, \dots$ など）が $\tau(n)$ の値として現れないことが証明されています。
本研究の問い: ABC 予想を仮定した場合、 $\tau(n)$ が取りうる素数値の集合は、すべての素数の中でどの程度の密度を持つか？

2. 主要な結果 (Main Results)

ABC 予想を仮定することで、以下の強力な上限が証明されました。

定理 1: $S(X)$ を $X$ 以下の素数 $\ell$ であって、ある $n$ に対して $|\tau(n)| = \ell$ となるものの個数とする。ABC 予想が成り立つならば、 $X \to +\infty$ において以下の漸近評価が成り立つ。
$S(X) = O\left( \frac{X^{9/10}}{\log X} \right)$
帰結: 素数定理 $\pi(X) \sim X/\log X$ と比較すると、
$\lim_{X \to \infty} \frac{S(X)}{\pi(X)} = 0$
となり、**ラマヌジャンのタウ関数は、ABC 予想の下で、素数の集合から密度 1 の部分（ほとんどすべての素数）を「見逃す（misses）」**ことが示されました。
一般化: この結果は、整数係数を持つ $SL_2(\mathbb{Z})$ 上の任意の正規化されたヘッケ固有形式の係数についても同様に成り立ちます。

3. 手法と証明の概要 (Methodology)

証明は、 $\tau(n)$ が素数となるための必要条件を幾何学的な曲線上の整数点の存在問題に帰着させ、ABC 予想を用いてその個数を抑えるというアプローチをとっています。

素数値の構造の制限:
- $\tau(n)$ が奇素数となるためには、 $n$ が奇数の平方数でなければならないことが知られています（Proposition 8）。
- Xiong の結果（Proposition 9）により、 $n=p^k$ ( $k \ge 3$ ) の場合、素数値の個数は $O(X^{9/10})$ で抑えられます。
- 残るケースは $k=1, 2$ 、すなわち $n=p$ と $n=p^2, p^4$ などの場合です。
双曲線曲線への帰着 (Hyperelliptic Twists):
- ケース $k=2$ ( $n=p^2$ ): $\tau(p^2) = \tau(p)^2 - p^{11} = \pm \ell$ という関係式から、 $y^2 = x^{11} \pm \ell$ という双曲線曲線上の整数点 $(x, y) = (p, \tau(p))$ の存在問題に帰着されます。
- ケース $k=4$ ( $n=p^4$ ): ヘッケ関係式を繰り返し適用することで、 $u^2 = 5x^{22} \pm 4\ell$ という別の双曲線曲線上の整数点の問題に帰着されます。
ABC 予想の適用:
- 上記の曲線上の整数点 $(x, y)$ に対して、 $a=x^{11}, b=\pm \ell, c=y^2$ などのように $a+b=c$ の形を構成します。
- ABC 予想 $|c| \le C_\epsilon \text{rad}(abc)^{1+\epsilon}$ を適用し、 $x$ と $\ell$ の関係を導出します。
- これにより、 $x$ が十分に大きい場合、 $\ell$ が素数となるような整数点の数が極めて少ないことが示されます。具体的には、誤差項 $E_2(X)$ と $E_4(X)$ がそれぞれ $O(X^{4/9+\eta})$ および $O(X^{1/5+\eta})$ 以下であることが証明されます（Lemma 5）。
総合評価:
- $k \ge 3$ の項 ( $O(X^{9/10} \log X)$ ) と、 $k=1, 2$ に対応する項（ $E_2, E_4$ など）を合計することで、最終的な $O(X^{9/10} \log X)$ という評価が得られます。

4. 予想とヘuristic (Heuristic)

定理 1 は「ほとんどすべての素数が現れない」ことを示していますが、**「素数値が無限に存在するかどうか」**については、以下のヘuristic（直感的推論）が提示されています。

サトウ - テイト予想 (Sato-Tate Conjecture) の真理性に基づき、 $\tau(p^{2m})$ の値が素数となる確率を推定します。
$m=1$ の場合が支配的であり、 $S(X)$ のオーダーは以下のように予測されます。
$S(X) \asymp \frac{C X^{1/11}}{(\log X)^2}$
このオーダーは $X^{9/10}$ よりもはるかに小さいですが、 $X \to \infty$ で発散するため、**「素数値は無限に存在するが、極めて疎（sparse）である」**という結論に至ります。

5. 論文の独自性と重要性 (Significance)

AI による自動証明の活用:
- この論文の最大の特徴は、主要な証明エンジン（Lemma 5 の 2 つの評価）が、AxiomProver という AI システムによって、自然言語の問題記述から自動生成され、Lean/Mathlib 環境で形式化・検証された点です。
- 著者らは、自然言語で記述された問題と既存の文献（[2], [3], [24]）を入力し、ABC 予想を仮定した証明を AI に生成させました。
- 生成された Lean コードは人間には読みづらい形式でしたが、これを人間が読み解き、論文として再構成しました。これは、AI 支援による数学研究の新しいパラダイムを示す事例となっています。
数学的意義:
- ラマヌジャンのタウ関数の値分布に関する長年の疑問に対し、ABC 予想の下で決定的な否定（密度 0）を示しました。
- 数論における深い予想（ABC 予想、サトウ - テイト予想）と、具体的な数論的関数の値の分布を結びつけた重要な結果です。

6. 結論

この論文は、ABC 予想を仮定することで、ラマヌジャンのタウ関数が取りうる素数値の集合が、すべての素数の中で密度 0 であることを証明しました。さらに、AI を活用してこの証明の主要部分を形式化・自動検証するという、数学研究手法の革新も同時に示しています。最終的には、素数値は無限に存在する可能性が高いが、その分布は極めて希薄であるという見解が提示されています。