Abstract:Contextuality is a key distinguishing feature between classical and quantum physics. It expresses a fundamental obstruction to describing quantum theory using classical concepts. In turn, understood as a resource for quantum computation, it is expected to hold the key to quantum advantage. Yet, despite its long recognised importance in quantum foundations and, more recently, in quantum computation, the structural essence of contextuality has remained somewhat elusive - different frameworks address different aspects of the phenomenon, yet their precise relationship often remains unclear. This issue already looms large at the level of the Bell-Kochen-Specker theorem: while traditional proofs proceed by showing the nonexistence of valuations, the notion of state-independent contextuality in the marginal approach allows to prove contextuality from seemingly weaker assumptions. In the light of this, and at the absence of a unified mathematical framework for Kochen-Specker contextuality, the original algebraic approach has been widely abandoned, in favour of the study of contextual correlations. Here, we reinstate the algebraic perspective on contextuality. Concretely, by building on the novel concept of context connections, we reformulate the algebraic relations between observables originally postulated by Kochen and Specker, and we explicitly demonstrate their consistency with the notion of state-independent contextuality. In the present paper, we focus on the new conceptual ideas and discuss them in the concrete setting of spin-1 observables, specifically those in the example of [S. Yu and C.H. Oh, Phys. Rev. Lett., 108, 030402 (2012)]; in a companion paper, we generalise these ideas, obtain a complete characterisation of Kochen-Specker contextuality and provide a detailed comparison with the related notions of contextuality in the marginal and graph-theoretic approach.

Construction of State-independent Proofs for Quantum Contextuality

State-Independent Proof of Kochen-Specker Theorem with 13 Rays

A Proof of the Kochen–Specker Theorem Can Always Be Converted to a State-Independent Noncontextuality Inequality

Optical Scheme to Demonstrate State-Independent Quantum Contextuality

Event-based quantum contextuality theory

Verification of Kochen-Specker-type quantum contextuality with a single photon

Testing Quantum Contextuality With Macroscopic Superconducting Circuits

Stronger Hardy-like Proof of Quantum Contextuality

Stronger Quantum Contextuality

A computational test of quantum contextuality, and even simpler proofs of quantumness

An abstract structure determines the contextuality degree of observable-based Kochen-Specker proofs

An algebraic characterisation of Kochen-Specker contextuality

Experimental Test of Compatibility-Loophole-Free Contextuality with Spatially Separated Entangled Qutrits.

Simultaneous All-versus-Nothing Refutation of Local Realism and Noncontextuality by a Single System

State independent contextuality advances one-way communication

Minimal Kochen-Specker Theorem in Finite Dimensions

Testing the Kochen-Specker theorem with Josephson qubits

Optimal Measurement Structures for Contextuality Applications

State-independent Test of Quantum Contextuality with Either Single Photons or Coherent Light

State-independent all-versus-nothing arguments

State-independent Experimental Tests of Quantum Contextuality in a Three Dimensional System