木なしアプローチによる 3 次元 Yang-Mills Langevin ダイナミクス — 正則構造モデルの構成と大域 Besov 推定

§01 背景 — Yang-Mills 汎函数と確率量子化

Yang-Mills 理論は素粒子物理学の標準模型の数学的骨格です。自明でない事実として、この理論の量子版が数学的に厳密に定義できるかどうかは未解決問題として残っており、Clay Millennium Prize の「Yang-Mills 存在と質量ギャップ」問題はその 4 次元版を問題にしています。

数学的には、Yang-Mills 汎函数は $G$-主束（$G$ はコンパクトリー群）上の接続 1-形式 $A$ に対して定義されます。$\mathbb{R}^d$ 上で考えると、汎函数は $$S_{YM}[A] = \int_{\mathbb{R}^d} |F_A|^2 \, dx$$ の形をとります。ここで $F_A = dA + A \wedge A$ は曲率 2-形式（場の強さテンソル）です。$d=3$ の場合に焦点を当てるのが本論文の設定で、$d=4$ の Millennium Prize 問題より一段「易しい」とはいえ、依然として超対称性のない厳密な確率論的扱いは非常に難しいことが数十年の試みによって知られています。

Parisi と Wu（1981）が提案した確率量子化（stochastic quantization）の戦略は、Yang-Mills 汎函数の「最急降下流に確率ノイズを加えた」Langevin 方程式 $$\partial_t A = -\nabla_A S_{YM}[A] + \xi$$ を考え、この SDE の不変測度として Yang-Mills 測度を実現するというものです。ここで $\xi$ は適切な Lie 代数値の白色雑音です。この Langevin 方程式を 3 次元空間上で考えると、解の正則性が極めて低くなる特異的な SPDE（確率偏微分方程式）が現れます。通常の確率解析の枠組みでは解すら定義できないほど特異であり、Hairer の正則構造理論が必要になります。

直感的に言えば、空間次元が高いほど White noise の荒さが増し、解の関数としての正則性が下がります。3 次元 Yang-Mills の場合、解は古典的な意味の関数ではなく、より一般的な分布的対象として扱う必要があります。このことを厳密に定式化するのが本論文の出発点です。

§02 正則構造理論 — Hairer の枠組みと Otto のマルチインデックス革新

Martin Hairer が 2013〜2014 年に構築した正則構造（regularity structures）理論は、特異な SPDE を厳密に扱うための数学的枠組みです。この理論の核心は、特異な対象が住む「解の展開空間」を代数的・解析的に構成し、通常の微積分の代替として機能する計算規則を確立するという考え方です。

古典的な Taylor 展開（各点での多項式近似）を一般化した構造として、正則構造 $T = (A, T, G)$ が定義されます。ここで $A$ はスケールの指標（homogeneity）の集合、$T = \bigoplus_{\alpha \in A} T_\alpha$ は各スケールごとの「展開の項」を表す線形空間の直和、$G$ はこれらに作用する「再展開規則」の群です。

Hairer の当初の定式化では、$T$ の基底を組合せ論的な「木（tree）」で表現しており、BPHZ（Bogoliubov–Parasiuk–Hepp–Zimmermann）繰り込みの Forest Formula に対応する代数構造を木の言語で記述していました。これは概念的に明快である反面、複雑な方程式系への拡張が技術的に困難になる欠点があります。

本論文が採用した F. Otto らによるマルチインデックスアプローチは、木の言語を廃して、多変数の多項式的インデックス付けに基づく「木なし（tree-free）」定式化を行います。各「项」はある多次元インデックス $\beta \in \mathbb{N}^n$ によって区別され、木構造の代わりに代数的な多項式操作として繰り込みが記述されます。この定式化は Yang-Mills のようなゲージ理論に現れる複雑な方程式系、特にベクトル値雑音を伴う連立方程式への適用を大幅に容易にします。

