Finite-Window Singularity Audits and Local-to-Clean Defect Transfer for Navier-Stokes

技術要約：ナビエ–ストークス方程式における有限窓型特異性監査および局所からクリーンへの欠陥転送

1. 問題設定
本論文は、3次元非圧縮性ナビエ–ストークス方程式の局所正則性の問題に取り組んでいる。具体的には、「非CKNブランチ（non-CKN branch）」—すなわち、適当な弱解が、局所正則性を保証するはずのカファレリ–コーエン–ニーレン（CKN）小規模領域に入らないスケールの連鎖—に関する構造的要件を調査している。中心となる問いは、もし特異性がスケールを超えて存続するとすれば、どのような精密なメカニズムによって、それが有限窓の観測を生き残り、標準的な観測量から隠れ、かつナビエ–ストークス方程式によって実現可能でありながら、スケールごとに再現されるのか、ということである。

本論文は、ナビエ–ストークス解の正則性を証明したり、特異解を構成したりすることを主張するものではない。むしろ、潜在的な特異性の問題を、特定の、高度に構造化された代数的および解析的な障害へと還元することを目指している。

2. 手法
本論文は、**「有限窓型特異性監査（Finite-Window Singularity Audit）」と「局所からクリーンへの欠陥転送（Local-to-Clean Defect Transfer）」**という二部構成のフレームワークを採用している。

• 監査（支払いと隠蔽）： 著者らは、「悪化（critical scale quantities）」の持続を金融台帳としてモデル化している。非CKNブランチが存続するためには、「未課税のクリティカルな供給（エネルギーまたはフラックスの未散逸分）」または「蓄積された漏出（カットオフや局在化による損失）」を生成しなければならないことを示している。これは、局所エネルギー不等式と標準的な補間評価から導出された、有限スケールのクリティカル・レジャー（重要勘定）不等式を通じて形式化されている。
• 転送（局所からクリーンへ）： 著者らは、「局在化された」欠陥パッケージ（カットオフ、調和圧力のテイル、有限窓解析に固有の切断誤差などのアーティファクトを含むもの）と、「クリーンな」欠陥パッケージ（これらのアーティファクトが除去されているか、明示的に考慮されている有限次元モデル）との間のマッピングを構築している。核心となる技術的ツールは、クリーンなモデルにおける「クリーン反ファントム・ギャップ（clean anti-phantom gap、コアサーブな評価式）」を、特定の構造的入力が保持されている場合に、局所的な設定へと持ち上げる代数的転送定理である。

3. 主要な貢献と革新
本論文は、主に以下の4つの革新を導入している。

1. 有限スケール支払い台帳： 持続的なクリティカルな悪化は、累積的な未課税供給または漏出を強制するという、定量的代替案を示す。これにより、「特異性は存在するか？」という定性的な問いを、定量的な会計問題へと変換している。
2. NS実現可能欠陥監査： 「形式的なファントム（観測写像の代数的な核ベクトル）」と「NS障害（NS-obstructions）」を厳密に区別するフィルター。危険な障害は、適当な弱解から継承される粗い運動量方程式、圧力適合性、レイノルズ正値性、およびエネルギーフラックス恒等式を満たさなければならない。
3. 局所からクリーンへの転送定理： クリーンな検出写像が商反ファントム・ギャップ（quotient anti-phantom gap）を持ち、かつ商持ち上げ、成分ごとの検出比較、および残留正規化が成立する場合、局所的な非ゲージ欠陥が定量的に検出されることを示す代数的結果。
4. 残留予算閉鎖マップ： すべての潜在的なエラー（圧力のテイル、カットオフの漏出、切断損失、非線形不一致、再現ドリフト、ゲージ不一致、および利益の不一致）を、明示的な有限窓レジャー項目へと系統的に分解する手法。

4. 主要な結果

• 定理 3.3（有限スケール生存の代替案）： いかなる適当なスケール・ウィンドウの連鎖においても、リザーバーの悪化が下限に留まっている場合、未課税供給から税金を引いた累積和は正であるか、あるいは蓄積された漏出が無視できない大きさにならなければならない。
• 定理 9.5（条件付き特異性監査の代替案）： ダイアディックな欠陥抽出、観測量の枯渇、および移動窓型の成長制御という仮定の下で、持続的な非CKNブランチは、次の5つの代替案のうちのいずれかを示唆する：
  • (a) 無視できない蓄積された漏出。
  • (b) 正の平均未課税クリティカル供給。
  • (c) 不適切な移動窓型観測性（定数が急速に増大しすぎる）。
  • (d) NS実現可能で、クリーン化され、スケール・クリティカルで、結合的に不可視であり、かつ収益性のある、再現可能な欠陥のカスケードの存在。
  • (e) 一成分退化レジームにおける垂直双対性または反ファントム閉鎖の失敗。
• 定理 17.4（代数的な局所からクリーンへの反ファントム転送）： クリーンな検出写像がコアサーブなギャップ条件（$c_{cl}^\Lambda$）を満たし、残留予算が正規化された境界（$\eta_\Lambda < c_{cl}^\Lambda(1-\epsilon_G)$）を満たす場合、局所的な検出写像は正の定数 $c_{loc}^\Lambda$ を持つコアサーブな評価を満たす。この定理は純粋に代数的であり、ナビエ–ストークスへの適用は、その構造的入力の検証に依存する。
• 系 18.1（統一的代替案）： 監査と転送の結果を統合する。漏出が無視可能であり、供給が課税・枯渇しており、定数が制御されており、かつNS実現可能なPRV（収益性、再現性、検証可能性）カスケードが排除されるならば、そのブランチはCKNスケールに入り、正則性を意味することを結論付けている。

5. 意義と主張
本論文は、自身を**「条件付き還元」**として明確に位置づけている。その意義は、ナビエ–ストークスの正則性に対する残された障害の正確な性質を特定することにある。

• 証明されたこと： 本論文は、有限スケールのレジャー評価（無条件のPDE入力）と、明示的な仮定の下での代数的転送定理を証明している。また、制御されるべきすべての残留項の詳細な簿記を提供している。
• 未解決の事項： 本論文は、**「正規化された吸収問題（normalized absorption problem）」**を、真に残された阻害要因として特定している。具体的には、次のような成分適合性評価を証明する必要がある：
  $$\text{Err}_\bullet(D) \leq \eta_\bullet \text{dist}_{loc}(D, \text{Im } G_{loc}^\Lambda) + \Delta_\bullet$$
  ここで、係数の和 $\eta_\bullet$ はクリーンなギャップの余裕よりも厳密に小さくなければならない。
• 最終的な障害： もし正則性が証明できないのであれば、本論文は、いかなる反例も極めて高度に組織化された対象、すなわち**「NS実現可能で、クリーン化され、結合的に不可視であり、収益性があり、かつ再現可能な欠陥カスケード」**であると論じている。逆に、もしそのようなカスケードが、すべての適合性、正値性、およびエネルギー制約を満たしながら構築できるならば、それが特異性を構成することになる。

要約すれば、本論文はナビエ–ストークスの正則性という広範な問いを、精密な構造的挑戦へと変貌させている。すなわち、特定の残留予算が、局所的な商距離に対して十分な小ささを持って吸収されることを証明するか、あるいは、すべての有限窓の観測性と代数的制約を回避する特定のタイプの欠陥カスケードを構築するか、という挑戦である。本研究は正則性の問題を解決したと主張するものではなく、解（あるいは反例）がどのような姿をとるべきかを定義するための厳密な枠組みを提供している。