[논문 리뷰] Truncations of Haar distributed matrices, traces and bivariate Brownian bridges

Catherine Donati-Martin, Alain Rouault|arXiv (Cornell University)|2010. 07. 08.

Random Matrices and Applications참고 문헌 25인용 수 6

한 줄 요약

이 논문은 중심화된 추적(Trace)이 잘린 하르 분포를 가진 유니터리 또는 올리고나리 매트릭스의 두 차원 그리드에 대해 스케일링된 결과가 이元된 이변량 고정 브라운 운동 브릿지로 분포 수렴함을 증명한다. 조합적 모멘트 방법과 웨인게르텐 함수의 渐近 분석을 통해 저자들은 다차원 스코로호드 공간에서 수렴을 증명하였으며, 그 결과의 공분산 구조는 군의 종류(유니터리의 경우 β = 2, 올리고나리의 경우 β = 1)에 따라 달라진다.

ABSTRACT

Let U be a Haar distributed unitary matrix in U(n)or O(n). We show that after centering the double index process $$ W^{(n)} (s,t) = \\sum_{i \\leq \\lfloor ns \ floor, j \\leq \\lfloor nt\ floor} |U_{ij}|^2 $$ converges in distribution to the bivariate tied-down Brownian bridge. The proof relies on the notion of second order freeness.

연구 동기 및 목표

• U(n) 및 O(n)의 잘린 하르 분포를 가진 랜덤 매트릭스의 추적에 대한 기능적 극한 정리 수립
• 이전의 일변수 프로세스(예: 고유값 추적) 결과를 이변수 기능적 설정으로 확장
• 제한 경계 조건이 있는 가우시안 프로세스를 이변량 고정 브라운 운동 브릿지로 특성화하고 군에 따라 달라지는 공분산을 규명
• 경로의 정규성과 강한 수렴을 보장하는 다차원 스코로호드 공간 D([0,1]^2)에서의 엄밀한 수렴 증명 제공
• 자기회귀 행렬 이론의 결과들을 통합 및 일반화하며, 자카비 군집 및 고유값의 선형 통계량과의 연결 고려

제안 방법

• H_{p,q}를 하르 분포를 가진 매트릭스의 상단-좌측 p×q 부분행렬의 그램 행렬로 정의하고, W^(n)(s,t) = Tr(H_{⌊ns⌋,⌊nt⌋}) − E[Tr(H_{⌊ns⌋,⌊nt⌋})]로 이중 매개변수 프로세스 정의
• 웨인게르텐 미적분학을 사용해 T_{p,q} = Tr(H_{p,q})의 공동 모멘트 및 첨도를 계산 (정규 행렬 A,B에 대해)
• 단위군 및 올리고나리 군의 웨인게르텐 함수의 渐近 행동(참고 문헌 [8] 및 [11])을 이용해 T_{p,q}의 첨도의 渐近 전개 유도
• 첨도 추정에 기반해 비이항 기준(Bickel과 Wichura의 이중 매개변수 기준)을 사용해 유한차원 분포의 강도 확보
• 고차 모멘트 첨도가 渐近적으로 0이 되는 것으로 보여 (κ_r = o(1) for r ≥ 3), 유한차원 분포의 수렴을 증명하고 가우시안 극한으로 수렴
• 제한 공분산 구조를 E[W^(∞)(s,t)W^(∞)(s',t')] = (s∧s' − ss')(t∧t' − tt')로 확인하며, β = 2(유니터리), β = 1(올리고나리)에 따라 달라짐

실험 결과

연구 질문

• RQ1 U(n) 또는 O(n)의 잘린 하르 분포 매트릭스의 중심화된 추적은 n → ∞일 때 이변량 가우시안 프로세스로 수렴하는가?
• RQ2 이중 매개변수 추적 프로세스의 기능적 극한의 제한 공분산 구조는 무엇인가?
• RQ3 경로의 정규성과 약한 수렴을 보장하는 다차원 스코로호드 공간 D([0,1]^2)에서 수렴을 확립할 수 있는가?
• RQ4 U(n) 및 O(n)의 웨인게르텐 함수의 渐近 행동은 추적의 첨도와 제한 프로세스에 어떤 영향을 미치는가?
• RQ5 제한 프로세스는 고정 브라운 운동 브릿지인가? 군 대칭성(β = 2 또는 1)은 그 분산에 어떤 영향을 미치는가?

주요 결과

• 프로세스 W^(n)은 E[W^(∞)(s,t)W^(∞)(s',t')] = (s∧s' − ss')(t∧t' − tt')의 공분산을 가지며, 고정 브라운 운동 브릿지로 분포 수렴함을 확인하여 기능적 극한 정리 확인
• 제한 프로세스는 가우시안이면서 중심화되어 있으며, 유니터리 군의 경우 분산 매개변수 β = 2, 올리고나리 군의 경우 β = 1
• T_{p,q}의 네 번째 첨도는 O(p²q²/n⁴)이며, p/n → s 및 q/n → t일 때 n → ∞으로 갈수록 0이 되어 渐近 가우시안성을 보장
• 첨도 추정 및 웨인게르텐 함수의 渐상 행동에 기반해 이중 매개변수 기준을 사용해 분포의 강도 확보
• 수렴은 sup_{s,t∈[0,1]} |W^(n)(s,t)| → sup_{s,t∈[0,1]} |W^(∞)(s,t)| 분포 수렴을 암시하며, T_{⌊ns⌋,⌊nt⌋}/n → st 확률 수렴
• 이 결과는 Wigner 행렬 및 표본 공분산 행렬의 고유벡터 매트릭스에 대해 Chafai의 제안된 제한 프로세스의 보편성에 대한 추측을 확인하며, 나중에 Benaych-Georges에 의해 Wigner 행렬에 대해 확인됨