論文・プリプリント

リーマン予想を『有限行列の正値性』へ：Boundary-First Pick Approach 詳説

リーマン予想を有限Pick行列の全深度正値性へ再定式化し、正実補間、Montel極限、Nevanlinna剛性、極排除へ接続するVersion 2.0の証明アーキテクチャを詳しく解説します。

SEERAVERSE Research Initiativeは、論文「SEERAVERSE RH Program: A Boundary-First Pick Approach to the Riemann Hypothesis」Version 2.0を公開しました。

本論文は、リーマン予想を無限個の零点の直接探索として扱う代わりに、リーマンのxi関数から構成した境界関数の有限Pick行列が、すべての深さで正値になることを示す問題へ再定式化します。その有限正値性を、正実補間、Montelの正規族、Nevanlinnaクラスの一意性へ接続し、臨界線外の零点が誘導する極を排除するという二段階の証明構造を提示しています。

零点探索から有限正値性へ

リーマン予想は、リーマンゼータ関数のすべての非自明な零点rhoが Re rho = 1/2 を満たすという予想です。対象となる零点は無限に存在するため、どれだけ多くの零点を数値的に確認しても、それだけでは無限全体の証明にはなりません。

論文は中心化座標 s = 1/2 + x を導入し、xi関数の対数微分から、正規化された境界関数 R_∂(x) を構成します。この変換により、臨界線の右側にある非自明な零点は、右半平面における境界関数の真正の極として表現されます。

Pick行列とは何か

論文は格子 x_i = 5/2 + 2i 上で境界関数を標本化し、深さNの行列

K∂(N) = [(R∂(x_i) + R∂(x_j)) / (x_i + x_j)]

を構成します。正実補間理論では、有限個の指定値が右半平面上の正実正則関数から得られるための整合条件が、対応するPick行列の半正定値性として表されます。本論文が有限・実効的部分で目標とするのは、より強い厳密な正値性 K_∂^(N) ≻ 0 を、すべてのNについて示すことです。

Fresh Pivotによる還元

深さNからN+1へ行列を拡張するとき、Schur補行列を使うことで、新しい行列の正値性を一つのFresh Pivot条件へ還元します。巨大な行列の固有値を毎回直接評価する代わりに、明示的なスカラー量 r_N,∂⁽²⁾ が閾値T_Nを上回ることを追跡します。

三領域で全深度を覆う

無限の深さは、使用する手法に応じて三領域へ分割されます。

1 ≤ N ≤ 4052：多倍長精度の区間演算による有限証明書で処理します。
4053 ≤ N ≤ 10148：実効的中心性、可変反射キャップ、解析的な積の下界を組み合わせ、逐次的な数値継続ではなく一つの一様評価で閉じます。
N ≥ 10149：明示的な大深度リスタート以降を、一様な解析的評価で処理します。

中間領域では、中心性のずれに対する |2Θ_n-1| < 38.278/sqrt(n) という実効評価から、段階依存の反射パラメータ上限を導きます。さらに q_n=(1-K_n)/(1+K_n) を用い、q_nが4/9以上となる地点以降では、反射積の損失が閾値列の収縮より悪化しないことを利用します。

有限から無限へ：正実補間とMontel極限

すべての有限深度でPick正値性が成立すると、各Nについて最初のN個の境界値を補間する正実正則関数H_Nが存在します。これをCayley変換で単位円板上のSchur関数g_Nへ移すと、関数族は絶対値1以下に一様有界になります。

Montelの定理により、この関数族からコンパクト集合上一様収束する部分列を取り出せます。逆Cayley変換によって、無限格子全体を同時に補間する、右半平面上の単一の正則正実関数Hが得られます。

Nevanlinnaクラスと非Blaschke一意性

HとR_∂が無限個の格子点で一致しても、通常の恒等定理だけでは両者の一致を結論できません。格子点が領域内部に有限の集積点を持たないためです。

そこで差D=H-R_∂をNevanlinnaクラスに置きます。このクラスの非零関数が持つ零点列はBlaschke条件を満たす必要があります。しかし、今回の格子は対応する級数が調和級数型に発散する非Blaschke列です。Dがその全格子でゼロになるなら、Nevanlinnaクラスの一意性によりDは恒等的にゼロでなければなりません。

この解析的剛性により、HとR_∂の有理型恒等式が右半平面全体へ延長されます。Hは正則であるため、R_∂もそこに真正の極を持てません。

極の排除から臨界線へ

xi関数が非自明な零点rhoを持つと、対数微分xi’/xiはrhoに極を持ちます。論文の境界変換では、その零点は x = rho – 1/2 に真正の極を生み、留数は m rho(rho-1)/((rho-3)(rho+2)) となります。非自明な零点ではこの留数はゼロになりません。

もしRe rho > 1/2なら、その極は右半平面に現れ、先に得た極排除と矛盾します。したがって右側の零点は排除されます。さらに関数等式 xi(s)=xi(1-s) による対称性が左側を排除し、論文はすべての非自明な零点が臨界線上にあると結論します。

この研究手法の特徴

無限の零点問題を、監査可能な有限行列の正値性へ変換すること。
計算機検証を有限prefixへ限定し、中間領域と無限tailを解析的に処理すること。
有限正値性から正則関数を構成し、古典的複素解析の剛性へ接続すること。
定数、範囲、閾値、依存関係を分離し、誤りがあれば位置を特定できる構造を持つこと。

独立検証の対象

外部検証では、境界変換、Fresh Pivot還元、有限区間証明書、中心性定数、可変反射キャップ、有限ギャップの積評価、大深度リスタート、正実補間、Nevanlinnaクラス所属、非Blaschke一意性、極の留数と非相殺性を、依存順に再構成する必要があります。大きな数値余裕は別の論理段階の仮定を代替しないため、各リンクを独立に確認することが重要です。