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.

A universally valid Heisenberg uncertainty relation

A Universal Formulation of Uncertainty Relation for Error and Disturbance

Universally valid uncertainty relations in general quantum systems

Uncertainty Relations for Joint Measurements of Noncommuting Observables

Simultaneous Measurability of Error and Disturbance

Uncertainty Relations for Accurate Measurements

Universal Uncertainty Relations

Uncertainty Regions of Observables and State-Independent Uncertainty Relations

Tradeoff relations in open quantum dynamics via Robertson, Maccone-Pati, and Robertson-Schrödinger uncertainty relations

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

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

Uncertainty relations revisited

Universal Uncertainty Principle in Different Quantum Theories

Disproving Heisenberg's error-disturbance relation

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

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

Exploring the implications of the uncertainty relationships in quantum mechanics

Entirety of Quantum Uncertainty and Its Experimental Verification

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

A Unified and Strengthened Framework for the Uncertainty Relation

Quantum Entanglement and Generalised Uncertainty Relations