Skip to main content
Scientific Reports logoLink to Scientific Reports
. 2024 May 2;14:10139. doi: 10.1038/s41598-024-60742-y

Comparing the quantum witness, the entropic Leggett–Garg inequality and the NCGD

Xiangguan Tan 1, Yuxia Zhang 2,, Tianhui Qiu 2
PMCID: PMC11066071  PMID: 38698176

Abstract

In this paper, we investigate the violation of the quantum witness, the entropic Leggett–Garg inequality (LGI) and the no-coherence-generating-and-detecting (NCGD) dynamics, under projective and coarsening measurements. We consider a qubit in the three scenarios: coherent dynamics, in the presence of dissipation, and in the presence of dephasing. For the pure qubit, we find that in the case of the projective measurement, the non-violation conditions of the quantum witness and the NCGD are the same; while the non-violation conditions of the entropic LGI and the quantum witness do not contain each other, i.e., a suitable conjunction of the quantum witness and the entropic LGI may be better for testing macrorealism. Also, for the pure qubit with coarsening measurement similar results can be obtained. For the dissipative qubit with projective measurement, the quantum witness and the NCGD can be both violated for a wider parameter regime than the entropic LGI. For the dissipative qubit with coarsening measurement, the violation of the NCGD is the most robust compared to the quantum witness and the entropic LGI. For the dephasing qubit with projective and coarsening measurements, the relationship among the quantum witness, the entropic LGI and the NCGD is similar to that of the pure qubit. In addition, we find that for pure, dissipative and dephasing qubits, the robustness of the coarsening measurement in final resolution is more vulnerable than that of the coarsening measurement in reference for the entropic LGI.

Subject terms: Physics, Quantum physics

Introduction

Quantum physics conceptually and mathematically, is incompatible with a view of the classical world. And the question of what genuinely distinguishes quantum from classical physics is as old as quantum theory itself1,2. In other words, how macroscopic classical world emerges from the framework of quantum mechanics (QM) has always been a foundational question, which has been attracting increasing attention. In 1985, Leggett and Garg introduced the concept of macroscopic realism (macrorealism)3. Based on the assumption of macrorealism and analogies to Bell’s theorem4, Leggett and Garg proposed an inequality, which is now known as the Leggett–Garg inequality (LGI)3,5,6. This inequality is proposed to test macrorealism, and probes the correlations of a single system measured at different times. The LGI cannot provide the necessary and sufficient conditions for macrorealism, and is a necessary condition for macrorealism.

For studies along these lines, recently, a quantum witness79 for probing the non-classical behavior has been proposed. It is based on the classical assumption: the idea that a measurement does not change the outcome statistics of a later measurement8,9, which is also known as the non-disturbing-measurement condition10,11. In other words, the quantum witness ensures that the outcome statistics of a later measurement does not depend on whether any prior measurement has been performed. Except for the LGI and the quantum witness, there have been other standard tools for testing macrorealism, such as the entropic Leggett–Garg inequality (LGI)12,13, coherence-generating-and-detecting (CGD)14 dynamics and so on. The entropic LGI recently has been introduced as a criterion to test the incompatibility between the classical world view of macrorealism and QM. It places constraints on the statistical outcomes of temporal correlations of observables. If the entropic LGI is violated, macrorealism is violated. In general, the entropic LGI provides a necessary but not sufficient criterion for local realism and noncontextuality15,16. Compared with the quantum witness, the entropic LGI test involves entropies which are functions of correlation probabilities (i.e., it tests macrorealism by using quantities related to probability), and the quantum witness tests macrorealism by directly using probability. In fact, for testing macrorealism, both the entropic LGI and the quantum witness are related to probability. We want to see which one has better robustness when testing macrorealism using quantities related to probability and directly testing macrorealism with probability. In addition, in comparison to a correlation test which involves the probabilities directly, the entropic LGI testing seems to be a less subtle condition. However, in this paper, we find that for the pure and dephasing qubits, in the case of the projective measurement and coarsening measurement, the violation of the quantum witness is not more robust than that of the entropic LGI (see Table 1 and Fig. 2). The other notion of CGD was proposed by Smirne et al.14. They presented the property of quantum coherence directly related to the non-classicality possibly emerging from repeated measurements of a quantum observable. Roughly speaking, they characterized the evolutions which not only generate coherences, but can also turn such coherences into the populations measured at a later time. That is to say, when the CGD is satisfied, the evolution can generate coherence, and can turn such coherence into the populations measured at a later time. If the CGD is not satisfied, the evolution can be described as the NCGD. In fact, it provides a definite criterion to determine when and to what extent quantum coherence is equivalent to non-classicality.

Table 1.

Non-violation conditions of the quantum witness, the entropic LGI and the NCGD for the coherent dynamics, dynamics with dissipation and with dephasing, in the case of projective and coarsening measurements (0<Δ<1 and 0<δ<0.5), respectively.

Measurement operator Quantum witness Entropic LGI NCGD
Coherent dynamics
 Projective measurement (1) τ=πω; (1) τ=πω; (1) τ=πω;
(2) α=0 and 0.2062πωτ0.7938πω;
(2) α=0; (3) α=0.5 and 0.4465πωτ0.5535πω; (2) α=0;
 Coarsening measurement In reference (1) τ=πω; (1) τ=πω; (1) τ=πω;
(2) α=0, τ=0.1πω and 0.19235Δ<1;
(2) α=0; (3) α=0.5, τ=0.1πω and 0.19359Δ<1; (2) α=0;
 Coarsening measurement In final resolution (1) τ=πω; (1) τ=πω; (1) τ=πω;
(2) α=0, τ=0.1πω and 0.00917δ<0.5;
(2) α=0; (3) α=0.5, τ=0.1πω and 0.0093δ<0.5; (2) α=0;
Dynamics with dissipation (τ=π2ω)
 Projective measurement α=e2πγω-1 (1) α=e2πγω-1 (γ(0,log22πω]); α=e2πγω-1
