Next Article in Journal
Estimating the Nucleation Ability of Various Surfaces Towards Isotactic Polypropylene via Light Intensity Induction Time Measurements
Previous Article in Journal
Non-Equilibrium Quantum Brain Dynamics: Super-Radiance and Equilibration in 2 + 1 Dimensions
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

No-Signaling-in-Time (NSIT) Condition for Energy

School of Physics, Beijing Institute of Technology, Beijing 100081, China
*
Author to whom correspondence should be addressed.
Entropy 2019, 21(11), 1067; https://doi.org/10.3390/e21111067
Submission received: 17 September 2019 / Revised: 13 October 2019 / Accepted: 26 October 2019 / Published: 31 October 2019
(This article belongs to the Section Time)

Abstract

:
In this paper, analogous to the no-signaling-in-time (NSIT) conditions, a series of equalities for the change of conditional and average energy of a quantum system are given to test macrorealism. These equalities are named no-signaling-in-time conditions for conditional energy (CNSIT) and no-signaling-in-time conditions for average energy (ANSIT), respectively. Then, we investigate the violations of the NSIT conditions, the CNSIT conditions and the ANSIT conditions for a qubit in the following scenarios: pure coherent dynamics, dynamics with drive, dynamics under dissipation and dephasing. For the pure qubit, when the NSIT conditions or the CNSIT conditions are not violated, the ANSIT conditions can not be violated, and a suitable conjunction of the CNSIT conditions and the NSIT conditions may be better for testing macrorealism. While for the driven qubit, the non-violation of the CNSIT conditions implies the non-violation of the NSIT conditions, which in turn implies the non-violation of the ANSIT conditions. For dephasing and dissipative qubits, the relationships among the NSIT conditions, the CNSIT conditions and the ANSIT conditions are similar to those of the pure and driven qubits, respectively. While the degree of violations of the NSIT conditions, the CNSIT conditions and the ANSIT conditions is decreased with the increasing time interval between measurements; and if this time interval tends to a very large number, all three kinds of conditions are satisfied.

1. Introduction

Conceptually and mathematically, quantum physics is incompatible with a view of classical world. Contrary to our classical intuition, the quantum superposition principle describes that an object can be in two different states simultaneously. And how macroscopic classical world emerges from the framework of quantum mechanics has always been a topic of foundational interest. In order to distinguish between classical and quantum behavior, two fundamental concepts for classical physics have been established: local realism [1] and macroscopic realism (or macrorealism) [2]. The local realism, which limits the power of classical experiments to establish correlations over space, has been formulated in the form of the well known Bell inequality [1]. The other fundamental concept, macrorealism, was proposed by Leggett and Garg in 1985, and can be described as [2]: (1) Macrorealism per se (MRps): A macroscopic object which has two or more macroscopically distinct states is in a definite one of those states at any given time; (2) Non-invasive measurability (NIM): In principle, it is possible to determine which of these states the system is in without any influence on the state itself or on the subsequent system dynamics. Based on these assumptions and analogous to Bell’s theorem [1], the Leggett–Garg inequality [2,3,4] was proposed to test quantum correlations in time by Leggett and Garg. Since then, a number of experiments for violations of Leggett–Garg inequality have been performed, and the quantum behaviour can be now confirmed experimentally [5,6,7,8,9,10]. The spatial Bell inequality tests entanglement between spatially-separated systems, while the Leggett–Garg inequality probes the correlations of a single system measured at different times. In addition, the Bell inequality places bound on correlations between measurements for the spatially-separated systems, and the Leggett–Garg inequality places bound on the separation between measurements in time. Therefore, the Leggett–Garg inequality is often referred to as the temporal Bell inequality [11].
Recently, no-signaling-in-time (NSIT) condition has been proposed as another criteria to test macrorealism [12,13,14,15], i.e., to test incompatibility between the classical world view of macrorealism and quantum mechanics. And the NSIT condition is considered as a better candidate for testing macrorealism than the Leggett–Garg inequality [13,14,16], and the former usually can be violated for a much wider parameter regime than the later. Local realism implies the Bell inequality and the no-signaling (NS) condition. The NS condition ensures that probabilities of outcomes for one party must be independent of the setting of the other party in case the relevant events are spacelike separated. The NSIT condition is analogous to the traditional NS condition of the Bell scenario, while it ensures that a measurement does not change the outcome statistics of a later measurement, i.e., it assumes that the probability of obtaining an outcome for subsequent measurements, can not be affected by the prior measurements. And it is obeyed by all macrorealistic theories, and can be regarded as a statistical version of one of macrorealism assumptions, i.e., NIM. When one of the NSIT conditions is violated, macrorealism is violated, i.e., the subsequent measurement is invaded by the relevant prior measurement.
Measurement plays a significant role in quantum mechanics, for example, it can produce an unavoidable stochastic change of system state, and thus modify the quantities of many physical observables. In the framework of physics, there are many physical observables, among which energy is one of the most important. When the system is measured, its energy content may change. And in Reference [17], Chanda et al. investigated the average energy cost of the process associated with the Leggett–Garg inequality, and showed that the maximal violation of Leggett–Garg inequality in the energy constraint, is realized, when the average energy of this process equals to the negative of the energy of the initial state, in noiseless and in certain noisy scenarios. In fact, the NSIT condition takes the measurement probability as a tool to test macrorealism. Here, we are interested in the conditions satisfying macrorealism for energy change in the same scenarios as that of original NSIT conditions. When a measurement is performed, the system may undergo different trajectories, and energy may become trajectory dependent and stochastic [18,19,20]. The average energy change has been well understood, which is simply given by measuring the difference between the average energy of the system before and after the measurement. However, there was a lack of a universal answer to quantify the energy change conditioned on observing a given measurement result until Mohammady et al. [21] provided a definition of conditional energy change. The conditional energy change introduced by Mohammady et al. [21], is the energy change of system before and after the measurement process for a specific outcome, which is suitable for general quantum measurements and arbitrary initial state of system.
In this paper, we want to use the conditional energy change and average energy change to test macrorealism. Analogous to the NSIT conditions, a series of equalities for the conditional and average energy changes are given to test macrorealism, which are called no-signaling-in-time conditions for conditional energy (CNSIT) and no-signaling-in-time conditions for average energy (ANSIT), respectively. When one of the CNSIT conditions or the ANSIT conditions is violated, NIM is violated, so macrorealism can not be satisfied. We consider a qubit in the following scenarios: pure coherent dynamics, dynamics with drive, dynamics under dissipation and dephasing. And two kinds of initial states are considered: mixed and pure states. In the case of coherent dynamics, for both initial mixed and pure states, the non-violation of the ANSIT conditions implies the non-violation of the NSIT conditions and the CNSIT conditions. And the non-violation conditions of the NSIT conditions and the CNSIT conditions do not contain each other, i.e., a suitable conjunction of the CNSIT conditions and the NSIT conditions is tighter for testing macrorealism. Next, for coherent dynamics with drive, in the case of the initial mixed and pure states, when the CNSIT conditions are not violated, the NSIT conditions must not be violated; and when the NSIT conditions are not violated, the ANSIT conditions must not be violated. Next, for both initial mixed and pure states, the relationship among the NSIT conditions, the CNSIT conditions and the ANSIT conditions for the dissipative qubit is similar to that of the driven qubit; and for the dephasing qubit, the relationship is similar to that of the pure qubit. While for dissipative and dephasing qubits, the dissipation and dephasing decrease the degree of violations of the NSIT conditions, the CNSIT conditions and the ANSIT conditions, with the increasing time interval between measurements; and if this time interval tends to very large values, all three kinds of conditions can not be violated.

2. NSIT Conditions, CNSIT Conditions and ANSIT Conditions

2.1. Conditional Energy Change

