Entropic uncertainty relations for Markovian and non-Markovian processes under a structured bosonic reservoir.

The uncertainty relation is a fundamental limit in quantum mechanics and is of great importance to quantum information processing as it relates to quantum precision measurement. Due to interactions with the surrounding environment, a quantum system will unavoidably suffer from decoherence. Here, we investigate the dynamic behaviors of the entropic uncertainty relation of an atom-cavity interacting system under a bosonic reservoir during the crossover between Markovian and non-Markovian regimes. Specifically, we explore the dynamic behavior of the entropic uncertainty relation for a pair of incompatible observables under the reservoir-induced atomic decay effect both with and without quantum memory. We find that the uncertainty dramatically depends on both the atom-cavity and the cavity-reservoir interactions, as well as the correlation time, τ, of the structured reservoir. Furthermore, we verify that the uncertainty is anti-correlated with the purity of the state of the observed qubit-system. We also propose a remarkably simple and efficient way to reduce the uncertainty by utilizing quantum weak measurement reversal. Therefore our work offers a new insight into the uncertainty dynamics for multi-component measurements within an open system, and is thus important for quantum precision measurements.

Introduction

The uncertainty principle, originally proposed by Heisenberg[1], is a fascinating aspect of quantum mechanics. It sets a bound to the precision for simultaneous measurements regarding a pair of incompatible observables, e.g. position () and momentum (). Later, the uncertainty principle was generalized, by Kennard[2] and Robertson[3] as applying to an arbitrary pair of non-commuting observables (say and ) where the standard deviation is given asfor a given system, ρ, where the variance is given as , <•> denotes the expectation value of the observable, and denotes the commutator. Importantly, the standard deviation in Robertson’s relation is not always an optimal measurement for the uncertainty as the right-hand side of the relation depends on the state ρ of the system, which will lead to a trivial bound if the operators and do not commute. In order to compensate for this, Deutsch[4] put forward an alternative inequality of the formfor any pair of non-degenerate observables and in terms of Shannon entropy, i.e. the so-called entropic uncertainty relation (EUR). To be explicit, the Shannon entropy is given by , where ; the parameter c in Eq. (2) weighs the maximum value of the overlap between observables and , which can be mathematically expressed as , with and being the eigenstates of and . Obviously, yet remarkably, that the lower bound is now independent on the state of the given system. Later, Kraus[5], as well as Maassen and Uffink[6] made a significant improvement by refining Deutsch’s result towhere the largest uncertainty can be obtained for two arbitrary mutually unbiased observables. More recently, Coles and Piani[7] have obtained an optimal solution with formwith being the second largest value of for all values of and . It is obvious that the bound holds, which implies Eq. (4) offers a tighter bound when compared with the former iterations.

In fact, the importance of the uncertainty principle is that it reflects the ability of stored quantum information within quantum memory to reduce or eliminate the uncertainty associated with a measurement on a second particle entangled to the quantum memory[8, 9]. Moreover, EUR has been established as a powerful tool for various applications, including: security analysis for quantum communication[7], entanglement witness[10-12], probing quantum correlation[13, 14], quantum speed limit[15, 16], and steering Bell’s inequality[17]. Additionally, there have been several expressions for the optimal outcome of EUR associated with two-component or multiple measurements[18-20]. Notably, due to interacting with a noisy environment, the quantum system will suffer from decoherence, thereby inflating the entropic uncertainty to some extent. Therefore, it is of fundamentally importance to clarify how environmentally-induced decoherence affects the uncertainty of measurements. Till now, there have been some observations with respect to the entropic uncertainty under the influence of various types of dissipative environments[11, 21–26]. Recently, Karpat et al.[27] proposed an interesting argument that the memory effects can straightforward manipulate EUR’s lower bound in a practical scenario.

It is well known that, any environment can be classified as either Markovian (information stored in the qubit system flows one-way from the system to the environment) or non-Markvian (information stored in the qubit system is capable of bidirectional flow between the system and the environment). Here, we aim to understand how a structured environment affects the EUR as it undergoes a crossover between non-Markovian and Markovian regimes. The model herein considered is a two-level atomic system coupled to a composite environment, which consists of a single cavity mode and a structured reservoir. The model is simple yet sophisticated enough for our purpose. It should be noted that non-Markovian dynamics for the qubit-cavity model has been studied theoretically[28] and demonstrated experimentally[29] beyond the non-Markovian regime. For a reservoir with an Ornstein-Uhlenbeck type of correlation function, the reservoir correlation time may be described with a single parameter, conveying the reservoir’s decay time. Composite environments include several time scales denoting the information exchange between the two subsystems, as well as between the system and the environment. However, the single parameter method is not generalizable to composite environments. Therefore, we investigate a several-parameter regime for the cavity-reservoir coupling strength and show how these parameters affect the EUR. Remarkably, we found that the dissipation of the external environment caused quantitative fluctuations in the value of the entropic uncertainty. In particular, we also provide a simple and efficient way to decrease the uncertainty by leveraging the degradation of the initial state of the subsystem induced by this hierarchical environment via quantum weak measurement reversals.

