Past exam of the mathematics course of the University of Cambridge / 2022 / iii / Paper 323 / 5 / c

Choose any pure input $\rho =|\varphi ⟩⟨\varphi |$. Its reference system may be one-dimensional, and the Stinespring output on $QE$ is pure. Its two reduced states have equal entropy by part a, hence