Equality Conditions for an Additive Three-Observable Uncertainty Relation

Abstract

Uncertainty relations play a fundamental role in quantum mechanics by quantifying the intrinsic limitations on the simultaneous sharpness of incompatible observables. Beyond the standard two-observable product form, additive uncertainty relations for triples of observables provide a natural framework for describing collective constraints among three noncommuting components. In this work, we study an additive uncertainty relation for three Hermitian observables from the viewpoint of rotational symmetry and covariance geometry. We give a short rotational derivation by rotating the observable triple and applying the Robertson uncertainty relation to the two transverse observables. This derivation makes the saturation mechanism transparent and leads to a necessary and sufficient condition for equality for general density operators. In the nontrivial equality case, the covariance ellipsoid of the observable triple degenerates into a disk perpendicular to the expectation value of the commutator vector. We also discuss an inverse construction based on finite-dimensional representations of the Lie algebra \(\mathfrak{su}(2)\), which provides a systematic way to construct observable triples with prescribed saturating states. These results clarify the geometric and representation-theoretic structure underlying the tightness of additive three-observable uncertainty relations.