Results

Systemic dynamics

Herein we consider a model system consisting of an atom (a qubit), a single-mode cavity and treat the environment as a structured bosonic reservoir. As illustrated in Fig. 1, information can flow between the atom, the cavity and the reservoir. Explicitly, during a Markovian evolution the information will outflow from the qubit to environment which consists of the cavity and reservoir. On the contrary, if the system exists within a non-Markovian regime, information will not only outflow but also backflow from the qubit to the hierarchical environment. The system can be described by the Hamiltonianwhereis the free Hamiltonian of the composite system consisting of an atom, a cavity and a structural reservoir. Within Eqs (5) and (6), , and denote the transition frequency of the atom, the transition frequency of the cavity, and frequency of the jth mode of the reservoir, respectively. The Pauli operator with and representing the excited and ground states, respectively. and denote the creation (annihilation) operators for the cavity and the jth mode of the reservoir, respectively. Finally, denotes the interaction Hamiltonian for both the atom-cavity and the cavity-reservoir. In the interaction picture — under the resonance condition () — the interaction Hamiltonian, , can be written as

Figure 1

A schematic of information flow within the composite system consisting of the atom, single-mode cavity and reservoir with Lorentz spectrum . Explicitly, the atom is coupled with the cavity by coupling constant, , and the cavity is coupled with a structured reservoir with an additional coupling constant, .

Within the above, and are the upper and lower operator, respectively; is the atom-cavity coupling strength, is the coupling strength between the cavity mode and the jth mode of the reservoir, and describes the detuning of the cavity and the reservoir. We assume that the reservoir has a Lorentzian spectrum . In this case, the correlation function of the reservoir is given by , and the correlation (or memory time) is τ = γ −1. When γ goes to infinity, the model environment tends to a reservoir possessing no memory effect. Under these assumptions, we obtain reduced dynamics for the atomic state, which is given as (see Method section for details)where and withwhere L −1 is the canonical inverse Laplace transformation.

EUR under a reservoir with memory

Assume the initial state of the atom to be an arbitrary pure state represented by , with and . A Markovian evolution can always be represented by a dynamic semigroup of completely positive and trace-preserving maps. These properties guarantee the contractiveness of the trace distanceIn Eq. (10), the general form of the magnitude is between an arbitrary state ρ 1 and another state ρ 2. Note that, a Markovian process is unable to increase at any time step. In other words, a Markovian process either decreases or maintains the trace distance. Essentially, the reduction of the trace distance is indicative of a reduction in the distinguishability between the two states; this could be interpreted as an outflow of information from the qubit subsystem to the environment. Accordingly, the increase of trace distance can be understood as a backflow of information into the atomic system of interest, which is characterized by non-Markovian evolution. Hence, the violation of the contractiveness of the trace distance would signify the on-set of non-Markovian dynamics in the system. To be explicit, non-Markovianity[30] in a system can be measured bywhere is the rate of change of the trace distance as expressed by Eq. (10).

To clearly display the evolution of an atomic system under the reservoir with memory, we may utilize an optimal pair of states — (, ) — as the two initial states, where as verified by previous works[31, 32]. Thereby, after some calculations, the trace distance can be derived as:where is taken as Eq. (9) and satisfies . Incidentally, henceforth an abbreviation (TD) shall be used to represent the trace distance, , calculated under the two optimal initial states . In this case, a sufficient and necessary condition for a Markovian evolution is equivalent to stating that is a monotonically decreasing function (i.e. , ); and therefore, a sufficient and necessary condition for a non-Markovian evolution is equivalent to that is a non-monotonically decreasing function (i.e. ).

Here we employ a pair of Pauli observables — and — as the incompatible measurements. These two matrices are also conventionally used to describe the spin-1/2 observables. Each of the matrices yield the eigenvalues ±1 with eigenstates and . For the two Pauli operators, the uncertainty for measuring the two observables can be quantified by the entropic sum