Let us briefly review the concept of conditional energy change. The conditional energy change was introduced by Mohammady et al. [21], who described the energy change of the system before and after the measurement process when a specific measurement outcome is given. And it is suitable for general quantum measurements and arbitrary initial state. Consider an observable Q of the system. The conditional energy change of the system before and after the measurement process at t for a given measurement outcome n, E n ( t ) , can be described as
E n ( t ) = Tr [ H ( t ) ρ ( t ) ] Re { Tr [ Q n ( t ) H ( t ) ρ ( t ) ] } P ( Q n ( t ) ) ,
where H ( t ) and Q ( t ) are the Hamiltonian and observable of the system at t, respectively. Here, ρ ( t ) and ρ ( t ) are the pre-measurement state and the post-measurement state at t, respectively, ρ ( t ) = Q n ( t ) ρ ( t ) Q n ( t ) / P ( Q n ( t ) ) , and P ( Q n ( t ) ) = Tr [ Q n ( t ) ρ ( t ) Q n ( t ) ] is the probability of obtaining outcome n by measuring at t. This definition is different from the previous way of calculating energy change before and after the measurements, i.e., E ( t ) = Tr [ H ( t ) ρ ( t ) ] Tr [ H ( t ) ρ ( t ) ] which has been successfully used in some instances [22,23,24,25,26,27,28], but breaks down sometimes even in a classical probabilistic process [21]. The difference between them is that the conditional energy change quantifies the change of energy conditioned on observing a given measurement outcome. And the conditional energy change (Equation (1)) uses the conditional energy of the initial state for a given measurement outcome, instead of the unconditional one, Tr [ H ( t ) ρ ( t ) ] . It is noted that the increase of average conditional energy equals to the increase of average energy, i.e., n P ( Q n ( t ) ) Re { Tr [ Q n ( t ) H ( t ) ρ ( t ) ] } P ( Q n ( t ) ) = Tr [ H ( t ) ρ ( t ) ] . In other words, we multiply the change of conditional energy (Equation (1)) by its probability, sum all results, and then obtain the corresponding change of average energy E ¯ ( t ) . And this average energy change equals to the corresponding energy change before and after a blind measurement at t, E b l i n d ( t ) , which can be expressed as
E b l i n d ( t ) = Tr [ H ( t ) ( Σ n Q n ( t ) ρ ( t ) Q n ( t ) ) ] Tr [ H ( t ) ρ ( t ) ] .
Therefore, n P ( Q n ( t ) ) E n ( t ) = E ¯ ( t ) = E b l i n d n ( t ) .

2.2. NSIT Conditions

Now, we briefly review the NSIT conditions [12,13,14,15], which provide a useful tool for testing macrorealism. The two-time NSIT ( i ) j ( n ) m conditions, can be expressed as
NSIT ( i ) j ( n ) m : P ( Q m ( t j ) ) n P ( Q n ( t i ) , Q m ( t j ) ) = 0 .
Here, i = 0 , 1 , 2 and j = 1 , 2 with i < j , m and n are outcomes of the observable, P ( Q m ( t j ) ) is the probability of obtaining outcome m by measuring at t j , and P ( Q n ( t i ) , Q m ( t j ) ) is the probability of obtaining outcomes n and m by measuring at t i and t j , respectively. In fact, the two-time NSIT conditions compare the probability of a single observable measured at one time step ( P ( Q m ( t j ) ) ) with that measured at two time steps ( P ( Q n ( t i ) , Q m ( t j ) ) ). And the two-time NSIT conditions are satisfied when by measuring Q ( t j ) , we can not detect whether a measurement of Q ( t i ) has been performed, i.e., the measurement of Q ( t i ) is not disturbing the statistics of Q ( t j ) .
Then, similarly, the three-time conditions NSIT ( 0 ) 1 , 2 ( n ) m , l and NSIT 0 ( 1 ) 2 n ( m ) l are respectively given by
NSIT ( 0 ) 1 , 2 ( n ) m , l : P ( Q m ( t 1 ) , Q l ( t 2 ) ) n P ( Q n ( t 0 ) , Q m ( t 1 ) , Q l ( t 2 ) ) = 0 ,
NSIT 0 ( 1 ) 2 n ( m ) l : P ( Q n ( t 0 ) , Q l ( t 2 ) ) m P ( Q n ( t 0 ) , Q m ( t 1 ) , Q l ( t 2 ) ) = 0 ,
where similar to m and n, l is also the outcome of observable, and P ( Q n ( t 0 ) , Q m ( t 1 ) , Q l ( t 2 ) ) is the probability of obtaining outcomes m, n and l at t 0 , t 1 and t 2 , respectively. NSIT ( 0 ) 1 , 2 ( n ) m , l denotes that the probability of obtaining measurement outcomes at t 1 and t 2 , is not affected by the prior measurement at t 0 , and similarly for NSIT 0 ( 1 ) 2 n ( m ) l . In other words, if the relevant prior measurement invades the subsequent measurement, a NSIT condition can be violated [29]. And it is noted that when one of the NSIT conditions is violated, macrorealism is violated.

2.3. CNSIT Conditions

As we know, the conjunction of all the NSIT conditions ensures the existence of a global joint probability distribution. In fact, the NSIT condition tests macrorealism by whether the probability of obtaining an outcome of measurement is affected by the prior measurement or not. Similar to the probability of measurement, measurement may modify physical quantities. When the system is measured, its energy content may change. In this paper, we are interested in the conditions of satisfying macrorealism for energy change. Therefore, we want to investigate whether the energy change is independent of that any prior measurement has or has not been performed. According to NIM, we use energy, i.e., the energy change of the whole process, instead of the measurement probability to test macrorealism. Therefore, analogous to the NSIT conditions, a set of equalities for the change of energy is given. We consider the conditional energy change and average energy change, i.e., energy change of a trajectory for a given measurement outcome and an average energy change of different trajectories, to test macrorealism. And when one of the ANSIT conditions or the CNSIT conditions is violated, NIM is violated, and macrorealism is violated.
Analogous to NSIT conditions, the two-time and three-time CNSIT conditions can be expressed as
E ( i ) j ( n ) m : E j m n E i , j n , m = 0 ,
E ( 0 ) 1 , 2 ( n ) m , l : E 1 , 2 m , l n E 0 , 1 , 2 n , m , l = 0 ,
E 0 ( 1 ) , 2 n ( m ) , l : E 0 , 2 n , l m E 0 , 1 , 2 n , m , l = 0 .
For simplicity, we take E ( 0 ) 1 , 2 ( n ) m , l (Equation (7)) as an example to illustrate the CNSIT conditions. Here, E 1 , 2 m , l in Equation (7) is the energy change of the system in the whole process, when a single observable is measured at two time steps. And the energy change of the whole process E 1 , 2 m , l contains:
I. the energy change during the evolution from t = 0 to t = t 1 , E e v o ( 0 t 1 ) ;
II. the conditional energy change E m ( t 1 ) , which is the difference of energy before and after the measurement at t = t 1 given outcome m;
III. the energy change during the evolution from t = t 1 to t = t 2 , E e v o m ( t 1 t 2 ) ;
IV. the conditional energy change before and after the measurement at t = t 2 given outcome l, E m , l ( t 1 , t 2 ) .
Thus, E 1 , 2 m , l = E e v o ( 0 t 1 ) + E m ( t 1 ) + E e v o m ( t 1 t 2 ) + E m , l ( t 1 , t 2 ) , which can be seen from Figure 1. Here, the change of energy during the evolution from t = t i to t = t j can be written as
E e v o ( t i t j ) = Tr [ H ( t j ) ρ ( t j ) ] Tr [ H ( t i ) ρ ( t i ) ] ,
where H ( t i ) and H ( t j ) are Hamiltonians at t = t i and t = t j , respectively, ρ ( t i ) is the density matrix at t = t i and ρ ( t j ) is the density matrix at t = t j which is evolved from ρ ( t i ) . Then, E e v o ( 0 t 1 ) and E e v o m ( t 1 t 2 ) can be obtained from Equation (9), E m ( t 1 ) and E m , l ( t 1 , t 2 ) can be derived from Equation (1).
Similarly, n E 0 , 1 , 2 n , m , l in E ( 0 ) 1 , 2 ( n ) m , l (Equation (7)) is the energy change of the whole process, when a single observable is measured at three time steps. The energy change of the whole process n E 0 , 1 , 2 n , m , l of Equation (7) includes:
I. the change of energy during the evolution from t = 0 to t = t 0 , E e v o ( 0 t 0 ) ;
II. the change of energy before and after blind measurement at t = t 0 , E b l i n d ( t 0 ) ;
III. the change of energy during the evolution from t = t 0 to t = t 1 , E e v o ( t 0 t 1 ) ;
IV. the change of conditional energy before and after measurement at t = t 1 given outcome m, E m ( t 0 , t 1 ) ;
V. the change of energy during the evolution from t = t 1 to t = t 2 , E e v o m ( t 1 t 2 ) ;
VI. the change of conditional energy E m , l ( t 0 , t 1 , t 2 ) , which is the difference of energy before and after the measurements at t = t 2 given outcome l.
Thus, n E 0 , 1 , 2 n , m , l = E e v o ( 0 t 0 ) + E b l i n d ( t 0 ) + E e v o ( t 0 t 1 ) + E m ( t 0 , t 1 ) + E e v o m ( t 1 t 2 ) + E m , l ( t 0 , t 1 , t 2 ) . Here, E e v o ( 0 t 0 ) , E e v o ( t 0 t 1 ) and E e v o ( t 1 t 2 ) can be obtained from Equation (9), E m ( t 0 , t 1 ) and E m , l ( t 0 , t 1 , t 2 ) can be derived from Equation (1). And E b l i n d ( t 0 ) can be obtained from Equation (2). If E 1 , 2 m , l n E 0 , 1 , 2 n , m , l 0 , macrorealism can not be satisfied. The meanings of terms in Equations (6) and (8) are similar to those corresponding terms in Equation (7).
When the CNSIT conditions are satisfied, the energy change of the system in the whole process does not depend on whether any prior measurement has been performed or not. In fact, the CNSIT conditions are based on comparing the conditional energy change of the system in the whole process, in the cases where a previous measurement has or has not been performed at some time. And similar to the NSIT conditions, the violation of one of the CNSIT conditions means the violation of NIM, which implies the violation of macrorealism. That is to say, when one of the CNSIT conditions is violated, macrorealism is violated.

