[論文レビュー] Expected number of real zeros of random Taylor Series

Hendrik Flasche, Zakhar Kabluchko|arXiv (Cornell University)|Sep 9, 2017

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

ひとこと要約

本稿は、$ \xi_k $ が平均0、分散1の同一分布に従う確率変数であり、$ c_k^2 $ が指数 $ \gamma - 1 $ で正則変動するランダムテイラー級数 $ f(z) = \sum_{k=0}^\infty \xi_k c_k z^k $ の実零点の期待数を調査する。関数極限定理および正則変動技法を用いて、$ r \uparrow 1 $ のとき、$[0, r]$ 内の実零点の期待数が漸近的に $ \frac{\sqrt{\gamma}}{2\pi} \cdot (-\log(1 - r)) $ に比例することを確立した。これは、単位円の境界付近における普遍的な対数的クラスタリングレートを示している。

ABSTRACT

Let $ξ_0,ξ_1,\ldots$ be i.i.d. random variables with zero mean and unit variance. Consider a random Taylor series of the form $f(z)=\sum_{k=0}^\infty ξ_k c_k z^k$, where $c_0,c_1,\ldots$ is a real sequence such that $c_n^2$ is regularly varying with index $γ-1$, where $γ>0$. We prove that $\mathbb{E} N[0,1-ε] \sim \frac{\sqrtγ}{2π} |\log ε|$ as $ε\downarrow 0$, where $N[0,r]$ denotes the number of real zeroes of $f$ in the interval $[0,r]$.

研究の動機と目的

• 単位円の境界付近におけるランダムテイラー級数の実零点の期待数の漸近的挙動を分析すること。
• 重み付き係数を有する無限ランダムテイラー級数への古典的ランダム多項式の結果の拡張。
• 係数列 $ c_k $ の正則変動性の下で、$ z = 1 $ 付近の実零点のクラスタリングレートを特定すること。
• 分布に依存しない普遍的な漸近公式を確立すること。$ \xi_k $ の2次モーメントの有限性のみを仮定する。

提案手法

• 関数極限定理を用いて、$ z = 1 $ 付近におけるランダムテイラー級数の局所的挙動を分析する。
• 係数列 $ c_k^2 $ に正則変動理論を適用し、$ c_k^2 \sim \frac{k^{\gamma-1}}{\Gamma(\gamma)} L(k) $ と仮定する。ただし $ L $ は緩やかに変動する関数。
• 局所的分散と振動挙動の比較を通じて、実零点の期待数に対する漸近的上限を導出する。
• ポッターの不等式と単調性推定を用いて、$ r \uparrow 1 $ の近傍における係数の減衰を制御する。
• 局所的分散の比較と尾部寄与の制御のため、補助的列 $ a_{n,k}^2 $, $ b_{n,k}^2 $, および $ F_{n,k} $, $ \tilde{F}_{n,k} $ を導入する。
• 補題6.9およびその推論（補題6.10および6.11）を用いた一様推定により、期待零点数の収束を保証する。

実験結果

リサーチクエスチョン

• RQ1 区間 $[0, r]$ が単位円に近づくにつれて、ランダムテイラー級数の実零点の期待数はどのように振る舞うか。
• RQ2 係数列 $ c_k $ の正則変動指数 $ \gamma $ が、零点クラスタリングレートに与える依存関係は何か。
• RQ3 $ \xi_k $ に対して2次モーメントの仮定のみを課した場合、実零点の期待数の漸近的表現は導けるか。
• RQ4 $ \xi_k $ の分布に依存しない普遍的な対数的スケーリング則が、$ z = 1 $ 付近の実零点の期待数に存在するか。

主な発見

• 区間 $[0, r]$ 内の実零点の期待数は、$ r \uparrow 1 $ のとき $ \mathbb{E}N[0,r] \sim \frac{\sqrt{\gamma}}{2\pi} \cdot (-\log(1 - r)) $ を満たす。
• 漸近的レートは普遍的であり、係数列 $ c_k^2 $ の正則変動指数 $ \gamma $ のみに依存する。
• 標準的テイラー級数（$ c_k = 1 $）では $ \gamma = 1 $ に対応し、$[0, r]$ 内の実零点の期待数は漸近的に $ \frac{1}{2\pi} \log \frac{1}{1 - r} $ に比例する。
• 微分 $ f' $ は $ \gamma = 2 $ に対応し、$[0, r]$ 内の実臨界点の期待数は漸近的に $ \frac{1}{\sqrt{2}\pi} \log \frac{1}{1 - r} $ に比例する。
• 強いモーメント仮定（例：$ (2+\delta) $ 階モーメント）を避けており、$ \xi_k $ の2次モーメントの有限性のみを要件としている。
• 本結果は関数極限定理および係数の減衰に関する一様推定を用いて得られており、従来のランダム多項式理論とは独立した新しい手法を確立している。