2026-08-29 · article リーマン予想未解決問題明示公式

リーマン予想 — 素数と零点を、両方向に行き来する。そして Λ = 0 ちょうど、という余裕の無さ

Lean機械検査済み（Lean 4 + mathlib、標準三公理以下、sorryAx・native_decide なし。定理名を添える） 紙証明はあるが機械検査は未了 計算この端末で確かめた範囲。外に出す主張にはしない 既知言い換え・既知の定理・外の文献の確認

リーマン予想：ゼータ関数 ζ(s) の非自明な零点は、すべて実部 1/2 の直線上にある。

1859 年、リーマンが 8 ページの論文の中で一行触れた予想です。ミレニアム懸賞問題の一つで、167 年間解けていません。

なぜ素数の問題なのか。リーマンが同じ論文で書いた明示公式が、その理由です。

左辺 ψ(x) は素数の階段（x 以下の素数べきについて log p を足したもの）。右辺に素数は一つも出てきません。出てくるのは ρ ——ゼータの零点だけ。

零点の割合 — 67.250% が臨界線上にあることは、定理

ここは慎重に読む必要があります。
「零点の 67.250% が臨界線上にある」は定理です。「リーマン予想が 67.250% 証明された」ではありません。
前者は別の命題についての定理で、67% 証明された状態というものは存在しません。

さらに、この 67.250% は pair correlation の帯域 1 での天井 68.185% の 98.6% に達しています。いまの道具の限界のすぐ手前にいるということです。

数え上げられる — これが決定的に効く

リーマン予想には、「高さ T までに零点が何個あるか」の公式があります（Riemann–von Mangoldt）。だから「符号の変化がその個数だけあれば、その範囲には見落としが無い」と確定できます。この端末でも確かめました。計算

複素数を使わずに書ける — ロビンの判定

リーマン予想は、複素数をまったく使わない同値な形を持っています。

σ(n) は約数の和。反例があれば有限の証拠になる——論理の形でいえば Π₁ です。ただし余裕は薄い。

Λ の区間 — 押し下げた先が、そのまま証明になる量

これは §06 で詳しく扱います。67.250% を 100% にしてもリーマン予想にはなりませんが、Λ の上界を 0 まで押し下げたら、それはリーマン予想の証明そのものです。査読を経ていない 2026 年の候補（0.1875・0.1787854・0.172422）と、公開ログだけからどこまで届くかは 論文のログだけで、どこまで届くかにあります。

出発点は、次の一つの事実です。

複素数の計算は、入力が2次元、出力も2次元、合計4次元である。だから3次元に最適化された脳では、そのままでは処理できない。

これは比喩ではなく、そのまま正確な記述です。複素関数のグラフは 4 次元の中にあり、3 次元空間に入りません。だから数学は落とし方を発明してきました。よく使われる三つを、同じ関数に全部かけます。

逃げ道 01：入力を1本の線に絞り、時間で描く

実部 σ を固定して虚部 t だけを動かすと、入力は 1 次元になり、出力の 2 次元だけが残るので複素平面に曲線が描けます。

※ 臨界線の 0.00200 は t を離散的に拾っているために生じる残りで、刻みを細かくすればいくらでも 0 に近づきます。

捨てたもの：入力の 1 次元。予想が言っている「他の線では通らない」の方は、この図では確かめられません。

逃げ道 02：出力の2次元を、色に押し込む

色相＝出力の偏角（回転する量なので循環する色相と相性がよい）、明るさ＝出力の大きさ（対数で圧縮）。すると入力平面の上に 1 枚の絵が描けます。

零点は、色相が全部集まる点として見えます。そういう点が縦の一本の線の上に並ぶ——それが Re(s) = 1/2 です。左端（σ < 0）に等間隔で並ぶ暗い点は自明な零点（負の偶数）で、予想が問題にしているものではありません。

捨てたもの：出力の大小の読み取りやすさ。色相は循環するので「どちらが大きいか」が読めません。

逃げ道 03：臨界線の上でだけ、4次元が1次元の波になる

リーマン–ジーゲルの Z 関数。これは臨界線の上でだけ起きる現象です。

4 次元が、1 本の実数の波に落ちました。零点を「符号の変化」として目で数えられる——§02 の「数え上げられる」の実体がこれです。

捨てたもの：臨界線を離れる自由。Z は臨界線の外では実になりません。この逃げ道は「予想が正しい世界」の内側でしか使えず、予想が破れている場所を探すのには使えません。

三つとも、4次元を見てはいない

では、1/2 は何なのか

1/2 は、鏡の位置です。適当に整えた ξ(s) について ξ(s) = ξ(1−s) が成り立ち、この入れ替えで動かない点の集まりが Re(s) = 1/2（σ = 1−σ の解）。