2.4. ANSIT Conditions

It is noted that multiplying the change of conditional energy by its measurement probability and then summing all results, we obtain the corresponding change of average energy. Next, analogous to the CNSIT conditions, the two-time and three-time ANSIT conditions can be given as
E ¯ ( i ) j : E ¯ j E ¯ i , j = 0 ,
E ¯ ( 0 ) 1 , 2 : E ¯ 1 , 2 E ¯ 0 , 1 , 2 = 0 ,
E ¯ 0 ( 1 ) , 2 : E ¯ 0 , 2 E ¯ 0 , 1 , 2 = 0 .
Similarly, we also take E ¯ ( 0 ) 1 , 2 in Equation (11) as an example to explain the ANSIT conditions (see Appendix A). E ¯ 1 , 2 and E ¯ 0 , 1 , 2 in E ¯ ( 0 ) 1 , 2 (Equation (11)) are the average energy change of the system in the whole process, when a single observable is measured at two time steps and three time steps, respectively. And both E ¯ ( i ) j and E ¯ 0 ( 1 ) , 2 of Equations (10) and (12) are similar to E ¯ ( 0 ) 1 , 2 .
Similar to the CNSIT conditions, the ANSIT conditions compare the average energy change of the whole process in the cases that a measurement previously has or has not been performed at some time. And when the ANSIT conditions are satisfied, the average energy change of the system in the whole process is not dependent on whether any prior measurement has been performed. The violation of one of equalities in Equations (10) to (12) means that the assumption of NIM is not satisfied. And in this situation, macrorealism is violated.

3. A Pure Qubit

Firstly, we consider coherent dynamics of a qubit described by a Hamiltonian H = 1 2 ω σ z ( = 1 ), where σ z and ω are the Pauli operator and the energy gap of the qubit, respectively. We suppose that the measurement of a dichotomic observable is equivalent to a measurement of the Bloch sphere component along a direction of θ and ϕ , i.e., Q ( θ , ϕ ) = Q + ( θ , ϕ ) Q ( θ , ϕ ) . Here,
Q + ( θ , ϕ ) = | n + ( θ , ϕ ) n + ( θ , ϕ ) | ,
Q ( θ , ϕ ) = | n ( θ , ϕ ) n ( θ , ϕ ) | ,
where | n + ( θ , ϕ ) = cos θ 2 | 0 + e i ϕ sin θ 2 | 1 and | n ( θ , ϕ ) = sin θ 2 | 0 e i ϕ cos θ 2 | 1 ( θ [ 0 , π ) , ϕ [ 0 , 2 π ) ), with | 0 and | 1 being the eigenstates of the Pauli operator σ z . Therefore, these probabilities P ( Q m ( t j ) ) , P ( Q n ( t i ) , Q m ( t j ) ) and P ( Q n ( t 0 ) , Q m ( t 1 ) , Q l ( t 2 ) ) in Equations (3) to (5) can be written as
P ( Q m ( t j ) ) = Tr [ Q m ( t j ) U ( t j , 0 ) ρ ( 0 ) U ( t j , 0 ) Q m ( t j ) ] ,
P ( Q n ( t i ) , Q m ( t j ) ) = Tr [ Q m ( t j ) U ( t j , t i ) Q n ( t i ) U ( t i , 0 ) ρ ( 0 ) U ( t i , 0 ) Q n ( t i ) U ( t j , t i ) Q m ( t j ) ] ,
P ( Q n ( t 0 ) , Q m ( t 1 ) , Q l ( t 2 ) ) = Tr [ Q l ( t 2 ) U ( t 2 , t 1 ) Q m ( t 1 ) U ( t 1 , t 0 ) Q n ( t 0 ) U ( t 0 , 0 ) ρ ( 0 ) × U ( t 0 , 0 ) Q n ( t 0 ) U ( t 1 , t 0 ) Q m ( t 1 ) U ( t 2 , t 1 ) Q l ( t 2 ) ] ,
where n , m , l = ± 1 , ρ ( 0 ) is the initial state, and U ( t , 0 ) = exp [ i 2 ω σ z t ] is the unitary operator. Without loss of generality, in the subsequent analysis, we suppose t 0 = 0 and t 2 t 1 = t 1 t 0 = ( 1 / 2 ) ( t 2 t 0 ) = τ .

NSIT Conditions, CNSIT Conditions and ANSIT Conditions for Initial Mixed and Pure States

