Գրեք սա: A theory of quantum subspace diagonalization