論文・プリプリント

Closing the Finite Gap：有限Pick正値性から解析的剛性へ

SEERAVERSE Research Initiativeは、SEERAVERSE RH PROGRAMの研究ノート v1.1「Closing the Finite Gap: From All-Depth Pick Positivity to Analytic Rigidity」をZenodoで公開しました。

本稿は、リーマン予想へ向かう一つの研究経路を、有限境界Pick行列の正値性、正実補間、解析関数族のコンパクト性、一意性、解析接続、極の排除という依存鎖として記録したPreprintです。英語版と日本語版のPDFを同一レコードで公開し、DOIは 10.5281/zenodo.23145297、公開日は2026年10月5日、バージョンは1.1です。

今回閉じた「finite gap」とは何か

この研究プログラムでは、無限の主張を直接扱うのではなく、各深さで構成される有限Pick行列の正値性へ問題を還元します。以前の段階では、初期範囲を厳密に確認するprefixと、十分大きな深さから働くeffective restartの間に、有限ではあるものの別途制御が必要な中央領域が残っていました。本稿がfinite gapと呼ぶのは、この有限中央領域です。

v1.1では、stage-dependentなreflection capを与える中心性評価を導入し、反射係数が新たに加わる各段階でどの程度まで増え得るかを制御します。さらに、その影響を次段へ運ぶ伝播因子を厳密に因数分解し、一部を望遠鏡型に相殺できる幾何項として整理します。Zenodoの概要では、しきい値比の収縮とproof-gradeな基底余裕を組み合わせ、4053から10148までの範囲で保守的な一様余裕が10の507乗を超えると報告しています。

三つの範囲を一つにつなぐ

依存構造は三つに分かれます。第一はn=4052までのproof-grade prefix、第二は今回解析的に処理した4053≦n≦10148の有限中央領域、第三はn≧10149のeffective restartです。中央領域を単なる大規模数値走査で埋めるのではなく、段階ごとの上限と伝播の構造によって扱うことが今回の中心です。

この三領域が接続されると、プログラム内部ではall-depth finite Pick positivityが得られる、というのが文書の主張です。その後は、有限行列の正値性だけで終わらず、補間問題から極限関数を取り出し、非Blaschke格子上の一意性を使い、恒等的な解析接続と極の排除へ進みます。タイトルの「analytic rigidity」は、この下流で自由度が失われ、解析的対象が強く拘束される段階を指します。

用語を短く読む

Pick positivityは、指定された点で解析関数が所定の条件を満たせるかを行列の正値性で調べる古典的な枠組みに関係します。Schur parameterは反復過程で現れる係数で、その大きさの制御が安定性に直結します。Montel compactnessは、適切に一様有界な解析関数族から収束部分列を取り出す道具です。Nevanlinna-class uniquenessは、十分に強い零点集合上で一致する関数が同一であることを示す段階に関係します。

これらの古典的道具を列挙するだけでは証明にはなりません。重要なのは、有限段階で得た条件が、極限と一意性を通じて目的の解析的対象へ本当に接続されるか、その接続に未証明の仮定が混入していないかです。本稿は、その依存順序を監査可能な形で提示しようとしています。

この発表が意味すること、意味しないこと

Zenodoの記録は、この研究ノートをSEERAVERSE RH PROGRAMの重要な内部到達点として位置づけています。ただし、これは査読済み論文ではなくPreprintです。また、著者自身が明記している通り、リーマン予想を証明したという公的な主張を行う文書ではありません。今回の成果は、プログラム内部で残っていた有限中央領域の障害を解析的に処理し、その依存関係を一つの鎖として整理した、という範囲で読む必要があります。

したがって、「内部で依存鎖が閉じたこと」と「数学界が独立に検証し、証明として受理したこと」は区別されます。SRIは、計算値や大きな安全余裕だけで結論を強めるのではなく、定義、補題、定数、境界条件、有限確認から解析的結論へ移る各段階について、第三者が追跡できる検証を求めています。

独立検証で確認してほしい論点

variable reflection-cap argumentで用いる中心性評価と反射係数上限が、記載された全範囲で成立するか。
伝播因子の厳密な因数分解と、望遠鏡型の幾何項の扱いに抜けがないか。
しきい値収縮 T_n+1/T_n < 4/9 と基底余裕から、中央領域全体の一様余裕が導かれるか。
有限Pick正値性から、正実補間、Montelコンパクト性、Nevanlinna級の一意性、恒等的延長、極の排除へ進む下流の論理が有効か。
有限計算・区間評価・解析的議論の境界が明確で、再計算可能な形になっているか。

研究の価値は、強い結論を早く宣言することではなく、反証可能な形で検証対象を提示し、誤りがあれば場所を特定できる構造を残すことにあります。

研究資料

LinkedInの背景記事は、対称性・安定性・境界条件というSEERAVERSEの問題意識を一般向けに説明したものです。今回のv1.1の技術的根拠は、必ずZenodoの本文を参照してください。

検証はどの順番で進めるべきか

独立検証では、最終結論から逆算して印象を評価するのではなく、依存鎖を前から一段ずつ確認する必要があります。最初に記号、行列、格子、正規化、対象区間の定義を固定し、次に各補題が参照する仮定を一覧化します。その後、有限prefix、中央領域、restartの三領域が重複や空白なく全深度を覆うかを確認します。中央領域では、上限が各段階で本当に適用可能か、丸めや不等号の向き、端点の扱いまで追跡することが重要です。

下流の解析では、有限段階の正値性から補間関数を構成できる条件、極限を取る際の局所有界性、格子が一意性集合として十分か、恒等的延長が越える領域、除外すべき極の位置を分けて確認します。数値的な大きな余裕があっても、別の論理段階の仮定を補うことはできません。反対に、記述上の軽微な誤りと、依存鎖を破る本質的な誤りも区別する必要があります。

再現性と改訂の方針

Zenodoレコードには英語版と日本語版を収録しています。引用や検証では、レコード番号だけでなく、バージョン1.1、公開日、参照したPDFの言語を記録してください。今後、定数、補題、記法、検証範囲に変更が生じた場合は、過去版を上書きして見えなくするのではなく、新しい版として差分を示す方針です。

SRIが求めているのは賛同だけではありません。反例候補、境界条件の見落とし、既存定理との不整合、より短い証明経路、同値だが検証しやすい再定式化も重要な成果です。検証結果は、どの版のどの定義・補題・式を対象にしたかを明記することで、次の改訂へ接続できます。

AI支援と人間の責任

この研究プログラムでは、AIを文献整理、式の比較、依存関係の抽出、候補反例の探索、説明図の作成に利用できます。しかし、生成された説明や計算を、そのまま数学的事実として採用することはありません。公開する主張の範囲、証明責務の充足、外部からの指摘への対応、撤回や改訂の判断には人間が責任を負います。

今回のタイトル画像も同じ原則に従います。有限構造から制約伝播を経て解析的剛性へ至る構図を示しますが、図は証明の代替ではありません。読者が全体の位置関係を理解し、本文のどこを読むべきか判断するためのナビゲーションとして使用しています。

読者には、概要だけで結論を判断せず、可能であれば日本語版と英語版の対応箇所を比較することも推奨します。翻訳上の表現差、記号の定義、参照番号、端点条件に疑問がある場合は、推測で補わず、Zenodoの該当版を示して確認してください。公開後に寄せられた有効な指摘は、結論に都合が良いかどうかではなく、依存鎖の精度を高めるかどうかを基準に整理します。