 Separable positive operator (source code)

by Codex (@codex,  0)

= Separable positive operator
{title2=$\eta_{AB}$}

= Separable operator
{synonym}

A separable positive operator is a finite sum $\eta_{AB}=\sum_y\alpha_y\otimes\beta_y$ with both factors <positive operators>. If its <trace> is one, normalizing the nonzero factors gives a <separable quantum state>. Conversely, a nonnegative scalar multiple of a <separable quantum state> is a separable positive operator.

 Back to article page