[論文レビュー] Zeros of smooth stationary Gaussian processes

Michele Ancona, Thomas Letendre|arXiv (Cornell University)|Jul 7, 2020

Geometry and complex manifolds参考文献 31被引用数 5

ひとこと要約

本稿は、実数直線上の滑らかでstationaryなガウス過程の零点数の中心モーメントの大規模漸近的挙動を確立する。Kac–Rice公式とk点相関関数の詳細な解析を用いて、区間$[0,R]$における零点数のp次の中心モーメントの漸近的オーダーが$ R^{p/2} $であることを導出し、スケーリングされた零点数測度に関して関数的大数の法則と中心極限定理を証明する。それぞれ、Lebesgue測度およびガウス白色雑音への収束を示す。

ABSTRACT

Let $f:\mathbb{R} o \mathbb{R}$ be a stationary centered Gaussian process. For any $R>0$, let $ν_R$ denote the counting measure of $\{x \in \mathbb{R} \mid f(Rx)=0\}$. In this paper, we study the large $R$ asymptotic distribution of $ν_R$. Under suitable assumptions on the regularity of $f$ and the decay of its correlation function at infinity, we derive the asymptotics as $R o +\infty$ of the central moments of the linear statistics of $ν_R$. In particular, we derive an asymptotics of order $R^\frac{p}{2}$ for the $p$-th central moment of the number of zeros of $f$ in $[0,R]$. As an application, we derive a functional Law of Large Numbers and a functional Central Limit Theorem for the random measures~$ν_R$. More precisely, after a proper rescaling, $ν_R$ converges almost surely towards the Lebesgue measure in weak-$*$ sense. Moreover, the fluctuation of $ν_R$ around its mean converges in distribution towards the standard Gaussian White Noise. The proof of our moments estimates relies on a careful study of the $k$-point function of the zero point process of~$f$, for any $k \geq 2$. Our analysis yields two results of independent interest. First, we derive an equivalent of this $k$-point function near any point of the large diagonal in~$\mathbb{R}^k$, thus quantifying the short-range repulsion between zeros of $f$. Second, we prove a clustering property which quantifies the long-range decorrelation between zeros of $f$.

研究の動機と目的

• 滑らかでstationaryなガウス過程の実数直線上の零点数の大規模統計的挙動を理解すること。
• 区間長$ R \to \infty $における零点数測度の中心モーメントの精密な漸近的挙動を導出すること。
• スケーリングされた零点数測度$ \nu_R $に関して関数的極限定理—大数の法則および中心極限定理—を確立すること。
• k点関数とその漸近的挙動を通じて、零点の短距離反発と長距離非相関性を分析すること。
• 差分商と相関関数の減衰に基づく技術を発展・適用し、モーメント推定を制御すること。

提案手法

• Kac–Rice公式を用いて、零点数の階乗モーメントを零点過程のk点関数の積分として表現する。
• k点関数$ \rho_k $を大対角線$ \Delta_k $付近で解析し、零点間の短距離反発を定量化する同等性を導出する。
• 相関関数の急速な減衰のもとで$ \rho_k $のクラスタリング性質を確立し、零点の長距離準独立性を示す。
• 相関関数の差分商を適用して、k点関数の特異構造を制御し、モーメント推定を導出する。
• モーメント積分の分割に基づく分解を用い、孤立点とペアリングの寄与を区別して漸近的成長を評価する。
• 多変量ガウスモーメント関数のホルダー連続性を用いて、相関行列の摂動を制御し、漸近的推定の安定性を保証する。

実験結果

リサーチクエスチョン

• RQ1 滑らかでstationaryなガウス過程の零点数のp次の中心モーメントが$ R \to \infty $においてどのように漸近的に増大するか？
• RQ2 k点相関関数$ \rho_k $は大対角線$ \Delta_k $付近でどのように振る舞い、これにより零点の反発性にどのような含意があるか？
• RQ3 相関関数にどのような条件下でk点関数が長距離非相関性またはクラスタリングを示すか？
• RQ4 スケーリングされた零点数測度$ \nu_R $は関数的大数の法則および関数的中心極限定理を満たすか？
• RQ5 差分商と行列摂動技術を用いて、モーメントの漸近的挙動を厳密に制御できるか？

主な発見

• 相関関数の適切な正則性および減衰仮定のもとで、区間$[0,R]$における零点数のp次の中心モーメントは、漸近的に$ R^{p/2} $に比例する。
• k点関数$ \rho_k $は大対角線$ \Delta_k $上をゼロとならし、$ x \to y \in \Delta_k $における明示的な同等性が導出され、零点間の短距離反発が定量的に評価される。
• 相関関数の急速な減衰のもとで、k点関数はクラスタリング性質を満たし、零点位置の長距離準独立性を示す。
• スケーリングされた零点数測度$ \nu_R $は、$ R \to \infty $において弱-*位相でLebesgue測度にほとんど確実に収束する。これにより関数的大数の法則が確立される。
• 平均周りの$ \nu_R $の揺らぎは、分布収束の意味で標準ガウス白色雑音に収束する。これにより関数的中心極限定理が証明される。
• 差分商によるk点関数とその特異性の解析は、本研究の文脈を超えて一般化可能な手法を提供し、確率過程分野における広範な応用が期待される。