This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Driving-induced amplification of non-Markovianity in open quantum systems evolution

P. M. Poggi ppoggi@df.uba.ar Departamento de Física Juan Jose Giambiagi and IFIBA CONICET-UBA, Facultad de Ciencias Exactas y Naturales, Ciudad Universitaria, Pabellón 1, 1428 Buenos Aires, Argentina    F. C. Lombardo Departamento de Física Juan Jose Giambiagi and IFIBA CONICET-UBA, Facultad de Ciencias Exactas y Naturales, Ciudad Universitaria, Pabellón 1, 1428 Buenos Aires, Argentina    D. A. Wisniacki Departamento de Física Juan Jose Giambiagi and IFIBA CONICET-UBA, Facultad de Ciencias Exactas y Naturales, Ciudad Universitaria, Pabellón 1, 1428 Buenos Aires, Argentina
(August 14, 2025)
Abstract

Non-Markovian effects arising in open quantum systems evolution have been a subject of increasing interest over the past decade. One of the most appealing features of non-Markovianity (NM) is that it captures scenarios where loss of information and coherence are reversible, and thus a temporary backflow of information from the environment to the system is possible. In this work we study the interplay between the degree of non-Markovianity and the action of time-dependent control fields in an open two-level quantum system. We find that periodical modulation of a field acting solely on the system can greatly enhance the degree of non-Markovianity with respect to the undriven case. We show that this effect is present only when the coupling between system and environment is weak. Remarkably, the enhancement disappears at strong coupling, which is usually the regime where non-Markovian effects are expected to be more pronounced.

I Introduction

How does the presence of a driving field affect the non-Markovian features of open quantum system dynamics? This question arises naturally when we consider two converging scenarios: first, the enormous advances made in the past decades in using electric, magnetic and optical fields to precisely control nano- and subnano-scale physical systems, from single site optical manipulation in ion traps Tan et al. (2015); Monz et al. (2016), to coupling single electron to photons in silicon quantum dots Mi et al. (2017) and the realization of long-lived coherent qubits in superconducting circuits Ofek et al. . And second, the great interest raised during the past decade over non-Markovian dynamics, which refers to the evolution of open quantum systems which show a substantial deviation from the usual Markovian scheme Breuer et al. (2016); de Vega and Alonso (2017).

Over the past decade, numerous works have studied the role of NM in a variety of scenarios in open quantum system evolution. However, the debate about whether NM is a useful resource for quantum technologies such as computing, simulation and communication Bylicka et al. (2014) is far from being settled. For instance, studies which assessed the effectiveness of optimal control methods Zhu et al. (1998); Krotov (1995) in open quantum system evolutions showed that NM allowed for an improved controllability Schmidt et al. (2011); Reich et al. (2015); Triana et al. (2016). However, non-Markovian effects were also related to reduction of efficiency in dynamical decoupling schemes Addis et al. (2015). In a similar direction, the task of generating steady entangled states in open quantum systems has been showed to rely upon non-Markovian effects in some cases Huelga et al. (2012), but not in others Cormick et al. (2013), where NM does act as catalyst to speed up the process. Finally, the problem of the maximum speed of evolution for open quantum systems, usually termed quantum speed limit (QSL) Del Campo et al. (2013), has also been linked with NM. In particular, it was argued that non-Markovian effects could actually speed up the system evolution and thus reduce the QSL time Deffner and Lutz (2013); Meng et al. (2015). A recent work on the subject revealed that non-Markovian effects could not be inferred from the QSL bounds Mirkin et al. (2016).

In this work, we tackle the question that opens this paper. In particular, we investigate to what extent external driving acting solely on the system can increase NM with respect to the undriven case. To this end, we consider a two-level system described by a time-periodic Hamiltonian interacting with a structured environment. We find that the driving has a peculiar effect on the non-Markovian character of the system dynamics: it can generate a large enhancement of the degree of NM with respect to the static case, but only when the coupling between system and environment is weak. For strong coupling, where non-Markovian effects are usually more prominent, the driving cannot increase the NM substantially. We finally show analytically that, for the case of high-frequency driving, the system tends to decouple from the environment. This effect provides insight about the inability of the driving to enhance the degree of NM in that regime.

II Model and methods

Let us consider a two-level quantum system interacting with a bath of harmonic oscillators. The total Hamiltonian which describes this model reads (we set =1\hbar=1 from here on)

H=ω¯0(t)σ+σ+σxkgk(bk+bk)+kω¯kbkbk,H=\bar{\omega}_{0}(t)\sigma_{+}\sigma_{-}+\sigma_{x}\sum_{k}g_{k}(b_{k}+b_{k}^{\dagger})+\sum_{k}\bar{\omega}_{k}b_{k}^{\dagger}b_{k}, (1)

where σ±=σx±iσy\sigma_{\pm}=\sigma_{x}\pm i\sigma_{y} and σα\sigma_{\alpha} with α=x,y,z\alpha=x,y,z are the Pauli matrices, bkb_{k} and bkb_{k}^{\dagger} are the usual annihilation and creation operators corresponding to the kkth mode of the bath, gkg_{k} are the coupling constants and ω¯0(t)\bar{\omega}_{0}(t) is the time dependent energy difference between states |0\left|0\right> and |1\left|1\right> of the two-level system, which we will assume to be of the form

ω¯0(t)=Ω¯0+Δ¯cos(ω¯Dt).\bar{\omega}_{0}(t)=\bar{\Omega}_{0}+\bar{\Delta}\mathrm{cos}\left(\bar{\omega}_{D}t\right). (2)

All of the information of the environment relevant to the evolution of the reduced density matrix of the two-level system is condensed in the bath time-correlation function

C(tt)=tr[ρBB(t)B(t)]=0𝑑ωJ(ω)eiω(tt),C(t-t^{\prime})=\mathrm{tr}\left[\rho_{B}B(t)B(t^{\prime})\right]=\int_{0}^{\infty}d\omega\>J(\omega)\>e^{-i\omega(t-t^{\prime})}, (3)

