Entanglement criterion for a two-term correlated state (source code)

= Entanglement criterion for a two-term correlated state

The state $a|00\rangle+b|11\rangle$ is entangled exactly when $ab\ne0$. Its reduced density matrix has nonzero eigenvalues $|a|^2$ and $|b|^2$.