[논문 리뷰] Equilibrium distribution of zeros of random polynomials

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

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 $ 길이 척도에서 보편적인 스케일링 극한으로 수렴함을 증명하기.
• 투영 커널과 그 도함수를 사용하여 스케일링 극한에서의 보편적 쌍상관함수에 대한 명시적 공식 유도하기.

제안 방법

• 경계 $ \partial\Omega $ 위에서 가중치 $ L^2 $ 내적 $ \langle f, \bar{g} \rangle_{\partial\Omega, \rho} = \int_{\partial\Omega} f\bar{g} \rho \, |dz| $ 에 대해 정규수직 다항식 $ \{P_j\} $ 의 사용.
• 정규수직 기저에서 i.i.d. 복소 가우시안 계수를 갖는 다항식 공간 $ \mathcal{P}_N $ 위에 가우시안 측도 구성.
• 잠재론적 방법을 적용하여 기대 영점 분포가 $ \bar{\Omega} $ 의 평형 측도 $ \nu_\Omega $ 로 수렴함을 보이며, 오차는 $ O(1/N) $.
• 스케일링 극한에서 $ \ell $-점 상관함수를 계산하기 위해 투영 커널 $ S_N(z,w) $ 와 그 도함수의 사용.
• 경계 위의 점 근처에서 $ z = 1 + \zeta/N $ 를 통한 스케일링 분석으로, 도메인과 $ \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 $ 척도에서 도메인과 가중치에 관계없이 보편적인 극한으로 수렴하는가?
• RQ4 근접한 영점들에 대한 쌍상관함수의 보편적 스케일링 극한의 명시적 형태는 무엇인가?
• RQ5 스케일링 극한에서 짧은 접선 및 법선 거리에서의 상관관계는 어떻게 행동하는가?

주요 결과

• 기대 정규화된 영점 분포 $ \mathbf{E}^{N}_{\partial\Omega,\rho}(\widetilde{Z}^N_f) $ 는 $ \bar{\Omega} $ 의 평형 측도 $ \nu_\Omega $ 로 수렴하며, 오차는 $ O(1/N) $ 이며, $ \varphi \in \mathcal{D}(\mathbb{C}) $ 에 대해 균일하다.
• 균일분포 결과는 해석적 가중치 $ \rho $ 에 관계없이 성립하여, 최종 영점 분포가 도메인 $ \Omega $ 에 내재된 성질임을 시사한다.
• 영점 간 국소 상관관계는 도메인과 가중치에 관계없이 $ 1/N $ 척도에서 보편적인 스케일링 극한으로 수렴함을 확인하여, 국소 영점 통계에서의 보편성을 확인한다.
• 극한 쌍상관함수 $ 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 $ 는 랜덤 헤르미트 행렬의 극한 고유값 쌍상관함수와 일치하지만, 본 문맥에서의 기하학적 해석은 아직 명확하지 않다.