Elementary Proofs Of Two Theorems Involving Arguments Of Eigenvalues Of A Product Of Two Unitary Matrices

H. F. Chau, Y. T. Lam

We give elementary proofs of two theorems concerning bounds on the maximum argument of the eigenvalues of a product of two unitary matrices --- one by Childs \emph{et al.} [J. Mod.…