Controlled-unitary entangling criterion

ID: controlled-unitary-entangling-criterion

For a qubit control and finite-dimensional target with unitary operator V, the controlled unitary gate is entangling if and only if V is not scalar. If , the controlled operation is a phase gate on the control tensored with the target identity and preserves every product state.
Otherwise the spectral theorem supplies two orthonormal eigenvectors with distinct eigenvalues . Set and use product input . The two conditional target vectors and are linearly independent because their eigenbasis coefficients would otherwise require . The conditional-vector product-state criterion shows that their coherent controlled superposition is entangled. Thus even a target gate arbitrarily close to scalar can be entangling, although the resulting entanglement need not be large.

New to topics? Read the docs here!