正則構造においてモデル（model）とは、正則構造の各元を具体的な「カーネル」または「分布」に実現する写像 $\Pi: T \to \mathcal{S}'(\mathbb{R}^d)$ と、再展開規則を実現する $\Gamma: \mathbb{R}^d \times \mathbb{R}^d \to G$ の組です。このモデルの存在と適切な有界性が確立できれば、SPDE の局所解の存在・一意性が従います。本論文はこのモデルの大域的な構成に成功しています。

flowchart TD
    A[特異 SPDE] --> B[正則構造 T の構成]
    B --> C[モデル Pi, Gamma の構成]
    C --> D[Besov 型推定の導出]
    D --> E[滑らかモデル列の収束]
    E --> F[Yang-Mills 測度構成への基盤]

§03 主結果 — 正則構造モデルの構成と大域 Besov 推定

本論文の主定理は大きく二つの柱からなります。第一の柱は、3 次元 Yang-Mills Langevin 方程式に対する正則構造とそのモデルの存在、第二の柱は、そのモデルに対する大域的な Besov 型推定の証明です。

正則構造の構成において著者は、Yang-Mills Langevin 方程式の右辺に現れるすべての特異な項を系統的に分類し、それに対応する正則構造の元（symbols）を定義しています。Yang-Mills 理論特有の非線形性、特に $A \wedge A$ 型および $A \wedge A \wedge A$ 型の項は、通常のスカラー SPDE には現れない構造であり、ベクトル値（Lie 代数値）の白色雑音 $\xi$ の扱いとともに、多インデックスアプローチを Yang-Mills の設定に適応させる技術的核心となっています。

大域 Besov 推定の内容は次のとおりです。空間 $\mathbb{R}^3$ 上の重み付き Besov 空間 $\mathcal{C}^\alpha_{\eta}$ を、多項式減衰重み $\langle x \rangle^{-\eta}$（$\eta > 0$ は適切な指数）に関する $\mathcal{C}^\alpha$ ノルムによって定義します。著者は、構成されたモデル $\Pi$ が $$\sup_{x \in \mathbb{R}^3} \sup_{\lambda \leq 1} \lambda^{-\alpha} |\langle \Pi_x \tau, \varphi_x^\lambda \rangle| \leq C \langle x \rangle^{-\eta}$$ の形の大域的な推定をほぼ確実に（almost surely）満たすことを証明しています。ここで $\varphi_x^\lambda$ はスケール $\lambda$ で $x$ を中心とするテスト関数のクラス、$\tau \in T_\alpha$ は正則構造の各元です。

この大域推定が重要な理由は、コンパクト集合上での局所推定のみでは Yang-Mills 測度の構成に不十分だからです。Langevin 方程式の不変測度として Yang-Mills 測度を実現するためには、解が時間無限大で定常状態に収束することを制御する必要があり、そのためには $\mathbb{R}^3$ 全域にわたる大域的な解析的制御が不可欠です。

モデルの定義はモルニファイ（mollify）したノイズ $\xi_\varepsilon$（$\varepsilon > 0$）によって滑らかに近似された方程式の古典的解から自然に得られる滑らかモデル $\Pi^{(\varepsilon)}$ の族を構成し、$\varepsilon \to 0$ の極限として $\Pi$ を定義するものです。本論文の結果のもう一つの柱は、この収束が先の大域 Besov 推定で定義されたトポロジーの下で成立することの証明です。

§04 ベクトル値白色雑音への multi-index 拡張と tree-free 化の意義

従来の正則構造理論のほとんどの応用、たとえば $\Phi^4_3$ モデルや KPZ 方程式などは、スカラー値（または有限次元ベクトル値）の SPDE に対するものです。Yang-Mills の場合、接続 1-形式 $A$ は Lie 代数 $\mathfrak{g}$ 値の微分形式であり、白色雑音もまた $\mathfrak{g}$ 値です。これにより、方程式は実質的に一つの方程式ではなく、Lie 代数の次元に応じた連立 SPDE になります。

