Flagged purification of a quantum ensemble ($|U⟩={\sum }_x\sqrt{p_x}|u_x⟩|x⟩$)

For $\rho ={\sum }_x{p}_x{\rho }_x$, choose component purifications $|u_x{⟩}_{AR}$ and an orthonormal flag register. The vector $|U⟩={\sum }_x\sqrt{p_x}|u_x⟩|x⟩$ is normalized and reduces to $\rho$ after tracing out $R$ and the flag. Orthogonal labels remove the cross terms. This construction turns mixture identities into pure-state overlap arguments and proves joint concavity of quantum fidelity.