「対称である」は定理で、「軸の上にある」が予想です。対称なだけなら零点は 0.3 と 0.7 に対で存在してもかまわない。予想は、そういう対が一つも無いと言っています。

脳も、すでに同じことをしている

そして、この制約は四次元に始まったものではありません。目が受け取っているのは2次元の像で、脳はそれを両眼のずれや動き、手の距離感から3次元に起こしています。

3 次元も、直接は見ていません。落として受け取り、別の手がかりで起こし直す——それが知覚の常態であって、4 次元だけが特別に不可視なのではない。
違うのは手がかりの豊富さです。3 次元を起こす手がかりは体に組み込まれていて、4 次元を起こす手がかりは、自分で作らなければならない。

§01 の明示公式を、この端末で回します。両方向に。計算

順方向：零点を足すと、階段が現れる

ρ = ½ ± iγ を対にしてまとめると、零点 1 個の寄与は周波数 γ の波になります。

零点が 0 個のとき、右辺はただの直線です。そこに波を足していくだけで、素数の場所に段が立ちます。2、3、4、5、7、8、9、11——素数と素数べきのところに、他のどこでもなく。

波の山と谷が、素数の位置でそろって同じ向きに重なります。そこ以外では打ち消し合う。零点の高さ γ は、素数の位置を符号化した周波数です。

逆方向：素数だけから、零点の高さを出す

スペクトルなら逆変換もできるはずです。200 万までの素数べきを使って、次の和を計算します。零点の情報は一切入れていません。

10 個中 10 個。最良で小数第 4 位まで一致しています。
素数の並びの中に、零点の高さがそのまま入っているということです。

※ 窓関数（Fejér 型の三角窓）が要ります。生の和では、打ち切りの縁が作る背景に山が埋もれます。

ψ(x) は「素数べきに log p の重みを付けた和」です。今度は π(x) ——「x 以下の素数の個数」そのもの。

まず、自分で数える

π(10^k) の値は有名で、書き写せば一瞬です。それでも篩で数えます。記憶からの転記は、この節の別の場所で誤りを出しています（ラベルの検証）。数えられるものは数える。計算

li より、R の方がずっと近い

R は li より 4〜31 倍近い。零点由来の補正を先取りしている分だけ良くなります。

そして表を見ると、もう一つ目につくことがあります。li − π が、どの k でも正です。

「数値が示すこと」と「定理が言うこと」が食い違う、有名な例です。10⁸ まで li が常に上でも、それは何の保証にもなりません。

零点を足すと、π(x) の階段が現れる

π 側は ψ 側よりずっと重い。R が Möbius の無限和で、複素引数の指数積分を毎回計算する必要があるためです。零点 200 個で 2,203 秒かかります。同じ定理でも、どちらの量を選ぶかで計算の重さが変わります。

これは比喩ではありません。「ぎりぎり」の部分が、2018 年に定理になりました。

Newman は 1976 年にこう書いています——「リーマン予想が正しいとしても、それはぎりぎりでしか正しくない」。42 年後、Rodgers と Tao がそれを証明しました。

Λ とは何か — 小さい模型で見る

零点に熱を流すという操作があります。時刻 t を上げていくと零点が動き、ある時刻で全部が実軸に乗る。その境目が Λ です。

同じことが多項式で起きます。e^(−t·d²/dx²) を掛けると x²+a² は x²+a²−2t になり、t = a²/2 で複素根が実根に変わる。

複素の対が実軸に近づき、t ≈ 0.1020 で合流して実軸に乗ります。この 0.1020 が、この多項式の「Λ」です。リーマン予想は「ゼータの Λ が 0 以下」——つまり t = 0 の時点で、もう全部が実軸に乗っているという主張です。計算

「ぎりぎり」の側が、先に定理になった

証明されたのは問題を難しくする側でした。もし Λ < 0 なら安全マージンがあり、証明の道も広がったはず。Rodgers と Tao は、そのマージンが存在しないことを証明しました。やり方も示唆的で、零点の「不規則さ」を使って余裕の存在を否定しています。

その「ぎりぎり」を、測ってみる

非常に近い対は、無相関だった場合の 1/68 しかありません。零点は互いに避け合っています。計算

1496 番目の零点（高さ 1977.17）は、指標が中央値の 1/229。この程度の高さでもう、これだけ近い対があります。

Λ は、リーマン予想そのものの目盛りになっている

Λ ≤ 0 を証明することは、リーマン予想を証明することそのものです。言い換えではなく、同値。
下半分はもう閉じています。残っているのは「上界を 0 まで押し下げる」ことだけで、それができた時点でリーマン予想が証明されます。

