[論文レビュー] Non universality for the variance of the number of real roots of random trigonometric polynomials

Vlad Bally, Lucia Caramellino+1 more|arXiv (Cornell University)|Nov 9, 2017

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

ひとこと要約

本稿は、係数分布の尖度に依存する補正項を用いて、Kac-Riceの公式とエッジワース展開を用いて、ランダム三角多項式の実根個数の分散における普遍性の欠如を確立している。漸近的分散はnに比例して増大し、過剰尖度に比例する補正項 $rac{1}{30}(&#x211A}(Y_{1,1}^4) - 3)$ を持つ。Kac多項式で知られている普遍性とは対照的に、これは普遍性の破れを示している。

ABSTRACT

In this article, we consider the following family of random trigonometric polynomials $p_n(t,Y)=\\sum_{k=1}^n Y_{k,1} \\cos(kt)+Y_{k,2}\\sin(kt)$ for a given sequence of i.i.d. random variables $\\{Y_{k,1},Y_{k,2}\\}_{k\\ge 1}$ which are centered and standardized. We set $\\mathcal{N}([0,\\pi],Y)$ the number of real roots over $[0,\\pi]$ and $\\mathcal{N}([0,\\pi],G)$ the corresponding quantity when the coefficients follow a standard Gaussian distribution. We prove under a Doeblin's condition on the distribution of the coefficients that $$ \\lim_{n\ o\\infty}\\frac{\ ext{Var}\\left(\\mathcal{N}_n([0,\\pi],Y)\ ight)}{n} =\\lim_{n\ o\\infty}\\frac{\ ext{Var}\\left(\\mathcal{N}_n([0,\\pi],G)\ ight)}{n} +\\frac{1}{30}\\left(\\mathbb{E}(Y_{1,1}^4)-3\ ight). $$ The latter establishes that the behavior of the variance is not universal and depends on the distribution of the underlying coefficients through their kurtosis. Actually, a more general result is proven in this article, which does not require that the coefficients are identically distributed. The proof mixes a recent result regarding Edgeworth's expansions for distribution norms established in arXiv:1606.01629 with the celebrated Kac-Rice formula.

研究の動機と目的

• ランダム三角多項式の実根個数の分散が、係数分布に依存するかどうかを調査すること。
• 漸近的分散が、特に尖度を含む高次モーメントに依存するかどうかを特定すること。
• Kac多項式で既に知られている普遍性結果を三角多項式へ拡張し、挙動における重要な差異を明らかにすること。
• 係数の四次モーメントに依存する、明確な補正項を確立すること。

提案手法

• 著者たちは、実根個数の分散を、過程とその微分の同時密度の積分として表すためにKac-Riceの公式を用いた。
• 非滑らかな関数的変数の弱相関確率ベクトルに対する最近のエッジワース展開の結果を応用して、根数の分布を分析した。
• 元の三角多項式を、sinc相関を持つ定常ガウス過程に収束するようにスケーリング変換を導入した。
• 証明は、Doeblinの条件とモーメント条件に基づき、弱相関と分布収束を保証するものである。
• 極限ガウス過程の共分散構造を分析して漸近的分散を導出し、四次累積量の役割に焦点を当てた。
• 小さな区間における根数の挙動を制御するために、小領域推定と共分散行列のスペクトル解析を用いた。

実験結果

リサーチクエスチョン

• RQ1 ランダム三角多項式の実根個数の漸近的分散は、係数の2次のモーメントを超えて、その分布に依存するか？
• RQ2 非普遍的補正項を分散に対して導出可能か？ もし可能であれば、その係数の尖度依存性は何か？
• RQ3 Kac多項式で既知の普遍性が成り立つのに対し、三角多項式における分散の挙動はどのように異なるか？
• RQ4 この文脈において、依存確率ベクトルの非滑らかな関数的変数にエッジワース展開を適用できる範囲はどの程度か？
• RQ5 係数の高次モーメントを変化させた場合、根数分布の極限的挙動は普遍的か？

主な発見

• 実根個数の漸近的分散はnに比例して増大し、過剰尖度に比例する補正項を有する。
• 主たる結果は、$\lim_{n\to\infty}\frac{\text{Var}(\mathcal{N}_n([0,\pi],Y))}{n} = \lim_{n\to\infty}\frac{\text{Var}(\mathcal{N}_n([0,\pi],G))}{n} + \frac{1}{30}(\mathbb{E}(Y_{1,1}^4) - 3)$ であり、非普遍性が証明された。
• 補正項は係数の四次モーメント、特にその尖度にのみ依存し、分散が分布に依存しない普遍性が成り立たないことを示している。
• Doeblinの条件とモーメント条件のもとで、係数の同一分布を仮定せずとも結果が成り立つ。
• 証明技法は、Kac-Riceの公式と、非滑らかな関数的変数へのエッジワース展開の新規応用を組み合わせたものである。
• 解析により、極限ガウス過程が明確な共分散構造を持ち、四次累積量に起因する分布的依存性を捉えていることが確認された。