[논문 리뷰] Operator valued random matrices and asymptotic freeness

Weihua Liu|arXiv (Cornell University)|2018. 06. 13.

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

한 줄 요약

이 논문은 랜덤 행렬의 연산자 값 부여된 항목을 갖는 경우에 비에쿨루스쿠의 渐近 자유성 정리의 연산자 값 부여된 버전을 수립한다. 조건부 독립성과 모멘트 조건 하에서 그들의 공동 분포는 연산자 값 부여된 반원 법칙으로 수렴함을 보여준다. 또한 부울 독립성에 대응하는 결과를 증명하여, 한계 법칙이 연산자 값 부여된 베르누이 법칙임을 밝히며, 자유 확률론을 비스칼라 기대값을 갖는 행렬 모델로 확장한다.

ABSTRACT

We show that the limit laws of random matrices, whose entries are conditionally independent operator valued random variables having equal second moments proportional to the size of the matrices, are operator valued semicircular laws. Furthermore, we prove an operator valued analogue of Voiculescu's asymptotic freeness theorem. By replacing conditional independence with Boolean independence, we show that the limit laws of the random matrices are Operator-valued Bernoulli laws.

연구 동기 및 목표

• 기대값이 복소수 대신 C*-대수에서 값이 나오는 연산자 값 부여된 설정으로 비에쿨루스쿠의 渐近 자유성 정리를 확장한다.
• 조건부 독립성 하에서 연산자 값 부여된 항목을 갖는 랜덤 행렬의 한계 법칙을 수립하여, 연산자 값 부여된 반원 분포로 수렴함을 보인다.
• 프레임워크를 부울 독립성으로 일반화하여, 이러한 행렬이 연산자 값 부여된 베르누이 법칙으로 수렴함을 증명한다.
• 무작위 행렬 이론과 연산자 값 부여된 자유 확률론을 통합하여, 비스칼라 맥락에서의 渐近 자유성 결과를 도출한다.
• 양자 정보 및 반바운드 대수에서의 응용을 위한 연산자 값 부여된 무작위 행렬 모델에 대한 확률론적 기초를 제공한다.

제안 방법

• 입력이 조건부 독립이며 평균이 0이고 두 번째 모멘트가 1/n에 비례하는 자기수반 연산자 값 부여된 무작위 행렬의 가족을 정의한다.
• C*-대수 B에 값이 나오는 조건부 기대값을 사용하여 두 번째 모멘트의 구조를 정의하며, E[a(i,j;s,n)·a(j,i;s,n)]가 1/n에 비례하는 완전히 양의 정의적인 사상임을 요구한다.
• 항의 곱에 대한 모멘트 경계를 도입하여, n→∞일 때 균일하게 감소함을 보장하며, 상수는 항의 수에만 의존한다.
• 특히 비교접 분할과 간격 쌍 분할을 사용한 자유 확률론의 조합 기법을 적용하여 점점 커지는 모멘트를 계산한다.
• 색인 집합과 커널 분할의 구조를 분석하여 공동 모멘트의 수렴을 확립하며, 한계에서 오직 간격 쌍 분할만 기여한다는 단순화를 활용한다.
• 적절한 조건 하에서 인덱스 튜플 위의 기대값 정규화 합이 부울 독립 베르누이 변수의 모멘트 공식으로 수렴함을 보여 주어 주요 결과를 증명한다.

실험 결과

연구 질문

• RQ1 비에쿨루스쿠의 渐近 자유성 정리를 복소수 대신 C*-대수에서 값이 나오는 조건부 기대값을 갖는 연산자 값 부여된 무작위 행렬로 일반화할 수 있는가?
• RQ2 조건부 독립성과 모멘트 스케일링 하에서 연산자 값 부여된 항목을 갖는 무작위 행렬의 한계 스펙트럼 분포는 무엇인가?
• RQ3 비교접 분할과 간격 쌍 분할의 구조는 연산자 값 부여된 맥락에서 점점 커지는 공동 모멘트를 어떻게 지배하는가?
• RQ4 조건부 독립성이 부울 독립성으로 대체될 경우 행렬 모델에서 한계 법칙은 어떻게 되는가?
• RQ5 연산자 값 부여된 무작위 행렬이 어떤 조건에서 부울 독립 베르누이 무작위 변수의 집합으로 수렴하는가?

주요 결과

• 조건부 독립성을 갖는 연산자 값 부여된 무작위 행렬의 공동 분포는 주어진 모멘트 및 유계 조건 하에서 연산자 값 부여된 반원 법칙으로 수렴한다.
• 부울 독립성을 갖는 행렬의 한계 법칙은 연산자 값 부여된 베르누이 법칙이며, 간격 쌍 분할을 포함하는 특정한 모멘트 공식으로 특징지어진다.
• 연산자 값 부여된 맥락에서 점점 커지는 자유성이 성립한다: 항목이 조건부 독립일 경우 한계 공동 모멘트는 자유 독립 무작위 변수의 것과 일치한다.
• 핵심 기술적 결과는 점점 커지는 모멘트 계산에서 오직 간격 쌍 분할만 기여하며, 나머지 모든 분할은 n이 매우 클 때 사라진다.
• 행렬 곱의 정규화된 트레이스의 수렴이 한계 연산자 값 부여된 분포의 모멘트 공식과 일치함을 보였으며, 오차 항은 n→∞일 때 사라진다.
• 결과는 고전적인 점점 커지는 자유성을 비스칼라 기대값으로 확장하여, 연산자 값 부여된 구조를 갖는 비가환 확률론 연구를 위한 프레임워크를 제공한다.