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.
The problem of conditions on the initial correlations between the system and the environment that lead to completely positive (CP) or not-completely positive (NCP) maps has been studied by various authors. Two lines of study may be discerned: one concerned with families of initial correlations that induce CP dynamics under the application of an arbitrary joint unitary on the system and environment; the other concerned with specific initial states that may be highly entangled. Here we study the latter problem, and highlight the interplay between the initial correlations and the unitary applied. 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.
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.
We expand the set of initial states of a system and its environment that are known to guarantee completely positive reduced dynamics for the system when the combined state evolves unitarily. We characterize the correlations in the initial state in terms of its quantum discord [1]. We prove that initial states that have only classical correlations lead to completely positive reduced dynamics. The induced maps can be not completely positive when quantum correlations including, but not limited to, entanglement are present.
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.
A quantum system which evolves in time while interacting with an external environ- ment is said to be an open quantum system (OQS), and the influence of the environment on the unperturbed unitary evolution of the system generally leads to non-unitary dynamics. This kind of open system dynamical evolution has been typically modeled by a Standard Prescription (SP) which assumes that the state of the OQS is initially uncorrelated with the environment state. It is here shown that when a minimal set of physically motivated assumptions are adopted, not only does there exist constraints on the reduced dynamics of an OQS such that this SP does not always accurately describe the possible initial cor- relations existing between the OQS and environment, but such initial correlations, and even entanglement, can be witnessed when observing a particular class of reduced state transformations termed purity extractions are observed. Furthermore, as part of a more fundamental investigation to better understand the minimal set of assumptions required to formulate well defined reduced dynamical quantum maps, it is demonstrated that there exists a one-to-one correspondence between the set of initial reduced states and the set of admissible initial system-environment composite states when G-consistency is enforced. Given the discussions surrounding the requirement of complete positivity and the reliance on the SP, the results presented here may well be found valuable for determining the ba- sic properties of reduced dynamical maps, and when restrictions on the OQS dynamics naturally emerge.
We show that the dynamics of any open quantum system that is initially correlated with its environment can be described by a set of
d2 (or less) completely positive maps, where
d is the dimension of the system. Only one such map is required for the special case of no initial correlations. The same maps describe the dynamics of any system-environment state obtained from the initial state by a local operation on the system. The reduction of the system dynamics to a set of completely positive maps allows known numerical and analytic tools for uncorrelated initial states to be applied to the general case of initially correlated states, which we exemplify by solving the qubit dephasing model for such states, and provides a natural approach to quantum Markovianity for this case. We show that this set of completely positive maps can be experimentally characterized using only local operations on the system, via a generalization of noise spectroscopy protocols. As further applications, we first consider the problem of retrodicting the dynamics of an open quantum system which is in an arbitrary state when it becomes accessible to the experimenter and explore the conditions under which retrodiction is possible. We also introduce a related one-sided or limited-access tomography protocol for determining an arbitrary bipartite state, evolving under a sufficiently rich Hamiltonian, via local operations and measurements on just one component. We simulate this protocol for a physical model of particular relevance to nitrogen-vacancy centers and in particular show how to reconstruct the density matrix of a set of three qubits, interacting via dipolar coupling and in the presence of local magnetic fields, by measuring and controlling only one of them.