Contextuality from the Projector Overlap Matrix
Abstract
We place several known indicators of Kochen--Specker contextuality -- the KCBS correlator , the contextual fraction , 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 ij = d-1[( Pi Qj)2], where Pi and Qj are the joint-eigenspace projectors of the two compatible observable pairs within a measurement context. The state-independent scalar content of is carried by two independent contractions: the mutual information energy E = Σijij of Paper~I (equivalently, its logarithmic form S2 = -2 E), and the Maassen--Uffink extremal overlap c = i,j| ai,bi | cj,bj|. We prove that S2 is non-increasing under coarse-graining, that S2() > 0 is a necessary configuration-level condition for observable contextuality, and that the additive composition S2() = Σα S2(α) is exact for the KCBS pentagon. We further show that in the spin-1 realization of the KCBS pentagon, a shared ms=0 eigenstate in each context forces c = 1, rendering every Maassen--Uffink-type bound trivial -- a structural mechanism that makes explicit why outcome-entropic uncertainty relations based on c are silent on KCBS contextuality, while S2 ≈ 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() > 0 by an amount set by the projector geometry alone.
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.