In many a traditional physics textbook, a quantum measurement is defined as a projective measurement represented by a Hermitian operator. In quantum information theory, however, the concept of a measurement is dealt with in complete generality and we are therefore forced to confront the more general notion of positive-operator valued measures (POVMs), which suffice to describe all measurements that can be implemented in quantum experiments. We study the (in)compatibility of such POVMs and show that quantum theory realizes all possible (in)compatibility relations among sets of POVMs. This is in contrast to the restricted case of projective measurements for which commutativity is essentially equivalent to compatibility. Our result therefore points out a fundamental feature with respect to the (in)compatibility of quantum observables that has no analog in the case of projective measurements.
In many a traditional physics textbook, a quantum measurement is defined as a projective measurement represented by a Hermitian operator. In quantum information theory, however, the concept of a measurement is dealt with in complete generality and we are therefore forced to confront the more general notion of positive-operator valued measures (POVMs), which suffice to describe all measurements that can be implemented in quantum experiments. We study the (in)compatibility of such POVMs and show that quantum theory realizes all possible (in)compatibility relations among sets of POVMs. This is in contrast to the restricted case of projective measurements for which commutativity is essentially equivalent to compatibility. Our result therefore points out a fundamental feature with respect to the (in)compatibility of quantum observables that has no analog in the case of projective measurements.
Measurements in quantum theory exhibit incompatibility, i.e., they can fail to be jointly measurable.An intuitive way to represent the (in)compatibility relations among a set of measurements is via a hypergraph representing their joint measurability structure: its vertices represent measurements and its hyperedges represent (all and only) subsets of compatible measurements.Projective measurements in quantum theory realize (all and only) joint measurability structures that are graphs.On the other hand, general measurements represented by positive operator-valued measures (POVMs) can realize arbitrary joint measurability structures.Here we explore the scope of joint measurability structures realizable with qubit POVMs.We develop a technique that we term marginal surgery to obtain nontrivial joint measurability structures starting from a set of compatible measurements.We show explicit examples of marginal surgery on a special set of qubit POVMs to construct joint measurability structures such as N-cycle and N-Specker scenarios for any integer N 3.We also show the realizability of various joint measurability structures with N ∈ {4, 5, 6} vertices.In particular, we show that all possible joint measurability structures with N = 4 vertices are realizable.We conjecture that all joint measurability structures are realizable with qubit POVMs.This contrasts with the unbounded dimension required in R. Kunjwal et al. [Phys. Rev. A 89, 052126 (2014)].Our results also render this previous construction maximally efficient in terms of the required Hilbert space dimension.We also obtain a sufficient condition for the joint measurability of any set of binary qubit POVMs which powers many of our results and should be of independent interest.
We obtain a formal characterization of the compatibility or otherwise of a set of positive-operator-valued measures (POVMs) via their Naimark extensions. We show that a set of POVMs is jointly measurable if and only if there exists a single Naimark extension, specified by a fixed ancilla state on the same ancilla Hilbert space, that maps them to a set of commuting projective measurements (PVMs). We use our result to obtain an easily checkable sufficient condition for the compatibility of a pair of dichotomic observables in any dimension. This in turn leads to a characterization of the compatibility regions for some important classes of observables including a pair of unsharp qubit observables. Finally, we also outline as to how our result provides an alternate approach to quantifying the incompatibility of a general set of quantum measurements.
The projection postulate and spectral representation of observables remain central in quantum theory but describe only an idealized measurement limit. Realistic measurements may be inefficient, unsharp, weak, indirect, adaptive, destructive, or informationally incomplete. Positive-operator-valued measures (POVMs) provide the probability rule for processes, whereas quantum instruments specify state transformation. This review traces the hierarchy from von Neumann projective measurement to generalized measurement, emphasizing distinctions among effects, instruments, channels, and implementations. Naimark dilation realizes arbitrary POVMs through unitary coupling to an ancillary meter and projective readout. Stinespring dilation represents completely positive trace-preserving dynamics by unitary evolution on an enlarged system followed by partial trace. A qubit–ancilla interaction yields a partial-measurement instrument, its POVM effects, and its information–disturbance trade-off. It compares projective, generalized, and ancilla-mediated schemes; examines compatibility, instrument incompatibility, and disturbance; and surveys applications to state discrimination, tomography, control, and error correction. Recent developments in dynamic-circuit measurements and noisy-POVM compatibility are integrated with questions concerning measurement back-action and outcome definiteness. The review stresses that a POVM does not uniquely determine state update, dilation theorems establish realizability rather than unique mechanisms, and operational measurement theory does not settle definite outcomes, arguing quantum instruments provide a complete description of measurement.
For any quantum observable (positive operator valued measure (POVM)), we show that its compatible quantum instruments can be identified with certain channels and can be seen as combinations of Lüders operations and channels. We prove that a POVM is rank-1 exactly when its compatible instruments are nuclear and their associate channels are entanglement-breaking. Any instrument can be maximally refined into a rank-1 instrument. We present a characterization for (minimal) pure realizations of instruments and characterize completely the minimal pure measurement models of POVMs. The standard model of quantum measurement theory is generalized for arbitrary observables. Finally, we study post measurement states.
One of the hallmarks of quantum theory is the realization that distinct measurements cannot in general be performed simultaneously, in stark contrast to classical physics. In this context the notions of coexistence and joint measurability are employed to analyze the possibility of measuring together two general quantum observables, characterizing different degrees of compatibility between measurements. It is known that two jointly measurable observables are always coexistent, and that the converse holds for various classes of observables, including the case of observables with two outcomes. Here we resolve, in the negative, the open question of whether this equivalence holds in general. Our resolution strengthens the notions of coexistence and joint measurability by showing that both are robust against small imperfections in the measurement setups.
The existence of incompatible measurement setups is one of the distinctive features of quantum theory. Here we extend the notion of incompatibility from measurements that test preparations to measurements that test dynamical processes. Such measurements, known as testers, consist of the preparation of an input state, the application of the tested process, and a measurement on the output. Mathematically, testers are described by a suitable generalization of the notion of positive operator-valued measure (POVM). Unlike in the case of POVMs, however, testers that commute are not necessarily compatible, and testers that are compatible do not necessarily commute. Given a set of testers, we define the robustness of incompatibility as the minimum amount of mixing needed to make the testers compatible. We show that (i) the robustness is lower bounded by the distinguishability of the input states prepared by the different testers, and (ii) maximum robustness is attained when the input states are orthogonal. An extensive analysis of incompatibility is provided for factorized qubit testers with two outcomes. All our results can be extended to measurements that test quantum processes consisting of multiple time steps.