Abstract:The relative entropy of entanglement $E_R$ is defined as the distance of a multi-partite 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, $E_R$ is everywhere lower semi-continuous. We use this to derive a dual variational expression for $E_R$ 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 multi-partite generalisations, but also for many other similar resource quantifiers, such as the relative entropy of non-Gaussianity, of non-classicality, of Wigner negativity $\unicode{8212}$ more generally, all relative entropy distances from the sets of states with non-negative $\lambda$-quasi-probability distribution. The crucial hypothesis underpinning all these applications is the weak*-closedness of the cone generated by free states, and for this reason the techniques we develop involve a bouquet of classical results from functional analysis. We complement our analysis by giving explicit and asymptotically tight continuity estimates for $E_R$ and closely related quantities in the presence of an energy constraint.

Comment on "Stronger subadditivity of entropy" by Lieb and Seiringer <a class="link-https" data-arxiv-id="math-ph/0412009" href="https://arxiv.org/abs/math-ph/0412009">math-ph/0412009</a>

Another short and elementary proof of strong subadditivity of quantum entropy

A strong subadditivity‐like inequality for quantum entropy in semifinite von Neumann algebras

Entropy Uncertainty Relations and Strong Sub-additivity of Quantum Channels

Remarks on on Kim's Strong Subadditivity Matrix Inequality: Extensions and Equality Conditions

The subadditivity of quantum entropy in Gaussian quantum systems

New additivity properties of the relative entropy of entanglement and its generalizations

Comment on "Convergence of macrostates under reproducible processes" [Phys. Lett. A 374: 3715-3717 (2010)]

A simple derivation of the strong subadditivity inequalities

Strong Limit Theorems for Extended Independent Random Variables and Extended Negatively Dependent Random Variables under Sub-Linear Expectations

A strengthened monotonicity inequality of quantum relative entropy: A unifying approach via Rényi relative entropy

Subadditivity of q-entropies for q>1

The generalized strong subadditivity of the von Neumann entropy for bosonic quantum systems

On an inequality of Lin, Kim and Hsieh and Strong Subadditivity

Monotonically equivalent entropies and solution of additivity equation

Attainability and lower semi-continuity of the relative entropy of entanglement, and variations on the theme

Monotonic Convergence in an Information-Theoretic Law of Small Numbers

Yet another additivity conjecture

A Minkowski Type Trace Inequality and Strong Subadditivity of Quantum Entropy