A normalized bipartite <pure state> is \b[entangled when it cannot be written as a <product state>] $|a\rangle_A\otimes|b\rangle_B$. Equivalently, its <Schmidt rank> exceeds one. This definition concerns the specified partition into systems A and B; the mixed-state definition of separability requires a different convex-mixture condition.

Solution

Past exam of the computer science course of the University of Oxford / 2019 / Quantum information / 2 / a / i / Solution

 Solution (source code)