I've obtained a necessary and sufficient condition for the unshifted QR algorithm to converge. The condition for the algorithm to converge for a square matrix $M$ is:
For any two eigenvalues $\lambda$ and $\mu$ of $M$, if $|\lambda| = |\mu|$ then $\lambda = \mu$.
The condition implies that (a) The algorithm converges for all positive-definite Hermitian matrices (b) The algorithm converges for almost all square matrices over $\mathbb C$.
I'm guessing that this condition has already been proved. I'd like to compare my proof to other's. Where can I find a reference?