[논문 리뷰] Large dimensional random k circulants

Arup Bose, Joydip Mitra외 1명|ArXiv.org|2009. 03. 01.

Random Matrices and Applications참고 문헌 31인용 수 8

한 줄 요약

이 논문은 평균이 0이고 분산이 1인 i.i.d. 입력 성분을 가진 큰 무작위 $k$-순환행렬의 한계 스펙트럼 분포(LSD)를 수립한다. $k(n)$에 특정한 성장 조건이 만족될 경우, LSD는 단위원 또는 $2g$-번째 단위근을 포함하는 분포로 약한 수렴을 보이며, 이는 감마형 랜덤 변수로 스케일링된다. 특히 $n = k^2 + 1$일 때 스펙트럼 반경은 Gumbel 분포로 명시적으로 수렴한다. 본 결과는 구조적 $k$-순환 행렬에 대한 고전적 랜덤 행렬 이론을 확장한다.

ABSTRACT

Consider random k-circulants A_{k,n} with n tends to infinity, k=k(n) and whose input sequence \{a_l\}_{l \ge 0} is independent with mean zero and variance one and \sup_n n^{-1}\sum_{l=1}^n \E |a_l|^{2+δ}< \infty for some δ> 0. Under suitable restrictions on the sequence \{k(n)\}_{n \ge 1}, we show that the limiting spectral distribution (LSD) of the empirical distribution of suitably scaled eigenvalues exists and identify the limits. In particular, we prove the following: Suppose g \ge 1 is fixed and p_1 is the smallest prime divisor of g. Suppose P_g=\prod_{j=1}^g E_j where \{E_j\}_{1 \le j \le g} are i.i.d. exponential random variables with mean one. (i) If k^g = -1+ s n where s=1 if g=1 and s = o(n^{p_1 -1}) if g>1, then the empirical spectral distribution of n^{-1/2}A_{k,n} converges weakly in probability to U_1P_g^{1/2g} where U_1 is uniformly distributed over the (2g)th roots of unity, independent of P_g. (ii) If g \ge 2 and k^g = 1+ s n with s = o(n^{p_1-1}) then the empirical spectral distribution of n^{-1/2}A_{k,n} converges weakly in probability to U_2P_g^{1/2g} where U_2 is uniformly distributed over the unit circle in \mathbb R^2, independent of P_g. On the other hand, if k \ge 2, k= n^{o(1)} with \gcd(n,k) = 1, and the input is i.i.d. standard normal variables, then F_{n^{-1/2}A_{k,n}} converges weakly in probability to the uniform distribution over the circle with center at (0,0) and radius r = \exp(\E [ \log \sqrt E_1]). We also show that when n=k^2+1 o \infty, and the input is i.i.d. with finite (2+δ) moment, then the spectral radius, with appropriate scaling and centering, converges to the Gumbel distribution.

연구 동기 및 목표

• 큰 무작위 $k$-순환행렬의 한계 스펙트럼 분포(LSD) 존재성을 수립하고, 이를 규명하는 것.
• 입력 성분의 크기 $k = k(n)$이 $n$과 함께 증가할 때 LSD를 분석하는 것. 특히 $k^g = \pm 1 + sn$ 이며 $s = o(n^{p_1 - 1})$ 조건을 만족하는 경우.
• 입력 성분이 유한한 $(2+\delta)$-차 모멘트 조건을 만족할 때, $n = k^2 + 1$인 경우 스펙트럼 반경의 한계 분포를 규명하는 것.
• 특히 $n,k$가 서로소이거나 i.i.d. 정규 입력일 때, 고전적 순환행렬 이론 결과를 더 일반적인 $k$-순환형 구조로 확장하는 것.
• 특정 점근적 영역에서 스펙트럼 반경에 대한 중심극한형 근사 및 Gumbel 극한을 도출하는 것.

제안 방법

