[논문 리뷰] A note on the folklore of free independence

Arijit Chakrabarty, Sukrit Chakraborty외 1명|arXiv (Cornell University)|2018. 02. 03.

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

한 줄 요약

이 논문은 i.i.d. 복소 가우시안 성분을 가진 위샤르트 행렬과 독립적인 랜덤 행렬 간의 渐近 자유 독립성을 최소한의 스펙트럼 가정 하에 확립한다. 절단과 스펙트럼 분포 기법을 사용하여, 정규화된 기대 추적과 한계 스펙트럼 분포의 두 정의에 따라 공동 스펙트럼 측도의 법칙 수렴을 증명한다. 주요 결과는 독립 행렬의 한계 스펙트럼 측도가 컴 pact하게 지원되지 않을 경우에도 성립한다.

ABSTRACT

It is shown that a Wishart matrix of standard complex normal random variables is asymptotically freely independent of an independent random matrix, under minimal conditions, in two different sense of asymptotic free independence.

연구 동기 및 목표

• 랜덤 행렬 이론에서의 '渐近 자유 독립성'에 대한 낭만적 믿음의 모호함을 해결하기 위해.
• 정규화된 기대 추적과 한계 스펙트럼 분포의 두 정의를 구분함으로써 '점점 자유롭게 독립적'이라는 표현의 의미를 명확히 하기 위해.
• 위샤르트 행렬과 독립적인 랜덤 행렬 간의 渐近 자유 독립성을 이끌어내는 조건을 설정하여, 후자의 가정을 최소화하기 위해.
• 절단과 수렴 추론을 사용하여 두 다른 의미에서의 渐近 자유 독립성에 대한 엄밀한 증명을 제공하기 위해.
• 한계 스펙트럼 분포에 대한 가정을 최소화하여 결과가 성립함을 보이며, 이는 한계 스펙트럼 측도가 컴 pact하게 지원되지 않을 경우에도 성립한다.

제안 방법

• 위샤르트 행렬 $ W_N = \frac{1}{M_N} X_N^* X_N $ 을 정의한다. 여기서 $ X_N $ 는 i.i.d. 복소 표준 정규 분포를 가진 성분을 가지며, $ \lim_{N\to\infty} \frac{N}{M_N} = \lambda \in (0,\infty) $ 를 만족한다.
• 실험적 스펙트럼 분포(ESD)와 기대 실험적 스펙트럼 분포(EESD)를 사용하여 스펙트럼 수렴을 분석한다.
• 절단 절차를 적용한다: $ Y_N' = P_N T_N' P_N^* $ 를 정의한다. 여기서 $ T_N' $ 은 삼각화된 행렬 $ T_N = P_N^* Y_N P_N $ 의 절단된 형태이며, $ P_N $ 는 $ Y_N $ 의 함수 해석학에서 유도된다.
• 모멘트 수렴과 유계성에 의해 $ p(W_N, Y_N') $ 의 EESD 가 자유 곱 측도 $ \mathcal{L}(p(w,y)) $ 로 수렴함을 증명한다.
• 질량 제어와 스펙트럼 측도 수렴을 이용하여 $ \lim_{N\to\infty} \| \text{EESD}(p(W_N, Y_N)) - \text{EESD}(p(W_N, Y_N')) \| = 0 $ 를 확립한다.
• 약한 수렴 $ \mu_M = \mu|_{[-M,M]} + \mu([-M,M]^c)\delta_0 \to \mu $ 를 $ M \to \infty $ 일 때 사용하고, 약한 극한 하에서 자유 컨볼루션의 안정성을 적용한다.

실험 결과

연구 질문

• RQ1 정규화된 기대 추적의 의미에서 위샤르트 행렬이 독립적인 랜덤 행렬과 渐近 자유 독립이 되는 조건은 무엇인가?
• RQ2 한계 스펙트럼 측도가 컴 pact하게 지원되지 않을 경우에도, 한계 스펙트럼 분포의 더 약한 의미에서 渐近 자유 독립성이 확립될 수 있는가?
• RQ3 독립 행렬의 고유값을 절단함으로써 쌍 $ (W_N, Y_N) $ 의 공동 스펙트럼 분포에 어떤 영향을 미치는가?
• RQ4 Y_N 의 한계 스펙트럼 분포에 대해 渐近 자유 독립성이 성립하기 위한 최소 가정은 무엇인가?
• RQ5 절단 하에서 모멘트 매칭과 유계 수렴을 통해 공동 스펙트럼 측도의 수렴을 확립할 수 있는가?

주요 결과

• 정리 2.1은 정규화된 기대 추적의 의미에서 渐近 자유 독립성을 확립한다: 임의의 다항식 $ p $ 에 대해 $ \text{EESD}(p(W_N, Y_N)) \to \mathcal{L}(p(w,y)) $ 를 만족하며, 이는 $ \mu $ 가 컴 pact하게 지원될 경우에 한하여 성립한다.
• 정리 2.2는 동일한 컴 pact 지원 가정 하에, 절단과 질량 제어를 사용하여 $ p(W_N, Y_N) $ 의 EESD 가 자유 곱 분포로 법칙 수렴함을 증명한다.
• 정리 2.3은 $ \mu $ 가 컴 pact하게 지원되지 않을 경우로 확장하여, $ \text{EESD}(Y_N + W_N) \to \mu \boxplus \nu_\lambda $ 와 $ \text{EESD}(Y_N W_N) \to \mu \boxtimes \nu_\lambda $ 가 $ N \to \infty $ 일 때 약한 확률 수렴으로 성립함을 보이며, 이는 $ M $ 에서의 수렴을 포함한다.
• 절단 오차는 $ \lim_{M\to\infty} \limsup_{N\to\infty} \frac{1}{N} \mathbb{E}[\text{Rank}(Y_N - Y_N')] = 0 $ 를 만족하여, 분포상에서 $ Y_N $ 와 $ Y_N' $ 이 渐近적으로 동치임을 보장한다.
• 증명은 $ \text{EESD}(Y_N') \to \mu $ 가 약한 확률 수렴함과 함께, $ Y_N' $ 의 모멘트가 $ \mu $ 의 모멘트로 수렴함을 이용하여 모멘트 매칭이 가능하다는 사실에 기반한다.
• 결과는 최소한의 가정 하에서도 강인하다: 유일한 요구 조건은 $ \text{ESD}(Y_N) \to \mu $ 가 약한 확률 수렴한다는 것뿐이며, 균일 적으로 유계이거나 유계성 조건이 절단 이외에 필요하지 않다.