-freeness in finite tensor products

From MaRDI portal
Publication:343834



Abstract: In this paper, we consider the following question and variants thereof: given , a collection of elementary tensor non-commutative random variables in the tensor product of probability spaces (mathcalA1otimescdotsotimesmathcalAK,phi1otimescdotsotimesphiK), when is mathbfD ∗-free? (See Section 1.2 for a precise formulation of this problem.) Settling whether or not freeness occurs in tensor products is a recurring problem in operator algebras, and the following two examples provide a natural motivation for the above question: (A) If (a1;i:iinI) is a ∗-free family of Haar unitary variables and ak,i are arbitrary unitary variables for kgeq2, then the ∗-freeness persists at the level of the tensor product mathbfD. (B) A converse of (A) holds true if all variables ak;i are group-like elements (see Corollary 1.7 of Proposition 1.6). It is therefore natural to seek to understand the extent to which such simple characterizations hold true in more general cases. While our results fall short of a complete characterization, we make notable steps toward identifying necessary and sufficient conditions for the freeness of mathbfD. For example, we show that under evident assumptions, if more than one family (ak,i:iinI) contains non-unitary variables, then the tensor family fails to be ∗-free (see Theorem 1.8 (1)).












This page was built for publication: \({\ast}\)-freeness in finite tensor products

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q343834)