Next, we take the initial state as a mixed state, such that
ρ ( 0 ) = 1 δ 2 | 0 0 | + 1 + δ 2 | 1 1 | ,
where 0 δ 1 . From Equations (3) to (5), and (13) to (18), we obtain the NSIT conditions in Equations (3) to (5) (see Appendix B). Next, from Equations (1), (2), (6) to (9), (13), (14) and (18), we obtain two-time and three-time CNSIT conditions in Equations (6) to (8) (see Appendix C). The ANSIT conditions in Equations (10) to (12) can be obtained from Equations (2), (9) to (14), and (18), (see Appendix D). Then, we list non-violation conditions of the NSIT conditions, the CNSIT conditions and the ANSIT conditions in Table 1. It is noted that when τ = 2 π ω , the NSIT conditions can not be violated. And the evolution of this system is unitary, thus when τ = 2 k π ω ( k = 1 , 2 , 3 ) , the NSIT conditions are satisfied. For simplicity, we suppose τ [ 0 , 2 π ω ] in the following.
It is noted that when measurement operators Q + and Q are performed on arbitrary state, the post-measurement states are | n + ( θ , ϕ ) n + ( θ , ϕ ) | and | n ( θ , ϕ ) n ( θ , ϕ ) | , i.e., Q + and Q (Equations (13) and (14)), respectively. Comparing the non-violation conditions of the NSIT conditions, the CNSIT conditions and the ANSIT conditions, we find that the ANSIT conditions can not be violated for a wider parameter regime than the NSIT conditions and the CNSIT conditions. And it is interesting to find that the non-violation conditions of the NSIT conditions and the CNSIT conditions do not contain each other, which can be seen from Table 1. This can be explained as following:
1. When τ = 2 π ω , the NSIT conditions are satisfied, while the CNSIT conditions are not.
For the NSIT conditions, we take P ( Q + ( t 1 ) ) ± P ( Q ± ( t 0 ) , Q + ( t 1 ) ) (Equation (3)) as an example to explain it. It is noted that when τ = 2 π ω , the unitary operator is the identity operator, i.e., the unitary operator has no effect on the state. Therefore, P ( Q + ( t 1 ) ) = P ( Q + ( t 0 ) , Q + ( t 1 ) ) , and P ( Q ( t 0 ) , Q + ( t 1 ) ) = 0 , so P ( Q + ( t 1 ) ) ± P ( Q ± ( t 0 ) , Q + ( t 1 ) ) = 0 . And other NSIT conditions are similar to it. Then, for the CNSIT conditions, we take E 1 + ± E 0 , 1 ± , + in Equation (6) as an example. Because the unitary operator has no effect on the state, the energy change of evolution is zero. And the energy change before and after the second measurement at t = t 1 is zero, thus, ± E 0 , 1 ± , + is decided by the energy change before and after the blind measurement at t = t 0 , i.e., ± E 0 , 1 ± , + = E b l i n d ( t 0 ) . While for E 1 + (Equation (6)), we find that E 1 + E b l i n d ( t 0 ) , i.e., E 1 + ± E 0 , 1 ± , + , thus, when τ = 2 π ω , E ( 0 ) 1 ( ± ) + (Equation (6)) is not satisfied, and other CNSIT conditions are similar to it.
2. When θ = π 2 , the CNSIT conditions can not be violated, while the NSIT conditions are violated ( τ π ω and τ 2 π ω ).
For the CNSIT conditions, we also take E 1 + ± E 0 , 1 ± , + (Equation (6)) as an example. It is noted that when θ = π 2 , the measurement operator is in the x-y plane of the Bloch sphere, and both diagonal elements of post-measurement states by blind measurement ( θ = π 2 ) for arbitrary state are 1 2 . And then the diagonal elements of post-measurement states can not be affected by the subsequent measurements. Therefore, the energy change before and after the second measurement at t = t 1 for ± E 0 , 1 ± , + is zero, and ± E 0 , 1 ± , + in Equation (6) equals to the energy change before and after the blind measurement at t = t 0 . Similarly, ± E 0 , 1 ± , + = E b l i n d ( t 0 ) . Then, for E 1 + (Equation (6)), we find that E 1 + = E b l i n d ( t 0 ) = ± E 0 , 1 ± , + , so E 1 + ± E 0 , 1 ± , + = 0 . Therefore, when θ = π 2 , E ( 0 ) 1 ( ± ) + in (Equation (6)) is satisfied, and other CNSIT conditions are similar to it. While for the NSIT conditions, when θ = π 2 , except for τ = π ω (the unitary operator is the Pauli operator σ z ) and τ = 2 π ω , they are violated. Then, we take P ( Q + ( t 0 ) , Q + ( t 2 ) ) ± P ( Q + ( t 0 ) , Q ± ( t 1 ) , Q + ( t 2 ) ) in Equation (5) as an example. When θ = π 2 , P ( Q + ( t 0 ) , Q + ( t 2 ) ) ± P ( Q + ( t 0 ) , Q ± ( t 1 ) , Q + ( t 2 ) ) = 1 4 sin 2 τ ω , so for θ = π 2 , only when τ = π ω ( 2 π ω ), P ( Q + ( t 0 ) , Q + ( t 2 ) ) ± P ( Q + ( t 0 ) , Q ± ( t 1 ) , Q + ( t 2 ) ) = 0 . And other NSIT conditions are similar to it. The reason of this phenomenon is that the NSIT conditions consider the probability of measurement, while the CNSIT conditions consider the change of energy.
Now, we consider a pure state
| φ = cos ψ | 0 + sin ψ | 1 ,
where ψ [ 0 , π ) . Notably, for the initial pure state, it is too cumbersome to list every term of the NSIT conditions, the CNSIT conditions and the ANSIT conditions (Equations (3) to (5), (6) to (8), and (10) to (12)). Therefore, for the sake of simplicity, we only list non-violation conditions of the NSIT conditions, the CNSIT conditions and the ANSIT conditions in Table 1.
In a word, we find that the non-violation conditions of the NSIT conditions for both initial mixed and pure states are the same. While for the non-violation conditions of the CNSIT conditions and the ANSIT conditions, they are both dependent on the initial state. And the CNSIT conditions for the mixed state can not be violated for a wider parameter regime than that of the pure state. In addition, we also find that whether the initial state is the mixed state or the pure state, the ANSIT conditions can not be violated for a wider parameter regime than the NSIT conditions and the CNSIT conditions. And the non-violation conditions of the NSIT conditions and the CNSIT conditions do not contain each other. In other words, a suitable conjunction of the NSIT conditions and the CNSIT conditions may be better for testing macrorealism (MR). Therefore, for both initial mixed and pure states, we summarize the main result of this section as follows:
N S I T or C N S I T A N S I T , N S I T C N S I T b e t t e r M R .
And the relationship among the NSIT conditions, the CNSIT conditions and the ANSIT conditions can be seen from Figure 2. Recently, Smirne et al. [30] gave a definite criteria to determine when and to what extent quantum coherence is equivalent to non-classicality, i.e., a notion of coherence-generating-and-detecting (CGD) dynamics. CGD means that the evolution does generate coherence, and can also turn such coherence into the populations which is measured at a later time; otherwise, the evolution is denoted as NCGD. Then, we find that for the initial mixed state, when the NSIT conditions, the CNSIT conditions, and the ANSIT conditions are not violated, the evolution of the system is NCGD, which means that the evolution does not generate coherence, and can not also turn such coherence into the populations for subsequent measurements; while for the initial pure state, when the NSIT conditions, the CNSIT conditions, and the ANSIT conditions are not violated, the evolution of the system might be NCGD or CGD, i.e., the non-violations of these three kinds of conditions and NCGD do not contain each other.

4. A Driven Qubit

Next, we consider a resonant, periodic driven two-level system and its time-dependent Hamiltonian is described as [31,32]
H ( t ) = 1 2 ω σ z + g 2 [ σ x cos ω t + σ y sin ω t ] .
Here, σ x and σ y are both Pauli operators, ω > 0 is the energy gap of the qubit as before and also the driving frequency of the two-level system, and g [ 0 , ω ] is the driving intensity quantifying the coupling to the external field. The system evolves under the unitary operator U ( t , 0 ) = T exp [ i 0 t d τ H ( τ ) ] , where T is a time-ordering operator. The unitary operator can be expressed as [31,32]
U ( t , 0 ) = e 1 2 i t ω cos g t 2 i e 1 2 i t ω sin g t 2 i e i t ω 2 sin g t 2 e i t ω 2 cos g t 2 ,
which satisfies U ( t , 0 ) U ( t , 0 ) = I and U ( t j , t i ) U ( t i , 0 ) = U ( t j , 0 ) with i < j . It is noted that the NSIT conditions, the CNSIT conditions and the ANSIT conditions for the driven two-level system are very complicated, we thus suppose g = 0 . 1 ω , g = 0 . 5 ω and g = ω to study the violations of them.
In short, we find that similar to the qubit without drive, the non-violation conditions of the NSIT conditions for the initial mixed state are the same as that of the pure state; and the non-violation conditions of the CNSIT conditions and the ANSIT conditions are both dependent on the initial state. Furthermore, we also find that the CNSIT conditions can not be violated for a narrower range of parameters than the NSIT conditions, and the NSIT conditions can not be violated for a narrower parameter regime than the ANSIT conditions, for both initial mixed and pure states. The above phenomenon is summarized as follows:
C N S I T N S I T A N S I T ,
which can be seen from Figure 3.

5. A Qubit Interacting with Environment

As we know, quantum systems inevitably suffer from unwanted interactions with environment, so in this section, we study the effects of environment on violations of the NSIT conditions, the CNSIT conditions and the ANSIT conditions. The time evolution of open system is different from the closed system discussed in the previous sections, which in general can not be described by a unitary time evolution. The dynamics of the system can be represented by an appropriate equation of motion for its density matrix, i.e., a quantum master equation. In this case, the evolution of the system is provided most generally by the Lindblad form master equation, which can be written as
d ρ d t = i [ H , ρ ] + k 2 L k ρ L k L k L k ρ ρ L k L k ,
where the Hamiltonian H = 1 2 ω σ z , as in the preceding section, represents the coherent part of the dynamics, and L k is the Lindblad operator describing the coupling of the system to its environment.

5.1. A Dissipative Qubit

