[論文レビュー] Asymptotic laws for the spatial distribution and the number of connected components of zero sets of Gaussian random functions

Fëdor Nazarov, Mikhail Sodin|arXiv (Cornell University)|Jul 8, 2015

Geometry and complex manifolds参考文献 20被引用数 21

ひとこと要約

本稿は、高次元における滑らかなガウス型確率関数の零点集合の連結成分の空間的分布および個数について、概収束する漸近的法則を確立する。弱いスペクトル条件のもとで、単位体積あたりのノード成分数が概収束して決定論的定数に収束することを証明し、その定数が正であるための明示的な基準を、スペクトル測度の台とフーリエ解析に基づいて提示する。

ABSTRACT

We study the asymptotic laws for the spatial distribution and the number of connected components of zero sets of smooth Gaussian random functions of several real variables. The primary examples are various Gaussian ensembles of real-valued polynomials (algebraic or trigonometric) of large degree on the sphere or torus, and translation-invariant smooth Gaussian functions on the Euclidean space restricted to large domains.

研究の動機と目的

• 滑らかなガウス型確率関数の零点集合における連結成分の個数および空間的分布に関する概収束する漸近的法則を導出すること。
• ノード成分密度が正でかつ決定論的であるような、並進不変ガウス場のスペクトル測度に課される条件を同定すること。
• スケーリングと双対性の議論を用いて、境界のない滑らかな多様体上のパラメトリック集合に理論を拡張すること。
• フーリエ解析とスペクトル測度の台に関する条件を用いて、極限ノード密度の正の基準を提示すること。
• エルゴード性と非退化性が、極限が非確率的かつ適切に定義されることを保証する役割を明確にすること。

提案手法

• スペクトル測度 $\rho$ を持つ $\mathbb{R}^m$ 上の並進不変ガウス過程を用い、$\int |\lambda|^4 d\rho(\lambda) < \infty$ により $F \in C^{1+\alpha}$ を保証する。
• 臨界点が零点集合に近接する確率を制御するために、定量的な形でのブルィンスカヤの補題を適用する。
• 多次元設定におけるフォミン＝グレナンドル＝マリヤマの定理を用い、ノード成分の個数を勾配の分布と関連付ける。
• 二重スケーリング極限を導入し、勾配とヘッシアンの分布から強度関数 $\bar{\nu}$ を回復する。
• 双対性および解析接続の議論を用いて、条件 $(\rho 4)$ の台に関する条件を $\operatorname{spt}(\rho)$ の実解析的閉包に緩和する。
• コサイン級数を用いたバリア構成を用いて、$0 \in \operatorname{spt}(\rho)$ または $\operatorname{spt}(\rho)$ の凸包の内部に原点がある場合に条件 $(\rho 4)$ が満たされることを検証する。

実験結果

リサーチクエスチョン

• RQ1 滑らかなガウス関数の零点集合の連結成分数が、大域的な領域で体積に比例して増加する条件は何か？
• RQ2 共分散カーネルのスペクトル的条件として、極限ノード密度が正であることを保証するのはどのようなものか？
• RQ3 ガウス場の勾配およびヘッシアンの分布から、漸近的ノード密度をどのように回復できるか？
• RQ4 ノード密度の正の基準において、スペクトル測度の台をその実解析的閉包に置き換えられるのはどのような場合か？
• RQ5 ガウス場の零点集合が少なくとも一つの有界連結成分を含むのはどのような場合か、そしてそれはスペクトル測度とどのように関係するか？

主な発見

• 並進不変ガウス場を $\mathbb{R}^m$ 上に定めたとき、スケーリングされた凸領域 $S(R)$ における零点集合の連結成分数は体積に比例して増加し、密度は概収束して決定論的定数 $\nu$ に収束する。
• 定数 $\nu > 0$ であることは、条件 $(\rho 4)$ が成り立つことと同値であり、これは、コンパクト台を持つヘルミート測度のフーリエ変換が領域の内部で正で境界で負であるようなスペクトル測度の存在と同値である。
• 条件 $(\rho 4)$ は、$0 \in \operatorname{spt}(\rho)$ または $\operatorname{spt}(\rho)$ の凸包の内部に原点がある場合に、コサイン級数を用いたバリア構成により満たされる。
• スペクトル測度の台が二次曲面に含まれる場合、$(\rho 4)$ は成立せず、そのような測度はノード密度がゼロをもたらす。
• $\operatorname{spt}(\rho)$ の実解析的閉包を条件 $(\rho 4)$ において台の代わりに用いることができ、これにより適用範囲が広がる。例えば、$\operatorname{spt}(\rho)$ が球面上に稠密である場合にも有効である。
• 証明により、スペクトル測度に原子がないことから、並進作用のエルゴード性が導かれ、その結果ノード成分密度が非確率的であることが保証される。