STATUS: RIEMANN HYPOTHESIS OPEN SANITIZED HISTORICAL SOURCE SNAPSHOT — not a new execution or proof validation. Public credit: @ykbballer91; AI-assisted research log; text CC BY 4.0. Source: release/research_handoff_2026-09-29.txt Original SHA-256: 5b78c16010bd27a617554b38a2fabbde181380fc2d7689c8a6bd4ba2372b3aae Internal source paths are provenance identifiers; see data/source-manifest.json for public paths. リーマン予想・自律探索の区切り報告／次スレッドへの引き継ぎ 作成日：2026年9月29日 対象：本スレッド冒頭の研究指示から、記録済み第23サイクルまで 数学研究の最終保存commit：624dea1 １．最初に結論 今回の探索は、現在の候補について検証・反証・終了判定まで終えた。ここで新しい探索には入らず、ユーザーが別のGPTスレッドで方針を再検討するための報告を提出する。 リーマン予想の無条件完全証明は得られていない。完成した証明候補もない。「探索の区切り」と「RHの証明完成」は別である。RHの状態はOPENのまま維持する。 得られたものは、固定した一つの窓におけるWeil正値性の計算機援用証明、有限・無限の移行に関する条件付きの解析、複数の厳密な恒等式、内部候補や外部論文の特定の推論に対する反例、そして再開可能な研究記録である。 最も重要な未達点は一貫している。算術的に自然な正構造を作ることはできても、それを所定のGamma因子・素数冪項・pole項を持つWeil形式全体の正値性へ結び付ける独立の評価は得られなかった。 補助成果や記録量は増えたが、直近の探索によってRHまでの最短の証明経路が短くなったとは報告できない。RHの完成率を数値で示すこともしない。 ２．ユーザーから受けた指示と、方針の変遷 出発点は、RHの証明発見、反証探索、独立監査、形式検証、論文化までを自律的に進める指示だった。既知の同値条件への言い換え、有限個の数値確認、隠れた仮定、未検証の極限交換を完成証明と扱わないことが強く指定された。 初期の主ルートはWeil positivity、有限窓から全体への移行、作用素の正値性だった。ただし、このルートに固執しないことも指示されていた。 途中で「On Structural Fluctuation」が着想資料として追加された。許されたのは、乗法的再帰、中心の両側の階層、局所寄与の蓄積、スペクトル的振動、変分的閉鎖、不変性からの規格化という抽象構造だけだった。物理的主張、Fibonacci、黄金比、光速、Y染色体、observer dependence等を数学的根拠に使わないという制約を維持した。添付PDFは7ページの読取記録とハッシュを保存しているが、出版履歴の検証や内容の物理的正当化は本研究の成果に含めない。 続いて固定積のimbalance、support拡大のSchur complement、canonicalな補正、spiral／scale-flow／保存量／global objectが独立トラックとして追加された。 その後のAUTONOMOUS RESEARCH SUPERVISOR指示では、Desogusの直接proof claimを優先監査すること、補助作業の量ではなくRHまでの実質的距離を評価すること、3サイクル核心が変わらなければ戦略を見直すことが指定された。この段階では外部候補の監査に相当量の作業を使った。 最新の研究方針では、外部の最新論文を順に追う運用を停止し、内部で構造を組み立て、第一原理から柔軟に推論する方向へ変更した。第19サイクル以降はこの方針を適用し、文献は具体的構成の後の既知性・適用条件の確認に用いた。 今回の報告依頼を受け、新しい候補の探索は開始していない。以下は今後の実行計画ではなく、完了済み作業と未解決点の引き継ぎである。 ３．証明グラフの現状 主グラフは19ノードである。 PROVEDとして記録した補助ノード：8。 KNOWNとして使用する標準入力：2。 FALSEとして棄却した一般候補：6。 未解決の表示ノード：3。 未解決の3ノードは、T000＝RH、T100＝全試験関数に対するWeil正値性、T110＝全L,Nのexact Gram正値性である。T100とT110にはRH同値という属性が付く。この3つを独立な未解決問題3件として数えるのではなく、同値な義務1クラスとして管理している。 ただし「1クラスに整理できた」ことは、RHを易しい一つの補題へ還元できたという意味ではない。残った義務がそのままRHと同値である。 既知入力は、ξの整関数性・対称性・零点計数などと、Weil基準である。これらの理論全体を本研究で独立再証明したわけではない。 補助ノードからRHへ至る無条件の依存経路は存在しない。最近の内部探索から主グラフの核心へ新しい証明済みの矢印は追加していない。 ４．初期に整えた数学的基盤（第1～3サイクル） Fourier変換をF_f(z)=∫f(x)e^(izx)dx、零点パラメータをz_ρ=(ρ−1/2)/iとした。Weilの零点側は、規約に従ってΣ_ρ F_f(z_ρ) overline(F_f(overline(z_ρ)))となる。RHを仮定せずに、これをΣ|F_f(z_ρ)|²へ置き換えることはできない。 固定supportの滑らかな試験関数について、臨界帯内の一様なFourier減衰、零点和の絶対収束、Weil形式の連続性、明示的なbump族の稠密性を整理した。 これにより「正しい位相の下で、全ての有限Gramが正なら、全ての試験関数で正」という移行の含意を証明した。全ての有限Gramが正という前件自体は証明していない。 連続性を欠いた稠密集合からの移行、正の対角blockから全blockの正値性、虚部を自己共役スペクトルへ置くことからの臨界線性などの短絡を反例で棄却した。 固定区間の核汎関数について、既知の最適値1/2＋cot(1/√2)/√2と、その最小化関数からのgapを再導出した。これは特定の核交換だけで100%の結論を得ようとする候補への障壁であり、全ての可能な核法の不可能性ではない。 別の実解析的結果として、非負確率密度f、累積分布Fに対する E(f)=∫f²＋∫∫|x−y|f(x)f(y)dxdy について、 E(f)−π/(2√2)=∫[f−√(2F(1−F))]²dx を導き、等号関数が適切な有限区間上のcosine型密度になることまで分類した。仮定はf∈L¹∩L²、全質量1、有限一次モーメントなど。この汎関数がWeil形式そのものだとは証明しておらず、RHへの依存矢印はない。既知の変分構造との対応を確認し、新規性も主張していない。 ５．実際に認証した正値性と、その限界（主に第5～7サイクル） 最も強いWeil正値性の認証は、support[-1/2,1/2]に限定した Q_W(f) ≥ 9×10^(-8) ||f||² である。対象は、その窓の全ての複素form-domain関数。単に一つの有限行列を正と確認しただけではない。 偶・奇32次ずつの有限headをArb 192bitで認証し、全n≥64の無限tailと交差項を解析的に覆った。224bitの別実行、別のCholesky検査、別求積による5成分照合、解析監査も保存した。 この計算機援用証明の信頼基盤には、既知のWeil規約、解析的評価、特殊関数恒等式、Arb／FLINT、実装環境が含まれる。Leanだけで全証明を検証した結果ではない。 Groskinの有限Guinand–Weil辞書については、c=13,N=4の9次行列を独立に構成し、全9 pivotの正を区間認証した。こちらは有限行列の結果であり、全試験関数の結果とは別である。 Zhuの一般entry boundには積分長の因子が不足する表示を特定し、反例と修正を記録した。この局所修正を使って全RHが閉じたわけではない。原著の200次headは取得・再現していない。 さらに半幅a=4/5,1,119/100,6/5,7/5の5窓について、高周波joint symbolが1/5を超えることを認証した。対応する開始点は111,1552,5549,21231,132510。115,995の閉区間と解析的終端で無限高周波を覆った。 しかし、この5窓の全Weil正値性は証明していない。低周波headや他の項との結合を含めた全認証と、高周波だけの下界を混同しない。ユーザーの指示後は、この有限窓の数値拡大を主目的として続けていない。 ６．構造ヒューリスティックA～Eの判定（第4サイクル以降） 中心化z=s−1/2、Mellin／dilation座標、局所算術項の大域蓄積、変分的正値性、有限系を一つの無限構造の制限として扱う方向を調べた。 対称性の厳密な区別として、s↦1−sの点固定集合はs=1/2という一点である。臨界線全体が固定される反射はs↦1−overline(s)の方である。対称性は線外の四点組を許すため、それだけでRHは従わない。 L²(R_+,dx)上ではU_u f(x)=e^(u/2)f(e^u x)がunitaryで、生成子はH=−i(x∂_x＋1/2)。1/2はdxに対する半密度の規格化として自然に現れる。ただし測度をdx/xにすれば対応する係数は0になる。 裸のdilation生成子のスペクトルは連続な実数全体であり、ζの離散的な零点列を選ばない。全零点をこの自己共役作用素の適切なmodeに同定する段階が未解決である。 素数冪の正の重みも、平行移動相関自体の符号を決めない。変分形式、正kernel、自己共役性、保存量といった語だけでは、実際のWeil形式への等式にならない。 ７．固定積imbalanceの探索（第8サイクル） ユーザー指定の恒等式n^(−s)n^(−(1−s))=n^(−1)と、 E_n(σ)=[n^(−σ)−n^(−(1−σ))]² を検査した。n>1ではE_n≥0で、E_n=0はσ=1/2と同値である。非自明な正の重みの和にも、収束域では同じ零点条件が残る。 したがって「全てのξ零点ρでE(Re ρ)=0」という主張は、別の易しい入力ではなくRHそのものである。これを独立補題として採用する案は棄却した。 固定積、反射対称性、正の測度などを持つ別模型にも線外零点を作れることを確認した。また、収束域で正の級数を解析接続した値が負になり得る例も認証した。解析接続後の式を元の非負和と同一視できない。 これは固定積恒等式の否定ではなく、そこから零点位置を強制する未証明の一段を特定した結果である。RHの反例ではない。 ８．support拡大とSchur flow（第9サイクル） 内側領域と新しいshellをblock分解し、内側Aが正で適切に逆を扱える場合、全体の正値性がC−B* A^(-1) B≥0へ還元されることを厳密化した。 無限次元ではAが単に正であることと、一様な正下界を持つことを区別した。gapが消える場合にはA^(-1/2)Bのrangeや有界性が必要で、有限行列の逆公式を無条件に移せない。 局所の正値性と小さいshellへの延長は得られても、全supportへの伝播は従わない。同じlog-domain、exact restrictions、局所延長などを持ち、有限radiusで負方向が出る一般模型を構成した。 正のGram項を足すとSchur complementが改善する、正確な平方因子分解も得た。しかし、改善が負値を必ず非負へ到達させる量を持つとは限らない。 archimedean tailのCauchy–Stieltjes構造や正増分は、固定support内の特定の近似操作には使えるが、その順序をsupport拡大の順序に転用できなかった。 Riccati／canonical system／de Branges／Krein型との対応も確認したが、必要な全域可逆性や正Hamiltonianの条件が未供給、あるいはRH同値だった。任意のcountertermは導入していない。この一般的伝播候補は終了した。 ９．spiral、scale-flow、保存則（第10サイクル） s=1/2＋α＋itと書けば、半密度を除いたcharacterはexp(−αu−itu)。α=0でpure rotationとなる。しかし、全ζ零点がこの性質を持つと置くだけならRHの言い換えである。 一方、global objectを先に置く構成は実行できた。試験関数を零点でsampleする写像Aと、反射する零点ペアを交換する自己共役involution Jを用い、Weil形式をtest-space上でA*JAと表せる。 同じ形式には平行移動に対する厳密な保存則もある。各固定窓は一つのglobal形式のexact restrictionとして扱える。 問題はJが不定符号を許すこと。線外のペアでも保存則は成立する。保存、可逆性、symplectic構造、J-unitarityから正定値性は出ない。全試験関数の像でJが正だと追加すれば、未解決のWeil正値性を置き直しただけになる。 winding、argument principle、self-similarity、fractal stringの関連も調べたが、新しい線外零点禁止機構は得られなかった。既知の零点計数やRH同値の逆スペクトル条件を、新しい証明として採用していない。このトラックも終了した。 １０．外部論文・既知ルートの監査（第11～18サイクルを中心に） ここで述べる判定は、保存した特定の版とproof-criticalな箇所についての内部監査である。外部査読や数学コミュニティの最終判定ではない。また、論文の一つの推論の反証と、論文中の全結果の否定を区別する。 Desogus, arXiv:2609.20367v2。 論文の依存関係を約90ノードへ分解し、一般Schur法の障壁を何で修復すると主張するかを照合した。Corollary 6.29、Lemma 8.4、Theorem 8.5へ至る実形式の同定と、二つのarmの費用を同じ形式の上で支払う段階にproof-criticalな不足が残った。 有限safe-cutの4,993整数については独立の区間実装で修復できた。しかし、この有限計算は作用素同定や追加費用の支払いを補わない。固定forcing・正pivotでも追加費用が発散する一般反例により、単純な修復案も棄却した。状態は「核心gapが未修復の外部proof claim」であり、完成証明として採用していない。 Cáceres, arXiv:2609.28529v1。 Theorem 4.1の振幅比は、固定した01：有界・正・可逆で、normはζ(α)²/ζ(2α)。 臨界値では、入力がℓ²で0へ収束する列の像が、任意のdivisor feature方向へ収束することを明示した。随伴domainは{0}となる。したがって、正の有限Gramから通常のℓ²上の閉正形式へ無条件に移せない。 別のGram完備化やunitary拡張自体は存在する。ただし同じ構造が全α>0にあり、unitarityだけで1/2を選べるわけではない。 次にlog nをMöbius反転で共役すると、 (By)_d=(log d)y_d＋Σ_{k≥2}Λ(k)√[J_(2α)(d)/J_(2α)(dk)] y_(dk) となり、Mangoldt係数が正確に現れる。α=1/2では既存の素数方向にΛ(k)/√kが現れるが、新しい素数方向には境界因子も残る。 この自然なHermitian formは、e_1−e_2/2で−log2/4となる。さらに任意の有限scalar shiftを加えても、素数方向のSchur complementが下に発散するため下半有界にできない。 正のPoisson密度の対数微分にも、単一素数から両符号が現れる。有限Euler積から同じprime-power係数が出ても、全素数極限とarchimedean／pole項の同定は別問題だった。 また連続scale相関C(a,b)=∫{ax}{bx}dx/x²から、|ζ(1/2＋it)|²/(t²＋1/4)を密度とする正の表示を導いた。ただし、この正相関はWeilの符号を持つ微分形式ではない。actual Ξは実整関数なので任意の位相自由度が残るとも言えず、不足は微分符号の制御にある。 有界性の結果とfractional-part自己相関は、構成後に既知の一次資料と一致を確認した。閉可能性の具体的分類や共役生成子の結果については、限定検索でliteralな先行掲載を特定できていない。新規性は主張しない。 この全整数モデルからWeil正値性を移植する候補も終了した。今回の最新成果は正しい算術構造とその適用限界であり、RHを閉じる新定理ではない。 １６．検証の水準と未検証部分 検証は、有理数恒等式、解析的な全称証明、Arbによる誤差包含、非認証の高精度sanity check、別担当の独立再導出を区別して保存している。数値精度を上げただけで証明になったとは扱わない。 Lean 4.19.0と固定Mathlib版で実行検証したのは8宣言である。内容は、点ごとの極限からの非負性、消える下側誤差からの非負性、連続性と稠密性による移行、有限反例の座標制限と負値、quartetの有理係数、二block下界、実数scalar Schur同値である。 実行ログにはsorryAxや独自のRH公理はない。ただしξ理論、Weil基準、解析的な稠密性、特殊関数、Arb証明書、無限tail、最近の内部恒等式までLeanで検証したわけではない。 報告作成時、古いグラフ説明に残っていた「7宣言」という表記を、実sourceと実行ログに合わせて8宣言へ訂正した。数学的ノードや依存関係を増やしたものではない。 独立エージェント監査は、同一作業環境内の独立検算である。外部専門家の査読、完全なRH候補に対する三段階監査、数学コミュニティの承認を受けたという意味ではない。 １７．成果物と再開時に参照すべき状態 作業ディレクトリ：[source repository] 正準状態：STATUS.md、proof_state.json。 主グラフ：theorem_graph/graph.md、theorem_graph/nodes.yaml。 最新候補の範囲：proofs/latest_candidate.md。 失敗記録：proofs/failed/COUNTEREXAMPLE_LOG.md。 戦略変更の履歴：research/strategy_review.md。 構造ヒューリスティック：research/structural_heuristics.md。 spiral等：research/spiral_scale_flow.md。 内部探索：research/internal_first_principles.md、prime_insertion_closure.md、selfdual_theta_boundary.md、continuum_subtraction.md、arithmetic_gram_generator.md。 固定窓の認証：proofs/audits/window-half-certificate.mdと対応する実行結果。 形式検証：formal/lean/README.md、source、verificationログ。 計算：experiments/scripts/とexperiments/results/。 主文献台帳は32件、構造トラックのstatement別記録は34件。これは読んだページ全ての数ではない。各ノートにも追加の限定的な既知性照合を記載している。 paper/main.texとPDFは研究・監査checkpointであり、完成したRH証明論文ではない。releaseにはcheckpoint01～04の旧アーカイブがあるが、最新の第23サイクルまでを含む完成証明の配布物ではない。最新版の研究状態はGit作業ツリーと正準ファイルを参照する。 Zenodo投稿、X投稿、DOI取得、完成証明v1.0のfreezeは行っていない。著者情報やライセンスを確定した公開操作もしていない。 １８．次のGPTスレッドで方針を決めるための要点 残った問題を「もう少し大きい有限窓を計算すればよい」と理解するのは誤りである。全supportへの伝播、正しい位相での閉包、actual形式への同定が核心であり、有限表の拡大では代替できない。 「対称だから中心にある」「1/2ならunitaryだから零点もそこにある」「正のkernelを作れたからWeilも正」という一般的推論は、今回の範囲で繰り返し反例または同値性に止まった。 一方、全ての作用素法や変分法が不可能と示したわけでもない。棄却したのは、記録した具体的な候補、一般含意、有限近似族である。新しい独立な算術入力を持つ別構成まで排除していない。 次の方針選択で重要なのは、別の正Gramを増やすことではなく、その構造がactual ζ／ξ／Weil全形式のどの未解決の一段を独立に閉じるかを、構成の初めから明確にすることである。所定のGamma因子とpole項を含めた全形式から出発する案は、直前の次候補として記録していたが、まだ着手していない。 ただし、このWeil方向を次も採用すべきだと結論しているわけではない。実際、長い探索の間、核心の未解決義務は変わらなかった。別のルートを選ぶか、既存成果を限定した数学的ノートへまとめるか、主探索の設計そのものを変更するかは、今回の報告を材料に再評価する必要がある。 新しい数学体系を構築したことでRHが近づいた、という主張も現時点ではできない。得た座標・完備化・不変量の多くは既知構造に対応し、独立導出と新規発見は区別している。 以上をもって今回の探索の区切り報告とする。RHはOPEN。追加の独立仮定を採用せず、未証明部分を残したまま完成扱いにはしない。ユーザーの新しい方針が示されるまで、追加の研究探索は開始しない。 PUBLIC EXPORT EDITORIAL NOTE — SOURCE REFERENCES NOT INCLUDED: - experiments/results - experiments/scripts - proofs/latest_candidate.md