Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1806.03780 · npj Quantum Information

Soundness and completeness of quantum root-mean-square errors

Masanao Ozawa

Published Dec 28, 2018• 267 citations
arXivHTMLPDF

Abstract

Abstract Defining and measuring the error of a measurement is one of the most fundamental activities in experimental science. However, quantum theory shows a peculiar difficulty in extending the classical notion of root-mean-square (rms) error to quantum measurements. A straightforward generalization based on the noise-operator was used to reformulate Heisenberg’s uncertainty relation on the accuracy of simultaneous measurements to be universally valid and made the conventional formulation testable to observe its violation. Recently, its reliability was examined based on an anomaly that the error vanishes for some inaccurate measurements, in which the meter does not commute with the measured observable. Here, we propose an improved definition for a quantum generalization of the classical rms error, which is state-dependent, operationally definable, and perfectly characterizes accurate measurements. Moreover, it is shown that the new notion maintains the previously obtained universally valid uncertainty relations and their experimental confirmations without changing their forms and interpretations, in contrast to a prevailing view that a state-dependent formulation for measurement uncertainty relation is not tenable.

DOI
10.1038/s41534-018-0113-z

Related papers

Colloquium: Quantum root-mean-square error and measurement uncertainty relations

Paul Busch, PEKKA J. LAHTI, Reinhard F. Werner

Recent years have witnessed a controversy over Heisenberg's famous error-disturbance relation. Here the conflict is resolved by way of an analysis of the possible conceptualizations of measurement error and disturbance in quantum mechanics. Two approaches to adapting the classic notion of root-mean-square error to quantum measurements are discussed. One is based on the concept of a noise operator; its natural operational content is that of a mean deviation of the values of two observables measured jointly, and thus its applicability is limited to cases where such joint measurements are available. The second error measure quantifies the differences between two probability distributions obtained in separate runs of measurements and is of unrestricted applicability. We show that there are no nontrivial unconditional joint-measurement bounds for state-dependent errors in the conceptual framework discussed here, while Heisenberg-type measurement uncertainty relations for state-independent errors have been proven.

arXiv:1312.4393•Reviews of Modern Physics•Dec 18, 2014•208 citations

Quantum rms error and Heisenberg’s error-disturbance relation

Paul Busch

Reports on experiments recently performed in Vienna [Erhard et al, Nature Phys. 8, 185 (2012)] and Toronto [Rozema et al, Phys. Rev. Lett. 109, 100404 (2012)] include claims of a violation of Heisenberg’s error-disturbance relation. In contrast, a Heisenberg-type tradeoff relation for joint measurements of position and momentum has been formulated and proven in [Phys. Rev. Lett. 111, 160405 (2013)]. Here I show how the apparent conflict is resolved by a careful consideration of the quantum generalization of the notion of root-mean-square error. The claim of a violation of Heisenberg’s principle is untenable as it is based on a historically wrong attribution of an incorrect relation to Heisenberg, which is in fact trivially violated. We review a new general trade-off relation for the necessary errors in approximate joint measurements of incompatible qubit observables that is in the spirit of Heisenberg’s intuitions. The experiments mentioned may directly be used to test this new error inequality.

EPJ Web of Conferences•Jan 1, 2014•2 citations

Noise and disturbance in quantum measurements and operations

Masanao Ozawa

Heisenberg's uncertainty principle has been understood to set a limitation on measurements, whereas the long standing mathematical formulation does not allow such an interpretation. Recently, a new relation was found by the present author to give a universally valid relation between noise and disturbance in general quantum measurements, and it has become clear that the new relation plays a role of the first principle to derive various quantum limits on measurement and information processing. Here, we discuss the state-dependent notion of precise measurements of a given observable, and consider a perfect distance such that zero distance implies the perfect correlation. Then, we shall show that even in the perfect error notions both the position measuring noise and the momentum disturbance can be arbitrarily small. We also show that it is possible to generalize the new noise-disturbance uncertainty relation to perfect error distances.

Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE•May 5, 2006•8 citations

Quantum measurement theory and the uncertainty principle

Masanao Ozawa

