[论文解读] Equilibrium distribution of zeros of random polynomials

Bernard Shiffman, Steve Zelditch|ArXiv.org|Jun 17, 2002

Geometry and complex manifolds参考文献 15被引用 10

一句话总结

该论文证明了当次数 $ N \to \infty $ 时，从高斯系综中抽取系数的随机多项式的零点在任意有界、单连通、实解析平面区域的边界上，相对于该区域的平衡测度趋于等分布。这种等分布具有普遍性，与权重 $ \rho $ 无关，且零点的局部相关结构在 $ 1/N $ 尺度下收敛到一个普遍的标度极限，揭示了相邻零点之间的普遍排斥现象。

ABSTRACT

We consider ensembles of random polynomials of the form $p(z)=\sum_{j = 1}^N a_j P_j$ where $\{a_j\}$ are independent complex normal random variables and where $\{P_j\}$ are the orthonormal polynomials on the boundary of a bounded simply connected analytic plane domain $Ω\subset C$ relative to an analytic weight $ρ(z) |dz|$. In the simplest case where $Ω$ is the unit disk and $ρ=1$, so that $P_j(z) = z^j$, it is known that the average distribution of zeros is the uniform measure on $S^1$. We show that for any analytic $(Ω, ρ)$, the zeros of random polynomials almost surely become equidistributed relative to the equilibrium measure on $\partialΩ$ as $N o\infty$. We further show that on the length scale of 1/N, the correlations have a universal scaling limit independent of $(Ω, ρ)$.

研究动机与目标

• 将单位圆上的零点等分布性推广到单连通区域的任意解析边界。
• 证明随机多项式零点的期望分布收敛到区域闭包的平衡测度 $ \nu_\Omega $，且该收敛与权重 $ \rho $ 无关。
• 证明零点的局部相关性在 $ 1/N $ 长度尺度下收敛到一个与区域和权重无关的普遍标度极限。
• 利用投影核及其导数，推导出在标度极限下普遍成对相关函数的显式公式。

提出的方法

• 在 $ \partial\Omega $ 上使用关于加权 $ L^2 $ 内积 $ \langle f, \bar{g} \rangle_{\partial\Omega, \rho} = \int_{\partial\Omega} f\bar{g} \rho \, |dz| $ 的正交多项式 $ \{P_j\} $。
• 通过正交基中独立同分布的复高斯系数，在多项式空间 $ \mathcal{P}_N $ 上构造高斯测度。
• 应用势论方法，证明期望零点分布收敛到 $ \bar{\Omega} $ 的平衡测度 $ \nu_\Omega $，误差为 $ O(1/N) $。
• 利用投影核 $ S_N(z,w) $ 及其导数，计算在标度极限下的 $ \ell $-点相关函数。
• 通过在 $ \partial\Omega $ 上某点附近进行标度分析 $ z = 1 + \zeta/N $，得到一个与 $ \Omega $ 和 $ \rho $ 无关的普遍极限核 $ K^{2\infty}(\zeta_1, \zeta_2) $。
• 通过矩阵 $ \Lambda^\infty = C^\infty - (B^\infty)^* (A^\infty)^{-1} B^\infty $ 推导出极限成对相关函数，其中 $ A^\infty, B^\infty, C^\infty $ 是标度核矩阵的极限。

实验结果

研究问题

• RQ1 当 $ N \to \infty $ 时，随机多项式在一般解析边界 $ \partial\Omega $ 上的零点期望分布是否收敛到平衡测度 $ \nu_\Omega $？
• RQ2 零点的等分布性是否与 $ \partial\Omega $ 上解析权重 $ \rho $ 的选择无关？
• RQ3 在 $ 1/N $ 尺度下，零点的局部相关性是否收敛到一个与 $ \Omega $ 和 $ \rho $ 无关的普遍极限？
• RQ4 零点在彼此附近时，成对相关函数的普遍标度极限的显式形式是什么？
• RQ5 在标度极限下，相关结构在短切向和法向距离处的行为如何？

主要发现

• 期望归一化零点分布 $ \mathbf{E}^{N}_{\partial\Omega,\rho}(\widetilde{Z}^N_f) $ 以 $ O(1/N) $ 误差收敛到 $ \bar{\Omega} $ 的平衡测度 $ \nu_\Omega $，且对所有 $ \varphi \in \mathcal{D}(\mathbb{C}) $ 一致成立。
• 无论选择何种解析权重 $ \rho $，等分布结果均成立，表明极限零点分布是区域 $ \Omega $ 的内在性质。
• 零点的局部相关结构在 $ 1/N $ 尺度下收敛到一个与 $ \Omega $ 和 $ \rho $ 无关的普遍标度极限，证实了局部零点统计的普遍性。
• 极限成对相关函数 $ K^{2\infty}(\zeta_1, \zeta_2) $ 通过极限核矩阵 $ A^\infty, B^\infty, C^\infty $ 显式导出，且在 $ S^1 $-旋转下不变。
• 显式计算出切向 $ \kappa^\mathrm{T}(\alpha) $ 和法向 $ \kappa^\perp(\tau) $ 相关性的幂级数展开，显示出排斥效应：$ \kappa^\mathrm{T}(\alpha) \sim \frac{1}{150} \alpha^2 + \cdots $，$ \kappa^\perp(\tau) \sim \frac{1}{150} \tau^2 + \cdots $。
• 相关公式中的分母 $ \det A^\infty $ 与随机厄米特矩阵的极限特征值成对相关性一致，但其在此情境下的几何解释尚不明确。