%0 Journal Article %T Short proofs of theorems of Mirsky and Horn on diagonals and eigenvalues of matrices %A Eric A. Carlen %A Elliott H. Lieb %J Mathematics %D 2009 %I arXiv %X A theorem of Mirsky provides necessary and sufficient conditions for the existence of an N-square complex matrix with prescribed diagonal entries and prescribed eigenvalues. We give a simple inductive proof of this theorem. %U http://arxiv.org/abs/0904.0734v3