Abstract Leggett Garg inequalities (LGIs) provides an elegant way for probing the incompatibility between the notion of macrorealism and quantum mechanics. For unitary dynamics the optimal quantum violation of a LGI is constrained by the L u ¨ ders bound. In this paper, we have studied two formulations of LGIs in three-time LG scenario, viz, the standard LGIs and third-order LGIs both for unbiased and biased measurement settings. We show that if system evolves under non-unitary quantum channel between two measurements, the quantum violations of both forms of LGIs exceed their respective L u ¨ ders bounds and can even reach their algebraic maximum in sharp measurement settings. We found that when the measurement is unsharp the quantum violations of both standard and third-order LGIs for non-unitary quantum channel can be obtained for lower value of the unsharpness parameter compared to the unitary dynamics. We critically examined the violation of L u ¨ ders bound of LGIs and its relation to the violation of various no-signaling in time conditions, another formalism for testing macrorealism. It is shown that mere violations of no-signaling conditions are not enough to warrant the violation of standard LGIs, an interplay between the violations of various NSIT condition along with a threshold value play an important role. On the other hand violation of third-order LGI is obtained when the degree of violation of a specific no-signaling in time condition reaches a different threshold value.
Abstract Leggett Garg inequalities (LGIs) provides an elegant way for probing the incompatibility between the notion of macrorealism and quantum mechanics. For unitary dynamics the optimal quantum violation of a LGI is constrained by the L u ¨ ders bound. In this paper, we have studied two formulations of LGIs in three-time LG scenario, viz, the standard LGIs and third-order LGIs both for unbiased and biased measurement settings. We show that if system evolves under non-unitary quantum channel between two measurements, the quantum violations of both forms of LGIs exceed their respective L u ¨ ders bounds and can even reach their algebraic maximum in sharp measurement settings. We found that when the measurement is unsharp the quantum violations of both standard and third-order LGIs for non-unitary quantum channel can be obtained for lower value of the unsharpness parameter compared to the unitary dynamics. We critically examined the violation of L u ¨ ders bound of LGIs and its relation to the violation of various no-signaling in time conditions, another formalism for testing macrorealism. It is shown that mere violations of no-signaling conditions are not enough to warrant the violation of standard LGIs, an interplay between the violations of various NSIT condition along with a threshold value play an important role. On the other hand violation of third-order LGI is obtained when the degree of violation of a specific no-signaling in time condition reaches a different threshold value.
Standard Leggett-Garg inequalities (SLGIs) were formulated for testing incompatibility between the classical world view of macrorealism and quantum mechanics. In recent times, various other formulations such as the Wigner form of Leggett-Garg inequalities (WLGIs), entropic Leggett-Garg inequalities (ELGIs), and the no-signaling-in-time (NSIT) condition have also been proposed. It was also recently argued that no set of SLGIs can provide the necessary and sufficient conditions for macrorealism, but a suitable conjunction of NSIT conditions provides the same. In this paper, we first provide a comparative study of the various formulations of Leggett-Garg inequalities (LGIs) for testing macrorealism pertaining to the two different unsharp measurements. While the violations of WLGIs are more robust than SLGIs and ELGIs for spin positive operator-valued measures (POVMs), here we demonstrate that for the case of biased POVMs the quantum violations of both SLGIs and ELGIs provide the same robustness as WLGIs. Importantly, the violations of all formulations of LGIs can be achieved for any nonzero value of unsharpness parameter. We have also studied the connection between LGIs and NSIT conditions. Further, we investigate the role of the joint measurability of the POVMs in the violation of LGIs and find that there is no generic connection.
In 1985, Leggett and Garg formulated a class of inequalities for testing the compatibility between macrorealism and quantum mechanics. In this paper, we point out that, based on the same assumptions of macrorealism that are used to derive Leggett-Garg inequalities (LGIs), there is a scope of formulating another class of inequalities different from the standard LGIs. By considering the three-time measurement scenario in a dichotomic system, we first propose an interesting variant of the standard LGIs and show that its quantum violation is larger than the standard LGIs. By extending this formulation to the n-time measurement scenario, we found that the quantum violations of variants of the LGIs for a qubit system increase with n, and, for a sufficiently large n, an algebraic maximum can be reached. We then compare the violations of the standard and variants of the LGIs in an unsharp measurement scenario and show that, for any arbitrary n, the violation of the latter is more robust to unsharpness than the former. Furthermore, we examine the relation between the quantum violations of the variants of the LGIs and an another formulation macrorealism, known as no-signaling in time conditions.
Lüders Bounds of Leggett–Garg Inequalities, PTPT‐ Symmetric Evolution and Arrow‐of‐Time
Abstract Leggett–Garg inequalities (LGIs) test the incompatibility between the notion of macrorealism and quantum theory. For unitary dynamics, the optimal quantum violation of a Leggett–Garg inequality is constrained by the Lüders bound. However, the LGIs do not provide the necessary and sufficient condition of macrorealism. A suitably formulated set of no‐signaling in time conditions along with the arrow‐of‐time condition provides the same. In this paper, two formulations in the three‐time Leggett–Garg scenario, are studied namely, the standard LGIs and the recently formulated variant of LGIs when the system evolves under PT‐symmetric Hamiltonian. It is first demonstrated that the quantum violations of both forms of LGIs exceed their respective Lüders bounds and can even reach their algebraic maximum. It is further shown that for the case of standard Leggett–Garg inequality, the violation of Lüders bound can be obtained when both no‐signaling in time and arrow‐of‐time conditions are violated. Interestingly, for the case of a variant of LGIs, for suitable choices of relevant parameters, the quantum violation can even be obtained when only the arrow‐of‐time is violated. However, all no‐signaling in time conditions are satisfied. Such a feature is hitherto unexplored.
Wigner's form of the local realist inequality is used to derive its temporal version for an oscillating two-level system involving two-time joint probabilities. Such an inequality may be regarded as a form of the Leggett-Garg inequality (LGI) constituting a necessary condition for macrorealism. The robustness of its quantum mechanical (QM) violation against unsharpness of measurement is investigated by using a suitable model of unsharp measurements. It is found that there exists a range of values of the sharpness parameter (characterizing precision of the relevant measurements) for which the usual LGI is satisfied by QM, but Wigner's form of the LGI (WLGI) is violated. This implies that for such unsharp measurements, the QM violation of macrorealism cannot be tested using the usual LGI, but can be tested using WLGI. In showing this, we take into account the general form of the usual LGI involving an arbitrary number of pairs of two-time correlation functions. Another recently proposed necessary condition for macrorealism, called ``no-signaling in time,'' is also probed, showing that its QM violation persists for arbitrarily unsharp measurements.
Abstract We study Leggett–Garg inequalities (LGIs) for a two level system (TLS) undergoing Markovian dynamics described by unital maps. We first find the analytic expression of LG parameter K 3 (simplest variant of LGIs) in terms of the parameters of two distinct unital maps representing time evolution for intervals: t 1 to t 2 and t 2 to t 3. We then show that the maximum violation of LGI for all possible unital maps can never exceed well known Lüders bound of K 3 L u ¨ d e r s = 3 / 2 over the full parameter space. We further show that if the map for the time interval t 1 to t 2 is non-unitary unital then irrespective of the choice of the map for interval t 2 to t 3 we can never reach Lüders bound. On the other hand, if the measurement operator eigenstates remain pure upon evolution from t 1 to t 2, then depending on the degree of decoherence induced by the unital map for the interval t 2 to t 3 we may or may not obtain Lüders bound. Specifically, we find that if the unital map for interval t 2 to t 3 leads to the shrinking of the Bloch vector beyond half of its unit length, then achieving the bound K 3 L u ¨ d e r s is not possible. Hence our findings not only establish a threshold for decoherence which will allow for K 3 = K 3 L u ¨ d e r s , but also demonstrate the importance of temporal sequencing of the exposure of a TLS to Markovian baths in obtaining Lüders bound.
It remains an open question how a realist view of the macroscopic world emerges from a quantum formalism. For testing the macrorealism in the quantum domain, an interesting approach was put forward by Leggett and Garg in 1985, by formulating a suitable inequality valid for any macrorealistic theory. Recently, by following the Wigner idea of local realist inequality, a probabilistic version of standard Leggett-Garg inequalities has also been proposed. While the Wigner form of local realist inequalities is equivalent to the two-party, two-measurements and two-outcomes CHSH inequalities, in this paper we provide a generic proof to demonstrate that the Wigner form of Leggett-Garg inequalities is not only inequivalent to the standard ones, but also stronger than the latter. This is demonstrated by quantifying the amount of disturbance caused by a priori measurement to the subsequent measurements. In this connection, the relation between LGIs and another formulation of macrorealism known as no-signaling in time is examined.