 Uhlmann's theorem

Uhlmann's theorem states that the fidelity of two density operators is the maximum absolute overlap between their purifications on a common reference space.