The Horn cone associated with symplectic eigenvalues

Abstract

In this note, we show that the Horn cone associated with symplectic eigenvalues admits the same inequalities as the classical Horn cone, except that the equality corresponding to Tr(C) = Tr(A)+Tr(B) is replaced by the inequality corresponding to Tr(C) $\ge$ Tr(A)+Tr(B).