Otto らのマルチインデックスアプローチでは、各象徴（symbol）はある多次元インデックス $\beta = (\beta_1, \ldots, \beta_n) \in \mathbb{N}^n$ と、対応するサブ象徴（sub-symbols）の列で区別されます。$n$ を方程式の「成分数」に対応させることで、ベクトル値の場合に自然に拡張できます。特に、白色雑音が Lie 代数値である場合、ノイズ象徴の「添字」はリー代数の添字に対応し、非可換性から来る交換子 $[A, \cdot]$ 型の非線形項の正確な取り扱いが multi-index の言語の中で体系化されます。

著者が本論文で展開した技術的革新の一つは、ベクトル値雑音に対する確率的推定（stochastic estimates）の体系的導出です。スカラー値の場合に開発された iterated stochastic integrals の評価法を、Lie 代数構造を持つベクトル値の場合に適切に一般化することが必要で、これには確率論的な多重 Itô 積分の精密な推定が含まれます。

Wiener 混沌展開（Wiener chaos expansion）を用いると、モデルの各成分は確率空間上の多重確率積分として表現されます。$k$ 次の Wiener 混沌成分 $I_k(f_k)$ に対しては超縮小性（hypercontractivity）から $L^p$ 推定が得られますが、大域的な $\mathbb{R}^3$ 上の推定を得るためにはさらに空間的な減衰を制御する必要があります。著者はこのために、重み付き Besov 空間における Itô 積分の推定を精巧に組み合わせた手法を開発しています。

Tree-free な定式化のもう一つの利点は、繰り込み計算の透明性です。木構造を使った Hairer の原論文では、繰り込みの組合せ論的構造が Butcher 群・Connes-Kreimer Hopf 代数と密接に絡んでいます。これは非常に美しい代数的構造ですが、Yang-Mills のような複雑な方程式では木の増殖が爆発的になり、計算の透明性が失われます。multi-index アプローチでは同じ繰り込みの内容を多項式的なインデックスの言語で記述することで、構造が圧縮され見通しが良くなります。人間の皆様がこれを数十年かけて整備してきたことは、記録としておきましょう。

§05 Yang-Mills 測度の構成プログラムと本論文の位置づけ

本論文の成果を理解するために、Yang-Mills 測度の構成という大きなプログラムの中に位置づけることが重要です。確率量子化のアプローチでは、Yang-Mills 測度 $\mu_{YM}$ を Langevin 方程式 $$\partial_t A = -(\delta^* F_A)^\sharp + \xi$$ の（時間）不変測度として実現しようとします。ここで $\delta^* F_A$ はゲージ共変コデリバティブ、$\sharp$ は計量による添字上げです。

このプログラムには大きく三つのステップがあります。第一ステップは、Langevin 方程式の局所解の存在——すなわち任意の初期条件から局所的に解が存在することの証明。第二ステップは、解の大域的存在と一意性。第三ステップは、長時間の定常状態への収束と不変測度 $\mu_{YM}$ の特定です。

本論文は主として第一ステップの解析的基盤に対応します。正則構造のモデルを構成するということは、局所解の well-posedness に必要な「再正規化済みの方程式」の意味での解の存在に向けた中核的な準備が整ったことを意味します。大域的な Besov 推定は、解が空間的に適切に振る舞うことを保証する重要な制御であり、第二・第三ステップへの橋渡しになります。

著者は本論文に先行する研究として、Minkowski 空間上での Yang-Mills 場の正準量子化の問題を研究しており、その成果が本論文の問題設定に直接影響しています。Minkowski 空間とユークリッド空間（虚時間版）の関係は Osterwalder-Schrader 公理によって記述されており、Euclidean Yang-Mills 測度が構成されれば Wick 回転によって物理的な Minkowski 空間の場の理論に戻ることが期待されます。

比較として、スカラー場の $\Phi^4_3$ モデルについては、Hairer の正則構造理論を用いた厳密な構成が既に達成されています。Yang-Mills の場合はゲージ対称性（接続に対するゲージ変換群の作用）が追加の困難をもたらしており、モデルの構成だけでなく、構成した不変測度がゲージ不変であることの証明も重要な未来の課題として残ります。本論文の大域推定はこの方向への第一歩として位置づけられます。