Coming full circle -- A unified framework for Kochen-Specker contextuality

TL;DR

This work develops a unified algebraic framework for Kochen-Specker contextuality based on observable algebras and context connections, connecting original KS ideas to marginal and graph-theoretic approaches. It proves a complete characterisation: KS noncontextuality is equivalent to the existence of flat context connections on maximal extensions that satisfy triviality along context cycles, and it reframes KS contextuality as a colouring problem related to the chromatic number of associated graphs. The authors clarify precise relationships among algebraic KS contextuality, marginal noncontextuality, and graph-theoretic SI-C concepts (including Vorob'ev-type acyclicity results and SI-C graph/sets), and show how these perspectives inform practical identification of contextuality in finite-dimensional quantum systems. They also provide a positive resolution to a conjecture linking state-independent contextuality to chromatic properties of faithful completions, thus advancing the understanding of contextuality as a resource for quantum computation and information processing.

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, when 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 mathematics of contextuality has remained somewhat elusive - different frameworks address different aspects of the phenomenon, yet their precise relationship often is unclear. In fact, there is a glaring discrepancy already between the original notion of contextuality introduced by Kochen and Specker on the one side [J. Math. Mech., 17, 59, (1967)], and the modern approach of studying contextual correlations on the other [Rev. Mod. Phys., 94, 045007 (2022)]. In a companion paper [arXiv:2408.16764], we introduce the conceptually new tool called ``context connections'', which allows to cast and analyse Kochen-Specker (KS) contextuality in new form. Here, we generalise this notion, and based on it prove a complete characterisation of KS contextuality for finite-dimensional systems. To this end, we develop the framework of ``observable algebras". We show in detail how this framework subsumes the marginal and graph-theoretic approaches to contextuality, and thus that it offers a unified perspective on KS contextuality. In particular, we establish the precise relationships between the various notions of ``contextuality" used in the respective settings, and in doing so, generalise a number of results on the characterisation of the respective notions in the literature.

Figures (6)

• Figure 1: Schematic of a context connection $\mathfrak{l} = (l_{C'C})_{C,C' \in {{\mathcal{C}}_\mathrm{max}({\mathcal{O}})}}$ (reprinted from Ref. Frembs2024a). Context connections preserve elements in subcontexts: $l_{C'C}|_{\mathcal{P}_1(C\cap C')} = \mathrm{id}$ for all maximal contexts $C,C' \in {{\mathcal{C}}_\mathrm{max}({\mathcal{O}})}$.
• Figure 2: Schematic of (black) a context cycle $\gamma = (C_0,\cdots,C_{n-1})$, with $C_i \in {{\mathcal{C}}_\mathrm{max}({\mathcal{O}})}$ and $C_{(i+1)\cap i} = C_{i+1} \cap C_i$ for all $i \in \mathbb Z_n$, and (blue) elements of a context connection $\mathfrak{l}$ (reprinted from Ref. Frembs2024a).
• Figure 3: The CHSH scenario CHSH1969 admits a classical embedding (a), hence, is Kochen-Specker noncontextual, while also exhibiting nonclassical correlations e.g. in the form of entangled states and more general non-signalling correlations (b).
• Figure 4: Under the classical embedding $\epsilon:{\mathcal{O}}\rightarrow L_\infty(\Lambda)$, every observable $O\in{\mathcal{O}}$ induces a decomposition $\Lambda=\dot\cup_{\sigma\in\mathrm{sp}(O)} \Lambda^O_\sigma$. Viewing $O:\Sigma_C\rightarrow\mathbb R$ with $C=C(O)$ as a random variable, we can thus define surjective maps $\varepsilon_O:\Lambda\rightarrow\Sigma_O$ by $\Lambda^O_\sigma\ni\lambda\mapsto\hat{\sigma}\in\Sigma_O$ such that $\epsilon$ factorises as $\epsilon(O)=O\circ\varepsilon_O$ for all $O\in{\mathcal{O}}$.
• Figure 5: Orthogonality graphs (a) $G_\mathrm{YO}$ of 13 three-dimensional vectors in Eq. (\ref{['eq: 13 vectors']}) (taken from Ref. YuOh2012), and (b) $G'_\mathrm{YO}$ of the 15 vectors obtained by replacing $h_0$ with $x_{10}$, $x_{20}$ and $x_{30}$. Both graphs share the same completion $\overline{\pi(V_\mathrm{YO})}=\langle\pi(V_\mathrm{YO}),\mathbbm{1}\rangle=\langle\pi(V'_\mathrm{YO}),\mathbbm{1}\rangle=\overline{\pi(V'_\mathrm{YO})}$, yet $\chi(G_\mathrm{YO})=4$ while $\chi(G'_\mathrm{YO})=3$.

Theorems & Definitions (123)

• Definition 1
• Definition 2
• Definition 3
• Definition 4
• Definition 5
• Definition 6
• Definition 7
• Lemma 1
• proof
• Definition 8