 Robertson-Schrödinger uncertainty relation

The Robertson-Schrödinger uncertainty relation keeps the real part discarded in the proof of the Robertson uncertainty principle. Write $A^{\prime }=A-⟨A⟩I$ and $B^{\prime }=B-⟨B⟩I$. Their quantum covariance is $C_{AB}=\mathrm{Re}⟨A^{\prime }\psi |B^{\prime }\psi ⟩$. On the same finite-moment and product operator domains used above, the Cauchy-Schwarz inequality givesFor position and momentum, form the real, symmetrized covariance matrixA larger coordinatewise product can therefore encode a tilted covariance ellipse, rather than a larger determinant. This explains why the equality case of the Heisenberg uncertainty relation is more restrictive than equality in the Robertson-Schrödinger uncertainty relation.