Origin in the convex hull of unit-circle points

The convex hull of finitely many unit-circle points contains zero exactly when the points do not lie in any open semicircle, equivalently when their shortest containing arc has length at least $\pi$.

Two unitary gates are perfectly distinguishable in one use exactly when