We analyze the relation between completely positive (CP) divisibility and the lack of information backflow for an arbitrary-not necessarily invertible-dynamical map. It is well known that CP divisibility always implies a lack of information backflow. Moreover, these two notions are equivalent for invertible maps. In this Letter, it is shown that for a map which is not invertible the lack of information backflow always implies the existence of a completely positive propagator which, however, needs not be trace preserving. Interestingly, for a wide class of image nonincreasing dynamical maps, this propagator becomes trace preserving as well, and hence, the lack of information backflow implies CP divisibility. This result sheds new light into the structure of the time-local generators giving rise to CP-divisible evolutions. We show that if the map is not invertible then positivity of dissipation/decoherence rates is no longer necessary for CP divisibility.
We prove the equivalence between two approaches to the characterisation of quantum Markovianity, divisibility and lack of information backflow. We show that a dynamical map is completely-positive-divisible if and only if a monotonic non-increase of distinguishability is observed for two equiprobable states of the evolving system and an ancilla. Moreover our proof is constructive for invertible dynamical maps: given any such a map that is not completely-positive-divisible, we give an explicit construction of two states that exhibit information backflow. Finally, while an ancilla is necessary for the equivalence to hold in general, we show that it is always possible to witness the non-Markovianity of maps without using any entanglement between system and ancilla.
We investigate the relation between two approaches to the characterization of quantum Markovianity, divisibility and lack of information backflow. We show that a bijective dynamical map is completely positive divisible if and only if a monotonic nonincrease of distinguishability is observed for two equiprobable states of the evolving system and an ancilla. Moreover, our proof is constructive: given any such map that is not completely positive divisible, we give an explicit construction of two states that, when taken with the same a priori probability, exhibit information backflow. Finally, while an ancilla is necessary for the equivalence to hold in general, we show that it is always possible to witness the non-Markovianity of bijective maps without using any entanglement between the system and ancilla.
We investigate the relation between two approaches to the characterisation of quantum Markovianity, divisibility and lack of information backflow. We show that a bijective dynamical map is completely-positive-divisible if and only if a monotonic non-increase of distinguishability is observed for two equiprobable states of the evolving system and an ancilla. Moreover our proof is constructive: given any such map that is not completely-positive-divisible, we give an explicit construction of two states that, when taken with the same a priori probability, exhibit information back-flow. Finally, while an ancilla is necessary for the equivalence to hold in general, we show that it is always possible to witness the non-Markovianity of bijective maps without using any entanglement between system and ancilla.
P-divisibility is a central concept in both classical and quantum non-Markovian processes; in particular, it is strictly related to the notion of information backflow. When restricted to a fixed commutative algebra generated by a complete set of orthogonal projections, any quantum dynamics naturally provides a classical stochastic process. It is indeed well known that a quantum generator gives rise to a
P-divisible quantum dynamics if and only if all its possible classical reductions give rise to divisible classical stochastic processes. However, this property does not hold if one operates a classical reduction of the quantum dynamical maps instead of their generators: As an example, for a unitary dynamics,
P-divisibility of its classical reduction is inevitably lost and the latter thus exhibits information backflow. Instead, for some important classes of purely dissipative qubit evolutions, quantum
P-divisibility always implies classical
P-divisibility and therefore excludes information backflow in both the quantum and classical scenarios. On the contrary, for a wide class of orthogonally covariant qubit dynamics, we show that loss of classical
P-divisibility originates from the classical reduction of a purely dissipative
P-divisible quantum dynamics as in the unitary case. Moreover, such an effect can be interpreted in terms of information backflow due to the coherences developed by the quantumly evolving classical state.