[論文レビュー] Local universality of the number of zeros of random trigonometric polynomials with continuous coefficients

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

Geometry and complex manifolds参考文献 7被引用数 9

ひとこと要約

本稿は、独立同分布の連続係数をもつ確率的三角多項式の零点数について、局所的普遍性の原則を確立する。弱いモーメントおよび密度条件のもとで、固定されたコンパクトな区間における零点の分布は、特定の係数分布にかかわらず、sinc共分散をもつ中心化されたStationary Gaussian過程の分布に収束する。これは、従来のガウス分布に限った結果を、広範な係数クラスへと拡張するものである。

ABSTRACT

Let $X_N$ be a random trigonometric polynomial of degree $N$ with iid coefficients and let $Z_N(I)$ denote the (random) number of its zeros lying in the compact interval $I\\subset\\mathbb{R}$. Recently, a number of important advances were made in the understanding of the asymptotic behaviour of $Z_N(I)$ as $N\ o\\infty$, in the case of standard Gaussian coefficients. The main theorem of the present paper is a universality result, that states that the limit of $Z_N(I)$ does not really depend on the exact distribution of the coefficients of $X_N$. More precisely, assuming that these latter are iid with mean zero and unit variance and have a density satisfying certain conditions, we show that $Z_N(I)$ converges in distribution toward $Z(I)$, the number of zeros within $I$ of the centered stationary Gaussian process admitting the cardinal sine for covariance function.

研究の動機と目的

• 次数N → ∞ のとき、固定されたコンパクトな区間における確率的三角多項式の零点数の漸近的分布を調査すること。
• 係数の分布がガウス分布以外の場合に、零点数の極限分布がその具体的な分布に依存するかどうかを特定すること。
• 普遍性の確立：平均0、分散1、十分に滑らかな密度をもつすべてのi.i.d.係数に対して、極限分布が同一であることを示すこと。
• 従来の結果（ガウス係数に限られていた）を、高度な確率的解析技法を用いてガウス分布以外のケースへと拡張すること。

提案手法

• 平均0、分散1、ある正則性条件を満たす密度関数をもつi.i.d.係数 $ a_n, b_n $ をもち、$ X_N(t) = \frac{1}{\sqrt{N}} \sum_{n=1}^N \left( a_n \cos(nt/N) + b_n \sin(nt/N) \right) $ として定義される正規化された三角多項式を分析する。
• Wienerホーモロジー分解とモーメント法を用いて、零点数過程の同時モーメントを制御する。
• 零点の密度を扱うRiceの公式の変種を適用し、対角集合 $ D_m^\varepsilon $ 上での局所化により、階乗モーメントの収束を確立する。
• 尾部挙動を制御し、モーメントの一様可積分性を示すために、確率 $ \mathbb{P}(Z_N(I) \geq k) $ に対する重要な推定を導入する。
• 区間 $ I^m $ 上に定義された測度 $ \mu_N $ を、m個の零点の期待配置を表すものとして導入し、$ D_m^\varepsilon $ 上でのTotal Variationが $ O(\varepsilon^{1/5}) $ であることを証明し、階乗モーメントの収束を示す。
• 極限階乗モーメントが、共分散 $ \text{sinc}(t) = \frac{\sin \pi t}{\pi t} $ をもつ中心化されたStationary Gaussian過程の零点集合のそれと一致することを利用している。

実験結果

リサーチクエスチョン

• RQ1 固定区間における零点数の極限分布は、確率的三角多項式の係数の具体的な分布に依存するか？
• RQ2 従来、ガウス係数に限って知られていた普遍性現象が、連続密度をもつ非ガウス的i.i.i.d.係数へと拡張可能か？
• RQ3 係数分布にどのような条件を課すと、零点数がガウス分布の場合と同じ極限分布に収束するか？
• RQ4 一般の係数仮定のもとで、零点数過程のモーメント収束をどのように確立できるか？

主な発見

• 任意のコンパクトな区間 $ I \subset \mathbb{R} $ に対して、正規化された確率的三角多項式 $ X_N $ の零点数 $ Z_N(I) $ は、中心化されたStationary Gaussian過程（共分散関数 $ \text{sinc}(t) $ をもつ）の零点数 $ Z(I) $ に分布収束する。
• 極限分布は普遍的である：平均0、分散1、対数Sobolev型条件（仮定A4）を満たす密度関数をもつすべてのi.i.d.係数に対して成り立つ。
• 階乗モーメント $ \mathbb{E}[Z_N(I)^{[m]}] $ がsinc過程のそれへ収束することが確立され、対角近傍 $ D_m^\varepsilon $ において $ O(\varepsilon^{1/5}) $ の誤差項が得られる。
• 係数分布がガウス分布でないにもかかわらず、この結果が成り立つ。これは、極限零点分布が係数の尾部挙動に敏感でないことを示しており、有限2次モーメントと滑らかな密度をもつi.i.d.係数であれば成立する。
• 証明は、零点の同時密度の微細な解析と、Wienerホーモロジー展開を用いた高次モーメントの制御に依存しており、ガウスの場合の技法を拡張している。