We present an effective operator formalism for open quantum systems. Employing perturbation theory and adiabatic elimination of excited states for a weakly driven system, we derive an effective master equation which reduces the evolution to the ground-state dynamics. The effective evolution involves a single effective Hamiltonian and one effective Lindblad operator for each naturally occurring decay process. Simple expressions are derived for the effective operators which can be directly applied to reach effective equations of motion for the ground states. We compare our method with the hitherto existing concepts for effective interactions and present physical examples for the application of our formalism, including dissipative state preparation by engineered decay processes.
We present an effective operator formalism for open quantum systems. Employing perturbation theory and adiabatic elimination of excited states for a weakly driven system, we derive an effective master equation which reduces the evolution to the ground-state dynamics. The effective evolution involves a single effective Hamiltonian and one effective Lindblad operator for each naturally occurring decay process. Simple expressions are derived for the effective operators which can be directly applied to reach effective equations of motion for the ground states. We compare our method with the hitherto existing concepts for effective interactions and present physical examples for the application of our formalism, including dissipative state preparation by engineered decay processes.
We consider an open quantum system described by a Lindblad-type master equation with two time scales. The fast time scale is strongly dissipative and drives the system towards a low-dimensional decoherence-free space. To perform the adiabatic elimination of this fast relaxation, we propose a geometric asymptotic expansion based on the small positive parameter describing the time scale separation. This expansion exploits geometric singular perturbation theory and center-manifold techniques. We conjecture that, at any order, it provides an effective slow Lindblad master equation and a completely positive parameterization of the slow invariant sub-manifold associated to the low-dimensional decoherence-free space. By preserving complete positivity and trace, two important structural properties attached to open quantum dynamics, we obtain a reduced-order model that directly conveys a physical interpretation since it relies on effective Lindbladian descriptions of the slow evolution. At the first order, we derive simple formulae for the effective Lindblad master equation. For a specific type of fast dissipation, we show how any Hamiltonian perturbation yields Lindbladian second-order corrections to the first-order slow evolution governed by the Zeno-Hamiltonian. These results are illustrated on a composite system made of a strongly dissipative harmonic oscillator, the ancilla, weakly coupled to another quantum system.
Abstract If an open quantum system is initially uncorrelated from its environment, then its dynamics can be written in terms of a Lindblad-form master equation. The master equation is divided into a unitary piece, represented by an effective Hamiltonian, and a dissipative piece, represented by a hermiticity-preserving superoperator; however, the division of open system dynamics into unitary and dissipative pieces is non-unique. For finite-dimensional quantum systems, we resolve this non-uniqueness by specifying a norm on the space of dissipative superoperators and defining the canonical Hamiltonian to be the one whose dissipator is minimal. We show that the canonical Hamiltonian thus defined is equivalent to the Hamiltonian initially defined by Lindblad, and that it is uniquely specified by requiring the dissipator’s jump operators to be traceless, extending a uniqueness result known previously in the special case of Markovian master equations. For a system weakly coupled to its environment, we give a recursive formula for computing the canonical effective Hamiltonian to arbitrary orders in perturbation theory, which we can think of as a perturbative scheme for renormalizing the system’s bare Hamiltonian.
If an open quantum system is initially uncorrelated from its environment, then its dynamics can be written in terms of a Lindblad-form master equation. The master equation is divided into a unitary piece, represented by an effective Hamiltonian, and a dissipative piece, represented by a hermiticity-preserving superoperator; however, the division of open system dynamics into unitary and dissipative pieces is non-unique. For finite-dimensional quantum systems, we resolve this non-uniqueness by specifying a norm on the space of dissipative superoperators and defining the canonical Hamiltonian to be the one whose dissipator is minimal. We show that the canonical Hamiltonian thus defined is equivalent to the Hamiltonian initially defined by Lindblad, and that it is uniqueley specified by requiring the dissipator's jump operators to be traceless. For a system weakly coupled to its environment, we give a recursive formula for computing the canonical effective Hamiltonian to arbitrary orders in perturbation theory, which we can think of as a perturbative scheme for renormalizing the system's bare Hamiltonian.
Most quantum theorists are familiar with different ways of describing the effective quantum dynamics of a system coupled to external degrees of freedom, such as the Born-Markov master equation or the adiabatic elimination. Understanding the deep connection between these -- sometimes apparently unrelated -- methods can be a powerful tool, allowing us to derive effective dynamics in unconventional systems or regimes. This tutorial aims at providing quantum theorists across multiple fields (e.g., quantum and atom optics, optomechanics, or hybrid quantum systems) with a self-contained practical toolbox to derive effective quantum dynamics, applicable to systems ranging from N -level emitters to mechanical resonators. First, we summarize the projector approach to open quantum systems and the derivation of the fundamental Nakajima-Zwanzig equation. Then, we show how three common effective equations, namely the Brownian master equation, the Born-Markov master equation, and the adiabatic elimination used in atom and molecular optics, can be derived from different perturbative expansions of the Nakajima-Zwanzig equation. We also solve in detail four specific examples using this formalism, namely a harmonic oscillator subject to displacement noise, the effective equations of a mechanical resonator cooled by an optical cavity, the Purcell effect for a qubit coupled to an optical cavity, and the adiabatic elimination in a Lambda system.
The adiabatic theorem and shortcuts to adiabaticity for time-dependent open quantum systems are explored in this paper. Starting from the definition of dynamical stable decoherence-free subspace, we show that, under a compact adiabatic condition, the quantum state remains in the time-dependent decoherence-free subspace with an extremely high purity, even though the dynamics of the open quantum system may not be adiabatic. The adiabatic condition mentioned here in the adiabatic theorem for open systems is very similar to that for closed quantum systems, except that the operators required to change slowly are the Lindblad operators. We also show that the adiabatic evolution of decoherence-free subspaces depends on the existence of instantaneous decoherence-free subspaces, which requires that the Hamiltonian of open quantum systems be engineered according to the incoherent control protocol. In addition, shortcuts to adiabaticity for adiabatic decoherence-free subspaces are also presented based on the transitionless quantum driving method. Finally, we provide an example that consists of a two-level system coupled to a broadband squeezed vacuum field to show our theory. Our approach employs Markovian master equations and the theory can apply to finite-dimensional quantum open systems.
By exploiting the peculiarities of a recently introduced formalism for describing open quantum systems (the parametric representation with environmental coherent states) we derive an equation of motion for the reduced density operator of an open quantum system that has the same structure of the celebrated Gorini–Kossakowski–Sudarshan–Lindblad equation, but holds regardless of Markovianity being assumed. The operators in our result have explicit expressions in terms of the Hamiltonian describing the interactions with the environment, and can be computed once a specific model is considered. We find that, instead of a single set of Lindblad operators, in the general (non-Markovian) case there one set of Lindblad-like operators for each and every point of a symplectic manifold associated to the environment. This intricacy disappears under some assumptions (which are related to Markovianity and the classical limit of the environment), under which it is possible to recover the usual master-equation formalism. Finally, we find such Lindblad-like operators for two different models of a qubit in a bosonic environment, and show that in the classical limit of the environment their renown master equations are recovered.