Quantum Markovian master equations: resonance theory shows validity for all time scales
Marco Merkli
备注：
Version published in journal (Ann. Phys. 2020); title slightly changed w.r.t. arXiv V1 (referee request), but same as journal version, some references added
Quantum systems coupled to environments exhibit intricate dynamics. The master equation gives a Markov approximation of the dynamics, allowing for analytic and numerical treatments. It is ubiquitous in theoretical and applied quantum sciences. The accuracy of the master equation approximation was so far proven for small values of the system-environment interaction coupling strength $λ$, under the additional constraint that time $t$ must not exceed an upper bound, $λ^2 t\le$ constant. Here, we show that the Markov approximation is valid for fixed small coupling strength and for all times. We also construct a new approximate Markovian dynamics -- a completely positive, trace preserving semigroup -- which is asymptotically in time exact, to all orders in the coupling.
General open quantum systems display memory features, their master equations are non-Markovian. We show that the subclass of Gaussian non-Markovian open system dynamics is tractable in a depth similar to the Markovian class. The structure of master equations exhibits a transparent generalization of the Lindblad structure. We find and parametrize the class of stochastic Schrödinger equations that unravel a given master equation, such class was before known for Markovian systems only. We show that particular non-Markovian unravellings known in the literature are special cases of our class.
We construct a large class of completely positive and trace preserving non-Markovian dynamical maps for an open quantum system. These maps arise from a piecewise dynamics characterized by a continuous time evolution interrupted by jumps, randomly distributed in time and described by a quantum channel. The state of the open system is shown to obey a closed evolution equation, given by a master equation with a memory kernel and a inhomogeneous term. The non-Markovianity of the obtained dynamics is explicitly assessed studying the behavior of the distinguishability of two different initial system…
We consider an open quantum system in $M_{d}(\mathbb{C})$ governed by quasiperiodic Hamiltonian with rationally independent frequencies and under assumption of Lyapunov-Perron reducibility of associated Schroedinger equation. We construct the Markovian Master Equation and resulting CP-divisible evolution in weak coupling limit regime, generalizing our previous results from periodic case. The analysis is conducted with application of projection operator techniques and concluded with some results regarding stability of solutions and existence of quasiperiodic global steady state.
An operator equality on the entropy production for general quantum Markovian master equations is derived without resorting quantum stochastic trajectory and priori quantum definition of entropy production. We find that, the equality can be still interpreted as a consequence of time-reversal asymmetry of the nonequilibrium processes of the systems. In contrast with the classical case, however, the first order expansion of the equality does not directly related to the mean entropy production, which arises from noncommute property of operators in quantum physics.
Non-Markovian master equations describe general open quantum systems when no approximation is made. We provide the exact closed master equation for the class of Gaussian, completely positive, trace preserving, non-Markovian dynamics. This very general result allows to investigate a vast variety of physical systems. We show that the master equation for non-Markovian quantum Brownian motion is a particular case of our general result. Furthermore, we derive the master equation unraveled by a non-Markovian, dissipative stochastic Schrödinger equation, paving the way for the analysis of dissipative…
An easily solvable quantum master equation has long been sought that takes into account memory effects induced on the system by the bath, i.e., non-Markovian effects. We briefly review the Post-Markovian master equation (PMME), which is relatively easy to solve, and analyze a simple example where solutions obtained exhibit non-Markovianity. We apply the distinguishability measure introduced by Breuer et al., and we also explicitly analyze the divisibility of the associated quantum dynamical maps. We give a mathematical condition on the memory kernel used in the PMME that guarantees non-CP-divi…
A non-Markovian model of quantum repeated interactions between a small quantum system and an infinite chain of quantum systems is presented. By adapting and applying usual pro jection operator techniques in this context, discrete versions of the integro-differential and time-convolutioness Master equations for the reduced system are derived. Next, an intuitive and rigorous description of the indirect quantum measurement principle is developed and a discrete non Markovian stochastic Master equation for the open system is obtained. Finally, the question of unravelling in a particular model of no…
The interrelationship between the non-Markovian stochastic Schrödinger equations and the corresponding non-Markovian master equations is investigated in the finite temperature regimes. We show that the general finite temperature non-Markovian trajectories can be used to derive the corresponding non-Markovian master equations. A simple, yet important solvable example is the well-known damped harmonic oscillator model in which a harmonic oscillator is coupled to a finite temperature reservoir in the rotating wave approximation. The exact convolutionless master equation for the damped harmonic os…
For a bosonic (fermionic) open system in a bath with many bosons (fermions) modes, we derive the exact non-Markovian master equation in which the memory effect of the bath is reflected in the time dependent decay rates. In this approach, the reduced density operator is constructed from the formal solution of the corresponding Heisenberg equations. As an application of the exact master equation, we study the active probing of non-Markovianity of the quantum dissipation of a single boson mode of electromagnetic (EM) field in a cavity QED system. The non-Markovianity of the bath of the cavity is …
We present a detailed microscopic derivation for a non-Markovian master equation for a driven two-state system interacting with a general structured reservoir. The master equation is derived using the time-convolutionless projection operator technique in the limit of weak coupling between the two-state quantum system and its environment. We briefly discuss the Markov approximation, the secular approximation and their validity.
A wide class of exact master equations for a multiple qubit system can be explicitly constructed by using the corresponding exact non-Markovian quantum state diffusion equations. These exact master equations arise naturally from the quantum decoherence dynamics of qubit system as a quantum memory coupled to a collective colored noisy source. The exact master equations are also important in optimal quantum control, quantum dissipation and quantum thermodynamics. In this paper, we show that the exact non-Markovian master equation for a dissipative N-qubit system can be derived explicitly from th…
The time-convolutionless (TCL) non-Markovian master equation was generally thought to break down at finite time due to its singularity and fail to produce the asymptotic behavior in strong coupling regime. However, in this paper, we show that the singularity is not an obstacle for validity of the TCL master equation. Further, we propose a multiscale perturbative method valid for solving the TCL master equation in strong coupling regime, though the ordinary perturbative method invalidates therein.
We study the non-Markovian quantum interference phenomenon of a multi-state atomic system coupled to a bosonic dissipative environment by using the exact master equations derived in this paper. Two examples involving four-level systems with or without external control fields are investigated. Our results show that non-Markovian master equations are capable of exhibiting quantum interference phenomena in a temporal domain that has not fully explored before. In particular, we show that the environmental memory is instrumental in the onset of non-Markovian quantum interference pattern in differen…
We provide the exact non-Markovian master equation for a two-level system interacting with a thermal bosonic bath, and we write the solution of such a master equation in terms of the Bloch vector. We show that previous approximated results are particular limits of our exact master equation. We generalize these results to more complex systems involving an arbitrary number of two-level systems coupled to different thermal baths, providing the exact master equations also for these systems. As an example of this general case we derive the master equation for the Jaynes-Cummings model.
Caldeira and Leggett (CL) in a seminal paper derived a master equation describing Markovian Quantum Brownian motion. Such an equation suffered of not being completely positive, and many efforts have been made to solve this issue. We show that, when a careful mathematical analysis is performed, the model considered by CL leads to a non dissipative master equation. We argue that the correct way to understand the master equation derived in the CL regime is to consider it non-Markovian. Moreover, we show that if one wants to provide a microscopic description of Quantum Brownian motion with the CL …
The Monte Carlo wave function method or the quantum trajectory/jump approach is a powerful tool to study dissipative dynamics governed by the Markovian master equation, in particular for high-dimensional systems and when it is difficult to simulate directly. In this paper, we extend this method to the non-Markovian case described by the generalized Lindblad master equation. Two examples to illustrate the method are presented and discussed. The results show that the method can correctly reproduce the dissipative dynamics for the system. The difference between this method and the traditional Mar…
We present a derivation of the Markovian master equation by the renormalization group method. Starting from a naive perturbative solution of the von Neumann equation, the reduced density matrix with the coarse grained time steps is obtained using the assumption of short correlation time of the bath field. Then by applying the renormalization group method, we show that the dependence of the specific initial time on the perturbative solution can be removed and the Markovian semigroup master equation in the Gorini--Kossakowski--Lindblad--Sudarshan (GKLS) form is obtained in the weak coupling limi…
We provided a class of legitimate memory kernels leading to completely positive trace preserving dynamical maps. Our construction is based on a simple normalization procedure. Interestingly, when applied to the celebrated Wigner-Weisskopf theory it gives the standard Markovian evolution governed by the local master equation.
We derive Markovian master equations of single and interacting harmonic systems in different scenarios, including strong internal coupling. By comparing the dynamics resulting from the corresponding Markovian master equations with exact numerical simulations of the evolution of the global system, we precisely delimit their validity regimes and assess the robustness of the assumptions usually made in the process of deriving the reduced dynamics. The proposed method is sufficiently general to suggest that the conclusions made here are widely applicable to a large class of settings involving inte…
Non-Markovian dynamics of two interacting two-level qubits coupled to a bosonic bath was previously studied using the quantum-state-diffusion (QSD) equation, where a stochastic state is used to describe the system. In this study, we provide another perspective on this system by deriving the analytic form of the master equation, which describes the system with a reduced density matrix. Then, we validate the master equation by examining entanglement generation and state purity. In addition, with the master equation, we observe the effects from first-order noise and notice that a good asymptotic …
Master equations govern the time evolution of a quantum system interacting with an environment, and may be written in a variety of forms. Time-independent or memoryless master equations, in particular, can be cast in the well-known Lindblad form. Any time-local master equation, Markovian or non-Markovian, may in fact also be written in a Lindblad-like form. A diagonalisation procedure results in a unique, and in this sense canonical, representation of the equation, which may be used to fully characterize the non-Markovianity of the time evolution. Recently, several different measures of non-Ma…
In this paper we demonstrate that two commonly used phenomenological post-Markovian quantum master equations can be derived without using any perturbative approximation. A system coupled to an environment characterized by self-classical configurational fluctuations, the latter obeying a Markovian dynamics, defines the underlying physical model. Both Shabani-Lidar equation [A. Shabani and D. A. Lidar, Phys. Rev. A 71, 020101(R) (2005)] and its associated approximated integro-differential kernel master equation are obtained by tracing out two different bipartite Markovian Lindblad dynamics where…
Stochastic Schr{ö}dinger equations for quantum trajectories offer an alternative and sometimes superior approach to the study of open quantum system dynamics. Here we show that recently established convolutionless non-Markovian stochastic Schr{ö}dinger equations may serve as a powerful tool for the derivation of convolutionless master equations for non-Markovian open quantum systems. The most interesting example is quantum Brownian motion (QBM) of a harmonic oscillator coupled to a heat bath of oscillators, one of the most-employed exactly soluble models of open system dynamics. We show explic…
Exact master equations describing the decay of a two-state system into a structured reservoir are constructed. Employing the exact solution for the model we determine analytical expressions for the memory kernel of the Nakajima-Zwanzig master equation and for the generator of the corresponding time-convolutionless master equation. This approach allows a detailed investigation and comparison of the convergence behavior of the corresponding perturbation expansions. Moreover, we find that the structure of widely used phenomenological master equations with memory kernel may be incompatible with a …
Within the f-deformed oscillator formalism, we derive a Markovian master equation for the description of the damped dynamics of nonlinear systems that interact with their environment. The applicability of this treatment to the particular case of a Morse-like oscillator interacting with a thermal field is illustrated, and the decay of quantum coherence in such a system is analyzed in terms of the evolution on phase space of its nonlinear coherent states via the Wigner function.
Driven two-level system is a useful model to describe many quantum objects, particularly in quantum information processing. However, the exact master equation for such a system is barely explored. Making use of the Feynman-Vernon influence functional theory, we derive an exact non-Markovian master equation for the driven two-level system and show the lost feature in the perturbative treatment for this system. The perturbative treatment leads to the time-convolutionless (TCL) and the Nakajima-Zwanzig (NZ) master equations. So to this end, we derive the time-convolutionless (TCL) and the Nakajim…
Do phenomenological master equations with memory kernel always describe a non-Markovian quantum dynamics characterized by reverse flow of information? Is the integration over the past states of the system an unmistakable signature of non-Markovianity? We show by a counterexample that this is not always the case. We consider two commonly used phenomenological integro-differential master equations describing the dynamics of a spin 1/2 in a thermal bath. By using a recently introduced measure to quantify non-Markovianity [H.-P. Breuer, E.-M. Laine, and J. Piilo, Phys. Rev. Lett. 103, 210401 (2009…
In this paper we investigate the non-Markovian dynamics of a qubit by comparing two generalized master equations with memory. In the case of a thermal bath, we derive the solution of the post-Markovian master equation recently proposed in Ref. [A. Shabani and D.A. Lidar, Phys. Rev. A {\bf 71}, 020101(R) (2005)] and we study the dynamics for an exponentially decaying memory kernel. We compare the solution of the post-Markovian master equation with the solution of the typical memory kernel master equation. Our results lead to a new physical interpretation of the reservoir correlation function an…
A new post-Markovian quantum master equation is derived, that includes bath memory effects via a phenomenologically introduced memory kernel k(t). The derivation uses as a formal tool a probabilistic single-shot bath-measurement process performed during the coupled system-bath evolution. The resulting analytically solvable master equation interpolates between the exact Nakajima-Zwanzig equation and the Markovian Lindblad equation. A necessary and sufficient condition for complete positivity in terms of properties of k(t) is presented, in addition to a prescription for the experimental determin…
Various notions from geometric control theory are used to characterize the behavior of the Markovian master equation for N-level quantum mechanical systems driven by unitary control and to describe the structure of the sets of reachable states. It is shown that the system can be accessible but neither small-time controllable nor controllable in finite time. In particular, if the generators of quantum dynamical semigroups are unital, then the reachable sets admit easy characterizations as they monotonically grow in time. The two level case is treated in detail.
We study the analytically solvable Ising model of a single qubit system coupled to a spin bath. The purpose of this study is to analyze and elucidate the performance of Markovian and non-Markovian master equations describing the dynamics of the system qubit, in comparison to the exact solution. We find that the time-convolutionless master equation performs particularly well up to fourth order in the system-bath coupling constant, in comparison to the Nakajima-Zwanzig master equation. Markovian approaches fare poorly due to the infinite bath correlation time in this model. A recently proposed p…
Markovian master equations provide a versatile tool for describing open quantum systems when memory effects of the environment may be neglected. As these equations are of an approximate nature, they often do not respect the laws of thermodynamics when no secular approximation is performed in their derivation. Here we introduce a Markovian master equation that is thermodynamically consistent and provides an accurate description whenever memory effects can be neglected. The thermodynamic consistency is obtained through a rescaled Hamiltonian for the thermodynamic bookkeeping, exploiting the fact…
A recently proposed master equation in the Lindblad form is studied with respect to covariance properties and existence of a stationary solution. The master equation describes the interaction of a test particle with a quantum fluid, the so-called Rayleigh gas, and is characterized by the appearance of a two-point correlation function known as dynamic structure factor, which reflects symmetry and statistical mechanics properties of the fluid. In the case of a free gas all relevant physical parameters, such as fugacity, ratio between the masses, momentum transfer and energy transfer are put into…
The reduced dynamics of two interacting qubits coupled to two independent bosonic baths is investigated. The one-excitation dynamics is derived and compared with that based on the resolution of appropriate non-Markovian master equations. The Nakajima-Zwanzig and the time-convolutionless projection operator techniques are exploited to provide a description of the non-Markovian features of the dynamics of the two-qubits system. The validity of such approximate methods and their range of validity in correspondence to different choices of the parameters describing the system are brought to light.
In open quantum systems, phenomenological master equations with unknown parameters are often introduced. Here we propose a time-independent procedure based on quantum tomography to reconstruct the potentially unknown parameters of a wide class of Markovian master equations. According to our scheme, the system under investigation is initially prepared in a Gaussian state. At an arbitrary time t, in order to retrieve the unknown coefficients one needs to measure only a finite number (ten at maximum) of points along three time-independent tomograms. Due to the limited amount of measurements requi…
We derive an exact non-Markovian master equation that generalizes the previous work [Hu, Paz and Zhang, Phys. Rev. D {\bf 45}, 2843 (1992)] to damped harmonic oscillators with time-varying parameters. This is achieved by exploiting the linearity of the system and operator solution in Heisenberg picture. Our equation governs the non-Markovian quantum dynamics when the system is modulated by external devices. As an application, we apply our equation to parity kick decoupling problems. The time-dependent dissipative coefficients in the master equation are shown to be modified drastically when the…
We construct a quantum Markovian Master equation for a driven system coupled to a thermal bath. The derivation utilizes an explicit solution of the propagator of the driven system. This enables the validity of the Master equation to be extended beyond the adiabatic limit. The Non-Adiabatic Master Equation (NAME) is derived employing the weak system-bath coupling limit. The NAME is valid when a separation of timescales exists between the bath dynamics and the external driving. In contrast to the adiabatic Master equation, the NAME leads to coupled equations of motion for the population and cohe…
An original method to exactly solve the non-Markovian Master Equation describing the interaction of a single harmonic oscillator with a quantum environment in the weak coupling limit is reported. By using a superoperatorial approach we succeed in deriving the operatorial solution for the density matrix of the system. Our method is independent of the physical properties of the environment. We show the usefulness of our solution deriving explicit expressions for the dissipative time evolution of some observables of physical interest for the system, such as, for example, its mean energy.
Master equations describing open quantum dynamics are typically first order differential equations. When such dynamics brings the trajectories in state space of more than one initial state to the same point at finite instants in time, the generator of the corresponding master equation becomes singular. The first-order, time-local, homogeneous master equations then fail to describe the dynamics beyond the singular point. Retaining time-locality in the master equation necessitates a reformulation in terms of higher-order differential equations. We formulate a method to eliminate the divergent be…
We present a first-principles derivation of the Markovian semi-group master equation without invoking the rotating wave approximation (RWA). Instead we use a time coarse-graining approach which leaves us with a free timescale parameter, which we can optimize. Comparing this approach to the standard RWA-based Markovian master equation, we find that significantly better agreement is possible using the coarse-graining approach, for a three-level model coupled to a bath of oscillators, whose exact dynamics we can solve for at zero temperature. The model has the important feature that the RWA has a…
For adiabatically and periodically manipulated dissipative quantum systems we derive, using Floquet theory, a simple Markovian master equation. Contrary to some previous works we explicitly take into account the time dependence of the Hamiltonian and, therefore, obtain a master equation with a time-dependent dissipative part. We illustrate our theory with two examples and compare our results with the previously proposed master equations. In particular, we consider the problem of Cooper pair pumping and demonstrate the inadequacy of the secular (rotating wave) approximation when calculating the…
Markovian master equations are a ubiquitous tool in the study of open quantum systems, but deriving them from first principles involves a series of compromises. On the one hand, the Redfield equation is valid for fast environments (whose correlation function decays much faster than the system relaxation time) regardless of the relative strength of the coupling to the system Hamiltonian, but is notoriously non-completely-positive. On the other hand, the Davies equation preserves complete positivity but is valid only in the ultra-weak coupling limit and for systems with a finite level spacing, w…
We propose a procedure based on symplectic tomography for reconstructing the unknown parameters of a convolutionless non-Markovian Gaussian noisy evolution. Whenever the time-dependent master equation coefficients are given as a function of some unknown time-independent parameters, we show that these parameters can be reconstructed by means of a finite number of tomograms. Two different approaches towards reconstruction, integral and differential, are presented and applied to a benchmark model made of a harmonic oscillator coupled to a bosonic bath. For this model the number of tomograms neede…
We provide an in-depth and thorough treatment of the validity of the rotating-wave approximation (RWA) in an open quantum system. We find that when it is introduced after tracing out the environment, all timescales of the open system are correctly reproduced, but the details of the quantum state may not be. The RWA made before the trace is more problematic: it results in incorrect values for environmentally-induced shifts to system frequencies, and the resulting theory has no Markovian limit. We point out that great care must be taken when coupling two open systems together under the RWA. Thou…
The purpose of this article is to derive a Markovian approximation of the reduced time dynamics of observables for the Pauli-Fierz Hamiltonian with a precise control of the error terms. In that aim, we define a Lindblad operator associated to the corresponding quantum master equation. In a particular case, this allows to study the transition probability matrix.
We deduce a class of non-Markovian completely positive master equations which describe a system in a composite bipartite environment, consisting of a Markovian reservoir and additional stationary unobserved degrees of freedom that modulate the dissipative coupling. The entanglement-induced memory effects can persist for arbitrary long times and affect the relaxation to equilibrium, as well as induce corrections to the quantum-regression theorem. By considering the extra degrees of freedom as a discrete manifold of energy levels, strong non-exponential behavior can arise, as for example power l…
We prove a generalization of the quantum Markovian equation for observables. In this generalized equation, we use superoperators that are fractional powers of completely dissipative superoperators. We prove that the suggested superoperators are infinitesimal generators of completely positive semigroups and describe the properties of this semigroup. We solve the proposed fractional quantum Markovian equation for the harmonic oscillator with linear friction. A fractional power of the Markovian superoperator can be considered a parameter describing a measure of "screening" of the environment of t…
We consider a general open system dynamics and we provide a recursive method to derive the associated non-Markovian master equation in a perturbative series. The approach relies on a momenta expansion of the open system evolution. Unlike previous perturbative approaches of this kind, the method presented in this paper provides a recursive definition of each perturbative term. Furthermore, we give an intuitive diagrammatic description of each term of the series, which pro- vides an useful analytical tool to build them and to derive their structure in terms of commutators and anticommutators. We…
