Entanglement-equivalences of covariant channels
Dominic Verdon
Abstract
We define two channels N and N' to be entanglement-equivalent if there exists an entanglement-assisted channel coding scheme for N from N' and vice versa. For example, the noiseless channel on a d^2-level classical system and the noiseless channel on a d-dimensional quantum system are entanglement-equivalent by teleportation and dense coding. We provide a construction of entanglement-equivalences of channels based on the principle of covariance. Let G be a compact quantum group of Kac type, let F': Rep(G) -> Hilb be a fibre functor accessible from the canonical fibre functor F: Rep(G) -> Hilb by a unitary pseudonatural transformation, and let G' be the compact quantum group of Kac type obtained from the fibre functor F' by Tannaka duality. Then for any G-covariant channel N we construct a G'-covariant channel N' and entanglement-assisted channel coding schemes witnessing an entanglement-equivalence of N and N'. This construction induces an equivalence of categories E: Chan(G) -> Chan(G'), where Chan(G) is the category whose objects are G-C*-algebras and whose morphisms are covariant channels. We show that all tight teleportation and dense coding schemes are a special case of our construction, using covariance for the action of the quantum permutation group of the algebra M_d(\mathbb{C}). Where G is a finite abelian group, we explicitly compute the effect of the equivalence E on algebras and channels. We thereby produce concrete new examples of entanglement-equivalences of channels in the case where G=Z_2 \times Z_2 and the noncanonical fibre functor is specified by the Pauli matrices.