where B(t)=kgk(bkeiω¯kt+bkeiω¯kt)B(t)=\sum_{k}g_{k}(b_{k}\>e^{-i\bar{\omega}_{k}t}+b_{k}^{\dagger}\>e^{i\bar{\omega}_{k}t}), ρB\rho_{B} is the initial state of the environmental modes and J(ω)J(\omega) denotes its spectral density. Here we consider J(ω)J(\omega) to be of Lorentzian form, i.e.

J(ω)=γ¯02πλ2(ωΩ¯0)2+λ2),J(\omega)=\frac{\bar{\gamma}_{0}}{2\pi}\frac{\lambda^{2}}{(\omega-\bar{\Omega}_{0})^{2}+\lambda^{2})}, (4)

where Ω¯0\bar{\Omega}_{0} is a characteristic frequency, λ\lambda determines the broadening of the spectral peak, and γ¯0\bar{\gamma}_{0} sets the coupling strength between the system and the bath. A known example of a physical system which is accurately described by this model is that of an atom coupled to an imperfect cavity Breuer and Petruccione (2002). We point out that, by considering this model, we are studying an structured environment which is usually the scenario where non-Markovian effects are more prone to manifest themselves de Vega and Alonso (2017). By inserting expression (4) in (21) we can evaluate the correlation function which yields, when Ω¯0λ\bar{\Omega}_{0}\gg\lambda,

C(tt)=γ¯0λ2e(λ+iΩ¯0)(tt).C(t-t^{\prime})=\frac{\bar{\gamma}_{0}\lambda}{2}\>e^{-(\lambda+i\bar{\Omega}_{0})(t-t^{\prime})}. (5)

If we now assume the validity of the rotating wave approximation (RWA) and drop counter-rotating terms from the interaction Hamiltonian, we can rewrite the approximated Hamiltonian as

H=ω¯0(t)σ+σ+kgk(σ+bk+σbk)+kω¯kbkbk,H=\bar{\omega}_{0}(t)\sigma_{+}\sigma_{-}+\sum_{k}g_{k}\left(\sigma_{+}b_{k}+\sigma_{-}b_{k}^{\dagger}\right)+\sum_{k}\bar{\omega}_{k}b_{k}^{\dagger}b_{k}, (6)

By following the procedure of Ref. Breuer and Petruccione (2002), we can obtain the exact equations of motion to all orders in the system-environment coupling. Due to the conservation of the total excitation number and assuming the environment to be initially prepared in the vacuum state, the dynamics of the total system takes place solely in the single-excitation subspace. This allows us to characterize the dynamics of system through a single complex-valued function G(t)G(t). The reduced density matrix elements of the two-level system in the {|0,|1}\left\{\left|0\right>,\left|1\right>\right\} basis then read

