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.
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.
Non-Markovian quantum processes exhibit different memory effects when measured in different ways; an unambiguous characterization of memory length requires accounting for the sequence of instruments applied to probe the system dynamics. This instrument-specific notion of quantum Markov order displays stark differences to its classical counterpart. Here, we explore the structure of quantum stochastic processes with finite memory length in detail. We begin by examining a generalized collision model with memory, before framing this instance within the general theory. We detail the constraints that are placed on the underlying system-environment dynamics for a process to exhibit finite Markov order with respect to natural classes of probing instruments, including deterministic (unitary) operations and sequences of generalized quantum measurements with informationally complete repreparations. Lastly, we show how processes with vanishing quantum conditional mutual information form a special case of the theory. Throughout, we provide a number of representative, pedagogical examples to display the salient features of memory effects in quantum processes.
Understanding temporal processes and their correlations in time is of paramount importance for the development of near-term technologies that operate under realistic conditions. Capturing the complete multi-time statistics that define a stochastic process lies at the heart of any proper treatment of memory effects. This is well understood in classical theory, where a hierarchy of joint probability distributions completely characterizes the process at hand. However, attempting to generalize this notion to quantum mechanics is problematic: observing realizations of a quantum process necessarily disturbs the state of the system, breaking an implicit, and crucial, assumption in the classical setting. This issue can be overcome by separating the experimental interventions from the underlying process, enabling an unambiguous description of the process itself and accounting for all possible multi-time correlations for any choice of interrogating instruments. In this paper, using a novel framework for the characterization of quantum stochastic processes, we first solve the long standing question of unambiguously describing the memory length of a quantum processes. This is achieved by constructing a quantum Markov order condition, which naturally generalizes its classical counterpart for the quantification of finite-length memory effects. As measurements are inherently invasive in quantum mechanics, one has no choice but to define Markov order with respect to the interrogating instruments that are used to probe the process at hand: different memory effects are exhibited depending on how one addresses the system, in contrast to the standard classical setting. We then fully characterize the structural constraints imposed on quantum processes with finite Markov order, shedding light on a variety of memory effects that can arise through various examples. Finally, we introduce an instrument-specific notion of memory strength that allows for a meaningful quantification of the temporal correlations between the history and the future of a process for a given choice of experimental intervention. These findings are directly relevant to both characterizing and exploiting memory effects that persist for a finite duration. In particular, immediate applications range from developing efficient compression and recovery schemes for the description of quantum processes with memory to designing coherent control protocols that efficiently perform information-theoretic tasks, amongst a plethora of others.
Simulating complex processes can be intractable when memory effects are present, often necessitating approximations in the length or strength of the memory. However, quantum processes display distinct memory effects when probed differently, precluding memory approximations that are both universal and operational. Here, we show that it is nevertheless sensible to characterize the memory strength across a duration of time with respect to a sequence of probing instruments. We propose a notion of process recovery, leading to accurate predictions for any multi-time observable, with errors bounded by the memory strength. We then apply our framework to an exactly solvable non-Markovian model, highlighting the decay of memory for certain instruments that justify its truncation. Our formalism provides an unambiguous description of memory strength,paving the way for practical compression and recovery techniques pivotal to near-term quantum technologies.
We derive a necessary and sufficient condition for a quantum process to be Markovian which coincides with the classical one in the relevant limit. Our condition unifies all previously known definitions for quantum Markov processes by accounting for all potentially detectable memory effects. We then derive a family of measures of non-Markovianity with clear operational interpretations, such as the size of the memory required to simulate a process or the experimental falsifiability of a Markovian hypothesis.
For classical Markovian stochastic systems, past and future events become statistically independent when conditioned to a given state at the present time. Memory non-Markovian effects break this condition, inducing a nonvanishing conditional past-future correlation. Here, this classical memory indicator is extended to a quantum regime, which provides an operational definition of quantum non-Markovianity based on a minimal set of three time-ordered quantum system measurements and postselection. The detection of memory effects through the measurement scheme is univocally related to departures from Born-Markov and white noise approximations in quantum and classical environments, respectively.
Markovian approximation is a widely-employed idea in the descriptions of the dynamics of open quantum systems. Although it is usually claimed to be a concept inspired by classical Markovianity, the physical meaning of this concept, however, is vague. In this thesis, I compare the descriptions of classical stochastic processes and open quantum systems, and show that those inherent differences lead to the non-trivial problem of characterizing quantum non-Markovianity. With various examples, I argue that the current most often used definitions of quantumMarkovianity in the literature do not fully capture the memoryless property of OQSs. To address this issue, I take a different approach by studying a host of Markov-related concepts in the quantum regime. Some of these concepts have long been used in quantum theory, while others are first proposed in this thesis. I define all these concepts under a unified framework, which allows one to rigorously build hierarchy relations among them. In this sense, quantum non-Markovianity is highly context-dependent. The results in this thesis, summarized as a hierarchy figure, are expected to bring clarity to the nature of quantumnon-Markovianity.