[论文解读] 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

一句话总结

本文研究了复立方单位系综中具有势能 $ V(M) = -\frac{1}{3}M^3 + tM $ 的随机矩阵的两切口相区，其中 $ t \in \mathbb{C} $。通过黎曼–希尔伯特方法与二次微分理论，证明了两切口端点在 $ 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.

研究动机与目标

• 研究具有立方势能 $ V(M) = -\frac{1}{3}M^3 + tM $ 的复立方单位系综中随机矩阵的两切口相区，其中 $ t \in \mathbb{C} $。
• 分析两切口端点关于复参数 $ t $ 的解析依赖关系，特别是其对柯西–黎曼方程的行为。
• 推导两切口相区中正交多项式及其递推系数的半经典渐近展开。
• 通过聚焦于由二次微分定义的临界曲线所分隔的一切口区与两切口区，扩展先前工作中启动的相图分析。

提出的方法

• 采用黎曼–希尔伯特方法研究与矩阵系综相关的正交多项式的半经典渐近行为。
• 应用 $ S $-曲线与二次微分理论，刻画复 $ t $-平面上的平衡测度与相边界。
• 使用非线性最陡下降法分析两切口区中正交多项式对应的黎曼–希尔伯特问题。
• 通过分析黎曼–希尔伯特问题中的跳跃矩阵与归一化条件，推导正交多项式及其递推系数的渐近展开式。
• 通过分析相关二次微分的单值性与临界轨迹，证明切口端点是 $ \operatorname{Re}(t) $ 与 $ \operatorname{Im}(t) $ 的解析函数，但不是关于 $ t $ 的全纯函数。
• 依赖于递推系数关于 $ t $ 的亚纯依赖性，并利用正交多项式退化对应于无穷递推系数的事实，推断出端点的解析性质。

实验结果

研究问题

• RQ1 平衡测度中两切口的端点如何关于复参数 $ t $ 解析依赖？
• RQ2 尽管端点关于 $ \operatorname{Re}(t) $ 与 $ \operatorname{Im}(t) $ 解析，为何它们不是 $ t $ 的全纯函数？
• RQ3 两切口相区中正交多项式及其递推系数的半经典渐近行为如何？
• RQ4 分隔一、两切口区域的临界曲线如何通过二次微分表征？
• RQ5 两切口区域中正交多项式的黎曼–希尔伯特问题的结构是什么？它如何导出渐近公式？

主要发现

• 两切口的端点是 $ \operatorname{Re}(t) $ 与 $ \operatorname{Im}(t) $ 的解析函数，但不是关于 $ t $ 的全纯函数，表明端点作为 $ t $ 的函数违反了柯西–黎曼方程。
• 利用黎曼–希尔伯特方法与 $ S $-曲线理论，推导出正交多项式及其递推系数的半经典渐近展开。
• 证明递推系数 $ \beta_n $ 具有渐近展开式，其中包含在无穷远处取值的某些 $ \Theta $-函数之比，且误差项在 $ \varepsilon $ 上一致有界。
• 递推系数 $ \gamma_n^2 $ 与 $ \beta_n $ 的主导渐近行为用平衡测度的一阶与二阶矩，以及与黎曼–希尔伯特问题相关的 $ \Theta $-函数表示。
• 通过展开矩阵 $ \mathbf{N}(z) $ 与 $ \mathbf{R} $-矩阵为 $ n $ 的负幂次，推导出正交多项式系数的渐近行为，且在 $ \varepsilon $ 上具有一致界。
• 分析确认两切口区域具有解析结构，且相变由辅助二次微分的临界轨迹所控制，与先前工作中建立的相图一致。