この性質は珍しいものです。「零点の 67.250% が臨界線上にある」は 100% にしても自動的にリーマン予想にはなりません（零点が全部臨界線上にあることと、割合が 1 であることは違う）。Λ の上界だけが、押し下げた先がそのまま証明になっている量です。

この節は、コラッツ予想との比較です。最初に、いちばん大事なことを書きます。

決着という一点で見れば、二つはまったく同じ場所にいます。どちらも「わからない」。
以下の比較が測っているのは「決着への距離」ではなく、「蓄積された知見の量と種類」です。
そして「蓄積が多い ⇒ 先に決着する」は、歴史が保証していません。

上の二行がゴールで、そこでは完全に同着。三行目だけが違います。その三行目を六つの軸に分けます。

蓄積が多いことは、先に決着することを意味しない

ここから先の二つの見方——「積み上げでは越えられない」と「証明できるのはいつも余裕が無い側」——は、この問題に限らず出てきます。五つの問題を同じ物差しで並べたものが 臨界にだけ、問題は残る です。

それでも、一つだけ形が同じもの

どちらの問題でも、証明されたのは「余裕が無い」側です。
リーマンは Λ ≥ 0（余裕が無い）、コラッツは q = 3 が唯一の臨界。
数学は両方について「逃げ場が無いこと」を示すのに成功し、「答えを出すこと」には成功していない。

そしてもう一つ。どちらも対象は「可能な限り不規則」です。コラッツの割り算の回数は完全に等分布し（Terras）、零点は完全に反発し合う（この記事の実測で無相関の 1/68）。不規則さは定理で、規則は予想。——両方とも、そこで止まっています。

見立て（測れないものについての、測れない予想）

真らしさは、ほぼ同じです。差は分解能の中にあり、意味がありません。数値的な前例（軸05）はリーマンの減点材料にはなりません——メルテンス予想はリーマン予想の強化版であり、その失敗はリーマン予想自体について何も言わないからです。むしろ減点材料があるのはコラッツの側で、近傍の 3n−1 には巡回があり、5n+1 は発散します。

動いた宿題の現在地は 残っていること にある。ここには現時点の未決だけを置く。

Λ の二つの向きが、なぜ非対称なのか

Rodgers–Tao が Λ ≥ 0 を証明した筋は、こうです。

もし Λ < 0 なら、零点は t = 0 の時点で実際より規則正しく並んでいなければならない。
ところが零点はそこまで規則正しくない——それは既に分かっていること。だから Λ ≥ 0。

既知 「なぜ片方だけなのか」には、もう一段の名前がつきます。証明された側が言っているのは「零点は、局所平均で等間隔ではない」——正の割合の零点についての主張で、平均を取る道具が届く場所にあります。証明されていない側が言っているのは「臨界線の外に零点は一つも無い」——零割合の欠陥の不在についての主張です。線の外の零点が仮にあったとして、それは密度 0 でありえます。密度 0 のものは、どの相関にも、どのモーメントにも、どの漸近公式にも写りません。すべての尺度で零点が完全に規則的だと分かっても、リーマン予想は出ません。平均は、混んでいるものは見えますが、まばらなものは見えません。片側だけ証明できたのは、片側だけが混んでいる側の主張だからです。論理の形はこの向きを説明しません——Λ ≤ 0 は Π₁、Λ ≥ 0 は Π₂ で、階層の上にあるほうが証明されています。同じ形がコラッツにもあります。「ほとんどすべての軌道がほぼ有界値を取る」は正の割合、「巡回が無い」は軌道一本です。

既知 零点の側で測れる量は、どれも言い換えです。臨界線上の零点 ρ = 1/2 + iγ で Re ζ′(ρ) > 0 ⟺ |S(γ)| < 1/2（S は偏角関数。arXiv:2305.14253 に逐語である恒等式）。Hurwitz ゼータ ζ(s, a) の族で零点を a について動かすと、一次摂動は dρ/da|_a=1 = ρζ(ρ+1)/ζ′(ρ)（初等）。いずれも ζ の解析的性質の言い換えで、Λ の向きを動かしません。

検問の一文。零点の上で測った統計に構造が見えたら、まず「ζ を使わない点過程（同じ密度の一様な点列や、GUE の固有値）でも同じ値が出るか」を確かめる。出るなら、それは恒等式であって発見ではありません。

出典と再現

この記事に新しい数学はありません。明示公式は 1859 年、三つの可視化は標準手法、Λ も Rodgers–Tao も既知です。この記事がやったのは実際に回して、数字を出して、図にすることです。計算でいちばん重い事実は逆向きが回ることです——素数の和に山が立ち、その位置が 21.022040 と 0.0009 しか違わない。