Measurement uncertainty relations are lower bounds on the errors of any approximate joint measurement of two or more quantum observables. The aim of this paper is to provide methods to compute optimal bounds of this type. The basic method is semidefinite programming, which we apply to arbitrary finite collections of projective observables on a finite dimensional Hilbert space. The quantification of errors is based on an arbitrary cost function, which assigns a penalty to getting result x rather than y, for any pair ( x , y ) . This induces a notion of optimal transport cost for a pair of probability distributions, and we include an Appendix with a short summary of optimal transport theory as needed in our context. There are then different ways to form an overall figure of merit from the comparison of distributions. We consider three, which are related to different physical testing scenarios. The most thorough test compares the transport distances between the marginals of a joint measurement and the reference observables for every input state. Less demanding is a test just on the states for which a “true value” is known in the sense that the reference observable yields a definite outcome. Finally, we can measure a deviation as a single expectation value by comparing the two observables on the two parts of a maximally-entangled state. All three error quantities have the property that they vanish if and only if the tested observable is equal to the reference. The theory is illustrated with some characteristic examples.
Measurement uncertainty relations are lower bounds on the errors of any approximate joint measurement of two or more quantum observables. The aim of this paper is to provide methods to compute optimal bounds of this type. The basic method is semidefinite programming, which we apply to arbitrary finite collections of projective observables on a finite dimensional Hilbert space. The quantification of errors is based on an arbitrary cost function, which assigns a penalty to getting result x rather than y, for any pair ( x , y ) . This induces a notion of optimal transport cost for a pair of probability distributions, and we include an Appendix with a short summary of optimal transport theory as needed in our context. There are then different ways to form an overall figure of merit from the comparison of distributions. We consider three, which are related to different physical testing scenarios. The most thorough test compares the transport distances between the marginals of a joint measurement and the reference observables for every input state. Less demanding is a test just on the states for which a “true value” is known in the sense that the reference observable yields a definite outcome. Finally, we can measure a deviation as a single expectation value by comparing the two observables on the two parts of a maximally-entangled state. All three error quantities have the property that they vanish if and only if the tested observable is equal to the reference. The theory is illustrated with some characteristic examples.
The notions of error and disturbance appearing in quantum uncertainty relations are often quantified by the discrepancy of a physical quantity from its ideal value. However, these real and ideal values are not the outcomes of simultaneous measurements, and comparing the values of unmeasured observables is not necessarily meaningful according to quantum theory. To overcome these conceptual difficulties, we take a different approach and define error and disturbance in an operational manner. In particular, we formulate both in terms of the probability that one can successfully distinguish the actual measurement device from the relevant hypothetical ideal by any experimental test whatsoever. This definition itself does not rely on the formalism of quantum theory, avoiding many of the conceptual difficulties of usual definitions. We then derive new Heisenberg-type uncertainty relations for both joint measurability and the error-disturbance tradeoff for arbitrary observables of finite-dimensional systems, as well as for the case of position and momentum. Our relations may be directly applied in information processing settings, for example to infer that devices which can faithfully transmit information regarding one observable do not leak any information about conjugate observables to the environment. We also show that Englert's wave-particle duality relation [PRL 77, 2154 (1996)] can be viewed as an error-disturbance uncertainty relation.
Uncertainty relations are commonly praised as one of the central pillars of quantum theory. Usually, they are taught in the first weeks of a beginners lecture, and introduced in the ?rst chapters of a textbook. However, their precise operational meaning and a formulation in a general context, i.e. beyond the example of position and momentum observables, are often left out. The reasoning for this is twofold: On one hand, an exact operational definition of uncertainty, indeterminacy and a corresponding uncertainty principle has been the content of many debates since the early days of quantum mechanics until today. From a modern perspective, we have the consent that there are at least the two notions of preparation and measurement uncertainty: the first notion prohibits the existence of dissipation free states and the latter one the existence of error free joint measurements. On the other hand, we have that, the mathematical tools, which are needed for comprehensive treatment of uncertainty relations in a general context, are still under development and usually go far beyond the mathematical level of an introductory course. In this thesis we will investigate these two notions of uncertainty, their corre- sponding uncertainty relations, such as their interplay. The aim of this thesis is to give answers to the central questions: (1.) Which quantities should be used to formulate uncertainty? (2.) How can we compute uncertainty relations for those? (3.) Are there connections between the two notions of uncertainty? We will do this, whenever possible, in a most general context and with a focus on relevant examples, otherwise. Therefore, we will consider constructions of mea- surement errors and deviation measures that quantify uncertainty, based on, so called, cost functions. Commonly used uncertainty measures like variances, en- tropies, and the Hamming distance are examples for these. We will investigate the structure of the corresponding uncertainty relations and provide several methods that enable us to compute them. The third question is addressed by a theorem that shows, for sharp observables, that measurement uncertainty relations can be lower bounded by preparation uncertainty relations, whenever the same cost function is used.
The notions of error and disturbance appearing in quantum uncertainty relations are often quantified by the discrepancy of a physical quantity from its ideal value. However, these real and ideal values are not the outcomes of simultaneous measurements, and comparing the values of unmeasured observables is not necessarily meaningful according to quantum theory. To overcome these conceptual difficulties, we take a different approach and define error and disturbance in an operational manner. In particular, we formulate both in terms of the probability that one can successfully distinguish the actual measurement device from the relevant hypothetical ideal by any experimental test whatsoever. This definition itself does not rely on the formalism of quantum theory, avoiding many of the conceptual difficulties of usual definitions. We then derive new Heisenberg-type uncertainty relations for both joint measurability and the error-disturbance tradeoff for arbitrary observables of finite-dimensional systems, as well as for the case of position and momentum. Our relations may be directly applied in information processing settings, for example to infer that devices which can faithfully transmit information regarding one observable do not leak any information about conjugate observables to the environment. We also show that Englert's wave-particle duality relation [PRL 77, 2154 (1996)] can be viewed as an error-disturbance uncertainty relation.
Heisenberg-type measurement uncertainty relations (MURs) of two quantum observables are essential for contemporary research in quantum foundations and quantum information science. Going beyond, here we report the first experimental study of MUR of three quantum observables. We establish rigorously MURs for triplets of unbiased qubit observables as combined approximation errors lower bounded by an incompatibility measure, inspired by the proposal of Busch et al. [Phys. Rev. A 89, 012129 (2014)PLRAAN1050-294710.1103/PhysRevA.89.012129]. We develop a convex programming protocol to numerically find the exact value of the incompatibility measure and the optimal measurements. We propose a novel implementation of the optimal joint measurements and present several experimental demonstrations with a single-photon qubit. We stress that our method is universally applicable to the study of many qubit observables. Besides, we theoretically show that MURs for joint measurement can be attained by sequential measurements in two of our explored cases. We anticipate that this work may stimulate broad interests associated with Heisenberg's uncertainty principle in the case of multiple observables, enriching our understanding of quantum mechanics and inspiring innovative applications in quantum information science.
We establish rigorously in this work a measurement uncertainty relation (MUR) for three unbiased qubit observables, which was previously shown to hold true under some presumptions. The triplet MUR states that the uncertainty, which is quantified by the total statistical distance between the target observables and the jointly implemented observables, is lower bounded by an incompatibility measure that reflects the joint measurement conditions. We derive a necessary and sufficient condition for the triplet MUR to be saturated and the corresponding optimal measurement. To facilitate experimental tests of MURs we propose a straightforward implementation of the optimal joint measurements. Lastly, by a symmetry argument, the exact values of incompatibility measure are analytically calculated for some symmetric triplets. We anticipate that our work may enrich the understanding of quantum incompatibility in terms of MURs and inspire further applications in quantum information science. This work presents a complete theory relevant to a parallel work [Y.-L. Mao et al., Testing Heisenberg-type measurement uncertainty relations of three observables, Phys. Rev. Lett. 131, 150203 (2023)] on experimental tests.
Abstract 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 together provided some approximation errors are allowed. Only now, nine decades later, a working theory of approximate joint measurements is taking shape, leading to rigorous and experimentally testable formulations of associated error tradeoff relations. Here we briefly review this new development, explaining the concepts and steps taken in the construction of optimal joint approximations of pairs of incompatible observables. As a case study, we deduce measurement uncertainty relations for qubit observables using two distinct error measures. We provide an operational interpretation of the error bounds and discuss some of the first experimental tests of such relations.