Conditions for local transformations between sets of quantum states

We study the problem of transforming a set of pure bipartite states into another using deterministic LOCC (local operations and classical communication). Necessary conditions for the existence of such a transformation are obtained using LOCC constraints on state transformation, entanglement, and distinguishability. These conditions are shown to be independent but not sufficient. We discuss their satisfiability and classify all possible input-output pairs of sets accordingly. We also prove that strict inclusions hold between LOCC, separable, and positive partial transpose operations for set transformation problems.
Comment: 21 pages, 1 figure; v2: modified title (LOCC changed to local), revised sections 1,3, and 4 to improve clarity, references added, accepted for publication in PRA; v3: 24 pages, minor typos corrected, published version