Heisenberg's uncertainty principle was originally posed for the limit of the accuracy of simultaneous measurement of non-commuting observables as stating that canonically conjugate observables can be measured simultaneously only with the constraint that the product of their mean errors should be no less than a limit set by Planck's constant. However, Heisenberg with the subsequent completion by Kennard has long been credited only with a constraint for state preparation represented by the product of the standard deviations. Here, we show that Heisenberg actually proved the constraint for the accuracy of simultaneous measurement but assuming an obsolete postulate for quantum mechanics. This assumption, known as the repeatability hypothesis, formulated explicitly by von Neumann and Schrodinger, was broadly accepted until the 1970s, but abandoned in the 1980s, when completely general quantum measurement theory was established. We also survey the author's recent proposal for a universally valid reformulation of Heisenberg's uncertainty principle under the most general assumption on quantum measurement.

•Jul 8, 2015•0 citations

Universal Uncertainty Principle in Measurement Operator Formalism

Ozawa, M

Heisenberg's uncertainty principle has been understood to set a limitation on measurements; however, the long standing mathematical formulation established by Heisenberg, Kennard, and Robertson does not allow such an interpretation. Recently, a new relation was found to give a universally valid relation between noise and disturbance in general quantum measurements, and it has become clear that the new relation plays a role of the first principle to derive various quantum limits on measurement and information processing in a unified treatment. This paper examines the above development on the noise-disturbance uncertainty principle in the model independent approach based on measurement operator formalism, which is widely accepted to describe a class of generalized measurements in the field of quantum information. We obtain explicit formulas for noise and disturbance of measurements given by measurement operators, and show that projective measurements do not satisfy the Heisenberg-type noise-disturbance relation that is typical in the gamma-ray microscope thought experiments. We also show that the disturbance on a Pauli operator of a projective measurement of another Pauli operator constantly equals to the square root of 2, and examine how this measurement violates the Heisenberg-type relation but satisfies the new noise-disturbance relation.

•Oct 12, 2005•30 citations

Deriving tight error-trade-off relations for approximate joint measurements of incompatible quantum observables

Cyril Branciard

The quantification of the ``measurement uncertainty''aspect of Heisenberg's uncertainty principle---that is, the study of trade-offs between accuracy and disturbance, or between accuracies in an approximate joint measurement on two incompatible observables---has regained a lot of interest recently. Several approaches have been proposed and debated. In this paper we consider Ozawa's definitions for inaccuracies (as root-mean-square errors) in approximate joint measurements, and study how these are constrained in different cases, whether one specifies certain properties of the approximations---namely their standard deviations and/or their bias---or not. Extending our previous work [C. Branciard, Proc. Natl. Acad. Sci. USA 110, 6742 (2013)], we derive error-trade-off relations, which we prove to be tight for pure states. We show explicitly how all previously known relations for Ozawa's inaccuracies follow from ours. While our relations are in general not tight for mixed states, we show how these can be strengthened and how tight relations can still be obtained in that case.

