Central limit theorems for non-linear functionals of Gaussian fields via Wiener chaos decomposition

技術的要約：ウィーナー・カオス展開による非線形関数型ガウス場の中心極限定理

問題設定
本論文は、$d$次元格子 $\mathbb{Z}^d$ 上の定常な離散ガウス場の非線形関数型の漸近挙動を扱う。具体的には、共分散 $\rho$ を持つ中心化された定常ガウス場 $X$ に対し、有限の分散を持つ非線形関数 $H: \mathbb{R} \to \mathbb{R}$ による場 $\Phi_N(j) = H(X_j)$ の収束を調査する。研究の対象は、領域 $D = [-1/2, 1/2]^d$ 上のテスト関数 $f$ に対するこの場の作用 $\langle \Phi_N, f \rangle = N^{-d} \sum_{j \in B_N} H(X_j) f(j/N)$ である。中心となる問いは、スケーリングされた場 $N^{d/2}\Phi_N$ が、分布の空間 $H^{-\alpha}(D)$ においてガウス限界（具体的にはガウス・ホワイトノイズまたは連続ガウス自由場）に収束するための条件を確立することである。

手法
著者らは、ウィーナー・カオス展開と第四モーメント定理（Nualart-Peccati, 2005）を主要な解析ツールとして採用している。

1. エルミート展開： 関数 $H$ はエルミート多項式 $H = \sum_{q=m}^\infty c_q H_q$ に分解される。ここで $m$ はエルミート・ランクである。これにより、場 $\Phi_N$ は、各々が第 $q$ 次ウィーナー・カオスに対応する直交成分 $S_{N,q}(f)$ の和として表現できる。
2. 同型性と表現： 定常ガウス場 $X$ は、ヒルベルト空間 $\mathcal{H}$ 上のアイソノーマル・ガウス過程 $W$ を通じて表現される。これにより、カオス成分を多重ウィーナー・伊藤積分として表現することが容易になる。
3. 第四モーメント定理： 著者らは、古典的なモーメント法（ファインマン図や組合せ論的な推定に依存するもの）を用いる代わりに、Nualart-Peccatiによる特性化を利用する。この定理は、固定されたウィーナー・カオス内にある一連の確率変数がガウス分布に収束するための必要十分条件として、その第四モーメントが3に収束すること（あるいは、等価的に、カーネルの縮退ノルムが消滅すること）を述べている。
4. タイトネス（緊密性）： 著者らは、ラプラシアンのスペクトル特性とエルミート展開の直交性を用いて、プロセスの $L^2$ ノルムを抑えることにより、負のソボレフ空間 $H^{-\alpha}(D)$ におけるタイトネスを確立する。

主要な貢献と結果

• 主定理 (Theorem 1)： 本論文は、分布としての場 $\Phi_N$ に関する中心極限定理（CLT）を証明している。$\sum_{u \in \mathbb{Z}^d} |\rho(u)|^m < \infty$ という条件の下で、スケーリングされた場 $N^{d/2}\Phi_N$ は、$H^{-\alpha}(D)$（ただし $\alpha > d/2$）において、定数 $C_m$ でスケールされた中心化ガウス・ホワイトノイズ $W$ に法則の意味で収束する。この結果は、通常は部分和の有限次元分布の収束を扱う古典的なブレイヤー・メジャー（Breuer-Major）定理を、場そのものの収束へと一般化するものである。
• 証明技法の革新： 著者らは、彼らのアプローチが、オリジナルのブレイヤー・メジャーの証明に典型的な組合せ論的推定やファインマン図の計算を回避していることを明示している。代わりに、有限次元分布を直接伊藤積分として表現する第四モーメント定理に依拠しており、この手法は離散格子構成においては「新しい」ものとして記述されている。
• タイトネスの結果 (Lemma 4)： 形式的な $H^{-\alpha}(D)$ における列 $\Phi_N$ のタイトネスの結果が提供されており、これは既存の文献におけるこの特定の設定での欠落を補うものであると著者らは主張している。
• ガウス自由場 (GFF) への応用：
  • 偶数乗： $H(x) = x^{2p}$ の場合、エルミート・ランクは $m \ge 2$ である。本論文は、離散GFF（共分散が $|u|^{-(d-2)}$ として減衰する）において、$d \ge 5$（またはGFFの勾配については $d \ge 3$）の場合に、偶数乗がガウス・ホワイトノイズに収束することを示している。
  • 奇数乗： $H(x) = x^{2p+1}$ の場合、エルミート・ランクは $m=1$ である。$\sum |\rho(u)| < \infty$ という総和条件は $d \ge 3$ のGFFでは成立しない。したがって、極限はホワイトノイズではない。代わりに、定理3は、中心化された場が、連続グリーン関数から導かれる明示的な共分散構造を持つ連続ガウス自由場に収束することを確立している。

意義と主張
本論文は、ガウスベクトル（ブレイヤー・メジャー定理）の非線形関数型の高度に発達した理論と、格子上のガウス場の研究との間の架け橋となることを目指している。

• 新規性： 著者らは、道具立て（ウィーナー・カオス、第四モーメント定理）は標準的な確率解析の範疇であるが、それらを離散格子構成に適用して場の収束を証明する点は新しいと思われると主張している。
• 一般化： 本結果は、部分和の有限次元分布だけでなく、分布としての場 $\Phi_N$ の収束に対処することで、オリジナルのブレイヤー・メジャー定理を一般化している。
• 謙虚な姿勢： 著者らは、ブレイヤー・メジャー定理に関する文献は膨大であることを認め、自らの研究が新しい確率論的道具を導入するものではなく、既存の道具を新しい文脈に適用するものであることを明言している。また、技術的な複雑さから、タイトネスの結果をより一般的なベゾフ空間へ拡張することはせず、現在のヒルベルト空間によるアプローチが述べられた結果に対しては十分であるとしている。
• 応用： 本論文は、GFFの累乗への具体的な適用を強調しており、偶数乗と奇数乗の挙動の違いを区別している。また、偶数乗のホワイトノイズへの収束は彼らの主定理の直接的な帰結である一方で、奇数乗のケースは連続GFFの極限へと導く異なる解析を必要とすることを指摘している。