[논문 리뷰] An asymptotic link between LUE and GUE and its spectral interpretation

Yan Doumerc|ArXiv.org|2002. 04. 13.

Random Matrices and Applications인용 수 4

한 줄 요약

이 논문은 매개변수 M → ∞ 일 때 라구에르 유니터리 엔세임블(LUE)이 분포 수렴하여 가우시안 유니터리 엔세임블(GUE)으로 수렴함을 보여주는 행렬 중심극한정리(central limit theorem)를 수립한다. 정규화된 형태 (Y^{N,M} - M·Id_N)/√M → GUE(N)이 성립한다. 이 수렴과 요한슨(Johansson)의 last-passage percolation 관찰을 이용해, GUE 고유값에 대한 새로운 스펙트럼 표현식을 도출하였으며, GUE 고유값의 최대값과 유도된 브라운 운동 percolation에서의 last-passage 시간 사이의 유명한 분포 동치 관계를 재확인한다.

ABSTRACT

We use a matrix central-limit theorem which makes the Gaussian Unitary Ensemble appear as a limit of the Laguerre Unitary Ensemble together with an observation due to Johansson in order to derive new representations for the eigenvalues of GUE. For instance, it is possible to recover the celebrated equality in distribution between the maximal eigenvalue of GUE and a last-passage time in some directed brownian percolation. Similar identities for the other eigenvalues of GUE also appear.

연구 동기 및 목표

• 매개변수 M → ∞ 일 때 라구에르 유니터리 엔세임블(LUE)과 가우시안 유니터리 엔세임블(GUE) 사이의 엄밀한 점근적 연결 고리를 확립하는 것.
• LUE 고유값 표현의 수렴을 통해 GUE 고유값 분포에 대한 스펙트럼적 해석을 제공하는 것.
• GUE 고유값의 최대값과 지향된 브라운 운동 percolation에서의 last-passage 시간 사이의 유명한 분포 동치 관계를 재확인하고 일반화하는 것.
• LUE에서의 유한-M 대응체에 비해 GUE 고유값의 한계 경로 변환(limiting path transformation)이 경로적으로 동일한지, 아니면 오직 분포상으로만 일치하는지 탐구하는 것.

제안 방법

• M → ∞ 일 때 (Y^{N,M} - M·Id_N)/√M 가 GUE(N)으로 분포 수렴함을 보이기 위해 행렬 중심극한정리를 적용한다.
• 독립 동일분포 가우시안 원소를 복소수 브라운 운동으로 대체하여 수렴을 과정 수준(process level)으로 확장하고, 고유값 궤적의 약한 수렴을 보인다.
• GUE의 최대 고유값이 지향된 브라운 운동 percolation에서의 last-passage 시간과 동일하다는 요한슨의 관찰을 활용한다.
• 글리닉(Glynn)과 힐리(Whitt)의 불변성 원리(invariance principle)를 적용하여, 유한-M LUE 고유값 기능수학적 표현식(functionals)과 브라운 운동 기능수학적 표현식을 연결한다.
• 모든 LUE 고유값에 대해 last-passage 기능수학적 표현식을 명시적으로 도출하고, 이들이 GUE 고유값에 대한 O’Connell–Yor 유형의 표현식으로 수렴함을 보인다.
• 마팅게일 기법과 모멘트 추정을 활용하여 유한차원 분포의 수렴성과 과정 수렴에서의 유계성(tightness)을 증명한다.

실험 결과

연구 질문

• RQ1 매개변수 M → ∞ 일 때 적절한 정규화 하에 라구에르 유니터리 엔세임블(LUE)이 분포 수렴하여 가우시안 유니터리 엔세임블(GUE)으로 수렴하는가?
• RQ2 지향된 브라운 운동 percolation에서의 last-passage 시간으로 표현되는 GUE 고유값의 최대값에 대한 스펙트럼 표현식이 LUE를 경유한 극한 절차를 통해 도출될 수 있는가?
• RQ3 LUE의 고유값 표현식이 M → ∞ 일 때 GUE 고유값에 대한 O’Connell–Yor 경로 기능수학적 표현식으로 수렴하는가?
• RQ4 GUE 고유값의 한계 경로 변환(limiting path transformation)이 유한-M 대응체와 경로적으로 동일한가, 아니면 오직 분포상으로만 일치하는가?
• RQ5 이차변동량(quadratic variation)과 마팅게일 수렴이 LUE 고유값이 GUE 고유값 과정으로 수렴하는 과정 수준 수렴을 확립하는 데 어떤 역할을 하는가?

주요 결과

• 행렬 중심극한정리에 의해 M → ∞ 일 때 (Y^{N,M} - M·Id_N)/√M 가 분포 수렴하여 X^N ~ GUE(N)이 된다.
• 과정 수준 수렴이 성립한다: ((Y^{N,M}(t) - Mt·Id_N)/√M)_{t≥0} 가 C(R_+, H_N)에서 (X^N(t²))_{t≥0} 로 약한 수렴한다.
• LUE(N,M)의 고유값은 GUE 고유값에 대한 O’Connell–Yor 공식과 유사한 last-passage 표현식을 만족한다.
• M → ∞ 일 때 LUE 고유값 기능수학적 표현식은 GUE 고유값을 O’Connell–Yor 프레임워크에서 표현하는 브라운 운동 기능수학적 표현식으로 수렴한다.
• GUE 고유값의 한계 기능수학적 표현식 Ω는 LUE 고유값 기능수학적 표현식의 극한으로 나타나지만, Ω와 O’Connell–Yor 변환 간의 경로적 동치성은 아직 미해결이다.
• 이차변동량의 대수법칙을 활용하여 마팅게일 기법과 모멘트 추정을 통해 유한차원 분포의 수렴성이 증명된다.