Completely Positive Post-Markovian Master Equation via a Measurement Approach
Alireza Shabani, Daniel A. Lidar
备注：
v2: 5 pages, incl. 1 figure. A more general post-Markovian master equation is derived as an intermediate step, and some steps in the derivation are clarified
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 determination of k(t). The formalism is illustrated with examples.
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…
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.
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 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…
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…
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…
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 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…
A generalization of the stochastic wave function method to quantum master equations which are not in Lindblad form is developed. The proposed stochastic unravelling is based on a description of the reduced system in a doubled Hilbert space and it is shown, that this method is capable of simulating quantum master equations with negative transition rates. Non-Markovian effects in the reduced systems dynamics can be treated within this approach by employing the time-convolutionless projection operator technique. This ansatz yields a systematic perturbative expansion of the reduced systems dynamic…
Based on the recent experiments on the hybrid quantum system of a superconducting microwave cavity coupling strongly to an inhomogeneous broadening spin ensemble under an external driving field, we use the exact master equation approach to investigate its non-Markovian decoherence dynamics. Here the spin ensemble is made by negatively charged nitrogen-vacancy (NV) defects in diamond. Our exact master equation theory for open systems depicts the experimental decoherence results and reveals the mechanism how the decoherence induced by the inhomogeneous broadening is suppressed in the strong-coup…
Most future quantum devices, including quantum computers, require control that is broadband, meaning that the rate of change of the time-dependent Hamiltonian is as fast or faster than the dynamics it generates. In many areas of quantum physics, including quantum technology, one must include dissipation and decoherence induced by the environment. While Markovian master equations provide the only really efficient way to model these effects, these master equations are derived for constant Hamiltonians (or those with a discrete set of well-defined frequencies). In 2006, Alicky, Lidar, and Zanardi…
A post-Markovian master equation has been recently proposed as a tool to describe the evolution of a system coupled to a memory-keeping environment [A. Shabani and D. A. Lidar, Phys. Rev. A 71, 020101 (R) (2005)]. For a single qubit affected by appropriately chosen environmental conditions, the corresponding dynamics is always legitimate and physical. Here we extend such situation to the case of two qubits, only one of which experiences the environmental effects. We show how, despite the innocence of such an extension, the introduction of the second qubit should be done cum grano salis to avoi…
We construct a non-Markovian canonical dynamical map that accounts for systems correlated with the environment. The physical meaning of not completely positive maps is studied to obtain a theory of non-Markovian quantum dynamics. The relationship between inverse maps and correlations with the environment is established. A generalized non-Markovian master equation is derived from the canonical dynamical map that goes beyond the Kossakowski-Lindblad Markovian master equation. Non-equilibrium quantum thermodynamics can be be studied within this theory.
Understanding the behaviour of a quantum system coupled to its environment is of fundamental interest in the general field of quantum technologies. It also has important repercussions on foundational problems in physics, such as the process of decoherence and the so-called quantum measurement problem. There have been many approaches to explore Markovian and non-Markovian dynamics within the framework of open quantum systems, but the richness of the ensuing dynamics is still not fully understood. In this paper we develop a non-Markovian extension of the standard Caldeira-Leggett model, based on…
The geometric phases of a two-level atom interacting with non-Markovian environments are calculated and the non-Markovian effects on the geometric phases are discussed in this paper. Three kinds of methods that describe the non-Markovian process, projection superoperator technique, memory kernel master equation and post-Markovian master equation, are used in the discussions. The results show that when the dissipation rate is large, the non-Markovian effects change the geometric phase more strikingly than the small one.
We introduce a classification scheme for the generators of open fermionic Gaussian dynamics. We simultaneously partition the dynamics along the following four lines: (1) unitary versus non-unitary, (2) active versus passive, (3) state-dependent versus state-independent, and (4) single-mode versus multi-mode. We find that only nine of these 16 types of dynamics are possible. Using this partition we discuss the consequences of imposing complete positivity on fermionic Gaussian dynamics. In particular, we show that completely positive dynamics must be either unitary (and so can be implemented wit…
In this paper we present a method to derive an exact master equation for a bosonic system coupled to a set of other bosonic systems, which plays the role of the reservoir, under the strong coupling regime, i.e., without resorting to either the rotating-wave or secular approximations. Working with phase-space distribution functions, we verify that the dynamics are separated in the evolution of its center, which follows classical mechanics, and its shape, which becomes distorted. This is the generalization of a result by Glauber, who stated that coherent states remain coherent under certain circ…
When dealing with system-reservoir interactions in an open quantum system, such as a photosynthetic light-harvesting complex, approximations are usually made to obtain the dynamics of the system. One question immediately arises: how good are these approximations, and in what ways can we evaluate them? Here, we propose to use entanglement and a measure of non-Markovianity as benchmarks for the deviation of approximate methods from exact results. We apply two frequently-used perturbative but non-Markovian approximations to a photosynthetic dimer model and compare their results with that of the n…
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 investigate a case of the Hu-Paz-Zhang master equation of the Caldeira-Leggett model without Lindblad form obtained in the weak-coupling limit up to the second-order perturbation. In our study, we use Gaussian initial states to be able to employ a sufficient and necessary condition, which can expose positivity violations of the density operator during the time evolution. We demonstrate that the evolution of the non-Markovian master equation has problems when the stationary solution is not a positive operator, i.e., does not have physical interpretation. We also show that solutions always re…
The coarse-graining approach to deriving the quantum Markovian master equation is revisited, with close attention given to the underlying approximations. It is further argued that the time interval over which the coarse-graining is performed is a free parameter that can be given a physical measurement-based interpretation. In the case of the damping of composite systems to reservoirs of different temperatures, currently of much interest in the study of quantum thermal machines with regard to the validity of `local' and `global' forms of these equations, the coupling of the subsystems leads to …
We study and compare the sensitivity of multiple non-Markovianity indicators for a qubit subjected to general phase-covariant noise. For each of the indicators, we derive analytical conditions to detect the dynamics as non-Markovian. We present these conditions as relations between the time-dependent decay rates for the general open system dynamics and its commutative and unital subclasses. These relations tell directly if the dynamics is non-Markovian w.r.t.~each indicator, without the need to explicitly derive and specify the analytic form of the time-dependent coefficients. Moreover, with a…
Convolutionless and convolution master equations are the two mostly used physical descriptions of open quantum systems dynamics. We subject these equations to time deformations: local dilations and contractions of time scale. We prove that the convolutionless equation remains legitimate under any time deformation (results in a completely positive dynamical map) if and only if the original dynamics is completely positive divisible. Similarly, for a specific class of convolution master equations we show that uniform time dilations preserve positivity of the deformed map if the original map is po…
We present a local Master equation for open system dynamics in two forms: Markovian and non-Markovian. Both have a wider range of validity than the Lindblad equation investigated by Davies. For low temperatures, they do not require coupling to be exponentially weak in the system size. If the state remains a low bond dimension Matrix Product State throughout the evolution, the local equation can be simulated in time polynomial in system size.