(2) α=0;
(γ(0,log22πω]); (3) α=0.5 and 0.00684ωγ0.50432ω; (γ(0,log22πω]);
 Coarsening measurement in reference α=-eπγω-11-e-Δ2-eπγ2ω+eπγω+11-e-Δ2eπγ2ω-1 (1) α=-eπγω-11-e-Δ2-eπγ2ω+eπγω+11-e-Δ2eπγ2ω-1 (α[0,1]); No
(2) α=0;
(α[0,1]); (3) α=0.5, γ=0.6ω and 0.20522Δ<1;
 Coarsening measurement in final resolution (1) α=-eπγω-1-2-(δ-1)δeπγ2ω+eπγω+12-(δ-1)δeπγ2ω-1 (α[0,1]); No
α=-eπγω-1-2-(δ-1)δeπγ2ω+eπγω+12-(δ-1)δeπγ2ω-1 (2) α=0;
(α[0,1]); (3) α=0.5, γ=0.6ω and 0.01042δ<0.5;
Dynamics with dephasing
(1) τ=πω; (1) τ=πω; (1) τ=πω;
 Projective measurement (2) α=0 and 0.2062πωτ0.7938πω;
(2) α=0; (3) α=0.5 and 0.4465πωτ0.5535πω; (2) α=0;
 Coarsening measurement in reference (1) τ=πω; (1) τ=πω; (1) τ=πω;
(2) α=0, τ=0.1πω and 0.19235Δ<1;
(2) α=0; (3) α=0.5, τ=0.1πω, γ=0.6ω and 0.19405Δ<1; (2) α=0;
 Coarsening measurement in final resolution (1) τ=πω; (1) τ=πω; (1) τ=πω;
(2) α=0, τ=0.1πω and 0.00917δ<0.5;
(2) α=0; (3) α=0.5, τ=0.1πω, γ=0.6ω and 0.00933δ<0.5; (2) α=0;

Figure 2.

Figure 2

Schematic diagram for the relationship among the quantum witness, the entropic LGI and the NCGD, for the pure and dephasing qubits, in the case of the projective measurement, the coarsening measurement reference and the coarsening final measurement resolution. The shaded regions attributed to the quantum witness, the entropic LGI and the NCGD denote the non-violation conditions of the quantum witness, the entropic LGI and the NCGD for the pure and dephasing qubits, in the case of the projective measurement, the coarsening measurement reference and the coarsening final measurement resolution, respectively.

Understanding how macrorealism and classical laws can emerge out of quantum physics, has long been a challenging task, leading to significant research efforts. Among these, quantum decoherence is one of the successful attempts to explain the quantum-to-classical transition17. Apart from quantum decoherence, a new idea has emerged in recent years, known as the concept of coarsening measurement18,19, to explain the quantum-to-classical transition. A coarsening measurement can be divided into coarsening in measurement reference (coarsening the accuracy of this unitary operation) and coarsening in final measurement resolution. This imprecise measurement is a theoretical approach that is conceptually different from the phenomenon of decoherence19. In the course of this research trajectory, numerous inquiries have been conducted, contributing a deeper understanding of coarsening measurement resulting in the emergence of classicality or persistence of quantumness1832. And in Refs1820,2632, these works have done a detailed study on the effects of the coarsening measurement on the LGI. For example, in Ref.28, they investigated the violation of the LGI3,5,6, Wigner’s form of LGI33 and no-signaling in time condition (NSIT)8,9,34,35 for multilevel spin systems under the condition of coarsening measurement. They found that the effect of coarsening of measurement times in reducing the magnitude of quantum violation of macrorealism can be compensated by increasing the dimension of the quantum system. However, we rarely see reports on the effects of coarsening measurement on the quantum witness, the entropic LGI and the NCGD, and about comparing the robustness of these three conditions of macrorealism.

In this paper, we discuss the effects of projective and coarsening measurements on the quantum witness, the entropic LGI and the NCGD for a qubit in three scenarios: with coherent dynamics, dissipative dynamics and dephasing dynamics. And then, we investigate the violation of these three different conditions of macrorealism, to find a stricter criterion for testing macrorealism. The coarsening measurement contains coarsening measurement in reference and final resolution. For the pure qubit with projective measurement, we find that the non-violation conditions of the NCGD are the same as the quantum witness; and a suitable conjunction of the quantum witness and the entropic LGI may be better for testing macrorealism. Also, for the pure qubit with coarsening measurement similar results can be obtained. For the dissipative qubit with projective measurement, the non-violation of the quantum witness and the NCGD implies the non-violation of the entropic LGI. Then, for the dissipative qubit with coarsening measurement, the violation of the NCGD is the most robust and the quantum witness lies between the NCGD and the entropic LGI, and the violation of the entropic LGI is the most vulnerable. For the dephasing qubit with projective and coarsening measurements, the relationship among the quantum witness, the entropic LGI and the NCGD is similar to that of the pure qubit. In addition, we find that for the entropic LGI, the violation of the coarsening measurement reference is more robust than that of the coarsening measurement final resolution, in the case of pure, dissipative and dephasing qubits.

Coarsening measurement

We firstly briefly review the coarsening measurement18,19. The coarsening measurement contains the coarsening measurement in measurement reference and the coarsening measurement in final measurement resolution18,19. Consider a qubit observable σz, and its projector is described as

Πzz=12(I+azσz), 1

where az=±1 are the outcomes of observable σz. Here, Πzaz=+1=|00|, and Πzaz=-1=|11|, where |0 and |1 are the eigenvectors of the observable σz, respectively. Next, when the final measurement resolution is coarsened, the corresponding fuzzy version of the measurement operators can be described as

Πz,δaz=+1=Πz,δ+=(1-δ)|00|+δ|11|,Πz,δaz=-1=Πz,δ-=(1-δ)|11|+δ|00|. 2

Here, δ is the coarsening degree (or, degree of fuzziness) of the final measurement resolution (0<δ<0.5).

Then, we show another version of the coarsening measurement, i.e., the coarsening measurement in reference. The corresponding measurement operator can be denoted as

