[논문 리뷰] Random matrices with external source and multiple orthogonal polynomials

Pavel Bleher, Arno B. J. Kuijlaars|arXiv (Cornell University)|2003. 07. 28.

Mathematical functions and polynomials참고 문헌 18인용 수 17

한 줄 요약

이 논문은 외부 소스를 가진 랜덤 행렬 엔sembles와 다중 수직 다항식 사이의 연결 고리를 확립하며, 평균 특성 다항식이 외부 소스 행렬의 고유값에 의해 결정되는 가중치에 대해 다중 수직 조건을 만족함을 보여준다. 주요 기여는 두 개의 서로 다른 고유값을 가진 경우에 대해 고유값 상관 함수의 커널에 대한 새로운 크리스토펠-다르부 공식을 제시하는 것으로, 이를 통해 리emann-Hilbert 문제의 해를 통해 간결하게 표현되며, 스펙트럼 통계의 점근 분석이 가능해진다.

ABSTRACT

We show that the average characteristic polynomial P_n(z) = E [\det(zI-M)] of the random Hermitian matrix ensemble Z_n^{-1} \exp(-Tr(V(M)-AM))dM is characterized by multiple orthogonality conditions that depend on the eigenvalues of the external source A. For each eigenvalue a_j of A, there is a weight and P_n has n_j orthogonality conditions with respect to this weight, if n_j is the multiplicity of a_j. The eigenvalue correlation functions have determinantal form, as shown by Zinn-Justin. Here we give a different expression for the kernel. We derive a Christoffel-Darboux formula in case A has two distinct eigenvalues, which leads to a compact formula in terms of a Riemann-Hilbert problem that is satisfied by multiple orthogonal polynomials.

연구 동기 및 목표

• 외부 소스를 가진 랜덤 헤르미트 행렬의 평균 특성 다항식을 다중 수직 조건을 통해 기술하는 것.
• 결정점 과정 프레임워크 내에서 고유값 상관 함수의 커널에 대한 새로운 표현을 도출하는 것.
• 외부 소스 행렬이 두 개의 서로 다른 고유값을 가질 경우에 대해 크리스토펠-다르부 유형의 공식을 수립하는 것.
• 커널을 리만-힐베르트 문제의 해를 통해 표현하여 점근 분석을 가능하게 하는 것.

제안 방법

• 각 고유값 $ a_j $의 중복도 $ n_j $에 대해, $ P_n(z) $가 가중치 $ e^{-(V(x) - a_j x)} $에 대해 $ n_j $ 개의 수직 조건을 만족함을 보였다.
• 고유값 상관 커널은 $ K_n(x,y) = e^{-\frac{1}{2}(V(x)+V(y))} \sum_{k=0}^{n-1} P_k(x) Q_k(y) $ 로 표현되며, 여기서 $ Q_k $ 는 쌍대 함수이다.
• 두 개의 서로 다른 고유값 $ a_1, a_2 $ 인 경우, 하 Hankel 형 행렬의 행렬식 비율을 포함하는 간결한 표현을 얻는 크리스토펠-다르부 공식을 유도하였다.
• 커널은 실수선에서의 점프 조건과 무한대에서의 점근적 행동을 가진 3×3 리만-힐베르트 문제의 해 $ Y(z) $ 를 사용하여 재구성하였다. 점프 행렬은 $ w_1(x) = e^{-V(x)+a_1x} $, $ w_2(x) = e^{-V(x)+a_2x} $ 를 포함한다.
• 리만-힐베르트 문제의 해는 다항식의 제1형 및 제2형 다중 수직 다항식을 포함하는 행렬 분해를 통해 구해졌으며, 실수선에서의 점프 조건과 무한대에서의 점근적 행동을 만족한다.
• 최종 커널 표현은 $ K_n(x,y) = e^{-\frac{1}{2}(V(x)+V(y))} \frac{e^{a_1 y} [Y^{-1}(y)Y(x)]_{21} + e^{a_2 y} [Y^{-1}(y)Y(x)]_{31}}{2\pi i (x-y)} $ 로 주어진다.

실험 결과

연구 질문

• RQ1 외부 소스를 가진 랜덤 행렬 엔셈블의 평균 특성 다항식은 다중 수직 조건을 통해 어떻게 기술될 수 있는가?
• RQ2 비단위 불변 외부 소스가 존재할 경우, 고유값 상관 커널의 구조는 어떠한가?
• RQ3 두 소스 외부장으로부터 유도된 다중 수직 다항식의 경우 크리스토펠-다르부 공식을 일반화할 수 있는가?
• RQ4 점근 분석을 위해 커널은 리만-힐베르트 문제의 해를 통해 어떻게 표현될 수 있는가?

주요 결과

• 평균 특성 다항식 $ P_n(z) $ 는 각 고유값 $ a_j $ 의 중복도 $ n_j $ 에 대해 가중치 $ e^{-(V(x) - a_j x)} $ 에 대해 유일하게 결정되는 $ n_j $ 개의 수직 조건을 만족한다.
• 외부 소스 행렬 $ A $ 가 두 개의 서로 다른 고유값 $ a_1 $ 과 $ a_2 $ 를 가질 경우, 하 Hankel 행렬의 모멘트를 포함하는 행렬식의 비율로 표현되는 커널을 유도한 크리스토펠-다르부 공식이 유도되었다.
• 커널은 두 개의 가중치 $ w_1(x) = e^{-V(x)+a_1x} $, $ w_2(x) = e^{-V(x)+a_2x} $ 를 포함하는 3×3 리만-힐베르트 문제의 해 $ Y(z) $ 를 통해 간결하게 표현되었다.
• 리만-힐베르트 공식화는 커널의 체계적 점근 분석을 가능하게 하였으며, 저자들이 후속 연구에서 이를 입증하였다.
• 커널 표현식인 $ Y^{-1}(y)Y(x) $ 는 역행렬과 해 행렬의 행렬 원소를 포함하는 통합적이고 간결한 표현을 제공한다.