Separable state: $\sigma_{AB} = \sum_x p_X(x)\, |\psi_x\rangle\langle\psi_x|_A \otimes |\phi_x\rangle\langle\phi_x|_B$

Initializing...

Separable state: $\sigma_{AB} = \sum_x p_X(x)\, |\psi_x\rangle\langle\psi_x|_A \otimes |\phi_x\rangle\langle\phi_x|_B$ · Prove2Me