We consider the first case, that the Lindblad operator is L k = γ σ , where γ 0 is the rate of spontaneous emission, and σ = | 1 0 | is the atomic lowering operator. The master equation describing this process can be rewritten as
d ρ d t = i [ H , ρ ] + γ 2 σ ρ σ σ σ ρ ρ σ σ .
From Equations (3) to (5), (13) to (18), and (25), we obtain all the NSIT conditions for the initial mixed state. For simplicity, we give two examples for the NSIT conditions in the following. According to NSIT ( 0 ) 1 ( ± ) + (Equation (3)) and NSIT 0 ( 1 ) 2 + ( ± ) + (Equation (5)), we can respectively obtain P ( Q + ( t 1 ) ) ± P ( Q ± ( t 0 ) , Q + ( t 1 ) ) and P ( Q + ( t 0 ) , Q + ( t 2 ) ) ± P ( Q + ( t 0 ) , Q ± ( t 1 ) , Q + ( t 2 ) ) as
P ( Q + ( t 1 ) ) ± P ( Q ± ( t 0 ) , Q + ( t 1 ) ) = 1 8 δ sin θ sin 2 θ e γ τ 2 e γ τ + e i τ ω + e i τ ω ,
P ( Q + ( t 0 ) , Q + ( t 2 ) ) ± P ( Q + ( t 0 ) , Q ± ( t 1 ) , Q + ( t 2 ) )
= 1 32 ( δ cos θ 1 ) e 4 γ τ 2 i τ ω sin 2 θ [ 4 e τ ( γ + i ω ) 2 e 2 τ ( γ + i ω ) + 3 e 2 τ ( γ + 2 i ω ) + 3 e 2 γ τ 4 e τ ( γ + 3 i ω )
+ 4 e 2 i τ ω cos 2 θ e τ ( γ + 2 i ω ) + e γ τ 2 e i τ ω 2 + 4 cos θ e 2 γ τ 1 e i τ ω e τ ( γ + 2 i ω ) + e γ τ 2 e i τ ω ] .
Other NSIT conditions are similar to Equations (26) and (27), respectively. It can be found from Equation (26) that when θ = 0 and θ = π 2 , NSIT ( 0 ) 1 ( ± ) + is satisfied. For NSIT 0 ( 1 ) 2 + ( ± ) + (Equation (27)), when θ = 0 , it is satisfied. However, when θ = π 2 , P ( Q + ( t 0 ) , Q + ( t 2 ) ) ± P ( Q + ( t 0 ) , Q ± ( t 1 ) , Q + ( t 2 ) ) = 1 4 e 2 γ τ sin 2 ( τ ω ) , i.e., NSIT 0 ( 1 ) 2 + ( ± ) + is not satisfied. And it can not be violated if θ = π 2 and τ = π ω ( 2 π ω ). Then, considering other NSIT conditions, we find that all the NSIT conditions can not be violated when one of the conditions is satisfied: (1) θ = 0 ; (2) θ = π 2 and τ = π ω ( 2 π ω ). Furthermore, we find that for all the NSIT conditions, there is a factor e γ τ , which can be seen from Equations (26) and (27). That is to say, the degree of violation of the NSIT conditions is decreased by dissipation with time interval between measurements τ increasing. And when τ , all the NSIT conditions are satisfied, which also can be seen from Equations (26) and (27). It has been mentioned in Section 3 that when τ = 2 k π ω ( k = 1 , 2 , 3 ) , the NSIT conditions are satisfied for the pure qubit (see Table 1). While in the presence of dissipation, the evolution of the system is not unitary, thus the NSIT conditions are not satisfied when τ = 2 k π ω ( k = 1 , 2 , 3 ) . In addition, we find that similar to the NSIT conditions, the degree of violations of the CNSIT conditions and the ANSIT conditions is decreased by dissipation with τ increasing. And when τ , the CNSIT conditions and the ANSIT conditions can not be violated.
Then, we obtain the non-violation conditions of the NSIT conditions, the CNSIT conditions and the ANSIT conditions for the initial pure state, which are the same as that of the initial mixed state and are listed in Table 1. In addition, we find that similar to the driven qubit, the non-violation of the CNSIT conditions implies the non-violation of the NSIT conditions, which in turn implies the non-violation of the ANSIT conditions, i.e.,
C N S I T N S I T A N S I T ,
which also can be seen from Figure 3. For driven and dissipative qubits, the energy changes due to coupling to the external field and the environment, which might be the reason why the relationship among the NSIT conditions, the CNSIT conditions and the ANSIT conditions for the dissipative qubit is similar to that of the driven qubit.

5.2. A Dephasing Qubit

Let us consider the second case, i.e., the Lindblad operator is L k = γ σ z . And the Lindblad master equation which describes this process, can be rewritten as
d ρ d t = i [ H , ρ ] + γ 2 σ z ρ σ z σ z σ z ρ ρ σ z σ z .
Similarly, we list the non-violation conditions of the NSIT conditions, the CNSIT conditions and the ANSIT conditions for both initial mixed and pure states in Table 1. We find that the non-violation conditions of the CNSIT conditions and the ANSIT conditions depend on the initial state, which is different from dissipation. The reason is that dephasing only removes the non-diagonal elements of the initial state, while its diagonal elements do not change. Then, for both initial mixed and pure states, we find that the relationship among the NSIT conditions, the CNSIT conditions and the ANSIT conditions is similar to that of coherent dynamics (see Figure 2), i.e.,
N S I T or C N S I T A N S I T , N S I T C N S I T b e t t e r M R .
The reason of above phenomenon might be that for dephasing, the energy of the system conserves, which is similar to the pure qubit.
In addition, we also find that similar to the dissipative qubit, when τ = 2 k π ω ( k = 1 , 2 , 3 ) , the NSIT conditions for dephasing are violated; with τ increasing, the degree of violations of the NSIT conditions, the CNSIT conditions and the ANSIT conditions is also decreased by dephasing; and when τ , the NSIT conditions, the CNSIT conditions and the ANSIT conditions are also satisfied. Furthermore, comparing the dephasing qubit with the dissipative qubit, we find that when the NSIT conditions, the CNSIT conditions and the ANSIT conditions for dissipation are not violated, these three kinds of conditions for dephasing must not be violated, respectively, for both initial mixed and pure states.

6. Conclusions

As we all know, the Leggett–Garg inequality can not provide the necessary and sufficient conditions for macrorealism, and the NSIT conditions are also necessary conditions for macrorealism. The Leggett–Garg inequality puts limits on temporal correlation functions of pairs of consecutive measurements on the same quantum system fulfilled macrorealism, and the NSIT conditions say that a measurement does not change the outcome statistics of a later measurement. In this paper, we probe the boundaries of classical and quantum physics from a new perspective. We use energy change to test macrorealism, and analogous to the NSIT conditions, we give a set of equalities for the change of energy. In this paper, we consider a qubit in four scenarios: with drive, without drive, in the presence of dissipation, and in the presence dephasing to investigate the violations of the NSIT conditions, the CNSIT conditions and the ANSIT conditions. From this simple model, we find that the non-violation conditions of the CNSIT conditions and the ANSIT conditions both depend on the initial state (except for dissipation), while the non-violation conditions of the NSIT conditions for the initial mixed state is the same as that of the initial pure state. For coherent dynamics with and without drive, the dynamics under dissipation and dephasing, the ANSIT conditions are satisfied for a wider parameter regime than that of the NSIT conditions and the CNSIT conditions, whether the initial state is mixed state or pure state. While for the non-violations of the NSIT conditions and the CNSIT conditions, the four scenarios fall into two groups: one is that the non-violation conditions of the NSIT conditions and CNSIT conditions do not contain each other for the pure and dephasing qubits; the other is that the NSIT conditions can not be violated for a wider parameter regime than that of the CNSIT conditions for the driven and dissipative qubits. Therefore, we find that the NSIT and CNSIT conditions are not equivalent, i.e., the NSIT conditions and the CNSIT conditions complement each other, and the conjunction of them can be better to test macrorealism. The above phenomena might because that for the former the energy of the system is conserved, while for the latter it is not. We guess that this might be a general result, but needs further study. In the future, we will gain some insight into it, and hope to find a more general proof of the logical connection among these three kinds of conditions. Comparing dissipative and dephasing qubits, we find that the non-violation conditions of the CNSIT conditions and the ANSIT conditions for dissipation do not depend on the initial state, while for dephasing, non-violation conditions of these kinds of conditions depend on the initial state. This is because dephasing only removes the non-diagonal elements of the initial state, but its diagonal elements do not change. Furthermore, we find that when the non-violations of the NSIT conditions, the CNSIT conditions and the ANSIT conditions for dissipation, are satisfied, these three kinds of conditions for dephasing must be satisfied, respectively. In addition, dissipation and dephasing both decrease the degree of violations of the NSIT conditions, the CNSIT conditions and the ANSIT conditions, with time interval between measurements τ increasing; and when τ , the NSIT conditions, the CNSIT conditions and the ANSIT conditions are satisfied.
In quantum information and computation, coherence and entanglement are the essential ingredients, which both arise from quantum superposition principle. And quantum coherence is a more basic trait in quantum mechanics, which allows us to distinguish between classical and quantum phenomena. The Bell inequality is related to quantum correlations, while the Leggett–Garg inequality is related to coherence. Quantum coherence is a more basic resource in quantum-information processing. The Leggett–Garg inequality, the NSIT conditions, the CNSIT conditions and the ANSIT conditions are all used to observe when physical systems stop to behave quantumly and begin to behave classically. In other words, they can help us to know in a quantum dynamical process when quantum resource can be used and when it is not.

Author Contributions

Conceptualization, Y.Z. and J.Z.; Methodology, Y.Z.; Validation, Y.Z. and J.Z.; Formal Analysis, Y.Z. and J.Z.; Investigation, J.Z. and B.S.; Writing Original Draft Preparation, Y.Z.; Writing Review and Editing, J.Z.; Supervision, J.Z. and B.S.

