Abstract After a short review of the main properties of unsharp observables we provide examples of commutative unsharp observables obtained as the projection of sharp observables. In particular, we consider a family of PVMs defined on the tensor product Hilbert space H ⊗ K which include the one introduced by Ozawa in his modification of the von Neumann position measurement model and show that their projections onto H are commutative POVMs. Then, we make some observations on the concept of Naimark dilation and its connections with the integral representation of commutative POVMs. Finally, we introduce a partial order relation in the set of Naimark dilations, show that there is a minimal element and that it is unique. Minimality is a consequence of the partial ordered structure and coincides with the usual definition of minimal Naimark dilation. In passing, we use Naimark’s theorem in order to prove some well known properties of positive operator valued measures.
Abstract After a short review of the main properties of unsharp observables we provide examples of commutative unsharp observables obtained as the projection of sharp observables. In particular, we consider a family of PVMs defined on the tensor product Hilbert space H ⊗ K which include the one introduced by Ozawa in his modification of the von Neumann position measurement model and show that their projections onto H are commutative POVMs. Then, we make some observations on the concept of Naimark dilation and its connections with the integral representation of commutative POVMs. Finally, we introduce a partial order relation in the set of Naimark dilations, show that there is a minimal element and that it is unique. Minimality is a consequence of the partial ordered structure and coincides with the usual definition of minimal Naimark dilation. In passing, we use Naimark’s theorem in order to prove some well known properties of positive operator valued measures.
Abstract In this chapter we first review projective or von Neumann measurements from the point of view of the projection postulate and the Lüders rule, before turning to more general measurements modelled using positive operator-valued measures (POVMs). After examining their mathematical description, we discuss symmetric informationally complete (SIC) POVMs and Zauner’s conjecture, as well as the representation of POVMs as projective measurements on a larger Hilbert space, a result called Naimark dilation. We then a model for non-ideal projective measurements and analyse the properties of such measurements in relation to the properties unbiasedness, faithfulness, and non-invasiveness of ideal projective measurements. Finally, we consider the problem of distinguishing non-orthogonal quantum states and examine how the use of POVMs can be beneficial for this task.
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.
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.
In the conventional axiomatic formalism of quantum mechanics, a physical measurement of a quantum observable is mathematically represented by the spectral decomposition of the Hermitian operator associated with the observable. This constitutes the scenario of a L\"uders (projective) measurement, which includes a von Neumann (rank-one projective) measurement as a special and prominent instance. In this context, the measurement is called sharp in the sense that each measurement operator is an orthogonal projection (eigenprojection of the observable). In the modern operational formalism, a measurement is represented by a positive-operator valued measure (POVM), which consists of a family of non-negative definite operators (measurement operators, effects) summing to the identity. In this scenario, a measurement is called unsharp (fuzzy) if some measurement operators are not orthogonal projections. A natural question arises as to how to quantify unsharpness of a measurement. In this work, we address this issue in terms of uncertainty. For this purpose, we study a family of observables associated with a measurement and their uncertainty. By exploiting the difference between the (total) measurement uncertainty and the observable uncertainty, we are led to some information-theoretic quantifiers of unsharpness. We reveal their basic properties and illustrate them through some important measurements. In particular, we characterize L\"uders measurements and equiangular POVMs as extreme measurements in terms of unsharpness.
We study two relevant characterizations of a commutative positive operator valued measure (POVM) F . The first one is a Choquet type of an integral representation. It introduces a measure ν on the space of the projection valued measures (PVMs) and describes F as an integral over this space. The second one represents a commutative POVM F as the randomization of a single PVM E by means of a Markov kernel μ . We show that one can be derived from the other. We also elaborate upon some previous results on Choquet’s representation of Markov kernels and find a functional relationship between ν and μ . Finally, we analyze some relevant particular cases and provide some physically relevant examples which include the unsharp position observables.
Continuing the study by Tschinke et al. (2019), we examine further aspects of distribution frames (namely, Gel’fand and Parseval), particularly regarding those that are more relevant for applications in quantum physics. Parseval distribution frames are, in particular, closely related to coherent states. Thus, POV measures, Naimark dilations, and operators defined by Parseval distribution frames are the main subjects of this paper. The main results are Theorems 2.2 and 3.1. Theorem 2.2 gives a sufficient conditions for the existence of such distribution coherent states for positive operator valued measures. Theorem 3.1 establishes conditions under which the distribution coherent states can be identified with the projections of some Gel’fand distribution basis in a larger Hilbert space (in Naimark's sense).