Markovian approximation is a widely-employed idea in descriptions of the dynamics of open quantum systems (OQSs). Although it is usually claimed to be a concept inspired by classical Markovianity, the term quantum Markovianity is used inconsistently and often unrigorously in the literature. In this report we compare the descriptions of classical stochastic processes and quantum stochastic processes (as arising in OQSs), and show that there are inherent differences that lead to the non-trivial problem of characterizing quantum non-Markovianity. Rather than proposing a single definition of quantum Markovianity, we study a host of Markov-related concepts in the quantum regime. Some of these concepts have long been used in quantum theory, such as quantum white noise, factorization approximation, divisibility, GKS-Lindblad master equation, etc.. Others are first proposed in this report, including those we call past-future independence, no (quantum) information backflow, and composability. All of these concepts are defined under a unified framework, which allows us to rigorously build hierarchy relations among them. With various examples, we argue that the current most often used definitions of quantum Markovianity in the literature do not fully capture the memoryless property of OQSs. In fact, quantum non-Markovianity is highly context-dependent. The results in this report, summarized as a hierarchy figure, bring clarity to the nature of quantum non-Markovianity.
Conjectures and open questions 60Appendix B FA, PFI and QRF 61Appendix C The AFL model and its relations to FA, QRF and GQRF 61Appendix D Proof of Lemma 1 63Appendix E Hierarchy of classical regression formulas 64References 65ways, including stochastic Heisenberg equations for system operators and evolution equations for the system density operator [7]. However, the generalization of the Markovian assumption from the classical regime to the quantum regime immediately meets some difficulties. The quantum analogues of random variables of the classical system are operators representing system observables. If one restricted to a set or vector of operatorsx that, at any one time t, are mutually commuting, then one could determine a probability distribution P (x) via the quantum state ρ at that time. But even such a restricted set of operators will not be mutually commuting at different times. Thus there is no analogue of the classical conditional distribution appearing in the Markovian condition of Eq. (1). 1 Hence, a different approach is needed to the issue of Markovian and non-Markovian evolution for OQSs. In particular, we will argue, there is no one concept that should be identified with Markovianity in the quantum case, but rather a host of related concepts.In the theory of OQSs, many methods and criteria have been developed that are conceptually related to the general idea of Markovianity. For example, the factorization approximation and quantum white noise limit are often employed in the derivation of the GKS-Lindblad-type master equation from a microscopi...