Funding

This work is supported by the National Science Foundation of China (Grant Nos. 11775019 and 11875086).

Conflicts of Interest

The authors declare no conflict of interest.

Abbreviations

The following abbreviations are used in this manuscript:
NSITno-signaling-in-time
CNSITno-signaling-in-time conditions for conditional energy
ANSITno-signaling-in-time conditions for average energy
MRpsMacrorealism per se
NIMNon-invasive measurability
NSno-signaling
MRmacrorealism
CGDcoherence-generating-and-detecting

Appendix A. ANSIT Conditions

The average energy change E ¯ 1 , 2 of Equation (11) is consist of:
I. the change of energy E ¯ e v o ( 0 t 1 ) during the evolution from t = 0 to t = t 1 ;
II. the change of average energy E ¯ ( t 1 ) , which is the difference of average energy before and after blind measurements at t = t 1 ;
III. the change of energy E ¯ e v o ( t 1 t 2 ) during the evolution from t = t 1 to t = t 2 ;
IV. the change of average energy E ¯ ( t 2 ) before and after blind measurement at t = t 2 .
Therefore, E ¯ 1 , 2 = E ¯ e v o ( 0 t 1 ) + E ¯ ( t 1 ) + E ¯ e v o ( t 1 t 2 ) + E ¯ ( t 2 ) , where E ¯ e v o ( 0 t 1 ) and E ¯ e v o ( t 1 t 2 ) can be obtained from Equation (9), E ¯ ( t 1 ) and E ¯ ( t 2 ) can be derived from Equation (2).
Next, the average energy change E ¯ 0 , 1 , 2 of Equation (11) includes:
I. the energy change E ¯ e v o ( 0 t 0 ) during the evolution from t = 0 to t = t 0 ;
II. the average energy change E ¯ ( t 0 ) before and after blind measurement at t = t 0 ;
III. the energy change E ¯ e v o ( t 0 t 1 ) during the evolution from t = t 0 to t = t 1 ;
IV. the average energy change before and after blind measurement at t = t 1 , E ¯ ( t 1 ) ;
V. the energy change E ¯ e v o ( t 1 t 2 ) during the evolution from t = t 1 to t = t 2 ;
VI. the average energy change E ¯ ( t 2 ) before and after blind measurement at t = t 2 .
Therefore, E ¯ 0 , 1 , 2 = E ¯ e v o ( 0 t 0 ) + E ¯ ( t 0 ) + E ¯ e v o ( t 0 t 1 ) + E ¯ ( t 1 ) + E ¯ e v o ( t 1 t 2 ) + E ¯ ( t 2 ) , where E ¯ e v o ( 0 t 0 ) , E ¯ e v o ( t 0 t 1 ) and E ¯ e v o ( t 1 t 2 ) can be derived from Equation (9), E ¯ ( t 0 ) , E ¯ ( t 1 ) and E ¯ ( t 2 ) can be obtained from Equation (2).

Appendix B. NSIT Conditions for Mixed State under Coherent Dynamics

According to NSIT ( i ) j ( n ) m , NSIT ( 0 ) 1 , 2 ( n ) m , l and NSIT 0 ( 1 ) 2 n ( m ) l , from Equations (3) to (5), and (13) to (18), we obtain the following quantities
P ( Q + ( t 1 ) ) ± P ( Q ± ( t 0 ) , Q + ( t 1 ) )
= [ P ( Q ( t 1 ) ) ± P ( Q ± ( t 0 ) , Q ( t 1 ) ) ]
= P ( Q + ( t 2 ) ) ± P ( Q ± ( t 1 ) , Q + ( t 2 ) )
= [ P ( Q ( t 2 ) ) ± P ( Q ± ( t 1 ) , Q ( t 2 ) ) ]
= δ sin 2 θ cos θ sin 2 ω τ 2 ,
P ( Q + ( t 2 ) ) ± P ( Q ± ( t 0 ) , Q + ( t 2 ) )
= [ P ( Q ( t 2 ) ) ± P ( Q ± ( t 0 ) , Q ( t 2 ) ) ]
= δ sin 2 θ cos θ sin 2 ω τ ,
P ( Q + ( t 1 ) , Q + ( t 2 ) ) ± P ( Q ± ( t 0 ) , Q + ( t 1 ) , Q + ( t 2 ) )
= [ P ( Q ( t 1 ) , Q ( t 2 ) ) ± P ( Q ± ( t 0 ) , Q ( t 1 ) , Q ( t 2 ) ) ]
= 1 4 δ sin 2 θ cos θ sin 2 ω τ 2 cos 2 θ + 2 sin 2 θ cos ω τ + 3 ,
P ( Q ( t 1 ) , Q + ( t 2 ) ) ± P ( Q ± ( t 0 ) , Q ( t 1 ) , Q + ( t 2 ) )
= [ P ( Q + ( t 1 ) , Q ( t 2 ) ) ± P ( Q ± ( t 0 ) , Q + ( t 1 ) , Q ( t 2 ) ) ]
= δ sin 4 θ cos θ sin 4 ω τ 2 ,
P ( Q + ( t 0 ) , Q + ( t 2 ) ) ± P ( Q + ( t 0 ) , Q ± ( t 1 ) , Q + ( t 2 ) )
= [ P ( Q + ( t 0 ) , Q ( t 2 ) ) ± P ( Q + ( t 0 ) , Q ± ( t 1 ) , Q ( t 2 ) ) ]
= 1 4 sin 2 θ ( δ cos θ 1 ) sin 2 ω τ 2 2 sin 2 θ + ( cos 2 θ + 3 ) cos ω τ ,
P ( Q ( t 0 ) , Q + ( t 2 ) ) ± P ( Q ( t 0 ) , Q ± ( t 1 ) , Q + ( t 2 ) )
= [ P ( Q ( t 0 ) , Q ( t 2 ) ) ± P ( Q ( t 0 ) , Q ± ( t 1 ) , Q ( t 2 ) ) ]
= 1 4 sin 2 θ ( δ cos θ + 1 ) 2 sin 2 ω τ sin 2 ω τ 2 cos 2 θ + 2 sin 2 θ cos ω τ + 3 .
Then, from Equations (A1) to (A6), we find that when one of the following conditions is satisfied: (1) θ = 0 ; (2) τ = 2 π ω ; (3) θ = π 2 and τ = π ω , the NSIT conditions can not be violated, i.e., Equations (3) and (5) can not be violated.

Appendix C. CNSIT Conditions for Mixed State under Coherent Dynamics

