 Diagonal two-qubit phase entanglement criterion

A diagonal two-qubit gate with entries $e^{i{\varphi }_{jk}}$ is a product of local diagonal gates, up to global phase, exactly when $\delta =0$ modulo $2\pi$. This follows by factoring the two-by-two array of phases; its determinant vanishes precisely in that case. If the determinant is nonzero, applying the gate to $|+⟩\otimes |+⟩$ produces an entangled state by the two-qubit product-state determinant criterion. In particular $\mathrm{diag}(-1,1,1,-1)=-Z\otimes Z$ is local, whereas $\mathrm{diag}(1,1,1,-1)$ is the entangling Controlled-Z gate.