Attainability and Lower Semi-continuity of the Relative Entropy of Entanglement and Variations on the Theme

The relative entropy of entanglement ER is defined as the distance of a multipartite quantum state from the set of separable states as measured by the quantum relative entropy. We show that this optimisation is always achieved, i.e. any state admits a closest separable state, even in infinite dimensions; also, ER is everywhere lower semi-continuous. We use this to derive a dual variational expression for ER in terms of an external supremum instead of infimum. These results, which seem to have gone unnoticed so far, hold not only for the relative entropy of entanglement and its multipartite generalisations, but also for many other similar resource quantifiers, such as the relative entropy of non-Gaussianity, of non-classicality, of Wigner negativity—more generally, all relative entropy distances from the sets of states with non-negative λ -quasi-probability distribution. The crucial hypothesis underpinning all these applications is the weak*-closedness of the cone generated by free stat...