To illustrate this fact, in Fig. 2 we vary the amount of uncertainty and the trace distance with respect to the time (t) for the initial state — which was constructed with and — for the case of  Hz. As shown in Fig. 2, the TD decreases initially and then oscillate periodically, but eventually tends to zero at the limit of long-time. This can be interpreted as an indicator of the system becoming non-Markovian; in this case, the information stored in the atom can not only outflow but also backflow. This is to say, the information will not only be lost to the environment, but also may be recovered to some extent. This is indicative of the capacity of the information to bi-directionally flow between the atom and the reservoir via the cavity. Eventually the entire system becomes dynamically balanced, which drives the qubit subsystem to an asymptotic steady state. Notably, in the non-Markovian regime, the peak values of the TD gradually become smaller with increasing time. This reduction of the peak value for the TD implies that the backflow information is always less than the information outflow due to dissipation. To clarify how the system evolves with fixed θ, in Fig. 3 we plot (representative of the system’s non-Markovian character) as a function of for different values of . From this one can infer that there are two main factors which influence the non-Markovianity of the system: 1) the ratio value of ; 2) γ, which is related to the correlation time (τ) of the structured reservoir. Specifically, a stronger coupling strength, , between atom and cavity can lead to a greater non-Markovian character for the atomic system; a contrario, the larger values of γ (the longer correlation time, τ) facilitates greater non-Markovianity.

Figure 2

The trace distance, , and entropic uncertainty as a function of for an initial state constructed with and ; we have set  Hz. In Graphs (a,b), and , respectively. Within each graph, the solid line represents the uncertainty while the dashed line represents the trace distance in the two graphs.

Figure 3

The non-Markovianity, , as a function of for different values of . From top to bottom, takes on values from 0.1 to 5.

Let us now shift topics to the problem of how the noise may affect the uncertainty. Intuitively, the uncertainty should become larger when the atomic subsystem moves to a mixed state from a pure one. We plot the evolution of the measurement uncertainty with respect to time in Fig. 2(a,b) with and , respectively. One can infer that: (1) In the short-time regime, the TD of the atom decreases monotonously, while the uncertainty initially increases and then decreases. Intuitively, the system will degrade when the TD decreases, and thus the uncertainty ought to constantly increase all the time, yet this disagrees with the results displayed within Fig. 2(a,b). (2) The uncertainty initially increases and then shows a quasi-periodic oscillation which shrinks to the lower bound (B ) of the optimal uncertainty relation, and the minimal value of the uncertainty is as for our choice of incompatible measurements ( and ). That is to say, the uncertainty relation for the two-component measurement — when coupled with a structured reservoir in presence of quantum memory — never violates any previously suggested form of the uncertainty relation. This result certifies that the EUR — as it was previously proposed — is applicable to both the presence and absence of noises. (3) After the first minimal TD, the frequency of the uncertainty oscillation is the same as that of the TD. This shows that the fluctuation of the uncertainty is not synchronized with the change of the atom-system TD in short-time limit, yet is synchronized with the TD after the first minimal distinguishability. (4) The smaller -value can lead to the stronger non-Markovian characteristic. Stated otherwise, longer correlation times, , of the reservoir are responsible for non-Markovianity in such a system.

To better understand the dynamics of the entropic uncertainty in the current model, we introduce the purity of a state, expressed as

We plot the purity and the uncertainty as a function of time in Fig. 4 with  Hz, for an initial state constructed with and . We have set , and in Fig. 4(a,b), respectively. From Fig. 4(a,b), one can infer that: (1) The ratio is considerably effective at generating systemic non-Markovianity. To be explicit, the stronger coupling strength between the atom and the cavity, , is responsible for non-Markovianity, while the weaker coupling strength between the reservoir and the cavity, , can lead to Markovianity. This can be interpreted as the cavity merely being another sub-environment in addition to the structural reservoir. With this in mind, one can say that both the cavity and the reservoir (which can be regarded as the total environment) can effect the non-Markovianity of the atom system. (2) The uncertainty is fully anti-correlated with the purity of the qubit, which is a very interesting result and is consistent with previous claims in ref. 21. This implies that the uncertainty will increase correspondingly while the purity decreases, and vice versa.

Figure 4

The purity, , and entropic uncertainty as a function of , where we have set  Hz with the initial state constructed with and . In Graph (a) ; the black line represents the uncertainty, while the grey line represents the purity of the atomic evolutive state. In Graph (b) ; the green line represents the uncertainty, while the cyan line represents the purity of the atomic evolutive state.

EUR under a memoryless reservoir

