Unification of independence in quantum probability

Romuald Lenczewski

DOI: https://doi.org/10.48550/arXiv.math/0103031

2001-03-06

Abstract:For a family of unital free *-algebras with a family of states on them, we construct a sequence of noncommutative probability spaces, which are tensor product algebras with tensor product states and which approximate the free product of states in the sense of convergence of mixed moments to those of free random variables. The constructed sequence of noncommutative probability spaces is called the hierarchy of freeness with the corresponding states called m-free products of states. The first-order approximation corresponding to m=1 gives the Boolean product of states. Thus the product states for the main types of noncommutative independence can be obtained from tensor products of states. Therefore, this approach can be viewed as a unification of independence. We also show how to associate a cocommutative *-bialgebra with the m-free product of states. This approach is developed in the paper for the more general case of the conditionally free product of states and can be easily extended to families of sequences of states.

Quantum Algebra,Mathematical Physics

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to provide a unified framework for dealing with different concepts of independence in quantum probability, especially tensor independence, free independence and Boolean independence. Specifically:

1. **Unifying the concept of independence**: The goal of the paper is to show how to use the tensor product construction to uniformly handle the main types of independence (such as tensor independence, free independence and Boolean independence) in non - commutative probability. The author proposes a method to relate these types of independence to appropriately constructed *-bialgebras.

2. **Approximating the conditionally free product**: The author constructs a sequence of non - commutative probability spaces \((\tilde{A}^{(m)}, \tilde{\Phi}^{(m)})\), where \(\tilde{A}^{(m)}=\bigotimes_{l \in I}\tilde{A}_l^{\otimes m}\) and \(\tilde{\Phi}^{(m)}=\bigotimes_{l \in I}(\tilde{\phi}_l\otimes\tilde{\psi}_l^{\otimes(m - 1)})\), and defines a *-homomorphism \(j^{(m)}\) from the free product of free *-algebras to these tensor product spaces. In this way, \(\tilde{\Phi}^{(m)}\circ j^{(m)}\) converges pointwise to the state \(\ast_{l \in I}(\phi_l,\psi_l)\) of the conditionally free product.

3. **Hierarchical freeness**: For the sub - algebras \(A^{(m)} = j^{(m)}(\ast_{l \in I}A_l)\) obtained by the mapping of \(j^{(m)}\), the restricted state \(\Phi^{(m)}\) can be interpreted as an \(m\)-free product state. This sequence of non - commutative probability spaces \((A^{(m)}, \Phi^{(m)})\) is called the "hierarchy of freeness".

4. **Freeness in the limit case**: When \(m\rightarrow\infty\), these constructions can approximate free independence, that is, in the limit case, \(m\)-freeness converges to freeness.

5. **Extension to more algebras**: The paper also shows how to generalize these results to the case of infinitely many free *-algebras.

Through these methods, the paper provides a unified perspective for understanding different types of independence and shows how to use tensor product techniques to approximate and uniformly handle these concepts of independence.

### Formula summary

- **Tensor product construction**:
\[
\tilde{A}^{(m)}=\bigotimes_{l \in I}\tilde{A}_l^{\otimes m},\quad\tilde{\Phi}^{(m)}=\bigotimes_{l \in I}(\tilde{\phi}_l\otimes\tilde{\psi}_l^{\otimes(m - 1)})
\]

- ***-homomorphism mapping**:
\[
j^{(m)}:\ast_{l \in I}A_l\rightarrow\tilde{A}^{(m)}
\]

- **Conditionally free product state**:
\[
\tilde{\Phi}^{(m)}\circ j^{(m)}\xrightarrow{\text{pointwise}}\ast_{l \in I}(\phi_l,\psi_l)
\]

- **Hierarchy of freeness**:
\[
(A^{(m)}, \Phi^{(m)})=(j^{(m)}(\ast_{l \in I}A_l),\tilde{\Phi}^{(m)}|_{A^{(m)}})
\]

Through these formulas and constructions, the paper successfully unifies different types of independence within a framework and shows the relationships between them.