[논문 리뷰] Planar orthogonal polynomials and boundary universality in the random normal matrix model

Håakan Hedenmalm, Aron Wennman|arXiv (Cornell University)|2017. 10. 17.

Stochastic processes and statistical mechanics인용 수 4

한 줄 요약

이 논문은 무작위 정규 행렬 모델에서 지수적으로 변화하는 가중치를 갖는 평면 직교 다항식에 대한 渐近 전개를, 새로운 직교 분할 흐름과 리emann-hilbert 방법을 사용하여 수립한다. 핵심 결과는 경계 보편성으로, 한계 상관핵이 오차 함수 핵으로 수렴함을 보여주며, 매끄러운 드롭렛에 대한 오랫동안 제기된 추측을 확인한다.

ABSTRACT

We show that the planar normalized orthogonal polynomials $P_{m,n}(z)$ of degree $n$ with respect to an exponentially varying planar measure $\mathrm{e}^{-2mQ}\mathrm{dA}$ enjoy an asymptotic expansion \[ P_{m,n}(z)\sim m^{\frac{1}{4}}\sqrt{ϕ_τ'(z)}[ϕ_τ(z)]^n \mathrm{e}^{m\mathcal{Q}_τ(z)}\left(\mathcal{B}_{τ, 0}(z) +m^{-1}\mathcal{B}_{τ, 1}(z)+m^{-2} \mathcal{B}_{τ,2}(z)+\ldots ight), \] as $n,m o\infty$ while the ratio $τ=\frac{n}{m}$ is fixed. Here $\mathcal{S}_τ$ denotes the droplet, the boundary of which is assumed to be a smooth simple closed curve, and $ϕ_τ$ is a conformal mapping from the complement $\mathcal{S}_τ^c$ to the exterior disk $\Bbb{D}_\mathrm{e}$. The functions $\mathcal{Q}_τ$ and $\mathcal{B}_{τ, j}$ are bounded holomorphic functions which may be expressed in terms of $Q$ and $\mathcal{S}_τ$. We apply these results to obtain boundary universality in the random normal matrix model for smooth droplets, i.e., that the limiting rescaled process is the random process with correlation kernel \[ \mathrm{k}(ξ,η)= \mathrm{e}^{ξ\barη\,-\frac12(\lvertξ vert^2+\lvert η vert^2)} \,\mathrm{erf}\,(ξ+\barη). \] A key ingredient in the proof of the asymptotic expansion of the orthogonal polynomials is the construction of an orthogonal foliation -- a smooth flow of closed curves near $\partial\mathcal{S}_τ$, on each of which $P_{m,n}$ is appropriately orthogonal to lower order polynomials. To compute the coefficient functions, we develop an algorithm which determines the coefficients $\mathcal{B}_{τ, j}$ successively in terms of inhomogeneous Toeplitz kernel conditions. These inhomogeneous Toeplitz kernel conditions may be understood in terms of scalar Riemann-Hilbert problems.

연구 동기 및 목표

• 측도 $e^{-2mQ}\,dA$ 에 대해 $n,m \to \infty$ 일 때 $\tau = n/m$ 이 고정된 상태에서 평면 직교 다항식 $P_{m,n}(z)$ 에 대한 완전한 渐近 전개를 유도하는 것.
• 드롭렛 경계 근처에서 다항식이 낮은 차수의 다항식과 약간의 직교성을 유지하는 매끄러운 닫힌 곡선의 가중치 가중 흐름인 직교 분할 흐름의 존재를 확립하는 것.
• 비동차 토플리츠 핵 조건에 대한 알고리즘적 해법을 통해 渐近 전개의 계수 함수 $\mathcal{B}_{\tau,j}$ 를 해결하는 것.
• 무작위 정규 행렬 모델에서 경계 보편성을 증명하여, 한계 상관핵이 오차 함수 핵 $\mathrm{erf}(\xi + \bar{\eta})$ 로 수렴함을 보이는 것.
• Its와 Takhtajan의 행렬 $\bar{\partial}$-문제를 직교 분할 프레임워크와 연결하여, 곡선 가중치 가중 집합에 대한 적분을 통한 해의 구성이 가능하도록 하는 것.

제안 방법

• $P_{m,n}(z)$ 에 대한 $m^{-1}$ 의 거듭제곱 전개를 유도하며, 드롭렛의 외부 $\mathcal{S}_\tau^c$ 에서 외부 단위 원판 $\mathbb{D}_e$ 로의 등각 사상 $\phi_\tau$, 그리고 해석 함수 $\mathcal{Q}_\tau$, $\mathcal{B}_{\tau,j}$ 가 포함된다.
• 직교 분할 흐름을 구성한다: $\partial\mathcal{S}_\tau$ 근처의 매끄러운 닫힌 곡선 가중치 $\Gamma_t$ 의 가중치 가중 흐름으로, $k < n$ 인 $\operatorname{Pol}_k$ 와 $P_{m,n}$ 가 약간의 직교성을 유지한다. 이는 $\bar{\partial}$-문제로부터 유도된 주요 방정식을 사용한다.
• 임의의 다항식 해를 가정하고 $L^2$-직교성을 사용하여 $L^2$-전개를 유도한 후, 다항식화를 통해 전체 渐近 전개를 복원한다.
• 비동차 토플리츠 핵 조건을 풀어 계수 $\mathcal{B}_{\tau,j}$ 를 순차적으로 계산하는 알고리즘을 개발하며, 이를 스칼라 리만-힐베르트 문제로 해석한다.
• 가장 낮은 내림 분석과 가중 라플라시안 성장 기법을 적용하여 가중치 $e^{-2mQ}$ 와 측도의 밀도 행동을 제어한다.
• 리만-힐베르트 문제의 해를 곡선 가중치 집합 $\{\Gamma_t\}$ 에 대해 적분하여 행렬 $\bar{\partial}$-문제의 해를 구성하며, 이는 Its-Takhtajan 프레임워크와 연결된다.

실험 결과

연구 질문

• RQ1 지수적으로 변화하는 가중치 $e^{-2mQ}\,dA$ 를 갖는 무작위 정규 행렬 모델에서, $n,m \to \infty$ 이고 $\tau = n/m$ 이 고정된 상태에서 평면 직교 다항식 $P_{m,n}(z)$ 는 어떻게 渐近적으로 행동하는가?
• RQ2 드롭렛 $\mathcal{S}_\tau$ 의 경계 근처에서, $P_{m,n}$ 이 각각의 루프에서 낮은 차수의 다항식과 약간의 직교성을 유지하는 직교 분할 흐름을 구성할 수 있는가?
• RQ3 다항식 $P_{m,n}(z)$ 의 渐近 전개에서 계수 함수 $\mathcal{B}_{\tau,j}$ 의 구조는 어떠한가? 그리고 이들은 알고리즘적으로 계산될 수 있는가?
• RQ4 무작위 정규 행렬 모델에서의 한계 상관핵이 경계에서 오차 함수 핵 $\mathrm{erf}(\xi + \bar{\eta})$ 로 수렴하여 경계 보편성이 확인되는가?
• RQ5 Its와 Takhtajan의 행렬 $\bar{\partial}$-문제를 어떻게 다항식 곡선 가중치 집합에 대한 적분을 통해 해를 구성할 수 있도록 조정할 수 있으며, 이는 직교 분할과 어떻게 관련되는가?

주요 결과

• 평면 직교 다항식 $P_{m,n}(z)$ 는 $n,m \to \infty$ 이고 $\tau = n/m$ 이 고정된 상태에서 다음 형태의 渐近 전개를 갖는다: $P_{m,n}(z) \sim m^{1/4}\sqrt{\phi_\tau'(z)}[\phi_\tau(z)]^n e^{m\mathcal{Q}_\tau(z)}\left(\mathcal{B}_{\tau,0}(z) + m^{-1}\mathcal{B}_{\tau,1}(z) + \cdots\right)$.
• 직교 분할 흐름은 $\partial\mathcal{S}_\tau$ 근처의 매끄러운 닫힌 곡선 가중치 $\Gamma_t$ 의 가중치 가중 흐름으로 존재하며, $\bar{\partial}$-문제로부터 유도된 주요 방정식과 은둔함수 정리에 의해 구성된다.
• 계수 함수 $\mathcal{B}_{\tau,j}$ 는 비동차 토플리츠 핵 조건의 순차적 해법을 통해 알고리즘적으로 결정되며, 이는 스칼라 리만-힐베르트 문제와 동치이다.
• 경계 보편성이 확립되었다: 한계로 스케일링된 상관핵은 $\mathrm{k}(\xi,\eta) = e^{\xi\bar{\eta} - \frac{1}{2}(|\xi|^2 + |\eta|^2)}\mathrm{erf}(\xi + \bar{\eta})$ 로 수렴하며, 매끄러운 드롭렛에 대한 추측을 확인한다.
• Its와 Takhtajan의 행렬 $\bar{\partial}$-문제가 곡선 가중치 집합 $\{\Gamma_t\}$ 에 대한 적분을 통해 직교 분할 프레임워크와 연결되며, 올바른 渐近 행동을 갖는 $\bar{\partial}$-문제의 해를 얻는다.
• 직교 분할 흐름에 대한 주요 방정식의 알고리즘적 해법은 다변수 Faà di Bruno 공식과 가중치 및 밀도 항목의 테일러 전개를 통해 달성되며, 이는 다항식 복잡도를 보장한다.