Abstract:We revisit the definitions of error and disturbance recently used in error-disturbance inequalities derived by Ozawa and others by expressing them in the reduced system space. The interpretation of the definitions as mean-squared deviations relies on an implicit assumption that is generally incompatible with the Bell-Kochen-Specker-Spekkens contextuality theorems, and which results in averaging the deviations over a non-positive-semidefinite joint quasiprobability distribution. For unbiased measurements, the error admits a concrete interpretation as the dispersion in the estimation of the mean induced by the measurement ambiguity. We demonstrate how to directly measure not only this dispersion but also every observable moment with the same experimental data, and thus demonstrate that perfect distributional estimations can have nonzero error according to this measure. We conclude that the inequalities using these definitions do not capture the spirit of Heisenberg's eponymous inequality, but do indicate a qualitatively different relationship between dispersion and disturbance that is appropriate for ensembles being probed by all outcomes of an apparatus. To reconnect with the discussion of Heisenberg, we suggest alternative definitions of error and disturbance that are intrinsic to a single apparatus outcome. These definitions naturally involve the retrodictive and interdictive states for that outcome, and produce complementarity and error-disturbance inequalities that have the same form as the traditional Heisenberg relation.

Simultaneous Measurability of Error and Disturbance

A Universal Formulation of Uncertainty Relation for Error and Disturbance

Certainty in Heisenberg's uncertainty principle: Revisiting definitions for estimation errors and disturbance

Heisenberg's Error-Disturbance Relations: A Joint Measurement-Based Experimental Test

Influence of Weak Measurement on Uncertainty Relations in a Quantum Dissipative System

Heisenberg's uncertainty principle for simultaneous measurement of positive-operator-valued measures

A universally valid Heisenberg uncertainty relation

Uncertainty Regions of Observables and State-Independent Uncertainty Relations

Experimental demonstration of a universally valid error-disturbance uncertainty relation in spin-measurements

Operations, disturbance, and simultaneous measurability

Uncertainty Relations for Accurate Measurements

The Measurement-Disturbance Relation and the Disturbance Trade-off Relation in Terms of Relative Entropy

Experimental test of Heisenberg's measurement uncertainty relation based on statistical distances

Error and Disturbance as Irreversibility with Applications: Unified Definition, Wigner--Araki--Yanase Theorem and Out-of-Time-Order Correlator

Universally valid uncertainty relations in general quantum systems

Quantum Estimation Theory of Error and Disturbance in Quantum Measurement

Quantum Uncertainty Switches on or off the Error-Disturbance Tradeoff

Entirety of Quantum Uncertainty and Its Experimental Verification

Quantum Uncertainty and Error-Disturbance Tradeoff

Uncertainty equalities and uncertainty relation in weak measurement

Uncertainty Relations for Joint Measurements of Noncommuting Observables