Spectral arc length of a unitary operator (source code)

= Spectral arc length of a unitary operator

The spectral arc length $\theta(U)$ is the length of the shortest closed unit-circle arc containing every eigenvalue of $U$.