Kochen-Specker Contextuality

Abstract

A central result in the foundations of quantum mechanics is the Kochen-Specker theorem. In short, it states that quantum mechanics is in conflict with classical models in which the result of a measurement does not depend on which other compatible measurements are jointly performed. Here compatible measurements are those that can be implemented simultaneously or, more generally, those that are jointly measurable. This conflict is generically called quantum contextuality. In this review, an introduction to this subject and its current status is presented. Several proofs of the Kochen-Specker theorem and different notions of contextuality are reviewed. How to experimentally test some of these notions is explained and connections between contextuality and nonlocality or graph theory are discussed. Finally, some applications of contextuality in quantum information processing are reviewed.

arXiv comment68 pages, 20 figures. Final version

References in corpus (265)

• Bell nonlocality
• Device-independent security of quantum cryptography against collective attacks
• Steering, Entanglement, Nonlocality, and the EPR Paradox
• Improved Simulation of Stabilizer Circuits
• Universal Quantum Computation with ideal Clifford gates and noisy ancillas
• Models of Wave-function Collapse, Underlying Theories, and Experimental Tests
• Measurement-based quantum computation
• Hidden Variables and the Two Theorems of John Bell
• No Signalling and Quantum Key Distribution
• Information Causality as a Physical Principle
• A convergent hierarchy of semidefinite programs characterizing the set of quantum correlations
• In defense of the epistemic view of quantum states: a toy theory
• Contextuality for preparations, transformations, and unsharp measurements
• Contextuality supplies the magic for quantum computation
• Non-local correlations as an information theoretic resource
• Quantum Steering
• A simple test for hidden variables in spin-1 system
• Quantum cryptography with 3-state systems
• Bounding the set of quantum correlations
• The Resource Theory of Stabilizer Computation
• Positive Wigner functions render classical simulation of quantum computation efficient
• Probabilistic theories with purification
• Leggett-Garg Inequalities
• Experimentally testable state-independent quantum contextuality
• The Sheaf-Theoretic Structure Of Non-Locality and Contextuality
• Quantum advantage with shallow circuits
• Discrete phase space based on finite fields
• Einstein, incompleteness, and the epistemic view of quantum states
• State-independent experimental test of quantum contextuality
• Negative Quasi-Probability as a Resource for Quantum Computation
• The Free Will Theorem
• Bell-Kochen-Specker theorem: A proof with 18 vectors
• The Communication Cost of Simulating Bell Correlations
• Graph-Theoretic Approach to Quantum Correlations
• Hudson's Theorem for finite-dimensional quantum systems
• A derivation of quantum theory from physical requirements
• A mathematical theory of resources
• Experimental non-classicality of an indivisible quantum system
• Specker's Parable of the Over-protective Seer: A Road to Contextuality, Nonlocality and Complementarity (PLUS AN ERRATUM)
• Loopholes in Bell Inequality Tests of Local Realism
• Contextuality in Measurement-based Quantum Computation
• Experimental test of quantum contextuality in neutron interferometry
• State-independent proof of Kochen-Specker theorem with 13 rays
• State-independent quantum contextuality with single photons
• Maximally Non-Local and Monogamous Quantum Correlations
• A glance beyond the quantum model
• Local orthogonality as a multipartite principle for quantum correlations
• An Invitation to Quantum Incompatibility
• An experimental test of noncontextuality without unwarranted idealizations
• Almost quantum correlations
• Preparation contextuality powers parity-oblivious multiplexing
• Quantum root-mean-square error and measurement uncertainty relations
• Condition for macroscopic realism beyond the Leggett-Garg inequalities
• Computational power of correlations
• A Combinatorial Approach to Nonlocality and Contextuality
• Testing contextuality on quantum ensembles with one clean qubit
• Simple explanation of the quantum violation of a fundamental inequality
• Finite precision measurement nullifies the Kochen-Specker theorem
• Quantum Pseudo-Telepathy
• Realization of All-or-nothing-type Kochen-Specker Experiment with Single Photons
• All noncontextuality inequalities for the n-cycle scenario
• The contextual fraction as a measure of contextuality
• "All versus nothing" inseparability for two observers
• Improving zero-error classical communication with entanglement
• Quantum entanglement can be simulated without communication
• Contextuality as a resource for models of quantum computation on qubits
• Quantum advantage with noisy shallow circuits in 3D
• Tsirelson's problem and Kirchberg's conjecture
• Bell's theorem without inequalities and without probabilities for two observers
• Wigner function negativity and contextuality in quantum computation on rebits
• All-Versus-Nothing Violation of Local Realism by Two-Photon, Four-Dimensional Entanglement
• Quantum Advantage in Postselected Metrology
• Contextual advantage for state discrimination
• Experiments towards Falsification of Noncontextual Hidden Variable Theories
• Occam's Quantum Razor: How Quantum Mechanics can reduce the complexity of classical models
• Proposed experimental tests of the Bell-Kochen-Specker theorem
• Contextuality and Wigner function negativity in qubit quantum computation
• Universality of state-independent violation of correlation inequalities for noncontextual theories
• An entropic approach to local realism and noncontextuality
• Quantifying Contextuality
• Non-Contextual Hidden Variables and Physical Measurements
• Bounding the quantum dimension with contextuality
• "All-versus-nothing" nonlocality test of quantum mechanics by two-photon hyperentanglement
• Compatibility and noncontextuality for sequential measurements
• Necessary and Sufficient Conditions for Extended Noncontextuality in a Broad Class of Quantum Mechanical Systems
• Entropic Inequalities and Marginal Problems
• Simulating Quantum Mechanics by Non-Contextual Hidden Variables
• Maximally epistemic interpretations of the quantum state and contextuality
• Addressing the clumsiness loophole in a Leggett-Garg test of macrorealism
• Strong Kochen-Specker theorem and incomputability of quantum randomness
• State-independent experimental tests of quantum contextuality in a three dimensional system
• From the Kochen-Specker theorem to noncontextuality inequalities without assuming determinism
• Entropic Test of Quantum Contextuality
• Generalized monogamy of contextual inequalities from the no-disturbance principle
• Enhancing Generative Models via Quantum Correlations
• Kochen-Specker theorem for 8-dimensional space
• Optimal bounds for parity-oblivious random access codes
• Non-disturbing quantum measurements
• All-Versus-Nothing Violation of Local Realism for Two Entangled Photons
• Optimal inequalities for state-independent contextuality
• A Kochen-Specker inequality
• Memory cost of quantum contextuality
• Nonlocality Claims are Inconsistent with Hilbert Space Quantum Mechanics
• Kochen-Specker Vectors
• State-independent experimental test of quantum contextuality in an indivisible system
• Equivalence between contextuality and negativity of the Wigner function for qudits
• Zero-error channel capacity and simulation assisted by non-local correlations
• The Characterization of Noncontextuality in the Framework of Generalized Probabilistic Theories
• Causal structures from entropic information: Geometry and novel scenarios
• State independent contextuality advances one-way communication
• Multipartite Causal Correlations: Polytopes and Inequalities
• Hidden-variable theorems for real experiments
• Proposal for revealing quantum nonlocality via local contextuality
• The status of determinism in proofs of the impossibility of a noncontextual model of quantum theory
• Fully nonlocal quantum correlations
• A Kochen-Specker inequality from a SIC
• A variant of the Kochen-Specker theorem localising value indefiniteness
• Commutative POVMs and Fuzzy Observables
• Quantum Correlations are Tightly Bound by the Exclusivity Principle
• Measurement incompatibility and steering are necessary and sufficient for operational contextuality
• Simple method for experimentally testing any form of quantum contextuality
• Robust self-testing of quantum systems via noncontextuality inequalities
• Experimental fully contextual correlations
• Contextuality without nonlocality in a superconducting quantum system
• Sustained state-independent quantum contextual correlations from a single ion
• All the noncontextuality inequalities for arbitrary prepare-and-measure experiments with respect to any fixed sets of operational equivalences
• Quantum realization of arbitrary joint measurability structures
• Computational Mechanics of Input-Output Processes: Structured transformations and the $\epsilon$-transducer
• Kochen-Specker set with seven contexts
• Necessary and sufficient condition for quantum state-independent contextuality
• Quantum Advantage from Sequential-Transformation Contextuality
• The exclusivity principle forbids sets of correlations larger than the quantum set
• Communication games reveal preparation contextuality
• Contextual advantage for state-dependent cloning
• Basic exclusivity graphs in quantum correlations
• Preparation contextuality as an essential feature underlying quantum communication advantage
• Quantum state-independent contextuality requires 13 rays
• Optimal quantum preparation contextuality in $n$-bit parity-oblivious multiplexing task
• Experimental quantum processing enhancement in modelling stochastic processes
• A hidden variable model for universal quantum computation with magic states on qubits
• Non-adaptive Measurement-based Quantum Computation and Multi-party Bell Inequalities
• Finite-precision measurement does not nullify the Kochen-Specker theorem
• Converting contextuality into nonlocality
• Proofs of the Kochen-Specker theorem based on a system of three qubits
• Entropic inequalities as a necessary and sufficient condition to noncontextuality and locality
• Contextuality as a resource for measurement-based quantum computation beyond qubits
• Robust preparation noncontextuality inequalities in the simplest scenario
• What does an experimental test of quantum contextuality prove or disprove?
• Noncontextual wirings
• Quantum Mechanics and Stochastic Mechanics for compatible observables at different times
• Nonlocality from local contextuality
• Leggett-Garg macrorealism and the quantum nondisturbance conditions
• What Quantum Measurements Measure
• Significant-loophole-free test of Kochen-Specker contextuality using two species of atomic-ions
• Multipartite entanglement generation and contextuality tests using non-destructive three-qubit parity measurements
• Bell inequalities for the simplest exclusivity graph
• Optimal classical simulation of state-independent quantum contextuality
• Axiomatic approach to contextuality and nonlocality
• Necessary and sufficient condition for contextuality from incompatibility
• Thermodynamical cost of some interpretations of quantum theory
• Proposed experiments of qutrit state-independent contextuality and two-qutrit contextuality-based nonlocality
• Structure of temporal correlations of a qubit
• From statistical proofs of the Kochen-Specker theorem to noise-robust noncontextuality inequalities
• Realization of a quantum random generator certified with the Kochen-Specker theorem
• Necessary and sufficient conditions for state-independent measurement contextual scenarios
• Classical Physics and the Bounds of Quantum Correlations
• Coloring the rational quantum sphere and the Kochen-Specker theorem
• State-independent quantum contextuality for continuous variables
• Stronger two-observer all-versus-nothing violation of local realism
• Proofs of the Kochen-Specker theorem based on the N-qubit Pauli group
• On small proofs of Bell-Kochen-Specker theorem for two, three and four qubits
• Minimal true-implies-false and true-implies-true sets of propositions in noncontextual hidden variable theories
• Bridging the gap between general probabilistic theories and the device-independent framework for nonlocality and contextuality
• Contextuality in phase space
• Deriving robust noncontextuality inequalities from algebraic proofs of the Kochen-Specker theorem: the Peres-Mermin square
• Experimental generalized contextuality with single-photon qubits
• Recursive proof of the Bell-Kochen-Specker theorem in any dimension $n>3$
• Bounding quantum contextuality with lack of third-order intereference
• Parity proofs of the Bell-Kochen-Specker theorem based on the 600-cell
• Quantum correlations from simple assumptions
• Limited preparation contextuality in quantum theory and its relation to the Cirel'son bound
• Simple explanation of the quantum limits of genuine $n$-body nonlocality
• Experimental Test of the Quantum Violation of the Noncontextuality Inequalities for the n-Cycle Scenario
• Existential Contextuality and the Models of Meyer, Kent and Clifton
• Minimal state-dependent proof of measurement contextuality for a qubit
• Parity proofs of the Kochen-Specker theorem based on 60 complex rays in four dimensions
• Proof of the Peres conjecture for contextuality
• Efficient classical simulation of the Deutsch-Jozsa and Simon's algorithms
• Experimental test of contextuality in quantum and classical systems
• Multigraph approach to quantum non-locality
• Staging quantum cryptography with chocolate balls
• Memory cost of temporal correlations
• Quantum theory allows for absolute maximal contextuality
• Spectra of phase point operators in odd prime dimensions and the extended Clifford group
• Probing the limits of correlations in an indivisible quantum system
• A Quantum Random Number Generator Certified by Value Indefiniteness
• A toy model for quantum mechanics
• Quantum contextuality in the Mermin-Peres square: A hidden variable perspective
• Experimentally Probing the Algorithmic Randomness and Incomputability of Quantum Randomness
• Parity proofs of the Kochen-Specker theorem based on the Lie algebra E8
• Maximal violation of Bell inequalities by position measurements
• Beyond the Cabello-Severini-Winter framework: Making sense of contextuality without sharpness of measurements
• General Bayesian theories and the emergence of the exclusivity principle
• Sequences of projective measurements in generalized probabilistic models
• Deriving Born's rule from an Inference to the Best Explanation
• Memory cost for simulating all quantum correlations of the Peres-Mermin scenario
• Randomness expansion secured by quantum contextuality
• Bell inequalities from variable elimination methods
• Contextual inferences, nonlocality, and the incompleteness of quantum mechanics
• Quantum Measurements and Contextuality
• Quantum theory realises all joint measurability graphs
• Probabilistic Generation of Quantum Contextual Sets
• Parity proofs of the Kochen-Specker theorem based on the 24 rays of Peres
• Macroscopic non-contextuality as a principle for Almost Quantum Correlations
• Tests against noncontextual models with measurement disturbances
• Noncontextuality Inequalities from Antidistinguishability
• A contextual extension of Spekkens' toy model
• Comment on "State-Independent Experimental Test of Quantum Contextuality in an Indivisible System"
• Indistinguishability of causal relations from limited marginals
• Bounding and simulating contextual correlations in quantum theory
• A comonadic view of simulation and quantum resources
• Fine's theorem, noncontextuality, and correlations in Specker's scenario
• The extension problem for partial Boolean structures in Quantum Mechanics
• Quantum Simulation Logic, Oracles, and the Quantum Advantage
• Neither Contextuality nor Nonlocality Admits Catalysts
• Temporal correlations in the simplest measurement sequences
• A proof of the Kochen-Specker theorem can always be converted to a state-independent noncontextuality inequality
• New variants of the Bell-Kochen-Specker theorem
• Testing noncontextuality inequalities that are building blocks of quantum correlations
• A geometric proof of the Kochen-Specker no-go theorem
• Ontological models, preparation contextuality and nonlocality
• Necessary Conditions for Extended Noncontextuality in General Sets of Random Variables
• Homer nodded: von Neumann's surprising oversight
• Reformulating noncontextuality inequalities in an operational approach
• Critical noncolorings of the 600-cell proving the Bell-Kochen-Specker theorem
• Coexistence of Kochen-Specker inequalities and noncontextuality inequalities
• Hypergraph framework for irreducible noncontextuality inequalities from logical proofs of the Kochen-Specker theorem
• Homotopical approach to quantum contextuality
• General conditions for maximal violation of non-contextuality in discrete and continuous variables
• New Class of 4-Dim Kochen-Specker Sets
• Simulating extremal temporal correlations
• Experimental entropic test of state-independent contextuality via single photons
• No-hidden-variables proof for two spin-1/2 particles preselected and postselected in unentangled states
• Ticking-clock performance enhanced by nonclassical temporal correlations
• Entropic tests of multipartite nonlocality and state-independent contextuality
• On monogamy of non-locality and macroscopic averages: examples and preliminary results
• Reliable computation from contextual correlations
• GHZ paradoxes based on an even number of qubits
• Classical systems can be contextual too: Analogue of the Mermin-Peres square
• Graph Approach to Extended Contextuality
• Primitive Nonclassical Structures of the $N$-qubit Pauli Group
• Contextuality and bundle diagrams
• The Minimum Complexity of Kochen-Specker Sets Does Not Scale with Dimension
• Isomorphism between the Peres and Penrose proofs of the BKS theorem in three dimensions
• Efficient contextual ontological model of $n$-qubit stabilizer quantum mechanics
• Exceptional and Non-crystallographic Root Systems and the Kochen-Specker Theorem
• Transmission and Reflection in a Double Potential Well: Doing it the Bohmian Way
• State-independent quantum contextuality with projectors of nonunit rank
• New Examples of Kochen-Specker Type Configurations on Three Qubits
• The problem of quantum correlations and the totalitarian principle
• State Independent Proof of Kochen-Specker Theorem with Thirty Rank-Two Projectors
• Kochen-Specker Sets with a Mixture of 16 Rank-1 and 14 Rank-2 Projectors for a Three-Qubit System
• Quantum correlations with a gap between the sequential and spatial cases
• Quantum contextuality for rational vectors
• Proceedings 13th International Conference on Quantum Physics and Logic

