An alternative approach to superoperator transformations

Paul Mandel

J. G. Williams

Vasily Evgenevich Tarasov

Eric M. Rains

One of the fundamental concepts of quantum information theory is that of entanglement purification; that is, the transformation of a partially entangled state into a smaller-dimensional, more completely entangled state. Of particular interest are protocols for entanglement purification (EPPs) that alternate purely local operations with one- or two-way classical communication. In the present work, we consider a more general, but simpler, class of transformations, called separable superoperators. Since every EPP is a separable superoperator, bounds on separable superoperators apply as well to EPPs; we use this fact to give a new upper bound on the rate of EPPs on Bell-diagonal states, and thus on the capacity of Bell-diagonal channels.

Vasily Evgenevich Tarasov

Costin Bădescu

We propose a notion of quantum control in a quantum programming language which permits the superposition of finitely many quantum operations without performing a measurement. This notion takes the form of a conditional construct similar to the "if" statement in classical programming languages. We show that adding such a quantum "if" statement to the QPLprogramming language simplifies the presentation of several quantum algorithms. This motivates the possibility of extending the denotational semantics of QPL to include this form of quantum alternation. We give a denotational semantics for this extension of QPL based on Kraus decompositions rather than on superoperators. Finally, we clarify the relation between quantum alternation and recursion, and discuss the possibility of lifting the semantics defined by Kraus operators to the superoperator semantics defined by Selinger.