[논문 리뷰] Limit Distribution of Eigenvalues for Random Hankel and Toeplitz Band Matrices

Dang-Zheng Liu, Zhengdong Wang|ArXiv.org|2009. 04. 20.

Random Matrices and Applications참고 문헌 13인용 수 3

한 줄 요약

이 논문은 행렬 크기 $N \to \infty$ 일 때, 밴드폭 $b_N \to \infty$ 이며 $b_N/N \to b \in [0,1]$ 를 만족하는 랜덤 헤르미트 토플리츠 행렬과 실대칭 하 Hankel 밴드 행렬의 고유값 분포의 약한 수렴성과 거의 확실 수렴성을 확립한다. 극한 분포 $\gamma_T(b)$ 와 $\gamma_H(b)$ 는 보편적이고 대칭적이며, 그 모멘트는 쌍 분할 위의 적분으로 표현된다. 특히 $\gamma_T(0)$ 는 정규분포이고 $\gamma_H(0)$ 는 $|x|e^{-x^2}$ 이며, 이는 $b > 0$ 에서 비정규분포 성질을 확인하는 데 중요한 네 번째 모멘트의 차이를 보인다. 이 방법은 추적 모멘트 분석과 이동 연산자를 이용한 토플리츠 행렬에 대한 새로운 선형 분해에 기반한다.

ABSTRACT

Consider real symmetric, complex Hermitian Toeplitz and real symmetric Hankel band matrix models, where the bandwidth $b_{N} a \iy$ but $b_{N}/N o b$, $b\in [0,1]$ as $N o \infty$. We prove that the distributions of eigenvalues converge weakly to universal, symmetric distributions $γ_{_{T}}(b)$ and $γ_{_{H}}(b)$. In the case $b>0$ or $b=0$ but with the addition of $b_{N}\geq C N^{{1/2}+ε_{0}}$ for some positive constants $ε_{0}$ and $C$, we prove almost sure convergence. The even moments of these distributions are the sum of some integrals related to certain pair partitions. In particular, when the bandwidth grows slowly, i.e. $b=0$, $γ_{_{T}}(0)$ is the standard Gaussian distribution and $γ_{_{H}}(0)$ is the distribution $|x| \exp(-x^{2})$. In addition, from the fourth moments we know that the $γ_{_{T}}(b)$'s are different for different $b$'s, the $γ_{_{H}}(b)$'s different for different $b\in [0,{1/2}]$ and the $γ_{_{H}}(b)$'s different for different $b\in [{1/2},1]$.

연구 동기 및 목표

• 랜덤 토플리츠 및 하 Hankel 밴드 행렬의 고유값 극한 분포의 존재성과 보편성을 확립하기 위해.
• 극한 스펙트럼 분포가 밴드폭 비율 $b = \lim b_N/N$ 에 어떻게 의존하는지 분석하기 위해.
• 쌍 분할 위의 적분을 이용해 극한 분포의 모멘트에 대한 명시적 공식 유도하기 위해.
• 밴드폭 $b_N$ 에 대한 미약한 성장 조건 하에서 거의 확실 수렴성을 증명하기 위해.
• $\gamma_T(b)$ 와 $\gamma_H(b)$ 의 고유값 분포를 고유한 고유값 분포로 식별하기 위해 고차 모멘트를 사용하여 $b$ 의 다양한 값에 대해 구분하기 위해.

제안 방법

• 고정된 이동 행렬 $B$ 와 $F$ 를 사용하여 랜덤 계수를 갖는 토플리츠 및 하 Hankel 밴드 행렬을 선형 조합으로 모델링하기 위해.
• 추적 모멘트 방법을 사용하여 $\mathbb{E}[\mathrm{tr}(X_N^k)]$ 를 계산하고, 네 번째 모멘트의 변동성을 분석하여 수렴성을 확립하기 위해.
• 극한 분포의 $k$-번째 모멘트를 쌍 분할 $\pi \in \mathcal{P}_2(2k)$ 위의 적분의 합으로 표현하기 위해.
• 밴드폭 의존성을 반영하는 변수 $x_l$ 에 대한 선형 형식의 지시 함수를 포함한 $[0,1] \times [-1,1]^k$ 위의 적분 $p_\pi(b)$ 를 정의하기 위해.
• 모멘트 수렴 기법을 적용하고 고차 누적량을 제어하여 $b_N \geq C N^{1/2 + \epsilon_0}$ 조건 하에서 거의 확실 수렴성을 증명하기 위해.
• 이동 연산자 표현을 통해 토플리츠 행렬의 대수적 구조를 활용하여 모멘트 공식을 도출하기 위해.

실험 결과

연구 질문

• RQ1 $N \to \infty$ 일 때 $b_N/N \to b$ 를 만족하는 랜덤 토플리츠 밴드 행렬의 고유값 분포가 약한 수렴성을 보이는가?
• RQ2 모든 $b \in [0,1]$ 에 대해 극한 스펙트럼 분포 $\gamma_T(b)$ 와 $\gamma_H(b)$ 는 보편적이고 대칭적인가?
• RQ3 $\gamma_T(b)$ 와 $\gamma_H(b)$ 의 네 번째 모멘트는 $b$ 에 따라 어떻게 변화하며, 이는 그들의 상이함을 어떻게 시사하는가?
• RQ4 고유값 분포의 수렴이 약한 수렴이 아닌 거의 확실 수렴이 되기 위한 $b_N$ 에 대한 조건은 무엇인가?
• RQ5 고유값 분포는 색인의 쌍 분할 위의 적분으로 명시적으로 특징지어질 수 있는가?

주요 결과

• 극한 고유값 분포 $\gamma_T(b)$ 는 보편적이고 대칭적이며, $\gamma_T(0)$ 는 표준 정규분포이다.
• 하 Hankel 행렬의 극한 분포 $\gamma_H(b)$ 는 $\gamma_H(0) = |x| e^{-x^2}$ 를 만족하여, 비정규분포이자 더 무거운 尾을 지닌 형태임을 시사한다.
• $b \in (0,1]$ 에서 $\gamma_T(b)$ 는 정규분포가 아니며, 이는 $[0,1]$ 에서 엄격히 감소하는 네 번째 모멘트 $m_4(\gamma_T(b))$ 에 의해 확인된다.
• $\gamma_H(b)$ 의 네 번째 모멘트는 $[0,1/2]$ 에서 엄격히 감소하고 $[1/2,1]$ 에서 엄격히 증가하므로, 각 구간 내에서 $b$ 가 다를 경우 $\gamma_H(b)$ 가 서로 다름을 증명한다.
• $\gamma_T(b)$ 와 $\gamma_H(b)$ 의 짝수 모멘트는 쌍 분할 위의 적분의 합으로 주어지며, $k=2$ 에 대해 명시적으로 계산되었다.
• $b_N \geq C N^{1/2 + \epsilon_0}$ 인 조건 하에서, 행렬 원소의 모멘트 조건을 만족할 경우 고유값 분포의 거의 확실 수렴성이 확립되었다.