Maps that are not completely positive (CP) are often useful to describe the dynamics of open systems. An apparent violation of complete positivity can occur because there are prior correlations of the principal system with the environment, or if the applied transformation is correlated with the state of the system. We provide a physically motivated definition of accessible non-CP maps and derive two necessary conditions for a map to be accessible. We also show that entanglement between the system and the environment is not necessary to generate a non-CP dynamics. We describe two simple approximations that may be sufficient for some problems in process tomography, and then outline what these methods may be able to tell us in other situations where non-CP dynamics naturally arise.
We address the problem of quantum process tomography with the preparators producing states correlated with the environmental degrees of freedom that play role in the system-environment interactions. We discuss the physical situations, in which the dynamics is described by nonlinear, or noncompletely positive transformations. In particular, we show that arbitrary mapping
ϱin→ϱout can be realized by using appropriate set of preparators and applying the unitary operation SWAP. The experimental ``realization'' of perfect NOT operation is presented. We address the problem of the verification of the compatibility of the preparator devices with the estimating process. The evolution map describing the dynamics in arbitrary time interval is known not to be completely positive, but still linear. The tomography and general properties of these maps are discussed.
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.
A system interacting with its environment will give rise to a quantum evolution. After tracing over the environment the net evolution of the system can be described by a linear Hermitian map. It has recently been shown that a necessary and sufficient condition for this evolution to be completely positive is for the initial state to have vanishing quantum discord. In this paper, we provide a sufficient condition for the map to be positive with respect to the initial system-environment correlation. This could lead to ways in which to identify positive but not completely positive maps. Illustrative examples and suggestive procedures are also provided.
For an open quantum system to evolve under CPTP maps, assumptions are made on the initial correlations between the system and the environment. Hermitian-preserving trace-preserving (HPTP) maps are considered as the local dynamic maps beyond CPTP. In this paper, we provide a succinct answer to the question of what physical maps are in the HPTP realm by two approaches. The first is by taking one step out of the CPTP set, which provides us with Semi-Positivity (SP) TP maps. The second way is by examining the physicality of HPTP maps, which leads to Semi-Nonnegative (SN) TP maps. Physical interpretations and geometrical structures are studied for these maps. The non-CP SPTP maps
Ψ correspond to the quantum non-Markovian process under the CP-divisibility definition (
Ψ=Ξ∘Φ−1, where
Ξ and
Φ are CPTP). When removing the invertibility assumption on
Φ, we land in the set of SNTP maps. A by-product of set relations is an answer to the following question -- what kind of dynamics the system will go through when the previous dynamic
Φ is non-invertible. In this case, the only locally well-defined maps are in
SN\SP, they live on the boundary of
SN. Otherwise, the non-local information will be irreplaceable in the system's dynamic. With the understanding of physical maps beyond CPTP, we prove that the current quantum error correction scheme is still sufficient to correct quantum non-Markovian errors. In some special cases, lack of complete positivity could provide us with more error correction methods with less overhead.
The description of the dynamics of an open quantum system in the presence of initial correlations with the environment needs different mathematical tools than the standard approach to reduced dynamics, which is based on the use of a time-dependent completely positive trace preserving (CPTP) map. Here, we take into account an approach that is based on a decomposition of any possibly correlated bipartite state as a conical combination involving statistical operators on the environment and general linear operators on the system, which allows one to fix the reduced-system evolution via a finite set of time-dependent CPTP maps. In particular, we show that such a decomposition always exists, also for infinite dimensional Hilbert spaces, and that the number of resulting CPTP maps is bounded by the Schmidt rank of the initial global state. We further investigate the case where the CPTP maps are semigroups with generators in the Gorini-Kossakowski-Lindblad-Sudarshan form; for two simple qubit models, we identify the positivity domain defined by the initial states that are mapped into proper states at any time of the evolution fixed by the CPTP semigroups.