Πz,Δz=-+dθdφλΔ(θ-θ0)λΔ(φ-φ0)U(θ,φ)Πz,δzU(θ,φ). 3

Here, U(θ,φ) is a unitary operator and implies a rotation of measurement axes about y axis and z axis:

U(θ,φ)0=on=cosθ20+eiφsinθ21,U(θ,φ)1=o-n=e-iφsinθ20-cosθ21, 4

where o±n are the eigenvectors of σn=n·σ. And n=sinθcosφi+sinθsinφj+cosθk is a unit vector in the Bloch sphere, and σ=σxi+σyj+σzk (σx, σy and σz are Pauli operators). And λΔ(θ-θ0) and λΔ(φ-φ0) in Eq. (3) are the normalized Gaussian kernels with standard deviation Δ, which are centered around θ0 and φ0, respectively. Similarly, Δ is the coarsening degree (or, degree of fuzziness) of the measurement reference (0<Δ<1). These normalized Gaussian kernels (in Eq. (3)) satisfy λΔ(θ-θ0)=12πΔexp[-(θ-θ0)22Δ2] and λΔ(φ-φ0)=12πΔexp[-(φ-φ0)22Δ2], respectively.

A pure qubit

Quantum witness

Firstly, we briefly recapitulate the quantum witness7, which has been introduced in two slightly different ways in Refs.8,9. Following Ref.7, we consider a two-level system (d=2 in Ref.7), and suppose that Hamiltonian satisfies H=12ωσx, where ω is the energy gap of the qubit. And the system unitary evolution operator between ti and tj can be given by U(tj,ti)=e-iHτ=e-i2ωσx(tj-ti), with τ=tj-ti. For simplicity, we suppose τ[0,πω] in the following. Then, at different times ti and tj (i,j=0,1,2 and ti<tj), we perform the sequential measurements of Πn(ti) and Πm(tj), respectively. Here, n,m=±1 are outcomes of the observable. Then, the quantum witness can be expressed as8

Wq=|P(Πm(tj))-nP(Πn(ti),Πm(tj))|, 5

where P(Πm(tj)) is the probability of obtaining outcome m by measuring at tj, and P(Πn(ti),Πm(tj)) is the probability of obtaining outcomes n and m for measurements at two instants ti and tj, respectively. And the probability P(Πn(ti),Πm(tj)) can be expressed as

P(Πn(ti),Πm(tj))=Tr[Πm(tj)U(tj,ti)Πn(ti)U(ti,t0)ρ(0)U(ti,t0)Πn(ti)U(tj,ti)Πm(tj)], 6

where ρ(0) is the initial state of the system. The non-classicality of the initial state is revealed, when Wq>0. And when Wq=0, the quantum witness is satisfied. It is worth noting that when one of the quantum witnesses is violated, macrorealism is violated.

Next, we investigate the quantum witness under the projective measurement (in Eq. (1)) in Schro¨dinger’s picture. The initial state of the system at t0=0 can be written as ρ(0)=1-α2|00|+1+α2|11|, with 0α1. From Eqs. (1), (5) and (6), we obtain all the quantum witnesses under the projective measurement. For the sake of simplicity, we take the quantum witness: Wq=P(Π+(t2))-±P(Π±(t1),Π+(t2)) as an example to illustrate, in this paper. Then, it can be expressed as

Wq=P(Π+(t2))-±P(Π±(t1),Π+(t2))=12αsin2ωτ. 7

From the above expression, we find that when one of the conditions is satisfied: (1) τ=πω; (2) α=0, Wq in Eq. (7) will equal to zero, i.e., the quantum witness will be satisfied. And other quantum witnesses are similar to Eq. (7). Therefore, all the quantum witnesses will be satisfied, when one of the conditions is satisfied: (1) τ=πω; (2) α=0. These non-violation conditions are listed in Table 1. Next, we investigate the quantum witness under the coarsening measurement in reference (Δ0,δ=0). Similarly, we also take Wq,Δ=PΔ(Π+(t2))-±PΔ(Π±(t1),Π+(t2)) as an example. From Eqs. (3), (5) and (6), Wq,Δ=PΔ(Π+(t2))-±PΔ(Π±(t1),Π+(t2)) can be obtained as

Wq,Δ=PΔ(Π+(t2))-±PΔ(Π±(t1),Π+(t2))=-12αe-Δ221-e-Δ2-1sin2ωτ, 8

and other quantum witnesses are similar to it. It can be found from Eq. (8) that if one of the conditions is satisfied: (1)τ=πω; (2) α=0, the quantum witness will be satisfied. Therefore, when one of the conditions is satisfied: (1) τ=πω; (2) α=0, all the quantum witnesses will not be violated. Similarly, these non-violation conditions are summarized in Table 1. Now, we discuss the quantum witness under the coarsening measurement in final resolution (Eq. (2)). From Eqs. (2), (5) and (6), the quantum witness: Wq,δ=Pδ(Π+(t2))-±Pδ(Π±(t1),Π+(t2)) can be denoted as

Wq,δ=Pδ(Π+(t2))-±Pδ(Π±(t1),Π+(t2))=12α(2δ-1)2-(δ-1)δ-1sin2ωτ. 9

Others are similar to the above expression. From Eq. (9), it can be found that if one of the conditions is satisfied: (1) τ=πω; (2) α=0, the quantum witness will not be violated. Thus, all the quantum witnesses will be satisfied, when one of the conditions is satisfied: (1) τ=πω; (2) α=0, which are listed in Table 1.

Entropic LGI

