[Paper Review] Multilinear function series in conditionally free probability with amalgamation

Mihai Popa|ArXiv.org|Mar 31, 2007

Random Matrices and Applications8 references3 citations

TL;DR

This paper introduces a multilinear function series framework for the conditionally free R-transform in free probability with amalgamation, establishing positivity results and a central limit theorem. It generalizes Voiculescu's R-transform to the c-free setting using combinatorial techniques, proving the c-free R-transform is additive under c-free independence and providing a new, shorter proof of key results from prior work on R-transforms in amalgamated free probability.

ABSTRACT

As in the cases of freeness and monotonic independence, the notion of conditional freeness is meaningful when complex-valued states are replaced by positive conditional expectations. In this framework, the paper presents several positivity results, a version of the central limit theorem and an analogue of the conditionally free R-transform constructed by means of multilinear function series.

Motivation & Objective

• To extend the theory of conditionally free probability with amalgamation by introducing a multilinear function series approach to the c-free R-transform.
• To establish positivity of the c-free product maps Φ and Ψ when both expectations are conditional expectations with values in a C*-algebra.
• To prove a central limit theorem for conditionally free random variables using the multilinear function series construction.
• To provide a new, combinatorially based proof of the additivity of the c-free R-transform, generalizing results from Dykema and others.
• To demonstrate that the c-free R-transform preserves additivity under c-free independence, analogous to classical R-transform behavior.

Proposed method

• Uses a c-free product construction over a C*-algebra B with a subalgebra D, defining Φ and Ψ via recursive relations on alternating words with vanishing Ψ-expectation.
• Applies multilinear function series to define the c-free R-transform, generalizing Dykema’s approach in amalgamated free probability.
• Employs combinatorial techniques inspired by Voiculescu and Popa (2005) to analyze the structure of moments and cumulants in the c-free setting.
• Constructs a Fock space model with operators A₁ and A₂ to represent the c-free product, showing that their sum S is self-adjoint and generates the state.
• Uses dilation maps Dλτ to scale the conditional expectations and analyze the limit behavior in the central limit theorem.
• Applies the positivity of free products of states (from [9]) to show that the limiting map ν is positive, and uses Theorem 2.4 to establish positivity of μ.

Experimental results

Research questions

• RQ1 Can the c-free R-transform be constructed using multilinear function series in the context of amalgamated free probability?
• RQ2 Under what conditions is the c-free product map Φ positive when both Φ and Ψ are conditional expectations with values in a C*-algebra?
• RQ3 Does a central limit theorem hold for conditionally free random variables, and how is the limiting distribution characterized?
• RQ4 Is the c-free R-transform additive under c-free independence, and can this be proven via multilinear function series?
• RQ5 Can the results on the R-transform in amalgamated free probability be reproven more concisely using combinatorial methods in the c-free setting?

Key findings

• The c-free R-transform is additive: $^cR_{X+Y} = {}^cR_X + {}^cR_Y$ when X and Y are c-free, generalizing the classical R-transform property.
• The c-free product maps Φ and Ψ are positive when the input maps Φᵢ and Ψᵢ are positive conditional expectations with values in a C*-algebra.
• A central limit theorem holds for conditionally free random variables: the normalized sum $\frac{\xi_1 + \cdots + \xi_N}{\sqrt{N}}$ converges in distribution to a limiting state characterized by the c-free R-transform.
• The limiting maps μ and ν are positive if and only if $\Phi(Xb^*bX) \geq 0$ and $\Psi(Xb^*bX) \geq 0$ for all $b \in \mathfrak{B}$, establishing a key positivity criterion.
• The multilinear function series construction provides a shorter and more direct proof of Theorems 6.1–6.13 from Dykema (2007), using combinatorial techniques instead of Fock space methods.
• The dilation map $D_{1/\sqrt{N}}$ is used to scale the moments, and the limit of $D_{1/\sqrt{N}}\Phi_{\xi_1 + \cdots + \xi_N}$ yields the limiting conditional expectation μ, which is positive.