Abstract:We prove that the relative entropy of entanglement is additive when \emph{at least one of the two states} belongs to some specific class. We show that these classes include bipartite pure, maximally correlated, GHZ, Bell diagonal, isotropic, and generalized Dicke states. Previously, additivity was established only if \textit{both} states belong to the same class. Moreover, we extend these results to entanglement monotones based on the $\alpha$-$z$ Rényi relative entropy. Notably, this family of monotones includes also the generalized robustness of entanglement and the geometric measure of entanglement. In addition, we prove that any monotone based on a quantum relative entropy is not additive for general states. We also compute closed-form expressions of the monotones for bipartite pure, Bell diagonal, isotropic, generalized Werner, generalized Dicke, and maximally correlated Bell diagonal states. Our results rely on developing a method that allows us to recast the initial convex optimization problem into a simpler linear one. Even though we mostly focus on entanglement theory, we expect that some of our technical results could be useful in investigating more general convex optimization problems.

Another short and elementary proof of strong subadditivity of quantum entropy

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>

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

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

Subadditivity of q-entropies for q>1

Ruminations on Matrix Convexity and the Strong Subadditivity of Quantum Entropy

On an inequality of Lin, Kim and Hsieh and strong subadditivity

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

A simple derivation of the strong subadditivity inequalities

The subadditivity of quantum entropy in Gaussian quantum systems

Quantum weighted entropy and its properties

A family of monotone quantum relative entropies

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

A New Proof of The Strong Subadditivity Theorem

A Minkowski Type Trace Inequality and Strong Subadditivity of Quantum Entropy

An Elementary Proof of the Inequality $χ\leq χ^*$ for Conditional Free Entropy

Continuity bounds for quantum entropies arising from a fundamental entropic inequality

Bounds on the Concavity of Quantum Entropy

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