Deriving robust noncontextuality inequalities from algebraic proofs of the Kochen–Specker theorem: the Peres–Mermin square
From MaRDI portal
Publication:6204466
Abstract: When a measurement is compatible with each of two other measurements that are incompatible with one another, these define distinct contexts for the given measurement. The Kochen-Specker theorem rules out models of quantum theory that satisfy a particular assumption of context-independence: that sharp measurements are assigned outcomes both deterministically and independently of their context. This notion of noncontextuality is not suited to a direct experimental test because realistic measurements always have some degree of unsharpness due to noise. However, a generalized notion of noncontextuality has been proposed that is applicable to any experimental procedure, including unsharp measurements, but also preparations as well, and for which a quantum no-go result still holds. According to this notion, the model need only specify a probability distribution over the outcomes of a measurement in a context-independent way, rather than specifying a particular outcome. It also implies novel constraints of context-independence for the representation of preparations. In this article, we describe a general technique for translating proofs of the Kochen-Specker theorem into inequality constraints on realistic experimental statistics, the violation of which witnesses the impossibility of a noncontextual model. We focus on algebraic state-independent proofs, using the Peres-Mermin square as our illustrative example. Our technique yields the necessary and sufficient conditions for a particular set of correlations (between the preparations and the measurements) to admit a noncontextual model. The inequalities thus derived are demonstrably robust to noise. We specify how experimental data must be processed in order to achieve a test of these inequalities. We also provide a criticism of prior proposals for experimental tests of noncontextuality based on the Peres-Mermin square.
Recommendations
- Kochen-Specker meets experiments
- A proof of the Kochen-Specker theorem can always be converted to a state-independent noncontextuality inequality
- A Kochen-Specker inequality from a SIC
- Quantum contextuality as a measurement disturbance effect
- Proposed Experimental Tests of the Bell-Kochen-Specker Theorem
Cites work
- scientific article; zbMATH DE number 1579275 (Why is no real title available?)
- scientific article; zbMATH DE number 3251317 (Why is no real title available?)
- A combinatorial approach to nonlocality and contextuality
- A degenerate extreme point strategy for the classification of linear constraints as redundant or necessary
- Bell inequalities from variable-elimination methods
- Causal structures from entropic information: geometry and novel scenarios
- Einstein, incompleteness, and the epistemic view of quantum states
- How good are convex hull algorithms?
- Linear Optimization Queries
- New modification of the double description method for constructing the skeleton of a polyhedral cone
- On the Problem of Hidden Variables in Quantum Mechanics
- Optimal bounds for parity-oblivious random access codes
- Polynomial Bell inequalities
- Proofs of the Kochen-Specker theorem based on a system of three qubits
- The quickhull algorithm for convex hulls
- The status of determinism in proofs of the impossibility of a noncontextual model of quantum theory
- Two simple proofs of the Kochen-Specker theorem
- Universal quantum computation with ideal Clifford gates and noisy ancillas
Cited in
(2)
This page was built for publication: Deriving robust noncontextuality inequalities from algebraic proofs of the Kochen–Specker theorem: the Peres–Mermin square
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6204466)
