Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2604.23898

Contextuality from the Projector Overlap Matrix

Ali Can Günhan, Semahi Serhat Aksoy, Zafer Gedik

quant-phSubmitted Apr 26, 2026• Announced Apr 28, 2026• 0 citations
v1 · Apr 26, 2026v2 · Apr 29, 2026
arXivHTMLPDF

Abstract

We place several known indicators of Kochen--Specker contextuality -- the KCBS correlator $χ$, the contextual fraction $\CF$, the Shannon-entropic $n$-cycle inequality of Chaves and Fritz, and the operational commutator witness $D$ of Paper~I -- into a single projector-geometric framework organized around the overlap matrix $\Tcal_{ij} = d^{-1}\tr[(\hat P_i \hat Q_j)^2]$, where $\hat P_i$ and $\hat Q_j$ are the joint-eigenspace projectors of the two compatible observable pairs within a measurement context. The state-independent scalar content of $\Tcal$ is carried by two independent contractions: the mutual information energy $E = \sum_{ij}\Tcal_{ij}$ of Paper~I (equivalently, its logarithmic form $S_2 = -\log_2 E$), and the Maassen--Uffink extremal overlap $c_\MU = \max_{i,j}|\langle a_i,b_i | c_j,b_j\rangle|$. We prove that $S_2$ is non-increasing under coarse-graining, that $S_2(\Gcal) = 0$ is a necessary configuration-level condition for observable contextuality, and that the additive composition $S_2(\Gcal) = \sum_αS_2(\Gcal_α)$ is exact for the KCBS pentagon. We further show that in the spin-$1$ realization of the KCBS pentagon, a shared $m_s=0$ eigenstate in each context forces $c_\MU = 1$, rendering every Maassen--Uffink-type bound trivial -- a structural mechanism that makes explicit why outcome-entropic uncertainty relations based on $c_\MU$ are silent on KCBS contextuality, while $S_2 \approx 2.7266$~bits throughout. Applied to KCBS and CHSH, the framework identifies regimes in which every state-dependent witness considered here is silent yet $S_2(\Gcal) > 0$ by an amount set by the projector geometry alone.

Comments
11 pages, 2 figures, 3 tables; Supplemental Material: 8 pages. Submitted to Phys. Rev. A. Companion paper: arXiv:2512.11049 (accepted, J. Phys. A)

Related papers

Contextuality from the projector overlap matrix

Ali Can Günhan, Semahi Serhat Aksoy, Z. Gedik

