[论文解读] Large deviations of empirical zero point measures on Riemann surfaces, I: $g = 0$

Ofer Zeitouni, Steve Zelditch|arXiv (Cornell University)|Apr 27, 2009

Geometry and complex manifolds参考文献 36被引用 9

一句话总结

该论文为黎曼球面 $\mathbb{C}P^1$ 上随机多项式的经验零点测度建立了大偏差原理（LDP），速度为 $N^2$。速率函数由测度的加权能量导出，其唯一极小化子为与光滑赫米特度量及伯恩斯坦-马尔可夫测度相关的加权平衡测度。

ABSTRACT

We prove an LDP for the empirical measure of complex zeros of a Gaussian random complex polynomial of degree N of one variable as N tends to infinity. The Gaussian measure is induced by an inner product defined by a smooth weight (Hermitian metric) $h$ and a Bernstein-Markov measure $ν$. The speed is N^2 and the the unique minimizer of the rate function $I$ is the weighted equilibrium measure $ν_{h, K}$ with respect to $h$ on the support $K$ of $ν$.

研究动机与目标

• 为黎曼球面 $\mathbb{C}P^1$ 上随机多项式的零点经验测度建立大偏差原理（LDP）。
• 在 $\mathcal{O}(N)$ 的全纯截面空间上的广义高斯测度类下，刻画零点分布的渐近集中性。
• 将 LDP 的速率函数识别为加权能量泛函，其极小化子为加权平衡测度。
• 通过大偏差理论量化偏离平衡的指数衰减，从而推广已知的等分布结果。
• 通过 $\mathbb{C}P^1$ 上线丛的 Fubini-Study 测度与曲率形式，统一几何概率与势论。

提出的方法

• 通过 $\mathcal{O}(1)$ 上的光滑赫米特度量 $h$ 和满足加权伯恩斯坦-马尔可夫条件的概率测度 $\nu$，在 $H^0(\mathbb{C}P^1, \mathcal{O}(N))$ 上定义高斯测度，从而构造随机多项式。
• 将联合概率流 $\vec{K}_N^{(N)}$ 构造为 $\mathbb{P}H^0(\mathbb{C}P^1, \mathcal{O}(N))$ 上的 Fubini-Study 测度在零除子映射 $\mathcal{D}$ 下的推出。
• 将零点构型映射到概率测度空间 $\mathcal{M}(\mathbb{C}P^1)$ 中的经验测度 $\mu_\zeta = \frac{1}{N}\sum \delta_{\zeta_j}$。
• 将联合测度推出，得到 $\mathcal{M}(\mathbb{C}P^1)$ 上的测度 $\mathbf{Prob}_N$，并证明其具有速度 $N^2$ 的 LDP。
• 通过 $L^2$-空间中的分部积分及曲率形式 $dd^c\psi$，推导出速率函数 $I^{h,K}$ 作为测度的加权能量。
• 利用涉及 $\int \log|z-w| \, dd^c\psi$ 和 $\rho_\psi(\infty)$ 的势论恒等式，计算对数能量与曲率贡献。

实验结果

研究问题

• RQ1 在 $\mathbb{C}P^1$ 上，随机多项式零点经验测度的大偏差速率是什么？
• RQ2 速率函数如何与底层赫米特度量的加权能量和曲率相关？
• RQ3 速率函数的唯一极小化子是什么？它与平衡测度有何关系？
• RQ4 LDP 的速度如何随次数 $N$ 变化？这对零点分布的集中性有何含义？
• RQ5 在 $\mathcal{O}(1)$ 上的广义加权伯恩斯坦-马尔可夫测度与光滑赫米特度量下，是否可建立 LDP？

主要发现

• 经验零点测度满足速度为 $N^2$ 的大偏差原理，表明测度具有指数集中性。
• 速率函数 $I^{h,K}$ 由 $\mathbb{C}P^1$ 上概率测度的加权能量给出，其定义依赖于曲率形式 $\omega_h$ 与权重 $\varphi$。
• 速率函数的唯一极小化子为加权平衡测度 $\nu_{h,K}$，它在 $N \to \infty$ 时控制零点的等分布行为。
• 速率函数通过在 $\mathbb{C}$ 上的分部积分与 $dd^c$-微积分，从对数能量与曲率贡献中导出。
• 对于 Fubini-Study 度量，有 $\int_\mathbb{C} \log|z-w| \, dd^c \log(1+|w|^2)^{1/2} = \frac{1}{2} \log(1+|z|^2)$，该结果对能量计算至关重要。
• 对于一般度量 $h = h_{FS} e^{-\Phi}$，能量贡献变为 $\frac{1}{2} \psi(z) - 2\pi \Phi(\infty)$，其中 $\psi = \log(1+|w|^2)^{1/2} + \Phi$。