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.

Gaussian Formalism: Concrete Realization of Joint Measurement for Heisenberg's Uncertainty Relation for Errors

Gluon Radiation off Massive Quarks in a QCD Medium

A Universal Formulation of Uncertainty Relation for Error and Disturbance

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

Uncertainty Relations for Accurate Measurements

Entirety of Quantum Uncertainty and Its Experimental Verification

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

Simultaneous Measurability of Error and Disturbance

Optimal Joint Measurements of Complementary Observables by a Single Trapped Ion

Uncertainty Relations for Joint Measurements of Noncommuting Observables

Experimental Test of Error-Tradeoff Uncertainty Relation Using a Continuous-Variable Entangled State

Optimal uncertainty relations for extremely coarse-grained measurements

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

Verifying Heisenberg’s Error-Disturbance Relation Using a Single Trapped Ion

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

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

Constraints on Gaussian Error Channels and Measurements for Quantum Communication

Entropic Uncertainty Relations via Direct-Sum Majorization Relation for Generalized Measurements

Exploring the implications of the uncertainty relationships in quantum mechanics

Unified analysis of non-Markovian open quantum systems in Gaussian environment using superoperator formalism

Universally valid uncertainty relations in general quantum systems