[论文解读] 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 时建立了紧致的渐近界。作者研究了参数为 L 的双曲高斯解析函数，根据 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) 的增长速率变化，特别关注在 Möbius 变换下不变的双曲高斯解析函数的情形。
• 为三种情形提供孔洞概率对数的紧致上下界：0 < L < 1、L = 1 和 L > 1，其中 L 控制单位双曲面积内的平均零点数。
• 将现有关于高斯泰勒级数孔洞概率的研究结果从无限半径情形和特殊行列式情形（L = 1）推广至更一般情形。
• 为具有幂律系数行为的高斯泰勒级数建立一个通用框架，结合随机分析与复分析工具。

提出的方法

• 本研究聚焦于一族双曲高斯解析函数 F_L(z) = ∑ ζ_n √[L(L+1)⋯(L+n−1)/n!] z^n，其中 (ζ_n) 为独立同分布的标准复高斯随机变量，且 0 < L < ∞。
• 分析当 r ↑ 1 时的孔洞概率 P[Hole(r)]，关键量为 −log P[Hole(r)]，其量化了 |z| ≤ r 内无零点的概率的指数衰减速率。
• 当 L ≠ 1 时，零点集非行列式型，因此需要超越 L = 1 情形（已知为行列式点过程）的新型技术。
• 作者采用分解 F(z) = F(0) + G(z)，其中 G(z) 为独立高斯多项式的和，以控制 G 在 |z| = r 上的模的最大值。
• 应用高斯相关不等式（Hargé 版本）估计在圆周上离散点处 |S_k(z_j)| 较小的概率，从而实现对 max |S_k| 的控制。
• 证明结合了三角多项式类 Bernstein 不等式、协方差矩阵的特征值界，以及复高斯变量尾部概率的估计。

实验结果

研究问题

• RQ1 对于具有有限收敛半径的高斯泰勒级数，当 r ↑ 1 时孔洞概率如何衰减？
• RQ2 对于参数化为 L 的双曲高斯解析函数，−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。
• 证明技术，包括高斯相关不等式和协方差矩阵的特征值界，即使在零点集非行列式型时也能给出紧致估计。