Diagonals of self-adjoint operators

William Arveson, Richard V. Kadison

The eigenvalues of a self-adjoint nxn matrix A can be put into a decreasing sequence $\lambda =({\lambda }_1,...,{\lambda }_n)$, with repetitions according to multiplicity, and the diagonal of A is a point…