Reduction of free independence to tensor independence

Abstract

We show how to reduce free independence to tensor independence in the strong sense. We construct a suitable unital *-algebra of closed operators `affiliated' with a given unital *-algebra and call the associated closure `monotone'. Then we prove that monotone closed operators of the form $$X^{\prime }=\sum _{k=1}^{\infty }X(k)\bar{\otimes }{p}_k,X^{\prime \prime }=\sum _{k=1}^{\infty }{p}_k\bar{\otimes }X(k)$$ are free with respect to a tensor product state, where $X(k)$ are tensor independent copies of a random variable $X$ and $(p_k)$ is a sequence of orthogonal projections. For unital free *-algebras, we construct a monotone closed analog of a unital *-bialgebra called a `monotone closed quantum semigroup' which implements the additive free convolution, without using the concept of dual groups.

23 pages, latex, no figures, new abstract and introduction

References in corpus (1)

• Filtered random variables, bialgebras and convolutions