[논문 리뷰] Decompositions of the free additive convolution

Romuald Lenczewski|arXiv (Cornell University)|2006. 08. 10.

Random Matrices and Applications참고 문헌 14인용 수 4

한 줄 요약

이 논문은 단조성과 자유 덧셈 병합을 하위 순서 함수를 통해 연결하는 새로운 연산인 수직 병합을 소개한다. 컴 pact하게 지지된 측도에 대해 연속 분수 표현을 통한 역 Cauchy 변환의 반복 표현을 사용하여 자유 덧셈 병합 $\mu\boxplus\nu$ 의 교차 분해를 유도하며, 자유 중심모멘트나 R-변환을 사용하지 않고도 계산이 가능하게 하고, 그래프 곱과 비교적 비가환 독립 유형 간의 연결 고리를 설정한다.

ABSTRACT

We introduce and study a new type of convolution of probability measures called the orthogonal convolution, which is related to the monotone convolution. Using this convolution, we derive alternating decompositions of the free additive convolution of compactly supported probability measures in free probability. These decompositions are directly related to alternating decompositions of the associated subordination functions. In particular, they allow us to compute free additive convolutions of compactly supported measures without using free cumulants or R-transforms. In simple cases, representations of the corresponding Cauchy transforms as continued fractions are obtained in a natural way. Moreover, this approach establishes a clear connection between convolutions and products associated with the main notions of independence (free, monotone and boolean) in noncommutative probability. Finally, our result leads to natural decompositions of the free product of rooted graphs.

연구 동기 및 목표

• 모노톤과 자유 덧셈 병합을 연결하는 새로운 병합 연산인 수직 병합을 개발하기 위해.
• 콤팩트하게 지지된 측도에 대해 자유 덧셈 병합 $\mu\boxplus\nu$ 의 명시적이고 교차하는 분해를 제공하기 위해.
• 자유 병합 병합 계산에서 자유 중심모멘트나 R-변환에 의존하지 않도록 하기 위해.
• 스펙트럼 측도를 통한 자유 곱과 루트 그래프 이론의 곱 간의 직접적 연결을 설정하기 위해.
• 역 Cauchy 변환과 하위 순서 함수를 통한 자유, 모노톤, 불리안 병합의 통합 처리를 위해.

제안 방법

• 하위 순서 함수를 통해 모노톤 병합과 자유 병합을 연결하는 수직 병합을 도입한다.
• 병합을 대수적으로 표현하기 위해 역 Cauchy 변환 $F_{\mu}(z) = 1/G_{\mu}(z)$ 를 사용한다.
• 하위 순서 함수를 포함한 $F_{\mu}$, $F_{\nu}$ 의 반복 병합을 통해 $F_{\mu\boxplus\nu}(z)$ 의 교차 분해를 도출한다.
• 하위 순서 항등식 $F_{\mu\boxplus\nu}(z) = F_{\mu}(F_1(z)) = F_{\nu}(F_2(z))$ 와 $F_1(z) + F_2(z) - z = F_{\mu\boxplus\nu}(z)$ 를 적용한다.
• 반복 하위 순서를 연속 분수 형태로 표현하는 $\mu \vdash_n \nu$ 를 통한 재귀적 분해를 설정한다.
• 재귀적 구조를 자코비 수열과 연속 분수로 표현하기 위해 $K$-변환 $K_{\mu}(z) = F_{\mu}(z) - z$ 를 사용한다.

실험 결과

연구 질문

• RQ1 자유 덧셈 병합 $\mu\boxplus\nu$ 는 자유 중심모멘트나 R-변환 없이 분해될 수 있는가?
• RQ2 자유 병합의 하위 순서 함수는 모노톤 및 불리안 병합의 교차 병합과 어떻게 관련되어 있는가?
• RQ3 역 Cauchy 변환이 자유 병합을 연속 분수 형태로 표현하는 데 어떤 역할을 하는가?
• RQ4 이러한 분해는 자유 곱의 루트 그래프 스펙트럼 측도와 어떻게 관련되어 있는가?
• RQ5 수직 병합 연산은 자유, 모노톤, 불리안 병합의 처리를 통합할 수 있는가?

주요 결과

• 자유 덧셈 병합 $\mu\boxplus\nu$ 는 $w$-극한을 통한 $\mu\vartriangleright(\nu\vdash_n\mu)$ 와 $((\mu\vdash_n\nu)\uplus(\nu\vdash_n\mu))$ 의 교차 분해를 갖는다. 이는 콤팩트하게 지지된 측도에 대해 유효하다.
• 명시적인 연속 분수 표현식 $F_{\mu\boxplus\nu}(z) = F_{\mu}(z - K_{\nu}(z - K_{\mu}(z - \cdots)))$ 가 도출되어 직접 계산이 가능하다.
• 평균 $\alpha$ 와 분산 $\omega$ 를 가진 Wigner 측도 $\mu$ 에 대해 $J(\mu\boxplus\mu) = ((2\alpha, 2\alpha, \ldots), (2\omega, 2\omega, \ldots))$ 이며, 이는 스펙트럼 두 배화를 확인한다.
• 루트 그래프의 자유 곱 ${\cal G}_1 * {\cal G}_2$ 는 ${\cal G}_1 \vartriangleright ({\cal G}_2 \vdash ({\cal G}_1 \vdash \cdots))$ 와 $({\cal G}_1 \vdash \cdots) \star ({\cal G}_2 \vdash \cdots)$ 로 분해되며, 이는 콤비와 스타 곱과 연결된다.
• 분해 $\mu\boxplus\delta_a = \mu_a$ 가 성립한다. 여기서 $\mu_a$ 는 자코비 수열 $((\alpha_0 + a, \alpha_1 + a, \ldots), \omega)$ 를 갖는 이동 측도이며, 점 질량과의 자유 병합에서의 이동 불변성을 보여준다.
• 특정 $F_{\mu}$ 와 $F_{\nu}$ 에 대해 대수적 관계 $F_{\mu\boxplus\nu}(z) = F_{\mu}(F_{\nu\boxright\mu}(z)) - \alpha - \omega / F_{\nu\boxright\mu}(z)$ 가 도출되어 단순한 경우의 명시적 계산이 가능하다.