Universal Central Limit Theorem for non-exchangeable interacting diffusions

技術要約：非交換的相互作用拡散過程における普遍的な中心極限定理

問題設定
本論文は、以下の確率微分方程式によって記述される、$n$ 個の相互作用する拡散過程 $(X^1, \dots, X^n)$ （$\mathbb{R}^d$ 上）の大きな $n$ における振る舞いを調査している：
$$dX^i_t = \left( b_0(t, X^i_t) + \sum_{j=1}^n \xi_{ij} b(t, X^i_t, X^j_t) \right) dt + \sigma dB^i_t,$$
ここで $\xi = (\xi_{ij})$ は、非負の成分を持ち、対角成分が 0 である決定論的な相互作用行列である。このような非交換的な系における「大数の法則」のレジーム（プロパゲーション・オブ・カオス）については広く研究されており、特に経験分布が McKean-Vlasov 極限へと収束することについては解明されているが、不均質な相互作用構造における「揺らぎ」の振る舞いについては、まだ理解が進んでいない。

中心となる問いは、グローバルな揺らぎ場（fluctuation field）を $\eta^n_t := \sqrt{n}(\mu^n_t - \mu_t)$ （ここで $\mu^n_t$ は経験分布、$\mu_t$ は決定論的極限）と定義したとき、これが古典的な交換的平均場の場合（$\xi_{ij} = 1/(n-1)$ の場合）と同じガウス極限に収束するかどうかである。具体的には、著者らは、ヘテロジニアスな相互作用構造の下で、どのような条件において $\eta^n$ が線形 SPDE の一意な解に分布収束するかを明らかにしようとしている。

手法
証明は、主に分布的な性質を扱うために負のソボレフ空間 $H^{-k}$ 内で行われる「タイトネス（緊密性）―極限―一意性」の戦略に従っている。

1. タイトネス（Tightness）: 著者らは、空間 $C([0, T]; H^{-k})$ における列 $(\eta^n)_{n \in \mathbb{N}}$ のタイトネスを確立する。これは以下によって達成される：

   • フーリエ解析と一様な重み付き $H^1$ 有界性を用いた、時間周辺分布のタイトネスの証明。
   • パス空間におけるタイトネスのための Aldous の判定条件の検証。
   • 決定的な点として、著者らは、分散（variance）を制御するために、シャクロフニク（Shkolnikov [58]）による鋭い定量的プロパゲーション・オブ・カオスの推定値と、関数不等式（ポアンカレ不等式および輸送不等式）を利用している。彼らは、揺らぎのペアリングの二次モーメントを、ポアンカレ不等式によって制御される分散項と、粒子法則と McKean-Vlasov 極限との間の相対エントロピーによって制御されるバイアス項に分解する。

2. 収束（極限の特定）: 部分列の極限を対象となる SPDE の解として特定するために、テスト関数 $\phi$ に対する $\langle \eta^n_t, \phi \rangle$ の半マルチンゲール分解を分析する。

   • マルチンゲール部分は、二次変動によって特徴付けられるガウスノイズ項に収束する。
   • ドリフト項には、線形化された McKean-Vlasov オペレータが含まれる。ここで、ドリフトの係数は有界であるが必ずしも無限遠で減衰しないため、技術的に重大な課題が生じる。また、$\eta^n$ の収束は、重みのない空間 $H^{-k}$ においてのみ行われる。
   • これを解決するために、著者らはカットオフ法を採用する。すなわち、一様な重み付きモーメント推定（ベッセル核の性質および輸送不等式から導かれる）を用いてテイル（裾）を制御しつつ、一様な収束が成立するコンパクト集合上でテスト関数を局所化する。
   • これにより、$\xi$ のヘテロジェニティ（不均質性）から生じる誤差項が、指定された稠密性の条件の下で極限において消滅することを示す。

