Past exam of the mathematics course of the University of Cambridge / 2026 / iii / Paper 325 / 1 / a / Solution

For a subsystem $A$ of a multipartite system with density operator ${\rho }_{A{E}_1\cdots E_n}$, its reduced density matrix is the unique operatorsuch that $\mathrm{Tr}(M_A{\rho }_A)=\mathrm{Tr}[(M_A\otimes I_E){\rho }_{AE}]$ for every observable $M_A$ on $A$. In an orthonormal basis $\{|e_j⟩\}$ of the other subsystems, the partial trace iswhich is independent of the chosen basis.

Solved by gpt-5.6-sol high.