From Equations (1), (2), (6), (9), (13), (14) and (18), according to the two-time CNSIT conditions, i.e., E ( i ) j ( n ) , m of Equation (6), E j m n E i , j n , m can be obtained as
E 1 + ± E 0 , 1 ± , + = E 2 + ± E 1 , 2 ± , +
= ω cos θ δ 2 cos 2 θ δ 2 2 δ cos θ + 2 ( δ cos θ 1 ) 2 δ cos 3 θ + δ sin 2 θ cos θ cos ω τ 1 + 2 4 ( δ cos θ 1 ) ,
E 1 ± E 0 , 1 ± , = E 2 ± E 1 , 2 ± ,
1 2 ω cos θ 1 δ 2 δ cos θ + 1 + δ cos θ δ cos θ + 1 δ cos 3 θ + δ sin 2 θ cos θ cos ω τ + 1 ,
E 2 + ± E 0 , 2 ± , + = ω cos θ δ 2 cos 2 θ δ 2 2 δ cos θ + 2 ( δ cos θ 1 ) 2 δ cos 3 θ + δ sin 2 θ cos θ cos ( 2 ω τ ) 1 + 2 4 ( δ cos θ 1 ) ,
E 2 ± E 0 , 2 ± , = 1 2 ω cos θ 1 δ 2 δ cos θ + 1 + δ cos θ δ cos θ + 1 δ cos 3 θ + δ sin 2 θ cos θ cos ( 2 ω τ ) + 1 .
Then, according to the three-time CNSIT conditions E ( 0 ) 1 , 2 ( n ) m , l in Equation (7), from Equations (1), (2), (7), (9), (13), (14) and (18), E 1 , 2 m , l n E 0 , 1 , 2 n , m , l can be derived as
E 1 , 2 + , + ± E 0 , 1 , 2 ± , + , + = δ ω 16 ( δ cos θ 1 ) δ cos 3 θ + δ sin 2 θ cos θ cos ω τ 1 { 2 sin 2 θ cos θ
× 3 δ 2 + 4 cos θ + δ ( δ cos 3 θ 2 cos 2 θ 6 ) + sin 2 ( 2 θ ) δ 2 cos 2 θ δ 2 2 δ cos θ + 2 cos ω τ } ,
E 1 , 2 , + ± E 0 , 1 , 2 ± , , + = 1 2 ω cos θ 1 δ 2 δ cos θ + 1 + δ cos θ δ cos θ + 1 δ cos 3 θ + δ sin 2 θ cos θ cos ω τ + 1 ,
E 1 , 2 + , ± E 0 , 1 , 2 ± , + , = ω cos θ δ 2 cos 2 θ δ 2 2 δ cos θ + 2 ( δ cos θ 1 ) 2 δ cos 3 θ + δ sin 2 θ cos θ cos ω τ 1 + 2 4 ( δ cos θ 1 ) ,
E 1 , 2 , ± E 0 , 1 , 2 ± , , = δ ω 16 ( δ cos θ + 1 ) δ cos 3 θ + δ sin 2 θ cos θ cos ω τ + 1 { 2 cos θ sin 2 θ
× 3 δ 2 + 4 cos θ + δ ( δ cos 3 θ + 2 cos 2 θ + 6 ) + sin 2 ( 2 θ ) δ 2 cos 2 θ δ 2 + 2 δ cos θ + 2 cos ω τ } .
And according to E 0 ( 1 ) , 2 n ( m ) l of Equation (8), from Equations (1), (2), (8), (9), (13), (14) and (18), E 0 , 2 n , l m E 0 , 1 , 2 n , m , l can be written as
E 0 , 2 + , + ± E 0 , 1 , 2 + , ± , + = ω 2 { 1 cos θ + sin θ tan θ cos 2 ω τ + cos θ [ sin 2 θ ( 1 cos ω τ )
+ 1 + i cos 2 θ + 2 sin 2 θ cos ω τ + ( 1 + 2 i ) + 1 i cos 2 θ + 2 sin 2 θ cos ω τ + ( 1 2 i ) ] } ,
E 0 , 2 , + ± E 0 , 1 , 2 , ± , + = ω cos θ cos 2 θ + sin 2 θ cos ω τ 2 cos 2 θ + 2 sin 2 θ cos ω τ + 3 ,
E 0 , 2 + , ± E 0 , 1 , 2 + , ± , = ω cos θ cos 2 θ + sin 2 θ cos ω τ 2 cos 2 θ + 2 sin 2 θ cos ω τ + 3 ,
E 0 , 2 , ± E 0 , 1 , 2 , ± , = ω 2 { 1 cos θ + sin θ tan θ cos 2 ω τ + cos θ [ sin 2 θ ( cos ω τ 1 )
1 + i cos 2 θ + 2 sin 2 θ cos ω τ + ( 1 + 2 i ) 1 i cos 2 θ + 2 sin 2 θ cos ω τ + ( 1 2 i ) ] } .
From Equations (A7) to (A18), we can find that the CNSIT conditions can not be violated (i.e., Equations (6) and (8) can not be violated), if one of the following conditions is satisfied: (1) θ = 0 ; (2) θ = π 2 .

Appendix D. ANSIT Conditions for Mixed State under Coherent Dynamics

For the ANSIT conditions, according to E ( i ) j (Equation (10)), E ¯ ( 0 ) 1 , 2 (Equation (11)), and E ¯ 0 ( 1 ) 2 (Equation (12)), from Equations (2), (9) to (14), and (18), E ¯ j E ¯ i , j , E ¯ 1 , 2 E ¯ 0 , 1 , 2 , and E ¯ 0 , 2 E ¯ 0 , 1 , 2 , can be obtained as
E ¯ 1 E ¯ 0 , 1 = E ¯ 2 E ¯ 1 , 2 = δ ω sin 2 θ cos 2 θ sin 2 ω τ 2 ,
E ¯ 2 E ¯ 0 , 2 = δ ω sin 2 θ cos 2 θ sin 2 ω τ ,
E ¯ 1 , 2 E ¯ 0 , 1 , 2 = 1 4 δ ω sin 2 ( 2 θ ) sin 2 ω τ 2 cos 2 θ + sin 2 θ cos ω τ ,
E ¯ 0 , 2 E ¯ 0 , 1 , 2 = 1 8 δ ω sin 2 ( 2 θ ) sin 2 ω τ 2 2 sin 2 θ + ( cos 2 θ + 3 ) cos ω τ .
It can be found from Equations (A19) to (A22) that if one of the following conditions is satisfied: (1) θ = 0 ; (2) τ = 2 π ω ; (3) θ = π 2 ; (4) δ = 0 , the ANSIT conditions can not be violated, i.e., Equations (10) and (12) can not be violated.

References

  1. Bell, J.S. On the einstein podolsky rosen paradox. Physics 1964, 1, 195–200. [Google Scholar] [CrossRef]
  2. Leggett, A.; Garg, A. Quantum mechanics versus macroscopic realism: Is the flux there when nobody looks? Phys. Rev. Lett. 1985, 54, 857. [Google Scholar] [CrossRef] [PubMed]
  3. Leggett, A.J. Testing the limits of quantum mechanics: Motivation, state of play, prospects. J. Phys. Condens. Matter 2002, 14, R415. [Google Scholar] [CrossRef]
  4. Leggett, A.J. Realism and the physical world. Rep. Prog. Phys. 2008, 71, 022001. [Google Scholar] [CrossRef]
  5. Palacios-Laloy, A.; Mallet, F.; Nguyen, F.; Bertet, P.; Vion, D.; Esteve, D.; Korotkov, A.N. Experimental violation of a Bell’s inequality in time with weak measurement. Nat. Phys. 2010, 6, 442–447. [Google Scholar] [CrossRef]
  6. Dressel, J.; Broadbent, C.J.; Howell, J.C.; Jordan, A.N. Experimental Violation of Two-Party Leggett–Garg Inequalities with Semiweak Measurements. Phys. Rev. Lett. 2011, 106, 040402. [Google Scholar] [CrossRef] [PubMed]
  7. Goggin, M.E.; Almeida, M.P.; Barbieri, M.; Lanyon, B.P.; O’Brien, J.L.; White, A.G.; Pryde, G.J. Violation of the Leggett–Garg inequality with weak measurements of photons. Proc. Natl. Acad. Sci. USA 2011, 108, 1256–1261. [Google Scholar] [CrossRef]
  8. Knee, G.C.; Simmons, S.; Gauger, E.M.; Morton, J.J.L.; Riemann, H.; Abrosimov, N.V.; Becker, P.; Pohl, H.J.; Itoh, K.M.; Thewalt, M.L.W.; et al. Violation of a Leggett–Garg inequality with ideal non-invasive measurements. Nat. Commun. 2012, 3, 606. [Google Scholar] [CrossRef]
  9. Zhou, Z.Q.; Huelga, S.F.; Li, C.F.; Guo, G.C. Experimental Detection of Quantum Coherent Evolution through the Violation of Leggett–Garg-Type Inequalities. Phys. Rev. Lett. 2015, 115, 113002. [Google Scholar] [CrossRef]
  10. Robens, C.; Alt, W.; Meschede, D.; Emary, C.; Alberti, A. Ideal negative measurements in quantum walks disprove theories based on classical trajectories. Phys. Rev. X 2015, 5, 011003. [Google Scholar] [CrossRef]
  11. Paz, J.P.; Mahler, G. Proposed test for temporal Bell inequalities. Phys. Rev. Lett. 1993, 71, 3235. [Google Scholar] [CrossRef] [PubMed]
  12. Kofler, J.; Brukner, Č. Condition for macroscopic realism beyond the Leggett–Garg inequalities. Phys. Rev. A 2013, 87, 052115. [Google Scholar] [CrossRef]
  13. Clemente, L.; Kofler, J. Necessary and sufficient conditions for macroscopic realism from quantum mechanics. Phys. Rev. A 2015, 91, 062103. [Google Scholar] [CrossRef]
  14. Clemente, L.; Kofler, J. No fine theorem for macrorealism: Limitations of the Leggett–Garg inequality. Phys. Rev. Lett. 2016, 116, 150401. [Google Scholar] [CrossRef] [PubMed]
  15. Li, C.M.; Lambert, N.; Chen, Y.N.; Chen, G.Y.; Nori, F. Witnessing quantum coherence: from solid-state to biological systems. Sci. Rep. 2012, 2, 885. [Google Scholar] [CrossRef] [PubMed]
  16. Kumari, S.; Pan, A.K. Probing various formulations of macrorealism for unsharp quantum measurements. Phys. Rev. A 2017, 96, 042107. [Google Scholar] [CrossRef] [Green Version]
  17. Chanda, T.; Das, T.; Mal, S.; Sen, A.; Sen, U. Canonical Leggett–Garg inequality: Nonclassicality of temporal quantum correlations under energy constraint. Phys. Rev. A 2018, 98, 022138. [Google Scholar] [CrossRef]
  18. Seifert, U. Entropy Production Along a Stochastic Trajectory and an Integral Fluctuation Theorem. Phys. Rev. Lett. 2005, 95, 040602. [Google Scholar] [CrossRef]
  19. Sekimoto, K. Stochastic Energetics; Springer: Berlin/Heidelberg, Germany, 2010. [Google Scholar]
  20. Jarzynski, C. Equalities and inequalities: Irreversibility and the second law of thermodynamics at the nanoscale. Annu. Rev. Condens. Matter Phys. 2011, 2, 329. [Google Scholar] [CrossRef]
  21. Mohammady, M.H.; Romito, A. Conditional work statistics of quantum measurements. Quantum 2019, 3, 175. [Google Scholar] [CrossRef]
  22. Horowitz, J.M. Quantum-trajectory approach to the stochastic thermodynamics of a forced harmonic oscillator. Phys. Rev. E 2012, 85, 031110. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  23. Hekking, F.W.J.; Pekola, J.P. Quantum jump approach for work and dissipation in a two-level system. Phys. Rev. Lett. 2013, 111, 093602. [Google Scholar] [CrossRef] [PubMed]
  24. Alonso, J.J.; Lutz, E.; Romito, A. Thermodynamics of weakly measured quantum systems. Phys. Rev. Lett. 2016, 116, 080403. [Google Scholar] [CrossRef] [PubMed]
  25. Elouard, C.; Herrera-Martí, D.A.; Clusel, M.; Auffèves, A. The role of quantum measurement in stochastic thermodynamics. Quantum Inf. 2017, 3, 9. [Google Scholar] [CrossRef]
  26. Naghiloo, M.; Tan, D.; Harrington, P.M.; Alonso, J.J.; Lutz, E.; Romito, A.; Murch, K.W. Thermodynamics along individual trajectories of a quantum bit. arXiv 2017, arXiv:1703.05885. [Google Scholar]
  27. Naghiloo, M.; Alonso, J.J.; Romito, A.; Lutz, E.; Murch, K.W. Information gain and loss for a quantum maxwell’s demon. Phys. Rev. Lett. 2018, 121, 030604. [Google Scholar] [CrossRef]
  28. Elouard, C.; Mohammady, M.H. Work, heat and entropy production along quantum trajectories. Thermodynamics in the Quantum Regime; Springer International Publishing: Cham, Switzerland, 2018; Volume 195, pp. 363–393. [Google Scholar]
  29. Maroney, O.J.E.; Timpson, C.G. Quantum-vs. macro-realism: What does the Leggett–Garg inequality actually test? arXiv 2014, arXiv:1412.6139. [Google Scholar]
  30. Smirne, A.; Egloff, D.; Díaz, M.G.; Plenio, M.B.; Huelga, S.F. Coherence and non-classicality of quantum Markov processes. Quantum Sci. Technol. 2019, 4, 01LT01. [Google Scholar] [CrossRef]
  31. Louisell, W.H. Radiation and Noise in Quantum Electronics; McGraw-Hill: San Francisco, NC, USA, 1964. [Google Scholar]
  32. Vedral, V. Modern Foundations of Quantum Optics; Imperial College Press: London, UK, 2005. [Google Scholar]