• 입력 시퀀스의 이산 푸리에 변환(DFT)을 활용하여 $k$-순환행렬을 대각화하고, 순환행렬의 특성과 DFT를 통한 고유값 공식을 활용한다.
• 치환행렬과 인덱스에 대한 군 작용을 적용하여 행렬을 순환 블록으로 분해하고, 특성다항식 분석을 가능하게 한다.
• 레미마 14 및 레미마 15를 활용하여 $A_{k,n}$의 특성다항식을 고유값이 $\lambda^{n_j} - \Pi_j$인 사이클에 의존하는 행렬 $L_j$의 곱과 연결한다.
• 약한 수렴, 단위원 위의 균일 분포 변수와 지수형 곱의 독립성, 그리고 $\sup_n n^{-1} \sum_{l=1}^n \mathbb{E}|a_l|^{2+\delta} < \infty$ 조건을 포함한 확률적 도구의 적용.
• 극값 이론을 통한 스펙트럼 반경 분석으로, $n = k^2 + 1$ 이며 유한한 $(2+\delta)$-차 모멘트 조건을 만족할 경우 Gumbel 분포로 수렴함을 보임.
• 특히 $k^g \equiv \pm 1 \pmod{n}$ 조건에서 $k$-오빗의 구조에 따라 조건부로 LSD를 도출하며, 이는 고유값 분포에 $g$-중대칭성을 유도한다.

실험 결과

연구 질문

• RQ1 만약 $k^g = -1 + sn$ 이고 $s = 1$ (만약 $g=1$) 또는 $s = o(n^{p_1 - 1})$ ($g > 1$) 이면, $n^{-1/2}A_{k,n}$의 ESD는 어떻게 수렴하는가?
• RQ2 유사한 $s$의 성장 조건 하에 $k^g = 1 + sn$ 이면 LSD는 어떻게 변화하는가?
• RQ3 만약 $k \geq 2$, $k = n^{o(1)}$, $\gcd(n,k) = 1$, 그리고 입력 성분이 i.i.d. 표준 정규분포를 따를 경우 LSD는 무엇인가?
• RQ4 만약 $n = k^2 + 1$ 이고 입력 성분이 유한한 $(2+\delta)$-차 모멘트를 가지면, $A_{k,n}$의 스펙트럼 반경의 한계 분포는 무엇인가?
• RQ5 고정된 $g$에 대해 $k^g \equiv \pm 1 \pmod{n}$ 이고 $k$-순환행렬이 스케일링될 경우 LSD를 명시적으로 규명할 수 있는가?

주요 결과

• 만약 $k^g = -1 + sn$ 이고 $s = 1$ (만약 $g=1$) 또는 $s = o(n^{p_1 - 1})$ ($g > 1$) 이면, $n^{-1/2}A_{k,n}$의 ESD는 $U_1 P_g^{1/2g}$로 약한 수렴을 보이며, 여기서 $U_1$은 $2g$-번째 단위근 위에서 균일분포를 가지며 $P_g = \prod_{j=1}^g E_j$와 독립이며, $E_j$는 평균이 1인 i.i.d. 지수분포를 따른다.
• 만약 $g \geq 2$ 이고 $k^g = 1 + sn$ 이며 $s = o(n^{p_1 - 1})$ 이면, $n^{-1/2}A_{k,n}$의 ESD는 $U_2 P_g^{1/2g}$로 약한 수렴을 보이며, 여기서 $U_2$는 $\mathbb{R}^2$ 내 단위원 위에서 균일분포를 가지며 $P_g$와 독립이다.
• 만약 $k \geq 2$, $k = n^{o(1)}$, $\gcd(n,k) = 1$, 그리고 입력 성분이 i.i.d. 표준 정규분포를 따를 경우, $n^{-1/2}A_{k,n}$의 ESD는 원점 중심, 반지름 $r = \exp(\mathbb{E}[\log \sqrt{E_1}])$인 원 위의 균일분포로 약한 수렴을 보인다.
• 만약 $n = k^2 + 1 \to \infty$ 이고 입력 성분이 유한한 $(2+\delta)$-차 모멘트를 가지면, 적절히 스케일링하고 중심화한 스펙트럼 반경은 분포적으로 Gumbel 분포로 수렴한다.
• LSD는 비정규분포이며, $k$가 $n$에 대해 모듈로 $n$에서 갖는 대수적 구조에 따라 달라지며, 특히 $k^g \equiv \pm 1 \pmod{n}$ 조건에서는 고유값 분포에 $g$-중대칭성을 유도한다.
• 행렬 $A_{k,n}$의 특성다항식은 $k$-오빗 모듈로 $n$에 따라 블록 행렬로 분해되며, 고유값은 사이클 길이와 오빗 점에서의 입력 값에 의해 결정된다.