Key points are not available for this paper at this time.
We find a minimal set of necessary and sufficient conditions for the existence of a local procedure that converts a finite pure state into one of a set of possible final states. This result provides a powerful method for obtaining optimal local entanglement manipulation protocols for pure initial states. As an example, we determine analytically the optimal distillable entanglement for arbitrary finite pure states. We also construct an explicit protocol achieving this bound.
Jonathan et al. (Mon,) studied this question.