Next, we introduce the entropic LGI as discussed in references12,13. In classical information theory, the properties of Shannon entropy, including the chain rule, can be described as follows: H(Πn(ti),Πm(tj))=H(Πn(ti)|Πm(tj))+H(Πm(tj))=H(Πm(tj)|Πn(ti))+H(Πn(ti)), and H(Πn(ti),Πm(tj))H(Πn(ti))+H(Πm(tj)). From the properties of Shannon entropy, we can derive the following inequalities: H(Πn(ti)|Πm(tj))H(Πn(ti)) and H(Πm(tj)|Πn(ti))H(Πm(tj)). These inequalities imply that if conditions are imposed, the information of random variables will be reduced. Using the chain rule, the joint Shannon entropy for three observables Πn(t0), Πm(t1), and Πl(t2) at t0, t1, and t2, respectively, can be written as follows: H(Πn(t0),Πm(t1),Πl(t2))=H(Πl(t2)|Πm(t1),Πn(t0))+H(Πm(t1)|Πn(t0))+H(Πn(t0)), with l=±1 being measurement outcomes of observable at t2. From these properties of Shannon entropy, the entropic LGI can be obtained as13

H1=H(Πn(t0),Πl(t2))-H(Πm(t1),Πl(t2))-H(Πn(t0),Πm(t1))+H(Πm(t1)), 10

where H(Πn(ti))=-n=±1P(Πn(ti))lnP(Πn(ti)), and H(Πn(ti),Πm(tj))=-n,m=±1P(Πn(ti),Πm(tj))lnP(Πn(ti),Πm(tj)) (i,j=0,1,2 and i<j). Here, n, m and l are the measurement outcomes. The other two entropic LGIs, i.e., H2 and H3, can be attained by a similar method above. Macrorealism can be satisfied when H1, H2 and H3 are all less than or equal to 0 (i.e., when H10, H20 and H30, macrorealism is satisfied). In other words, when one of the entropic LGIs is violated, macrorealism is violated.

Now, we investigate the entropic LGI under the projective measurement. From Eqs. (1), (6) and (10), we obtain entropic LGIs H1, H2 and H3 as following:

H1=12log116tan2τω-cos2τωlogcot2τω+2cosτωtanh-1(cosτω)+log(cotτω2), 11
H2=122αtanh-1α+logα2-1sin22τω4α2cos2τω-4+2cosτω-αtanh-1(αcosτω)+log(tanτω2)+tanh-1(cosτω)+cos2τωlogcot2τω, 12
H3=12log2sin2τωcos2τωα2cos2τω-1α2+α2cos4τω-2+cos2τωlogcot2τω-2αtanh-1(αcos2τω)-2cosτω-αtanh-1(αcosτω)+logtanτω2+tanh-1(cosτω). 13

From Eqs. (1113), we find the non-violation conditions for the entropic LGI. Due to the numerous and complex non-violation conditions of the entropic LGI, it is too cumbersome to list every term of non-violation conditions of the entropic LGI. Therefore, we do not list all non-violation conditions, and only a portion of them are listed in Table 1, i.e., (1) τ=πω; (2) α=0 and 0.2062πωτ0.7938πω; (3) α=0.5 and 0.4465πωτ0.5535πω (Selecting these conditions as examples is to facilitate comparison with the non-violation conditions of the quantum witness). That is to say, the entropic LGI will be satisfied, when one of the conditions is satisfied: (1) τ=πω; (2) α=0 and 0.2062πωτ0.7938πω; (3) α=0.5 and 0.4465πωτ0.5535πω.

Next, if the measurement is the coarsening measurement reference (Δ0 and δ=0), we obtain the entropic LGI and non-violation conditions of it. Similarly, for simplicity, we only list partial non-violation conditions in Table 1. Then, we define the value of making all the entropic LGIs equal to zero (i.e., H1,Δ=H2,Δ=H3,Δ=0) as a critical value of the entropic LGI, which is denoted as Δcritical. And when Δ<Δcritical, the entropic LGI will be violated. Now, we suppose τ=0.1πω and α=0,0.1,0.2,0.3,0.4,0.5,0.6,0.7,0.8,0.9,1 to discuss the critical values of the entropic LGI. For different values of α (α=0,0.1,0.2,0.3,0.4,0.5,0.6,0.7,0.8,0.9,1) and τ=0.1πω, the critical values of the entropic LGI in the coarsening measurement reference, are obtained and then listed in Table 2. From Table 2, we find that as the value of α increases, the critical value of the entropic LGI increases, when the measurement reference is coarsened. Then, we plot Fig. 1 to show that the entropic LG, H1,Δ, as a function of Δ in the coarsening measurement reference with α=0,0.2,0.4,0.6,0.8 for τ=0.1πω. It can be found from Fig. 1 that as the degree of coarsening in measurement reference Δ increases, the value of the entropic LG function decreases.

Table 2.

The critical values of the entropic LGI in the case of τ=0.1πω with α=0,0.1,0.2,0.3,0.4,0.5,0.6,0.7,0.8, 0.9, 1, for the pure qubit under the coarsening measurement reference and the coarsening final measurement resolution, respectively.

α Δcritical δcritical
0 0.19235 0.009164
0.1 0.19239 0.009168
0.2 0.19252 0.009181
0.3 0.19274 0.009202
0.4 0.19308 0.009235
0.5 0.19359 0.009283
0.6 0.19434 0.009355
0.7 0.1955 0.009466
0.8 0.19744 0.009652
0.9 0.20126 0.010025
1 0.21678 0.011611

Figure 1.

Figure 1

The entropic LG, H1,Δ, as a function of Δ in coarsening measurement reference under different values of α=0,0.2, 0.4, 0.6, 0.8 for the pure qubit with τ=0.1πω (black solid line for α=0, red solid line for α=0.2, green solid line for α=0.4, blue solid line for α=0.6 and baby blue solid line for α=0.8), respectively. For the sake of clarity, we have included a small graph in the figure to illustrate the different values of α. The small graph displays five different lines: a black solid line representing α=0, a red solid line representing α=0.2, a green solid line representing α=0.4, a blue solid line representing α=0.6 and a baby blue solid line representing α=0.8. And the black dashed line in the small graph indicates the classical limit of the entropic LGI, 0.

