[論文レビュー] 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$ 上の確率的多項式の経験的ゼロ点測度に対して、速度 $N^2$ の大偏差原理（LDP）を確立する。レート関数は測度の重み付きエネルギーから導かれるもので、その一意的な最小化子は滑らかなヘルミート計量とベルンシュタイン＝マルコフ測度に関連する重み付き平衡測度である。

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のレート関数を、その最小化子が重み付き平衡測度である重み付きエネルギー関数として特定すること。
• 既知の等分布結果を拡張し、大偏差理論を用いて平衡からの逸脱の指数的減衰を定量化すること。
• Fubini-Study測度と線束上の曲率形式を介して、幾何確率とポテンシャル論を統合すること。

提案手法

• 滑らかなヘルミート計量 $h$ と重み付きベルンシュタイン＝マルコフ条件を満たす確率測度 $\nu$ によって誘導される $H^0(\mathbb{C}P^1, \mathcal{O}(N))$ 上のガウス測度を用いて、確率的多項式を定義する。
• ゼロ除釈写像 $\mathcal{D}$ を通じて、$\mathbb{P}H^0(\mathbb{C}P^1, \mathcal{O}(N))$ 上のFubini-Study測度のプッシュフォワードとして、連続確率電流 $\vec{K}_N^{(N)}$ を構成する。
• ゼロ配置を、$\mathbb{C}P^1$ 上の確率測度の空間 $\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}$ は、曲率形式 $\omega_h$ と重み $\varphi$ を用いて定義される $\mathbb{C}P^1$ 上の確率測度の重み付きエネルギーとして与えられる。
• レート関数の一意的最小化子は重み付き平衡測度 $\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$ である。