The title may be a bit misleading. Perhaps, "On the Complete Positivity of Reduced Quantum Dynamics," would be a more fitting title. Determining whether or not completely positive (CP) maps are required to describe open system quantum dynamics is an extremely important issue concerning the fundamental mathematical foundations of QM, as well as many other areas of physics. it had been typically believed that only CP maps actually describe the dynamical evolution of open quantum systems, however there has been speculation as to whether this is a strict constraint on the mathematical and physical structure of stochastic quantum dynamical maps. The objective of this thesis is to demonstrate that given a particular unitary operator, an initial system state, a final system state, and the dimension of the environment state, there exists no CP map with a composite system-environment, product initial state that is compatible with the given constraints on the reduced quantum dynamics of the system under investigation.
Quantum systems which interact with an unknown environment cannot be described in terms of a unitary evolution on the system alone. For such evolution one can use a map from one density operator to another and use any other known information to model the system. Such maps are required to be positive (at least on their domain) — they take positive density operators to positive density operators — so as to be physically reasonable. A map [Formula: see text] which is positive but not completely positive (CP) is one which takes positive operators to positive operators, but when extended by the identity [Formula: see text], i.e. [Formula: see text] does not give a positive map for some [Formula: see text]. The map is CP if and only if the extension is positive for all [Formula: see text]. Recently some effort has been put forth to try to understand if, and/or, under what circumstances one might utilize a non-CP map. Here, after a tutorial-type introduction to maps from one density operator to another, some examples which do not fit the standard prescription (SP) for deriving a CP map are given. In cases where the physical system is constrained by some knowledge of the interaction, it is possible that the SP cannot be used directly. Our example is robust to changes in the initial and final conditions.
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.
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.
The reduced dynamics of an open quantum system
S, interacting with its environment
E, is not completely positive, in general. In this paper, we demonstrate that if the two following conditions are satisfied, simultaneously, then the reduced dynamics is completely positive: (1) the reduced dynamics of the system is linear, for arbitrary system-environment unitary evolution
U; and (2) the reduced dynamics of the system is linear, for arbitrary initial state of the system ${\ensuremath{\rho}}_{S}$.
Abstract In open quantum systems, it is known that if the system and environment are in a product state, the evolution of the system is given by a linear completely positive (CP) Hermitian map. CP maps are a subset of general linear Hermitian maps, which also include non completely positive (NCP) maps. NCP maps can arise in evolutions such as non-Markovian evolution, where the CP divisibility of the map (writing the overall evolution as a composition of CP maps) usually fails. Positive but NCP maps are also useful as entanglement witnesses. In this paper, we focus on transforming an initial NCP map to a CP map through composition with the asymmetric depolarizing map. We use separate asymmetric depolarizing maps acting on the individual subsystems. Previous work have looked at structural physical approximation (SPA), which is a CP approximation of an NCP map using a mixture of the NCP map with a completely depolarizing map. We prove that the composition can always be made CP without completely depolarizing in any direction. It is possible to depolarize less in some directions. We give the general proof by using the Choi matrix and an isomorphism from a maximally entangled two qudit state to a set of qubits. We also give measures that describe the amount of disturbance the depolarization introduces to the original map. Given our measures, we show that asymmetric depolarization has many advantages over SPA in preserving the structure of the original NCP map. Finally, we give some examples. For some measures and examples, completely depolarizing (while not necessary) in some directions can give a better approximation than keeping the depolarizing parameters bounded by the required depolarization if symmetric depolarization is used.