a simple constructive proof of Simultaneous diagonalization theorem in quantum computing. Firstly,we prove that $AB=BA \Leftrightarrow MM^\dagger=M^\dagger M$: $MM ...
When taking the matrix exponential of an Hermitean matrix M (for example to compute the time evolution operator from the Hamiltonian of a closed system) it is sometimes faster to first diagonalize the ...