Cited by in corpus (116)

• Incompatible measurements in quantum information science
• Semidefinite programming relaxations for quantum correlations
• Catalysis of entanglement and other quantum resources
• Quantum contextuality provides communication complexity advantage
• Properties and Applications of the Kirkwood-Dirac Distribution
• No-go theorem based on incomplete information of Wigner about his friend
• Experimental certification of contextuality, coherence and dimension in a programmable universal photonic processor
• Leggett-Garg Macrorealism and temporal correlations
• Is there a finite complete set of monotones in any quantum resource theory?
• Quantum Contextuality
• Coherence and contextuality in a Mach-Zehnder interferometer
• Measuring incompatibility and clustering quantum observables with a quantum switch
• Inequalities witnessing coherence, nonlocality, and contextuality
• Energy-time and time-bin entanglement: past, present and future
• Contextuality, Coherences, and Quantum Cheshire Cats
• Contextuality as a Precondition for Quantum Entanglement
• Quantum space-time marginal problem: global causal structure from local causal information
• Bounding the joint numerical range of Pauli strings by graph parameters
• Certifying sets of quantum observables with any full-rank state
• Counterfactual restrictions and Bell's theorem
• Observation of Genuine High-dimensional Multi-partite Non-locality in Entangled Photon States
• Unitary Partitioning and the Contextual Subspace Variational Quantum Eigensolver
• Which features of quantum physics are not fundamentally quantum but are due to indeterminism?
• A robust approach for time-bin encoded photonic quantum information protocols
• Sufficient condition for universal quantum computation using bosonic circuits
• Experimental test of high-dimensional quantum contextuality based on contextuality concentration
• Universal resources for quantum computing
• Certifying Quantum Temporal Correlation via Randomized Measurements: Theory and Experiment
• Optimal and tight Bell inequalities for state-independent contextuality sets
• Simplest bipartite perfect quantum strategies
• Unveiling quantum steering by quantum-classical uncertainty complementarity
• Contextuality in anomalous heat flow
• Association between quantum paradoxes based on weak values and a realistic interpretation of quantum measurements
• Distributed quantum incompatibility
• Exponentially Enhanced Scheme for the Heralded Qudit GHZ State in Linear Optics
• Symmetric quantum states: a review of recent progress
• Quasiprobability fluctuation theorem behind the spread of quantum information
• Interplay of nonlocality and incompatibility breaking qubit channels
• Quantitative relations between different measurement contexts
• Self-testing of multiple unsharpness parameters through sequential violations of non-contextual inequality
• Contextuality witness inspired by optimal state discrimination
• Geometry of sets of Bargmann invariants
• Biased Random Access Codes
• New and improved bounds on the contextuality degree of multi-qubit configurations
• The simplest Kochen-Specker set
• Certifying nonstabilizerness in quantum processors
• Tracing quantum correlations back to collective interferences
• Binarisation of multi-outcome measurements in high-dimensional quantum correlation experiments
• Lifting noncontextuality inequalities
• Generalised Kochen-Specker Theorem for Finite Non-Deterministic Outcome Assignments
• Non-Kochen-Specker Contextuality
• A computational test of quantum contextuality, and even simpler proofs of quantumness
• Tsirelson inequalities: Detecting cheating and quantumness in a single framework
• Tight Bell inequalities from polytope slices
• Extended Wigner's friend paradoxes do not require nonlocal correlations
• Wigner and friends, a map is not the territory! Contextuality in multi-agent paradoxes
• Single and entangled atomic systems in thermal bath and the Fulling-Davies-Unruh effect
• Why quantum correlations are shocking
• Contextuality of Quantum Error-Correcting Codes
• Deterministic Underlying States are incompatible with a Counterfactual account of Lüders' rule
• Sufficiency of the counterfactual account of Lüders' rule to rule out ontological models of quantum mechanics
• Two fundamental solutions to the rigid Kochen-Specker set problem and the solution to the minimal Kochen-Specker set problem under one assumption
• Contextuality Can be Verified with Noncontextual Experiments
• All three-angle variants of Tsirelson's precession protocol, and improved bounds for wedge integrals of Wigner functions
• Connecting extended Wigner's friend arguments and noncontextuality
• Efficient Computation of Generalized Noncontextual Polytopes and Quantum violation of their Facet Inequalities
• Cost of Locally Approximating High-Dimensional Ground States of Contextual Quantum Models
• Even-parity precession protocol for detecting nonclassicality and entanglement
• Converting nonlocality into contextuality
• Contextuality with disturbance and without: Neither can violate substantive requirements the other satisfies
• Newton's laws of motion generating gravity-mediated entanglement
• Binary Quantum Random Number Generator Based on Value Indefinite Observables
• Contextual quantum metrology
• Relating CP divisibility of dynamical maps with compatibility of channels
• Quantum contextuality of complementary photon polarizations explored by adaptive input state control
• The quantum maxima for the basic graphs of exclusivity are not reachable in Bell scenarios
• Optimisation of time-ordered processes in the finite and asymptotic regime
• Characterizing high-dimensional quantum contextuality
• Reexamination of the Kochen-Specker theorem: Relaxation of the completeness assumption
• Exploring the boundary of quantum correlations with a time-domain optical processor
• Trade-off relations between Bell nonlocality and local Kochen-Specker contextuality in generalized Bell scenarios
• Contextuality-enhanced quantum state discrimination under fixed failure probability
• Nonclassicality of induced coherence witnessed by contextuality
• Detecting quantum resources in a semi-device independent framework
• Atom graph, partial Boolean algebra and quantum contextuality
• Generation of Kochen-Specker contextual sets in higher dimensions by dimensional upscaling whose complexity does not scale with dimension and their applications
• An abstract structure determines the contextuality degree of observable-based Kochen-Specker proofs
• How contextuality and antidistinguishability are related
• Unexpected consequences of Post-Quantum theories in the graph-theoretical approach to correlations
• States Violating Both Locality and Noncontextuality Inequalities in Quantum Theory
• Quantum Contextual Hypergraphs, Operators, Inequalities, and Applications in Higher Dimensions
• Probing Kirkwood-Dirac nonpositivity and its operational implications via moments
• Quantitative comparison of quantum pseudo-telepathy games and Bell inequalities
• Contextual advantages across two-state discrimination strategies
• Insights into Quantum Contextuality and Bell Nonclassicality: A Study on Random Pure Two-Qubit Systems
• Form of Contextuality Predicting Probabilistic Equivalence between Two Sets of Three Mutually Noncommuting Observables
• Hexagons govern three-qubit contextuality
• Classical Invasive Description of Informationally-Complete Quantum Processes
• An Entanglement Monotone from the Contextual Fraction
• Probe of Generic Quantum Contextuality and Nonlocal Resources for Qubits
• Decoupling local classicality from classical explainability: A noncontextual model for bilocal classical theory and a locally-classical but contextual theory
• Noncontextual Pauli Hamiltonians
• Quantum contextuality from measurement invasiveness
• Exploring Quantum Contextuality with the Quantum Moebius-Escher-Penrose hypergraph
• Bayesianism, Conditional Probability and Laplace Law of Succession in Quantum Mechanics
• Convexity of noncontextual wirings and how they order the set of correlations
• Contextuality from the vacuum
• Degrees, Levels, and Profiles of Contextuality
• Contextuality, superlocality and nonclassicality of supernoncontextuality
• Limits of Absoluteness of Observed Events in Timelike Scenarios: A No-Go Theorem
• Theory-Independent Context Incompatibility: Quantification and Experimental Demonstration
• Bell Meets General Philosophers of Science : Reassessing Measurement Independence
• Device-independent secure correlations in sequential quantum scenarios
• Wave-particle duality in the measurement of gravitational radiation
• The Contextual Heisenberg Microscope
• Uncertainty-disturbance relations and applications