arXiv:1312.1857•Physical Review A•Feb 24, 2014•36 citations
Abstract Defining and measuring the error of a measurement is one of the most fundamental activities in experimental science. However, quantum theory shows a peculiar difficulty in extending the classical notion of root-mean-square (rms) error to quantum measurements. A straightforward generalization based on the noise-operator was used to reformulate Heisenberg’s uncertainty relation on the accuracy of simultaneous measurements to be universally valid and made the conventional formulation testable to observe its violation. Recently, its reliability was examined based on an anomaly that the error vanishes for some inaccurate measurements, in which the meter does not commute with the measured observable. Here, we propose an improved definition for a quantum generalization of the classical rms error, which is state-dependent, operationally definable, and perfectly characterizes accurate measurements. Moreover, it is shown that the new notion maintains the previously obtained universally valid uncertainty relations and their experimental confirmations without changing their forms and interpretations, in contrast to a prevailing view that a state-dependent formulation for measurement uncertainty relation is not tenable.
Recent years have witnessed a controversy over Heisenberg's famous error-disturbance relation. Here the conflict is resolved by way of an analysis of the possible conceptualizations of measurement error and disturbance in quantum mechanics. Two approaches to adapting the classic notion of root-mean-square error to quantum measurements are discussed. One is based on the concept of a noise operator; its natural operational content is that of a mean deviation of the values of two observables measured jointly, and thus its applicability is limited to cases where such joint measurements are available. The second error measure quantifies the differences between two probability distributions obtained in separate runs of measurements and is of unrestricted applicability. We show that there are no nontrivial unconditional joint-measurement bounds for state-dependent errors in the conceptual framework discussed here, while Heisenberg-type measurement uncertainty relations for state-independent errors have been proven.
Reports on experiments recently performed in Vienna [Erhard et al, Nature Phys. 8, 185 (2012)] and Toronto [Rozema et al, Phys. Rev. Lett. 109, 100404 (2012)] include claims of a violation of Heisenberg’s error-disturbance relation. In contrast, a Heisenberg-type tradeoff relation for joint measurements of position and momentum has been formulated and proven in [Phys. Rev. Lett. 111, 160405 (2013)]. Here I show how the apparent conflict is resolved by a careful consideration of the quantum generalization of the notion of root-mean-square error. The claim of a violation of Heisenberg’s principle is untenable as it is based on a historically wrong attribution of an incorrect relation to Heisenberg, which is in fact trivially violated. We review a new general trade-off relation for the necessary errors in approximate joint measurements of incompatible qubit observables that is in the spirit of Heisenberg’s intuitions. The experiments mentioned may directly be used to test this new error inequality.
Heisenberg's uncertainty principle has been understood to set a limitation on measurements, whereas the long standing mathematical formulation does not allow such an interpretation. Recently, a new relation was found by the present author to give a universally valid relation between noise and disturbance in general quantum measurements, and it has become clear that the new relation plays a role of the first principle to derive various quantum limits on measurement and information processing. Here, we discuss the state-dependent notion of precise measurements of a given observable, and consider a perfect distance such that zero distance implies the perfect correlation. Then, we shall show that even in the perfect error notions both the position measuring noise and the momentum disturbance can be arbitrarily small. We also show that it is possible to generalize the new noise-disturbance uncertainty relation to perfect error distances.
Heisenberg's uncertainty principle was originally posed for the limit of the accuracy of simultaneous measurement of non-commuting observables as stating that canonically conjugate observables can be measured simultaneously only with the constraint that the product of their mean errors should be no less than a limit set by Planck's constant. However, Heisenberg with the subsequent completion by Kennard has long been credited only with a constraint for state preparation represented by the product of the standard deviations. Here, we show that Heisenberg actually proved the constraint for the accuracy of simultaneous measurement but assuming an obsolete postulate for quantum mechanics. This assumption, known as the repeatability hypothesis, formulated explicitly by von Neumann and Schrodinger, was broadly accepted until the 1970s, but abandoned in the 1980s, when completely general quantum measurement theory was established. We also survey the author's recent proposal for a universally valid reformulation of Heisenberg's uncertainty principle under the most general assumption on quantum measurement.
Heisenberg's uncertainty principle has been understood to set a limitation on measurements; however, the long standing mathematical formulation established by Heisenberg, Kennard, and Robertson does not allow such an interpretation. Recently, a new relation was found to give a universally valid relation between noise and disturbance in general quantum measurements, and it has become clear that the new relation plays a role of the first principle to derive various quantum limits on measurement and information processing in a unified treatment. This paper examines the above development on the noise-disturbance uncertainty principle in the model independent approach based on measurement operator formalism, which is widely accepted to describe a class of generalized measurements in the field of quantum information. We obtain explicit formulas for noise and disturbance of measurements given by measurement operators, and show that projective measurements do not satisfy the Heisenberg-type noise-disturbance relation that is typical in the gamma-ray microscope thought experiments. We also show that the disturbance on a Pauli operator of a projective measurement of another Pauli operator constantly equals to the square root of 2, and examine how this measurement violates the Heisenberg-type relation but satisfies the new noise-disturbance relation.
The quantification of the ``measurement uncertainty''aspect of Heisenberg's uncertainty principle---that is, the study of trade-offs between accuracy and disturbance, or between accuracies in an approximate joint measurement on two incompatible observables---has regained a lot of interest recently. Several approaches have been proposed and debated. In this paper we consider Ozawa's definitions for inaccuracies (as root-mean-square errors) in approximate joint measurements, and study how these are constrained in different cases, whether one specifies certain properties of the approximations---namely their standard deviations and/or their bias---or not. Extending our previous work [C. Branciard, Proc. Natl. Acad. Sci. USA 110, 6742 (2013)], we derive error-trade-off relations, which we prove to be tight for pure states. We show explicitly how all previously known relations for Ozawa's inaccuracies follow from ours. While our relations are in general not tight for mixed states, we show how these can be strengthened and how tight relations can still be obtained in that case.