Next, when the final measurement resolution is coarsened, we obtain the entropic LGI, and then list partial non-violation conditions of it in Table 1. Then, we define the value of making all the entropic LGIs equal to zero (i.e., H1,δ=H2,δ=H3,δ=0) as the critical value of the entropic LGI, i.e., δcritical. And when δ<δcritical, the entropic LGI will not be satisfied. Similarly, we also suppose τ=0.1πω and α=0,0.1,0.2,0.3,0.4,0.5,0.6,0.7,0.8,0.9,1 to study the critical values of the entropic LGI. We list the critical values of the entropic LGI under the coarsening final measurement resolution, for α=0,0.1,0.2,0.3,0.4,0.5,0.6,0.7,0.8,0.9,1 and τ=0.1πω, in Table 2. It can be seen from Table 2 that for the coarsening final measurement resolution, the critical value of the entropic LGI increases with the value of α increasing, which is similar to that of the coarsening of measurement reference. Moreover, for different α, we find that similar to the entropic LGI in coarsening of measurement reference, the entropic LG function H1,δ also decreases with the degree of coarsening in final resolution δ increasing. In addition, comparing the critical values of the entropic LGI for the coarsening measurement reference and the coarsening final measurement resolution, we found from Table 2 that the critical values of the entropic LGI with α=0 for the coarsening measurement reference and the coarsening final measurement resolution are Δcritical=0.19235 and δcritical=0.009164, respectively. That is to say, the entropic LGI for the coarsening measurement in reference can be violated when Δ<0.19235, and the entropic LGI for the coarsening measurement in final resolution can be violated when δ<0.009164. Therefore, the entropic LGI for the coarsening measurement in reference can be violated for a wider parameter than that of the coarsening measurement in final resolution. Other situations (for different α in Table 2) are similar to the above situation. In a word, the violation of the coarsening measurement reference is more robust than that of the coarsening final measurement resolution.

NCGD

Next, we briefly introduce the NCGD14, which can be described as Λ·U(tj,ti)·Λ·U(ti,t0)·Λ·ρ(0)=Λ·U(tj,t0)·Λ·ρ(0). For simplicity, we define the following quantity:

N=Λ·U(tj,ti)·Λ·U(ti,t0)·Λ·ρ(0)-Λ·U(tj,t0)·Λ·ρ(0), 14

where Λ=ΣazΠzz is a blind measurement at time t. And when the above expression equals to zero (i.e., N=0), the NCGD can be satisfied. In other words, when N0, NCGD can be violated (CGD can be satisfied), which means that the evolution does generate coherence, and turns such coherence into the populations measured at a later time. Now, we investigate the NCGD when the measurement is the projective measurement of Eq. (1). From Eqs. (1), (6) and (14), the N in Eq. (14) under the projective measurement can be obtained as

N=12αsin2τω00-12αsin2τω. 15

From the above expression, we find that when one of the conditions is satisfied: (1) τ=πω; (2) α=0, the NCGD will be satisfied. That is to say, in this situation, the evolution may not generate coherence, and cannot also turn such coherence into the populations measured at a later time. Next, we investigate the effects of coarsening measurement reference on the NCGD (Δ0 and δ=0). From Eqs. (3), (6) and (14), we obtain N in Eq. (14) under the coarsening measurement in reference, which can be rewritten as NΔ and denoted as

NΔ=-121-e-Δ2-1αsin2τω-14ie-Δ2e21-e-Δ2-1+1αsin2τω14ie-Δ2e21-e-Δ2-1+1αsin2τω121-e-Δ2-1αsin2τω. 16

It can be found from the above expression that if one of the conditions is satisfied: (1) τ=πω; (2) α=0, the NCGD will not be violated. If the measurement in final resolution is coarsened (Δ=0,δ0), Nδ can be obtained from Eqs. (2), (6) and (14) (see “Supplementary Information”). And then, we find that the NCGD will not be violated, if one of the conditions is satisfied: (1)τ=πω; (2) α=0. We then list these non-violation conditions of the NCGD for projective and coarsening measurements in Table 1.

Now, we compare the quantum witness, the entropic LGI and the NCGD under projective and coarsening measurements for the pure qubit. It is clearly found from Table 1 that for the projective measurement, the non-violation conditions of the quantum witness and the NCGD are the same, while the non-violation conditions of the entropic LGI and the quantum witness do not contain each other. That is to say, the entropic LGI and the quantum witness complement each other, and their conjunction may be better for testing macrorealism. For the coarsening measurement reference and the coarsening final measurement resolution, we find that the relationship of the quantum witness, the entropic LGI and the NCGD is similar to that of the projective measurement (see Table 1). Then, we plot the relationship among the quantum witness, the entropic LGI and the NCGD in Fig. 2, for the pure qubit with the projective measurement, the coarsening measurement reference and the coarsening final measurement resolution.

A qubit interacting with environment

As we are aware, quantum systems inevitably experience undesired interactions with their surrounding environment. Hence, in this section, we examine how the environment affects the non-violations of the quantum witness, the entropic LGI and the NCGD for the projective and the coarsening measurements. The time evolution of an open system differs from that of a closed system. In general, it cannot be described by a unitary time evolution. The system’s dynamics can be depicted by a suitable equation of motion for its density matrix, known as a quantum master equation. In this scenario, the system’s evolution is typically governed by the Lindblad form master equation, which can be expressed as follows:

dρdt=-i[H,ρ]+k2LkρLk-LkLkρ-ρLkLk, 17

where Lk represents the Lindblad operator, which characterizes the interaction between the system and its environment. Similar to the previous section, we introduce the Hamiltonian H=12ωσx, which describes the coherent part of the dynamics.

A dissipative qubit

Let’s examine the first scenario, and the Lindblad operator in Eq. (17) is defined as Lk=γσ-, where γ>0 represents the rate of spontaneous emission, and σ-=|10| represents the atomic lowering operator. For the quantum witness, from Eqs. (1), (5) and (17), all the quantum witnesses under the projective measurement, can be obtained. Similarly, we take Wq=P(Π+(t2))-±P(Π±(t1),Π+(t2)) as an example, and P(Π+(t2))-±P(Π±(t1),Π+(t2)) can be expressed as

PΠ+t2-±PΠ±t1,Π+t2=e-4γτsin2ωτ2α+1cosωτ+1+e2γτcosωτ-e4γτ2cosωτ+1. 18

