The purpose of this note is to clarify the logical relationship between joint measurability and contextuality for quantum observables in view of recent developments [1-4].
We generalize the Abramsky--Brandenburger sheaf-theoretic treatment of contextuality by replacing probability distributions with distributions valued in a convex effect algebra A. This yields a notion of A-valued measurement model encompassing probabilistic, deterministic, and quantum measurement structures within a single framework.
States σ:A→[0,1] induce ordinary empirical models, allowing observable behaviour to be viewed as arising from effect-valued measurement data. This leads to a distinction between internal contextuality of A-models and observable contextuality after state evaluation. We analyze the relationship between these notions and identify coherence conditions under which observable classical explanations assemble into internal ones.
Using the ordered-vector-space representation of effect modules, we show that non-contextuality is characterized by feasibility of an associated cone program, generalizing the linear-programming formulation of contextuality in the probabilistic case. We also introduce an effect-valued contextual fraction and study its relation to observable contextuality witnesses. We show how cone duality leads to a notion of Bell witnesses for contextuality as a direct generalization of Bell inequalities.
Finally, we analyze sharp realizability and uniform dilation for measurement models, clarifying the relationship between general POVMs and projective measurements, and show how resource-indexed effect structures induce graded monads generalizing the quantum monad.
We give an overview of joint unsharp measurements
of non-commuting observables using positive operator
valued measures (POVMs). We exemplify the role
played by joint measurability of POVMs in entropic
uncertainty relation for Alice’s pair of non-commuting
observables in the presence of Bob’s entangled quantum
memory. We show that Bob should record the
outcomes of incompatible (non-jointly measurable)
POVMs in his quantum memory so as to beat the entropic
uncertainty bound. In other words, in addition
to the presence of entangled Alice–Bob state, implementing
incompatible POVMs at Bob’s end is necessary
to beat the uncertainty bound and hence predict
the outcomes of non-commuting observables with
improved precision. We also explore the implications
of joint measurability to validate a moment matrix
constructed from average pairwise correlations of
three dichotomic non-commuting qubit observables.
We prove that a classically acceptable moment matrix
– which ascertains the existence of a legitimate
joint probability distribution for the outcomes of all
the three dichotomic observables – could be realized if
and only if compatible POVMs are employed.
We give an overview of joint unsharp measurements of non-commuting observables using positive operator valued measures (POVMs). We exemplify the role played by joint measurability of POVMs in entropic uncertainty relation for Alice's pair of non-commuting observables in the presence of Bob's entangled quantum memory. We show that Bob should record the outcomes of incompatible (non-jointly measurable) POVMs in his quantum memory so as to beat the entropic uncertainty bound. In other words, in addition to the presence of entangled Alice-Bob state, implementing incompatible POVMs at Bob's end is necessary to beat the uncertainty bound and hence, predict the outcomes of non-commuting observables with improved precision. We also explore the implications of joint measurability to {\em validate} a moment matrix constructed from average pairwise correlations of three dichotomic non-commuting qubit observables. We prove that a classically acceptable moment matrix -- which ascertains the existence of a legitimate joint probability distribution for the outcomes of all the three dichotomic observables -- could be realized if and only if compatible POVMs are employed.