直接ルートをCMPとESに絞る

STATUS: RIEMANN HYPOTHESIS OPEN.

公開更新日：2026-10-01。研究範囲：2026-09-30の完了済み監査・比較検討。このページはその編集要約であり、公開作業で新たな証明や数値計算は行っていません。

何が変わったか

既存研究を洗い直した結果、有限試験関数の構成や固定範囲の作用素論など、多くの一般部分は既存定理へ任せられることが分かりました。そこで現在採用する直接ルートをさらに絞り、「有限Weil最低状態が最終的に一意な偶状態になること」と、「その最低状態が、 $\Xi$ へ収束する既知のプロレート近似へ複素領域でも十分速く近づくこと」に集中します。

前者が ES、後者が CMP です。どちらも未証明ですが、ESは偶・奇の最低値差と偶側内部の固有値差、CMPは一つの十分条件として必要な収束速度まで具体化しました。

なぜこの方向か

一般論をさらに作るより、既存数学で閉じている部分を外し、実際のゼータに固有の未証明部分を明確にするためです。現在採用している直接ルート上で、未証明の中心義務が二種類に絞られたという整理であり、RHまでの距離や残りの難易度を数えたものではありません。

現在の限界

通常の $$L^2$$ 収束だけではCMPを示せません。一点の有限行列に対する単純・偶最低状態の認証から、最終的なESを結論することもできません。両義務は、同じ許容される共終列上で成立する必要があります。共終列とは、必要な解像条件を保ちながらカットオフを無限へ増やす一つの列です。

次にすること

実際の最低状態とプロレート近似が必要な速度で近づく理由と、最低状態が最終的に一意な偶状態になる理由を、それぞれ独立に検証します。面を広げず、CMPとESの二点に集中します。新しい第三ルート、新しい切断法、一般作用素論の再構築へ自動的には進みません。

技術的な詳細

既存定理へ委譲した件数の意味

CASE D — CMP OPEN + ES OPEN. 監査した 19項目中12項目について、一般理論・固定範囲の証明を既存定理へ委譲できます。12個のRH障害を解決したという意味ではありません。 パラメータとともに変わる実際のWeil系の未解決漸近評価が、新たに解決した件数は 0 です。

CMP：値で規格化した複素領域での比較

実際の有限Weil最低状態を $v_{\lambda,N}$ 、射影前の既知のプロレート近似を $k_\lambda$ とします。 $$z_*=i/4$$ で値を規格化し、同じ共終列上で、すべてのコンパクト集合 $K\Subset\Omega$ に対して

\Omega=\{z:|\Im z|<1/2\},\qquad \sup_{z\in K}\left| \frac{\widehat v_{\lambda,N}(z)}{\widehat v_{\lambda,N}(z_*)} -\frac{\widehat k_\lambda(z)}{\widehat k_\lambda(z_*)} \right|\longrightarrow0

を示すのがCMPです。規格化の分母が非零であることも必要です。プロレート近似側の $\Xi$ への収束は記載された範囲で既知ですが、実際の最低状態との比較は未証明です。

一つの十分条件 CMP-R は、 $a=\log\lambda$ 、 $$R_a$$ を $$[-a,a]$$ への支持制限、 $$P_N$$ を有限フーリエ射影、 $$P_v$$ を選んだ単位最低状態が張る直線への直交射影として、

D_{\lambda,N}=\|(I-P_v)P_NR_a k_\lambda\|_2,\qquad \lambda^rD_{\lambda,N}\longrightarrow0 \quad(0<r<1/2)

をすべての固定した $$0<r<1/2$$ に対して証明することです。射影誤差を処理する解像条件 $\lambda^r a/(N+1)\to0$ も、同じ列上で各 $$r$$ に対して満たします。実際の比較誤差の評価は未証明です。これは十分条件であり、CMPとの同値性は主張しません。支持が広がると複素評価のノルムが増大するため、通常の $$L^2$$ 収束だけでは足りません。

ES：最終的な単純性と偶性

偶・奇の各部分空間の最低固有値を $$e_+(a,N),e_-(a,N)$$ 、偶側の最低値と次の固有値との差を $\Delta_+(a,N)$ とします。CMPと同じ共終列上で、十分先から

e_-(a,N)>e_+(a,N),\qquad \Delta_+(a,N)>0

を示すことが目標です。これにより、有限系全体の最低状態が単純で偶であることが従います。

一点 $c=\lambda^2=13$ , $$N=4$$ では、保存済みの区間包囲を継承した認証により、単純な偶最低状態を確認しています。これはその一点の結果であり、最終的なESや無限極限へは一般化していません。CMP側の未証明の接近をESの根拠としても使いません。

その先で使える既存結果

両義務が同じ列で成立し、すべての前提を確認できれば、有限実零点定理、プロレート近似から $\Xi$ への収束、Hurwitz／Rouchéによる移行は既存定理へ委譲できます。現在はその接続を完了していません。

EVEN FULL-GROUND CAPTURE: NOT ESTABLISHED.

証拠と出典

公開研究状態の記録 · 現在地 · ロードマップ · 以前からの履歴 · 有限認証とその限界

完了済み研究について公開者が確認した要約を掲載しています。既存の原文・証拠のハッシュは保持しており、委譲件数そのものを新しい数学的証拠とは扱いません。