[논문 리뷰] Investigation of the two-cut phase region in the complex cubic ensemble of random matrices

Ahmad Barhoumi, Pavel Bleher외 2명|arXiv (Cornell University)|2022. 01. 30.

Random Matrices and Applications참고 문헌 37인용 수 3

한 줄 요약

이 논문은 복소수 단위 행렬군의 복소 cubic unitary ensemble에서 잠재력 $ 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.

연구 동기 및 목표

• 복소수 단위 행렬군의 cubic 잠재력 $ V(M) = -\frac{1}{3}M^3 + tM $를 가진 두 절단 영역을 조사한다. 여기서 $ t \in \mathbb{C} $이다.
• 두 절단의 끝점이 복소수 매개변수 $ t $에 대해 해석적으로 의존하는 방식을 분석하며, 특히 코시-리만 방정식에 대한 행동을 다룬다.
• 두 절단 영역에서 직교 다항식과 그 재귀 계수에 대한 반고전 점근적 표현을 도출한다.
• 이전 연구에서 시작된 단계도표 분석을 확장하여, 이중 절단 영역에 집중하며, 이는 이중 절단 영역과 단일 절단 영역을 분리하는 임계 곡선이 이차 미분형을 통해 정의됨을 다룬다.

제안 방법

• 행렬 군과 관련된 직교 다항식의 반고전 점근적 표현을 분석하기 위해 리만-힐베르트 접근법을 사용한다.
• S-곡선 이론과 이차 미분형 이론을 적용하여, 복소수 $ t $-평면에서의 평형 측도와 단계 경계를 특성화한다.
• 직교 다항식의 리만-힐베르트 문제를 이중 절단 영역에서 분석하기 위해 비선형 최대 경사 방법을 적용한다.
• 리만-힐베르트 문제에서의 점프 행렬과 정규화 조건을 분석하여, 직교 다항식과 그 재귀 계수에 대한 점근 전개를 도출한다.
• 관련 이차 미분형의 단일성과 임계 궤적을 분석함으로써, 절단의 끝점이 $ \operatorname{Re}(t) $와 $ \operatorname{Im}(t) $에 대해 해석적 함수이지만 $ t $에 대해 해석적이지 않음을 입증한다.
• 재귀 계수의 유리형 의존성에 기반하며, 직교 다항식의 특이성은 무한대 재귀 계수에 해당함을 이용하여 끝점의 해석적 성질을 유추한다.

실험 결과

연구 질문

• RQ1 평형 측도의 두 절단 끝점은 복소수 매개변수 $ t $에 대해 어떻게 해석적으로 의존하는가?
• RQ2 실수부와 허수부에 대해 해석적임에도 불구하고, 왜 끝점은 $ 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 $에 대해 균일한 유계를 가진다.
• 분석을 통해 이중 절단 영역이 해석적으로 구조화되어 있으며, 단계 전이가 보조 이차 미분형의 임계 궤적에 의해 지배됨을 확인하였으며, 이는 이전 연구에서 수립된 단계도표와 일치한다.