Spectral-arc criterion for perfect unitary discrimination (source code)

= Spectral-arc criterion for perfect unitary discrimination

Two unitary gates are perfectly distinguishable in one use exactly when
$$
\theta(U_2^\dagger U_1)\geq\pi.
$$