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, which makes it incompatible with arbitrarily fast time-dependent driving. Here we show that a recently derived Markovian coarse-grained master equation (CGME), already known to be completely positive, has a much expanded range of applicability compared to the Davies equation, and moreover, is locally generated and can be generalized to accommodate arbitrarily fast driving. This generalization, which we refer to as the time-dependent CGME, is thus suitable for the analysis of fast operations in gate-model quantum computing, such as quantum error correction and dynamical decoupling. Our derivation proceeds directly from the Redfield equation and allows us to place rigorous error bounds on all three equations: Redfield, Davies, and coarse-grained. Our main result is thus a completely positive Markovian master equation that is a controlled approximation to the true evolution for any time-dependence of the system Hamiltonian, and works for systems with arbitrarily small level spacing. We illustrate this with an analysis showing that dynamical decoupling can extend coherence times even in a strictly Markovian setting.
Semi-Markov processes represent a well known and widely used class of random processes in classical probability theory. Here, we develop an extension of this type of non-Markovian dynamics to the quantum regime. This extension is demonstrated to yield quantum master equations with memory kernels which allow the formulation of explicit conditions for the complete positivity of the corresponding quantum dynamical maps, thus leading to important insights into the structural characterization of the non-Markovian quantum dynamics of open systems. Explicit examples are analyzed in detail.
We obtain the solutions of the generic bilinear master equation for a quantum oscillator with constant coefficients in the Gaussian form. The well-behavedness and positive semidefiniteness of the stationary states could be characterized by a three-dimensional Minkowski vector. By requiring the stationary states to satisfy a factorized condition, we obtain a generic class of master equations that includes the well-known ones and their generalizations, some of which are completely positive. A further subset of the master equations with the Gibbs states as stationary states is also obtained. For …
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…
We provide a general construction of quantum generalized master equations with memory kernel leading to well defined, that is completely positive and trace preserving, time evolutions. The approach builds on an operator generalization of memory kernels appearing in the description of non-Markovian classical processes, and puts into evidence the non uniqueness of the relationship arising due to the typical quantum issue of operator ordering. The approach provides a physical interpretation of the structure of the kernels, and its connection with the classical viewpoint allows for a trajectory de…
A central problem in the theory of the dynamics of open quantum systems is the derivation of a rigorous and computationally tractable master equation for the reduced system density matrix. Most generally, the evolution of an open quantum system is described by a completely positive linear map. We show how to derive a completely positive Markovian master equation (the Lindblad equation) from such a map by a coarse graining procedure. We provide a novel and explicit recipe for calculating the coefficients of the master equation, using perturbation theory in the weak-coupling limit. The only para…
The quantum damped harmonic oscillator is described by the master equation with usual Lindblad form. The equation has been solved completely by us in arXiv : 0710.2724 [quant-ph]. To construct the general solution a few facts of representation theory based on the Lie algebra $su(1,1)$ were used. In this paper we treat a general model described by a master equation with generalized Lindblad form. Then we examine the algebraic structure related to some Lie algebras and construct the interesting approximate solution.
The prevailing description for dissipative quantum dynamics is given by the Lindblad form of a Markovian master equation, used under the assumption that memory effects are negligible. However, in certain physical situations, the master equation is essentially of a non-Markovian nature. This paper examines master equations that possess a memory kernel, leading to a replacement of white noise by colored noise. The conditions under which this leads to a completely positive, trace-preserving map are discussed for an exponential memory kernel. A physical model that possesses such an exponential mem…
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…
A characterisation of the stochastic bounded generators of quantum irreversible Master equations is given. This suggests the general form of quantum stochastic evolution with respect to the Poisson (jumps), Wiener (diffusion) or general Quantum Noise. The corresponding irreversible Heisenberg evolution in terms of stochastic completely positive (CP) maps is found and the general form of the stochastic completely dissipative (CD) operator equation is discovered.
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…
By modeling the interaction of an open quantum system with its environment through a natural generalization of the classical concept of continuous time random walk, we derive and characterize a class of non-Markovian master equations whose solution is a completely positive map. The structure of these master equations is associated with a random renewal process where each event consist in the application of a superoperator over a density matrix. Strong non-exponential decay arise by choosing different statistics of the renewal process. As examples we analyze the stochastic and averaged dynamics…
The "standard" Brownian motion master equation, used to describe thermal damping, is not completely positive, and does not admit a Monte Carlo method, important in numerical simulations. To eliminate both these problems one must add a term that generates additional position diffusion. He we show that one can obtain a completely positive simple quantum Brownian motion, efficiently solvable, without any extra diffusion. This is achieved by using a stochastic Schroedinger equation (SSE), closely analogous to Langevin's equation, that has no equivalent Markovian master equation. Considering a spec…
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…
Here we present a Lindblad master equation that approximates the Redfield equation, a well known master equation derived from first principles, without significantly compromising the range of applicability of the Redfield equation. Instead of full-scale coarse-graining, this approximation only truncates terms in the Redfield equation that average out over a time-scale typical of the quantum system. The first step in this approximation is to properly renormalize the system Hamiltonian, to symmetrize the gains and losses of the state due to the environmental coupling. In the second step, we swap…
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 al…
We develop a more accurate secular form for the Redfield non-secular master equation, which is insensitive to the choice of the basis. This completely solves the ambiguity on which basis should be used when the secular approximation of the Redfield master equation is applied.
Structures of quantum Fokker-Planck equations are characterized with respect to the properties of complete positivity, covariance under symmetry transformations and satisfaction of equipartition, referring to recent mathematical work on structures of unbounded generators of covariant quantum dynamical semigroups. In particular the quantum optical master-equation and the quantum Brownian motion master-equation are shown to be associated to $\mathrm{U(1)}$ and $\mathrm{R}$ symmetry respectively. Considering the motion of a Brownian particle, where the expression of the quantum Fokker-Planck equa…
The Lindblad form guarantees complete positivity of a Markovian quantum master equation (QME). However, its microscopic derivation for a quantum system weakly interacting with a thermal bath requires several approximations, which may result in inaccuracies in the QME. Recently, various Lindbladian QMEs were derived without resorting to the secular approximation from the Redfield equation which does not guarantee the complete positivity. Here we explicitly calculate, in a perturbative manner, the equilibrium steady states of these Lindbladian QMEs. We compare the results with the steady state o…
Completely positive, trace preserving (CPT) maps and Lindblad master equations are both widely used to describe the dynamics of open quantum systems. The connection between these two descriptions is a classic topic in mathematical physics. One direction was solved by the now famous result due to Lindblad, Kossakowski Gorini and Sudarshan, who gave a complete characterisation of the master equations that generate completely positive semi-groups. However, the other direction has remained open: given a CPT map, is there a Lindblad master equation that generates it (and if so, can we find it's for…
We define an ensemble of projection operators, each of which has an exact associated Nakajima-Zwanzig master equation for quantum open system evolution. A mean field approximation for the memory kernels is introduced that yields, for an optimally chosen projection operator, a completely determined inhomogeneous master equation. Previous proofs of positivity and equilibration are extended to these new inhomogeneous non-Markovian master equations. We study a nitrogen vacancy center in diamond interacting with 13C impurities to illustrate the method.
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…
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 …
We discuss a restriction on relaxation times derived from the Lindblad-type master equations for 2-level systems and show that none of the inverse relaxation times can be greater than the sum of the others. The relation is experimentally proved or disproved and can be considered to be a measure for or against the applicability of the Lindblad-type master equations and therefore of the so-called completely positive condition.
We investigate heat transport in a spin-1/2 Heisenberg chain, coupled locally to independent thermal baths of different temperature. The analysis is carried out within the framework of the theory of open systems by means of appropriate quantum master equations. The standard microscopic derivation of the weak-coupling Lindblad equation in the secular approximation is considered, and shown to be inadequate for the description of stationary nonequilibrium properties like a non-vanishing energy current. Furthermore, we derive an alternative master equation that is capable to describe a stationary …
The equation for the quantum motion of a Brownian particle in a gaseous environment is derived by means of S-matrix theory. This quantum version of the linear Boltzmann equation accounts non-perturbatively for the quantum effects of the scattering dynamics and describes decoherence and dissipation in a unified framework. As a completely positive master equation it incorporates both the known equation for an infinitely massive Brownian particle and the classical linear Boltzmann equation as limiting cases.
We derive sufficient conditions for the memory kernel which guarantee legitimate (completely positive and trace-preserving) dynamical map. It turns out that these conditions provide a natural parameterizations of the dynamical map being a generalization of Markovian semigroup. It is shown that this class of maps cover almost all known examples -- from Markovian semigroup, semi-Markov evolution up to collision models and their generalization.
We investigate the possibility of dividing quantum channels into concatenations of other channels, thereby studying the semigroup structure of the set of completely-positive trace-preserving maps. We show the existence of 'indivisible' channels which can not be written as non-trivial products of other channels and study the set of 'infinitesimal divisible' channels which are elements of continuous completely positive evolutions. For qubit channels we obtain a complete characterization of the sets of indivisible and infinitesimal divisible channels. Moreover, we identify those channels which ar…
We define a perturbative approximation for the solution of Lindblad master equations with time-dependent generators that satisfies the fundamental property of complete positivity, as essential for quantum simulations and optimal control. With explicit examples we show that ensuring this property substantially improves the accuracy of the perturbative approximation.
A completely positive master equation describing quantum dissipation for a Brownian particle is derived starting from microphysical collisions, exploiting a recently introduced approach to subdynamics of a macrosystem. The obtained equation can be cast into Lindblad form with a single generator for each Cartesian direction. Temperature dependent friction and diffusion coefficients for both position and momentum are expressed in terms of the collision cross-section.
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 propose an energy-driven stochastic master equation for the density matrix as a dynamical model for quantum state reduction. In contrast, most previous studies of state reduction have considered stochastic extensions of the Schrödinger equation, and have introduced the density matrix as the expectation of the random pure projection operator associated with the evolving state vector. After working out properties of the reduction process we construct a general solution to the energy-driven stochastic master equation. The solution is obtained by the use of nonlinear filtering theory and takes …
Quantum operations are usually defined as completely positive (CP), trace preserving (TP) maps on quantum states, and can be represented by operator-sum or Kraus representations. In this paper, we calculate operator-sum representation and master equation of an exactly solvable dynamic of one-qubit open system in layered environment . On the other hand, we obtain exact Nakajima-Zwanzig (NZ) and time-convolutionless (TCL) master equation from the maps. Finally, we study a simple example to consider the relation between CP maps and initial quantum correlation and show that vanishing initial quant…
We point to the connection between a recently introduced class of non-Markovian master equations and the general structure of quantum collisional models. The basic construction relies on three basic ingredients: a collection of time dependent completely positive maps, a completely positive trace preserving transformation and a waiting time distribution characterizing a renewal process. The relationship between this construction and a Lindblad dynamics is clarified by expressing the solution of a Lindblad master equation in terms of demixtures over different stochastic trajectories for the stat…
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 derive a microscopic master equation for a pair of XY-coupled two-level systems interacting with the same memoryless reservoir. In particular, we apply this master equation to the case of a pair of two-level atoms in free space where we can clearly contrast the predictions made with the microscopic master equation obtained here and the phenomenological approaches where the atom-atom coupling is included just \textit{a posteriori}, i.e, not taking into account in the derivation of the open system equation of motion. We show, for instance, that the phenomenological approach fai…
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…
It is shown that if the decoherence matrix corresponding to a qubit master equation has a block-diagonal real part, then the evolution is determined by a one-dimensional oscillator equation. Further, when the full decoherence matrix is block-diagonal, then the necessary and sufficient conditions for completely positive evolution may be formulated in terms of the oscillator Hamiltonian or Lagrangian. When the solution of the oscillator equation is not known, an explicit sufficient condition for complete positivity can still be obtained, based on a Hamiltonian/Lagrangian inequality. A rotational…
For any master equation which is local in time, whether Markovian, non-Markovian, of Lindblad form or not, a general procedure is reviewed for constructing the corresponding linear map from the initial state to the state at time t, including its Kraus-type representations. Formally, this is equivalent to solving the master equation. For an N-dimensional Hilbert space it requires (i) solving a first order N^2 x N^2 matrix time evolution (to obtain the completely positive map), and (ii) diagonalising a related N^2 x N^2 matrix (to obtain a Kraus-type representation). Conversely, for a given time…
Conditions sufficient for a quantum dynamical semigroup (QDS) to be unital are proved for a class of problems in quantum optics with Hamiltonians which are self-adjoint polynomials of any finite order in creation and annihilation operators. The order of the Hamiltonian may be higher than the order of completely positive part of the formal generator of a QDS. The unital property of a minimal quantum dynamical semigroup implies the uniqueness of the solution of the corresponding Markov master equation in the class of quantum dynamical semigroups and, in the corresponding representation, it ensur…
We outline a non-perturbative approach for simulating the behavior of open quantum systems interacting with a bosonic environment defined by a generalized spectral density function. The method is based on replacing the environment by a set of damped harmonic oscillators - the pseudomodes - thereby forming an enlarged open system whose dynamics is governed by a Markovian master equation. Each pseudomode is connected to one of the poles of the spectral density when analytically continued to the lower-half complex frequency plane. Here, we extend previous results to a completely generic class of …
We show that the dynamics of a driven quantum system weakly coupled to a finite reservoir can be approximated by a sequence of Landau-Zener transitions if the level spacing of the reservoir is large enough. This approximation can be formulated as a repeated interaction dynamics and leads to a quantum master equation for the driven system which is of Lindblad form. The approach is validated by comparison with the numerically exact full system dynamics. To emphasize the role of coherence in the master equation, we propose a model-system which shows that in its presence, work can be extracted fro…
We discuss a wide class of time inhomogeneous quantum evolution which is represented by two-parameter family of completely positive trace-preserving maps. These dynamical maps are constructed as infinite series of jump processes. It is shown that such dynamical maps satisfy time inhomogeneous memory kernel master equation which provides a generalization of the master equation involving the standard convolution. Time-local (time convolution-less) approach is discussed as well. Finally, the comparative analysis of traditional time homogeneous vs. time inhomogeneous scenario is provided.
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.
We propose a method for deriving Lindblad-like master equations when the environment/reservoir is consigned to a classical description. As a proof of concept, we apply the method to continuous wave (CW) magnetic resonance. We make use of a perturbation scheme we have termed "affine commutation perturbation" (ACP). Unlike traditional perturbation methods, ACP has the advantage of incorporating some effects of the perturbation even at the zeroth-order approximation. Indeed, we concentrate here on the zeroth-order, and show how -- even at this lowest order -- the ACP scheme can still yield non-tr…
The Hamiltonian constraint remains the major unsolved problem in Loop Quantum Gravity (LQG). Seven years ago a mathematically consistent candidate Hamiltonian constraint has been proposed but there are still several unsettled questions which concern the algebra of commutators among smeared Hamiltonian constraints which must be faced in order to make progress. In this paper we propose a solution to this set of problems based on the so-called {\bf Master Constraint} which combines the smeared Hamiltonian constraints for all smearing functions into a single constraint. If certain mathematical con…
We investigate the dynamics of open quantum systems which are initially correlated with their environment. The strategy of our approach is to analyze how given, fixed initial correlations modify the evolution of the open system with respect to the corresponding uncorrelated dynamical behavior with the same fixed initial environmental state, described by a completely positive dynamical map. We show that, for any predetermined initial correlations, one can introduce a linear dynamical map on the space of operators of the open system which acts like the proper dynamical map on the set of physical…
An abstract formulation of quantum dynamics in the presence of a general set of quantum constraints is developed. Our constructive procedure is such that the relevant projection operator onto the physical Hilbert space is obtained with a single, common integration procedure over the original Lagrange multiplier variables that is completely independent of the general nature of the constraints. In the associated lattice-limit formulation it is demonstrated that expansion of the constraint operator contribution to second order in the lattice spacing is necessary while, as usual, only a first-orde…
