The Bell and Leggett-Garg tests offer operational ways to demonstrate that nonclassical behavior manifests itself in quantum systems, and experimentalists have implemented these protocols to show that classical worldviews such as local realism and macrorealism are false, respectively. Previous theoretical research has exposed important connections between more general Bell inequalities and polyhedral combinatorics. We show here that general Leggett-Garg inequalities are closely related to the cut polytope of the complete graph, a geometric object well-studied in combinatorics. Building on that connection, we offer a family of Leggett-Garg inequalities that are not trivial combinations of the most basic Leggett-Garg inequalities. We then show that violations of macrorealism can occur in surprising ways, by giving an example of a quantum system that violates the ``pentagon'' Leggett-Garg inequality but does not violate any of the basic ``triangle'' Leggett-Garg inequalities.
The Bell and Leggett-Garg tests offer operational ways to demonstrate that nonclassical behavior manifests itself in quantum systems, and experimentalists have implemented these protocols to show that classical worldviews such as local realism and macrorealism are false, respectively. Previous theoretical research has exposed important connections between more general Bell inequalities and polyhedral combinatorics. We show here that general Leggett-Garg inequalities are closely related to the cut polytope of the complete graph, a geometric object well-studied in combinatorics. Building on that connection, we offer a family of Leggett-Garg inequalities that are not trivial combinations of the most basic Leggett-Garg inequalities. We then show that violations of macrorealism can occur in surprising ways, by giving an example of a quantum system that violates the pentagon'' Leggett-Garg inequality but does not violate any of the basic triangle'' Leggett-Garg inequalities.
As is well known, the macroscopic realism and the noninvasive measurability together lead to Leggett—Garg inequalities violated by quantum mechanics. We consider tests of the Leggett—Garg type with use of the q-entropies. For all q ≥ 1, quantum mechanics predicts violations of an entire family of q-entropic inequalities of the Leggett—Garg type. Violations are exemplified with a quantum spin-s system. In general, entropic Leggett—Garg inequalities give only necessary conditions that some probabilistic model is compatible with the macrorealism in the broader sense. The presented q-entropic inequalities allow to widen a class of situations, in which an incompatibility with the macrorealism can be tested. In the considered example, both the strength and range of violations are somehow improved by varying q. We also examine q-entropic inequalities of the Leggett—Garg type in the case of detection inefficiencies, when the no-click event may occur in each observation. With the use of the q-entropic inequalities, the required amount of efficiency may be reduced.
Tests of local realism and macrorealism have historically been discussed in very similar terms: Leggett-Garg inequalities follow Bell inequalities as necessary conditions for classical behavior. Here, we compare the probability polytopes spanned by all measurable probability distributions for both scenarios and show that their structure differs strongly between spatially and temporally separated measurements. We arrive at the conclusion that, in contrast to tests of local realism where Bell inequalities form a necessary and sufficient set of conditions, no set of inequalities can ever be necessary and sufficient for a macrorealistic description. Fine's famous proof that Bell inequalities are necessary and sufficient for the existence of a local realistic model, therefore, cannot be transferred to macrorealism. A recently proposed condition, no-signaling in time, fulfills this criterion, and we show why it is better suited for future experimental tests and theoretical studies of macrorealism. Our work thereby identifies a major difference between the mathematical structures of local realism and macrorealism.
In 1985, Leggett and Garg put forward the concept of macroscopic realism (macrorealism) and, in analogy to Bell's theorem, derived a necessary condition in terms of inequalities, which are now known as the Leggett-Garg inequalities. In this paper, we discuss another necessary condition called no-signaling in time. It solely bases on comparing the probability distribution for a macrovariable at some time for the cases where previously a measurement has or has not been performed. Although the concept is analogous to the no-signaling condition in the case of Bell tests, it can be violated according to quantum mechanical predictions even in situations where no violation of Leggett-Garg inequalities is possible.
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.
Bell inequalities, originally introduced as a method to prove that some quantum states show nonlocal behavior, are now studied as a method to capture the extent of the nonlocality of quantum states. Tight Bell inequalities are considered to be more important than redundant ones. Despite the increasing importance of the study of Bell inequalities, few kinds of tight Bell inequalities have been found. Examples include the Clauser-Horne-Shimony-Holt inequality, the I_{mmvv} inequalities, the CGLMP inequalities, and the Bell inequalities in systems small enough to generate all the Bell inequalities by exhaustive search. In this paper, we establish a relation between the two-party Bell inequalities for two-valued measurements and a high-dimensional convex polytope called the cut polytope in polyhedral combinatorics. Using this relation, we propose a method, triangular elimination, to derive tight Bell inequalities from facets of the cut polytope. This method gives two hundred million inequivalent tight Bell inequalities from currently known results on the cut polytope. In addition, this method gives general formulas which represent families of infinitely many Bell inequalities. These results can be used to examine general properties of Bell inequalities.
By combining the postulates of macrorealism with Bell locality, we derive a qualitatively different hybrid inequality that avoids two loopholes that commonly appear in Leggett-Garg and Bell inequalities. First, locally invasive measurements can be used, which avoids the ``clumsiness'' Leggett-Garg inequality loophole. Second, a single experimental ensemble with fixed analyzer settings is sampled, which avoids the ``disjoint sampling'' Bell inequality loophole. The derived hybrid inequality has the same form as the Clauser-Horne-Shimony-Holt Bell inequality; however, its quantum violation intriguingly requires weak measurements. A realistic explanation of an observed violation requires either the failure of Bell locality or a preparation conspiracy of finely tuned and nonlocally correlated noise. Modern superconducting and optical systems are poised to implement this test.