Abstract We develop a geometric formulation of quantum contextuality organized around the overlap matrix T i j = d − 1 Tr ⁡ [ ( P ^ i Q ^ j ) 2 ] in a d -dimensional Hilbert space, where P ^ i and Q ^ j are the joint-eigenspace projectors of two pairs of compatible observables sharing a common observable. The matrix T quantifies the information shared between these joint-eigenspaces. Rather than characterizing contextuality through outcome statistics alone, this formulation analyzes the geometric incompatibility encoded in T . Two distinct scalar contractions of T summarize this geometric content: the mutual information energy E = ∑ i j T i j , and the Maassen–Uffink parameter c MU , the largest amplitude overlap between vectors from the two joint eigenbases. We work with the logarithmic form S 2 = − log ⁡ E (the subscript indicates Rényi order

Journal of Physics A Mathematical and Theoretical•Jul 23, 2026•0 citations

Information-Theoretic and Operational Measures of Quantum Contextuality

Ali Can Günhan, Zafer Gedik

We propose an information -- theoretic framework for quantifying Kochen-Specker contextuality. Two complementary measures are introduced: the mutual information energy, a state-independent quantity inspired by Onicescu's information energy that captures the geometric overlap between joint eigenspaces within a context; and an operational measure based on commutator expectation values that reflects contextual behavior at the level of measurement outcomes. We establish a hierarchy of bounds connecting these measures to the Robertson uncertainty relation, including spectral, purity-corrected, and operator norm estimates. The framework is applied to the Klyachko-Can-Binicioğlu-Shumovsky (KCBS) scenario for spin-1 systems, where all quantities admit closed-form expressions. The Majorana-stellar representation furnishes a common geometric platform on which both the operational measure and the uncertainty products can be analyzed. For spin-1, this representation yields a three-dimensional Euclidean-like visualization of the Hilbert space in which, states lying on a plane exhibit maximum uncertainty for the observable along the perpendicular direction; simultaneous optimization across all KCBS contexts singles out a unique state on the symmetry axis. Notably, states achieving the optimal sum of uncertainty products exhibit vanishing operational contextuality, while states with substantial operational contextuality satisfy a nontrivial Robertson bound -- the two extremes are achieved by distinct quantum states.

quant-pharXiv:2512.11049•Journal of Physics A Mathematical and Theoretical•Dec 15, 2025•0 citations

Hypergraph framework for irreducible noncontextuality inequalities from logical proofs of the Kochen-Specker theorem

Ravi Kunjwal

Kochen-Specker (KS) theorem reveals the inconsistency between quantum theory and any putative underlying model of it satisfying the constraint of KS-noncontextuality. A logical proof of the KS theorem is one that relies only on the compatibility relations amongst a set of projectors (a KS set) to witness this inconsistency. These compatibility relations can be represented by a hypergraph, referred to as a contextuality scenario. Here we consider contextuality scenarios that we term KS-uncolourable, e.g., those which appear in logical proofs of the KS theorem. We introduce a hypergraph framework to obtain noise-robust witnesses of contextuality from such scenarios. Our approach builds on the results of R. Kunjwal and R. W. Spekkens, Phys. Rev. Lett. 115, 110403 (2015), by providing new insights into the relationship between the structure of a contextuality scenario and the associated noise-robust noncontextuality inequalities that witness contextuality. The present work also forms a necessary counterpart to the framework presented in R. Kunjwal, Quantum 3, 184 (2019), which only applies to KS-colourable contextuality scenarios, i.e., those which do not admit logical proofs of the KS theorem but do admit statistical proofs. We rely on a single hypergraph invariant, defined in R. Kunjwal, Quantum 3, 184 (2019), that appears in our contextuality witnesses, namely, the weighted max-predictability. The present work can also be viewed as a study of this invariant. Significantly, unlike the case of R. Kunjwal, Quantum 3, 184 (2019), none of the graph invariants from the graph-theoretic framework for KS-contextuality due to Cabello, Severini, and Winter (the ``CSW framework", Phys. Rev. Lett. 112, 040401 (2014)) are relevant for our noise-robust noncontextuality inequalities.

arXiv:1805.02083•Quantum•Jan 10, 2020•14 citations

Global Kochen-Specker Contextuality Without Local Contextuality and Generalized Bell Nonlocality

Ming Yang

A set of quantum data can look classical in every local test and still fail to admit a single classical explanation of the whole composite system. We formulate this failure as global contextuality. Here global means global in the physical sense of the whole multipartite system, not the local/global terminology of sheaf theory. Each party's local statistics are noncontextual and each measured multipartite context admits a generalized local hidden-variable description, but the GLHV block descriptions cannot be promoted to a single noncontextual hidden-variable model for the whole system. Three bipartite constructions exhibit this separation. A polarization-path construction gives a direct global obstruction. A qubit-qutrit KCBS construction gives an algebraic scenario-level example, with explicit formulas for the unconditional KCBS operator, the correlation-polytope constraints, and the postselected violation. A flagged qutrit Werner-local state gives a state-level example: the state is entangled and local for all projective measurements, its local qutrit marginals do not violate KCBS, yet postselection rules out a single GNCHV model. We also spell out the classical composition lemma: classical conditional hidden variables can be absorbed into a larger hidden variable, whereas quantum contextual data need not allow such a factorization. Within the general Bell-type framework considered here, with arbitrary parties and arbitrary local compatible contexts, but no cross-party joint measurements, the absence of local contextuality and GLHV-type generalized Bell nonlocality does not imply the existence of a global noncontextual hidden-variable model. Global contextuality is thus a compositional obstruction to classical explanation.

quant-pharXiv:2605.28702•May 28, 2026•0 citations

Event-based quantum contextuality theory

Songyi Liu, Yongjun Wang, Baoshan Wang +1 more

Fully revealing the mathmatical structure of quantum contextuality is a significant task, while some known contextuality theories are only applicable for rank-1 projectors. That is because they adopt the observable-based definitions. This paper overcomes the challenges faced by some known contextuality theories by establishing an event-based contextuality theory with exclusive partial Boolean algebra, which is used to describe the contextual systems with local consistency and exclusivity principle. Our theory provides a precise mathematical framework for quantum contextuality, which can handle the scenarios composed of general projectors, and introduces a more complete contextuality hierarchy. We conclude that the Kochen-Specker contextuality is equivalent to the state-independent strong contextuality for finite dimensional quantum systems. Therefore, when considering both the strength and proportion of contextual quantum states, Kochen-Specker contextuality is the strongest.

arXiv:2410.15790•Oct 21, 2024•0 citations

An algebraic characterisation of Kochen-Specker contextuality

Markus Frembs

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.

arXiv:2408.16764•Aug 29, 2024•1 citation
We place several known indicators of Kochen--Specker contextuality -- the KCBS correlator χχχ, the contextual fraction \CF\CF\CF, the Shannon-entropic nnn-cycle inequality of Chaves and Fritz, and the operational commutator witness DDD of PaperI -- into a single projector-geometric framework organized around the overlap matrix \Tcalij=d−1\tr[(P^iQ^j)2]\Tcal_{ij} = d^{-1}\tr[(\hat P_i \hat Q_j)^2]\Tcalij​=d−1\tr[(P^i​Q^​j​)2], where P^i\hat P_iP^i​ and Q^j\hat Q_jQ^​j​ are the joint-eigenspace projectors of the two compatible observable pairs within a measurement context. The state-independent scalar content of \Tcal\Tcal\Tcal is carried by two independent contractions: the mutual information energy E=∑ij\TcalijE = \sum_{ij}\Tcal_{ij}E=∑ij​\Tcalij​ of PaperI (equivalently, its logarithmic form S2=−log⁡2ES_2 = -\log_2 ES2​=−log2​E), and the Maassen--Uffink extremal overlap c\MU=max⁡i,j∣⟨ai,bi∣cj,bj⟩∣c_\MU = \max_{i,j}|\langle a_i,b_i | c_j,b_j\rangle|c\MU​=maxi,j​∣⟨ai​,bi​∣cj​,bj​⟩∣. We prove that S2S_2S2​ is non-increasing under coarse-graining, that S2(\Gcal)=0S_2(\Gcal) = 0S2​(\Gcal)=0 is a necessary configuration-level condition for observable contextuality, and that the additive composition S2(\Gcal)=∑αS2(\Gcalα)S_2(\Gcal) = \sum_αS_2(\Gcal_α)S2​(\Gcal)=∑α​S2​(\Gcalα​) is exact for the KCBS pentagon. We further show that in the spin-111 realization of the KCBS pentagon, a shared ms=0m_s=0ms​=0 eigenstate in each context forces c\MU=1c_\MU = 1c\MU​=1, rendering every Maassen--Uffink-type bound trivial -- a structural mechanism that makes explicit why outcome-entropic uncertainty relations based on c\MUc_\MUc\MU​ are silent on KCBS contextuality, while S2≈2.7266S_2 \approx 2.7266S2​≈2.7266~bits throughout. Applied to KCBS and CHSH, the framework identifies regimes in which every state-dependent witness considered here is silent yet S2(\Gcal)>0S_2(\Gcal) > 0S2​(\Gcal)>0 by an amount set by the projector geometry alone.
Abstract We develop a geometric formulation of quantum contextuality organized around the overlap matrix T i j = d − 1 Tr ⁡ [ ( P ^ i Q ^ j ) 2 ] in a d -dimensional Hilbert space, where P ^ i and Q ^ j are the joint-eigenspace projectors of two pairs of compatible observables sharing a common observable. The matrix T quantifies the information shared between these joint-eigenspaces. Rather than characterizing contextuality through outcome statistics alone, this formulation analyzes the geometric incompatibility encoded in T . Two distinct scalar contractions of T summarize this geometric content: the mutual information energy E = ∑ i j T i j , and the Maassen–Uffink parameter c MU , the largest amplitude overlap between vectors from the two joint eigenbases. We work with the logarithmic form S 2 = − log ⁡ E (the subscript indicates Rényi order
We propose an information -- theoretic framework for quantifying Kochen-Specker contextuality. Two complementary measures are introduced: the mutual information energy, a state-independent quantity inspired by Onicescu's information energy that captures the geometric overlap between joint eigenspaces within a context; and an operational measure based on commutator expectation values that reflects contextual behavior at the level of measurement outcomes. We establish a hierarchy of bounds connecting these measures to the Robertson uncertainty relation, including spectral, purity-corrected, and operator norm estimates. The framework is applied to the Klyachko-Can-Binicioğlu-Shumovsky (KCBS) scenario for spin-1 systems, where all quantities admit closed-form expressions. The Majorana-stellar representation furnishes a common geometric platform on which both the operational measure and the uncertainty products can be analyzed. For spin-1, this representation yields a three-dimensional Euclidean-like visualization of the Hilbert space in which, states lying on a plane exhibit maximum uncertainty for the observable along the perpendicular direction; simultaneous optimization across all KCBS contexts singles out a unique state on the symmetry axis. Notably, states achieving the optimal sum of uncertainty products exhibit vanishing operational contextuality, while states with substantial operational contextuality satisfy a nontrivial Robertson bound -- the two extremes are achieved by distinct quantum states.
Kochen-Specker (KS) theorem reveals the inconsistency between quantum theory and any putative underlying model of it satisfying the constraint of KS-noncontextuality. A logical proof of the KS theorem is one that relies only on the compatibility relations amongst a set of projectors (a KS set) to witness this inconsistency. These compatibility relations can be represented by a hypergraph, referred to as a contextuality scenario. Here we consider contextuality scenarios that we term KS-uncolourable, e.g., those which appear in logical proofs of the KS theorem. We introduce a hypergraph framework to obtain noise-robust witnesses of contextuality from such scenarios. Our approach builds on the results of R. Kunjwal and R. W. Spekkens, Phys. Rev. Lett. 115, 110403 (2015), by providing new insights into the relationship between the structure of a contextuality scenario and the associated noise-robust noncontextuality inequalities that witness contextuality. The present work also forms a necessary counterpart to the framework presented in R. Kunjwal, Quantum 3, 184 (2019), which only applies to KS-colourable contextuality scenarios, i.e., those which do not admit logical proofs of the KS theorem but do admit statistical proofs. We rely on a single hypergraph invariant, defined in R. Kunjwal, Quantum 3, 184 (2019), that appears in our contextuality witnesses, namely, the weighted max-predictability. The present work can also be viewed as a study of this invariant. Significantly, unlike the case of R. Kunjwal, Quantum 3, 184 (2019), none of the graph invariants from the graph-theoretic framework for KS-contextuality due to Cabello, Severini, and Winter (the ``CSW framework", Phys. Rev. Lett. 112, 040401 (2014)) are relevant for our noise-robust noncontextuality inequalities.
A set of quantum data can look classical in every local test and still fail to admit a single classical explanation of the whole composite system. We formulate this failure as global contextuality. Here global means global in the physical sense of the whole multipartite system, not the local/global terminology of sheaf theory. Each party's local statistics are noncontextual and each measured multipartite context admits a generalized local hidden-variable description, but the GLHV block descriptions cannot be promoted to a single noncontextual hidden-variable model for the whole system. Three bipartite constructions exhibit this separation. A polarization-path construction gives a direct global obstruction. A qubit-qutrit KCBS construction gives an algebraic scenario-level example, with explicit formulas for the unconditional KCBS operator, the correlation-polytope constraints, and the postselected violation. A flagged qutrit Werner-local state gives a state-level example: the state is entangled and local for all projective measurements, its local qutrit marginals do not violate KCBS, yet postselection rules out a single GNCHV model. We also spell out the classical composition lemma: classical conditional hidden variables can be absorbed into a larger hidden variable, whereas quantum contextual data need not allow such a factorization. Within the general Bell-type framework considered here, with arbitrary parties and arbitrary local compatible contexts, but no cross-party joint measurements, the absence of local contextuality and GLHV-type generalized Bell nonlocality does not imply the existence of a global noncontextual hidden-variable model. Global contextuality is thus a compositional obstruction to classical explanation.
Fully revealing the mathmatical structure of quantum contextuality is a significant task, while some known contextuality theories are only applicable for rank-1 projectors. That is because they adopt the observable-based definitions. This paper overcomes the challenges faced by some known contextuality theories by establishing an event-based contextuality theory with exclusive partial Boolean algebra, which is used to describe the contextual systems with local consistency and exclusivity principle. Our theory provides a precise mathematical framework for quantum contextuality, which can handle the scenarios composed of general projectors, and introduces a more complete contextuality hierarchy. We conclude that the Kochen-Specker contextuality is equivalent to the state-independent strong contextuality for finite dimensional quantum systems. Therefore, when considering both the strength and proportion of contextual quantum states, Kochen-Specker contextuality is the strongest.
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.