Distillable entanglement under dually non-entangling operations

Computing the exact rate at which entanglement can be distilled from noisy quantum states is one of the longest-standing questions in quantum information. We give an exact solution for entanglement distillation under the set of dually non-entangling (DNE) operations-a relaxation of the typically considered local operations and classical communication, comprising all channels which preserve the sets of separable states and measurements. We show that the DNE distillable entanglement coincides with a modified version of the regularised relative entropy of entanglement in which the arguments are measured with a separable measurement. Ours is only the second known regularised formula for the distillable entanglement under any class of free operations in entanglement theory, after that given by Devetak and Winter for (one-way) local operations and classical communication. An immediate consequence of our finding is that, under DNE, entanglement can be distilled from any entangled state. As our second main result, we construct a general upper bound on the DNE distillable entanglement, using which we prove that the separably measured relative entropy of entanglement can be strictly smaller than the regularisation of the standard relative entropy of entanglement, solving an open problem posed by Li and Winter. Finally, we study also the reverse task of entanglement dilution and show that the restriction to DNE operations does not change the entanglement cost when compared with the larger class of non-entangling operations. This implies a strong form of irreversiblility of entanglement theory under DNE operations: even when asymptotically vanishing amounts of entanglement may be generated, entangled states cannot be converted reversibly. Computing how much entanglement can be extracted from imperfect quantum states is a long-standing problem in quantum resource theory. Here, Lami and Regula move away from the usual case in which the operations considered free to implement are local operations and classical communication, and find instead a solution for the case of dually non-entangling operations.