[논문 리뷰] Laws of large numbers for eigenvectors and eigenvalues associated to random subspaces in a tensor product

Serban T. Belinschi, Benoı̂t Collins외 1명|arXiv (Cornell University)|2010. 08. 18.

Random Matrices and Applications참고 문헌 27인용 수 14

한 줄 요약

이 논문은 복소수 텐서곱 공간 $\mathbb{C}^k \otimes \mathbb{C}^n$ 의 균일한 랜덤 부분공간에 속하는 랜덤 벡터의 특이값에 대한 대수의 법칙을 수립한다. $n \to \infty$ 일 때, 구현 가능한 특이값 튜플의 집합은 거의 확실히 결정론적 볼록집합 $K_{k,t}$ 로 수렴함을 보여준다. $K_{k,t}$ 의 특성화는 자유 확률론에서 유도된 새로운 노름을 통해 이루어지며, 이 노름은 $\ell^1$ 과 $\ell^\infty$ 노름 사이를 보간한다. 이는 양자 정보 이론과 랜덤 행렬 고유벡터의 점근적 성질에 응용된다.

ABSTRACT

Given two positive integers $n$ and $k$ and a parameter $t\in (0,1)$, we choose at random a vector subspace $V_{n}\subset \mathbb{C}^{k}\otimes\mathbb{C}^{n}$ of dimension $N\sim tnk$. We show that the set of $k$-tuples of singular values of all unit vectors in $V_n$ fills asymptotically (as $n$ tends to infinity) a deterministic convex set $K_{k,t}$ that we describe using a new norm in $\R^k$. Our proof relies on free probability, random matrix theory, complex analysis and matrix analysis techniques. The main result result comes together with a law of large numbers for the singular value decomposition of the eigenvectors corresponding to large eigenvalues of a random truncation of a matrix with high eigenvalue degeneracy.

연구 동기 및 목표

• 고정된 차원 $N \sim t n k$ 를 가진 $\mathbb{C}^k \otimes \mathbb{C}^n$ 의 랜덤 부분공간에서 단위 벡터의 특이값 튜플이 점차적으로 나타날 수 있는 집합을 규명하는 것.
• 랜덤 부분공간의 점근적 특이값 행동을 특성화하여, 오랫동안 남아있던 양자 정보 이론에서 엔트로피의 비가환성 문제를 해결하는 것.
• 큰 랜덤 행렬 절단의 고유벡터에 대한 대수의 법칙을 수립하여, 그 특이값 분해가 결정론적 극한으로 수렴함을 보이는 것.
• 자유 확률론에서 유래된 $\mathbb{R}^k$ 에서의 새로운 노름을 도입하고 분석하여 점근적 특이값 지지집합 $K_{k,t}$ 를 특성화하는 것.

제안 방법

• 저자들은 자유 확률론, 랜덤 행렬 이론, 복소해석학의 도구를 사용하여 고정된 차원 $N \sim t n k$ 를 가진 랜덤 부분공간에서 특이값의 점근적 행동을 분석한다.
• 하아거룹과 토르비어니센의 스펙트럴 측도 수렴 결과를 랜덤 프로젝션의 경우로 확장하여 기초적인 기술적 결과를 확립한다.
• $K_{k,t}$ 의 특성화는 $\mathbb{R}^k$ 에서의 새로운 노름 $\|\cdot\|_{(t)}$ 를 통해 정의된 볼록체 $A$ 의 쌍대체 $A^*$ 를 통해 이루어지며, 이 노름은 $\ell^1$ 과 $\ell^\infty$ 노름 사이를 보간한다.
• 주요 정리의 증명은 두 부분으로 구성된다: 첫째, $K_{k,t}$ 밖의 특이값 튜플은 점차적으로 불가능함을 보이고, 둘째, $K_{k,t}$ 의 내부 점들은 높은 확률로 실현 가능함을 보인다.
• 두 번째 포함관계는 랜덤 행렬 절단의 고유벡터의 점근적 결정론성에 관한 새로운 결과에 기반하며, $\nu_n$-번째로 큰 고유값에 대응하는 고유벡터의 특이값 분해가 거의 확실히 결정론적 극한으로 수렴함을 보여준다.

실험 결과

연구 질문

• RQ1 균일한 랜덤 부분공간에서 차원 $N \sim t n k$ 를 가진 $\mathbb{C}^k \otimes \mathbb{C}^n$ 의 단위 벡터에서 점차적으로 나타날 수 있는 양의 실수 $k$-튜플은 무엇인가?
• RQ2 점근적 특이값 지지집합은 상수 $k$ 와 상대적 차원 $t$ 에 따라 어떻게 달라지는가?
• RQ3 큰 랜덤 행렬 절단의 고유벡터는 구조적인 점근적 행동을 보일 수 있으며, 만약 그렇다면 그들의 점근적 특이값 분해는 무엇에 의해 결정되는가?
• RQ4 특이값 점근 지지집합을 묘사하는 볼록집합 $K_{k,t}$ 의 정확한 기하학적 구조는 무엇이며, 자유 확률론과 어떤 관계가 있는가?

주요 결과

• 점근적으로 실현 가능한 특이값 튜플의 집합은 정확히 컴팩트한 볼록집합 $K_{k,t} \subset \mathbb{R}^k_+$ 이며, 이는 표준 단체 $\Delta_k$ 와 $\mathbb{R}^k$ 에서의 새로운 노름 $\|\cdot\|_{(t)}$ 로 정의된 볼록체 $A$ 의 쌍대체 $A^*$ 의 교차이다.
• 만약 $t < \frac{1}{k}$ 이면, 집합 $K_{k,t}$ 는 점, 선분, 또는 초평면인 노출된 면을 가지며, 이의 경계 구조는 $\|\cdot\|_{(t)}$ 의 단위구의 미끄러움에 의해 결정된다.
• 만약 $t < 1 - \frac{1}{k}$ 이면, $K_{k,t}$ 는 $\Delta_k^\downarrow$ 의 비퇴화된 방향과의 교차가 싱글턴이 되며, 이는 그러한 방향으로 유일한 점근적 특이값 프로파일이 존재함을 의미한다.
• 랜덤 행렬 절단 $Z_n = \Pi_n (A \otimes I_n) \Pi_n$ 의 고유벡터는 특이값 분해에서 거의 확실히 결정론적 극한으로 수렴하며, 고유벡터에 대한 대수의 법칙을 수립한다.
• 노름 $\|\cdot\|_{(t)}$ 는 $\ell^1$ 과 $\ell^\infty$ 노름 사이를 보간하며, 균일 측도와 이산 측도의 자유 덧셈 콘볼루션을 통해 정의되며, 이는 랜덤 행렬 모델의 점근 스펙트럴 성질을 반영한다.
• 만약 $t > \frac{k-1}{k}$ 이면, 집합 $K_{k,t}$ 는 전체 단체 $\Delta_k$ 와 일치하며, 이는 합이 1인 감소하는 양의 실수 $k$-튜플이 모두 점근적으로 실현 가능함을 의미한다.