ESと強L²収束を組み合わせる、条件付きの移送

STATUS: RIEMANN HYPOTHESIS OPEN.

研究記録：2026-10-01〜02。取込・原典再確認・公開更新：2026-10-05。

何が変わったか

有限Weil最低状態の単純性・偶性（ES）と、theta核への強L²収束が同じ列で成立するなら、指定した収束速度なしで複素領域の比較（CMP）へ移せる、という条件付き接続を確認しました。実零点関数に対する既存の収束定理を使います。

ESも、必要な強L²収束も、まだ証明していません。CMPとRHも未解決です。「通常のL²収束なら常に複素収束する」という結論ではありません。

なぜこの方向へ戻ったか

完成した二つの対象を比べる前に、同じ生成規則から出てくるのかを問い直しました。生成式、素数の反復、平均的な偏り、尺度変換、正の内積を順に点検した記録を今回取り込みました。

その過程で、観測される負符号や混合項の消失が、背後の装置ではなく対数・微分という「読み出し」からも生じることを区別しました。また、対称性や自然な正の空間の存在だけでは、実際のゼータ零点を保持する正の計量は得られませんでした。これらは限定した検査の結果であり、あらゆる別ルートの不可能性を示すものではありません。

そこで主線を直接CMP＋ESに戻し、既知の実零点性を比較の移送にも使えるかを検討しました。今回確認したのは、その接続の前件と結論です。新しい第三ルートは開始していません。

現在の境界

CMP: OPEN / ES: OPEN. 同じ共終列上で必要な前件を満たすことは未証明です。
新たに解決した、変化する実際のWeil系の漸近評価は 0 件です。
旧CMP-RはESに依存しない、速度付きの十分条件として残します。今回の共同分岐とは前件が異なります。
4点の有限診断は漸近証明でも区間認証でもありません。以前の一点の単純・偶認証も、最終的なESへ一般化しません。

EVEN FULL-GROUND CAPTURE: NOT ESTABLISHED.

次の行動

残る問いは、同じ列で実際の最低状態が単純かつ偶になるか、そしてその方向がtheta核を強L²で捕捉するかです。この更新は取込と再検証で止め、次の証明探索や数値計算を自動再開していません。

技術的な内容

条件付き移送の前件

$a_j=\log\lambda_j\to\infty$ とし、 $$v_j$$ は正確な有限Weil行列の実型・単位最低状態を、区間外で0に延長したものとします。ESは全有限空間の最低値が単純で、その状態が偶であるという条件です。制限した試行空間の最小化では代替できません。

同じ列で最終的なESと、実数 $$c_j$$ に対する次の強収束を仮定します。

\begin{gathered} \|c_jv_j-k\|_{L^2(\mathbb R)}\longrightarrow0,\\ \widehat k(z)=\Xi(z)/4\not\equiv0. \end{gathered}

CCMの有限定理から $\widehat v_j$ は実零点のみを持ちます。実型・指数型という条件と合わせ、Laguerre–Pólya（LP）クラスに入ります。Plancherelで実軸上の強L²収束を得た後、Clunie–Kuijlaarsの収束定理へ渡します。

適用時には各LP関数を拡大円板上で実零点多項式に近似し、極限が非零の実区間で測度収束を使います。原著Corollary 1.3の前件に合い、恒等定理で極限を同定できます。その結果は、各コンパクト集合 $K\subset\mathbb C$ 上での

\sup_{z\in K}|c_j\widehat v_j(z)-\Xi(z)/4|\longrightarrow0 \qquad(K\Subset\mathbb C).

これは前件を仮定した結論です。 $$z_*=i/4$$ での非零値を使って、この段階の後に値規格化します。既知の近似の帯域収束と合わせればCMPが従います。非実点で先に割った関数や、位相因子付き行列式をそのまま実型LP関数とは扱いません。

近似を使った共同十分条件

生のプロレート近似を $\ell_\lambda$ 、支持制限を $$R_a$$ 、有限フーリエ射影を $$P_N$$ とし、 $p_{\lambda,N}=P_N\ell_\lambda$ とします。 $\ell_\lambda$ は既に $$[-a,a]$$ の外で0です。

\begin{gathered} D_{\lambda,N}=\|(I-P_v)p_{\lambda,N}\|_2,\\ P_v f=\langle v,f\rangle v. \end{gathered}

既存の基関数の評価と射影評価は $\ell_\lambda-R_ak\to0$ 、および $a/(N+1)\to0$ の下で $p_{\lambda,N}\to k$ を与えます。射影前の近似を厳密に偶とは仮定せず、その奇成分のノルムを既存の誤差で抑えます。したがって、同じ共終列で、最初の二つの不等式が最終的に成り立つという共同十分条件は

\begin{gathered} e_->e_+,\quad\Delta_+>0,\\ D_{\lambda,N}\to0,\quad \frac{\log\lambda}{N+1}\to0. \end{gathered}

最初の二条件を実際の列で示すことが未解決です。最後の条件は近似の射影に関するもので、ESや捕捉を保証しません。 $N=\lceil(\log\lambda)^2\rceil$ は解像条件の例にすぎません。エネルギー超過を固有値差で割った上界は、 $D\to0$ の必要条件でも同値条件でもありません。

以前の記録との関係

CASE D — CMP OPEN + ES OPEN. 既存定理監査の 19項目中12項目という数字は、一般論・固定範囲の証明を委譲できるという意味のままです。12個のRH障害を解決したとはしません。

旧CMP-Rでは、すべての $$0<r<1/2$$ に対し $\lambda^rD_{\lambda,N}\to0$ と対応する射影解像条件を要求します。これを削除せず、ESを使う今回の十分条件を別に追加します。2026-10-01の更新は当時の記録として保持しています。

証拠と出典

今回、元の引継ぎでは未取得だったClunie–Kuijlaars原著の定理本文・該当証明を確認しました。別順序の反証優先点検も行いましたが、同じAI担当による再監査であり、外部査読・形式証明ではありません。4点の数値は保存値の整合だけ再検査し、固有問題は再計算していません。

Clunie–Kuijlaars, Approximation by Polynomials with Restricted Zeros (1994), Corollary 1.3, p.110; proof pp.113–114. 原著 · DOI
Connes–Consani–Moscovici, Zeta Spectral Triples, arXiv v1, Theorem 5.10(iii), Lemmas 7.2–7.3. 境界規格化と、本ログの $\widehat k=\Xi/4$ を照合。原典
今回の公開状態記録 · 公開用の検証記録（英語）

引継ぎ原本と第三者PDFは公開版へ一括転載していません。本文は採否結果を反映した編集用要約です。

STATUS: RIEMANN HYPOTHESIS OPEN.