Cite this problem as Problem 7.
The entanglement of formation  is one of the standard measures of entanglement. It is defined, for any density operator on a bipartite system, as
where denotes the von Neumann entropy and denotes the restriction of a density operator to the “Alice” subsystem (partial trace over the other subsystem), the are density operators and the are positive, adding up to one. Since is concave, the infimum is attained at a convex decomposition of into pure states, and the definition is often given as this restricted infimum.
Consider now a pair , of bipartite density operators, and their tensor product , which lives on a tensor product of four Hilbert spaces, but can be considered as a bipartite state when the two Alice subsepaces and the two Bob subspaces are grouped together. Then it is easy to show (by plugging the tensor product of the optimal decompositions of the factors into the variational expression and using the additivity of the entropy) that
The problem is to show that equality always holds here.
This inequality is crucial to settle the interpretation of as a ”resource” quantity. The typical kind of tensor products appearing in the theory are pairs created by (maybe different) sources of entangled states, and kept for later use.
The additivity of entanglement of formation could be proven for several examples of states by Vidal et al. .
This problem has been shown to be equivalent to problem 10: Additivity of classical capacity and related problems
See problem 10: Additivity of classical capacity and related problems
 C. H. Bennett, D. P. DiVincenzo, J. A. Smolin, and W. K. Wootters, Mixed-state entanglement and quantum error correction, Phys. Rev. A 54, 3824 (1996) and quant-ph/9604024 (1996).
 G. Vidal, W. Dür, and J. I. Cirac, Entanglement cost of mixed states, Phys. Rev. Lett. 89, 027901 (2002) and quant-ph/0112131 (2001).