We studied pure state transformations using local operations assisted by finitely many rounds of classical communication (${\text{LOCC}}_{IN}$) [C. Spee, J. I. de Vicente, D. Sauerwein, and B. Kraus [Phys. Rev. Lett. (to be published)], arXiv:1606.04418]. Here, we present the details of some of the proofs and generalize the construction of examples of state transformations via ${\text{LOCC}}_{IN}$ which require a probabilistic step. However, we also present explicit examples of SLOCC classes where any separable transformation can be realized by a protocol in which each step is deterministic (all-det-${\text{LOCC}}_{IN}$). Such transformations can be considered as natural generalizations of bipartite transformations. Furthermore, we provide examples of pure state transformations which are possible via separable transformations, but not via ${\text{LOCC}}_{IN}$. We also analyze an interesting genuinely multipartite effect which we call locking or unlocking the power of other parties. This means that one party can prevent or enable the implementation of LOCC transformations by other parties. Moreover, we investigate the maximally entangled set restricted to ${\text{LOCC}}_{IN}$ and show how easily computable bounds on some entanglement measures can be derived by restricting to ${\text{LOCC}}_{IN}$.

• Received 21 July 2016

DOI:https://doi.org/10.1103/PhysRevA.95.012323