[論文レビュー] Planar orthogonal polynomials and boundary universality in the random normal matrix model

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

Stochastic processes and statistical mechanics被引用数 4

ひとこと要約

本稿は、指数関数的に変化する重みを伴うランダム正則行列モデルにおける平面直交多項式の漸近展開を、新規の直交フォリエーションフローとリーマン＝ヒルベルト法を用いて確立する。主な結果は境界普遍性であり、極限相関核が誤差関数核に収束することを示し、滑らかなドロップレットに対する長年の予想を裏付ける。

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$ に対する平面直交多項式 $P_{m,n}(z)$ の $n,m \to \infty$ のときの完全な漸近展開を導出すること。ただし $\tau = n/m$ は固定される。
• ドロップレット境界付近に、多項式が低次の多項式に対して近似的に直交するような滑らかな閉曲線族（直交フォリエーションフロー）の存在を確立すること。
• 非同次トーペリッツカーネル条件に対するアルゴリズム的解法を用いて、漸近展開における係数関数 $\mathcal{B}_{\tau,j}$ を解明すること。
• ランダム正則行列モデルにおける境界普遍性を証明し、極限相関核が誤差関数核 $\mathrm{erf}(\xi + \bar{\eta})$ に収束することを示すこと。
• イtsとタフタジャンの行列 $\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$ を、$\bar{\partial}$-問題から導かれるマスタ方程式を用いて構成する。この曲線族上では、$P_{m,n}$ が $k < n$ の $\operatorname{Pol}_k$ に対して近似的に直交する。
• 準多項式アンザッツと $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$ の近傍に存在し、陰関数定理と $\bar{\partial}$-問題から導かれるマスタ方程式を用いて構成される滑らかな閉曲線族 $\Gamma_t$ として実現される。
• 係数関数 $\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}$-問題の解が得られた。
• 直交フォリエーションフローのマスタ方程式のアルゴリズム的解法は、多変数のファウ・ディ・ブルーノの公式と重み・密度項のテイラー展開を用いて達成され、多項式時間の複雑性が保証された。