[논문 리뷰] Rectangular random matrices, related free entropy and free Fisher's information

Florent Benaych-Georges|arXiv (Cornell University)|2005. 12. 04.

Random Matrices and Applications인용 수 14

한 줄 요약

이 논문은 단위 불변성 하에, 수렴하는 특이법률을 요구하지 않고, 직사각형 랜덤 행렬에 대해 가환 유한차원 대수 𝒟에 대한 합성에 의한 점근 자유성을 확립한다. 미세 상태 기반 자유 엔트로피와 쌍대 변수 기반 자유 피셔 정보를 도입하여, 핵과 범위 사영원소가 𝒟에 속하는 연산자에 대해 분석하고, 마르첸코-파스트르 분포가 자유 엔트로피를 최대화하고 크래머-라오 부등식에서 등호를 만족함을 보이며, 요소들이 𝒟에 대해 합성에 의한 자유를 이룰 때 정확히 가역성이 성립함을 밝힌다.

ABSTRACT

We prove that independent rectangular random matrices, when embedded in a space of larger square matrices, are asymptotically free with amalgamation over a commutative finite dimensional subalgebra $D$ (under an hypothesis of unitary invariance). Then we consider elements of a finite von Neumann algebra containing $D$, which have kernel and range projection in $D$. We associate them a free entropy with the microstates approach, and a free Fisher's information with the conjugate variables approach. Both give rise to optimization problems whose solutions involve freeness with amalgamation over $D$. It could be a first proposition for the study of operators between different Hilbert spaces with the tools of free probability. As an application, we prove a result of freeness with amalgamation between the two parts of the polar decomposition of $R$-diagonal elements with non trivial kernel.

연구 동기 및 목표

• 유한차원 가환부분대수 𝒟를 갖는 바나흐 대수 프레임워크를 통해 서로 다른 힐베르트 공간 사이의 연산자에 자유확률 도구를 확장하기 위해.
• 핵과 범위 사영원소가 𝒟에 속하는 W*-확률공간 내 N-튜플 원소에 대한 미세 상태 기반 자유 엔트로피를 정의하기 위해.
• 해당 원소에 대해 쌍대 변수 기반 자유 피셔 정보를 구성하고, 그 성질을 규명하기 위해.
• 고정된 트레이스 노름과 𝒟 내 사영원소를 갖는 원소들 중에서 마르첸코-파스트르 분포가 자유 엔트로피를 최대화함을 보여주기 위해.
• 자유 피셔 정보의 가역성이 𝒟에 대해 합성에 의한 자유를 이루는 것과 동치임을 증명하기 위해.

제안 방법

• 블록 대각 또는 비대각 임bedding을 통해 직사각형 랜덤 행렬을 더 큰 정사각형 행렬로 포함시어 𝒟-행동을 정의하기 위해.
• 단위 불변성과 점근 분석을 이용하여, 독립적인 직사각형 행렬이 점근적으로 𝒟에 대한 합성에 의한 자유를 이룸을 증명하기 위해.
• 핵과 범위가 𝒟에 속하는 원소들의 공동 분포를 근사하는 직사각형 행렬 튜플의 체적의 점근 로그로 미세 상태 자유 엔트로피를 정의하기 위해.
• 비-미세 상태 접근법에서 쌍대 변수를 이용하여 자유 피셔 정보를 구성하고, 크래머-라오 부등식 프레임워크를 활용하기 위해.
• 변수변환 공식과 유니터리 군 위의 미분형식을 사용하여 자코비안과 푸시포워드 측도를 계산하기 위해.
• 기존의 고유값 분포 및 하르 측도 결과를 활용하여 푸시포워드 측도의 밀도를 유도하고, 체적 계산에서 상수 C=1을 확인하기 위해.

실험 결과

연구 질문

• RQ1 독립적인 직사각형 랜덤 행렬이 어떤 조건에서 가환 유한차원 대수 𝒟에 대한 합성에 의한 점근 자유성을 갖는가?
• RQ2 다른 힐베르트 공간 사이의 연산자에 대해, 핵과 범위 사영원소가 𝒟에 속하는 것으로 표현된 경우, 자유 엔트로피의 적절한 일반화는 무엇인가?
• RQ3 고정된 트레이스 노름과 𝒟 내 사영원소를 갖는 원소들 중에서 어떤 분포가 미세 상태 자유 엔트로피를 최대화하는가?
• RQ4 자유 피셔 정보의 가역성은 어떻게 행동하며, 𝒟에 대한 합성에 의한 자유와의 관계는 무엇인가?
• RQ5 마르첸코-파스트르 분포가 주어진 제약 조건 하에서 자유 엔트로피의 유일한 최대화자이자 피셔 정보의 최소화자로 특징지어질 수 있는가?

주요 결과

• 단위 불변성 하에, 특이법률 수렴을 가정하지 않더라도, 독립적인 직사각형 랜덤 행렬이 𝒟에 대한 합성에 의한 점근 자유성을 갖는다.
• 미세 상태 자유 엔트로피는 하향 가역성이 있으며, 요소들이 𝒟에 대해 합성에 의한 자유를 이룰 때 정확히 가역성이 성립한다.
• 핵과 범위 사영원소가 𝒟에 속하고 φ(aa*) ≤ φ(q)를 만족하는 모든 원소들 중에서, q𝒜q 내에서 aa*의 분포가 마르첸코-파스트르일 때 자유 엔트로피가 최대가 된다.
• 자유 피셔 정보는 크래머-라오 부등식을 만족하며, 등호는 aa*의 분포가 마르첸코-파스트르일 때 정확히 성립한다.
• 자유 피셔 정보의 가역성은 요소들이 𝒟에 대해 합성에 의한 자유를 이룰 때 정확히 성립하며, 이는 두 개념 간의 이중성 관계를 확립한다.
• 레베그 측도의 매트릭스 매개변수화에 의한 푸시포워드 측도는 밀도가 Δ(a)² ∏a_j^{q′−q}에 비례하며, 정규화 상수 C는 정확히 1이다.