 Trace constraint

For a positive semidefinite matrix, a trace bound is a bound on the sum of its nonnegative eigenvalues.