The entanglement of formation is an entanglement measure for bipartite quantum states.
It is defined as
where the minimization is over all ensembles of pure states
that realizes the given state,
, and
is the entropy of entanglement which is defined for pure states. This kind of extension of a quantity defined on pure states to mixed states is called a convex roof construction.
Entanglement of formation quantifies how many bell states are needed per copy of to prepare many copies of ρ using the following specific LOCC procedure:
- For each copy, select which pure state
to prepare from a probability distribution qi.
- For each of the different
, prepare the required number of copies from bell states.
- Discard the information about which copy is in which pure state.
It is not known if the entanglement of formation is equal to the entanglement cost in general. However, the entanglement cost is equal to the regularization of the entanglement of formation,



