Abstract
Contextuality is a central property in comparative analysis of classical, quantum, and supercorrelated systems. We examine and compare two well-motivated approaches to contextuality. One approach (“contextuality-by-default”) is based on the idea that one and the same physical property measured under different conditions (contexts) is represented by different random variables. The other approach is based on the idea that while a physical property is represented by a single random variable irrespective of its context, the joint distributions of the random variables describing the system can involve negative (quasi-)probabilities. We show that in the Leggett-Garg and EPR-Bell systems, the two measures essentially coincide.
Access provided by Autonomous University of Puebla. Download conference paper PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
1 Introduction
Contextuality is a key feature of quantum systems, as no noncontextual hidden-variable theory exists that is consistent with quantum theory. This feature has been at the core of recent research in quantum information, such as attempts to identify the underlying principles for the quantum boundary. Despite its importance, there seem to be no universally accepted measure of contextuality (see, e.g., the different approaches in Refs. [6, 10, 12–17, 20, 22, 26, 27, 29, 37]). Here, we consider and compare two measures inspired by the idea that contextuality means the impossibility of finding a joint probability distribution (jpd) for different sets of random variables with some elements in common. One measure (denoted below by \(\varDelta _{\min }\)) is based on extended sets of context-indexed random variables; its precursors can be found in Refs. [10, 11, 14, 29, 33, 37, 38] and in its current form it is presented in Refs. [12, 15–18, 27, 28]. The other measure (denoted below by \(\varGamma _{\min }\)) is based on negative (quasi-)probabilities dating back to Dirac, and recently explored in connection to contextuality in Refs. [1, 7–9, 31, 35].
As an example of contextuality, let there be three properties of a system, P, Q, and R, whose measurement outcomes are represented by the random \(\mathbf {P}\), \(\mathbf {Q}\), and \(\mathbf {R}\) Footnote 1. Assume we can never observe P, Q, and R simultaneously, but only in pairwise combinations, \(\left( \mathbf {P},\mathbf {Q}\right) \), \(\left( \mathbf {P},\mathbf {R}\right) \), or \(\left( \mathbf {Q},\mathbf {R}\right) \). We may think of each pair as recorded under a different experimental condition providing a context. The system exhibits contextuality if one cannot find a jpd of \(\left( \mathbf {P},\mathbf {Q},\mathbf {R}\right) \) that agrees with the observed distributions of \(\left( \mathbf {P},\mathbf {Q}\right) \), \(\left( \mathbf {P},\mathbf {R}\right) \), and \(\left( \mathbf {Q},\mathbf {R}\right) \) as its marginals. The two approaches to be considered in this paper deal with this situation differently. The negative probabilities (NP) approach relaxes the notion of a jpd by allowing some (unobservable) joint probabilities for \(\left( \mathbf {P},\mathbf {Q},\mathbf {R}\right) \) to be negative. The “contextuality-by-default” (CbD) approach treats random variables recorded under different conditions as different “by default”, so that, e.g., property P in the context of experiment \(\left( \mathbf {P},\mathbf {Q}\right) \) is represented by some random variable \(\mathbf {P}_{A}\), and in the context \(\left( \mathbf {P},\mathbf {R}\right) \) by another random variable, \(\mathbf {P}_{B}\). Denoting the three contexts by A, B, C, this yields three pairs of contextually labeled random variables, \(\left( \mathbf {P}_{A},\mathbf {Q}_{A}\right) \), \(\left( \mathbf {P}_{B},\mathbf {R}_{B}\right) \), and \(\left( \mathbf {Q}_{C},\mathbf {R}_{C}\right) \), and in the CbD approach the joint distribution imposed on them allows, say, \(\mathbf {P}_{A}\) and \(\mathbf {P}_{B}\) to be unequal with some probability.
Here we compare the NP and CdB approaches applied to the simplest contextual case possible, with three pairwise correlated random variables, and to the standard EPR-Bell experiment. We show that for such examples the two measures of contextuality coincide (although they differ for more complex systems). The details of proofs and computations used in the main text are presented in Appendix.
2 Negative Probabilities (NP)
Using our above example, with \(\mathbf {P},\mathbf {Q},\mathbf {R}\) observed in pairs, in the NP approach one ascribes to the vector \(\left( \mathbf {P},\mathbf {Q},\mathbf {R}\right) \) a joint quasi-distribution by means of assigning to each possible combination \(w=\left( p,q,r\right) \) a real number \(\mu \left( w\right) \) (possibly negative), such that
Such \(\mu \) exists if and only if the no-signaling condition (built into EPR paradigms with spacelike separation) is satisfied [2, 3, 31], i.e., the distribution of, say, \(\mathbf {P}\) is the same in \(\left( \mathbf {P},\mathbf {Q}\right) \) and in \(\left( \mathbf {P},\mathbf {R}\right) \).Footnote 2 The numbers \(\mu \left( w\right) \) can then be interpreted as quasi-probabilities of events \(\left\{ w\right\} \), with the quasi-probability of any other event (subset of w values) being computed by additivity, inducing thereby a signed measure [21] on the set of all events. The quasi-probability of the entire set of w will then be necessarily equal to unity, because, e.g.,
The function \(\mu \) is generally not unique. In our approach [7, 8] we restrict the class of possible \(\mu \) to those as close as possible to a proper jpd by requiring that the L1 norm of the probability distribution, defined by \(M=\sum _{w}\left| \mu \left( w\right) \right| ,\) be minimized. This ensures that if the class of all possible \(\mu \) satisfying (1) contains proper probability distributions, the chosen \(\mu \) will have to be one of them. Since in this case \(\left| \mu \left( w\right) \right| =\mu \left( w\right) \) for all w, the minimum of M is 1. If (and only if) no proper probability distribution exists, then the minimum of M exceeds 1. As a result, the smallest possible value \(\varGamma _{\min }\) of \(M-1\) can be taken as a measure of contextuality.
3 Contextuality-by-Default (CbD)
A more direct approach to contextuality [10–18, 27, 28] is to posit that the identity of a random variable is determined by all systematically recorded conditions under which it is observed. Thus, in \(\left( \mathbf {P}_{A},\mathbf {Q}_{A}\right) \), \(\left( \mathbf {P}_{B},\mathbf {R}_{B}\right) \), and \(\left( \mathbf {Q}_{C},\mathbf {R}_{C}\right) \) of our example, any random variable in any of the pairs is a priori different from and stochastically unrelated to any random variable in any other pair [12, 14], but a jpd can always be imposed on the six random variables. In other words, one can always assign probability masses \(\lambda \) to \(v=\left( p_{A},p_{B},q_{A},q_{C},r_{B},r_{C}\right) \) in such a way that
The noncontextuality hypothesis for \(\mathbf {P}_{A},\mathbf {Q}_{A},\mathbf {R}_{B}\) and \(\mathbf {P}_{B},\mathbf {Q}_{C},\mathbf {R}_{C}\) is that among these jpds \(\lambda \) we can find at least one for which \(\Pr \left[ \mathbf {P}_{A}\not =\mathbf {P}_{B}\right] =\Pr \left[ \mathbf {Q}_{A}\not =\mathbf {Q}_{C}\right] =\Pr \left[ \mathbf {R}_{B}\not =\mathbf {R}_{C}\right] =0,\) which is equivalent to \(\varDelta =\Pr \left[ \mathbf {P}_{A}\not =\mathbf {P}_{B}\right] +\Pr \left[ \mathbf {Q}_{A}\not =\mathbf {Q}_{C}\right] +\Pr \left[ \mathbf {R}_{B}\not =\mathbf {R}_{C}\right] =0.\) Such a jpd need not exist, and then the smallest possible value \(\varDelta _{\min }\) of \(\varDelta \) for which a jpd of \(\left( \mathbf {P}_{A},\mathbf {P}_{B},\mathbf {Q}_{A},\mathbf {Q}_{C},\mathbf {R}_{B},\mathbf {R}_{C}\right) \) exists can be taken as a measure of contextuality.Footnote 3
The CdB approach has its precursors in the literature: various aspects of the contextual indexation of random variables and probabilities of the kind shown are considered in Refs. [10, 14, 23–25, 29, 33, 37, 38]. The principal difference, however, is in the use of minimization of \(\varDelta \) under the assumption that a jpd exists. This is a well-defined mathematical problem, solvable in principle for any set of distributions observed empirically. We will now compare and interrelate the two approaches, NP and CbD, by applying them to the Leggett-Garg and the EPR-Bell setups.
4 Leggett-Garg
Let us consider Leggett and Garg’s \(\pm 1\)-valued random variables, \(\mathbf {Q}_{1}\), \(\mathbf {Q}_{2}\), and \(\mathbf {Q}_{3}\) [30]. Applying the NP approach, we seek signed probabilities \(\mu \) for \(\left( \mathbf {Q}_{1},\mathbf {Q}_{2},\mathbf {Q}_{3}\right) \) that are consistent with the observed correlations \(\left\langle \mathbf {Q}_{i}\mathbf {Q}_{j}\right\rangle \) and individual expectations \(\left\langle \mathbf {Q}_{i}\right\rangle \), with the smallest possible value of the L1 norm \(M\equiv \sum _{w}\left| \mu \left( w\right) \right| \), where w denotes all possible combinations of values \(\left( q_{1},q_{2},q_{3}\right) \) for \(\left( \mathbf {Q}_{1},\mathbf {Q}_{2},\mathbf {Q}_{3}\right) \). Here, we use the standard notation \(\left\langle \cdot \right\rangle \) for the expectation operator. This problem can be easily solved, as we only have \(2^{3}\) atomic elements w: \(\left( 1,1,1\right) \), \(\left( 1,1,-1\right) \), ... , \(\left( -1,-1,-1\right) \). Thus, for \(\mathbf {Q}_{1}\), \(\mathbf {Q}_{2}\), and \(\mathbf {Q}_{3}\), the minimal L1 norm \(1+\varGamma _{\min }\) satisfies
where \(S_{LG}\) is defined as
where each \(\pm \) in the expression should be replaced with \(+\) or \(-\), and \(\#^{-}\) indicates the possible numbers of minuses. Notice that \(S_{LG}\le 1\), which is equivalent to \(\varGamma _{\min }=0\), is a necessary and sufficient condition for the existence of a proper jpd.
Turning now to the CbD approach, we create a set of six random variables
each indexed by the measurement conditions under which it is recorded: for any two random variables recorded at moments \(t_{i}\) and \(t_{j}\), with \(i<j\), the \(\mathbf {Q}_{i,j}\) designates the earlier variable and \(\mathbf {Q}_{j,i}\) the later one. We have thus three pairs of variables with known jpds:
A jpd can always be constructed for these pairs (e.g., they can always be connected as stochastically independent pairs), but we seek a jpd with the smallest value \(\varDelta _{\min }\) of
A classical joint exists for \(\mathbf {Q}_{1}\), \(\mathbf {Q}_{2}\), and \(\mathbf {Q}_{3}\) (no contextuality) if and only if a joint exists for (7) with \(\varDelta =0\). The more we depart from the classical joint, the larger the minimum value \(\varDelta _{\min }\). Thus, \(\varDelta _{\min }\) can serve as a measure of contextuality.
Requiring a jpd consistent with (7) means to assign a probability to each of the \(2^{6}\) possible values of these random variables,
constrained by being nonnegative and summing to the observed probabilities. For instance, the probabilities assigned to all combinations with \(\mathbf {Q}_{1,2}=1\) and \(\mathbf {Q}_{2,1}{= --1}\) should sum to the observed \(\Pr \left[ \mathbf {Q}_{1,2}=1,\mathbf {Q}_{2,1}{= --1}\right] \). A computer-assisted Fourier-Motzkin elimination algorithm gives the following analytic expression for the minimum value of \(\varDelta \) consistent with the observable pairs (7):
This is a special case of the result in Ref. [16, 17, 27].
Comparing the general expressions (4) for \(\varGamma _{\min }\) and (10) for \(\varDelta _{\min }\) we see that the two simply coincide:
5 EPR-Bell
We now turn to the EPR-Bell case where Alice and Bob have each two distinct settings, 1 and 2, corresponding to four observable random variables \(\mathbf {A}_{1}\), \(\mathbf {A}_{2}\), \(\mathbf {B}_{1}\), and \(\mathbf {B}_{2}\). This notation implicitly contains the assumption that the identity of Alice’s measurements as random variables does not depend on Bob’s settings, and vice versa. It is well known [19] that under the no-signaling conditions the existence of the jpd is equivalent to the CHSH inequalities being satisfied. Applying the NP approach, the minimal L1 norm of the probability distribution is given by [31]
where
Here \(\varGamma _{\min }=0\) corresponds to the CHSH inequalities, and \(\varGamma _{\min }>0\) to contextuality.
Turning now to the CbD approach, we have four pairs of random variables,
Here, \(\mathbf {A}_{i,j}\) denotes Alice’s measurement under her setting \(i=1,2\) when Bob’s setting is \(j=1,2\), and analogously for \(\mathbf {B}_{i,j}\). We seek a jpd with the smallest value \(\varDelta _{\min }\) of
No contextuality means \(\varDelta _{\min }=0\). A computer assisted Fourier-Motzkin elimination algorithm yields (this is a special case of the result in Ref. [16, 17, 27])
We have the same simple coincidence the two measures as in the case of the Leggett-Garg systems,
6 Final Remarks
We have discussed two ways to measure contextuality. The direct approach, named Contextuality-by-Default (CbD), assigns to each random variable an index related to their context. If a system is noncontextual, a jpd can be imposed on the random variables so that any two of them representing the same property in different contexts always have the same values. If the system is contextual, the minimum value of \(\varDelta \) in (10)–(16) across all possible jpds has the interpretation of how close a variable can be in two different contexts: the larger the value the greater contextuality, zero representing a necessary and sufficient condition for no contextuality.
The other approach maintains the original set of random variables, but requires negative (quasi-)probabilities. This leads to nonmonotonicity (i.e., a set of outcomes can have a smaller probability than some of its proper subsets), which is a characteristic of quantum interference. The departure from a proper probability distribution is measured by \(\varGamma _{\min }\) in the minimum L1 norm \(1+\varGamma _{\min }\). Similar to the CbD approach, we use here a minimization principle that gives the closest probability distribution to an ideal (but impossible) jpd. The value of \(\varGamma _{\min }\) has the interpretation of how contextual the system is: a necessary and sufficient condition for no contextuality is \(\varGamma _{\min }=0\), and the larger the value of \(\varGamma _{\min }\), the more contextual the system is.
As we have seen, in the case of EPR-Bell and Leggett-Garg systems the two approaches lead to simple coincidence, \(\varDelta _{\min }=\varGamma _{\min }\). The two measures, \(\varGamma _{\min }\) and \(\varDelta _{\min }\), can be computed for any given system, and they do not coincide for more complex systems. Thus, for a bi-partite system with three settings for Alice and for Bob our computations show that \(\varGamma _{\min }\) has a value of 1 for all Popescu-Rohrlich (PR) boxes [5, 32], whereas for some PR boxes \(\varDelta _{\min }=2\) and for others \(\varDelta _{\min }=1\). Still more complex systems exhibit still richer patterns of values for \(\varGamma _{\min }\) and \(\varDelta _{\min }\).
Of the two measures of contextuality, \(\varGamma _{\min }\) is computationally much simpler, as it involves fewer random variables and a simpler set of conditions (no nonnegativity constraints). However, CbD has the advantage of being more general than NP, as it can include cases where no NP distributions exist due to violations of the no-signaling condition [15, 17, 27].
Notes
- 1.
- 2.
No-signaling condition is a fundamental limitation of any approach with noncontextually labeled random variables, including NP.
- 3.
References
Abramsky, S., Brandenburger, A.: The sheaf-theoretic structure of non-locality and contextuality. New J. Phys. 13, 113036 (2011)
Abramsky, S., Brandenburger, A.: An operational interpretation of negative probabilities and no-signalling models. In: van Breugel, F., Kashefi, E., Palamidessi, C., Rutten, J. (eds.) Horizons of the Mind. LNCS, vol. 8464, pp. 59–75. Springer, Heidelberg (2014)
Al-Safi, S., Short, A.: Simulating all nonsignaling correlations via classical or quantum theory with negative probabilities. Phys. Rev. Lett. 111, 170403 (2013)
Bacciagaluppi, G.: Leggett-Garg inequalities, pilot waves and contextuality. Int. J. Quant. Found. 1(1), 1–17 (2015)
Brunner, N., Scarani, V., Gisin, N.: Bell-type inequalities for non-local resources. J. Math. Phys. 47, 112101 (2006)
Chaves, R., Fritz, T.: Entropic approach to local realism and noncontextuality. Phys. Rev. A 85, 032113 (2012)
de Barros, J.A.: Decision making for inconsistent expert judgments using negative probabilities. In: Atmanspacher, H., Haven, E., Kitto, K., Raine, D. (eds.) QI 2013. LNCS, vol. 8369, pp. 257–269. Springer, Heidelberg (2014)
de Barros, J.A., Oas, G., Suppes, P.: Negative probabilities and counterfactual reasoning on the double-slit experiment. In: Beziau, J.-Y., Krause, D., Arenhart, J.B. (eds.) Conceptual Clarification: Tributes to Patrick Suppes. College Publications, London (2015). (1992–2014)
de Barros, J.A., Oas, G.: Negative probabilities and counter-factual reasoning in quantum cognition. Phys. Scripta T163, 014008 (2014)
Dzhafarov, E., Kujala, J.: All-possible-couplings approach to measuring probabilistic context. Plos One 8, e61712 (2013)
Dzhafarov, E., Kujala, J.: Embedding quantum into classical: contextualization vs conditionalization. Plos One 9, e92818 (2014)
Dzhafarov, E., Kujala, J.: Contextualityis about identity of random variables. Phys. Scripta T163, 014009 (2014)
Dzhafarov, E., Kujala, J.: Random variables recorded under mutually exclusive conditions: contextuality-by-default. In: Liljenström, H. (Ed.) Advances in Cognitive Neurodynamics IV, pp. 405–410 (2015)
Dzhafarov, E.N., Kujala, J.V.: A qualified kolmogorovian account of probabilistic contextuality. In: Atmanspacher, H., Haven, E., Kitto, K., Raine, D. (eds.) QI 2013. LNCS, vol. 8369, pp. 201–212. Springer, Heidelberg (2014)
Dzhafarov, E., Kujala, J.: probabilistic contextuality in EPR/Bohm-type systems with signaling allowed. arXiv:1406.0243 [quant-ph, q-bio] (2014)
Dzhafarov, E., Kujala, J.: Generalizing Bell-type and Leggett-Garg-type inequalities to systems with signaling. arXiv:1407.2886 [quant-ph] (2014)
Dzhafarov, E., Kujala, J., Larsson, J.-Å.: Contextuality in three types of quantum mechanical systems. Found. Phys. 45, 762–782 (2014). doi:10.1007/s10701-015-9882-9
Dzhafarov, E., Kujala, J., Larsson, J.-Å.: Contextuality-by-default: a brief overview of ideas, concepts, and terminology. arXiv:1504.00530 [quant-ph] (2015)
Fine, A.: Hidden variables, joint probability, and the Bell inequalities. Phys. Rev. Lett. 48, 291 (1982)
Grudka, A., Horodecki, K., Horodecki, M., Horodecki, P., Horodecki, R., Joshi, P., Kłobus, W., Wójcik, A.: Quantifying contextuality. Phys. Rev. Lett. 112, 120401 (2014)
Halmos, P.: Measure Theory. Springer-Verlag, New York (1974)
Kleinmann, M., Gühne, O., Portillo, J., Larsson, J.-Å., Cabello, A.: Memory cost of quantum contextuality. New J. Phys. 13, 113011 (2011)
Khrennikov, A.: The principle of supplementarity: a contextual probabilistic viewpoint to complementarity, the interference of probabilities, and the incompatibility of variables in quantum mechanics. Found. Phys. 35, 1655–1693 (2005)
Khrennikov, A.: Bell-Boole inequality: nonlocality or probabilistic incompatibility of random variables? Entropy 10, 19–32 (2008)
Khrennikov, A.: Contextual Approach to Quantum Formalism. Springer, Berlin (2009)
Kurzyński, P., Ramanathan, R., Kaszlikowski, D.: Entropic test of quantum contextuality. Phys. Rev. Lett. 109, 020404 (2012)
Kujala, J., Dzhafarov, E., Larsson, J.Å.: Necessary and sufficient conditions for maximal noncontextuality in a broad class of quantum mechanical systems. Phys. Rev. Lett. (in press)
Kujala, J., Dzhafarov, E.: Proof of a conjecture on contextuality in cyclic systems with binary variables. arXiv:1503.02181 [quant-ph] (2015)
Larsson, J.-Å.: A Kochen-Specker inequality. EPL (Eur. Lett.) 58, 799–805 (2002)
Leggett, A., Garg, A.: Quantum mechanics versus macroscopic realism: is the flux there when nobody looks? Phys. Rev. Lett. 54, 857 (1985)
Oas, G., de Barros, J.A., Carvalhaes, C.: Exploring non-signalling polytopes with negative probability. Phys. Scripta T163, 014034 (2014)
Popescu, S., Rohrlich, D.: Nonlocality as an axiom. Found. Phys. 24, 379 (1994)
Simon, C., Brukner, Č., Zeilinger, A.: Hidden-variable theorems for real experiments. Phys. Rev. Lett. 86(20), 4427–4430 (2001)
Specker, E.P.: The logic of propositions which are not simultaneously decidable. In: Hooker, C.A. (ed.) The Logico-Algebraic Approach to Quantum Mechanics. The University of Western Ontario Series in Philosophy of Science, vol. 5a, pp. 135–140. Springer, Netherlands (1975)
Spekkens, R.W.: Negativity and contextuality are equivalent notions of nonclassicality. Phys. Rev. Lett. 101, 020401 (2008)
Suppes, P., Zanotti, M.: When are probabilistic explanations possible? Synthese 48, 191 (1981)
Svozil, K.: How much contextuality? Nat. Comput. 11, 261 (2012)
Winter, A.: What does an experimental test of quantum contextuality prove or disprove? J. Phys. A: Math. Theor. 47, 424031 (2014)
Acknowledgments
This work was supported by NSF grant SES-1155956, AFOSR grant FA9550-14-1-0318, and A. von Humboldt Foundation. The authors are grateful to Samson Abramsky, Guido Bacciagaluppi, Andrei Khrennikov, Jan-Åke Larsson, and Patrick Suppes for helpful discussions.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
A Proofs of Statements
A Proofs of Statements
In this appendix, we describe how the analytic results of the main text were obtained for each of the expressions (4), (10), (12), and (16) of the main text.
1.1 A.1 EPR-Bell: Contextuality-by-Default
Following the computations of Dzhafarov and Kujala [10, TextS3], or the more general formulation in Ref. [16], it can be shown that the observable distributions with probabilities given by the matrices
are compatible with the connections
if and only if
where u stands for 0 or 1, and
Here we use the parameterization by the 12 expectation variables defined as (with \(i,j\in \{ 1,2 \}\))
Writing the inequality (20) in terms of these expectations rather than in terms of probabilities is the most economic way of presenting the 128 non-trivial inequalities of the system, as the marginal probabilities \(a_{1},a_{2},b_{1},b_{2}\) (or expectations \(\left\langle \mathbf {A}_{1}\right\rangle ,\left\langle \mathbf {A}_{2}\right\rangle ,\left\langle \mathbf {B}_{1}\right\rangle ,\left\langle \mathbf {B}_{2}\right\rangle \)) vanish in this form. However, it should be noted that in addition to these 128 inequalities, the form of the observed distributions and connections itself imposes further 28 trivial constraints on the 12 expectation variables of the system: the probabilities within each \(2\times 2\) matrix in (18) and (19) should be nonnegative and sum to one. 16 of these trivial constraints pertain to the observed distributions and 12 to the connections. In terms of the expectations, these trivial constraints correspond to
for given marginals for each pair \((\mathbf {A},\mathbf {B})\) of random variables in (21)–(23). This expands to four inequalities for each of the observed distributions and to three inequalities for each of the connections (the two upper bounds in (25) coincide when \(\left\langle \mathbf {A}\right\rangle =\left\langle \mathbf {B}\right\rangle \)). Although these trivial constraints can usually be assumed implicitly, it is important to keep them explicitly in the system for the next step.
Adding the equation
to the system and then eliminating the connection correlations \(\left\langle \mathbf {A}_{1,1}\mathbf {A}_{1,2}\right\rangle \), \(\left\langle \mathbf {A}_{2,1}\mathbf {A}_{2,2}\right\rangle \), \(\left\langle \mathbf {B}_{1,1}\mathbf {B}_{2,1}\right\rangle \), \(\left\langle \mathbf {B}_{1,2}\mathbf {B}_{2,2}\right\rangle \) from the system using the Fourier–Motzkin elimination algorithm, we obtain the system
where we denote
as in the main text. This means that \(\varDelta \) is compatible with the given observed probabilities if and only if the above inequalities are satisfied. Since the set of possible values of \(\varDelta \) constrained by (26) and (27) is known to be nonempty, it follows that the minimum value of \(\varDelta \) is always given by
1.2 A.2 EPR-Bell: Negative Probabilities
The analogous result for the negative probabilities approach is that the observable distributions (18) are obtained as the marginals of some negative probability joint of \(\mathbf {A}_{1}=\mathbf {A}_{1,1}=\mathbf {A}_{1,2},\) \(\mathbf {A}_{2}=\mathbf {A}_{2,1}=\mathbf {A}_{2,2}\), \(\mathbf {B}_{1}=\mathbf {B}_{1,1}=\mathbf {B}_{2,1},\) and \(\mathbf {B}_{2}=\mathbf {B}_{1,2}=\mathbf {B}_{2,2}\) given by
\(a'_{1},a'_{2},b'_{1},b'_{2}\in \{1,-1\}\), for some nonnegative functions \(p^{+}\) and \(p^{-}\) having a total probability mass value
if and only if \(M\ge 1+\varGamma _{\min }\), where
The computations are similar to those of the CbD approach, but there are two general differences. First, in the CbD approach, the convex range of the possible observed and connection expectations (21)–(24) over the convex polytope of all possible joints is obtained by looking at these expectations at the \(2^{8}\) vertices defining the polytope of all joints and then applying a computer algorithm to find the set of inequalities delineating the extreme values of the expectations at these vertices. However, in the negative probabilities approach, the joint is represented by the \(2^{4}\) differences of the positive and negative components of the distribution and so, although these \(2\cdot 2^{4}\) components are nonnegative as in the CbD approach, they do not need to sum to one. Hence, the joint is represented by a convex cone rather than a bounded polytope. Still, a convex cone is a special case of a general polytope and can be handled by the same algorithms that we have used in the CbD approach.
Second, we do not need to apply the Fourier–Motzkin elimination algorithm here as we have defined M directly by the representation of the joint so there are no extra variables we would need to eliminate. This difference, however, is not really a difference between the two approaches, as we could have done the same in the CbD approach as well: we could have defined \({\varDelta }\) directly based on the joint of all eight variables without explicitly defining the connection correlations (22)–(23), and then we would have obtained the result directly from the half-space representation, as we do in the negative probabilities approach.
1.3 A.3 Leggett–Garg: Contextuality-by-Default
The results for Leggett–Garg \(\mathbf {Q}_{1},\mathbf {Q}_{2},\mathbf {Q}_{3}\) can be obtained in the same way as for the EPR-Bell systems. In the CbD approach, the observed correlations \(\left\langle \mathbf {Q}_{1,2}\mathbf {Q}_{2,1}\right\rangle \), \(\left\langle \mathbf {Q}_{1,3}\mathbf {Q}_{3,1}\right\rangle \), \(\left\langle \mathbf {Q}_{2,3}\mathbf {Q}_{3,2}\right\rangle \), \(\left\langle \mathbf {Q}_{1}\right\rangle =\left\langle \mathbf {Q}_{1,2}\right\rangle =\left\langle \mathbf {Q}_{1,3}\right\rangle \), \(\left\langle \mathbf {Q}_{2}\right\rangle =\left\langle \mathbf {Q}_{2,1}\right\rangle =\left\langle \mathbf {Q}_{3,2}\right\rangle \), \(\left\langle \mathbf {Q}_{3}\right\rangle =\left\langle \mathbf {Q}_{3,1}\right\rangle =\left\langle \mathbf {Q}_{3,2}\right\rangle \) are consistent with the connection correlations \(\left\langle \mathbf {Q}_{1,2}\mathbf {Q}_{1,3}\right\rangle \), \(\left\langle \mathbf {Q}_{2,1}\mathbf {Q}_{2,3}\right\rangle \), \(\left\langle \mathbf {Q}_{3,1}\mathbf {Q}_{3,2}\right\rangle \) if and only if these connection correlations are realizable with the given marginals (i.e., each correlation \(\left\langle \mathbf {AB}\right\rangle \) has to satisfy \(-1+|\left\langle \mathbf {A}\right\rangle +\left\langle \mathbf {B}\right\rangle |\le \left\langle \mathbf {A}\mathbf {B}\right\rangle \le 1-|\left\langle \mathbf {A}\right\rangle -\left\langle \mathbf {B}\right\rangle |\) as discussed in the EPR-Bell case above) and satisfy
These two inequalities (with u standing for 0 or 1) expand to 32 linear inequalities and there are 21 trivial constraints.
Denoting
and eliminating the connection correlations from the system using the Fourier–Motzkin algorithm, we obtain the system
where we denote
That is, \(\varDelta \) is consistent with the observed probabilities if and only if the above inequalities are satisfied. It follows that the minimum value of \(\varDelta \) is given by
1.4 A.4 Leggett–Garg: Negative Probabilities
With the same additional comments as in the negative probability calculations for the EPR-Bell case, our calculations show that the observable probabilities \(\Pr \left[ \mathbf {Q}_{12}=q_{1},\mathbf {Q}_{21}=q_{2}\right] \), \(\Pr \left[ \mathbf {Q}_{13}=q_{1},\mathbf {Q}_{31}=q_{3}\right] \), \(\Pr \left[ \mathbf {Q}_{23}=q_{2},\mathbf {Q}_{32}=q_{3}\right] \), \(q_{1},q_{2},q_{3}\in \{0,1\},\) can be obtained as the marginals of a negative probability jpd of \(\mathbf {Q}_{1}=\mathbf {Q}_{1,2}=\mathbf {Q}_{1,3}\), \(\mathbf {Q}_{2}=\mathbf {Q}_{2,1}=\mathbf {Q}_{3,2}\), and \(\mathbf {Q}_{3}=\mathbf {Q}_{3,1}=\mathbf {Q}_{3,2}\) with the total probability mass of M if and only if \(M\ge 1+\varGamma _{\min }\), where
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
de Barros, J.A., Dzhafarov, E.N., Kujala, J.V., Oas, G. (2016). Measuring Observable Quantum Contextuality. In: Atmanspacher, H., Filk, T., Pothos, E. (eds) Quantum Interaction. QI 2015. Lecture Notes in Computer Science(), vol 9535. Springer, Cham. https://doi.org/10.1007/978-3-319-28675-4_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-28675-4_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-28674-7
Online ISBN: 978-3-319-28675-4
eBook Packages: Computer ScienceComputer Science (R0)