Figure 1. Schematic diagram for the energy change E 1 , 2 m , l . Here, we take a general dichotomic measurements Q ± as an example with m , l = ± 1 being the measurement outcomes, and ε is the system propagator ρ ε ( ρ ) .
Figure 1. Schematic diagram for the energy change E 1 , 2 m , l . Here, we take a general dichotomic measurements Q ± as an example with m , l = ± 1 being the measurement outcomes, and ε is the system propagator ρ ε ( ρ ) .
Entropy 21 01067 g001
Figure 2. Schematic diagram for the relationship among the NSIT conditions, the CNSIT conditions and the ANSIT conditions in the case of the pure qubit and the dephasing qubit, respectively.
Figure 2. Schematic diagram for the relationship among the NSIT conditions, the CNSIT conditions and the ANSIT conditions in the case of the pure qubit and the dephasing qubit, respectively.
Entropy 21 01067 g002
Figure 3. Schematic diagram for the relationship among the NSIT conditions, the CNSIT conditions and the ANSIT conditions in the case of the driven qubit and the dissipative qubit, respectively.
Figure 3. Schematic diagram for the relationship among the NSIT conditions, the CNSIT conditions and the ANSIT conditions in the case of the driven qubit and the dissipative qubit, respectively.
Entropy 21 01067 g003
Table 1. The non-violation conditions of the NSIT conditions, the CNSIT conditions and the ANSIT conditions for coherent dynamics, dynamics under dissipation, and dynamics under dephasing, for the initial mixed and pure states, respectively.
Table 1. The non-violation conditions of the NSIT conditions, the CNSIT conditions and the ANSIT conditions for coherent dynamics, dynamics under dissipation, and dynamics under dephasing, for the initial mixed and pure states, respectively.
coherent dynamicsmixed statepure state
NSIT conditions1. θ = 0 ;    2. τ = 2 π ω ;    3. θ = π 2 and τ = π ω ;
CNSIT conditions 1. θ = 0 ;    
1. θ = 0 ; 2. θ = π 2 and ψ = 0 ;
2. θ = π 2 ; 3. θ = π 2 and ψ = π 4 ;
4. θ = π 2 and ψ = π 2 ;
5. θ = π 2 and ψ = 3 π 4 ;
ANSIT conditions 1. θ = 0 ;
1. θ = 0 ; 2. τ = 2 π ω ;
2. τ = 2 π ω ; 3. θ = π 2 ;
3. θ = π 2 ;4. τ = π ω , ϕ = π 2 and ψ = π 4 ;
4. δ = 0 ; 5. τ = π ω , ϕ = π 2 and ψ = 3 π 4 ;
6. τ = π ω , ϕ = 3 π 2 and ψ = π 4 ;
7. τ = π ω , ϕ = 3 π 2 and ψ = 3 π 4 ;
dynamics under dissipation
NSIT conditions1. θ = 0 ;    2. θ = π 2 and τ = π ω ;    3. θ = π 2 and τ = 2 π ω ;
CNSIT conditions θ = 0 ;
ANSIT conditions1. θ = 0 ;    2. θ = π 2
dynamics under dephasing
NSIT conditions1. θ = 0 ;    2. θ = π 2 and τ = π ω ;    3. θ = π 2 and τ = 2 π ω ;
CNSIT conditions 1. θ = 0 ;
1. θ = 0 ; 2. θ = π 2 and ψ = 0 ;
2. θ = π 2 3. θ = π 2 and ψ = π 4 ;
4. θ = π 2 and ψ = π 2 ;
5. θ = π 2 and ψ = 3 π 4 ;
ANSIT conditions 1. θ = 0 ;
2. θ = π 2 ;
3. τ = π ω , ϕ = π 2 and ψ = π 4 ;
1. θ = 0 ; 4. τ = π ω , ϕ = π 2 and ψ = 3 π 4 ;
2. θ = π 2 ;5. τ = π ω , ϕ = 3 π 2 and ψ = π 4 ;
3. δ = 0 ; 6. τ = π ω , ϕ = 3 π 2 and ψ = 3 π 4 ;
7. τ = 2 π ω , ϕ = π 2 and ψ = π 4 ;
8. τ = 2 π ω , ϕ = π 2 and ψ = 3 π 4 ;
9. τ = 2 π ω , ϕ = 3 π 2 and ψ = π 4 ;
10. τ = 2 π ω , ϕ = 3 π 2 and ψ = 3 π 4 ;

Share and Cite

MDPI and ACS Style

Zhang, Y.; Zou, J.; Shao, B. No-Signaling-in-Time (NSIT) Condition for Energy. Entropy 2019, 21, 1067. https://doi.org/10.3390/e21111067

AMA Style

Zhang Y, Zou J, Shao B. No-Signaling-in-Time (NSIT) Condition for Energy. Entropy. 2019; 21(11):1067. https://doi.org/10.3390/e21111067

Chicago/Turabian Style

Zhang, Yuxia, Jian Zou, and Bin Shao. 2019. "No-Signaling-in-Time (NSIT) Condition for Energy" Entropy 21, no. 11: 1067. https://doi.org/10.3390/e21111067

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop