[논문 리뷰] Berry-Esseen bounds and moderate deviations for the norm, entries and spectral radius of products of positive random matrices

Hui Xiao, Ion Grama외 1명|arXiv (Cornell University)|2020. 10. 01.

Random Matrices and Applications참고 문헌 24인용 수 6

한 줄 요약

이 논문은 i.i.d. 양의 랜덤 행렬의 곱에 대한 연산자 노름, 행렬 원소, 스펙트럼 반경에 대해 Berry-Esseen 경계와 Cramér 유형의 중간 편차 전개를 수립한다. 노름 코시클에서 행렬 노름과 스펙트럼 양에까지 결과를 확장함으로써, 모멘트와 정규성 조건 하에서 비점근 수렴 속도와 정밀한 꼬리 근사값을 제공하며, 랜덤 행렬 곱 이론에서 핵심적인 격차를 메운다.

ABSTRACT

Let $(g_{n})_{n\geq 1}$ be a sequence of independent and identically distributed positive random $d imes d$ matrices and consider the matrix product $G_n: = g_n \ldots g_1$. Under suitable conditions, we establish the Berry-Esseen bounds on the rate of convergence in the central limit theorem and moderate deviation expansions of Cramér type, for the matrix norm $\| G_n \|$ of $G_n$, for its $(i,j)$-th entry $G_n^{i,j}$, and the and for its spectral radius $ρ(G_n)$.

연구 동기 및 목표

• 양의 i.i.d. 랜덤 행렬의 곱에 대한 연산자 노름, 원소, 스펙트럼 반경에 대한 점근적이지 않은 정규 근사 경계를 유도하여 문헌의 격차를 메우는 것.
• 기존의 노름 코시클과 마코프 체인 이론을 행렬 노름과 스펙트럼 양에까지 확장하여, 수렴 속도와 꼬리 행동이 정량화되도록 보장하는 것.
• 적절한 모멘트와 정규성 조건 하에서 $ \|G_n\| $, $ G_n^{i,j} $, $ \rho(G_n) $에 대해 $ O(1/\sqrt{n}) $ 속도를 갖는 Berry-Esseen 경계와 Cramér 유형의 중간 편차 전개를 수립하는 것.
• 비교 보조정리와 Collatz-Wielandt 공식을 통해, 동일한 모멘트 조건 하에서 행렬 노름, 원소, 스펙트럼 반경의 점근적 분산과 리아풀로프 지수 $ \lambda $가 일致함을 증명하는 것.

제안 방법

• 최근의 노름 코시클 $ \log|G_n x| $ 에 대한 결과를 활용하여 $ \|G_n\| $ 에 대한 Berry-Esseen 경계를 유도하고, 성분이 모두 양수인 벡터 $ x $ 를 사용하여 $ \|G_n\| $ 와 $ |G_n x| $ 를 비교하는 방식으로 진행한다.
• 비율 $ \mathbb{P}(\log\|G_n\| - n\lambda \geq y\sigma\sqrt{n}) / (1 - \Phi(y)) $ 를 분석하여 중간 편차 전개를 수립하고, 이 비율이 $ \exp(y^3 / \sqrt{n} \cdot \zeta(y/\sqrt{n})) $ 로 수렴하며 오차가 $ O((y+1)/\sqrt{n}) $ 임을 보인다.
• 민코프스키 부등식을 사용하여 $ \log\|G_n\| $, $ \log|G_n x| $, $ \log G_n^{i,j} $ 의 두 번째 모멘트를 비교하고, 분산의 차이가 $ O(1/n) $ 속도로 사라짐을 증명한다.
• Collatz-Wielandt 공식을 적용하여 $ \rho(G_n) $ 를 원소와 노름과 연결하고, $ \|G_n\| $, $ \rho(G_n) $, $ \langle e_i, G_n e_j \rangle $ 간의 비교를 가능하게 한다.
• 같은 행렬 열의 원소들이 유사함을 보장하는 정규성 조건을 도입하여, $ \log G_n^{i,j} $ 가 $ \log|G_n e_j| $ 에 대해 제어 가능함을 확보한다.
• 집중 부등식과 지수 모멘트 경계를 사용하여 꼬리 확률을 제어하고, 특히 $ b_n $-스케일링과 $ k $-절단을 통해 중간 편차 상하한을 증명하는 데 활용한다.

