[논문 리뷰] $R$-diagonal pairs - a common approach to Haar unitaries and circular elements

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

Random Matrices and Applications참고 문헌 16인용 수 70

한 줄 요약

이 논문은 자유확률론에서 하르 유니타리와 원형 원소를 통합하는 데 쓰일 수 있는 기반으로서, 곱 $z_1z_2$와 $z_2z_1$에서 대칭적인 구조를 보이는 R-변환을 지닌 비가환 랜덤 변수 쌍인 R-대각선 쌍을 도입한다. 이러한 쌍은 자유곱에 대해 닫혀 있으며, 계수에 대한 단순한 공식을 통해 R-대각선 구조를 유지함으로써 자유확률론에서 새로운 R-대각선 쌍을系통적으로 구성할 수 있다.

ABSTRACT

In the free probability theory of Voiculescu two of the most frequently used *-distributions are those of a Haar unitary and of a circular element. We define an $R$-diagonal pair as a generalization of these distributions by the requirement that their two-dimensional $R$-transform (or free cumulants) have a special diagonal form. We show that the class of such $R$-diagonal pairs has an absorption property under nested multiplication of free pairs. This implies that in the polar decomposition of such an element the polar part and the absolute value are free. Our calculations are based on combinatorial statements about non-crossing partitions, in particular on a canonical bijection between the set of intervals of NC(n) and the set of 2-divisible partitions in NC(2n). In a forthcoming paper the theory of $R$-diagonal pairs will be used to solve the problem of the free commutator.

연구 동기 및 목표

• 자유확률론에서 하르 유니타리와 원형 원소의 자유확률적 행동을 동일한 구조적 프레임워크를 통해 통합하기 위해.
• R-변환의 $z_1z_2$와 $z_2z_1$ 항에서 대칭적인 형태를 통해 R-대각선 쌍을 정의하고 특성화하기 위해.
• R-대각선 쌍이 자유곱에 대해 닫혀 있음을 증명하고, 이를 통해 그 적용 범위를 확장하기 위해.
• 비교적 교차하지 않는 분할과 형식적 멱급수에 대한 별 연산을 사용한 조합론적 기반을 마련하여 주요 결과를 도출하기 위해.
• 특히 $C^*$- 및 $W^*$-확률 공간 내에서 $(up, (up)^*)$ 형태의 R-대각선 쌍이 다수 존재함을 보여주기 위해.

제안 방법

• 논문은 비가환 랜덤 변수 쌍의 결합분포를 분석하기 위해 비교적 교차하지 않는 분할 $NC(n)$를 통한 R-변환의 조합론적 기술을 사용한다.
• 이전 결과 [10]을 일반화하기 위해 $n$-튜플의 자유곱을 모델링하기 위해 형식적 멱급수 연산 $\star$를 도입한다.
• 핵심 기술적 도구는 $NC(n)$의 간격과 $NC(2n)$의 2-나누어지는 분할 사이의 표준적 전단사 사상으로, 이는 계수 계산을 용이하게 한다.
• 분석은 $h$-수용 가능성과 $\varepsilon$-교차하는 분할 개념에 기반하여 R-변환 전개에서 비영인 기여를 분리한다.
• $(a_1,a_2)$가 R-대각선 쌍이고 $(p_1,p_2)$가 자유쌍일 때, $(a_1p_1, p_2a_2)$도 여전히 R-대각선 쌍이며, 새로운 계수에 대한 계산 가능한 공식을 증명한다.
• 증명 기법은 비교적 교차하지 않는 분할 $\sigma$의 구조에 대한 경우 분석을 포함하며, $\sigma$가 $\varepsilon$-교차하는 조건을 충족하지 않거나 $h$-수용 가능하지 않으면 기여가 사라짐을 보이고, 유효한 경우에 대해 명시적인 계수 공식을 유도한다.

실험 결과

연구 질문

• RQ1 하르 유니타리와 원형 원소는 자유확률론에서 동일한 비가환 랜덤 변수의 클래스에 포함될 수 있으며, 이들의 행동을 통합적으로 묘사할 수 있는 공통의 구조적 기술이 존재하는가?
• RQ2 비가환 랜덤 변수 쌍의 $R$-변환은 $z_1z_2$와 $z_2z_1$ 항에서 대칭적인 형태를 띠는가? 이는 그들의 분포에 어떤 함의를 갖는가?
• RQ3 R-대각선 쌍의 집합은 자유곱에 대해 닫혀 있는가? 만약 그렇다면, 결과로 생기는 계수는 명시적으로 계산할 수 있는가?
• RQ4 비교적 교차하지 않는 분할에 대해 어떤 조합론적 조건이 R-대각선 쌍의 R-변환에 비영인 기여를 보장하는가?
• RQ5 형식적 멱급수에 대한 $\star$-연산은 R-대각선 구조의 맥락에서 $n$-튜플의 자유곱을 어떻게 표현하는가?

주요 결과

• 하르 유니타리 쌍 $(u, u^*)$의 $R$-변환은 $\sum_{k=1}^\infty \frac{(-1)^{k+1}(2k-2)!}{(k-1)!k!} (z_1z_2)^k + \sum_{k=1}^\infty \frac{(-1)^{k+1}(2k-2)!}{(k-1)!k!} (z_2z_1)^k$ 형태를 가지며, 이는 대칭적인 구조를 드러낸다.
• 원형 원소 쌍 $(c, c^*)$의 $R$-변환은 $z_1z_2 + z_2z_1$로 단순화되며, 최소한의 대칭 형태이다.
• R-대각선 쌍 $(x,y)$는 $\sum_{k=1}^\infty \alpha_k (z_1z_2)^k + \sum_{k=1}^\infty \alpha_k (z_2z_1)^k$ 형태의 $R$-변환을 지닌다. 이는 하르 유니타리와 원형 원소의 경우를 일반화한다.
• $(a_1,a_2)$가 R-대각선 쌍이고 $\{a_1,a_2\}$, $\{p_1,p_2\}$가 자유쌍일 때, $(a_1p_1, p_2a_2)$도 R-대각선 쌍이며, 그 계수에 대한 계산 가능한 공식이 존재한다.
• 새로운 쌍의 $R$-변환에서 $(z_1z_2)^k$의 계수는 $h$-수용 가능성과 $\varepsilon$-교차하는 조건을 만족하는 비교적 교차하지 않는 분할의 블록들에 대한 곱으로 결정된다.
• 증명은 분할 $\sigma$가 동시에 $h$-수용 가능하고 $\varepsilon$-교차하는 조건을 충족하지 않으면 기여가 사라지며, 이 조건을 충족할 경우 계수는 각 구성 쌍의 $R$-변환 계수의 곱으로 주어진다.