Faithfulness of bi-free product states

Abstract

Given a non-trivial family of pairs of faces of unital C*-algebras where each pair has a faithful state, it is proved that if the bi-free product state is faithful on the reduced bi-free product of this family of pairs of faces then each pair of faces arises as a minimal tensor product. A partial converse is also obtained.