Solution (source code)

= Solution

A bipartite <density operator> is a <separable quantum state> when it has a <convex combination> decomposition
$$
\rho_{AB}=\sum_rq_r\,\rho_r^A\otimes\rho_r^B,
\qquad q_r\geq0,\qquad\sum_rq_r=1,
$$
into <product states>. A state for which no such decomposition exists is an <entangled state>.