[논문 리뷰] Almost Commutative Probability Theory

R. Friedrich, John McKay|arXiv (Cornell University)|2013. 09. 24.

Random Matrices and Applications참고 문헌 9인용 수 9

한 줄 요약

이 논문은 자유 확률 이론을 임의의 교환 법칙을 만족하는 대수로 일반화하여 자유 승법 병합(convolution)의 다변수 $S$-변환의 존재성을 증명함으로써 자유 확률 이론의 두 주요 열린 문제를 해결한다. 일차원에서 자유 승법 병합이 유리 대수에서 덧셈 병합으로 감소함을 증명하고, 비가환 랜덤 변수 $n$-튜플의 자유 병합으로부터 유도되는 군들을 분류한다.

ABSTRACT

We solve two longstanding major problems in Free Probability. This is achieved by generalising the theory to one with values in arbitrary commutative algebras. We prove the existence of the multi-variable $S$-transform, and show that it is naturally realised as a faithful linear representation. Further, we prove that in dimension one, the analog of the classical relation between addition and multiplication of independent random variables holds for free random variables, if the co-domain is an algebra over the rationals. In this case the multiplicative problem can be reduced to the additive one, which is not true in dimensions greater than one. Finally, we classify the groups which arise as joint distributions of $n$-tuples of non-commutative random variables, endowed with the free convolution product, which is the binary operation that encodes the multiplication of free $n$-tuples.

연구 동기 및 목표

• 자유 확률 이론에서 다변수 $S$-변환의 존재성과 구조에 관한 장기적인 열린 문제를 해결하기 위해.
• 보이쿨레스쿠의 원래 이론을 일반화하여 임의의 교환 법칙을 만족하는 대수 위에서 자유 확률 이론의 일반적 프레임워크를 수립하기 위해.
• 특히 유리 대수에서의 일차원 자유 확률 이론에서 덧셈 병합과 승법 병합 간의 관계를 명확히 하기 위해.
• 자유 비가환 랜덤 변수 $n$-튜플의 공동 분포가 자유 병합에 의해 형성하는 군의 구조를 분류하기 위해.
• 자유 승법 병합 연산과 표준 군 연산(예: 형식적 멱급수의 곱셈) 사이의 명시적이고 계산 가능한 동형사상(이sovorphism)을 $S$-변환과 로그/지수 사상으로 제공하기 위해.

제안 방법

• 임의의 교환 법칙을 만족하는 대수 $R$에 대한 $R$-값을 가진 비가환 확률 공간으로 자유 확률 이론을 일반화한다.
• 자유 승법 병합의 충실한 선형 표현으로서 다변수 $S$-변환의 존재성을 도입하고 증명한다.
• 자유 $n$-튜플의 곱을 표현하는 핵심 연산으로 $oxtimes_{V}$-병합(박스 병합)을 사용하며, 비교형 분할을 통한 명시적 공식을 제공한다.
• 호프 대수 기법과 윌트 벡터, 대칭 함수와의 연결을 활용하여 자유 모멘트의 군 구조를 분석한다.
• 자유 승법 병합 군과 형식적 멱급수의 덧셈군 사이의 동형사상을 $S_V$-변환과 로그/지수 사상으로 수립한다.
• 모멘트 급수에 대한 $oxplus_V$ 및 $oxtimes_V$ 연산을 사용하며, $oxtimes\text{Zeta}_1$, $ ext{Moeb}_1$, $ ext{EXP}_V$ 사상으로 명시적 변환을 제공한다.

실험 결과

연구 질문

• RQ1 자유 확률 이론에서 다변수 $S$-변환은 존재하는가? 그리고 이는 자유 승법 병합의 충실한 선형 표현으로서 실현될 수 있는가?
• RQ2 일차원 자유 확률 이론에서, 공역이 $ield{Q}$-대수일 경우 자유 승법 병합 $oxtimes_V$는 덧셈 병합으로 감소하는가?
• RQ3 자유 비가환 랜덤 변수 $n$-튜플의 공동 분포가 자유 병합에 의해 형성하는 군의 구조는 무엇인가?
• RQ4 자유 승법 병합은 형식적 멱급수의 곱셈과 같은 표준 군 연산으로의 동형사상에 의해 선형화될 수 있는가?
• RQ5 $oxplus_V$ 및 $oxtimes_V$ 연산이 일반화된 대수적 환경에서 $ield{R}$-변환과 지수/로그 사상과 어떻게 관련되어 있는가?

주요 결과

• 다변수 $S$-변환은 존재하며, 임의의 교환 법칙을 만족하는 대수 위에서 자유 승법 병합 군의 충실한 선형 표현으로 실현된다.
• 일차원에서 $ield{Q}$-대수 위에서 자유 승법 병합 $oxtimes_V$는 $S_V$-변환을 통해 형식적 멱급수의 덧셈군과 동형이며, 덧셈과 곱셈 사이의 고전적 관계를 일반화한다.
• $(rak{G}^1_+(R), oxtimes_V)$ 군은 $rac{d}{dz}\text{log}$ 사상에 의해 $(ield{R}[[z]], +)$와, $ ext{EXP}_V$ 사상에 의해 $(ield{R}[[z]], imes)$와 동형이 되며, 이는 승법 문제의 완전한 선형화를 확립한다.
• $ ext{EXP}_V$ 사상은 특성 지수 성질을 만족한다: $ ext{EXP}_V( u_1 oxplus_V u_2) = \text{EXP}_V(\nu_1) \boxtimes_V \text{EXP}_V(\nu_2)$ 이고, $ ext{EXP}_V(\nu_0) = \text{Zeta}_1$ 이다.
• 모멘트가 $\theta(a) = 1_R$ 인 자유 랜덤 변수 $a$ 의 $S$-변환은 행렬 형태 $\begin{pmatrix} 1 & \frac{d}{dz}\text{log}(\tilde{S}_V(a)) \\ 0 & \field{E}_{\field{N}}(k) \\ \text{end}{pmatrix}$ 로 표현되며, 이는 $S$-변환을 선형 군에 통합한다.
• 자유 병합 하에서 $n$-튜플의 공동 분포로 형성되는 군은 아벨리안이 아닌 군으로 분류되며, 이는 $\field{R}$-변환의 박스 병합과 비교형 분할의 조합론에 의해 결정된다.