Abstract. In this paper, we consider the following question and variants thereof: given D := a 1;i ⊗· · ·⊗a K;i : i ∈ I , a collection of elementary tensor non-commutative random variables in the tensor product of probability spaces (when is D * -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 (a 1;i : i ∈ I) is a * -free family of Haar unitary variables and a k,i are arbitrary unitary variables for k ≥ 2, then the * -freeness persists at the level of the tensor product D. (B) A converse of (A) holds true if all variables a k;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 D. For example, we show that under evident assumptions, if more than one family (a k,i : i ∈ I) contains non-unitary variables, then the tensor family fails to be * -free (see Theorem 1.8 (1)).
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.