[论文解读] Eta-series and a Boolean Bercovici-Pata bijection for bounded k-tuples

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

Random Matrices and Applications参考文献 9被引用 4

一句话总结

该论文通过引入一种将自由加法卷积线性化的 η-级数变换，建立了有界 k 元非交换随机变量的多变量布尔 Bercovici–Pata 双射。证明了无限可分分布的 R-变换与所有有界 k 元组分布的 η-级数一致，从而实现了双射 B: D_c(k) → D_c^{inf-div}(k)，满足 R_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.

研究动机与目标

• 将单变量布尔 Bercovici–Pata 双射推广至有界 k 元非交换随机变量的多变量情形。
• 将无限可分分布的 R-变换集合表征为通过新变换作用于 η-级数的像集。
• 建立双射 B: D_c(k) → D_c^{inf-div}(k)，使得 R_B(μ) = η_μ，推广单变量情形。
• 证明该双射与自由乘法卷积相容，即在代数框架 D_alg(k) 中有 η_μ×ν = η_μ ⋆ η_ν。

提出的方法

• 定义 η-级数 η_μ = M_μ / (1 + M_μ)，其中 M_μ 是分布 μ ∈ D_c(k) 的矩级数。
• 证明无限可分 k 元组分布的 R-变换集合等于所有有界 k 元组分布的 η-级数集合。
• 通过条件 R_B(μ) = η_μ 构造双射 B: D_c(k) → D_c^{inf-div}(k)。
• 通过证明 R_B(μ×ν) = R_B(μ) ⋆ R_B(ν) 来建立 B 与自由乘法卷积的相容性，该式等价于 η_μ×ν = η_μ ⋆ η_ν。
• 利用非交叉划分与 Kreweras 余补的组合恒等式，验证 η-级数 ⋆-积的卷积恒等式。
• 利用 R-变换的线性化性质以及 R-变换与 η-级数之间的对偶性，推导出主要函数方程。

实验结果

研究问题

• RQ1 能否将布尔 Bercovici–Pata 双射从单变量情形推广至有界 k 元非交换随机变量的多变量情形？
• 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 能否利用非交叉划分的组合结构证明 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 定义的级数运算。
• 证明依赖于一个涉及非交叉划分的组合恒等式：N′(σ, τ) = N′′(σ, τ)，该恒等式被证明等价于 τ ≤ K(σ) 且 P_τ(n) = P_σ^{-1}(1)。
• 定义变换 Reta，当 f = R_μ 时有 Reta(f) = η_μ，满足 Reta(f ⋆ g) = Reta(f) ⋆ Reta(g)，从而确立了 ⋆-积的同态性质。