Uncertainty relations for noise and disturbance in generalized quantum measurements

Heisenberg's uncertainty relation for measurement noise and disturbance is commonly understood to state that in any measurement the product of the position measurement noise and the momentum disturbance is not less than Planck's constant divided by 4π. However, it has been shown in many ways that this relation holds only for a restricted class of measuring apparatuses in the most general formulation of measuring processes. Here, Heisenberg's uncertainty relation is generalized to a relation that holds for all the possible quantum measurements, from which rigorous conditions are obtained for measuring apparatuses to satisfy Heisenberg's relation. In particular, every apparatus with the noise and the disturbance statistically independent from the measured object is proven to satisfy Heisenberg's relation. For this purpose, all the possible quantum measurements are characterized by naturally acceptable axioms. Then, a mathematical notion of the distance between probability operator valued measures and observables is introduced and the basic properties are explored. Based on this notion, the measurement noise and disturbance are naturally defined for any quantum measurements in a model independent formulation. Under this formulation, various relations for noise and disturbance are also derived for apparatuses with independent noise, independent disturbance, unbiased noise, and unbiased disturbance as well as noiseless apparatuses and nondisturbing apparatuses. Two models of position measurements are also discussed in the light of the new uncertainty relations to show that Heisenberg's relation can be violated even by approximately repeatable position measurements