We highlight the existence of a joint probability distribution as the common underpinning assumption behind Bell-type, contextuality, and Leggett-Garg-type tests. We then present a procedure to translate contextual scenarios into temporal Leggett-Garg-type and spatial Bell-type ones. To demonstrate the generality of this approach we construct a family of spatial Bell-type inequalities. We show that in the Leggett-Garg scenario a necessary condition for contextuality in time is given by a violation of consistency conditions in the consistent histories approach to quantum mechanics.
We highlight the existence of a joint probability distribution as the common underpinning assumption behind Bell-type, contextuality, and Leggett-Garg-type tests. We then present a procedure to translate contextual scenarios into temporal Leggett-Garg-type and spatial Bell-type ones. To demonstrate the generality of this approach we construct a family of spatial Bell-type inequalities. We show that in the Leggett-Garg scenario a necessary condition for contextuality in time is given by a violation of consistency conditions in the consistent histories approach to quantum mechanics.
The Bell-type (spatial), Kochen-Specker (contextuality) or Leggett-Garg (temporal) inequalities are based on classically plausible but otherwise quite distinct assumptions. For any of these inequalities, satisfaction is equivalent to a joint probability distribution for all observables in the experiment. This implies a joint distribution for all pairs of observables, and is indifferent to whether or not they commute in the theory. This indifference underpins a unification of the above inequalities into a general framework of correlation inequalities. When the physical scenario is such that the correlated pairs are all compatible, the resulting correlation is nonsignaling, which may be local or multi-particle, corresponding to contextuality or Bell-type inequalities. If the pairs are incompatible, the resulting correlation corresponds to Leggett-Garg (LG) inequalities. That quantum mechanics (QM) violates all these inequalities suggests a close connection between the local, spatial and temporal properties of the theory. As a concrete manifestation of the unification, we extend the method due to Roy and Singh ( J. Phys. A , 11 (1978) L167) to derive and study a new class of hybrid spatio-temporal inequalities, where the correlated pairs in the experiment are both compatible or incompatible. The implications for cryptography and monogamy inequalities of the unification are briefly touched upon.
Contextuality means non-existence of a joint distribution for random variables recorded under mutually incompatible conditions, subject to certain constraints imposed on how the identity of these variables may change across these conditions. In simple quantum systems contextuality is indicated by violations of Bell-type or Leggett-Garg-type inequalities. These inequalities, however, are predicated on the assumption of no-signaling, defined as invariance of the distributions of measurement results with respect to other (e.g., earlier in time) measurements' settings. Signaling makes the inequalities inapplicable: a non-signaling system with any degree of contextuality, however high, loses any relation to this concept as soon as it exhibits any degree of signaling, however small. This is unsatisfactory. We describe a principled way of defining and measuring contextuality in arbitrary systems with random outputs, whether signaling is absent or present.
The notion of (non)contextuality pertains to sets of properties measured one subset (context) at a time. We extend this notion to include so-called inconsistently connected systems, in which the measurements of a given property in different contexts may have different distributions, due to contextual biases in experimental design or physical interactions (signaling): a system of measurements has a maximally noncontextual description if they can be imposed a joint distribution on in which the measurements of any one property in different contexts are equal to each other with the maximal probability allowed by their different distributions. We derive necessary and sufficient conditions for the existence of such a description in a broad class of systems including Klyachko-Can-Binicioğlu-Shumvosky-type (KCBS), EPR-Bell-type, and Leggett-Garg-type systems. Because these conditions allow for inconsistent connectedness, they are applicable to real experiments. We illustrate this by analyzing an experiment by Lapkiewicz and colleagues aimed at testing contextuality in a KCBS-type system.
Introduction Our aim in this chapter is to extend the Bell inequality discussion in Chapter 17 to its temporal analogue, known as the Leggett–Garg (LG) inequality . Bell inequalities involve spatial nonlocality, that is, signal observations distributed over space. It was shown by Leggett and Garg that analogous inequalities involving temporal nonlocality can be formulated (Leggett and Garg, 1985). We shall discuss one of these, known as the LG inequality . We saw in Chapter 17 that Bell inequalities are based on certain classical mechanics (CM) assumptions about the nature of reality. Likewise, the LG inequality is based on two CM principles that are not incorporated into quantum mechanics (QM). Definition 19.1 The principle of macrorealism asserts that if a macroscopic (that is, large-scale) system under observation (SUO) can be observed to be in one of two or more macroscopically distinct states, then it will always be in one or another of those states at any given time, not in a quantum superposition of those states, even when it is not being observed. This principle is a foundational principle in CM but is incompatible with QM in at least two ways. First, it is vacuous, as it asserts the truth of a proposition in the absence of empirical validation: how can we define the concept of always , without introducing counterfactuality? Second, it is violated in quantum theory, for instance, in path integral calculations. This principle in embedded in the nexus of issues explored in this book. The quantized detector network (QDN) version of it takes the form “If any SUO can be observed in any number of possible states, then it will be observed in one of them in any run.” This is a near tautology. The classical version says the same thing but makes an additional assertion about something going on in the absence of observation, which is the vacuous element that QM cannot accept. Definition 19.2 The principle of noninvasive measurability asserts that the actual state an SUO is in can always be determined cost-free, that is, without having any effect on that state or on its subsequent dynamical evolution. This principle is subtle. We experience its apparent validity all the time in our ordinary lives: we look at objects and they appear not to change by those acts of observation.
This chapter discusses temporal correlations, the relationship between what is happening at one point in time and what happens subsequently at another point. In certain experiments, classical mechanics predicts that certain inequalities must be absolutely satisfied, but quantum mechanics predicts that sometimes there may be possible violations. To illustrate this, the chapter discusses the classical Leggett–Garg inequality for classical bits and then show in detail how quantum mechanics predicts a violation of it. The chapter discusses the reasons for this spectacular result, which the chapter believes have everything to do with contextuality and the way humans have been conditioned to view reality in non-contextual classical terms.
Temporal Bell inequalities, such as the Leggett–Garg inequalities, test whether a singlesystem can be described by a time-local realist model. Quantum mechanics violates theseinequalities while preserving operational causality. In this work we give a proof-forwardaccount of temporal Bell inequalities within Modal Triplet Theory (MTT). We show that any temporally factorized realist model satisfies the Leggett–Garg bound.We then demonstrate that MTT generically violates temporal factorization because physicallyadmissible histories are selected by global coherence and fixed-point constraints, ratherthan by independent time-local hidden variables. Despite this failure of temporalfactorization, MTT preserves no-retro-signaling: later measurement choices do not alterearlier observable marginals. As a result, MTT reproduces standard quantum Leggett–Garg violations without invokingretrocausal dynamics or abandoning realism of the underlying modal configuration.Temporal Bell violations and spatial Bell nonlocality are identified as two projections ofthe same global-consistency mechanism. The framework is fully compatible with currentexperiments and standard quantum predictions.