[논문 리뷰] Exact separation phenomenon for the eigenvalues of large Information-Plus-Noise type matrices. Application to spiked models

Mireille Capitaine|arXiv (Cornell University)|2013. 01. 16.

Random Matrices and Applications인용 수 18

한 줄 요약

이 논문은 큰 정보-노이즈 랜덤 행렬의 고유값 스펙트럼에서 정확한 분리 현상이 발생함을 규명한다. $M_N = (\sigma X_N/\sqrt{N} + A_N)(\sigma X_N/\sqrt{N} + A_N)^*$의 점근적 스펙트럼 분포 $\mu_{\sigma,\nu,c}$의 갭이 $A_N A_N^*$의 스펙트럼 갭과 정확히 일치함을 보이며, 이는 약한 모멘트 및 스펙트럼 조건 하에 성립한다. 주요 기여는 스팀드 모델에서 이격된 고유값(outliers)을 점근적 스펙트럼 측도와 스틸체스 변환 분석을 통해 특성화한 데 있다.

ABSTRACT

We consider large Information-Plus-Noise type matrices of the form $M_N=(\\sigma \\frac{X_N}{\\sqrt{N}}+A_N)(\\sigma \\frac{X_N}{\\sqrt{N}}+A_N)^*$ where $X_N$ is an $n \ imes N$ ($n\\leq N)$ matrix consisting of independent standardized complex entries, $A_N$ is an $n \ imes N$ nonrandom matrix and $\\sigma>0$. As $N$ tends to infinity, if $n/N \ ightarrow c\\in ]0,1]$ and if the empirical spectral measure of $A_N A_N^*$ converges weakly to some compactly supported probability distribution $\ u \ eq \\delta_0$, Dozier and Silverstein established that almost surely the empirical spectral measure of $M_N$ converges weakly towards a nonrandom distribution $\\mu_{\\sigma,\ u,c}$. Bai and Silverstein proved, under certain assumptions on the model, that for some closed interval in $]0;+\\infty[$ outside the support of $\\mu_{\\sigma,\ u,c}$ satisfying some conditions involving $A_N$, almost surely, no eigenvalues of $M_N$ will appear in this interval for all $N$ large. In this paper, we carry on with the study of the support of the limiting spectral measure previously investigated by Dozier and Silverstein and later by Vallet, Loubaton and Mestre and Loubaton and P. Vallet, and we show that, under almost the same assumptions as Bai and Silvertein, there is an exact separation phenomenon between the spectrum of $M_N$ and the spectrum of $A_NA_N^*$: to a gap in the spectrum of $M_N$ pointed out by Bai and Silverstein, it corresponds a gap in the spectrum of $A_NA_N^*$ which splits the spectrum of $A_NA_N^*$ exactly as that of $M_N$. We use the previous results to characterize the outliers of spiked Information-Plus-Noise type models.

연구 동기 및 목표

• 대칭 행렬 $M_N = (\sigma X_N/\sqrt{N} + A_N)(\sigma X_N/\sqrt{N} + A_N)^*$의 스펙트럼 행동을 $N \to \infty$일 때 조사한다.
• 점근적 스펙트럼 측도 $\mu_{\sigma,\nu,c}$의 갭과 $A_N A_N^*$의 스펙트럼 갭 사이의 정확한 대응 관계를 확립한다.
• 특히 $A_N$이 $\mu_{\sigma,\nu,c}$의 본질적 영역 외부에 고립된 고유값을 가질 경우, 극단 고유값(이격 고유값)의 거의 확실 수렴을 특성화한다.
• 이전의 스펙트럼 분리 결과를 확장하여, 고유값 이격점이 $\mu_{\sigma,\nu,c}$의 지지집합에 대해 정확히 국소화됨을 증명한다.

제안 방법

• 분석은 스펙트럼 측도 $\nu$와 비율 $c = \lim n/N$을 포함하는 고정점 방정식을 만족하는 스틸체스 변환 $g_{\mu_{\sigma,\nu,c}}(z)$에 기반한다.
• 논문은 도지에어와 실버스타인의 작업에서 유도된 점근적 스펙트럼 측도 $\mu_{\sigma,\nu,c}$를 사용하며, 이는 $\mu_{M_N}$의 거의 확실한 약한 수렴을 특성화한다.
• 스펙트럼 갭 조건을 적용한다: $[a,b]$가 $\text{supp}(\mu_{\sigma,\nu,c})$ 외부에 있을 경우, 모멘트 및 유계성 조건 하에 큰 $N$에 대해 $M_N$의 고유값이 $[a,b]$에 나타나지 않는다.
• 저자들은 $A_N$의 고유값 구조를 통한 편미분 기반 접근법을 사용하며, 특히 $A_N A_N^*$의 고립된 고유값 $\theta_j$에 초점을 맞추고, 그 위치가 $M_N$의 점근적 고유값 위치와 어떻게 관련되는지 분석한다.
• 점근적 스펙트럼 측도 $\mu_{\sigma,\nu,c}$의 누적분포함수의 연속성과 단조성에 기반해, 고유값 $\lambda_{n_{j-1}+i}(M_N)$이 스펙트럼 가장자리 사이의 간격에서 분위수로 수렴함을 입증한다.
• 증명 기법은 바이와 실버스타인(2006)의 결과를 기반으로 하며, $A_N A_N^*$와 $M_N$의 스펙트럼 갭 간 정확한 대응 관계를 보여주는 것으로 확장된다.

실험 결과

연구 질문

• RQ1 만약 $A_N A_N^*$에 스펙트럼 갭이 존재한다면, 이는 $M_N$의 점근적 스펙트럼 측도 $\mu_{\sigma,\nu,c}$에도 해당 갭을 유도하는가?
• RQ2 $A_N$이 고립된 고유값을 가질 경우, $M_N$의 극단 고유값이 $\mu_{\sigma,\nu,c}$의 지지집합에 대해 정확히 국소화될 수 있는가?
• RQ3 $M_N$의 고유값이 한계에서 $\mu_{\sigma,\nu,c}$의 본질적 영역에서 얼마나 분리되는가? 이 분리 현상은 $A_N A_N^*$의 구조와 어떻게 관련되는가?
• RQ4 스파이크드 모델에서의 이격 고유값의 점근적 위치는 $A_N A_N^*$의 스펙트럼 분포 $\nu$와 어떻게 관련되는가?

주요 결과

• 정확한 분리 현상이 입증된다: $A_N A_N^*$의 스펙트럼에 갭이 존재하면, $M_N$의 고유값은 점근적 스펙트럼 측도 $\mu_{\sigma,\nu,c}$의 해당 간격을 피하게 되며, 이 갭은 한계에서 유지된다.
• 모든 고립된 고유값 $\theta_j$에 대해, $M_N$의 $k_j$개 고유값은 거의 확실하게 $\mu_{\sigma,\nu,c}$의 분위수 $q_{\alpha_j}$로 수렴한다. 여기서 $\alpha_j = \nu(]-\infty, \theta_j])$이다.
• $\theta_j$가 $\text{supp}(\nu)$의 두 개의 연결된 성분 사이에 위치할 경우, $M_N$의 $k_j$개 고유값은 $\mu_{\sigma,\nu,c}$ 지지집합의 해당 성분에 대응하는 간격의 오른쪽 끝점인 $\Phi_{\sigma,\nu,c}(v_{l_j}^+)$로 거의 확실하게 수렴한다.
• $M_N$의 점근적 고유값이 스펙트럼 가장자리의 상사 함수 $\Phi_{\sigma,\nu,c}$에 의한 $\nu$의 가장자리의 이미지로 거의 확실하게 수렴함을 보였다. 이 함수 $\Phi_{\sigma,\nu,c}$는 $\nu$의 가장자리를 $\mu_{\sigma,\nu,c}$의 가장자리로 매핑한다.
• $\mu_{M_N}$이 $\mu_{\sigma,\nu,c}$로 수렴함에 따라, 임의의 간격 $[q_{j}-\epsilon, q_{j}+\epsilon]$ 내의 $M_N$ 고유값 수가 거의 확실하게 그 간격 내의 $\mu_{\sigma,\nu,c}$ 고유값 수로 수렴한다.