{ρ00(t)=ρ00(0)|G(t)|2ρ01(t)=ρ01(0)G(t)eiϵ(t)\Bigg{\{}\begin{array}[]{r c l}\rho_{00}(t)&=&\rho_{00}(0)|G(t)|^{2}\\ \rho_{01}(t)&=&\rho_{01}(0)G(t)\>e^{-i\epsilon(t)}\end{array} (7)

where ϵ(t)=Ω¯0t+(Δ¯/ωD¯)sin(ω¯Dt)\epsilon(t)=\bar{\Omega}_{0}t+\left(\bar{\Delta}/\bar{\omega_{D}}\right)\mathrm{sin}\left(\bar{\omega}_{D}t\right). The equation for G(t)G(t) can be casted in a time-local form due to the exponential dependence of C(tt)C(t-t^{\prime}). By defining dimensionless parameters variables τλt\tau\equiv\lambda t and x=x¯/λx=\bar{x}/\lambda, where xx is any parameter with units of energy (Δ¯\bar{\Delta} or γ¯0\bar{\gamma}_{0} for instance), the dynamical equation for G(t)G(t) is

G′′(τ)+[1iΔcos(ωDτ)]G(τ)+γ02G(τ)=0,G^{\prime\prime}(\tau)+\left[1-i\Delta\mathrm{cos}\left(\omega_{D}\tau\right)\right]G^{\prime}(\tau)+\frac{\gamma_{0}}{2}G(\tau)=0, (8)

where we established the notation f(τ)dfdτf^{\prime}(\tau)\equiv\frac{df}{d\tau}. Equation (31) is the exact equation of motion for the driven two-level system coupled to a Lorentzian bath at zero temperature, under the RWA. Note that the equation also holds when ωD=0\omega_{D}=0, that is, when the system Hamiltonian is time-independent, and an exact solution for G(t)G(t) is available Breuer and Petruccione (2002); Pineda et al. (2016); Mirkin et al. (2016). In that case, Δ\Delta plays the role of a static detuning between the system and the central frequency of the environment.

When we consider the system parameter ω0(t)\omega_{0}(t) to be periodically driven between Ω0Δ\Omega_{0}-\Delta and Ω0+Δ\Omega_{0}+\Delta at a rate ωD\omega_{D}, then the RWA may not be well justified, specially in the high driving frequency limit. Moreover, even in the regime where the RWA describes accurately the system evolution, the non-Markovianity measures calculated with and without the RWA have been shown to produce very different results Mäkelä and Möttönen (2013); Sun et al. (2015). In order to describe the reduced dynamics of the system taking into account the counter-rotating terms, we use the hierarchy equations method developed by Tanimura et al. Tanimura (2006) and then successfully applied to a variety of interesting problems Ma et al. (2012); Sun et al. (2015); Chen et al. (2015); Guo et al. (2014); Sun et al. (2016). This method can be used if (i) the initial state of the system plus bath is separable, (ii) the interaction Hamiltonian is bilinear (i.e. HSB=SBH_{SB}=S\otimes B), and (iii) if the environmental correlation function can be casted in multi-exponential form. All of these requirements are met in our system, see equations (19) and (5). We give some details about this method in the Supplementary Material.

We are interested in studying non-Markovian effects on the reduced dynamics of the two-level system. One of the most widespread witnesses of non-Markovianity in open quantum system evolutions was proposed by Breuer, Laine and Piillo (BLP) in Ref. Breuer et al. (2009). Conceptually, the BLP criterion is inspired on the contraction of classical probability space under Markovian stochastic processes Breuer et al. (2016); Pineda et al. (2016). For open quantum systems, it is based on the notion of distinguishability of quantum states, as quantified by the trace distance between them

D(ρ1,ρ2)=12ρ1ρ2,withA=tr(AA).D(\rho_{1},\rho_{2})=\frac{1}{2}||\rho_{1}-\rho_{2}||,\ \mathrm{with}\ ||A||=\mathrm{tr}(\sqrt{A^{\dagger}A}). (9)

The BLP criterion states that a map Λt\Lambda_{t}, where ρ(t)=Λt[ρ(0)]\rho(t)=\Lambda_{t}[\rho(0)], is non-Markovian if there exists at least a pair of initial states ρ1(0)\rho_{1}(0), ρ2(0)\rho_{2}(0) such that

σ(ρ1(0),ρ2(0),t)ddtD(ρ1(t),ρ2(t))>0\sigma(\rho_{1}(0),\rho_{2}(0),t)\equiv\frac{d}{dt}D(\rho_{1}(t),\rho_{2}(t))>0 (10)

for some time interval. Note that σ>0\sigma>0 implies that the states ρ1(t)\rho_{1}(t) and ρ2(t)\rho_{2}(t) are moving away from each other in state space, thus increasing their distinguishability Breuer et al. (2009). This means that information about the initial state of the system, is re-gained: information has flowed from the environment back to the system. In Markovian dynamics, the opposite occurs: since σ0\sigma\leq 0 for all times, information is continuously lost to the environment.

The BLP criterion can be naturally extended to define a measure of the degree of NM in a quantum process. The original proposal aims to quantify the total amount of information backflow during the evolution of the system, and it is calculated via

𝒩BLP=max{ρ1(0),ρ2(0)}σ>0σ(ρ1(0),ρ2(0),t)𝑑t,\mathcal{N}_{BLP}=\max_{\left\{\rho_{1}(0),\rho_{2}(0)\right\}}\int_{\sigma>0}\sigma(\rho_{1}(0),\rho_{2}(0),t^{\prime})dt^{\prime}, (11)

where an optimization has to be made for all pair of possible initial states. For the system we consider in this work, it is possible to show (under the RWA) that 𝒩BLP\mathcal{N}_{BLP} takes it maximum value when choosing ρ1(0)=|+x+x|\rho_{1}(0)=|+_{x}\rangle\langle+_{x}| and ρ2(0)=|xx|\rho_{2}(0)=|-_{x}\rangle\langle-_{x}|, i.e. the eigenstates of operator σx\sigma_{x} Breuer et al. (2016); Wißmann et al. (2012).

This proposal for a NM measure possesses a number of inconvenient properties, which have been pointed out and thoroughly studied by Pineda and coworkers in Pineda et al. (2016). The main issue is that it overestimates the weight of fluctuations in D(ρ1(t),ρ2(t))D(\rho_{1}(t),\rho_{2}(t)). Note that fluctuations may arise from finite-sized environments, but also from temporal driving and the contribution of counter-rotating terms in the Hamiltonian Mäkelä and Möttönen (2013), as we shall see later on. In Ref. Pineda et al. (2016), the authors propose another method to quantify non-Markovian effects. Applied to the BLP criterion of distinguishability, this new measure is calculated as the largest revival of D(ρ1(t),ρ2(t))D(\rho_{1}(t),\rho_{2}(t)) with respect to its minimum value prior to the revival, i.e.

𝒩LR=maxtf,ttf[D(ρ1(tf),ρ2(tf))D(ρ1(t),ρ2(t))].\mathcal{N}_{LR}=\max_{tf,t\leq tf}\left[D(\rho_{1}(t_{f}),\rho_{2}(t_{f}))-D(\rho_{1}(t),\rho_{2}(t))\right]. (12)

This quantity clearly avoids the aforementioned pitfalls of the BLP measure as it insensitive to fluctuations by construction.

III Results

Let us first consider the static case, i.e. when the driving frequency is set to ωD=0\omega_{D}=0. Under the RWA, this model admits an exact solution of the equation of motion (31) Breuer et al. (2016); Mirkin et al. (2016). The behaviour of the NM measure 𝒩BLP\mathcal{N}_{BLP} has been extensively studied in the literature Breuer et al. (2009); Rivas et al. (2014), and it has also been compared with the largest revival measure 𝒩LR\mathcal{N}_{LR} Pineda et al. (2016). In Fig. 1 (a) and (b) we plot both quantities as a function of the dimensionless coupling strength γ0\gamma_{0} and static detuning Δ\Delta. In both cases, the NM increases with γ0\gamma_{0} and in general decreases with Δ\Delta for fixed γ0\gamma_{0} (except at weak coupling).

Refer to caption
Figure 1: (a)-(b) Density plots for the non-Markovianity measures 𝒩BLP\mathcal{N}_{BLP} and 𝒩LR\mathcal{N}_{LR} as a function of the dimensionless coupling parameter γ0\gamma_{0} and detuning Δ\Delta for the static case (ωD=0\omega_{D}=0). Results were obtained under using the equation of motion (31), i.e. using the RWA. (c)-(d) Same as (a) and (b), but results obtained using the hierarchy equation method (beyond RWA). Dimensionless parameter values: Ω0=20\Omega_{0}=20.

An important result arises when comparing the NM measures calculated beyond the RWA. In Fig. 1 (c) and (d) we plot 𝒩BLP\mathcal{N}_{BLP} and 𝒩LR\mathcal{N}_{LR} calculated using the hierarchy equation method described in the previous section, which takes into account the effects of the counter-rotating terms in the interaction Hamiltonian. There, it can be seen that the largest revival measure 𝒩LR\mathcal{N}_{LR} shows a very similar behaviour compared to the RWA case, while the BLP measure 𝒩BLP\mathcal{N}_{BLP} not only takes larger values Mäkelä and Möttönen (2013) but also displays a completely different dependance with the system parameters. Note that, by setting Ω0>>1\Omega_{0}>>1 (i.e. Ω¯0λ\bar{\Omega}_{0}\gg\lambda), we are working in a regime where the RWA and non-RWA evolutions are very similar, apart from fluctuations. This results shows us that the largest revival measure is much more reliable than the BLP measure, which leads to an incorrect quantification of non-Markovian effects in the presence of fluctuations. This robustness is a desired characteristic for a NM quantifier, specially when we address the system to be driven by a time-periodic field, as we shall do next.

We now turn our attention to the time-dependent case, by tuning the driving frequency ωD\omega_{D} to non-zero values. In order to assess quantitatively how the non-Markovian character of the evolution is affected by the driving, we define a figure of merit called “relative NM value” as

𝒩xrel(γ0,Δ,ωD)=𝒩x(γ0,Δ,ωD)maxΔ𝒩x(γ0,Δ,0),\mathcal{N}_{x}^{rel}(\gamma_{0},\Delta,\omega_{D})=\frac{\mathcal{N}_{x}(\gamma_{0},\Delta,\omega_{D})}{\max\limits_{\Delta^{\prime}}\ \mathcal{N}_{x}(\gamma_{0},\Delta^{\prime},0)}, (13)

where x=BLPx=\mathrm{BLP} or LR\mathrm{LR}. This quantity measures the obtained NM value for the driven case in units of the maximum possible degree of NM achieved in the system with no driving (ωD=0\omega_{D}=0), at a fixed value of the coupling parameter γ0\gamma_{0}. As such, it allows us to assess how the NM is affected by the periodic driving itself and not by, for example, introducing new interactions or injecting energy in the system Hamiltonian (which has been studied, for example, in Addis et al. (2015); Haikka et al. (2011)). This is because the driven system can be interpreted as the static Hamiltonian

Hs=(Ω0+Δ)σ+σ,H_{s}=(\Omega_{0}+\Delta)\sigma_{+}\sigma_{-}, (14)

but with a time-dependent detuning ΔΔcos(ωDτ)\Delta\rightarrow\Delta\>\mathrm{cos}(\omega_{D}\tau). In other words, by studying 𝒩xrel\mathcal{N}_{x}^{rel} we are analyzing the effects of dynamically changing the detuning in time, and not merely by increasing or diminishing its value.

Our main interest is to see to what extent the external driving, which acts only on the two-level system, can enhance the non-Markovian character of the evolution. To do this, we compute the maximum of 𝒩xrel\mathcal{N}_{x}^{rel} over all values of the driving frequency and amplitude

Mx(γ0)=maxΔ,ωD𝒩xrel(γ0,Δ,ωD),M_{x}(\gamma_{0})=\max_{\Delta,\>\omega_{D}}\ \mathcal{N}_{x}^{rel}(\gamma_{0},\Delta,\omega_{D}), (15)

where x=BLPx=\mathrm{BLP} or LR\mathrm{LR}. MxM_{x} indicates the maximum relative NM value, and so quantifies how much bigger can the NM measure be in the driven case when compared to the static case. Of course, Mx1M_{x}\geq 1 since, even in the worst case, the driven case will be equal to the static case for ωD=0\omega_{D}=0.

In Fig. 2 (a) we show a plot of MLRM_{LR} as a function of the coupling strength γ0\gamma_{0}, calculated both with and without the RWA. As was observed in the static regime, the LR measure presents a similar behaviour in both cases. In particular, it can be seen that MLRM_{LR} takes values of the order of 10 for small γ0\gamma_{0}, and then decays to its minimum possible value of 1 as the coupling increases. Physically, this tells us that the driving is able to increase the non-Markovianity of the evolution well above the value of the static case, but can only do so in the weak coupling regime. For strong coupling, on the other hand, the driving fails to reach values of NM significantly above the static ones. This is the main result of our work. We stress that the large enhancement of the NM values appear because the revivals of the distinguishability in the static case are small. Nevertheless, it is surprising that the influence of the driving field is much stronger in the weak-coupling case, which is precisely where non-Markovian effects are usually neglected or discarded by perturbative approaches.

Refer to caption
Figure 2: Maximum relative NM value, as defined in Eq. (15), as a function of the coupling parameter γ0\gamma_{0}, calculated with (dashed lines) and without (full lines) the rotating wave approximation. Values were obtained for (a) LR measure, (b) BLP measure. Dimensionless parameter values: Ω0=20\Omega_{0}=20, Δ,ωD[0,20]\Delta,\>\omega_{D}\in[0,20].

In Fig. 2 (b) we show results obtained for MBLPM_{BLP}, the maximum NM relative value computed with the BLP measure. There, it can be seen that calculations made using the rotating wave approximation also describe the phenomenon of NM enhancement at weak coupling. However, in the case where the RWA is not applied, 𝒩BLP\mathcal{N}_{BLP} shows a completely different behaviour, remaining practically constant as the coupling γ0\gamma_{0} varies. These findings are reminiscent of the analysis we performed for the static case. This provides further proof of the reliability of the LR measure as opposed to the BLP measure.

It is interesting to point out that a number of previous works have reported the appearance of non-Markovian effects for small coupling due to driving acting on the system Addis et al. (2015); Haikka et al. (2011); Zhang et al. (2015); Costa-Filho et al. (2016)). In those cases, however, the driving was introduced as a new interaction term in the Hamiltonian of the system. Here we show that NM can be induced by just allowing the original system parameters to change in time.

IV Discussion

Refer to caption
Figure 3: Density plots for the relative non-Markovianity value 𝒩LRrel\mathcal{N}_{LR}^{rel} computed for the largest revival (LR) measure for different values of the coupling strength γ0\gamma_{0}. Results are shown as a function of the dimensionless driving amplitude Δ\Delta and frequency ωD\omega_{D} in all cases. (a) and (b) γ0=0.1\gamma_{0}=0.1. (c) and (d) γ0=1.4\gamma_{0}=1.4. (e) and (f) γ0=10\gamma_{0}=10. Plots in the right column were obtained under using the equation of motion (31), i.e. using the RWA. Plots in the left column were obtained using the hierarchy equation method (beyond RWA). Dimensionless parameter values: Ω0=20\Omega_{0}=20.

Let us explore in further detail the enhancement of non-Markovian effects induced by the driving field. In Fig. 3 we show several density plots of the relative LR measure 𝒩LRrel\mathcal{N}_{LR}^{rel} for different values of the coupling strength, as a function of the driving frequency ωD\omega_{D} and amplitude Δ\Delta. From the figure, we can roughly separate the behaviour of the NM values for the regions where ωD/Δ>1\omega_{D}/\Delta>1 and ωD/Δ<1\omega_{D}/\Delta<1, which we will referr to as high and low frequency regimes, respectively. In particular, for small coupling (top row in Fig. 3), we observe 𝒩LRrel0\mathcal{N}_{LR}^{rel}\simeq 0 for high frequency driving, while for ωD/Δ<1\omega_{D}/\Delta<1 we observe the enhancement of NM discussed earlier. When the system is strongly coupled to the environment (bottom row in Fig. 3), the situation is inverted, and the largest values of 𝒩LRrel1\mathcal{N}_{LR}^{rel}\simeq 1 occurr when ωD/Δ>1\omega_{D}/\Delta>1. For low frequencies, the relative NM is significantly smaller than 1, meaning that the turning on the driving actually causes distinguishability revivals to decrease during the evolution of the system. In the intermediate coupling regimes, we observe a clear transition between both cases. It can also be seen that there is a large region, corresponding to ωD/Δ1\omega_{D}/\Delta\simeq 1, where NM is suppressed altogether.

We will now look closer to the high frequency case ωD/Δ>1\omega_{D}/\Delta>1. There, the driving fails to increase the degree of NM with respect to the static case (𝒩LRrel1\mathcal{N}_{LR}^{rel}\leq 1), for all coupling strengths. This behaviour can be explained analytically in the following way. By transforming the original Hamiltonian (19) to a rotating frame via the transformation

UR(t)=exp(i(0tΔ¯cos(ω¯Ds)𝑑s)σ+σ),U_{R}(t)=\mathrm{exp}\left(-i\left(\int_{0}^{t}\bar{\Delta}\mathrm{cos}(\bar{\omega}_{D}s)ds\right)\sigma_{+}\sigma-\right), (16)

it is straightforward to show that, for ωD1\omega_{D}\gg 1, the dynamics is set by a transformed Hamiltonian:

HR(t)\displaystyle H_{R}(t) =\displaystyle= UR(t)[HΔ¯cos(ω¯Dt)]UR(t)\displaystyle U_{R}(t)\left[H-\bar{\Delta}\mathrm{cos}(\bar{\omega}_{D}t)\right]U^{\dagger}_{R}(t)
\displaystyle\simeq Ω¯0σ+σ+βσxkgk(bk+bk)+kω¯kbkbk,\displaystyle\bar{\Omega}_{0}\sigma_{+}\sigma_{-}+\beta\sigma_{x}\sum_{k}g_{k}(b_{k}+b_{k}^{\dagger})+\sum_{k}\bar{\omega}_{k}b_{k}^{\dagger}b_{k},

where β=J0(Δ¯ω¯D)=J0(ΔωD)1\beta=J_{0}\left(\frac{\bar{\Delta}}{\bar{\omega}_{D}}\right)=J_{0}\left(\frac{\Delta}{\omega_{D}}\right)\leq 1, and J0(x)J_{0}(x) is a Bessel function (see supplementary material for more details). It is easily seen that (26) can be interpreted as the original Hamiltonian (19) but with no driving, zero detuning and a with modified coupling constants gkβgkg_{k}\rightarrow\beta g_{k}. This, in turn, is equivalent to having a modified coupling parameter in the Lorentzian spectral density (4)

γ0β2γ0γ0.\gamma_{0}\rightarrow\beta^{2}\gamma_{0}\leq\gamma_{0}. (18)

In short, when the driving frequency is high, the driven system dynamics is equivalent (up to a unitary transformation) to that of a static system which couples less strongly to the environment. As we showed in Fig. 1, the degree of NM in that case increased monotonically with γ0\gamma_{0}. Note also that, since the trace distance (9) is invariant under unitary transformations, the degree of NM is independent of UR(t)U_{R}(t). As a result, the high frequency driving fails to increase the NM measures above the static case, thus proving our numerical finding. It is worth pointing out that this phenomenon was previously discussed in the context of dynamical decoupling techniques Fonseca-Romero et al. (2004).

In agreement with the previous discussion, for the weak coupling case we observe the largest values of NM in the low frequency regime, see Fig. 3 (a) and (b). We show a detailed plot of the NM relative value for this region in Fig. 4. There, it can be seen that maxima for 𝒩LRrel\mathcal{N}_{LR}^{rel} spread along straight lines in the (Δ,ωD)(\Delta,\>\omega_{D}) plane. Interestingly, this lines coincide with the appearance of zeros of J0(ΔωD)J_{0}\left(\frac{\Delta}{\omega_{D}}\right) and J1(ΔωD)J_{1}\left(\frac{\Delta}{\omega_{D}}\right). In fact, this behaviour can be explained from the analytical solution for G(τ)G(\tau) which can be obtained under the RWA to first order in the dimensionless coupling parameter γ0\gamma_{0}. The resulting expression is rather complicated, and it is shown in the supplementary material. It is interesting to point out that parameter regions determined by the Bessel functions are typical in periodically driven quantum systems Grossmann et al. (1991); Poggi et al. (2014).

Refer to caption
Figure 4: Density plot for the relative non-Markovianity value 𝒩LRrel\mathcal{N}_{LR}^{rel} computed for the largest revival (LR) measure. Parameters as in Fig. 3 (b). Dashed lines represents the values of ωD/Δ\omega_{D}/\Delta for which J0(ΔωD)=0J_{0}\left(\frac{\Delta}{\omega_{D}}\right)=0 (gray) and J1(ΔωD)=0J_{1}\left(\frac{\Delta}{\omega_{D}}\right)=0 (white).

V Concluding remarks

In this paper we have explored the interplay between driving and non-Markovianity on the dynamics of an open quantum system. By numerically studying the proposed model for various parameter regimes, we find an remarkable result: the driving can produce a large enhancement non-Markovian effects, but only when the coupling between system and environment is small. In the strong-coupling regime, on the other hand, the driving is unable to increase the degree of NM. We performed extensive numerical calculations which prove that this effect is present also beyond the rotating wave approximation. We also provide analytical arguments which allows us to explain the effects of the driving in the high-frequency regime, and also in the weak coupling regime.

We believe that the results presented here shed new light on the relation beteween non-Markovianity and controlled open quantum dynamics. While the debate about whether NM could be harnessed as a useful resource is still open, this work provides a first step in the study of how to control such effects with external time-dependent fields.

Acknowledgements.
We acknowledge support from CONICET, UBACyT, and ANPCyT (Argentina).

References

  • Tan et al. (2015) T. Tan, J. Gaebler, Y. Lin, Y. Wan, R. Bowler, D. Leibfried,  and D. Wineland, Nature 528, 380 (2015).
  • Monz et al. (2016) T. Monz, D. Nigg, E. A. Martinez, M. F. Brandl, P. Schindler, R. Rines, S. X. Wang, I. L. Chuang,  and R. Blatt, Science 351, 1068 (2016).
  • Mi et al. (2017) X. Mi, J. Cady, D. Zajac, P. Deelman,  and J. Petta, Science 355, 156 (2017).
  • (4) N. Ofek, A. Petrenko, R. Heeres, P. Reinhold, Z. Leghtas, B. Vlastakis, Y. Liu, L. Frunzio, S. Girvin, L. Jiang, et al., Nature 536, 441.
  • Breuer et al. (2016) H.-P. Breuer, E.-M. Laine, J. Piilo,  and B. Vacchini, Rev. Mod. Phys 88, 021002 (2016).
  • de Vega and Alonso (2017) I. de Vega and D. Alonso, Rev. Mod. Phys. 89, 015001 (2017).
  • Bylicka et al. (2014) B. Bylicka, D. Chruściński,  and S. Maniscalco, Sci. Rep. 4, 5720 (2014).
  • Zhu et al. (1998) W. Zhu, J. Botina,  and H. Rabitz, J. Chem. Phys. 108, 1953 (1998).
  • Krotov (1995) V. Krotov, Global methods in optimal control theory (CRC Press, New York, 1995).
  • Schmidt et al. (2011) R. Schmidt, A. Negretti, J. Ankerhold, T. Calarco,  and J. T. Stockburger, Phys. Rev. Lett. 107, 130404 (2011).
  • Reich et al. (2015) D. M. Reich, N. Katz,  and C. P. Koch, Sci. Rep. 5, 2430 (2015).
  • Triana et al. (2016) J. F. Triana, A. F. Estrada,  and L. A. Pachón, Phys. Rev. Lett. 116, 183602 (2016).
  • Addis et al. (2015) C. Addis, F. Ciccarello, M. Cascio, G. M. Palma,  and S. Maniscalco, New J. Phys. 17, 123004 (2015).
  • Huelga et al. (2012) S. F. Huelga, Á. Rivas,  and M. B. Plenio, Phys. Rev. Lett. 108, 160402 (2012).
  • Cormick et al. (2013) C. Cormick, A. Bermudez, S. F. Huelga,  and M. B. Plenio, New J. Phys. 15, 073027 (2013).
  • Del Campo et al. (2013) A. Del Campo, I. Egusquiza, M. Plenio,  and S. Huelga, Phys. Rev. Lett. 110, 050403 (2013).
  • Deffner and Lutz (2013) S. Deffner and E. Lutz, Phys. Rev. Lett. 111, 010402 (2013).
  • Meng et al. (2015) X. Meng, C. Wu,  and H. Guo, Sci. Rep. 5 (2015).
  • Mirkin et al. (2016) N. Mirkin, F. Toscano,  and D. A. Wisniacki, Phys. Rev. A 94, 052125 (2016).
  • Breuer and Petruccione (2002) H.-P. Breuer and F. Petruccione, The theory of open quantum systems (Oxford University Press on Demand, 2002).
  • Pineda et al. (2016) C. Pineda, T. Gorin, D. Davalos, D. A. Wisniacki,  and I. García-Mata, Phys. Rev. A 93, 022117 (2016).
  • Mäkelä and Möttönen (2013) H. Mäkelä and M. Möttönen, Phys. Rev. A 88, 052111 (2013).
  • Sun et al. (2015) Z. Sun, J. Liu, J. Ma,  and X. Wang, Sci. Rep. 5, 8444 (2015).
  • Tanimura (2006) Y. Tanimura, Journal of the Physical Society of Japan 75, 082001 (2006).
  • Ma et al. (2012) J. Ma, Z. Sun, X. Wang,  and F. Nori, Phys. Rev. A 85, 062323 (2012).
  • Chen et al. (2015) H.-B. Chen, N. Lambert, Y.-C. Cheng, Y.-N. Chen,  and F. Nori, Sci. Rep. 5, 12753 (2015).
  • Guo et al. (2014) W. Guo, J. Ma, X. Yin, W. Zhong,  and X. Wang, Phys. Rev. A 90, 062133 (2014).
  • Sun et al. (2016) Z. Sun, L. Zhou, G. Xiao, D. Poletti,  and J. Gong, Phys. Rev. A 93, 012121 (2016).
  • Breuer et al. (2009) H.-P. Breuer, E.-M. Laine,  and J. Piilo, Phys. Rev. Lett. 103, 210401 (2009).
  • Wißmann et al. (2012) S. Wißmann, A. Karlsson, E.-M. Laine, J. Piilo,  and H.-P. Breuer, Phys. Rev. A 86, 062108 (2012).
  • Rivas et al. (2014) A. Rivas, S. F. Huelga,  and M. B. Plenio, Reports on Progress in Physics 77, 094001 (2014).
  • Haikka et al. (2011) P. Haikka, J. D. Cresser,  and S. Maniscalco, Phys. Rev. A 83, 012112 (2011).
  • Zhang et al. (2015) Y.-J. Zhang, W. Han, Y.-J. Xia, J.-P. Cao,  and H. Fan, Phys. Rev. A 91, 032112 (2015).
  • Costa-Filho et al. (2016) J. Costa-Filho, R. Lima, R. Paiva, P. Soares, W. Morgado, R. L. Franco,  and D. Soares-Pinto, arXiv preprint arXiv:1612.02628  (2016).
  • Fonseca-Romero et al. (2004) K. M. Fonseca-Romero, S. Kohler,  and P. Hänggi, Chem. Phys. 296, 307 (2004).
  • Grossmann et al. (1991) F. Grossmann, T. Dittrich, P. Jung,  and P. Hänggi, Phys. Rev. Lett. 67, 516 (1991).
  • Poggi et al. (2014) P. Poggi, F. Arranz, R. Benito, F. Borondo,  and D. Wisniacki, Phys. Rev. A 90, 062108 (2014).

VI Supplementary Material

VI.1 Hierarchy equation method

Consider the total system Hamiltonian which describes the dynamics of the two-level system and the environment

H=ω0(t)σ+σ+σxkgk(bk+bk)+kωkbkbk.H=\omega_{0}(t)\sigma_{+}\sigma_{-}+\sigma_{x}\sum_{k}g_{k}(b_{k}+b_{k}^{\dagger})+\sum_{k}\omega_{k}b_{k}b_{k}^{\dagger}. (19)

From Eq. (19), it is straightforward to write down a formal solution for the reduced density matrix of the two-level system in the interaction picture

ρ~(t)=𝒯exp{0t𝑑t20t2𝑑t1σ~x(t2)×[CR(t2t1)σ~x(t1)×+iCI(t2t1)σ~x(t1)]}ρ~(0),\tilde{\rho}(t)=\mathcal{T}\mathrm{exp}\Bigg{\{}-\int_{0}^{t}dt_{2}\int_{0}^{t_{2}}dt_{1}\>\tilde{\sigma}_{x}(t_{2})^{\times}\Big{[}C_{R}(t_{2}-t_{1})\tilde{\sigma}_{x}(t_{1})^{\times}+i\>C_{I}(t_{2}-t_{1})\tilde{\sigma}_{x}(t_{1})^{\circ}\Big{]}\Bigg{\}}\tilde{\rho}(0), (20)

where O~\tilde{O} denotes an operator in the interaction picture and 𝒯\mathcal{T} is the usual time-ordering operator. Functions CR(t)C_{R}(t) and CI(t)C_{I}(t) are the real and imaginary parts of the baths correlation function, which is defined as

C(tt)=tr[ρBB(t)B(t)]=0𝑑ωJ(ω)eiω(tt).C(t-t^{\prime})=\mathrm{tr}\left[\rho_{B}B(t)B(t^{\prime})\right]=\int_{0}^{\infty}d\omega\>J(\omega)\>e^{-i\omega(t-t^{\prime})}. (21)

In (20) we have also used a short-hand notation for the commutator and anticommutator operations: AB={A,B}A^{\circ}B=\left\{A,B\right\} and A×B=[A,B]A^{\times}B=\left[A,B\right]. The hierarchy equation method casts the expression (20) into a set of ordinary differential equations

dϱndτ=[iHs(τ)×+n.ν]ϱnik=12{σx×ϱn+ek+γ02nk[σx×+(1)kσx]ϱnek},\frac{d\varrho_{\vec{n}}}{d\tau}=-\left[iH_{s}(\tau)^{\times}+\vec{n}.\vec{\nu}\right]\varrho_{\vec{n}}-i\sum_{k=1}^{2}\Big{\{}\sigma_{x}^{\times}\varrho_{\vec{n}+\vec{e}_{k}}+\frac{\gamma_{0}}{2}n_{k}\left[\sigma_{x}^{\times}+(-1)^{k}\sigma_{x}^{\circ}\right]\varrho_{\vec{n}-\vec{e}_{k}}\Big{\}}, (22)

where we have defined ν=(1iΩ0,1+iΩ0)\vec{\nu}=(1-i\Omega_{0},1+i\Omega_{0}) and n=(nx,ny)\vec{n}=(n_{x},n_{y}), where nx,ny0n_{x},n_{y}\geq 0. Note that equations (22) have been expressed in dimensionless units as explained in the main text. This system can be solved for the operator ϱn(τ)\varrho_{\vec{n}}(\tau), with initial conditions

ϱn(0)={ρ(0)forn=(0,0)0otherwise\varrho_{\vec{n}}(0)=\Bigg{\{}\begin{array}[]{c l }\rho(0)&\mathrm{for}\ \vec{n}=(0,0)\\ 0&\mathrm{otherwise}\end{array} (23)

Of course, the hierarchy equations (22) must be truncated for large enough n\vec{n} for numerical purposes. In this work we take nx,nyNn_{x},n_{y}\leq N. Using NN of the order of 10 gives a converged, positive density matrix ρ(τ)\rho(\tau).

VII High frequency equivalent Hamiltonian

To analyze the dynamics generated by Hamiltonian (19), let us turn to a rotating frame via the unitary transformation

UR(t)=exp(i(0τΔcos(ωDs)𝑑s)σ+σ)U_{R}(t)=\mathrm{exp}\left(-i\left(\int_{0}^{\tau}\Delta\mathrm{cos}(\omega_{D}s)ds\right)\sigma_{+}\sigma-\right) (24)

The complete (system plus bath) state in this frame |ΨR(t)\left|\Psi_{R}(t)\right> is related to rest frame representation via |ΨR(t)=UR(t)|Ψ(t)\left|\Psi_{R}(t)\right>=U_{R}(t)\left|\Psi(t)\right>. The equation for the evolution of |ΨR(t)\left|\Psi_{R}(t)\right> can be expressed in the following way

ddt|ΨR(t)=iHR(t)|ΨR(t),\frac{d}{dt}\left|\Psi_{R}(t)\right>=i\>H_{R}(t)\left|\Psi_{R}(t)\right>, (25)

where HR(t)H_{R}(t) is the transformed Hamiltonian

HR(t)=UR(t)[H(t)Δcos(ωDt)]UR(t)=Ω0σ+σ+σxR(t)kgk(bk+bk)+kωkbkbk,H_{R}(t)=U_{R}(t)\left[H(t)-\Delta\mathrm{cos}(\omega_{D}t)\right]U_{R}^{\dagger}(t)=\Omega_{0}\sigma_{+}\sigma_{-}+\sigma_{x}^{R}(t)\sum_{k}g_{k}(b_{k}+b_{k}^{\dagger})+\sum_{k}\omega_{k}b_{k}b_{k}^{\dagger}, (26)

where σxR(t)=UR(t)σxUR(t)\sigma_{x}^{R}(t)=U_{R}(t)\sigma_{x}U_{R}^{\dagger}(t). By using the following identity

eiγsin(Ωt)=n=+Jn(γ)einΩt,\>e^{i\gamma\>\mathrm{sin}(\Omega t)}=\sum\limits_{n=-\infty}^{+\infty}J_{n}(\gamma)\>e^{in\Omega t}, (27)

we can express σxR(t)\sigma_{x}^{R}(t) in the following way

σxR(t)=cos(α(t))σx+sin(α(t))σy\sigma_{x}^{R}(t)=\mathrm{cos}(\alpha(t))\sigma_{x}+\mathrm{sin}(\alpha(t))\sigma_{y} (28)

where

α(t)=ΔωDsin(ωDt).\alpha(t)=\frac{\Delta}{\omega_{D}}\mathrm{sin}(\omega_{D}t). (29)

We can now take the high-frequency limit by assuming that ωD/λ1\omega_{D}/\lambda\gg 1. In such case, we can neglect the fast-oscillating terms in (27) and keep only the constant contribution, such Eq. (28) now takes the form

σxR(t)J0(ΔωD)σx,\sigma_{x}^{R}(t)\simeq J_{0}\left(\frac{\Delta}{\omega_{D}}\right)\sigma_{x}, (30)

and thus the transformed Hamiltonian (26) is time-independent.

VIII Weak coupling solution

Consider the equation of motion for G(τ)G(\tau) under the rotating wave approximation (RWA) as introduced in the main text

G′′(τ)+[1iΔcos(ωDτ)]G(τ)+γ02G(τ)=0,G^{\prime\prime}(\tau)+\left[1-i\Delta\mathrm{cos}\left(\omega_{D}\tau\right)\right]G^{\prime}(\tau)+\frac{\gamma_{0}}{2}G(\tau)=0, (31)

where G(0)=1G(0)=1 and G(0)=0G^{\prime}(0)=0. We now treat the term γ02G(τ)\frac{\gamma_{0}}{2}G(\tau) as a perturbation and expand the solution in powers of γ0\gamma_{0}

G(τ)=nγ0ngn(τ).G(\tau)=\sum_{n}\gamma_{0}^{n}g_{n}(\tau). (32)

By inserting (32) in (31) we obtain

nγ0ngn′′(τ)+[1iΔ(τ)]nγ0ngn(τ)+12nγ0n+1gn(τ)=0,\sum_{n}\gamma_{0}^{n}g_{n}^{\prime\prime}(\tau)+[1-i\Delta(\tau)]\sum_{n}\gamma_{0}^{n}g_{n}^{\prime}(\tau)+\frac{1}{2}\sum_{n}\gamma_{0}^{n+1}g_{n}(\tau)=0, (33)

where we have used the short-hand notation Δ(τ)Δcos(ωDτ)\Delta(\tau)\equiv\Delta\mathrm{cos}(\omega_{D}\tau). By arranging powers of γ0\gamma_{0} we obtain the equation for the zeroth-order term g0(τ)g_{0}(\tau),

{g0′′+[1iΔ(τ)]g0=0g0(0)=1g0(0)=0,,\Bigg{\{}\begin{array}[]{r c l}g_{0}^{\prime\prime}+[1-i\Delta(\tau)]g_{0}^{\prime}&=&0\\ g_{0}(0)&=&1\\ g_{0}^{\prime}(0)&=&0,\end{array}, (34)

which has the trivial solution g0(τ)=1g_{0}(\tau)=1. For the following order, we obtain

{g1′′+[1iΔ(τ)]g1+12g1=0g1(0)=0g1(0)=0,.\Bigg{\{}\begin{array}[]{r c l}g_{1}^{\prime\prime}+[1-i\Delta(\tau)]g_{1}^{\prime}+\frac{1}{2}g_{1}&=&0\\ g_{1}(0)&=&0\\ g_{1}^{\prime}(0)&=&0,\end{array}. (35)

This system can be integrated in a straightforward fashion to obtain

g1(τ)=12nmJn(ΔωD)Jm(ΔωD)1inωD(ei(nm)ωDτeτeimωDτ)g_{1}^{\prime}(\tau)=-\frac{1}{2}\sum_{n}\sum_{m}\frac{J_{n}\left(\frac{\Delta}{\omega_{D}}\right)J_{m}\left(\frac{\Delta}{\omega_{D}}\right)}{1-in\omega_{D}}\left(\>e^{-i(n-m)\omega_{D}\tau}-\>e^{-\tau}\>e^{im\omega_{D}\tau}\right) (36)

We can obtain g1(τ)g_{1}(\tau) by integrating expression (36). The full approximated solution is then given by

G(τ)g0(τ)+γ0g1(τ)=1+γ0g1(τ).G(\tau)\simeq g_{0}(\tau)+\gamma_{0}g_{1}(\tau)=1+\gamma_{0}g_{1}(\tau). (37)