[논문 리뷰] On the multiplication of free $n$-tuples of non-commutative random variables

Alexandru Nica, Roland Speicher|ArXiv.org|1996. 04. 30.

Random Matrices and Applications참고 문헌 7인용 수 8

한 줄 요약

이 논문은 비가환 확률 공간에서 자유인 $n$-튜플 $\{a_1, \dots, a_n\}$ 과 $\{b_1, \dots, b_n\}$에 대해 곱 $n$-튜플 $(a_1b_1, \dots, a_nb_n)$ 의 공동분포에 대한 조합적 공식을 수립한다. $n$-차원 $R$-변환을 사용하여, 곱의 공동분포가 개별 공동분포에 의해 결정됨을 보이며, 반원형 원소에 의한 좌/우 이동과 프로젝션에 의한 압축과 같은 응용을 포함한다.

ABSTRACT

Let $a_{1},...,a_{n}, b_{1},...,b_{n}$ be random variables in some (non-commutative) probability space, such that $\{a_{1}, ..., a_{n} \}$ is free from $\{b_{1}, ..., b_{n} \}$. We show how the joint distribution of the $n$-tuple $(a_{1} b_{1}, ..., a_{n} b_{n})$ can be described in terms of the joint distributions of $(a_{1}, ..., a_{n})$ and $(b_{1}, >..., b_{n})$, by using the combinatorics of the $n$-dimensional $R$-transform. We point out a few applications that can be easily derived from our result, concerning the left-and-right translation with a semicircular element (see Sections 1.6-1.10) and the compression with a projection (see Sections 1.11-1.14) of an $n$-tuple of non-commutative random variables. A different approach to two of these applications is presented by Dan Voiculescu in an Appendix to the paper.

연구 동기 및 목표

• 자유인 $n$-튜플 $\{a_1, \dots, a_n\}$ 과 $\{b_1, \dots, b_n\}$ 에 대해 곱 $n$-튜플 $(a_1b_1, \dots, a_nb_n)$ 의 공동분포에 대한 정확한 공식을 유도하는 것.
• 고차원 $R$-변환을 사용하여 자유 확률 이론을 비가환 랜덤 변수의 다변량 곱으로 확장하는 것.
• 자유 확률에서 좌/우 이동과 프로젝션에 의한 압축과 같은 연산을 분석하기 위한 체계적인 프레임워크를 제공하는 것.
• 스칼라 자유 곱셈 콘볼루션을 $n$-튜플 설정으로 일반화하는 조합적 접근을 제공하는 것.

제안 방법

• 저자들은 비가환 랜덤 변수의 공동분포를 코딩하기 위해 다변량 자유 $R$-변환의 일반화인 $n$-차원 $R$-변환을 사용한다.
• 비교적 교차하지 않는 분할의 조합론을 $n$-차원에서 사용하여 곱 $n$-튜플의 모멘트와 개별 $n$-튜플의 모멘트를 연결한다.
• 두 $n$-튜플 간의 자유성 조건을 이용하여 곱의 공동분포를 입력의 공동분포로부터 분리하는 데 의존한다.
• 핵심 계산은 입력 $n$-튜플의 $R$-변환에 대한 함수적 변환으로서 곱 $n$-튜플의 $R$-변환을 표현하는 것이다.
• 자유 확률에서 알려진 연산, 예를 들어 반원형 원소에 의한 이동과 프로젝션에 의한 압축에 대한 응용을 통해 방법의 타당성을 검증한다.
• 다른 유형의 유도를 제공하는 덧붙임에서 단 비쿠레스크는 두 응용에 대해 별도의 유도를 제시하여 결과의 탄탄함을 강화한다.

실험 결과

연구 질문

• RQ1 비가환 확률 공간에서 자유인 $\{a_1, \dots, a_n\}$ 과 $\{b_1, \dots, b_n\}$ 에 대해 곱 $n$-튜플 $(a_1b_1, \dots, a_nb_n)$ 의 공동분포는 어떻게 계산할 수 있는가?
• RQ2 $n$-차원 $R$-변환은 자유 $n$-튜플의 곱셈 콘볼루션을 기술하는 데 어떤 역할을 하는가?
• RQ3 좌/우 반원형 원소에 의한 이동과 프로젝션에 의한 압축과 같은 연산은 비가환 랜덤 변수의 $n$-튜플 공동분포에 어떻게 영향을 미치는가?
• RQ4 고차원에서의 비교적 교차하지 않는 분할을 사용하여 다변량 자유 곱셈 콘볼루션을 조합적으로 특성화할 수 있는가?
• RQ5 입력 $n$-튜플의 $R$-변환과 곱 $n$-튜플의 $R$-변환 사이의 정확한 관계는 무엇인가?

주요 결과

• 곱 $n$-튜플 $(a_1b_1, \dots, a_nb_n)$ 의 공동분포는 $n$-차원 $R$-변환을 통해 $(a_1, \dots, a_n)$ 과 $(b_1, \dots, b_n)$ 의 공동분포에 의해 완전히 결정된다.
• 곱 $n$-튜플의 $R$-변환은 다변량 비교적 교차하지 않는 분할의 조합론을 사용하여 입력 $n$-튜플의 $R$-변환의 함수적 변환으로 얻어진다.
• 자유성 조건 하에서 입력의 모멘트로부터 곱 $n$-튜플의 모멘트를 명시적으로 계산할 수 있다.
• 좌/우 반원형 원소에 의한 이동과 프로젝션에 의한 압축과 같은 응용은 주요 공식에서 직접 유도된다.
• 결과는 자유 확률 이론의 알려진 결과와 일치하며, 덧붙임에서 단 비쿠레스크는 두 응용에 대해 별도의 유도를 제공한다.
• 이 프레임워크는 스칼라 자유 곱셈 콘볼루션을 다변량 설정으로 일반화하여 비가환 $n$-튜플을 분석하기 위한 새로운 도구를 제공한다.