技術要約：特異なSPDEに対する一般的なパラコントロール・アンザッツ

問題設定

本論文は、以下の形式を持つ広範なクラスの特異な確率偏微分方程式（SPDE）の局所的な解の存在（well-posedness）を扱う：
$$L u = \sum_{\ell=1}^{\ell_0} F_\ell(v) \xi_\ell$$
ここで、$L = \partial_t - \mathcal{L}$ は微分作用素であり、$v$ は $u$ の導関数を含み、$\xi_\ell$ は低レギュラリティ（$C^{\alpha_i}$）を持つ時空ノイズである。レギュラリティ構造（Regularity Structures, Hairer [37]）の理論は、これらの方程式を解くための一般的な枠組みを提供してきたが、パラコントロール・アプローチ（Gubinelli, Imkeller, Perkowski [33]）は、歴史的に、それと同等の範囲を持つ一般的なアンザッツを欠いていた。既存のパラコントロール手法は、特定のモデル（例：$\Phi^4_3$, KPZ, 2次元ヤン・ミルズ）には成功しているものの、アドホックな構成や限定的な展開に依存していた。主要な課題は、解の定義のためにレギュラリティ構造の全機構に依存することなく、かつその代数的なツールを活用しながら、幅広い劣臨界（subcritical）なSPDEにおける非線形性と特異な積を扱う、系統的で一般的なパラコントロール・アンザッツを提供することである。

手法

著者らは、**デコレーテッド・ツリー（装飾された木）と反復パラプロダクト（iterated paraproducts）**に基づいた一般的なアンザッツを開発し、パラコントロール・カルキュラスのグローバルな性質と、レギュラリティ構造の局所的な展開手法との間の溝を埋めている。

1. 一般的なアンザッツ

解 $u$ は以下の形式をとることが提案されている：
$$u = \sum_{|I(\tau)| < \gamma} P(u_\tau, Z_{I(\tau)}) + u^\#$$
ここで：

• $P$ は時空パラプロダクトを表す。
• $Z_{I(\tau)}$ は、デコレーテッド・ツリー $\tau$（新しい根に接合されたもの）によってインデックス付けされた参照的な確率分布である。
• $u_\tau$ は、解の導関数に適用された基本微分 $\Upsilon_F[\tau]$ による係数である。
• $u^\#$ は $C^\gamma$ に属する滑らかな剰余項である。

2. 代数的枠組み

この構成は、2つの明確かつ関連するレギュラリティ構造に基づいている：

• デコレーテッド・ツリー（装飾された木）： 非線形性と方程式の構造を符号化するために使用される（[6, 16]に従う）。
• デコレーテッド・ワード（装飾された単語）： 反復パラプロダクトの局所展開を符号化するために導入された新しいレギュラリティ構造。この構造は、解をモデル化された分布（modelled distributions）の空間へと「リフト」することを定義するために極めて重要である。

重要な革新は、デコレーテッド・ツリーをデコレーテッド・ワードへと写像する一般化されたヘアイヤー＝ケリー写像（$\Psi$）の定義である。この写像により、著者らはツリーの代数的構造を反復パラプロダクトの言語へと翻訳することが可能となり、非線形項 $F_\ell(v)$ の**パラ線形化（paralinearisation）**を容易にしている。

3. 確率データの構成

参照分布 $Z_\tau$ は、以下を用いて帰納的に定義される：

• ノイズおよび単項式による逐次的な乗算。
• カーネル $K$（$L^{-1}$ に関連）による時空畳み込み。
• 低次の項の反復パラプロダクト。
  決定的なのは、この構成において定義の中で明示的な共鳴積（resonant products）を回避しており、代わりに、パラプロダクトを介して不規則な成分を差し引くことで得られる一般化された共鳴積として解釈している点である。

4. 再正規化

本論文は、再正規化を扱うために**準備写像（preparation map）**の形式（[5, 6]で導入）を統合している。準備写像 $R$ が与えられたとき、再正規化された確率データは $\hat{Z}_\tau = \hat{Z}^\circ_{R\tau}$ と定義される（ここで $\hat{Z}^\circ$ は乗法的コレクションである）。これにより、非線形項が準備写像の随伴（adjoint） $R^*$ によって修正される再正規化方程式が導かれる。

5. 収束解析

