Entanglement-breaking channels with general outcome operator algebras

Abstract

A unit-preserving and completely positive linear map, or a channel, $Λ\colon \mathcal{A} \to \mathcal{A}_{\mathrm{in}}$ between $C^\ast$-algebras $\mathcal{A}$ and $\mathcal{A}_{\mathrm{in}}$ is called entanglement-breaking (EB) if $ω\circ( Λ\otimes \mathrm{id}_{\mathcal{B}} ) $ is a separable state for any $C^\ast$-algebra $\mathcal{B}$ and any state $ω$ on the injective $C^\ast$-tensor product $\mathcal{A}_{\mathrm{in}} \otimes \mathcal{B} .$ In this paper, we establish the equivalence of the following conditions for a channel $Λ$ with a quantum input space and with a general outcome $C^\ast$-algebra, generalizing known results in finite dimensions: (i) $Λ$ is EB; (ii) $Λ$ has a measurement-prepare form (Holevo form); (iii) $n$ copies of $Λ$ are compatible for all $2 \leq n < \infty ;$ (iv) countably infinite copies of $Λ$ are compatible. By using this equivalence, we also show that the set of randomization-equivalence classes of normal EB channels with a fixed input von Neumann algebra is upper and lower Dedekind-closed, i.e. the supremum or infimum of any randomization-increasing or decreasing net of EB channels is also EB. As an example, we construct an injective normal EB channel with an arbitrary outcome operator algebra $\mathcal{M}$ acting on an infinite-dimensional separable Hilbert space by using the coherent states and the Bargmann measure.