[논문 리뷰] Pathwise asymptotic behavior of random determinants in the uniform Gram and Wishart ensembles

Alain Rouault|arXiv (Cornell University)|2005. 09. 01.

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

한 줄 요약

이 논문은 행렬 차원이 증가함에 따라 균일한 그램 및 위샤르트 집합에서의 무작위 행렬식의 경로 기반 점근적 행동을 연구한다. 바르틀렛 분해와 스펙트럼 방법을 사용하여, 정규화된 로그-행렬식 과정에 대해 거의 확실 수렴, 기능적 중심극한정리, 그리고 대규모 이황 원리가 성립함을 보이며, 인프-컨볼루션과 쌍대성에 의해 명시적인 속도 함수를 도출한다.

ABSTRACT

This paper concentrates on asymptotic properties of determinants of some random symmetric matrices. If B_{n,r} is a n x r rectangular matrix and B_{n,r}' its transpose, we study det (B_{n,r}'B_{n,r}) when n,r tends to infinity with r/n o c\in (0,1). The r column vectors of B_{n,r} are chosen independently, with common distribution ν_n. The Wishart ensemble corresponds to ν_n = {\cal N}(0, I_n), the standard normal distribution. We call uniform Gram ensemble the ensemble corresponding to ν_n = σ_n, the uniform distribution on the unit sphere `S_{n-1}. In the Wishart ensemble, a well known Bartlett's theorem decomposes the above determinant into a product of chi-square variables. The same holds in the uniform Gram ensemble. This allows us to study the process \{\frac{1}{n}\log \det\big(B_{n,\lfloor nt floor}'B_{n,\lfloor nt floor}\big), t \in [0,1]\} and its asymptotic behavior as n o \infty: a.s. convergence, fluctuations, large deviations. We connect the results for marginals (fixed t) with those obtained by the spectral method.

연구 동기 및 목표

• 무작위 행렬 집합에서 정규화된 로그-행렬식 과정의 거의 확실 수렴, 변동, 그리고 대규모 이황을 조사한다.
• 조건 $ r/n \to c \in (0,1) $ 하에서 균일한 그램 및 위샤르트 집합에서의 행렬식의 공동 점근적 행동을 분석한다.
• 스펙트럼 이론과 확률과정을 통해 고정된 $ t $ 에서의 마진별 결과와 경로 기반 결과 사이의 연결 고리를 설정한다.
• 구형 및 카이제곱 성분의 속도 함수의 인프-컨볼루션을 사용하여 로그-행렬식 과정의 명시적 대규모 이황 속도 함수를 유도한다.
• 분해 및 스펙트럼 접근법을 모두 활용한 통합 프레임워크를 제공하며, 마르체노-파스트르 법칙에의 응용을 포함한다.

제안 방법

• 바르틀렛 분해를 적용하여, 위샤르트 케이스에서는 카이제곱, 균일한 그램 케이스에서는 베타 분포로 독립적인 랜덤 변수의 합으로 $ \log \det(B_{n,r}^\prime B_{n,r}) $ 를 표현한다.
• 경로 기반 분석을 위해 삼각형 배열로 정의된 과정 $ \left\{ \frac{1}{n} \log \det(B_{n,\lfloor nt \rfloor}^\prime B_{n,\lfloor nt \rfloor}) \right\}_{t \in [0,1]} $ 을 사용한다.
• 스펙트럼 표현 $ \log \det(B_{n,r}^\prime B_{n,r}) = \sum_{k=1}^r \log \lambda_{n,r}^{(k)} $ 를 사용하여 마르체노-파스트르 법칙과 연결한다. 여기서 $ \lambda_{n,r}^{(k)} $ 는 고유값을 의미한다.
• 고유값과 노름에 대한 강한 법칙을 이용하여 정규화된 로그-행렬식 과정의 거의 확실 수렴을 확립한다.
• empirical 스펙트럼 측도의 약한 수렴과 불변 원리에 의해 기능적 중심극한정리를 도출한다.
• Gärtner-Ellis 정리를 사용하고, 구형 성분과 노름 성분의 속도 함수의 인프-컨볼루션을 통해 대규모 이황 원리(LDP)를 계산하며, 쌍대성을 이용해 속도 함수를 복원한다.

실험 결과

연구 질문

• RQ1 행렬 차원 $ n \to \infty $ 일 때, $ \frac{1}{n} \log \det(B_{n,\lfloor nt \rfloor}^\prime B_{n,\lfloor nt \rfloor}) $ 의 거의 확실한 극한은 무엇인가?
• RQ2 정규화된 로그-행렬식 과정의 변동은 기능적 척도에서 어떻게 행동하는가? 그리고 그 극한 가우시안 과정은 무엇인가?
• RQ3 과정 $ \frac{1}{n} \log \det(B_{n,\lfloor nt \rfloor}^\prime B_{n,\lfloor nt \rfloor}) $ 의 대규모 이황 속도 함수는 무엇이며, 이를 성분별 LDP에서 어떻게 도출하는가?
• RQ4 바르틀렛 분해(독립 변수의 곱)에서의 결과와 스펙트럼 방법(고유값 합)에서의 결과는 어떻게 연결되는가?
• RQ5 위샤르트 케이스에서 로그-행렬식의 최종 누산트 생성 함수와 속도 함수의 정확한 형태는 무엇이며, 마르체노-파스트르 분포와의 관계는 어떻게 되는가?

주요 결과

• 정규화된 로그-행렬식 과정 $ \frac{1}{n} \log \det(B_{n,\lfloor nt \rfloor}^\prime B_{n,\lfloor nt \rfloor}) $ 는 거의 확실히 결정론적 극한 함수 $ \gamma(t) \mapsto \int_0^t \left[ \gamma(s) \log 2 + \ell(n\gamma(s) + n/2) - \ell(n/2) \right] ds $ 로 수렴한다. 여기서 $ \ell = \log \Gamma $ 이다.
• 과정은 기능적 중심극한정리를 만족하며, 스펙트럼 측도에서 유도된 공분산構조를 가진 중심화된 가우시안 과정으로 약한 수렴을 보인다.
• 과정의 대규모 이황 원리는 구형 성분과 노름 성분의 속도 함수의 인프-컨볼루션으로 주어진 양호한 속도 함수를 통해 확립된다.
• 위샤르트 집합의 경우, 최종 누산트 생성 함수는 $ \mathcal{L}^W(\gamma) = \frac{1}{2} \int_0^1 \mathcal{J}(1 + 2\gamma(t)) dt $ 이며, 여기서 $ \mathcal{J}(x) = x \log x - x + 1 $ 이고, 이는 누산트 생성 함수로부터 쌍대성에 의해 도출된다.
• 총 로그-행렬식 $ \Xi_{n,n} = \log \det(B_{n,n}^\prime B_{n,n}) $ 의 속도 함수는 $ x \geq -1 $ 에 대해 $ \lim_{n \to \infty} \frac{1}{n^2} \log \mathbb{P}(\Xi_{n,n} \geq nx) = -I_1^W(x) $ 를 만족하며, 경계점에서 두 번째 도함수가 0이 된다.
• 과정의 정확한 속도 함수 $ I_T^{(sp)} $ 는 측도에 대한 최소화를 통해 계산되며, $ \sigma^2 = 1 + 2\theta $, $ c = T / \sigma^2 $ 인 $ I_T^{(sp)}(\pi_{\sigma^2}^c) $ 를 얻는다. 이 결과는 논문의 식 (40)의 명시적 공식과 일치한다.