モルフィケーション・パラメータ $\epsilon \to 0$ のときの再正規化された確率データの収束を証明するために、著者らはスペクトル・ギャップ・アプローチ（[48]におけるマルチインデックス用、および[45, 38, 14]におけるツリーへの拡張）を適応させている。

• 彼らは、ベソフ空間を取り入れることで、積分性を追跡する、ワード上のレギュラリティ・インテグラビリティ構造を導入している。
• 彼らは、ベソフ埋め込みを代数的に符号化し、マリアバン微分によって提供される追加のレギュラリティを「忘却」しつつ、積分性の損失を追跡する写像 $j^*$ を定義している。
• 重要な代数的恒等式（定理 8.5）は、確率データ $\delta \hat{Z}_\tau$ のマリアバン微分を、データ自体の変換されたバージョンに関連付けており、これによりモーメントに関する帰納的な境界設定を可能にしている。

主要な貢献と結果

1. 一般的なパラコントロール・アンザッツ（定理 1.1）

本論文は、再正規化された方程式：
$$L u^\epsilon = \sum_{\ell=1}^{\ell_0} (R_\epsilon F_\ell)(v^\epsilon) \xi^\epsilon_\ell$$
に対する不動点引数を確立している。初期条件 $u_0 \in C^\gamma$ および許容可能な確率データに対して、一般的なパラコントロール展開によって記述される一意な局所解が存在することを証明している。解は初期データおよび確率的入力に対して連続に依存する。

2. モデル化された分布によるパラ線形化

著者らは、パラコントロール・アンザッツが非線形項のパラ線形化を可能にすることを実証している。解をワードのレギュラリティ構造上のモデル化された分布へとリフトすることで、方程式の右辺がパラコントロール構造を保持することを示す。これにより、滑らかな剰余項 $u^\#$ に対する不動点引数の使用が可能になる。

3. 準備写像による再正規化

本論文は、準備写像を用いて再正規化された方程式を導出するための系統的な方法を提供している。再正規化された非線形性が $\Upsilon_F[R^* \Xi_\ell]$ で与えられることを示し、パラコントロールの枠組み内での異なる特異なSPDEにわたる再正規化の扱いを統一している。

4. 確率データの収束（定理 1.2）

ノイズがスペクトル・ギャップ不等式（仮定 2）を満たすという仮定の下で、著者らは再正規化された確率データ $(\hat{Z}^m_\tau)$ が任意の $1 \le q < \infty$ に対して $L^q$ で収束することを証明している。この極限はモルフィファイアに依存しない。この結果は、BPHZアルゴリズムを直接実装することなく、ワードに基づくレギュラリティ構造に適合させたスペクトル・ギャップ法を用いることで達成されている。

意義と主張

本論文は、レギュラリティ構造と同等の範囲を持つ一般的なパラコントロール・アンザッツを提供することで、文献における重要な空白を埋めるものであると主張している。

• 統一性： パラコントロール・アプローチを、デコレーテッド・ツリーや準備写像の使用（レギュラリティ構造の代数的メカニズム）と、解の定義自体にはフル・リコンストラクション定理を必要とせずに統一している。
• 汎用性： このアンザッツは、多項式および滑らかな非線形性を持つ広範なクラスの劣臨界な特異SPDEをカバーしており、従来のパラコントロール手法で扱われてきた特定のモデルを超えている。
• 方法論的進展： 反復パラプロダクト（ワード）のレギュラリティ構造と、それに付随する一般化されたヘアイヤー＝ケリー写像の導入は、パラコントロール・カルキュラスに必要な局所展開を扱うための新しい代数的ツールセットを提供する。
• 堅牢性： スペクトル・ギャップ・アプローチによる収束の証明は、パラコントロールの枠組みが、特異なSPDEに必要な確率的推定を扱うのに十分に堅牢であることを示しており、レギュラリティ構造によって以前に得られた結果と一致している。

著者らは、現在の研究が明確なレギュラリティ・ゲインを持つ放物型方程式に焦点を当てている一方で、アンザッツの構造と再正規化は他の文脈にも適応可能である可能性があるが、カーネルからのレギュラリティ・ゲインが欠如しているため、分散型方程式（dispersive equations）は現在除外されていると述べている。また、本研究は、特定のモデル（2次元ナビエ・ストークス方程式など）に対する大域的存在の結果が、この新しい一般的なアンザッツを用いて、フル・劣臨界領域へと拡張できる可能性を示唆している。