Heisenberg's uncertainty relation is one of the fundamental results in quantum mechanics.
[1] Later Robertson proved the uncertainty relation for two general non-commuting observables,[2] which was strengthened by Schrödinger.
[3] However, the conventional uncertainty relation like the Robertson-Schrödinger relation cannot give a non-trivial bound for the product of variances of two incompatible observables because the lower bound in the uncertainty inequalities can be null and hence trivial even for observables that are incompatible on the state of the system.
The Heisenberg–Robertson–Schrödinger uncertainty relation was proved at the dawn of quantum formalism and is ever-present in the teaching and research on quantum mechanics.
After about 85 years of existence of the uncertainty relation this problem was solved recently by Lorenzo Maccone and Arun K. Pati.
The standard uncertainty relations are expressed in terms of the product of variances of the measurement results of the observables
However, the stronger uncertainty relations due to Maccone and Pati provide different uncertainty relations, based on the sum of variances that are guaranteed to be nontrivial whenever the observables are incompatible on the state of the quantum system.
[4] (Earlier works on uncertainty relations formulated as the sum of variances include, e.g., He et al.,[5] and Ref.
The Heisenberg–Robertson or Schrödinger uncertainty relations do not fully capture the incompatibility of observables in a given quantum state.
The stronger uncertainty relations give non-trivial bounds on the sum of the variances for two incompatible observables.
is a vector that is orthogonal to the state of the system, i.e.,
The other non-trivial stronger uncertainty relation is given by where
implies that the right-hand side of the new uncertainty relation is nonzero unless
[clarification needed] In quantum theory, one should distinguish between the uncertainty relation and the uncertainty principle.
The former refers solely to the preparation of the system which induces a spread in the measurement outcomes, and does not refer to the disturbance induced by the measurement.
The uncertainty principle captures the measurement disturbance by the apparatus and the impossibility of joint measurements of incompatible observables.
These relations set strong limitations for the nonexistence of common eigenstates for incompatible observables.
The Maccone–Pati uncertainty relations have been experimentally tested for qutrit systems.
[7] The new uncertainty relations not only capture the incompatibility of observables but also of quantities that are physically measurable (as variances can be measured in the experiment).