We shall next consider the other limiting condition: that the reservoir is memoryless, i.e. . In this case, the cavity’s presence is solely responsible for the non-Markovian character, and the correlation time is zero. By considering , one can obtain in Eq. (9) can be reduced intowhere . This expression is in agreement with the results presented in ref. 33, apart from a difference in units. This coincidence is attributable to from the fact that the dynamics of a single qubit coupled to a vacuum reservoir with a Lorentzian spectrum could be simulated by a pseudomode approach with a memoryless reservoir[34, 35]. Two distinct dynamical regimes are identified and undertake a phase transition to each other at the critical condition: [36]. In the weak-coupling regime, , one can easily determine that the dynamics are Markovian and the TD for the optimal pair () decreases as decreases monotonically. In the strong-coupling regime, , the evolution is non-Markovian and oscillates between positive and negative values.

In what follows, we discuss how the coupling constants ( and ) can influence the value of the uncertainty associated with the measurement. As before, we employ the observable pair and as the pair of incompatibility measurements. Let us first consider the variation of the uncertainty and the TD for the evolutive atom state with respect to . As shown in Fig. 5(a), with fixed the TD decreases at first and then oscillates periodically when or 1. This can be interpreted as the information not only flowing out of the atom, but also back-flowing into atom when is sufficiently large, and hence the evolution of the atom is non-Markovian. A relatively small ratio of indicates that the qubit is losing information at a far slower rate than the evolution of the environment, therefore backflow of information does not occur happen and the environment’s evolution is not appreciably interrupted. When the evolution is Markovian, , the dominant effect is information outflow from the atomic system into environment, and thus TD will be reduced gradually. We plot the change of non-Markovianity with respect to in Fig. 5(b). >From the Fig. 5(b), the non-Markovianity () is zero-valued when , as the evolution of the qubit is Markovian in this situation. is non-zero while , implying that the evolution is non-Markovian. During a non-Markovian evolution while , the information will not only outflow, but also backflow with increasing time. Notably in the non-Markovian regime, the maximum value of the TD is always below unity; this limit is largely due to dissipation effects. Additionally, the entropic uncertainty increases while the TD of the atom system decreases in the short-term due to the increase in the entropic uncertainty when the system becomes unstable and undergoes dissipation. However, from Figs 5 and 6 one can see that with the decrease of the TD, the uncertainty of measurement will firstly increase and then decrease in a relatively short-time regime. Furthermore, the magnitude of the entropic sum undergoes periodic oscillations associated with the oscillating TD, and shrinks to the lower bound of EUR (B ) in the long-time regime. This indicates that the entropic uncertainty is not merely synchronous with the evolution of the atomic system at the initial stage of evolution, it becomes increasingly synchronous with the evolution of the atomic system after the TD reaches the first minimum. We note that the fluctuations of both the TD and the uncertainty become smaller as grows larger, i.e. a stronger coupling constant between the cavity and the reservoir will decrease disturbance on the entropic uncertainty. This implies that the cavity-reservoir coupling strength, , may dramatically influence the entropic sum. Furthermore, we plot the purity as a function of with different coupling-strength ratio of in Fig. 6 when the initial state of the qubit system is generated with and . From Fig. 6, it is obvious that the uncertainty is always anti-correlated with the purity of system, which is entirely consistent with our previous statement. Through the above analysis, we can conclude that stronger -coupling can affect the reservoir and can result in backflow of information to the atom, leading to a periodic evolution of the uncertainty.

Figure 5

In Graph (a) we plot the trace distance, , with respect to the dimensionless time for various coupling-strength ratios () for an initial state constructed with and . The green dotted line is plotted with , the magenta dash-dotted line is for , the cyan broken line is for and the blue solid line is for . In Graph (b) we plot the non-Markovianity () with respect to for an initial state constructed with and . The line is broken at , which is a singular point.

Figure 6

The variation of the uncertainty for the measurement and the purity of the evolutive system — in the absence of quantum memory — with respect to the dimensionless time () for different coupling-strength ratio of for an initial state constructed with and . In the Figure, the dash-dotted lines represent the uncertainty, and the solid lines represent the purity of the evolutive state of the qubit. Graphs (a–d) are plotted with set to 0.5, 1.0, 5.0 and 10, respectively.

We also explore the relation between the initial state and the entropic sum in Fig. 7, where one finds that the value of S is symmetric about , and decreases with an increase in for a fixed . Specially, reaches a peak when and at the point of at . This implies the excited state of the atom is more sensitively to the uncertainty of the measurement in the current model comparing with that of the ground state.

Figure 7

