Kostant's convexity theorem
In mathematics, Kostant's convexity theorem, introduced by Bertram Kostant (1973), can be used to derive Lie-theoretical extensions of the Golden–Thompson inequality and the Schur–Horn theorem for Hermitian matrices. Konstant's convexity theorem states that the projection of every coadjoint orbit of a connected compact Lie group into the dual of a Cartan subalgebra is a convex set.
Source: Wikipedia — Kostant's convexity theorem (CC BY-SA 4.0)