It is noted that the non-violation conditions of the quantum witness for the dissipative qubit are very complicated, thus, we suppose τ=π2ω to study the non-violations of it in the following. In that situation (τ=π2ω), from Eq. (18), we find that if α=e2πγω-1, the quantum witnesses will not be violated. Other quantum witnesses exhibit similar characteristics. Therefore, all of the quantum witnesses will not be violated, when α=e2πγω-1. It is noted that 0α1, i.e., 0e2πγω-11, so γ(0,log22πω]. This non-violation condition is listed in Table 1. Next, we investigate the quantum witness under the coarsening measurement in reference (Δ0,δ=0) and in final resolution (Δ=0,δ0). Then, we obtain the quantum witness under the coarsening measurement reference and coarsening measurement final resolution (see “Supplementary Information”). Similarly, the non-violation conditions of the quantum witness are summarized in Table 1.

Next, we investigate the entropic LGI for the projective measurement. Additionally, we similarly assume that τ=π2ω to study non-violation conditions of it. Using Eqs. (1), (10) and (17), we calculate the entropic LGI for the projective measurement when τ=π2ω (see “Supplementary Information”). Because the non-violation conditions of the entropic LGI are numerous and complex, it is too cumbersome to list every term of non-violation conditions of the entropic LGI. For simplicity and comparison with the quantum witness, we only take three non-violation conditions as an example (which are listed in Table 1): (1) α=e2πγω-1 (γ(0,log22πω]); (2) α=0; (3) α=0.5 and 0.00684ωγ0.50432ω. Then, we obtain the entropic LGI for the coarsening measurement in two scenarios: (1) when the measurement reference is coarsened (Δ0,δ=0), and (2) when the final measurement resolution is coarsened (Δ=0,δ0). Similarly, then, we summarize these non-violation conditions of the entropic LGI for the coarsening measurement reference and coarsening final measurement resolution in Table 1, respectively.

Then, we examine the NCGD in the context of projective measurement and coarsening measurement, as defined in Eqs. (1-3), respectively. For the projective measurement, by Eqs. (1), (14) and (17), we obtain N in Eq. (14) (see “Supplementary Information”), and in the following, we assume τ=π2ω to study the non-violation conditions of the NCGD. Then, we find that when α=e2πγω-1 (γ(0,log22πω]), the NCGD will be satisfied. That is to say, under these circumstances, the system’s evolution does not generate coherence and cannot convert any existing coherence into measurable populations at a later time. Next, we obtain the NCGD under the coarsening measurement in reference (Δ0,δ=0) and in final resolution (Δ=0,δ0) (see “Supplementary Information”). Interestingly, we cannot find any circumstance to make the NCGD non-violated, whether the coarsening measurement occurs in the reference or the final resolution. Similarly, we summarize the non-violation conditions of the NCGD for both projective and coarsening measurements in Table 1.

Finally, let’s compare the quantum witness, the NCGD and the entropic LGI for the dissipative qubit (see Table 1), and then provide a summary of them. It can be clearly found from Table 1 that for the projective measurement, the entropic LGI can be satisfied for a wider parameter than the quantum witness and the NCGD. And the non-violation conditions of the quantum witness and the NCGD are the same. In other words, when the NCGD and the quantum witness are satisfied, the entropic LGI must be satisfied, and the relationship among the quantum witness, the entropic LGI and the NCGD can be seen in Fig. 3, for the projective measurement. For the coarsening measurement both in reference and in final resolution, we find from Table 1 that the entropic LGI can be satisfied for a wider parameter than the quantum witness, and the quantum witness can be satisfied for a wider parameter than the NCGD. And the relationship among the quantum witness, the entropic LGI and the NCGD is shown in Fig. 4, for the coarsening measurement reference and the coarsening measurement final resolution. In addition, it can be seen from Table 1 that for α=0.5 and γ=0.6ω, the entropic LGI under the coarsening measurement in reference can be satisfied when 0.20522Δ<1, and the entropic LGI under the coarsening measurement in final resolution can be satisfied when 0.01042δ<0.5. In other words, the entropic LGI for the coarsening measurement in final resolution can be violated for a narrower parameter than that of the coarsening measurement in reference. Therefore, in the case of the entropic LGI, the violation of the coarsening final measurement resolution for the dissipation qubit is more vulnerable than that of the coarsening measurement reference, which is similar to that of the pure qubit.

Figure 3.

Figure 3

Schematic diagram for the relationship among the quantum witness, the entropic LGI and the NCGD, for the dissipative qubit with projective measurement. The shaded regions attributed to the quantum witness, the entropic LGI and the NCGD denote the non-violation conditions of the quantum witness, the entropic LGI and the NCGD for the dissipative qubit with projective measurement, respectively.

Figure 4.

Figure 4

Schematic diagram for the relationship among the quantum witness, the entropic LGI and the NCGD, for the dissipative qubit, in the case of the coarsening measurement both in reference and in final resolution. The shaded regions attributed to the quantum witness, the entropic LGI and the NCGD denote the non-violation conditions of the quantum witness, the entropic LGI and the NCGD for the dissipative qubit with the coarsening measurement both in reference and in final resolution, respectively.

A dephasing qubit

Let’s now turn to the second case, where the Lindblad operator is defined as Lk=γσz. Next, we obtain the non-violation conditions of the quantum witness, the entropic LGI and the NCGD for projective and coarsening measurements, and then, summarize these non-violation conditions in Table 1. It is noted that similar to the previous section, we do not list all the non-violation conditions of the entropic LGI. And the listed non-violation conditions of the entropic LGI in Table 1 are for the purpose of comparing with the quantum witness and the NCGD. Then, it can be seen from Table 1 that for the projective measurement and the coarsening measurement, the non-violation conditions of the quantum witness are the same as the NCGD, while the non-violation conditions of the quantum witness and the entropic LGI do not contain each other, i.e., the conjunction of the quantum witness and the entropic LGI may be better for testing macrorealism. The relationship of the quantum witness, the entropic LGI and the NCGD for projective and coarsening measurements, is similar to that of the pure qubit, which is shown in Fig. 2. In addition, it can be found in Table 1 that similar to that of the pure and dissipative qubits, in the case of the entropic LGI, the violation of the coarsening final measurement resolution for the dephasing qubit is more vulnerable than that of the coarsening measurement reference.

