The existence of incompatible measurements is often believed to be a feature of quantum theory which signals its inconsistency with any classical worldview. To prove the failure of classicality in the sense of Kochen-Specker noncontextuality, one does indeed require sets of incompatible measurements. However, a more broadly applicable notion of classicality is the existence of a generalized-noncontextual ontological model. In particular, this notion can imply constraints on the representation of outcomes even within a single nonprojective measurement. We leverage this fact to demonstrate that measurement incompatibility is neither necessary nor sufficient for proofs of the failure of generalized noncontextuality. Furthermore, we show that every proof of the failure of generalized noncontextuality in a quantum prepare-measure scenario can be converted into a proof of the failure of generalized noncontextuality in a corresponding scenario with no incompatible measurements.
Measurement incompatibility is necessary but not sufficient for violation of a Bell inequality. The structure of (in)compatibility relations among a set of measurements can be represented by a joint measurability structure, i.e., a hypergraph with its vertices representing measurements and its hyperedges representing all (and only) compatible sets of measurements. We show that for any joint measurability structure that admits at least a pair of incompatible vertices (i.e., a non-trivial joint measurability structure), there exists a quantum realization with a set of measurements that enables a Bell violation. In other words, we identify, for any joint measurability structure, an incompatible set of measurements that is sufficient for a Bell violation.
Contextuality is one way of capturing the nonclassicality of quantum theory.The contextual nature of a theory is often witnessed via the violation of noncontextuality inequalities-certain linear inequalities involving probabilities of measurement events.Using the exclusivity graph approach (one of the two main graph theoretic approaches for studying contextuality), it was shown [Cabello et al.Phys. Rev. A 88, 032104 (2013); Chudnovsky et al.Ann. Math. 164, 51 (2006)] that a necessary and sufficient condition for witnessing contextuality is the presence of an odd number of events (greater than three) which are either cyclically or anticyclically exclusive.Thus, the noncontextuality inequalities the underlying exclusivity structure of which is as stated, either cyclic or anticyclic, are fundamental to quantum theory.We show that there is a unique noncontextuality inequality for each nontrivial cycle and anticycle.In addition to the foundational interest, we expect this to aid the understanding of contextuality as a resource to quantum computing and its applications to local self-testing.
The problem of identifying measurement scenarios capable of revealing state-independent contextuality in a given Hilbert space dimension is considered. We begin by showing that for any given dimension d and any measurement scenario consisting of projective measurements, (i) the measure of contextuality of a quantum state is entirely determined by its spectrum, so that pure and maximally mixed states represent the two extremes of contextual behavior, and that (ii) state-independent contextuality is equivalent to the contextuality of the maximally mixed state up to a global unitary transformation. We then derive a necessary and sufficient condition for a measurement scenario represented by an orthogonality graph to reveal state-independent contextuality. This condition is given in terms of the fractional chromatic number of the graph χf(G) and is shown to identify all state-independent contextual measurement scenarios including those that go beyond the original Kochen-Specker paradigm.
Measurement incompatibility--the impossibility of jointly measuring certain quantum observables--is a fundamental resource for quantum information processing. We develop a graph-theoretic framework for quantifying this resource for large families of binary measurements, including Pauli observables on multi-qubit systems and
k-body Majorana observables on
n-mode fermionic systems. To each set of observables we associate an anti-commutativity graph, whose vertices represent observables and whose edges indicate pairs that anti-commute. In this representation, the incompatibility robustness--the minimal amount of classical noise required to render the set jointly measurable--becomes a graph invariant. We derive general bounds on this invariant in terms of the Lovász number, clique number, and fractional chromatic number, and show that the Lovász number yields the correct asymptotic scaling for
k-body Majorana observables. For line graphs
L(G), which naturally arise in the characterisation of exactly solvable spin models, we obtain spectral bounds on the robustness expressed through the energy and skew-energy of the underlying graph
G. These bounds become tight for highly symmetric graphs, leading to closed formulas for several graph families. Finally, we identify structural conditions under which the robustness is determined by a simple function of the graph's maximum degree and the number of vertices and edges, and show that such extremal cases occur only when combinatorial structures such as Hadamard, conference or weighing matrices exist.
Measurement incompatibility describes two or more quantum measurements whose expected joint outcome on a given system cannot be defined. This purely nonclassical phenomenon provides a necessary ingredient in many quantum information tasks such as violating a Bell inequality or nonlocally steering part of an entangled state. In this Letter, we characterize incompatibility in terms of programmable measurement devices and the general notion of quantum programmability. This refers to the temporal freedom a user has in issuing programs to a quantum device. For devices with a classical control and classical output, measurement incompatibility emerges as the essential quantum resource embodied in their functioning. Based on the processing of programmable measurement devices, we construct a quantum resource theory of incompatibility. A complete set of convertibility conditions for programmable devices is derived based on quantum state discrimination with postmeasurement information.