Open quantum dynamics in a tripartite scenario including a system, its environment, and a passive reference is shown to resolve several open questions regarding not completely positive (NCP) dynamical maps as valid descriptions of open quantum evolution. The steering states of the system and the environment with respect to the reference, reduced down to a dense, compact set of states of the system alone, provide a well-defined domain of action for a bonafide dynamical map describing the open evolution of the system. The map is not restricted to being completely positive but it preserves the positivity of all states in its domain. NCP open dynamics corresponding to different initial configurations of the tripartite system are explored.
Open quantum dynamics in a tripartite scenario including a system, its environment, and a passive reference is shown to resolve several open questions regarding not completely positive (NCP) dynamical maps as valid descriptions of open quantum evolution. The steering states of the system and the environment with respect to the reference, reduced down to a dense, compact set of states of the system alone, provide a well-defined domain of action for a bonafide dynamical map describing the open evolution of the system. The map is not restricted to being completely positive but it preserves the positivity of all states in its domain. NCP open dynamics corresponding to different initial configurations of the tripartite system are explored.
Consider the set $\mathcal{S}={{\ensuremath{\rho}}_{SE}}$ of possible initial states of the system-environment, steered from a tripartite reference state ${\ensuremath{\omega}}_{RSE}$. Buscemi [F. Buscemi, Phys. Rev. Lett. 113, 140502 (2014)] showed that the reduced dynamics of the system, for each ${\ensuremath{\rho}}_{S}\ensuremath{\in}{\mathrm{Tr}}_{E}\mathcal{S}$, is always completely positive if and only if ${\ensuremath{\omega}}_{RSE}$ is a Markov state. There, during the proof, it has been assumed that the dimensions of the system and the environment can vary through the evolution. Here, we show that this assumption is necessary: we give an example for which, though ${\ensuremath{\omega}}_{RSE}$ is not a Markov state, the reduced dynamics of the system is completely positive, for any evolution of the system-environment during which the dimensions of the system and the environment remain unchanged. As our next result, we show that the result of Muller-Hermes and Reeb [A. Muller-Hermes and D. Reeb, Ann. Henri Poincare 18, 1777 (2017)], of monotonicity of the quantum relative entropy under positive maps, cannot be generalized to the Hermitian maps, even within their physical domains.
There has been a long-standing and sometimes passionate debate between physicists over whether a dynamical framework for quantum systems should incorporate not completely positive (NCP) maps in addition to completely positive (CP) maps. Despite the reasonableness of the arguments for complete positivity, we argue that NCP maps should be allowed, with a qualification: these should be understood, not as reflecting ‘not completely positive’ evolution, but as linear extensions, to a system’s entire state space, of CP maps that are only partially defined. Beyond the domain of definition of a partial-CP map, we argue, much may be permitted.
Dynamical A and B maps have been employed extensively by Sudarshan and co-workers to investigate open-system evolution of quantum systems. A canonical structure of the A map is introduced here. It is shown that this canonical A map enables us to investigate whether the dynamics is completely positive (CP) or not completely positive (NCP) in an elegant way and, hence, it subsumes the basic results on open-system dynamics. Identifying memory effects in open-system evolution is gaining increasing importance recently and, here, a criterion of non-Markovianity, based on the relative entropy of the dynamical state is proposed. The relative entropy difference of the dynamical system serves as a complementary characterization---though not related directly---to the fidelity difference criterion proposed recently. Three typical examples of open-system evolution of a qubit, prepared initially in a correlated state with another qubit (environment), and evolving jointly under a specific unitary dynamics---which corresponds to a NCP dynamical map---are investigated by employing both the relative entropy difference and fidelity difference tests of non-Markovianity. The two-qubit initial states are chosen to be (i) a pure entangled state, (ii) the Werner state, which exemplifies both entangled and separable states of qubits, depending on a real parameter, and (iii) a separable mixed state. Both the relative entropy and fidelity criteria offer a nice display of how non-Markovianity manifests itself in all three examples.
Consider an open quantum system S, interacting with its environment E, and also an ancillary Hilbert space R. The reduced dynamics of the system S is given by a completely positive map, if the set S={ρSE} , of possible initial states of the system-environment, can be written as a steered set from a tripartite Markov state ƮRSE. In this paper, we call such steered states as Markovian states ρSE, and study a physical case, in which the reduced dynamics of the system can be completely positive, even when the initial states of the system-environment ρSE are non-Markovian.
The requirement of complete positivity is very often regarded as a fundamental consistency condition for the description of open quantum dynamics. We critically examine this requirement and discuss both its physical motivations and its limitations. We analyze proposals based on restricting the domain of non-completely positive maps to subsets of compatible initial states. Using isotropic states as a concrete example, we show that such domain restrictions become increasingly severe with growing system dimension, revealing an intrinsic weakness of the compatibility-based approach.
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.