[論文レビュー] Investigation of the two-cut phase region in the complex cubic ensemble of random matrices

Ahmad Barhoumi, Pavel Bleher+2 more|arXiv (Cornell University)|Jan 30, 2022

Random Matrices and Applications参考文献 37被引用数 3

ひとこと要約

本稿は、複素数の立方体ユニタリ行列アンサンブルにおける2切断領域を、ポテンシャル $ V(M) = -\frac{1}{3}M^3 + tM $（$ t \in \mathbb{C} $）を用いて調査する。リーマン–ヒルベルトアプローチと2次微分形式理論を用い、2つの切断の端点が $ t $ の実部および虚部に関して正則であるが、$ t $ 自身に関しては正則でないことを証明し、この領域における直交多項式およびその再帰係数の半古典的漸近展開を導出する。

ABSTRACT

We investigate the phase diagram of the complex cubic unitary ensemble of random matrices with the potential $V(M)=-\frac{1}{3}M^3+tM$ where $t$ is a complex parameter. As proven in our previous paper, the whole phase space of the model, $t\in\mathbb C$, is partitioned into two phase regions, $O_{\mathsf{one-cut}}$ and $O_{\mathsf{two-cut}}$, such that in $O_{\mathsf{one-cut}}$ the equilibrium measure is supported by one Jordan arc (cut) and in $O_{\mathsf{two-cut}}$ by two cuts. The regions $O_{\mathsf{one-cut}}$ and $O_{\mathsf{two-cut}}$ are separated by critical curves, which can be calculated in terms of critical trajectories of an auxiliary quadratic differential. In our previous work the one-cut phase region was investigated in detail. In the present paper we investigate the two-cut region. We prove that in the two-cut region the endpoints of the cuts are analytic functions of the real and imaginary parts of the parameter $t$, but not of the parameter $t$ itself. We also obtain the semiclassical asymptotics of the orthogonal polynomials associated with the ensemble of random matrices and their recurrence coefficients. The proofs are based on the Riemann--Hilbert approach to semiclassical asymptotics of the orthogonal polynomials and the theory of $S$-curves and quadratic differentials.

研究の動機と目的

• 複素数の立方体ユニタリ行列アンサンブルにおける2切断領域を、立方体ポテンシャル $ V(M) = -\frac{1}{3}M^3 + tM $（$ t \in \mathbb{C} $）を用いて調査すること。
• 2つの切断の端点が複素数パラメータ $ t $ に対してどのように正則に依存するかを分析し、特にコーシー–リーマン方程式の性質を調べること。
• 2切断領域における直交多項式およびその再帰係数の半古典的漸近展開を導出すること。
• 先行研究で提起された段階図の分析を拡張し、1切断領域と分離された2切断領域に焦点を当て、2次微分形式によって定義される臨界曲線によって境界づけられる。

提案手法

• 行列アンサンブルに関連する直交多項式の半古典的漸近展開に、リーマン–ヒルベルトアプローチを適用する。
• S-曲線および2次微分形式の理論を用いて、複素数 $ t $-平面上における平衡測度および段階境界を特徴付ける。
• 非線形な最も急な降下法を用いて、2切断領域における直交多項式のリーマン–ヒルベルト問題を分析する。
• リーマン–ヒルベルト問題におけるジャンプ行列および正規化条件の分析を通じて、直交多項式およびその再帰係数の漸近展開を導出する。
• 関連する2次微分形式のモノドロミーおよび臨界軌道を分析することにより、切断の端点が $ \operatorname{Re}(t) $ および $ \operatorname{Im}(t) $ の正則関数ではあるが、$ t $ に関しては正則でないことを確立する。
• 再帰係数が $ t $ に関してメロモルフィックに依存することに依拠し、直交多項式の退化が無限大の再帰係数に対応することを用いて、端点の正則性の性質を推論する。

実験結果

リサーチクエスチョン

• RQ1 平衡測度における2つの切断の端点は、複素数パラメータ $ t $ に対してどのように正則に依存するか？
• RQ2 端点が $ \operatorname{Re}(t) $ および $ \operatorname{Im}(t) $ に関しては正則であるにもかかわらず、なぜ $ t $ の正則関数でないのか？
• RQ3 2切断領域における直交多項式およびその再帰係数の半古典的漸近的挙動は何か？
• RQ4 1切断領域と2切断領域を分かつ臨界曲線は、2次微分形式を用いてどのように特徴づけられるか？
• RQ5 2切断領域における直交多項式のリーマン–ヒルベルト問題の構造は何か？そして、それが漸近公式を導く仕組みは？

主な発見

• 2つの切断の端点は $ \operatorname{Re}(t) $ および $ \operatorname{Im}(t) $ の正則関数ではあるが、$ t $ に関しては正則でない。これは、端点が $ t $ の関数としてコーシー–リーマン方程式を満たさないことを示している。
• 直交多項式およびその再帰係数の半古典的漸近展開は、リーマン–ヒルベルト法およびS-曲線の理論を用いて導出された。
• 再帰係数 $ \beta_n $ は、無限大における特定の $ \Theta $-関数の比を含む漸近展開を示し、誤差項は $ \varepsilon $ に関して一様に制御されている。
• 再帰係数 $ \gamma_n^2 $ および $ \beta_n $ の主要項漸近展開は、平衡測度の1次および2次モーメント、およびリーマン–ヒルベルト問題に関連する $ \Theta $-関数を用いて表現される。
• 直交多項式係数の漸近挙動は、行列 $ \mathbf{N}(z) $ および $ \mathbf{R} $-行列を $ n $ の逆数のべき級数に展開することによって導出され、$ \varepsilon $ に関して一様な境界が得られた。
• 解析により、2切断領域は解析的に構造的であり、段階遷移は補助的な2次微分形式の臨界軌道によって支配されていることが確認され、先行研究で確立された段階図と整合的である。