Single-use perfect discrimination of two unitary gates (source code)

= Single-use perfect discrimination of two unitary gates

Perfect discrimination is possible exactly when some unit vector satisfies
$$
\langle\psi|U_2^\dagger U_1|\psi\rangle=0.
$$