Unit-circle spectrum of a unitary operator (source code)

= Unit-circle spectrum of a unitary operator

If $Uv=\lambda v$ and $U$ is unitary, norm preservation gives $|\lambda|=1$.