Conclusions

In this paper, we detailed an analysis of the non-classical properties of three different criteria of quantumness, i.e., the quantum witness, the entropic LGI and the NCGD, under projective and coarsening measurements. The coarsening measurement can be divided into coarsening in measurement reference and coarsening in final measurement resolution. We consider a qubit in three scenarios: with coherent dynamics, dynamics with dissipation and dephasing. For the pure and dephasing qubits, we find that in the case of projective and coarsening measurements, the non-violation conditions of the quantum witness and the NCGD are the same; while in that situation, the non-violation conditions of the quantum witness and the entropic LGI do not contain each other, so a suitable conjunction of them may be better for testing macrorealism. Furthermore, for the pure qubit, the valve of the entropic LG function decreases as the coarsening degree of measurement reference increases, which is similar to that of the coarsening final measurement resolution. For the dissipative qubit with projective measurement, when the NCGD and the quantum witness are not violated, the entropic LGI must not be violated. For the dissipative qubit with coarsening measurement, the violation of the entropic LGI is more vulnerable than that of the quantum witness, and the violation of the quantum witness is more vulnerable than that of the NCGD. In addition, for the entropic LGI, we find that the robustness of the coarsening measurement reference is more than that of the coarsening measurement final resolution, in the systems with coherent dynamics and dynamics with dissipation and dephasing (see Table 1 and Table 2). In this paper, we take the closed and open systems to comparison of three different criteria of macrorealism, and expect that the results of this paper might be similar to some experimental situations. In addition, our investigation can help people understand the macrorealism from a different perspective. In the future, we will acquire a deeper understanding of it, and find more features for the logical connection among the quantum witness, the entropic LGI and the NCGD.

Supplementary Information

Acknowledgements

This work is supported by the National Natural Science Foundation of China (Grant nos. 62201324), Natural Science Foundation of Shandong Province (ZR2022QA101, ZR2022QF065 and ZR2021LLZ001) and Key R &D Program of Shandong Province, China (2023CXGC010901).

Author contributions

Conceptualization, X.T. and Y.Z.; Methodology, X.T.; Validation, X.T. and Y.Z.; Formal Analysis, X.T., Y.Z. and T.Q.; Investigation, X.T. and Y.Z.; Writing Original Draft Preparation,X.T.; Writing Review and Editing, X.T., Y.Z. and T.Q.

Data availability

All data generated or analysed during this study are included in this published article [and its supplementary information files].

Competing interests

The authors declare no competing interests.

Footnotes

Publisher's note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Supplementary Information

The online version contains supplementary material available at 10.1038/s41598-024-60742-y.

