[논문 리뷰] Eta-series and a Boolean Bercovici-Pata bijection for bounded k-tuples

Serban T. Belinschi, Alexandru Nica|ArXiv.org|2006. 08. 25.

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

한 줄 요약

이 논문은 비가환 랜덤 변수의 유계 k-튜플에 대해 다변량 부울 Bercovici–Pata 대응을 정의하기 위해 자유 덧셈 병합을 선형화하는 η-시리즈 변환을 도입함으로써, 이를 통해 R-변환과 자유 곱셈 병합의 관계를 규명한다. 무한히 나누어지는 분포의 R-변환이 모든 유계 k-튜플 분포의 η-시리즈와 일치함을 증명함으로써, R_B(μ) = ι_μ를 만족하는 D_c(k) → D_c^{inf-div}(k)의 대응 B를 정의하고, 이 대응이 자유 곱셈 병합을 유지함을 보이며, ι_μ×ν = ι_μ ⋆ ι_ν 를 만족함을 증명한다.

ABSTRACT

On the space of (non-commutative) distributions of k-tuples of selfadjoint elements in a $C^*$-probability space $D_c(k)$, one has an operation $\freeplus$ of free additive convolution, and one can consider the subspace $D_c^{inf-div}$ of distributions which are infinitely divisible with respect to this operation. The linearizing transform for free additive convolution is the R-transform. Thus, one has $R_{μ\freeplusν}=R_μ+R_ν$. The eta-series $η_μ$ is the counterpart of $R_μ$ in the theory of Boolean convolution. We prove that the space of eta-series of distributions belonging to $D_c(k)$ coincides with the space of R-transforms of distributions which are infinitely divisible with respect to free additive convolution. As a consequence of this fact, one can define a bijection $B : D_c(k) o D_c^{inf-div}$ via the formula $R_{B(μ)} = η_μ$, for all distributions $μ$ in $D_c(k)$. We show that $B$ is a multi-variable analogue of a bijection studied by Bercovici and Pata for k=1, and we prove a theorem about convergence in moments which parallels the Bercovici-Pata result. On the other hand we prove the formula $B(μ\freetimesν) = B(μ) \freetimes B(ν),$ with $μ,ν$ considered in a space $D^{alg}(k)$ containing $D_c (k)$ where the operation of free multiplicative convolution $\freetimes$ always makes sense. An equivalent reformulation for this equality is that $η_{μ\freetimesν}=η_μ \freestar η_ν,$ for all $μ,ν\in D^{alg}(k)$. This shows that, in a certain sense, eta-series behave in the same way as R-transforms in connection to the operation of multiplication of free k-tuples of non-commutative random variables.

연구 동기 및 목표

• 비가환 랜덤 변수의 유계 k-튜플에 대해 단변량 부울 Bercovici–Pata 대응을 다변량 설정으로 일반화하는 것.
• 무한히 나누어지는 분포의 R-변환 집합이 새로운 변환에 의해 η-시리즈의 이미지로 특징지어지는지 확인하는 것.
• R_B(μ) = ι_μ 를 만족하는 D_c(k) → D_c^{inf-div}(k)의 대응 B를 정의하여 단변량 사례를 일반화하는 것.
• 이 대응이 자유 곱셈 병합을 유지함을 증명하여, 대수적 프레임워크 D_alg(k) 내에서 ι_μ×ν = ι_μ ⋆ ι_ν 를 보여주는 것.

제안 방법

• 분포 μ ∈ D_c(k)의 모멘트 시리즈 M_μ에 대해 ι_μ = M_μ / (1 + M_μ) 로 η-시리즈 ι_μ 를 정의한다.
• 무한히 나누어지는 k-튜플 분포의 R-변환 집합이 모든 유계 k-튜플 분포의 η-시리즈 집합과 일치함을 증명한다.
• 조건 R_B(μ) = ι_μ 를 통해 D_c(k) → D_c^{inf-div}(k)의 대응 B를 구성한다.
• R_B(μ×ν) = R_B(μ) ⋆ R_B(ν) 를 증명함으로써 B가 자유 곱셈 병합과 호환됨을 확립하며, 이는 ι_μ×ν = ι_μ ⋆ ι_ν 와 동치임을 의미한다.
• 비교적 교차하지 않는 파artition와 Kreweras 보완을 포함한 조합 항등식을 사용하여 ⋆-곱의 병합 항등식을 검증한다.
• R-변환의 선형성과 R-변환과 ι-시리즈 사이의 이중성에 기반하여 주요 함수 방정식을 유도한다.

실험 결과

연구 질문

• RQ1 비가환 랜덤 변수의 유계 k-튜플에 대해 단변량 부울 Bercovici–Pata 대응을 다변량 설정으로 일반화할 수 있는가?
• RQ2 D_c^{inf-div}(k) 내에서 무한히 나누어지는 분포의 R-변환 집합이 정확히 D_c(k) 내 모든 분포의 ι-시리즈 집합인가?
• RQ3 R_B(μ) = ι_μ 를 만족하는 대응 B: D_c(k) → D_c^{inf-div}(k) 가 자유 곱셈 병합의 구조를 유지하는가?
• RQ4 ι-시리즈는 자유 곱셈 병합 하에서 어떻게 행동하는가? 그리고 R-변환의 행동을 반영하는 자연스러운 ι-시리즈 연산이 존재하는가?
• RQ5 비교적 교차하지 않는 파artition의 조합 구조를 사용하여 μ, ν ∈ D_alg(k) 에 대해 항등식 ι_μ×ν = ι_μ ⋆ ι_ν 를 증명할 수 있는가?

주요 결과

• 무한히 나누어지는 k-튜플 분포의 R-변환 집합은 모든 유계 k-튜플 분포의 ι-시리즈 집합과 일치한다. 즉, {R_μ | μ ∈ D_c^{inf-div}(k)} = {ι_μ | μ ∈ D_c(k)} 이다.
• R_B(μ) = ι_μ 를 만족하는 맵 B: D_c(k) → D_c^{inf-div}(k) 는 잘 정의된 대응이며, 단변량 부울 Bercovici–Pata 맵을 일반화한다.
• 대응 B는 자유 곱셈 병합을 유지한다. 즉, 모든 μ, ν ∈ D_alg(k) 에 대해 B(μ × ν) = B(μ) × B(ν) 이다.
• 모든 μ, ν ∈ D_alg(k) 에 대해 ι_μ×ν = ι_μ ⋆ ι_ν 이다. 여기서 ⋆ 는 Nica와 Speicher에 의해 정의된 시리즈에 대한 연산이다.
• 증명은 비교적 교차하지 않는 파artition를 포함한 조합 항등식 N′(σ, τ) = N′′(σ, τ) 에 기반하며, 이는 조건 τ ≤ K(σ) 와 P_τ(n) = P_σ^{-1}(1) 과 동치임을 보여준다.
• f = R_μ 일 때 Reta(f) = ι_μ 로 정의되는 변환 Reta 는 Reta(f ⋆ g) = Reta(f) ⋆ Reta(g) 를 만족하여, ⋆-곱에 대한 준동형 성질을 보인다.