실험 결과

연구 질문

• RQ1 양의 랜덤 행렬의 곱에 대해 연산자 노름 $ \|G_n\| $, 원소 $ G_n^{i,j} $, 스펙트럼 반경 $ \rho(G_n) $ 에 대해 $ O(1/\sqrt{n}) $ 속도를 갖는 Berry-Esseen 경계를 수립할 수 있는가?
• RQ2 Cramér 유형의 중간 편차 전개가 $ \|G_n\| $, $ G_n^{i,j} $, $ \rho(G_n) $ 에 대해 성립하는가? 그리고 지수 보정 항의 정확한 형태는 무엇인가?
• RQ3 동일한 모멘트 조건 하에서 $ \log\|G_n\| $, $ \log G_n^{i,j} $, $ \log\rho(G_n) $ 의 점근적 분산은 상호간에 어떻게 관련되어 있으며, 리아풀로프 지수 $ \lambda $ 와 어떻게 관련되는가?
• RQ4 양수 성분을 갖는 벡터 $ x $ 를 사용하여 $ \|G_n\| $ 의 행동을 $ |G_n x| $ 와 비교함으로써 얼마나 잘 제어할 수 있으며, 이는 원소와 스펙트럼 반경으로 어떻게 확장되는가?

주요 결과

• 논문은 다음과 같은 형태의 Berry-Esseen 경계를 수립한다: $ \sup_{y\in\mathbb{R}} \left| \mathbb{P}\left( \frac{\log\|G_n\| - n\lambda}{\sigma\sqrt{n}} \leq y \right) - \Phi(y) \right| \leq \frac{C}{\sqrt{n}} $, 이는 행렬 노름에 대해 $ O(1/\sqrt{n}) $ 수렴 속도를 증명한다.
• Cramér 유형의 중간 편차 전개가 유도되었으며, $ \frac{\mathbb{P}\left( \frac{\log\|G_n\| - n\lambda}{\sigma\sqrt{n}} \geq y \right)}{1 - \Phi(y)} = \exp\left( \frac{y^3}{\sqrt{n}} \zeta\left( \frac{y}{\sqrt{n}} \right) \right) \left[1 + O\left( \frac{y+1}{\sqrt{n}} \right) \right] $ 이다. 이는 $ y \in [0, o(\sqrt{n})) $ 에서 균일하게 성립한다.
• $ \log\|G_n\| $, $ \log G_n^{i,j} $, $ \log\rho(G_n) $ 의 점근적 분산이 모두 동일한 $ \sigma^2 $ 로 수렴하며, $ \frac{1}{n} \mathbb{E}[(\log\|G_n\| - n\lambda)^2 - (\log|G_n x| - n\lambda)^2] \to 0 $ 이다. $ n \to \infty $ 일 때 성립한다.
• 원소 $ G_n^{i,j} $ 에 대해 $ \log G_n^{i,j} $ 의 분산이 $ \log|G_n e_j| $ 와 점근적으로 동일함을 보였으며, 민코프스키 부등식과 행렬 원소에 대한 정규성 조건을 통해 오차가 제어됨을 보였다.
• 스펙트럼 반경 $ \rho(G_n) $ 는 $ \frac{1}{n} \mathbb{E}[(\log\rho(G_n) - n\lambda)^2 - (\log\|G_n\| - n\lambda)^2] \to 0 $ 을 만족하며, Collatz-Wielandt 공식과 노름 비교를 통해 유도되었다.
• 더 강한 모멘트와 정규성 조건 하에서 결과는 원소와 스펙트럼 반경으로 확장되었으며, 행렬 노름과 동일한 수렴 속도와 전개 형태를 유지한다.