Necessary and sufficient condition for distillability with unit fidelity from finite copies of a mixed state: The most efficient purification protocol

It is well known that any entangled mixed state in 2⊗2 systems can be purified via infinite copies of the mixed state. But, can one distill a pure maximally entangled state from finite copies of a mixed state in any bipartite system by local operation and classical communication? This is more meaningful in practical application. We give a necessary and sufficient condition for this distillability. This condition requires that there exist distillable subspaces. According to this condition, one can judge easily whether a mixed state is distillable or not. We also analyze some properties of distillable subspaces, and discuss the most efficient purification protocol. Finally, we discuss the distillable enanglement of a two-qubit system for the case of finite copies.