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.

On a contextual model refuting Bell's theorem

Kupczynski's Contextual Locally Causal Probabilistic Models are constrained by Bell's theorem

Contextuality-by-Default description of Bell tests: Contextuality as the rule not as an exception

Generalized Bell scenarios: disturbing consequences on local-hidden-variable models

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

Ontological models and the interpretation of contextuality

Contextuality or nonlocality; what would John Bell choose today?

Non-Viability of a Counter-Argument to Bell's Theorem

Against Bell's Theorem

Bell's Theorem Begs the Question

The Scope and Generality of Bell's Theorem

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

Logical Inconsistencies in Proofs of the Theorem of Bell

On Removing the Classical-Quantum Boundary

Bell's Theorem Versus Local Realism in a Quaternionic Model of Physical Space

An algebraic characterisation of Kochen-Specker contextuality

Disproof of Bell's Theorem by Clifford Algebra Valued Local Variables

Experimental Test of Quantum Nonlocality from Contextuality

A structure theorem for generalized-noncontextual ontological models

Insights into Quantum Contextuality and Bell Nonclassicality: A Study on Random Pure Two-Qubit Systems