[論文レビュー] Hole probability for zeroes of Gaussian Taylor series with finite radii of convergence

Jeremiah Buckley, Alon Nishry+2 more|arXiv (Cornell University)|Feb 9, 2016

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

ひとこと要約

本稿は、収束半径が有限であるガウス型テイラー級数が |z| ≤ r にゼロを持たない確率（ホール確率）の、r → 1 のときのタイトな漸近的境界を確立する。著者らは、パrameter L でパrameter化された双曲的ガウス型解析関数を分析し、0 < L < 1、L = 1、L > 1 の場合に応じて、異なる対数的減衰率を示す。複素解析、ガウス過程、相関不等式の技術を用いる。

ABSTRACT

We study a family of random Taylor series $$F(z) = \\sum_{n\\ge 0} \\zeta_n a_n z^n$$ with radius of convergence almost surely $1$ and independent identically distributed complex Gaussian coefficients $(\\zeta_n)$; these Taylor series are distinguished by the invariance of their zero sets with respect to isometries of the unit disk. We find reasonably tight upper and lower bounds on the probability that $F$ does not vanish in the disk $\\{|z|\\le r\\}$ as $r\\uparrow 1$. Our bounds take different forms according to whether the non-random coefficients $(a_n)$ grow, decay or remain of the same order. The results apply more generally to a class of Gaussian Taylor series whose coefficients $(a_n)$ display power-law behavior.

研究の動機と目的

• 収束半径が有限である関数に対して、r → 1 のときのホール確率（すなわち、|z| ≤ r にゼロを持たない確率）の漸近的挙動を理解すること。
• 非確率的係数 (a_n) の増大率に応じたホール確率の減衰を、特にモビウス変換に関して不変な双曲的ガウス型解析関数の文脈で特徴づけること。
• L が 0 < L < 1、L = 1、L > 1 の3つの領域において、ホール確率の対数の上限および下限を鋭く特定すること。ここで L は、単位双曲的面積あたりのゼロの平均数を制御する。
• 無限半径の場合や特殊な行列式的ケース L = 1 における既存のホール確率に関する結果を、有限半径のケースに拡張すること。
• 累乗法則係数行動を示すガウス型テイラー級数に一般化可能なフレームワークを構築すること。その際、確率的解析と複素解析の道具を用いる。

提案手法

• 本研究は、(ζ_n) を i.i.d. 標準複素ガウス変数とする、双曲的ガウス型解析関数 F_L(z) = ∑ ζ_n √[L(L+1)⋯(L+n−1)/n!] z^n の族に焦点を当てる。ここで 0 < L < ∞ である。
• ホール確率 P[Hole(r)] は r ↑ 1 のとき分析され、主な量は −log P[Hole(r)] であり、これは |z| ≤ r 内にゼロが存在しない確率の指数的減衰率を定量化する。
• L ≠ 1 の場合、ゼロ集合は行列式的でないため、L = 1 の場合に用いられた手法では不十分であり、新たな技術が要請される。L = 1 の場合は行列式点過程であることが知られている。
• 著者らは、F(z) = F(0) + G(z) という分解を用い、|z| = r 上での G の最大モジュラスを制御する。ここで G(z) は独立なガウス多項式の和である。
• ガウス相関不等式（Hargé の版）を適用し、円周上の離散点 z_j における |S_k(z_j)| が小さい確率を推定することで、max |S_k| の制御が可能になる。
• 証明は、三角多項式のバーナンスタイン型不等式、共分散行列の固有値の境界、複素ガウス変数の尾確率の推定を組み合わせる。

実験結果

リサーチクエスチョン

• RQ1 収束半径が有限であるガウス型テイラー級数に対して、r ↑ 1 のときホール確率はどのように減衰するか？
• RQ2 パrameter L でパrameter化された双曲的ガウス型解析関数に対して、−log P[Hole(r)] の正確な漸近的挙動は何か？
• RQ3 L < 1、L = 1、L > 1 の場合に応じて、ホール確率の減衰率はどのように変化するか？
• RQ4 一般のガウス型テイラー級数に対して、パワー法則係数行動を示す場合に、ホール確率のタイトな上限および下限を確立できるか？
• RQ5 ゼロ集合が行列式的でない場合（L ≠ 1 の場合）、ホール確率を分析するために必要な技術は何か？

主な発見

• 0 < L < 1 の場合、対数的ホール確率は以下の境界を満たす：(1−L−o(1))/(2^{L+1}(1−r)^L) log(1/(1−r)) ≤ −log P[Hole(r)] ≤ (1−L+o(1))/(2^L(1−r)^L) log(1/(1−r))。
• L = 1 の場合、ホール確率は −log P[Hole(r)] = (π² + o(1))/12 ⋅ 1/(1−r) のように減衰し、Peres と Virág の結果を確認する。
• L > 1 の場合、対数的ホール確率は (L−1)² + o(1))/4 ⋅ 1/(1−r) ⋅ log²(1/(1−r)) のように増加し、L < 1 の場合よりも速い減衰を示す。
• 漸近的挙動は L = 1 で相転移を示し、ホール確率の減衰率に顕著な定性的な変化が生じる。
• 結果は、双曲的 GAF に限らない、パワー法則係数行動を示す一般クラスのガウス型テイラー級数に拡張可能である。
• ゼロ集合が行列式的でない場合でも、ガウス相関不等式および共分散行列の固有値の境界を用いた証明技術により、鋭い推定が得られる。