References

  • 1.Einstein A, Podolsky B, Rosen N. Can quantum-mechanical description of physical reality be considered complete? Phys. Rev. 1935;47:777. doi: 10.1103/PhysRev.47.777. [DOI] [Google Scholar]
  • 2.Schrödinger E. Die gegenwärtige Situation in der Quantenmechanik. Naturwissenschaften. 1935;23:807. doi: 10.1007/BF01491891. [DOI] [Google Scholar]
  • 3.Leggett AJ, Garg A. Quantum mechanics versus macroscopic realism: Is the flux there when nobody looks? Phys. Rev. Lett. 1985;54:857. doi: 10.1103/PhysRevLett.54.857. [DOI] [PubMed] [Google Scholar]
  • 4.Bell JS. On the einstein podolsky rosen paradox. Physics. 1964;1:195–200. doi: 10.1103/PhysicsPhysiqueFizika.1.195. [DOI] [Google Scholar]
  • 5.Leggett AJ. Testing the limits of quantum mechanics: Motivation, state of play, prospects. J. Phys. Condens. 2002;14:R415. doi: 10.1088/0953-8984/14/15/201. [DOI] [Google Scholar]
  • 6.Leggett AJ. Realism and the physical world. Rep. Prog. Phys. 2008;71:022001. doi: 10.1088/0034-4885/71/2/022001. [DOI] [Google Scholar]
  • 7.Friedenberger A, Lutz E. Assessing the quantumness of a damped two-level system. Phys. Rev. A. 2017;95:022101. doi: 10.1103/PhysRevA.95.022101. [DOI] [Google Scholar]
  • 8.Li CM, Lambert N, Chen YN, Chen GY, Nori F. Witnessing quantum coherence: From solid-state to biological systems. Sci. Rep. 2012;2:885. doi: 10.1038/srep00885. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 9.Kofler J, Brukner C̆. Condition for macroscopic realism beyond the Leggett–Garg inequalities. Phys. Rev. A. 2013;87:052115. doi: 10.1103/PhysRevA.87.052115. [DOI] [Google Scholar]
  • 10.George RE, Robledo LM, Maroney OJE, Blok MS, Bernien H, Markham ML, Twitchen DJ, Mortone JJL, Briggs GAD, Hanson R. Opening up three quantum boxes causes classically undetectable wavefunction collapse. Proc. Natl. Acad. Sci. 2013;110:3777. doi: 10.1073/pnas.1208374110. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 11.Maroney, O. J. E. & Timpson, C. G. Quantum-vs. macro-realism: What does the Leggett–Garg inequality actually test? arXiv:1412.6139
  • 12.Usha Devi AR, Karthik HS, Sudha Rajagopal AK. Macrorealism from entropic Leggett–Garg inequalities. Phys. Rev. A. 2013;87:052103. doi: 10.1103/PhysRevA.87.052103. [DOI] [Google Scholar]
  • 13.Kumari S, Pan AK. Probing various formulations of macrorealism for unsharp quantum measurements. Phys. Rev. A. 2017;96:042107. doi: 10.1103/PhysRevA.96.042107. [DOI] [Google Scholar]
  • 14.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.4, 01LT01 (2019).
  • 15.Kurzynski P, Ramanathan R, Kaszlikowski RD. Entropic test of quantum contextuality. Phys. Rev. Lett. 2012;109:020404. doi: 10.1103/PhysRevLett.109.020404. [DOI] [PubMed] [Google Scholar]
  • 16.Chaves R, Fritz T. Entropic approach to local realism and noncontextuality. Phys. Rev. A. 2012;85:032113. doi: 10.1103/PhysRevA.85.032113. [DOI] [Google Scholar]
  • 17.Zurek WH. Decoherence, einselection, and the quantum origins of the classical. Rev. Mod. Phys. 2003;75:715. doi: 10.1103/RevModPhys.75.715. [DOI] [Google Scholar]
  • 18.Kofle J, Brukner Č. Classical world arising out of quantum physics under the restriction of coarse-grained measurements. Phys. Rev. Lett. 2007;99:180403. doi: 10.1103/PhysRevLett.99.180403. [DOI] [PubMed] [Google Scholar]
  • 19.Jeong H, Lim Y, Kim MS. Coarsening measurement references and the quantum-to-classical transition. Phys. Rev. Lett. 2014;112:010402. doi: 10.1103/PhysRevLett.112.010402. [DOI] [PubMed] [Google Scholar]
  • 20.Kofler J, Brukner Č. Conditions for quantum violation of macroscopic realism. Phys. Rev. Lett. 2008;101:090403. doi: 10.1103/PhysRevLett.101.090403. [DOI] [PubMed] [Google Scholar]
  • 21.Jeong H, Paternostro M, Ralph TC. Failure of local realism revealed by extremely-coarse-grained measurements. Phys. Rev. Lett. 2009;102:060403. doi: 10.1103/PhysRevLett.102.060403. [DOI] [PubMed] [Google Scholar]
  • 22.Vitelli C, Spagnolo N, Toffoli L, Sciarrino F, De Martini F. Quantum-to-classical transition via fuzzy measurements on high-gain spontaneous parametric down-conversion. Phys. Rev. A. 2010;81:032123. doi: 10.1103/PhysRevA.81.032123. [DOI] [Google Scholar]
  • 23.Raeisi S, Sekatski P, Simon C. Coarse graining makes it hard to see micro-macro entanglement. Phys. Rev. Lett. 2011;107:250401. doi: 10.1103/PhysRevLett.107.250401. [DOI] [PubMed] [Google Scholar]
  • 24.Wang T, Ghobadi R, Raeisi S, Simon C. Precision requirements for observing macroscopic quantum effects. Phys. Rev. A. 2013;88:062114. doi: 10.1103/PhysRevA.88.062114. [DOI] [Google Scholar]
  • 25.Sekatski P, Gisin N, Sangouard N. How difficult is it to prove the quantumness of macroscropic states? Phys. Rev. Lett. 2014;113:090403. doi: 10.1103/PhysRevLett.113.090403. [DOI] [PubMed] [Google Scholar]
  • 26.Mal S, Das D, Home D. Quantum mechanical violation of macrorealism for large spin and its robustness against coarse-grained measurements. Phys. Rev. A. 2016;94:062117. doi: 10.1103/PhysRevA.94.062117. [DOI] [Google Scholar]
  • 27.Zhang Y, Zou J, Shao B. Bell inequality, steering, incompatibility and Leggett-Garg inequality under coarsening measurement. Quantum Inf. Process. 2018;17:173. doi: 10.1007/s11128-018-1938-2. [DOI] [Google Scholar]
  • 28.mukherjee S, Rudra A, Das D, Mal S, Home D. Persistence of quantum violation of macrorealism for large spins even under coarsening of measurement times. Phys. Rev. A. 2019;100:042114. doi: 10.1103/PhysRevA.100.042114. [DOI] [Google Scholar]
  • 29.Zhang Y, Zou J, Shao B. Comparing Leggett–Garg inequality for work moments with Leggett–Garg inequality and NSIT. Eur. Phys. J. Plus. 2020;135:154. doi: 10.1140/epjp/s13360-020-00194-1. [DOI] [Google Scholar]
  • 30.Zhang Y, Tan X, Qiu T. Leggett–Garg inequality, Wigner form of Leggett–Garg inequality and no-signaling-in-time condition under coarsening measurement. Quantum Inf. Process. 2022;21:157. doi: 10.1007/s11128-022-03498-6. [DOI] [Google Scholar]
  • 31.Zhang Y, Tan X, Qiu T. Quantum violation of LGI under an energy constraint for different scenarios systems. Sci. Rep. 2023;13:12530. doi: 10.1038/s41598-023-39612-6. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 32.Zhang Y, Tan X, Qiu T. Comparing various formulations of macrorealism. Quantum Inf. Process. 2023;22:354. doi: 10.1007/s11128-023-04099-7. [DOI] [Google Scholar]
  • 33.Saha D, Mal S, Panigrahi PK, Home D. Wigner’s form of the Leggett–Garg inequality, the no-signaling-in-time condition, and unsharp measurements. Phys. Rev. A. 2015;91:032117. doi: 10.1103/PhysRevA.91.032117. [DOI] [Google Scholar]
  • 34.Clemente L, Kofler J. Necessary and sufficient conditions for macroscopic realism from quantum mechanics. Phys. Rev. A. 2015;91:062103. doi: 10.1103/PhysRevA.91.062103. [DOI] [Google Scholar]
  • 35.Clemente L, Kofler J. No fine theorem for macrorealism: Limitations of the Leggett–Garg inequality. Phys. Rev. Lett. 2016;116:150401. doi: 10.1103/PhysRevLett.116.150401. [DOI] [PubMed] [Google Scholar]

Associated Data

This section collects any data citations, data availability statements, or supplementary materials included in this article.

Supplementary Materials

Data Availability Statement

All data generated or analysed during this study are included in this published article [and its supplementary information files].


Articles from Scientific Reports are provided here courtesy of Nature Publishing Group

RESOURCES