-
How (Maximally) Contextual is Quantum Mechanics?
Authors:
Andrew W. Simmons
Abstract:
Proofs of Bell-Kochen-Specker contextuality demonstrate that there exists sets of projectors that cannot each be assigned either 0 or 1 such that each basis formed from them contains exactly one 1-assigned projector. Instead, at least some of the projectors must have a valuation that depends on the \emph{context} in which they are measured. This motivates the question of \emph{how many} of the pro…
▽ More
Proofs of Bell-Kochen-Specker contextuality demonstrate that there exists sets of projectors that cannot each be assigned either 0 or 1 such that each basis formed from them contains exactly one 1-assigned projector. Instead, at least some of the projectors must have a valuation that depends on the \emph{context} in which they are measured. This motivates the question of \emph{how many} of the projectors must have contextual valuations. In this paper, we demonstrate a bound on what fraction of rank-1 projective measurements on a quantum system must be considered to have context-dependent valuations as a function of the quantum dimension, and show that quantum mechanics is not as contextual, by this metric, as other possible physical theories. Attempts to find quantum mechanical scenarios that yield a high value of this figure-of-merit can be thought of as generalisations or extensions of the search for small Kochen-Specker sets. We also extend this result to projector-valued-measures with projectors of arbitrary equal rank.
△ Less
Submitted 11 December, 2017;
originally announced December 2017.
-
Contextuality under weak assumptions
Authors:
Andrew W. Simmons,
Joel J. Wallman,
Hakop Pashayan,
Stephen D. Bartlett,
Terry Rudolph
Abstract:
The presence of contextuality in quantum theory was first highlighted by Bell, Kochen and Specker, who discovered that for quantum systems of three or more dimensions, measurements cannot be viewed as revealing pre-existing properties of the system. More precisely, no model can assign deterministic outcomes to the projectors of a quantum measurement in a way that depends only on the projector and…
▽ More
The presence of contextuality in quantum theory was first highlighted by Bell, Kochen and Specker, who discovered that for quantum systems of three or more dimensions, measurements cannot be viewed as revealing pre-existing properties of the system. More precisely, no model can assign deterministic outcomes to the projectors of a quantum measurement in a way that depends only on the projector and not the context (the full set of projectors) in which it appeared, despite the fact that the Born rule probabilities associated with projectors are independent of the context. A more general, operational definition of contextuality introduced by Spekkens, which we will term "probabilistic contextuality", drops the assumption of determinism and allows for operations other than measurements to be considered contextual. Probabilistic noncontextuality represents the postulate that elements of an operational theory that cannot be distinguished from each other based on the statistics of arbitrarily many repeated experiments are ontologically identical. In this paper, we introduce a framework that enables us to distinguish between different noncontextuality assumptions in terms of the relationships between the ontological representations of objects in the theory given a certain relation between their operational representations. This framework can be used to motivate and define a "possibilistic" analogue, encapsulating the idea that elements of an operational theory that cannot be unambiguously distinguished operationally can also not be unambiguously distinguished ontologically. We then prove that possibilistic noncontextuality is equivalent to an alternative notion proposed by Hardy. Finally, we demonstrate that these weaker noncontextuality assumptions are sufficient to prove alternative versions of known "no-go" theorems that constrain $ψ$-epistemic models for quantum mechanics.
△ Less
Submitted 6 April, 2017; v1 submitted 21 October, 2016;
originally announced October 2016.
-
On the computational complexity of detecting possibilistic locality
Authors:
Andrew W. Simmons
Abstract:
The proofs of quantum nonlocality due to GHZ and Hardy are quantitatively different from that of Bell insofar as they rely only on a consideration of whether events are possible or impossible, rather than relying on specific experimental probabilities. Here, we consider the computational task of determining whether or not a given table of possibilities constitutes a departure from possibilistic lo…
▽ More
The proofs of quantum nonlocality due to GHZ and Hardy are quantitatively different from that of Bell insofar as they rely only on a consideration of whether events are possible or impossible, rather than relying on specific experimental probabilities. Here, we consider the computational task of determining whether or not a given table of possibilities constitutes a departure from possibilistic local realism. By considering the case in which one party has access to measurements with two outcomes and the other three, it is possible to see at exactly which point this task becomes computationally difficult.
△ Less
Submitted 5 October, 2016; v1 submitted 18 September, 2016;
originally announced September 2016.