3. Symmetric Setting
We first start with the symmetric setting. In this case, both oscillator are assumed to have the same physical frequencies and damping constants . Likewise, both private baths will have the same power spectral densities and the cutoff scales , so that their kernel functions are identical, . This setting is particularly convenient to investigate the effects of the bath’s nonMarkovianity, manifested in this case by the cutoff scale or the memory time.
In the symmetric setting, the normal modes are nothing but the center-of-mass and the relative superpositions of the original two modes,
Then we have
where
represents the oscillating frequencies of the normal modes, and
is given by
Here we remind that both private baths, associated with each oscillator, are initially uncorrelated and do not have direct coupling. Thus each mode acts as an Ohmic, nonMarkovian oscillator with different oscillating frequencies. Since for the equation of motion of the form (
15) takes the generic form
we will first use this equation to discuss the effects of the bath nonMarkovianity on the system’s dynamics.
The general solution of
is given by the inverse Laplace transform of
with
, and
in which
We will choose the double Lorentzian form for the bath spectral density. The two fundamental solutions
and
are two particularly useful homogeneous solutions to the equation of motion (
17). They satisfy the initial conditions
,
,
and
, and are used to construct the complete solution to (
17).
For the double Lorentzian bath spectral density, the Laplace transform
has four poles: two negative real poles and two complex poles, whose real parts are real. Since for a given set of
,
, and
, the two real poles are more negative than the real parts of the complex poles, so at late times, the damping behavior of
is controlled by the real part of the complex poles. Thus, we may construct an effective damping constant, which is approximately given by
when
,
in the long memory time limit. It implies that these two modes will have two different effective damping constants due to the difference in the normal mode frequencies, even though they have the same bath configuration.
Figure 1 shows how the effective damping constant depends the oscillating frequency and the cutoff scale. We can immediately identify two features: (1) for a given cutoff scale, the damping is weaker, that is, smaller effective damping constant, when the frequency is larger. It is clearly seen in the second row of
Figure 1, and the difference is more significant for smaller cutoff scales. This feature is related to the second feature: (2) for a given oscillating frequency, the effective damping constant
decreases if we lower the cutoff scale
, and such change is more dramatic when
is smaller than the oscillating frequency
. The weakening of the effective damping constant can be understood from two aspects. Since the inverse cutoff scale can be interpreted as the memory time of the bath, which moderates the duration the system, with which the bath interacts, depends on its past history. From this viewpoint, when the memory time is longer than the typical period
of the oscillatory motion, or when the cutoff scale
is smaller than the oscillating frequency
, the system dynamics from the previous cycle is still in good coherence with the current one. Thus the motion is progressively superposed to compete against decaying due to dissipation. This effect is expected to be more prominent when the memory is much longer, because the contributions from more earlier cycles will coherently join in [
23]. Alternatively, the weakening effect can also be understood from resonance absorption [
26]. The equation of motion (
17) more or less describes a driven, damped harmonic oscillator, although this may not be obvious when the nonlocal integral expression is present. However, we may start from the limit
, where the integral expression gives
and Equation (
17) reduces to the standard form. It is known that such a system has peaked power spectrum, centered at around
with a width of the order
. Now heuristically suppose we only allow bath modes whose frequencies are lower than the location of the resonance peak,
. These modes will not be very efficient in exchanging energy between the oscillator and the bath, so neither can they effectively drive the oscillator, nor can drain the energy out of the oscillator. Therefore it leads to relatively weak damping to the oscillator’s motion.
By these arguments, we expect that for a fixed , in particular when , a larger value of means that the bath modes which participate in the interactions are further away from the resonance peak, thus rendering less effective energy exchange. Or, when the memory time becomes even longer than the system’s period, thus allowing more coherent cycles from the past history of the oscillator’s motion. These make the effective damping weaker.
Figure 2 shows the cutoff scale dependence of the effective damping constant by numerical method. We see that when
, the effective damping constant
monotonically decreases with
, and is smaller than its Markovian counterpart
. On the other hand, in this case when
is greater than
, the nonMarkovian effect is barely present. This raises an interesting observation. Here we choose
, which typically falls in the strong oscillator-bath coupling regime. By introducing nonMarkovianity via engineering the bath’s spectrum, we seem to effectively render the reduced dynamics of the oscillator to behave like a weak coupling case. Or, by tuning the bath spectrum, we may be able to vary the effective coupling between the oscillator and the bath.
Based on the above arguments and the idea of effective damping constant, we may be led to ask an important strategic question: Can we find a weak-coupling Markovian effective system to mimic the strong-coupling nonMarkovian system? It can greatly facilitate the theoretical study of the nonMarkovian system, because the latter is computationally challenging and demanding. In contrast, the former is analytically and exactly solvable. The answer depends. We will come back to this in
Section 4.
To compute the entanglement measure (Relevant material can be found in
Appendix A) via negativity, we start from the covariance matrix elements of the normal modes, since each mode is “decoupled” (Strictly speaking this is not entirely correct because
are not independent). For the discussion of sustainability of entanglement, we suppose two oscillators are initially prepared in a two-mode squeezed vacuum state (see
Appendix B for the discussion of the two-mode squeezed state). When the squeeze parameter
is not zero, the initial state is already entangled, and the degree of entanglement grows with increasing
. With respect to the normal modes, the nonzero covariance matrix elements of the coupled oscillator in this initial state are
These two conditions ensure the covariance matrix with respect to the normal mode remains blockwise diagonal at all times
Thus we only need to compute a smaller set of covariance matrix elements,
Here
are the counterparts of the fundamental solutions, discussed in (
18), of the normal modes.
Then we can restore the covariance matrix elements of the canonical variables of two modes by suitable superpositions of the covariance matrix elements of the normal modes. This step is essential because entanglement is partition dependent [
27]. The entanglement measure, negativity, of a bipartite system depends on how we partition the bipartite system. Its values vary if we use the normal modes, instead of the canonical variables of the bipartite system, to construct the measure. This can be traced to the fact that the partial transposition does not belong to the symplectic transformation (see
Appendix A for a brief discussion).
Before we proceed, we take a look at the time evolution of the selected covariance matrix element
for different choices of the bath temperatures and the bath cutoff scales. In
Figure 3, different rows correspond to different initial bath temperatures
, while different columns are associated with different bath memory times
. We immediately see that
relaxes more slowly for longer memory times, consistent with the time evolution of the solution shown in
Figure 1.
We observe that each covariance matrix element can be decomposed into two components: (1) the intrinsic (active) component depends on the initial condition of the oscillator, and is damped by dissipation to the bath, and (2) the induced (passive) component is generated by the quantum and thermal fluctuations from the bath, independent of the oscillator’s initial condition. The latter is the only component that will survive at late times, so the late-time value of the covariance matrix elements will not depend on the initial conditions of the system. Both components obey different statistics and are not correlated for the linear system. The memory endowed by the bath has different effects in both components. In the intrinsic component, the nonMarkovian effect leads to a weaker damping rate, so we expect that the information on the initial conditions of the system will linger for an extended period of time. On the other hand, in the passive component, the coherent superposition of the oscillator’s motion over previous cycles, due to the memory effect, will compete with the accumulative intervention, resulting from the thermal fluctuations of the bath.
In each column, when the intrinsic component dies down, the value of the dispersion will not decay to zero; otherwise it will violate uncertainty principle. In fact it will more of less come a constant due to balance between the thermal fluctuations and damping, and this constant value grows with the bath temperature because at higher temperatures, the bath fluctuations are stronger and becomes more random, less correlated, but damping in this case is independent of the bath temperature.
A longer memory time implies a longer effective relaxation time scale, and thus a longer duration for the effects of thermal fluctuations to accumulate. This probably explains the larger values of the dispersions
at late times when the cutoff scale
is smaller in each row of
Figure 3. However, this difference is rather insignificant at higher bath temperature, signifying the ineffectiveness of nonMarkovian effects at higher temperatures.
We will transform the covariance matrix
back to that with respect to the modes
by
where
is a global symplectic matrix, that is,
.
The symplectic eigenvalues of the partially transposed covariance matrix
is then given by
with
,
spelled out below in terms of covariance matrix elements of the normal modes as
Thus, the entanglement of the system at any given moment
t is determined by the value
.
The time evolution of the symplectic eigenvalue
is shown in
Figure 4. Since it contains products of various elements of the covariance matrix, we cannot simply decompose
into the intrinsic and the induced components as we did for each covariance matrix elements. However, we still expect that the initial entanglement between the oscillators will be gradually lost because contributions related to the oscillators’ initial conditions will be exponentially small, and that the late-time behavior of the symplectic eigenvalue
is predominantly controlled by the bath. Thus the existence of the entanglement at late times will be independent of the initial conditions of the oscillators, but determined by the configuration of the bath such as the memory time, temperature and the oscillator-bath coupling strength.
Since we choose an entangled initial state, we see that the memory effect is much more significant during the relaxation stage. The duration
for both oscillators to remain entangled is correlated with the length of memory time. In
Figure 4 the coupled oscillators become separable when
. Comparing the plots in each row, we observe that the entanglement interval during the relaxation stage increases with the memory time
. In other words, the entanglement is more robust against the thermal fluctuations and can be sustained at higher bath temperatures, owing to the nonMarkovian effect due to the bath’s memory. This point is particularly clearly seen when we compare the
,
and
,
cases. In the latter, the bath temperature has 10 times higher than the former, but the entanglement dies out at approximately the same time around
, as shown in
Figure 4. It is expected to be more dramatic for even smaller cutoff scale, as is inferred from the behavior of oscillator dynamics, shown in
Figure 1. The result that
may not seem significant as it appears. However, recall that the oscillators are strongly coupled to the bath because
. In
Figure 5, we will see that
for the corresponding Markovian bath (green curve) is merely
. Furthermore, let us put it in a comparative perspective. For example,
for the
,
case. The effective damping constants for the two normal modes are approximately given by
and
. Thus the effective relaxation time is roughly
. The memory time in this case is
. Thus the entanglement duration is about six-fold of the memory time and one third of relaxation time. Thus, this entanglement duration is quite appreciable in the relaxation process. It can be further improved if we enhance the initial squeezing.
In
Figure 4, we also see that although the oscillators become disentangled after
, determined by
,
,
and
, the entanglement can resurrect at a later time, when the memory time is sufficiently long and the bath temperature is low enough, as shown in the case
,
. However, this late-time entanglement does not benefit from the initial squeezing because its effect has been dissipated away. The plots show that although the nonMarkovian effect may improve entanglement at late times, the benefit is marginal. To understand this better, let us focus on the behavior of the covariance matrix elements and the symplectic eigenvalue
after the oscillators are relaxed to the steady state.
The late-time result in this case is particularly simple, since
and
vanish. We are left with only four elements
and
, and they are given by
Figure 6 shows that the late-time value of
decreases with the larger cutoff scale
or the shorter memory time. It is consistent with earlier observations, and it can be clearly seen that the variation of
is less significant, implying that the nonMarkovian effect is much weaker at higher bath temperature. This is also demonstrated in
Figure 7, where the curves corresponding to different cutoff scales essentially converge when the bath temperature
is of the order
. Note that the late-time values of the covariance matrix elements are mainly governed by the bath. When the bath has a higher initial temperature
, it imparts stronger thermal fluctuations to the system. Thus the values of
quickly increase with the bath temperature.
In
Figure 8, we show the dependence of the symplectic eigenvalue
on the bath temperature and the bath cutoff scale at late times, after the dynamics of the oscillators are fully relaxed. Recall that a large damping constant in the strong oscillator-bath regime is chosen, so the entanglement between the oscillators is typically difficult to maintain at late times. We see a trend, though not very significant, that the longer memory time
or the lower bath temperature
is prone to keep the oscillators’ entanglement at late times. In the left panel, with a longer memory time, the entanglement still exists at higher bath temperatures although this critical temperature does not change much with
and is still of the order
. On the other hand, the right panel shows that with a lower bath temperature, the entanglement may still survive for shorter memory times. These examples illustrate the coherent superposition induced by the nonMarkovian memory effect is capable to counter, at least marginally, the debilitating effects accumulated over the whole course of evolution due to the thermal fluctuations.
4. Strongly Coupled NonMarkovian Dynamics vs. Weakly Coupled Markovian Dynamics
In the previous section, we note that the dynamics of a coupled system strongly coupled to a nonMarkovian bath seems to behave in some aspects like that of a system weakly coupled to a Markovian bath, and raised the question whether we can use weakly coupled Markovian linear open systems to approximate strongly coupled nonMarkovian linear open systems? This issue is of significance because one may argue that even though many open system processes in the real world involve memories and are thus fundamentally nonMarkovian, we may in practice describe them by using a simpler effectively Markovian formulation. How valid are such prescriptions of convenience? We want to take a closer look at this issue with the help of a concrete example.
For the normal modes of the coupled oscillators described by (
15), we suppose there correspond
effective equations of motion of the normal modes for the weakly coupled Markovian oscillators
For example, when
,
and
, the effective damping constants of the normal modes are
and
. The presence of the delta function
in the Markovian case induces an instantaneous kick at the initial time. This gives a
distortion of
at time right after the initial time, compare to the case in the absence of the kick. Its effect then diminishes with time. On the other hand, the delta function term does not modify
because
.
Figure 9 shows the time evolution of
, the covariance matrix element
, the uncertainty relation
for the normal mode +, and the symplectic eigenvalue
. The blue curve corresponds to the strongly coupled nonMarkovian system (
15), while the orange curve represents the effective, weakly coupled Markovian system (
31). The fundamental solution in both cases look quite similar. They decay approximately with the same rate, but their phases vary with time. This minor difference starts showing its repercussion effects in the covariance matrix element
, which accounts for the uncertainty of the
mode, or the degree of coherence. Both curves notably disagree before relaxation. The situation deteriorates even more for
, the Robertson-Schrödinger relation of the mode +. Note that both modes are decoupled in the sense of (
23). The plot shows that the nonMarkovian description of the same system seems to have a better control of coherence, compared with the effective Markovian description. Finally when we examine the symplectic eigenvalue
, they give quite a distinct prediction. The original nonMarkovian description shows that the entanglement between the oscillators can be maintained up to
, but the effective Markovian formalism predicts roughly
. Moreover, at late times, the original nonMarkovian description shows the presence of residual entanglement in the
and
case, which is in the strong oscillator-bath coupling, low temperature regime. Since the disparity is more than marginal, the Markovian approximation, instead, predicts that the state of the system is separable.
The results in
Figure 9, structured as a hierarchy from the evolutionary phase of the canonical variables, to its dispersion, then to the uncertainty of the constituent of the system, and finally into the integrated correlation among the system, indicate that the approximated Markovian description fails to precisely grasp the phase information embedded in nonMarkovian dynamics of the reduced system of the coupled oscillators. The approximated description tends to give poor predictions of the quantities that involving phases, or coherence. Thus the effective, weak coupling, Markovian description cannot be a sufficiently accurate substitute of the original strong coupling, nonMarkovian, linear open systems, even though the former has extraordinary convenience in computations.
Next we turn to the final issue discussed in this paper: whether the memory effect can be transferred from one party to the other in a bipartite system?
5. Asymmetric Setting
Suppose in the system of two coupled oscillators, one of which (oscillator 1) has a finite memory time due to small cutoff scale of its private bath, but the other (oscillator 2) has a negligible memory time due to the large cutoff scale. From the previous discussions, we learn that when they stand alone, oscillator 1 has a much smaller effective damping constant, resulting from the memory effect, in comparison with oscillator 2, so they will relax with different paces. Now when we couple them together, how does the coupled system evolve? Is the evolution dominated by the memoryless system, or by the nonMarkovian system? Or, will the memory effects in oscillator 1 be transferred to oscillator 2, so that it is shared among them, causing the coupled system to evolve in a cooperative way? Further, how does this affect the entanglement dynamics.
Since both private baths have different cutoff scales, the reduced system of coupled oscillators has an asymmetric configuration. We will start from (
8), (
10) and (
11) with
for
, 2. Since working in the normal modes does not reduce computation hurdles, we will directly compute the covariance matrix elements of the canonical variables of the coupled system. For example,
will take the form
As before, we suppose that the initial state of the coupled oscillator is a two-mode squeezed vacuum state.
We plot the time evolution of the covariance matrix element
in
Figure 10. In the right plot, the blue curve corresponds to
when the private baths of two coupled oscillators have the same cutoff scale
, while the green curve represents
when the private baths have the cutoff scale
. They can be respectively compared to
and
in the left plot. For the memoryless case in the right plot (green curve), the covariance matrix element
decays very fast, and its time evolution is almost fully relaxed when
, which is about twice the relaxation time scale
. On the other hand, in the finite memory case, the blue curve falls off rather slowly. Its oscillatory behavior remains visible when
. The left plot of
Figure 10 describes the above asymmetric setting where the oscillator 1’s private bath has the cutoff scale
, but the oscillator 2’s bath has
. We immediately see that for such a hybrid system,
(green curve in the left plot) does not decay as fast as the green curve in the right plot. Nonetheless,
of oscillator 1 in the hybrid system falls off faster than its counterpart (blue curve) in the right plot. These results imply transfer of the memory effect. Oscillator 2, which is essentially memoryless, benefits from such a transfer because its covariance matrix element shows a prolonged relaxation time (to roughly
), but this transfer shortens the memory time of oscillator 1. Thus in the hybrid system, motion of both oscillators in fact takes a cooperative way, and is neither dominated by the memoryless component nor governed by the one with a finite memory. Will their entanglement dynamics shows a similar feature?
Figure 5 gives the time evolution of the symplectic eigenvalue
of the partially transposed covariance matrix
. The asymmetric setting is described by the orange curve, where two private baths have different cutoff scales
,
such that one of the oscillator is Markovian and basically memoryless. The blue curve describes the symmetric setting when both private baths have the same cutoff scale
. That is, both oscillators are nonMarkovian and have equal memory time. In contrast to the previous case, we have coupled (almost) Markovian oscillators (
) in the green curve. Since the damping constant
is chosen to be 0.5, we find
associated with the memoryless case settles down to an equilibrium value
very quickly, compared to the other two cases. Its value shoots up past
when
, even though the bath temperature
, is rather low. In this case, once the state becomes separable, it remains disentangled. For the other extreme when both oscillators have the same, long memory time (blue curve), the initial entanglement is sustained up to
, and at late times the curve falls below the
level, whence the entanglement between the oscillators is revived. Finally, in the hybrid case, the duration the system remains entangled happens to fall between two cases of the symmetric setting. We find
, much shorter than the blue curve case but slightly better than the green curve case. At late times, we observe that the curve gradually dips down to 0.571, still above the
level, so the system is not entangled at late time. This sloping-down behavior, also seen in the blue curve, may imply the memory effect in one of the private baths is still in effect, because the corresponding bath induces a longer effective relaxation time.
We observe that for the hybrid system during the relaxation regime, the duration the quantum entanglement is sustained over falls much shorter than the case when both oscillators have the same long memory time, and improves slightly compared to the Markovian, memoryless case. A similar phenomenon has been observed in [
2]. There, two coupled oscillators in the two uncorrelated private bath setting are attached to their own Markovian private baths, which have different bath temperatures. In that case, we find that if the temperature in one of the private baths is raised beyond the critical temperature of the order
, then the entanglement between the oscillator is lost even though the other bath is kept at temperature much lower than the critical value. Similarly, here since one of the oscillator is memoryless, the coupled system formed purely by this oscillator is supposed to have a short entanglement time
(the green curve). Thus even it is coupled to a nonMarkovian oscillator, as in the hybrid case, the entanglement duration still fails to gain any improvement. That is, the entanglement duration of a bipartite system is predominantly controlled by the component that least favors the sustainability of system entanglement.