Completely Positive Divisibility Does Not Mean Markovianity.

In the classical domain, it is well known that divisibility does not imply that a stochastic process is Markovian. However, for quantum processes, divisibility is often considered to be synonymous with Markovianity. We show that completely positive divisible quantum processes can still involve non-Markovian temporal correlations, that we then fully classify using the recently developed process tensor formalism, which generalizes the theory of stochastic processes to the quantum domain.

Quantum Markov Order.

We formally extend the notion of Markov order to open quantum processes by accounting for the instruments used to probe the system of interest at different times. Our description recovers the classical property in the appropriate limit: when the stochastic process is classical and the instruments are noninvasive, i.e., restricted to orthogonal, projective measurements. We then prove that there do not exist non-Markovian quantum processes that have finite Markov order with respect to all possible instruments; the same process exhibits distinct memory effects when probed by different instruments. This naturally leads to a relaxed definition of quantum Markov order with respect to specified instrument sequences. The memory effects captured by different choices of instruments vary dramatically, providing a rich landscape for future exploration.