[논문 리뷰] Investigate Invertibility of Sparse Symmetric Matrix

Wei Feng|arXiv (Cornell University)|2017. 12. 10.

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

한 줄 요약

이 논문은 $n \times n$ 희소 대칭 랜덤 행렬 $A$가 i.i.d. 베르누이 희소성과 서브가우시안 항목을 갖는 경우, 희소성 매개수 $p \geq n^{-c}$ (입력 항목의 네 번째 모멘트에 따라 결정되는 상수 $c$에 의존)일 때 높은 확률로 가역성을 갖는다고 규명한다. 이는 대칭 희소성에 적응된 조합적 접근법과 분리 기법을 사용하여, 최소 특이값에 대한 정량적 하한을 증명한다: $s_{\text{min}}(A) > \varepsilon \sqrt{p/n}$ 이다.

ABSTRACT

In this paper, we investigate the invertibility of sparse symmetric matrices. We show that for an $n imes n$ sparse symmetric random matrix $A$ with $A_{ij} = δ_{ij} ξ_{ij}$ is invertible with high probability. Here, $δ_{ij}$s, $i\ge j$ are i.i.d. Bernoulli random variables with $\mathbb{P} \left(ξ_{ij}=1 ight) =p \ge n^{-c}$, $ξ_{ij}, i\ge j$ are i.i.d. random variables with mean 0, variance 1 and finite forth moment $M_4$, and $c$ is constant depending on $M_4$. More precisely, $$ s_{ m min} (A) > \varepsilon \sqrt{\frac{p}{n}}. $$ with high probability.

연구 동기 및 목표

• 일반적인 서브가우시안 항목 가정 하에 희소 대칭 랜덤 행렬의 정량적 가역성을 확립하기.
• 비희소 가역성 결과를 조합적 및 농도 기법을 통해 희소 대칭 케이스로 확장하기.
• 이러한 행렬에 대해 최소 특이값 $s_{\text{min}}(A)$ 에 대한 높은 확률 하한을 유도하기.
• 기존 방법이 i.i.d. 비대칭 구조에 의존하는 데 어려움을 겪는 대칭 희소성의 과제를 해결하기.

제안 방법

• 행렬 $A$를 $A_{ij} = \delta_{ij} \xi_{ij}$ 로 모델링하며, $\delta_{ij}$ 는 i.i.d. 베르누이($p$)이고 $\xi_{ij}$ 는 평균 0, 분산 1, 유한한 네 번째 모멘트를 갖는 i.i.d. 서브가우시안이다.
• 희소성 패턴 $\bm{\delta}$ 에 조건을 두어, $A$ 를 랜덤 서포트 위의 i.i.d. 항목을 갖는 랜덤 행렬로 간주한다.
• 가우시안 농도 부등식을 사용하여 $\bm{\delta}$ 에 조건부로 연산자 노름 $\|A\|$ 을 제어하며, 가우시안 측도 하에서 노름의 $\sqrt{2}$-립시츠 성질을 활용한다.
• 희소 벡터 $x$ 에 대해 $Ax$ 의 노름을 제어하기 위해 대칭 희소성에 적응된 조합적 보조정리를 사용한다.
• $\|A\|$ 의 $pn$-번째 모멘트에 마르코프 부등식을 적용하여 연산자 노름의 尾 확률를 도출한다.
• 농도 및 모멘트 경계를 조합하여 $\|A\| \leq C_{\text{op}} \sqrt{pn}$ 과 $s_{\text{min}}(A) > \varepsilon \sqrt{p/n}$ 이 높은 확률로 성립함을 보인다.

실험 결과

연구 질문

• RQ1 서브가우시안 항목 가정 하에 희소 대칭 랜덤 행렬의 가역성이 높은 확률로 성립할 수 있는가?
• RQ2 이러한 행렬에 대해 최소 특이값 $s_{\text{min}}(A)$ 의 최적 하한은 무엇인가?
• RQ3 희소성 수준 $p$ 는 대칭 랜덤 행렬의 가역성과 조건수에 어떤 영향을 미치는가?
• RQ4 비헤르미션 희소 행렬에 사용된 기법들을 대칭 케이스로 적응할 수 있는가?

주요 결과

• 입력 항목의 네 번째 모멘트에 따라 결정되는 상수 $c$ 에 대해 $p \geq n^{-c}$ 일 경우, 행렬 $A$ 는 높은 확률로 가역적이다.
• 모든 $\varepsilon > 0$ 에 대해 $s_{\text{min}}(A) > \varepsilon \sqrt{p/n}$ 이 높은 확률로 성립한다.
• 연산자 노름 $\|A\|$ 는 높은 확률로 $C_{\text{op}} \sqrt{pn}$ 으로 유계이다.
• 동일한 희소성 조건 하에서 조건수 $\sigma(A) = s_{\text{max}}(A)/s_{\text{min}}(A)$ 는 $O(n)$ 으로 유계이다.
• 조합적 방법의 대칭적 변형을 사용하여 이전의 비헤르미션 희소 행렬 연구를 대칭 케이스로 확장하였다.
• 증명은 희소성 패턴에 조건을 두고, 모멘트 추정 및 가우시안 농도를 활용하여 연산자 노름과 특이값을 제어하는 데 의존한다.