[論文レビュー] CLT for the zeros of Classical Random Trigonometric Polynomials

Jean‐Marc Azäis, Federico Dalmao+1 more|arXiv (Cornell University)|Jan 22, 2014

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

ひとこと要約

本稿では、$ K^{-1/2} \sum_{n=1}^K a_n \cos(nt) $ の形をした古典的確率的三角多項式の零点数に対する中心極限定理（CLT）を確立する。ここで $ a_n $ は独立同一分布の標準正規変数である。ヘルメート／ウィENERクラウス分解とライスの零点数公式を用いて、$[0, \pi]$ 上での正規化された零点数が、分散 $ V^2 $ の正規確率変数に分布収束することを証明する。ここで $ V^2 \approx 0.089 $ である。この結果は、ファラマンドとグラニルヴィル＝ウィグマンが予想した漸近的分散の挙動を裏付け、先行研究と比較して簡略化された証明を提供する。

ABSTRACT

We prove a Central Limit Theorem for the number of zeros of random trigonometric polynomials of the form $K^{-1/2}\sum_{n=1}^{K} a_n\cos(nt)$, being $(a_n)_n$ independent standard Gaussian random variables. In particular, we prove the conjecture by Farahmand, Granville & Wigman that the variance is equivalent to $V^2K$, $0<V^2<\infty$, as $K o\infty$. % The case of stationary trigonometric polynomials was studied by Granville & Wigman and by Aza\"\is & Le\'on. Our approach is based on the Hermite/Wiener-Chaos decomposition for square-integrable functionals of a Gaussian process and on Rice Formula for zero counting.

研究の動機と目的

• 古典的確率的三角多項式の実零点数に対する中心極限定理（CLT）を $[0, \pi]$ 上で確立すること。
• スウとシャオが以前に証明したが、$ \sim V^2 K\pi $ の漸近的分散挙動を、より簡略化された証明で再確認すること。
• ウィーナークラウス分解に基づく極限的議論を用いて、非定常ガウス過程へのCLTの拡張を図ること。
• 非定常状態における極限分散が、共分散構造が異なるにもかかわらず、定常状態の $ X_K(t) $ と同一であることを示すこと。
• 高次モーメント条件に依存しないように、ペカティ＝トゥドールの手法とエルミート展開を用いること。

提案手法

• 区間 $[0, K\pi]$ 上での $ \tilde{T}_K(t) = K^{-1/2} \sum_{n=1}^K a_n \cos(nt/K) $ の正規化された零点数にウィーナー＝イトウクラウス分解を適用する。
• ライスの公式を用いて、零点数の期待値を、プロセスがゼロである条件付きで導関数の密度および期待値を含む積分として表現する。
• $ \tilde{T}_K $ の共分散構造を分析し、ゼロ近傍での挙動が定常プロセス $ \tilde{X}_K $ と漸近的に同等であることを示し、分散の比較を可能にする。
• ウィーナークラウスにおけるCLTのためのペカティ＝トゥドール基準を活用し、2次モーメントを超える条件を必要とせずに正規分布への収束を確立する。
• テイラー展開およびダドリーの定理を用いて、共分散およびその微分の一様有界性を制御し、高次微分の上界ノルムを制御する。
• アルコネスの不等式とエルミート展開技術を用いて、零点数関数の2次モーメントにおける非対角項を制御する。

実験結果

リサーチクエスチョン

• RQ1 $ K \to \infty $ のとき、古典的確率的三角多項式 $ T_K(t) = K^{-1/2} \sum_{n=1}^K a_n \cos(nt) $ の零点数は中心極限定理を満たすか？
• RQ2 $[0, \pi]$ 上での $ T_K $ の零点数の漸近的分散は何か？ そして、$ V^2 K\pi $ の形で与えられる予想と一致するか？
• RQ3 2次モーメントを超える条件を課さずに、零点数のCLTを確立できるか？
• RQ4 $ T_K $ の非定常構造は、定常プロセス $ X_K $ と比較して、零点数分布にどのような影響を及けるか？
• RQ5 $ T_K $ の零点数の極限分散は、定常プロセス $ X_K $ のそれと同一か？

主な発見

• $[0, \pi]$ 上での $ T_K $ の正規化された零点数が $ \sqrt{\pi K} $ でスケーリングされると、平均0、分散 $ V^2 $ の正規確率変数に分布収束する。ここで $ 0 < V^2 < \infty $ である。
• 零点数の漸近的分散は $ \sim V^2 K\pi $ であり、$ V^2 \approx 0.089 $ である。これはファラマンド＆サバンダムおよびグラニルヴィル＆ウィグマンの予想を裏付ける。
• 共分散構造が異なるにもかかわらず、$ T_K $ の極限分散は定常三角多項式 $ X_K $ のそれと一致する。これはゼロ近傍での局所的挙動が類似しているためである。
• CLTはウィーナークラウスにおけるペカティ＝トゥドールの手法を用いて確立され、先行研究で用いられた高次モーメント条件に依存しない。
• 数値シミュレーションにより、$ V^2 \approx 0.089 $ の導出値が確認され、スウとシャオが報告した $ c \approx 0.257 $ とは矛盾する。これはその結果に乖離がある可能性を示唆する。
• 共分散 $ r(s,t) = \frac{1}{2}(\text{sc}(t-s) + \text{sc}(t+s)) $ を持つ非定常ガウス過程 $ T $ の零点数に対してもCLTが確立され、標準化後に標準正規分布に収束することが示された。