The variation of entropic sum, S , with respect to the polar angular (θ) and phase () of the initial state constructed with and .

Reducing the uncertainty via weak measurement

A novel idea has recently been proposed to protect a state from decoherence by using quantum partially collapsing measurements, i.e. weak measurement reversals (WMR)[37-39]. The WMR procedure is described asWithin the above, the measurement strength satisfies and is the normalized coefficient of the time-dependent state. The WMR essentially makes a post-selection that removes the result of the qubit transition ; WMR can be implemented by an ideal detector to monitor the environment. This is also referred to as null-result WMR because the detector does not report any signal. In a WMR, complete collapse to an eigenstate does not occur, and thus the qubits continue in their evolution. Decoherence can be largely suppressed within the systems by uncollapsing the quantum state, returning it to the excited state.

It is well known that the amount of the uncertainty is crucial for quantum precision measurements, and one always expects a smaller measurement uncertainty when obtaining exact measurements. Motivated by this, we explore a methodology to reduce the uncertainty by the using appropriate WMR. For clarity, we plot the relationship between the measurement parameter m and the entropic sum in Fig. 8, with and . From Fig. 8, one can readily infer that the uncertainty decreases with the increase of the measurement strength m. Therefore, the WMR is capable of suppressing the decay of the atomic state, and thus largely reducing the entropic uncertainty during the crossover from Markovianity to non-Markovianity. Furthermore, we investigate the relation between the entropic uncertainty and the coupling strengths and in Fig. 9 for and , both with and without weak measurement (). It is obvious that the maximal value of the uncertainty in the case is smaller than that of , which indicates that WMR can efficiently reduce the uncertainty of measuring a pair of incompatible observables. Furthermore, Fig. 9(a,b) show that the uncertainty will vary periodically with respect to the coupling strength , consistent with the previously obtained results.

Figure 8

The entropic sum, , is plotted as a function of the measurement strength () for different coupling constant values, both and , for a fixed real initial states constructed with and . In the Figure, the black solid line, blue broken line, red dotted line and magenta dash-dotted line represent the following values of : (0.1, 3), (1, 3), (10, 3) and (20, 3), respectively.

Figure 9

The variation of entropic sum, , as a function of and for different measurement strengths () with an atomic initial state constructed with and . Graph (a): ; and Graph (b): .

Conclusion

Herein, we investigate how a bosonic environment influences the uncertainty of measuring two incompatible measurements on an atom-cavity coupled system during the crossover between Markovianity and non-Markovianity. Notably, in the presence of memory effects the evolution of the atom system is determined by the strength of the cavity and the structured reservoir. The uncertainty is characterized by fluctuations which are not synchronized with the change of the systemic state, tending to the lower bound in the long-time limit. In the absence of memory effects, we numerically verified that the amount of EUR is correlated with the coupling strengths of the atom-cavity and the cavity-reservoir. We find that the coupling strengths of the atom-cavity and the cavity-reservoir greatly influences the uncertainty and its dynamic behavior. The relatively strong coupling strength between the cavity and the structured reservoir can provide a natural reduction of the overall uncertainty. Additionally, we conclude that the stronger atom-cavity coupling strength results in information backflow to the atom manifesting itself as an oscillation in the uncertainty. Explicitly, the uncertainty oscillates to the lower bound of EUR when ; the uncertainty will reduce all the time and shrink to the lower bound in the long-time regime when . We have also verified that the uncertainty for the measurement is anti-correlated with the purity of the evolutive qubit state, whether the system is Markovian or non-Markovian. Notably, we propose an efficient method to reduce the uncertainty for a pair of observables with such system via post-selection weak measurement reversal. Therefore, our investigation may shed light on the generation of precision measurements for a system coupled with a multi-degree-of-freedom environment possessing either Markovian or non-Markovian character.

Methods

Here, we deal with the reduced dynamics of the atomic subsystem. Assuming that both the cavity and environmental reservoir are initially in their vacuum states. The model can be solved analytically and thus can fully capture the features of the atomic subsystem. In the one-excitation subspace, the total state can generally be written as[40] where and are the vacuum and single-photon states of the cavity, while and the cavity represent no excitation and one excitation in the jth mode of the reservoir. In what follows, we derive the coefficients of the state of the composite system. Substituting Eq. (17) into the Schrödinger equationyields the following formulaeLinking the initial conditions with the correlation function , one can exactly obtain the atomic dynamics by means of tracing out both the cavity and the reservoir subsystem, i.e. . In this way, one can derive the desired reduced matrix of the atomic state, as is in Eq. (8).