12. 戦略の棚卸し：算術評価と閉包
STATUS: RIEMANN HYPOTHESIS OPEN
記録日：2026-09-30。報告書に記録された日付。個別の開始・終了時刻は復元しない。
着想
新しい証明ルートではなく、既知の双線形・短区間・相関・因果的閉包の評価が、不足する各点評価を与えるかを調べた。
調べたこと
各点、ほとんどすべて、対数平均、シフト平均を区別し、固定Gaussian窓、移動する微分エネルギー、算術的遅延方程式を確認した。
残った結果
絶対収束の恒等式と、指定した過去減衰クラスでのMöbius逆の一意性を固定した。局所Sobolev評価は、一様な移動H¹エネルギー評価を各点評価へ変換できる。不足はその定量的で一様な算術評価であり、平均を使う方法を一律に否定したわけではない。
成立しなかったこと・未証明のこと
既知の平均相関だけでは、すべての観測を平方根尺度で制御できない。因果的一意性は前向き安定性を意味しない。観測点とともにGaussian幅を縮めると全項正の和さえ有界になり得るため、これは相殺の証明ではなく問題の変更である。
次の問いへ進んだ理由
棚卸しから次のルートを自動選択しなかった。その後、別途指定された算術的復元力の調査を行った。
この記録の範囲
三つの候補機構は正当化されなかった。すべての数学的戦略が尽きたとは主張しない。
「証明済み」は、リンク先に範囲と前提を記した補助主張を指す。内部AI監査は外部査読ではない。数値・形式化の限界は再現手順を参照。新規性・優先権は主張しない。
原文と証拠
研究原文は翻訳せず保持している。これらは公開用の原文コピーであり、第三者論文のダウンロードではない。出典で状態記録の範囲を、参考文献で文献と検証の区別を確認できる。