[논문 리뷰] Correlation kernels for sums and products of random matrices

Tom Claeys, Arno B. J. Kuijlaars외 1명|arXiv (Cornell University)|2015. 05. 04.

Random Matrices and Applications참고 문헌 39인용 수 5

한 줄 요약

이 논문은 복소 겔레브리 및 절단된 유니터리 행렬을 포함한 랜덤 행렬의 곱과 합의 제곱 특이값에 대한 상관 커널의 명시적 이중 경로 적분 공식을 유도한다. 주요 기여는 이러한 곱이 다항식 집합으로서의 커널 표현을 가지며, 이는 渐近 분석과 두 행렬 모형 및 자코비 집합과 같은 모형과의 연결을 가능하게 한다.

ABSTRACT

Let $X$ be a random matrix whose squared singular value density is a polynomial ensemble. We derive double contour integral formulas for the correlation kernels of the squared singular values of $GX$ and $TX$, where $G$ is a complex Ginibre matrix and $T$ is a truncated unitary matrix. We also consider the product of $X$ and several complex Ginibre/truncated unitary matrices. As an application, we derive the precise condition for the squared singular values of the product of several truncated unitary matrices to follow a polynomial ensemble. We also consider the sum $H + M$ where $H$ is a GUE matrix and $M$ is a random matrix whose eigenvalue density is a polynomial ensemble. We show that the eigenvalues of $H + M$ follow a polynomial ensemble whose correlation kernel can be expressed as a double contour integral. As an application, we point out a connection to the two-matrix model.

연구 동기 및 목표

• 복소 겔레브리 및 절단된 유니터리 행렬을 포함한 행렬 곱의 제곱 특이값에 대한 정확한 상관 커널 공식을 유도하는 것.
• 여러 개의 절단된 유니터리 행렬의 제곱 특이값이 다항식 집합을 형성하는 조건을 규명하는 것.
• 특히 GUE와 다항식 집합의 고유값을 가진 행렬의 합에 대해 프레임워크를 확장하는 것.
• 유도된 커널과 두 행렬 모형 및 자코비 집합과 같은 기존 모형 간의 연결 고리를 확립하는 것.
• 비교적 분석을 위한 이중직교 체계와 경로 적분을 통한 상관 커널 계산의 체계적 방법을 제공하는 것.

제안 방법

• 다항식 집합의 구조를 활용하여 제곱 특이값의 공동 밀도를 모델링하고, 결정점 프로세스 이론을 적용한다.
• 겔레브리 또는 절단된 유니터리 행렬에 의한 곱셈에 대한 다항식 집합의 변환 규칙을 적용한다.
• 잔여물 계산법과 적분 항등식을 사용하여 상관 커널의 이중 경로 적분 표현을 도출한다.
• 유일성과 계산 가능성 보장을 위해 이중직교 체계를 사용하며, 이중 함수 $ q_j $ 와 상위 다항식 $ p_j $ 를 사용한다.
• 메이저 G-함수와 베타 적분을 사용하여 커널 표현에서 발생하는 특수 함수를 처리한다.
• 지역적 渐近 분석을 위해 이중 경로 적분에 대해 안장점 방법을 적용하여 보편성 결과를 도출한다.

실험 결과

연구 질문

• RQ1 절단된 유니터리 행렬의 곱의 제곱 특이값이 언제 다항식 집합을 형성하는가?
• RQ2 GX 또는 TX의 제곱 특이값에 대한 상관 커널은 어떻게 닫힌 형태의 적분 표현으로 표현할 수 있는가?
• RQ3 H가 GUE이고 M이 다항식 집합의 고유값 밀도를 가지는 경우, H + M의 고유값 상관 커널은 어떤 구조를 갖는가?
• RQ4 유도된 커널은 두 행렬 모형이나 자코비 집합과 같은 기존 모형과 어떻게 관련이 있는가?
• RQ5 이중 경로 적분 형태를 사용하여 고유값 및 특이값 통계의 국소 보편성 법칙을 도출할 수 있는가?

주요 결과

• G가 복소 겔레브리 행렬이고 X가 제곱 특이값에 대해 다항식 집합을 가지는 경우, GX의 상관 커널은 이중 경로 적분으로 주어진다.
• r개의 절단된 유니터리 행렬의 곱에 대해, 매개변수들이 특정 통합 조건을 만족할 경우 제곱 특이값은 다항식 집합을 형성하며, 커널은 이중 경로 적분 표현을 가진다.
• H가 GUE이고 M이 다항식 집합의 고유값 밀도를 가지는 경우, H + M의 고유값 역시 다항식 집합을 이루며, 상관 커널은 이중 경로 적분으로 표현 가능하다.
• r = 1일 때, r개의 절단된 유니터리 행렬의 곱에 대한 커널은 자코비 유니터리 집합 커널로 감소하며, 이중 경로 형태는 자코비–피냐이로 미소 과정에서 알려진 결과와 일치한다.
• 초기 행렬 A가 항등행렬로 수렴하는 극한에서, 곱 $ T_r \cdots T_1 A $의 커널은 메이저 G-함수의 도함수를 포함하는 형태로 수렴하며, 이는 다항식 집합의 구조를 확인하는 이중직교 체계를 제공한다.
• 유도된 공식은 안장점 방법을 통한 渐近 분석에 적합하여 부드러운 경계와 딱딱한 경계에서 보편성 법칙의 도출을 뒷받침한다.