Contextuality in composite systems: the role of entanglement in the Kochen-Specker theorem
arXiv:2109.13594 · doi:10.22331/q-2023-01-19-900
Abstract
The Kochen--Specker (KS) theorem reveals the nonclassicality of single quantum systems. In contrast, Bell's theorem and entanglement concern the nonclassicality of composite quantum systems. Accordingly, unlike incompatibility, entanglement and Bell non-locality are not necessary to demonstrate KS-contextuality. However, here we find that for multiqubit systems, entanglement and non-locality are both essential to proofs of the Kochen--Specker theorem. Firstly, we show that unentangled measurements (a strict superset of local measurements) can never yield a logical (state-independent) proof of the KS theorem for multiqubit systems. In particular, unentangled but nonlocal measurements -- whose eigenstates exhibit "nonlocality without entanglement" -- are insufficient for such proofs.This also implies that proving Gleason's theorem on a multiqubit system necessarily requires entangled projections, as shown by Wallach [Contemp Math, 305: 291-298 (2002)]. Secondly, we show that a multiqubit state admits a statistical (state-dependent) proof of the KS theorem if and only if it can violate a Bell inequality with projective measurements. We also establish the relationship between entanglement and the theorems of Kochen--Specker and Gleason more generally in multiqudit systems by constructing new examples of KS sets. Finally, we discuss how our results shed new light on the role of multiqubit contextuality as a resource within the paradigm of quantum computation with state injection.
References in corpus (41)
- Quantum Computing in the NISQ era and beyond
- Supplementary information for "Quantum supremacy using a programmable superconducting processor"
- Improved Simulation of Stabilizer Circuits
- Quantum Nonlocality without Entanglement
- Hidden Variables and the Two Theorems of John Bell
- Contextuality for preparations, transformations, and unsharp measurements
- Contextuality supplies the magic for quantum computation
- A simple test for hidden variables in spin-1 system
- Instantaneous non-local computation of low T-depth quantum circuits
- The Heisenberg Representation of Quantum Computers
- The Sheaf-Theoretic Structure Of Non-Locality and Contextuality
- Negative Quasi-Probability as a Resource for Quantum Computation
- Graph-Theoretic Approach to Quantum Correlations
- Is the quantum state real? An extended review of -ontology theorems
- Quantum states and generalized observables: a simple proof of Gleason's theorem
- On the role of entanglement and correlations in mixed-state quantum computation
- Local orthogonality as a multipartite principle for quantum correlations
- A Combinatorial Approach to Nonlocality and Contextuality
- Improving zero-error classical communication with entanglement
- Contextuality as a resource for models of quantum computation on qubits
- Good dynamics versus bad kinematics. Is entanglement needed for quantum computation?
- An entropic approach to local realism and noncontextuality
- Maximally epistemic interpretations of the quantum state and contextuality
- From the Kochen-Specker theorem to noncontextuality inequalities without assuming determinism
- Gleason-Type Derivations of the Quantum Probability Rule for Generalized Measurements
- The communication complexity of non-signaling distributions
- Uniqueness of noncontextual models for stabilizer subtheories
- Bell nonlocality is not sufficient for the security of standard device-independent quantum key distribution protocols
- Quantum random access codes and incompatibility of measurements
- Tight Bell inequalities with no quantum violation from qubit unextendible product bases
- From statistical proofs of the Kochen-Specker theorem to noise-robust noncontextuality inequalities
- Minimal state-dependent proof of measurement contextuality for a qubit
- Contextuality in entanglement-assisted one-shot classical communication
- Beyond the Cabello-Severini-Winter framework: Making sense of contextuality without sharpness of measurements
- Almost Quantum Correlations are Inconsistent with Specker's Principle
- Mutually Unbiased Product Bases for Multiple Qudits
- A Gleason-type theorem for qubits based on mixtures of projective measurements
- Fine's theorem, noncontextuality, and correlations in Specker's scenario
- Hypergraph framework for irreducible noncontextuality inequalities from logical proofs of the Kochen-Specker theorem
- Orthogonal product bases of four qubits
- Contextuality beyond the Kochen-Specker theorem