[논문 리뷰] The norm of polynomials in large random and deterministic matrices

Camille Male|arXiv (Cornell University)|2010. 04. 23.

Random Matrices and Applications참고 문헌 11인용 수 7

한 줄 요약

이 논문은 대규모 랜덤 및 결정론적 행렬의 다항식의 연산자 노름의 거의 확실 수렴을 확립한다. 고유값이 한정 스펙트럼 분포의 이웃 영역에 머무르도록 보장하는 조건 하에서 이루어지며, 자유 확률 이론과 초수체 기법을 사용하여, GUE 행렬 및 특정 결정론적 또는 랜덤 행렬에 대해 다항식의 노름이 해당 자유 확률 대상의 노름으로 수렴함을 증명한다. 이는 스펙트럼에 이국적 고유값이 존재하지 않음을 확인한다.

ABSTRACT

Let X_N= (X_1^(N), ..., X_p^(N)) be a family of N-by-N independent, normalized random matrices from the Gaussian Unitary Ensemble. We state sufficient conditions on matrices Y_N =(Y_1^(N), ..., Y_q^(N)), possibly random but independent of X_N, for which the operator norm of P(X_N, Y_N, Y_N^*) converges almost surely for all polynomials P. Limits are described by operator norms of objects from free probability theory. Taking advantage of the choice of the matrices Y_N and of the polynomials P we get for a large class of matrices the "no eigenvalues outside a neighborhood of the limiting spectrum" phenomena. We give examples of diagonal matrices Y_N for which the convergence holds. Convergence of the operator norm is shown to hold for block matrices, even with rectangular Gaussian blocks, a situation including non-white Wishart matrices and some matrices encountered in MIMO systems.

연구 동기 및 목표

• 큰 랜덤 및 결정론적 행렬의 다항식의 연산자 노름이 거의 확실하게 수렴하는 데 필요한 조건을 확립하기 위해.
• i.i.d. Wigner 및 Wishart 행렬을 초월하여 '한정 스펙트럼 외부에 고유값이 존재하지 않음' 현상을 비동일분포 및 비정규 분포 행렬 모델로 확장하기 위해.
• 특히 자유 창조 연산자와 초수체를 통해 자유 확률 이론을 활용하여 한계 연산자 노름을 특성화하기 위해.
• MIMO 시스템과 관련된 직사각형 및 비백색 위샤르트 행렬을 포함한 블록 행렬에 대한 수렴을 보여주기 위해.
• 기존의 고유값 국소화 및 노름 수렴에 관한 결과들을 통합하고 일반화하기 위해.

제안 방법

• 자유 확률 이론의 渐近 자유성 프레임워크를 사용하여 다항식의 스펙트럼 행동을 비가환 법칙과 연관지킨다.
• C*-대수의 초수체를 사용하여 GNS 표현과 상태를 유지하는 동형사상으로 통해 연산자 노름의 극한을 분석한다.
• 행렬 가족들과 자유인 자유 창조 연산자를 도입하여, 자유곱 대수와 동형인 한계 C*-대수의 구축을 가능하게 한다.
• 자유곱의 보편 성질을 적용하여, 행렬의 다항식의 노름이 자유곱 대수에서의 노름으로 수렴함을 보여준다.
• 유한 차원 대수에서 모멘트와 연산자 노름의 수렴을 근거로 초수체 극한에서의 수렴을 유도한다.
• 스칼라 항등행렬의 배수에서 연산자 노름과 L2-노름이 일치함을 이용하여, 한계에서 창조 연산자 관계가 확인된다.

실험 결과

연구 질문

• RQ1 큰 랜덤 및 결정론적 행렬의 다항식의 연산자 노름이 거의 확실하게 수렴하는 조건은 무엇인가?
• RQ2 '한정 스펙트럼 외부에 고유값이 존재하지 않음' 현상은 i.i.d. Wigner 및 Wishart 행렬을 초월하여 확장될 수 있는가?
• RQ3 자유 확률 이론은 어떻게 다항식의 행렬 노름의 한계를 기술하는 데 사용될 수 있는가?
• RQ4 자유 창조 연산자는 다항식 노름의 극한을 특성화하는 데 어떤 역할을 하는가?
• RQ5 블록 구조를 가진 행렬, 특히 비백색 위샤르트 행렬에 대해서도 노름 수렴이 성립하는가?

주요 결과

• 다른 행렬의 다항식의 연산자 노름은 거의 확실하게 자유곱 대수에서 해당 자유 확률 대상의 노름으로 수렴한다.
• 행렬 다항식의 스펙트럼은 거의 확실하게 한정 스펙트럼 측도의 지지부분의 작은 이웃 영역 내에 머물며, 이는 이국적 고유값이 존재하지 않음을 확인한다.
• 이 결과는 대칭 행렬, 대각 행렬, 직사각형 가우시안 블록을 포함한 많은 결정론적 행렬 클래스에 대해 성립한다.
• 유니버설리티 원리에 의해 비정규 분포 Wigner 및 Wishart 행렬, 실수 및 심플렉틱 가우시안 행렬로도 확장된다.
• 한계 노름은 한계 자유 랜덤 변수와 자유 창조 연산자가 생성하는 C*-대수에서의 연산자 노름으로 특성화된다.
• 초수체와 GNS 표현을 통한 증명 기법은 특정 행렬 앙상블을 초월하여 노름 수렴을 일반화하는 데 강력한 프레임워크를 제공한다.