The driven-Markovian master equation based on the Lewis-Riesenfeld invariants theory
Abstract
We derive a Markovian master equation for driven open quantum systems based on the Lewis-Riesenfeld invariants theory, which is available for arbitrary driving protocols.The role of the Lewis-Riesenfeld invariants is to help us bypass the time-ordering obstacle in expanding the propagator of the free dynamics, such that the Lindblad operators in our driven-Markovian master equation can be determined easily. We also illustrate that, for the driven open quantum systems, the spontaneous emission and the thermal excitation induce the transitions between eigenstates of the Lewis-Riesenfeld invariant, but not the system Hamiltonian’s. As an example, we present the driven-Markovian master equation for a driven two-level system coupled to a heat reservoir. By comparing to the exactly solvable models, the availability of the driven-Markovian master equation is verified. Meanwhile, the adiabatic limit and inertial limit of the driven-Markovian master equation are also discussed, which result in the same Markovian master equations as those presented before in the corresponding limits.
pacs:
03.67.-a, 03.65.Yz, 05.70.Ln, 05.40.CaI Introduction
Any physical system in nature, no matter classical or quantum, couples to its surroundings exchanging energy and matter to make it as an open system. The theory of open quantum systems aims at providing a concise manner to describe the dynamics of the primary systemBreuer2007 . For open quantum systems satisfying the Born-Markov approximationDavies1974 , the Gorini-Kossakowski- Lindblad-Sudarshan (GKLS) Markovian master equation gives a general completely positive and trace preserving map of the reduced dynamics Gorini1976 ; Lindblad1976 . In the original derivation, it is assumed that the system Hamiltonian is time-independent. The coupling to the environment induces transitions between the static eigenstates of the system Hamiltonian. For the open systems with time-dependent external drives, the GKLS master equations have been derived in and beyond the adiabatic limit, which leads to the adiabatic Davies1978 ; Albash2012 ; Childs2001 ; Kamleitner2013 ; Sarandy2004 and non-adiabatic Yamaguchi2017 ; Dann2018 ; Potts2021 Markovian master equation.
For the driven open quantum systems without memory of the driving protocol, a non-adiabatic Markovian master equation (NAME) has been derived Dann2018 . The Lindblad operators in this non-adiabatic master equation are eigenoperators of the propagator of the free dynamics which associates with the system Hamiltonian. Generally speaking, these eigenoperators can be determined by representing the dynamics in the operator space which is also known as the Liouvillian space Albert2016 ; Scopa2019 . However, it is difficult to give these eigenoperators explicitly, and these eigenoperators absent clear physical meanings . For second best thing, a method based on the inertial theorem is proposedDann2020 . The inertial theorem relies on a priori decomposition of the Liouvillian superoperator into a rapid-changing scalar parameter and a slow-changing superoperator, which is equivalent to additional restrictions on the driving protocol Dann2021 . In this way, the Lindblad operators can be obtained explicitly, if the inertial limit is reachedDann2020 ; Dann2021 ; Dann2019 . At the same time, effective numerical methods to simulate the driven open quantum system dynamics are also proposed Hwang2012 ; Stockburger2016 , but may provide less structural insight into the dynamics.
For the open quantum systems with a static Hamiltonian, the population transitions caused by decoherence occur between the eigenstates of the static Hamiltonian Breuer2007 . Hence, even if the Markovian equation can not be given explicitly, we may formulate a phenomenological master equation due to the clearly physical meanings of the transitions Ozaki2021 ; Taran2019 . However, it is totally different for the driven open quantum systems with a non-adiabatic driving protocol, since there is no such a physical meaning for the decoherence-induced transitions. Thus, it is natural to ask if there is a simple method to formulate a Markovian master equation for a driven open quantum system with arbitrary driving protocols as we used in formulating the Markovian master equation with the static Hamiltonian?
In this paper, we derive a driven-Markovian master equation (DMME) for arbitrary driving protocols by using the Lewis-Riesenfeld invariants (LRIs) Lewis1968 , which is easy to formulate and has a clear meaning of the decoherence-induced transitions. Since the solution of the Shrödinger equation with a time-dependent Hamiltonian can be expressed as a superposition of the eigenstates of the Lewis-Riesenfeld invariant with constant amplitudes Lewis1969 , the unitary operator corresponding to the free propagator can be written down explicitly. On the other hand, if the the timescale for the driving protocol, also known as ”the non-adiabatic timescale”, approaches to or is larger than the reservoir correlation time, the memory effect of the driving protocol can not be neglected. By using the Fourier transformation and its inverse transformation, we collect the frequency contribution caused by the driving memory effect into the one-side Fourier transformation of the reservoir correlation function. Thus, the driving memory effect can be included in the DMME with a concise manner. As we shall see, the transitions induced by the coupling to the environment only occur between the invariant’s eigenstates. Therefore, it is quiet straightforward to formulate a DMME for a general driven open system, if its LRIs are known.
This paper is organized as follows. In Sec. II, we present the general formula of the DMME based on the Lewis-Riesenfeld invariants theory. The memory of the driven protocol is encoded in the decoherence rates and the Lamb shifts of the DMME. Then, we apply this DMME to the two-level system with time-dependent driving fields in Sec. III, and the corresponding adiabatic and inertial limits are discussed. We also derived exact dynamics for the driven two-level system, which will help to illustrate validity and availability of the DMME. Finally, the conclusions are given in Sec. IV.
II General Formalism
In this section, we apply the LRIs theory to present the DMME with explicit mathematical and physical meaning. Consider the dynamics of the total system which is governed by the Hamiltonian
stands for the system Hamiltonian; the reservoir is represented by the Hamiltonian
where and are, respectively, the annihilation operator and the eigenfrequency of the -th mode of the reservoir. In the following, the natural units are used throughout. We assume that the system-reservoir interaction Hamiltonian is given by
and are the Hermitian operators of the system and reservoir, respectively. stands for the coupling strength.
The von Neumann equation for the density operator of the total system in the interaction picture reads
where denotes the density operator of the total system in the interaction picture, and a similar notations is applied for the other system and reservoir operators. By assuming the weak system-reservoir coupling (the Born approximation), we obtain the Born equation for the system density operator ,
Here, we have assumed that , and the initial state of the total system can be written as . The Born approximation assumes that the coupling between the system and the reservoir is weak, such that the influence of the system on the reservoir is small. If the system evolution time is much larger than the reservoir correlation time , we can replace by and the integral limits can be extended to , which is known as the Markovian approximation. In such a case, the dynamics governed by the following Redfield master equation within the Born-Markovian approximation Redfield1965 ,
(1) | |||||
For an operator of the system, the corresponding operator in the interaction picture can be connected by an unitary transformation, i.e.,
(2) |
describing the free propagator of the system satisfies a Schrödinger equation for the time-dependent system Hamiltonian
(3) |
which results in with the time-ordering operator .
To reduce Eq.(1), a set of eigenoperator of the superoperator are needed, where the eigenoperators satisfy Dann2018 . However, it is difficult to solve the eigenequation of the superoperator directly. To overcome this difficulty, the inertial theorem has been used to obtain an approximative solution of Dann2021 ; Dann2020 . However, the solution is accurate only under that the inertial parameter is small, which requires a slow acceleration of the drive.
In fact, the free propagator of the system can be obtained directly, if the Lewis-Riesenfeld invariants for the system Hamiltonian are known. A LRI for the systems with the Hamiltonian is a Hermitian operator which obeys an equation in the Schrödinger picture Lewis1969
(4) |
For the closed dynamics of the systems, a general solution of the Schrödinger equation can be written as
(5) |
Here, is the -th eigenstate of the LRI with a real constant eigenvalue , i.e., , are time-independent amplitudes, and the Lewis-Riesenfeld phases are defined as Lewis1969
(6) |
Therefore, the solution of Eq.(3) can be expressed by means of the eigenstates of the LRIs,
(7) |
The LRIs theory was designed to investigate the time evolution of dynamical systems with an explicitly time-dependent Hamiltonian Lewis1969 . The invariants comply with the following properties: (i) The expectation values of the LRIs are constant. (ii) The eigenvalues of a LRI are constant, while the eigenstates are time dependent. (iii) Any time-dependent Hermitian operator which satisfies Eq. (4) is a LRI for closed quantum systems. Each LRI corresponds to a symmetry of the closed quantum system. Thereafter, the LRIs are successfully applied to investigate time-dependent problems in quantum mechanics Pedrosa2009 such as the Berry phase Sarandy2007 , the connection between quantum theory and classical theory Schuch2006 , and the quantum control Chen2011 . At the same time, the method to construct the LRIs for various quantum systems has been explored, for instance, the harmonic oscillator system Lewis1969 , the few-level systems Monteoliva1994 ; Nakahara2012 , the pseudo-Hermitian systemSimeonov2016 , and the open fermionic systemsKim2000 . Also a general method for constructing LRIs has been proposedPonte2018 .
By means of the explicit formula of the free evolution operator (Eq.(7)), the system operator Eq.(2) in the interaction picture can be rewritten as
(8) | |||||
with
(9) |
and which satisfy and The time-independent operators denotes one of Lindblad operators in the interaction picture. Since are Hermitian operators, it yields
(10) |
Any contains in the operator set which can be used to expand the corresponding Liouvillian spacePetrosky1997 . Substituting Eqs.(8) and (10) into Eq.(1), we can express the Markovian master equation as
(11) | |||||
with
(12) |
where H.c. denotes the Hermitian conjugated expression and is the bath operator in the interaction picture.
As shown in Eq.(11), there is memory effect of the driving protocol, which contains in and . At first, by means of the Taylor expansion, the phase can be written as
(13) | |||||
where
(14) | |||||
is a function of and with . With the consideration of , Eq.(12) becomes
(15) | |||||
where and . For , we take the Fourier expansion with respect to ,
(16) |
with . By substituting Eq. (16) into Eq.(15), it yields
where is the one-sided Fourier transform of the instantaneous reservoir correlation function
(17) |
with . It is convenient to decompose into a real and imaginary part, i.e.,
where is a Hermitian matrix and can be written as
We divide into the real and imaginary parts, i.e.,
(18) | |||||
According to the convolution theorem of the Fourier transformation, we can transform the integral in with respect to into a convolution of the time-domain integral, which leads to
with .
The system evolution time is the typical timescale of the intrinsic evolution of the system, which is defined by a typical value for the inverse of the instantaneous frequency differences involved, i.e. for . If is small compared to the relaxation time , the non-secular terms in the DMME with may be neglected, which is known as the secular approximation. Thus we have the DMME within the secular approximation in the interaction picture,
(19) | |||||
in which is the Lamb shift Hamiltonian and denotes the real (imaginary) part of ,
In fact, although we admit non-adiabatic change of the driving protocol, the DMME presented in Eq.(19) describes a Markovian dynamics if for . The memory effects of the driving protocol is explicitly encoded into a convolution with the reservoir correlation function. In order to connect to the previous resultsDann2018 ; Dann2019 , we may assume that the change of the phase is slow comparing to the reservoir correlation decay rate. Thus, there is a typical timescale , called “the non-adiabatic phase timescale”, defined asDann2018
which is related to the change of the phase in the driving protocol. Thus, the assumption of the slow changing phase is equivalent to require that the reservoir correlation time has to be much smaller than the non-adiabatic phase timescale , i.e., . For and , the terms up to second order in Eq.(13) can be ignored, i.e., so that and . Therefore, the real (imaginary) part of becomes
If the change of is much smaller than the instantaneous frequency, i.e., , we immediately obtain
(22) |
which lead to the non-adiabatic Markovian master equation given in Ref.Dann2018 .
The DMME presented in Eq.(19) does not contain any approximation on the driving protocol. It is interesting that both the real and imaginary parts of the one-sided Fourier transform of the instantaneous reservoir correlation function are involved in both the Lamb shift and the decoherence (see Eqs. (II) and (II)). For the Markovian master equation with the static Hamiltonian and the time-dependent Hamiltonian satisfying , only contributes to the decoherence process, while just appears in the Lamb shift. As a result, the positive decoherence rates may not be ensured and additional energy level shifts can be observed in the driven open quantum systems for the timescale .
In the DMME (Eq.(19)), the jump operator denotes a transition from the state to another one . In other words, the transitions caused by the decoherence occur between eigenstates of the LRI. Based on the Lewis-Riesenfeld phase (Eq.(6)), the instantaneous frequency can be divided into three parts, i.e.,
(23) | |||||
The first term in Eq.(23) attributes to a difference between the energy average values of the eigenstates and . The second term is a geometric contribution from the time-dependent eigenstates, while the third term comes from the phase changing rate in the transitions caused by the interaction Hamiltonian. In the adiabatic limit, the eigenstates of the LRI are the eigenstates of the system Hamiltonian, and the adiabatic condition must be satisfied. Thus, the last two terms are no contributions to the instantaneous frequency, while the first term becomes the energy gap between the -th and the -th energy levels, which leads to the adiabatic master equation given in Ref. Albash2012 ; Kamleitner2013 .
III The Driven Open Two-Level System
In this section, we apply the general formulism to a driven two-level system which couples with a heat reservoir. Here, we consider that the driven two-level system Hamiltonian in a laser adapted interaction picture takes the form Chen2010
(24) |
where is the time-dependent detuning with the time-dependent Rabi frequency and a constant laser frequency ; is time-dependent driven field. The heat reservoir can be represented by the reservoir Hamiltonian
with , where and are the annihilation operator and the eigen-frequency of the -th mode of the reservoir Shen2014 . Without loss of generality, the interaction Hamiltonian is selected as
(25) |
where the system and bath operators are
(26) |
For the two-level system governed by the Hamiltonian Eq.(24), the LRIs have been explored before Chen2011 ; Lai1996 . Here, we write the LRIs of the two-level system in form of the spectrum decomposition
(27) |
where are constant eigenvalues and
(28) |
are the eigenstates of the LRI (Eq.(27)), correspondingly. Inserting Eqs. (24) and (27) into Eq.(4), the parameters and needs to satisfy the following differential equation
(29) |
In what follows, we identify the system operator based on the Eq.(8). On the one hand, can be obtained by means of Eqs.(26) and (28)
(30) |
so do , i.e.,
(31) |
in which the phases are , , , ,
correspondingly. After substituting Eq.(28) into Eq.(6), we can obtain the Lewis-Riesenfeld phases,
Thus, the propagator of the free dynamics for the driven two-level system with the system Hamiltonian Eq.(24) can be written down explicitly according to Eq.(7). From Eqs. (30) and (31), we have
(32) |
and
for , which result in the instantaneous frequencies as
(33) |
Therefore, the system operators are determined by taking , and into Eq.(8).
Based on the parameters provided above, we can obtain the Lamb shifts and the decoherence rates via Eqs. (II) and (II). Firstly, according to Eq.(13), we have
which yields
and . Secondly, let us take the reservoir to be in an equilibrium state at temperature . The correlation functions of the heat reservoir operators satisfy
(34) |
where denotes the Planck distribution with the reservoir temperature . In continuum limit, the sum over can be replaced by an integral
(35) |
with the spectral density function . Inserting Eq.(26) into Eq.(17), it yields
(36) | |||||
with . On making use of the formula
(37) |
with the Cauchy principal value P, we finally arrive at
where
and
with . After inserting and into Eq.(18) and taking the inverse Fourier transformation respect to , the Lamb shifts and the decoherence rates can be obtained.
Without any restriction on the driving protocol, the dynamics of the driven two-level system is governed by the following DMME in the interaction picture,
(38) |
with the Lamb shifts . According to Eq.(33), the instantaneous frequency is degenerate for , which indicates a dephasing process on and . Therefore, we divide the Lindblandian into two parts with the dissipators
(39) | |||||
(40) | |||||
which correspond to the energy dissipation and the dephasing processes, respectively. Here, we have used the fact , so that the terms with in Eq.(39) vanish because of the secular approximation. It is noteworthy that the dephasing rates in Eq.(40) satisfy , due to , . By introducing a Hermitian operator of the interaction picture , the dephasing term in Eq.(38) can be rewritten as
with . We further define two operators and , which fulfills
Thus, the dissipative term as shown Eq.(39) can be reproduced as
with and . Transforming back to the Schrödinger picture, we finally arrive at the DMME,
(41) | |||||
with the time-dependent Lindblad operators for , and the Lamb shift .
III.1 The Adiabatic Limit
In the adiabatic limit, the corresponding LRIs satisfy , and share the same eigenstates to the system Hamiltonian. According to Eq.(29), if , it yields and . Thus, we can write down the eigenstates of the system Hamiltonian (Eq.(24)) in form of Eq.(28) with
(42) |
It can be verified that
with the eigenvalues of the system Hamiltonian . In such a case, the propagator can be represented in terms of the instantaneous eigenstates of the system Hamiltonian as shown in Eq.(7). The phases in the propagator come back to a sum of the geometric phases and the dynamical phases.
Here, we consider the situation where in the interaction Hamiltonian Eq.(25) for all . Thus, the expansion coefficients in Eq.(8) are
with the phase . Due to , the geometric phases in and are much smaller than the coresponding dynamical phases, so that the phase in Eq.(8) reads
and , whose derivatives are
respectively.
In the adiabatic limits, the reservoir correlation time is much smaller than the non-adiabatic timescale of the driving protocol , i.e., Dann2021 . Thus the Lamb shifts and the decoherence rates can be obtained from Eq. (22). By considering Eq.(36), it yields
(43) |
with . Note that No matter and are either positive or negative, () is always positive (negative), and the Planck distribution satisfies . Therefore, the adiabatic Markovian master equation (AME) for the driven open two-level system can be written as Albash2012 ; Kamleitner2013
(44) | |||||
III.2 The Inertial Limit
A NAME based on the inertial theorem has been proposedDann2018 ; Dann2020 ; Dann2021 , in which the free propagator of the closed quantum system is determined by decomposing the dynamical generator in the Hilbert-Schmidt space into a rapidly changed scalar function and an adiabatically changed matrix. In this subsection, we illustrate that the NAME based on the inertial theorem is the DMME as shown in Eq.(41) in the inertial limits.
Besides the system Hamiltonian given by Eq.(24), two following additional operators are needed to determine the free propagator, which areDann2021
(45) |
with . We may construct the Liouvillian vector as . The inertial theorem requires that the adiabatic parameters for is constant Dann2021 , i.e.,
Here, we call the dynamics which satisfies the requirement of the inertial theorem as the dynamics in the inertial limit. Under the inertial limit mentioned above, we have with and
As a result, by calculating the eigenstates of , we have the eigenoperators of the free propagator
(46) |
with , which are the Lindblad operators in the NAME based on the inertial theoremDann2020 .
As discussed in Sec.II, the Lindblad operators can be determined by the eigenstates of the LRIs according to Eq.(8). For the driven open quantum systems with the system Hamiltonian Eq.(24), the eigenstates of (Eq.(46)) must be the eigenstates of the LRIs defined in Eq.(27), since is Hermitian. In order to verify this correspondence, we check whether the eigenstates of fulfill the differential equation for the parameters of the LRIs as shown in Eq.(29). Substituting Eqs.(24) and (45) into Eq.(46), the eigenstates of are obtained straightforwardly,
(49) | |||
(52) |
which can be parameterized as Eq.(28) with
The time derivatives of and read
By taking , and their time-derivatives into Eq.(29), it can be verify that, the differential equations Eq.(29) hold in the inertial limits, i.e., . In other words, and are the eigenstates of a inertial LRI which requires .
In the following, we derive the inertial Markovian master equation according to the inertial LRI. Here, we still consider that for all in the interaction Hamiltonian . By inserting Eq.(52) into Eq.(10), it yields the expanding coefficients
(53) |
and the phases
with . After some simple algebra, we obtain the instantaneous frequency with a concise representation
If we assume that the non-adiabatic timescale is great shorter than the reservoir correlation time , we can determine the Lamb shifts and the decoherence rates according to Eq.(22). By the same procedure in Sec.III.1, we obtain the inertial master equation , which has precisely same representation as shown in Ref. Dann2020 .
III.3 Comparison to the Exactly Solvable Models: the Dephasing Model
Here, we further compare to another toy model, which is exactly solved in the interaction picture. With the same system Hamiltonian as shown in Eq.(24), i.e.,
we consider a time-dependent interaction Hamiltonian
where the system and reservoir operators are
(54) | |||||
and are time-dependent parameters in the eigenstates of the LRI (Eq.(28)), which are governed by Eq.(29). In this way, the Hamiltonian in the interaction picture can be written as
By using an unitary transformation
(55) |
with , the reservoir and two-level system decouple to each other, which leads to an exactly solvable dynamics of the open two-level systemBreuer2007 ; Uhrig2007 ; Yi2000 . The detailed derivation can be found in Appendix A.
Putting aside the exact dynamics of this toy model, we derive the DMME for the open two-level system. Taking Eqs. (28) and (54) into Eq.(8), it follows that the amplitudes are and while the phases and instantaneous frequency read , , and . Thus we have and according to Eq.(15). In view of the reservoir correlation functions Eq.(34), may be taken the following form
In case of the zero reservoir temperature, i.e., , it yields
in which the following spectral density has been used Breuer2007
(56) |
with the cut-off frequency and a dimensionless coupling rate . As we see, under the Markovian approximation, the real part of vanishes, which leads to a meaningless DMME. Hence, we restrict the upper limit of the integration over to be , but not . The DMME in the interaction picture can be written as
with the Lamb shift Hamiltonian and the dissipator
The Lamb shift strength and the dephasing rate are
while the Lindblad operator is .
The numerical results of the main values of the Pauli operators are plotted in FIG.(1). The initial state of the system is prepared on . The red dashed lines are the results given by the exact solution, while the blue solid lines are the results associated with the DMME.We consider a driving protocol with a constant detuning and a driving field with a time-dependent strength
with constant and . In FIG.(1), we observe a strikingly good agreement between the DMME (blue solid lines) and the exact solution ( red dashed lines). In fact, the high uniformity does not depend on the choice of the driving rate and the driving protocol. It is easy to verify
which results in the same deocherence process for both the DMME and the exact solution. On the other hand, due to ( is an identity operator), the Lamb shift does not affect the evolution of the two level system.
III.4 Dissipative Landau-Zener transition
In this subsection, we consider the dissipative Landau-Zener problem, in which the two-level system couples to a reservoir at zero temperature. The exact transition probabilities for such a model have been presentedWubs2006 ; Saito2007 . Here, we simulate the open system dynamics of the dissipative Landau-Zener problem by the DMME, and show that the transition probability given by the DMME almost coincides with the exact one. Meanwhile, a clear physical explanation is also presented.
The dissipative Landau-Zener problem is a scattering problem in the restricted sense that changes in the two-level system’s state will occur only during a finite time interval around . The two-level system’s Hamiltonian has the same form as Eq.(24), i.e.,
(57) |
with and , where is the constant sweep velocity and denotes the real intrinsic interaction amplitude between the diabatic states and . and stand for the and components of the Pauli operators. The eigenstates of the LRIs are still given by Eq.(28), in which and can be obtained via solving the differential equations Eq.(29) by the help of the system Hamiltonian Eq.(57). Further, we assume that the interaction Hamiltonian takes the same form as Eq.(25) with for all , so that we obtain
(58) |
where and are, respectively, the annihilation operator and the coupling strength of the -th mode of the reservoir.
With the setting above, the DMME for the dissipative Landau-Zener problem can be written as the same form as Eq.(41) with . For simplifying our discussion, we neglect the Lamb shifts (), and consider that the reservoir correlation time have to much smaller than the non-adiabatic phase timescale , i.e., . According to Eq.(22) and by using the relations Eqs. (35) and (37), the decoherence rates become
(59) |
where and are given by Eq.(32). stands for the spectral density associated with the instantaneous frequency , which can be selected as
(60) |
with the cut-off frequency and a dimensionless coupling rate . denotes the Planck distribution with the reservoir temperature . Since the Planck distribution satisfies and is always fulfilled, the instantaneous frequency determines the transition direction caused by decoherence. When the reservoir is at zero temperature, it is easy to illustrate that, if , we have and , which implies a decay from to ; if , i.e., , we have and , which leads to a decay from to . Since the instantaneous frequency is time-dependent, the DMME may take the following form,
(61) |
with
where is the decoherence rate depending on and .
For such a dissipative Landau-Zener problem, the exact transition probability reads Wubs2006 ; Saito2007
(62) |
with
(63) |
denotes the probability for a transition to the diabatic state , if the initial state of the two level system is prepared in . More directly speaking, is the population on the diabatic state at . Considering the relation Eq.(35), i.e.,
with the spectral density given by Eq.(60), we have
(64) |
In case of the closed system, the exact transition probability can be evaluated by means of , since denotes the quantum state evolution for the closed system dynamics with the initial state .
In FIG. 2 (a), we plot the evolution of the population on the diabatic state for both the dissipative case (the blue solid line) and the closed case (the yellow dashed line). Since we have selected , the adiabatic condition for the Landau-Zener transition is close to be satisfied. Therefore, both the dissipative case and the closed case give an almost similar dynamical evolution. On the one hand, the instantaneous frequency is always positive at the most of time as shown FIG. 2 (b). Hence, the instantaneous eigenstate must be the instantaneous steady state of the DMME (Eq.(61)). Therefore, in the adiabatic limits, the quantum state must follow with . Also we find that at a small interval around . At this time, the instantaneous steady state becomes , so that the dissipative dynamical evolution divides from the closed case. On the other hand, it can be observed that the transition probability given by the DMME is very close to the exact one (Eq.(62)). This can be understood as follows: In the adiabatic limits, i.e., , we have , when the Born approximation (the weak coupling approximation) is satisfied. Thus, the influence of the dissipation on the transition probability is inapparent.
The non-adiabatic case is presented in FIG. 3, in which we have selected . For the closed system case, since the adiabatic condition can not be fulfilled, the quantum state can not follow the eigenstates of the Hamiltonian into the diabatic state , which are illustrated by the yellow dashed line in FIG. 3 (a). When the coupling to the reservoir is considered, the result is entirely different. We can observe that the numerical result given by the DMME is in good agreement with the exact transition probability (the red dotted line). For the exact transition probability (Eq.(62)), due to , the effect of the dissipation on the Landau-Zener transition is dominate, which reduces evidently.The decrease of can be understood by means of the DMME (Eq.(61)). As shown in FIG. 3 (b), the instantaneous frequency is positive at , so that the instantaneous steady state of the DMME is the eigenstate of the LRI . When , the instantaneous frequency becomes negative. Thus, the instantaneous steady state of the DMME is turned over to the other eigenstate of the LRI, i.e., , for . Therefore, the population will decays into gradually, and the final transition probability becomes .
IV Conclusion
The driven-Markovian master equation is derived by using the LRI theory within the Born-Markovian approximation in this paper. Since the unitary operator associated with the free propagator of the quantum system can be decomposed by the eigenstates of the LRI, our derivation overcomes the time-ordering obstacle in writing down a exact formula of the propagator for the free dynamics. Due to the rapid changing of the driving protocols, the non-adiabatic timescale may approach to, even is larger than, the reservoir correlation time, which leads to the memory effect of the driving protocols. The DMME presented here includes this memory effect, which leads to additional Lamb shifts and decoherence terms. Therefore, the DMME does not contains any constraint on the driving protocols, such as the adiabatic or inertial approximation Albash2012 ; Dann2021 .
According to the DMME, the transitions of the driven open quantum system occur on the eigenstates of the LRI, but not on the instantaneous eigenstates of the system Hamiltonian. This is very practical in determining the Lindblad operators in the DMME, if the LRIs are knownDann2018 , which is illustrated by the example of the driven two-level system. Similar to the Makovian master equation with a static Hamiltonian, both the energy relaxation and dephasing processes emerge in the dynamics of the driven two-level system. But the decoherence rates and the Lindblad operators are time-dependent, which implies a time-dependent steady state. Such a time-dependent steady state is an important candidate in the quantum state engineering of open quantum systems. What is more, if the reservoir is at low, or ultra-low, temperature, the steady state is close to a pure state which is one of the eigenstates of the LRI. Therefore, the inverse engineering method based on the LRIsChen2010 ; Chen2011 ; Wu2021 ; Tobalina2020 will be a more promising controlling method than the others in the field of the shortcuts to adiabaticity Campo2013 ; Odelin2019 .
Here, we would like to emphasise that the dynamics of the driven open quantum systems is closely connected to the symmetry of the system, which is contained in the LRIs of the corresponding system Hamiltonian. For instance, the DMME given in Eq.(41) can describe the dynamics only for open two-level systems with the system Hamiltonian like Eq.(24). For different types of the system Hamiltonian, the open system dynamics must be different due to distinct symmetries of the driven system. Therefore, to present the LRIs of a particular system with a certain driving protocol is a very essential task in applying the general formula of the DMME Ponte2018 . For driven two qubits system, a Lie-algebraic classification and detailed construction of the LRIs has been exploitedNakahara2012 . However, for the many body and multi-level system, this is a hard taskJezek1988 . Fortunately, there are many useful (semi-) simple subalgebras in a complicated Lie algebraSlansky1981 , which corresponds to many available driving potocols. Therefore, the DMME based on the LRI theory have broad potential applications in the quantum information processWild2016 ; Albash2018 and the quantum thermodynamicsGuarnieri2019 ; Vu2022 .
This work is supported by the National Natural Science Foundation of China (NSFC) under Grants Nos. 12075050, 12175033, 12205037, and National Key R&D Program of China (Grant No. 2021YFE0193500). We thank Prof. J. H. An for pointing out that the derivation of exact solution in the example ”Comparison to the Exactly Solvable Models I: the Dissipative Model” is wrong, which does not affect our main results.
Appendix A The Exact Evolution of the Dephasing Model
We start our derivation form taking an unitary transformation (Eq.(7)) on the total Hamiltonian, which leads to
Here an interaction Hamiltonian as Eq.(54) has been considered. It follows that the above Hamiltonian can be exactly diagonalizated by means of the unitary operator defined as with Breuer2007 ; Uhrig2007 ,
in which the two-level system decouples to the heat reservoir. Mean while, it is easy to verify that . In the rotating frame given by , the evolution of the system quantum state can be written down formally
where is the evolution operator for the total system, and . Thus, an useful relation for and reads
(65) | |||||
with .
Let us consider an initial product state with a heat equilibrium state at temperature and a system strate as
Here, are Pauli operators and is the corresponding component of Bloch vector satisfing . Therefore, for obtain exact evolution of the quantum state, we needs to calculate the main values of the Pauli operators. For the x-component in the rotating frame given by , we find
where has been used. Since it yields
By considering Eq.(65), we arrive at
where and have been used, and are the Wigner characteristic function of the reservoir mode . It can be easily determined by noting that it represents a Gaussian function, which immediately leads to
We now perform the continuum limit of the bath modes. Introducing the density of the modes of frequency and defining the spectral density asBreuer2007
we can write down the decoherence function
where the spectral density Eq.(56) has been used. Therefore, we obtain
with . With the same procedure, we can determine the y-component of the Bloch vector, which present a similar expression as ,
Due to , we have . Thus, the exact quantum state evolution of the driven two-level system in the Schrödinger picture can be obtained by using the unitary transformation
References
- (1) H. P. Breuer and F. Petruccione, The Theory of Open Quantum Systems (Oxford University Press, New York, 2007).
- (2) E. B. Davies, Commun. Math. Phys. 39, 91 (1974).
- (3) V. Gorini, A. Kossakowski, and E. C. G. Sudarshan, J. Math. Phys. 17, 821 (1976).
- (4) G. Lindblad, Commun. Math. Phys. 48, 119 (1976).
- (5) E. Davies and H. Spohn, J. Stat. Phys. 19, 511 (1978).
- (6) T. Albash, S. Boixo, D. A. Lidar, and P. Zanardi, New J. Phys. 14, 123016 (2012).
- (7) A. M. Childs, E. Farhi, and J. Preskill, Phys. Rev. A 65, 012322 (2001).
- (8) I. Kamleitner, Phys.Rev.A 87, 042111 (2013).
- (9) M. S. Sarandy, L. A. Wu, and D. A. Lidar, Quant. Info. Proc. 3, 331 (2004).
- (10) M. Yamaguchi, T. Yuge, and T. Ogawa, Phys. Rev. E 95, 012136 (2017).
- (11) R. Dann, A. Levy, and R. Kosloff, Phys. Rev. A 98, 052129 (2018).
- (12) P. P. Potts, A. A. Sand Kalaee, and A. Wacker, New J. Phys. 23, 123013 (2021).
- (13) V. V. Albert, B. Bradlyn, M. Fraas, and L. Jiang, Phys. Rev. X 6, 041031 (2016).
- (14) S. Scopa, G. T. Landi, A. Hammoumi, and D. Karevski, Phys. Rev. A 99, 022105 (2019).
- (15) R. Dann, A. Tobalina, and R. Kosloff, Phys. Rev. A 101, 052102 (2020).
- (16) R. Dann, and R. Kosloff, Phys. Rev. Research 3, 013064 (2021).
- (17) R. Dann, A. Tobalina, and R. Kosloff, Phys. Rev. Lett. 122, 250402 (2019).
- (18) B. Hwang, and H. S. Goan, Phys. Rev. A 85, 032321 (2012).
- (19) J. T. Stockburger, Euro. Phys. Lett. 115, 40010 (2016).
- (20) S. Ozaki and H. Nakazato, Phys. Rev. A 103, 053713 (2021).
- (21) G. Taran, E. Bonet, and W. Wernsdorfer, Phys. Rev. B 99, 180408(R) (2019).
- (22) H. R. Lewis Jr., J. Math. Phys. 9, 1976 (1968).
- (23) H. R. Lewis Jr. and W. B. Riesenfeld, J. Math. Phys. 10, 1458 (1969).
- (24) A. G. Redfield, Advances in Magnetic and Optical Resonance (Elsevier, 1965).
- (25) I. A. Pedrosa and A. Rosas, Phys. Rev. Lett. 103, 010402 (2009).
- (26) M. S. Sarandy, E. I. Duzzioni, and M. H. Y. Moussa, Phys. Rev. A 76, 052112 (2007).
- (27) D. Schuch and M. Moshinsky, Phys. Rev. A 73, 062111 (2006).
- (28) X. Chen, E. Torrontegui, and J. G. Muga, Phys. Rev. A 83, 062116 (2011).
- (29) D. B. Monteoliva, H. J. Korsch, and J, A, Nunez, J. Phys. A 27, 6897 (1994).
- (30) U. Güngördü, Y. Wan, M. A. Fasihi, and M. Nakahara, Phys. Rev. A 86, 062312 (2012).
- (31) L. S. Simeonov and N. V. Vitanov, Phys. Rev. A 93, 012123 (2016).
- (32) S.P. Kim, A. E. Santana, F.C, Khanna, Phys. Lett. A 272, 46 (2000).
- (33) M. A. de Ponte, P. M. Consoli, and M. H. Y. Moussa, Phys. Rev. A 98, 032102 (2018).
- (34) T. Petrosky and I. Prigogine, The Liouville Space Extension of Quantum Mechanics, edited by I. Prigogine and S. A. Rice (John Wiley & Sons, New York, 1997).
- (35) X. Chen, I. Lizuain, A. Ruschhaupt, D. Guéry-Odelin, and J. G. Muga, Phys.Rev.Lett. 105, 123003 (2010).
- (36) H. Z. Shen, M. Qin, X. M. Xiu, and X. X. Yi, Phys. Rev. A 89, 062113 (2014).
- (37) Y. Z. Lai, J. Q. Liang, H. J. W. Müller-Kirsten, and J.-G. Zhou, Phys. Rev. A 53, 3691 (1996).
- (38) G. Uhrig, Phys. Rev. Lett. 98, 100504 (2007).
- (39) X. X. Yi and G. C. Guo, Phys. Rev. A 62, 062312 (2000).
- (40) Martijn Wubs, Keiji Saito, Sigmund Kohler, Peter Hänggi, and Yosuke Kayanuma, Phys. Rev. Lett. 97, 200404 (2006).
- (41) Keiji Saito, Martijn Wubs, Sigmund Kohler, Yosuke Kayanuma, and Peter Hänggi, Phys. Rev. B 75, 214308 (2007).
- (42) S. L. Wu, W. Ma, X. L. Huang, and X. X. Yi, Phys. Rev. Applied 16, 044028 (2021).
- (43) A. Tobalina, E. Torrontegui, I. Lizuain, M. Palmero, and J. G. Muga, Phys. Rev. A 102, 063112 (2020).
- (44) A. del Campo, Phys. Rev. Lett. 111, 100502 (2013).
- (45) D. Guéry-Odelin, A. Ruschhaupt, A. Kiely, E. Torrontegui, S. Martínez-Garaot, and J. G. Muga, Rev. Mod. Phys. 91, 045001 (2019).
- (46) E. S. Hernández and D. M. Jezek, Phys. Rev. A 38, 4455 (1988).
- (47) R. Slansky, Phys. Rep. 79, 1 (1981).
- (48) D. S. Wild, S. Gopalakrishnan, M. Knap, N. Y. Yao, and M. D. Lukin, Phys. Rev. Lett. 117, 150501 (2016).
- (49) T. Albash and D. A. Lidar, Rev. Mod. Phys. 90, 015002 (2018).
- (50) G. Guarnieri, G. T. Landi, S. R. Clark, and J. Goold, Phys. Rev. Research 1, 033021 (2019).
- (51) T. VanVu, and K. Saito, Phys. Rev. Lett. 128, 140602 (2022).