[論文レビュー] 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 $(Ω, ρ)$.

研究の動機と目的

• 単位円上での零点の等分布性を、単連結領域の任意の解析的境界へ一般化すること。
• 領域の閉包の平衡測度に、期待される零点分布が重み $ \rho $ に依存せず収束することを確立すること。
• 零点間の局所的相関が、領域や重みに依存しない $ 1/N $ スケールでの普遍的スケーリング極限に収束することを証明すること。
• 射影核およびその導関数を用いて、スケーリング極限における普遍的ペア相関関数の明示的公式を導出すること。

提案手法

• 重み付き $ L^2 $ 内積 $ \langle f, \bar{g} \rangle_{\partial\Omega, \rho} = \int_{\partial\Omega} f\bar{g} \rho \, |dz| $ に関して、境界 $ \partial\Omega $ 上の正規直交多項式 $ \{P_j\} $ の使用。
• 正規直交基底における独立同分布の複素ガウス係数を用いた、多項式空間 $ \mathcal{P}_N $ 上のガウス測度の構成。
• ポテンシャル論的技法の適用により、期待される零点分布が $ \bar{\Omega} $ の平衡測度 $ \nu_\Omega $ に収束することを示し、誤差は $ O(1/N) $ である。
• スケーリング極限における $ \ell $ 次相関関数の計算に、射影核 $ S_N(z,w) $ 及びその導関数の使用。
• 境界上のある点の近傍で $ z = 1 + \zeta/N $ とスケーリングし、$ \Omega $ や $ \rho $ に依存しない普遍的極限核 $ K^{2\infty}(\zeta_1, \zeta_2) $ が得られる。
• 極限核行列 $ A^\infty, B^\infty, C^\infty $ の極限を用いて、行列 $ \Lambda^\infty = C^\infty - (B^\infty)^* (A^\infty)^{-1} B^\infty $ を介して、極限ペア相関関数の導出。

実験結果

リサーチクエスチョン

• RQ1 一般の解析的境界 $ \partial\Omega $ 上での確率的多項式の零点の期待分布は、$ N \to \infty $ のとき平衡測度 $ \nu_\Omega $ に収束するか？
• RQ2 零点の等分布性は、$ \partial\Omega $ 上の解析的重み $ \rho $ の選択に依存しないか？
• RQ3 $ 1/N $ スケールでの零点間の局所的相関は、$ \Omega $ や $ \rho $ に依存しない普遍的極限に収束するか？
• RQ4 近接する零点のペア相関関数の普遍的スケーリング極限の明示的形は何か？
• RQ5 スケーリング極限において、短い接線方向および法線方向の距離での相関構造はどのように振る舞うか？

主な発見

• 期待される正規化零点分布 $ \mathbf{E}^{N}_{\partial\Omega,\rho}(\widetilde{Z}^N_f) $ は、$ \bar{\Omega} $ の平衡測度 $ \nu_\Omega $ に収束し、$ \varphi \in \mathcal{D}(\mathbb{C}) $ に関して一様に誤差 $ O(1/N) $ をもつ。
• 等分布性の結果は、解析的重み $ \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 $ は、確率的ヘルミート行列の極限固有値ペア相関と一致するが、本文脈における幾何的解釈はまだ明確でない。