Entangled Pure State Transformations via Local Operations Assisted by Finitely Many Rounds of Classical Communication

We consider generic pure $n$-qubit states and a general class of pure states of arbitrary dimensions and arbitrarily many subsystems. We characterize those states which can be reached from some other state via Local Operations assisted by finitely many rounds of Classical Communication ($LOCC_{\mathbb{N}}$). For $n$ qubits with $n>3$ we show that this set of states is of measure zero, which implies that the maximally entangled set is generically of full measure if restricted to the practical scenario of $LOCC_{\mathbb{N}}$. Moreover, we identify a class of states for which any $LOCC_{\mathbb{N}}$ protocol can be realized via a concatenation of deterministic steps. We show, however, that in general there exist state transformations which require a probabilistic step within the protocol, which highlights the difference between bipartite and multipartite LOCC.