The quantum mechanical measurement problem is the difficulty of dealing with the indefiniteness of the pointer observable at the conclusion of a measurement process governed by unitary quantum dynamics. There has been hope to solve this problem by eliminating idealizations from the characterization of measurement. We state and prove two `insolubility theorems' that disappoint this hope. In both the initial state of the apparatus is taken to be mixed rather than pure, and the correlation of the object observable and the pointer observable is allowed to be imperfect. In the {\it insolubility theorem for sharp observables}, which is only a modest extension of previous results, the object observable is taken to be an arbitrary projection valued measure. In the {\it insolubility theorem for unsharp observables}, which is essentially new, the object observable is taken to be a positive operator v alued measure. Both theorems show that the measurement problem is not the consequence of neglecting the ever-present imperfections of actual measurements.
The quantum measurement problem is formulated in the form of an insolubility theorem that states the impossibility of obtaining, for all available object preparations, a mixture of states of the compound object and apparatus system that would represent definite pointer positions. A proof is given that comprises arbitrary object observables, whether sharp or unsharp, and besides sharp pointer observables a certain class of unsharp pointers, namely, those allowing for the property of pointer value definiteness. A recent result of H. Stein is applied to allow for the possibility that a given meas…
This paper addresses the question whether a variant of a modal interpretation is conceivable that could accommodate property ascriptions associated with nonorthogonal resolutions of the unity and nonorthogonal families of relative states as they occur in imperfect or genuinely unsharp measurements. I will review a recent formulation of the quantum measurement problem in the form of an insolubility theorem that incorporates the case of unsharp object observables as well as certain types of unsharp pointers. In addition to demonstrating the necessity for some modification of quantum mechanics, t…
We present a single inequality as the necessary and sufficient condition for two unsharp observables of a two-level system to be jointly measurable in a single apparatus and construct explicitly the joint observables. A complementarity inequality arising from the condition of joint measurement, which generalizes Englert's duality inequality, is derived as the trade-off between the unsharpnesses of two jointly measurable observables.
Unsharp spin observables are shown to arise from the fact that a residual uncertainty about the actual alignment of the measurement device remains. If the uncertainty is below a certain level, and if the distribution misalignments is covariant under rotations, a Kochen-Specker theorem for the unsharp spin observables follows: There are finite sets of directions such that not all the unsharp spin observables in these directions can consistently be assigned approximate truth-values in a non-contextual way.
A theorem of Lüders states that an ideal measurement of a sharp discrete observable does not alter the statistics of another sharp observable if, and only if, the two observables commute. It will be shown that this statement extends to certain pairs of unsharp observables. Implications for local relativistic quantum theory will be discussed.
Unsharp measurements are increasingly important for foundational insights in quantum theory and quantum information applications. Here, we report an experimental implementation of unsharp qubit measurements in a sequential communication protocol, based on a quantum random access code. The protocol involves three parties; the first party prepares a qubit system, the second party performs operations which return both a classical and quantum outcome, and the latter is measured by the third party. We demonstrate a nearly-optimal sequential quantum random access code that outperforms both the best …
We consider joint measurement of two and three unsharp qubit observables through an Arthur-Kelly type joint measurement model for qubits. We investigate the effect of initial state of the detectors on the unsharpness of the measurement as well as the post-measurement state of the system. Particular emphasis is given on a physical understanding of the POVM to PVM transition in the model and entanglement between system and detectors.Two approaches for characterizing the unsharpness of the measurement and the resulting measurement uncertainty relations are considered.The corresponding measures of…
In this contribution I will review the analysis of the Einstein-Podolsky-Rosen argument, Bell's inequalities and of associated experiments for spins in terms of positive operator valued measures. Specifically, I will explore the relation between the Clauser-Horne-Shimony-Holt inequality and a fundamental \emph{classicality} property of observables -- their \emph{coexistence}. A derivation of Bell's inequalities for unsharp spins will be given which follows a reconstruction by Mittelstaedt and Stachow of the original EPR argument. In this context we discuss the need for a consistent relativisti…
The theory of decoherence attempts to explain the emergent classical behaviour of a quantum system interacting with its quantum environment. In order to formalize this mechanism we introduce the idea that the information preserved in an open quantum evolution (or channel) can be characterized in terms of observables of the initial system. We use this approach to show that information which is broadcast into many parts of the environment can be encoded in a single observable. This supports a model of decoherence where the pointer observable can be an arbitrary positive operator-valued measure (…
The intrinsic unsharpness of a quantum observable is studied by introducing the notion of resolution width. This quantification of accuracy is shown to be closely connected with the possibility of making approximately repeatable measurements. As a case study, the intrinsic unsharpness and approximate repeatability of position and momentum measurements are examined in detail.
Unsharp spin 1 observables arise from the fact that a residual uncertainty about the actual orientation of the measurement device remains. If the uncertainty is below a certain level, and if the distribution of measurement errors is covariant under rotations, a Kochen-Specker theorem for the unsharp spin observables follows: There are finite sets of directions such that not all the unsharp spin observables in these directions can consistently be assigned approximate truth-values in a non-contextual way.
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 …
The positive operator (valued) measures (POMs) allow one to generalize the notion of observable beyond the traditional one based on projection valued measures (PVMs). Here, we argue that this generalized conception of observable enables a consistent notion of unsharp reality and with it an adequate concept of joint properties. A sharp or unsharp property manifests itself as an element of sharp or unsharp reality by its tendency to become actual or to actualize a specific measurement outcome. This actualization tendency - or potentiality - of a property is quantified by the associated quantum p…
Under the scenario of generalized measurements, it can be questioned how much of quantum uncertainty can be attributed to measuring device, independent of the uncertainty in the measured system. On the course to answer the question, we suggest a new class of entropic uncertainty relation that differentiates quantum uncertainty from device imperfection due to the unsharpness of measurement. In order to quantify the unsharpness, we {suggest} and analyze the quantity that characterizes the uncertainty in the measuring device, based on Shannon entropy. Using the quantity, we obtain a new lower bou…
The conflict between relativistic causality and localizability is analyzed in the light of the existence of unsharp localization observables. A theorem due to S. Schlieder is generalized, showing that the assumption of local commutativity implies the localization observable in question to be unsharp in a strong sense. Furthermore, a recent generalization of a theorem of Lüders is applied to demonstrate that local commutativity is a necessary consequence of Einstein causality even in the case of unsharp observables if they admit local measurements. These findings raise the question whether loca…
Three notions of complementarity - operational, probabilistic, and value complementarity - are reanalysed with respect to the question of joint measurements and compared with reference to some examples of canonically conjugate observables. It is shown that the joint measurability of noncommuting observables is a consequence of the quantum formalism if unsharp observables are taken into account; a fact not in conflict with the idea of complementarity, which, in its strongest version, was originally formulated only for sharp observables. As an illustration of the general theory, the wave-particl…
The normalized state $\ket{ψ(t)}=c_1(t)\ket{1}+c_2(t)\ket{2}$ of a single two-level system performs oscillations under the influence of a resonant driving field. It is assumed that only one realization of this process is available. We show that it is possible to approximately visualize in real time the evolution of the system as far as it is given by $|c_2(t)|^2$. For this purpose we use a sequence of particular unsharp measurements separated in time. They are specified within the theory of generalized measurements in which observables are represented by positive operator valued measures (POVM…
Complementarity principle is one of the central concepts in quantum mechanics which restricts joint measurement for certain observables. Of course, later development shows that joint measurement could be possible for such observables with the introduction of a certain degree of unsharpness or fuzziness in the measurement. In this paper, we show that the optimal degree of unsharpness, which guarantees the joint measurement of all possible pairs of dichotomic observables, determines the degree of nonlocality in quantum mechanics as well as in more general no-signaling theories.
We study a Bose-Einstein condensate (BEC) in a double-well potential subject to an unsharp continuous measurement of the atom number in one of the two wells. We investigate the back action of the measurement on the quantum dynamics and the viability to monitor the ensuing time evolution. For vanishing inter-atomic interactions, mainly the expectation values of the measured local observable can be inferred from the measurement record. Conversely, in the presence of moderate inter-atomic interactions, the entire many-body state --modified by the measurement-- is monitored with unit fidelity and,…
The Mach-Zehnder interferometric setup quantitatively characterizing the wave-particle duality implements in fact a joint measurement of two unsharp observables. We present a necessary and sufficient condition for such a pair of unsharp observables to be jointly measurable. The condition is shown to be equivalent to a duality inequality, which for the optimal strategy of extracting the which-path information is more stringent than the Jaeger-Shimony-Vaidman-Englert inequality.
We derive entropic uncertainty relations for successive generalized measurements by using general descriptions of quantum measurement within two {distinctive operational} scenarios. In the first scenario, by merging {two successive measurements} into one we consider successive measurement scheme as a method to perform an overall {composite} measurement. In the second scenario, on the other hand, we consider it as a method to measure a pair of jointly measurable observables by marginalizing over the distribution obtained in this scheme. In the course of this work, we identify that limits on one…
The Kochen-Specker theorem, Bell inequalities, and several other tests that were designed to rule out hidden-variable theories, assume the existence of observables having infinitely sharp eigenvalues. A paradigmatic example is spin-1/2. It is measured with a Stern-Gerlach array whose outputs are divided into two classes, spin-up and spin-down, in correspondence to the two spots observed on a detection screen. The spot's finite size is attributed to imperfections of the measuring device. This assumption turns the experimental output into a dichotomic, discrete one, thereby allowing the assignme…
In the derivation of local bound of a Bell's inequality, the response functions corresponding to the different outcomes of measurements are fixed by the relevant hidden variables irrespective of the fact if the measurement is unsharp. In the context of a recent result by Spekkens that tells even in an ontological model the unsharp observable cannot be assigned a deterministic response function, we derive a modified local bound of CHSH inequality in unsharp measurement scenario. We consider response function for a given POVM which is determined by the response functions of the relevant projecto…
In this Letter we investigate the concept of quantum work and its measurability from the viewpoint of quantum measurement theory. Very often, quantum work and fluctuation theorems are discussed in the framework of projective two-point measurement (TPM) schemes. According to a well known no-go theorem, there is no work observable which satisfies both (i) an average work condition and (ii) the TPM statistics for diagonal input states. Such projective measurements represent a restrictive class among all possible measurements. It is desirable, both from a theoretical and experimental point of view…
We begin by defining mutually unbiased (MU) observables on a finite dimensional Hilbert space. We also consider the more general concept of parts of MU observables. The relationships between MU observables, value-complementary observables and two other conditions involving sequential products of observables are discussed. We next present a special motivating case of MU observables called finite position and momentum observables. These are atomic observables related by a finite Fourier transform. Finite position and momentum observables are employed to give examples of parts of MU observables t…
We derive an entropic uncertainty relation for generalized positive-operator-valued measure (POVM) measurements via a direct-sum majorization relation using Schur concavity of entropic quantities in a finite-dimensional Hilbert space. Our approach provides a significant improvement of the uncertainty bound compared with previous majorization-based approaches [S. Friendland, V. Gheorghiu and G. Gour, Phys. Rev. Lett. 111, 230401 (2013); A. E. Rastegin and K. Życzkowski, J. Phys. A, 49, 355301 (2016)], particularly by extending the direct-sum majorization relation first introduced in [Ł. Rudnick…
In recent years, novel quantifications of measurement error in quantum mechanics have for the first time enabled precise formulations of Heisenberg's famous but often challenged measurement uncertainty relation. These relations take the form of a trade-off for the necessary errors in joint approximate measurements of position and momentum and other incompatible pairs of observables. Here we review some of these error measures, examine their properties and suitability, and compare their relative strengths as criteria for "good" approximations.
Whereas complementarity manifests itself via two incompatible observables, quantum contextuality can only be revealed via the joint measurements among at least three observables. By incorporating unsharp measurements and joint measurements into a realistic model, we reestablish an inequality due to Liang, Spekkens, and Wiseman rigorously based on the assumption of noncontextuality alone. Its violation therefore unambiguously pinpoints the quantum contextuality of a two-level system. The maximal violation is attained by three triplewise jointly measurable observables that are pairwise jointly m…
Joint measurability of sharp quantum observables is determined pairwise, and so can be captured in a graph. We prove the converse: any graph, whose vertices represent sharp observables, and whose edges represent joint measurability, is realised by quantum theory. This leads us to show that it is not always possible to use Neumark dilation to turn unsharp observables into sharp ones with the same joint measurability relations, highlighting a caveat in the church of the larger Hilbert space".
The notion coexistence of quantum observables was introduced to describe the possibility of measuring two or more observables together. Here we survey the various different formalisations of this notion and their connections. We review examples illustrating the necessary degrees of unsharpness for two noncommuting observables to be jointly measurable (in one sense of the phrase). We demonstrate the possibility of measuring together (in another sense of the phrase) noncoexistent observables. This leads us to a reconsideration of the connection between joint measurability and noncommutativity of…
The notion of incompatibility of measurements in quantum theory is in stark contrast with the corresponding classical perspective, where all physical observables are jointly measurable. It is of interest to examine if the results of two or more measurements in the quantum scenario can be perceived from a classical point of view or they still exhibit non-classical features. Clearly, commuting observables can be measured jointly using projective measurements and their statistical outcomes can be discerned classically. However, such simple minded association of compatibility of measurements with …
We explore the sense in which the state of a physical system may or may not be regarded (an) observable in quantum mechanics. Simple and general arguments from various lines of approach are reviewed which demonstrate the following no-go claims: (1) the structure of quantum mechanics precludes the determination of the state of a single system by means of measurements performed on that system only; (2) there is no way of using entangled two-particle states to transmit superluminal signals. Employing the representation of observables as general positive operator valued measures, our analysis allo…
Joint measurements of qubit observables have recently been studied in conjunction with quantum information processing tasks such as cloning. Considerations of such joint measurements have until now been restricted to a certain class of observables that can be characterized by a form of covariance. Here we investigate conditions for the joint measurability of arbitrary pairs of qubit observables. For pairs of noncommuting sharp qubit observables, a notion of approximate joint measurement is introduced. Optimal approximate joint measurements are shown to lie in the class of covariant joint measu…
We study sequential measurement scenarios where the system is repeatedly subjected to the same measurement process. We first provide examples of such repeated measurements where further repetitions of the measurement do not increase our knowledge on the system after some finite number of measurement steps. We also prove, however, that repeating the Lüders measurement of an unsharp two-outcome observable never saturates in this sense, and we characterize the observable measured in the limit of infinitely many repetitions. Our result implies that a repeated measurement can be used to correct the…
In this paper we provide a consistent framework to address the notorious decomposition of the single-photon total angular momentum (TAM) into a spin (SAM) and an orbital (OAM) component. In particular, we find that the canonical SAM and OAM, generators of internal and spatial rotations respectively in the space of physical states, are mutually compatible but unsharp quantum observables, therefore POVM (Positive Operator-Valued Measures) describe their joint measurements. On the other hand, a non-canonical SAM and OAM can be constructed that is mutually incompatible but represent sharp quantum …
Joint or simultaneous measurements of non-commuting quantum observables are possible at the cost of increased unsharpness or measurement uncertainty. Many different criteria exist for defining what an "optimal" joint measurement is, with corresponding different tradeoff relations for the measurements. Understanding the limitations of such measurements is of fundamental interest and relevant for quantum technology. Here, we experimentally test a tradeoff relation for the sharpness of qubit measurements, a relation which refers directly to the form of the measurement operators, rather than to er…
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 compatib…
Estimation of expectation values of incompatible observables is an essential practical task in quantum computing, especially for approximating energies of chemical and other many-body quantum systems. In this work we introduce a method for this purpose based on performing a single joint measurement that can be implemented locally and whose marginals yield noisy (unsharp) versions of the target set of non-commuting Pauli observables. We derive bounds on the number of experimental repetitions required to estimate energies up to a certain precision. We compare this strategy to the classical shado…
The fundamental principles of complementarity and uncertainty are shown to be related to the possibility of joint unsharp measurements of pairs of noncommuting quantum observables. A new joint measurement scheme for complementary observables is proposed. The measured observables are represented as positive operator valued measures (POVMs), whose intrinsic fuzziness parameters are found to satisfy an intriguing pay-off relation reflecting the complementarity. At the same time, this relation represents an instance of a Heisenberg uncertainty relation for measurement imprecisions. A model-indepen…
In the quantum regime, the third law of thermodynamics implies the unattainability of pure states. As shown recently, such unattainability implies that a unitary interaction between the measured system and a measuring apparatus can never implement an ideal projective measurement. In this paper, we introduce an operational formulation of the third law for the most general class of physical transformations, the violation of which is both necessary and sufficient for the preparation of pure states. Subsequently, we investigate how such a law constrains measurements of general observables, or posi…
We study the nature of the information preserved by a quantum channel via the observables which exist in its image (in the Heisenberg picture), and can therefore be simulated on the receiver's side. The sharp observables preserved by a channel form an operator algebra which can be characterized in terms of the channel's elements. The effect of the channel on these observables can be reversed by another physical transformation. These results generalize the theory of quantum error correction to codes characterized by arbitrary von Neumann algebras, which can represent hybrid quantum-classical in…
Quantum uncertainty is described here in two guises: indeterminacy with its concomitant indeterminism of measurement outcomes, and fuzziness, or unsharpness. Both features were long seen as obstructions of experimental possibilities that were available in the realm of classical physics. The birth of quantum information science was due to the realization that such obstructions can be turned into powerful resources. Here we review how the utilization of quantum fuzziness makes room for a notion of approximate joint measurement of noncommuting observables. We also show how from a classical perspe…
In standard formulations of the uncertainty principle, two fundamental features are typically cast as impossibility statements: two noncommuting observables cannot in general both be sharply defined (for the same state), nor can they be measured jointly. The pioneers of quantum mechanics were acutely aware and puzzled by this fact, and it motivated Heisenberg to seek a mitigation, which he formulated in his seminal paper of 1927. He provided intuitive arguments to show that the values of, say, the position and momentum of a particle can at least be unsharply defined, and they can be measured t…
We review the notion of complementarity of observables in quantum mechanics, as formulated and studied by Paul Busch and his colleagues over the years. In addition, we provide further clarification on the operational meaning of the concept, and present several characterisations of complementarity - some of which new - in a unified manner, as a consequence of a basic factorisation lemma for quantum effects. We work out several applications, including the canonical cases of position-momentum, position-energy, number-phase, as well as periodic observables relevant to spatial interferometry. We cl…
We investigate two aspects of the elementary example of POVMs on the Euclidean plane, namely their status as quantum observables and their role as quantizers in the integral quantization procedure. The compatibility of POVMs in the ensuing quantum formalism is discussed, and a Naimark dilation is found for the quantum operators. The relation with Toeplitz quantization is explained. A physical situation is discussed, where we describe the linear polarization of the light with the use of Stokes parameters. In particular, the case of sequential measurements in a real bidimensional Hilbert space i…
A large literature has grown up around the proposed use of 'weak measurements' (i.e., unsharp measurements followed by post-selection) to allegedly provide information about hidden ontological features of quantum systems. This paper attempts to clarify the fact that 'weak measurements' involve strong (projective) measurements on one (pointer) member of an entangled system. The only thing 'weak' about such measurements is that the correlation established via the entanglement does not correspond to eigenstates of the 'weakly measured observable' for the remaining component system(s) subject to t…
We formulate quantum tunneling as a time-of-arrival problem: we determine the detection probability for particles passing through a barrier at a detector located a distance L from the tunneling region. For this purpose, we use a Positive-Operator-Valued-Measure (POVM) for the time-of-arrival determined in quant-ph/0509020 [JMP 47, 122106 (2006)]. This only depends on the initial state, the Hamiltonian and the location of the detector. The POVM above provides a well-defined probability density and an unambiguous interpretation of all quantities involved. We demonstrate that for a class of local…
