We derive a necessary condition for the existence of a completely-positive, linear, trace-preserving map which deterministically transforms one finite set of pure quantum states into another. This condition is also sufficient for linearly-independent initial states. We also examine the issue of quantum coherence, that is, when such operations maintain the purity of superpositions. If, in any deterministic transformation from one linearly-independent set to another, even a single, complete superposition of the initial states maintains its purity, the initial and final states are related by a unitary transformation.
Usually models for quantum computations deal with unitary gates on pure states. In this paper we generalize the usual model. We consider a model of quantum computations in which the state is an operator of density matrix and the gates are quantum operations, not necessarily unitary. A mixed state (operator of density matrix) of n two-level quantum systems is considered as an element of
4n-dimensional operator Hilbert space. Unitary quantum gates and nonunitary quantum operations for n-qubit system are considered as generalized quantum gates acting on mixed state. In this paper we study universality for quantum computations by quantum operations on mixed states.
In the simplest approximation, the reduced dynamics of a quantum system
S interacting with its environment
E is considered to be given by a completely positive map. But, in general, this is not the case. In fact, the reduced dynamics of the system in not even linear, in general. Whether the reduced dynamics is linear or not is determined by two factors: the set of possible initial states of the system-environment $\mathcal{S}=\left\lbrace ρ_{SE} \right\rbrace $, and the joint system-environment unitary evolution
U. When
U is factorisable as
U=US⊗UE, then we can choose
S=D, where
D is the set of all system-environment density operators. In other words, when
U is factorisable, the reduced dynamics of the system
S is linear (in fact unitary) for arbitrary initial state of the system-environment
ρSE. We show that this result cannot be generalized to any non-factorisable
U: For any non-factorisable unitary evolution of the whole system-environment
U, the set
S must be chosen as a proper subset of
D to achieve linear reduced dynamics. As a byproduct, considering a convex set of possible initial states of the system-environment
S such that
TrE S=TrE D, we show that when the reduced dynamics of the system, for one system-environment unitary evolution
U1, is positive, but not completely positive, this implies that reduced dynamics is not linear for another
U2.
We study the physical quantum resources required to implement general quantum operations, and provide bounds on the minimum possible size which an environment must be in order to perform certain quantum operations. We prove that contrary to a previous conjecture, not all quantum operations on a single qubit can be implemented with a single-qubit environment, even if that environment is initially prepared in a mixed state. We show that a mixed single-qutrit environment is sufficient to implement a special class of operations, the generalized depolarizing channels.
Abstract In this chapter we visit the ‘church of the larger Hilbert space’: we take a closer look at the relationship of pure and mixed quantum states via purification, and discuss a similar connection between completely positive and trace-preserving (CPTP) maps and unitary dynamics on a larger Hilbert space. We show that such CPTP maps, which represent quantum channels, are equivalent to operations admitting a Kraus decomposition, as well as to unitary dynamics on a larger Hilbert space with factoring initial condition, the famous Stinespring dilation of quantum operations. In this context we introduce the Choi-Jamiołkowski isomorphism, which expresses a duality between maps between two Hilbert spaces and states on tensor products of these Hilbert spaces, and we review several important examples of quantum channels such as the dephasing channel, amplitude-damping channel, and depolarizing channel. Finally, we examine operations that are not possible in quantum theory, focusing on the no-cloning theorem.
It is now increasingly realized in the study of open system dynamics that initial correlations do not pose a conceptual difficulty as traditionally believed. A similar methodology as used to describe initial product states can be adopted, with the only difference being that the reduced dynamics is possibly not completely positive, entailing that only a restricted set of initial reduced states lead to a physically valid dynamics. Here we study the interplay between the initial correlations, especially in the form of highly entangled states, and the system–environment unitary. In particular, for almost any initial entangled state, one can furnish infinitely many joint unitaries that generate CP dynamics on the system. Restricting to the case of initial, pure entangled states, we obtain the scaling of the dimension of the set of these unitaries and show that it is of zero measure in the set of all possible interaction unitaries.