3. 一意性: 本論文は、対象となる SPDE のパスごとの一意性を証明する。同じノイズによって駆動される 2 つの解 $\eta_t$ と $\eta'_t$ の差 $\delta_t$ を考えることで、ノイズ項は相殺され、決定論的な線形方程式が残る。著者らは、重み付き負のソボレフノルムにおけるエネルギー不等式を導出し、グロンウォールの不等式を適用することで $\delta_t \equiv 0$ であることを示す。

主な仮定と条件
主要な結果は、以下の条件を含む仮定 2.1 を満たす相互作用行列 $\xi$ に対して成立する：

• 行和: すべての $i$ について $\sum_j \xi_{ij} = 1$。
• 列和: 有界な列和、および列和の二乗平均が 1 に収束すること。
• 稠密性の閾値: 行列の成分は特定の減衰条件を満たさなければならない。最も重要な条件は、$\xi$ の最大成分が $o(n^{-1/2})$ であることである。具体的には、$\tilde{\xi}$ が平均場からの偏差を捉える場合、$\frac{1}{n^{3/2}} (\sum_{i,j} |\tilde{\xi}_{ij}|) \max_{i,j} \xi_{ij} \to 0$ という条件が必要である。
• 正則性: 相互作用関数 $b_0$ および $b$ は、次数 $k+1$ までの有界な導関数を持つ。

主な結果
本論文は、普遍的な中心極限定理（定理 2.4）を確立している：

• $\xi$ に関する上述の構造的および稠密性の条件の下で、揺らぎ場 $\eta^n$ は $C([0, T]; H^{-k})$ において一意なガウス過程 $\eta$ に分布収束する。
• この極限 $\eta$ は、以下の線形 SPDE の一意な解である：
  $$\partial_t \eta_t = \frac{\sigma^2}{2} \Delta \eta_t - \nabla \cdot (b_0 \eta_t) - \nabla \cdot \left( \eta_t \int b(\cdot, y) \mu_t(dy) \right) - \nabla \cdot \left( \mu_t \int b(\cdot, y) \eta_t(dy) \right) - \sigma \nabla \cdot (\sqrt{\mu_t} \dot{W}),$$
  これは、交換的な平均場の場合の揺らぎの極限と同一である。
• この結果は以下に適用される：
  • $m_n / \sqrt{n} \to \infty$ である $m_n$-正則グラフのスケールされた隣接行列。
  • $n p_n / \sqrt{n} \to \infty$ である Erdős–Rényi グラフ $G(n, p_n)$ （クエンチド（quenched）の意味において）。
  • 劣臨界領域（$\alpha < 1/2$）における空間的相互作用モデル。

意義と鋭さ（Sharpness）
本論文は、相互作用行列の最大成分に関する $n^{-1/2}$ の閾値が**鋭い（sharp）**ものであると主張している。

• 空間的相互作用モデル（相互作用の強さが $|x_i - x_j|^{-\alpha}$ として減衰する場合）の文脈では、$\max \xi_{ij} \sim n^{\alpha-1}$ という条件は、$n^{-1/2}$ の閾値が $\alpha < 1/2$ に対応することを意味する。
• 著者らは、超臨界領域（$\alpha > 1/2$）においては、$\sqrt{n}$ で再スケールされた揺らぎが発散し、異なるスケーリング（$n^{1-\alpha}$）がガウス的な極限ではなく決定論的な極限をもたらすことを指摘している。
• ガウス極限の普遍性は、相互作用のグラフが十分に稠密である限り（具体的には、相互作用の強さが単一のペアに集中しすぎない限り）、微視的なネットワークのヘテロジェニティが巨視的な揺らぎの統計量を変えないこと、すなわち、システムはあたかも完全に交換的であるかのように振る舞うことを示している点で重要である。

結論
本研究は、古典的な平均場相互作用拡散過程の揺らぎ理論を、広範な非交換的系へと拡張するものである。定量的なプロパゲーション・オブ・カオスと、関数不等式および重み付きソボレフ空間における注意深い分析を組み合わせることで、相互作用行列が特定の稠密性条件を満たす限り、ガウス的な揺らぎ極限の普遍性が保持されることを証明している。