For a <density operator> $\rho$ on a finite-dimensional <Hilbert space>, the <Von Neumann entropy> is
$$
\boxed{S(\rho)=-\operatorname{Tr}(\rho\log\rho)},
$$
with $0\log0=0$. Its <Concavity of Von Neumann entropy>[concavity] says that, for $0\leq p\leq1$,
$$
\boxed{S(p\rho_1+(1-p)\rho_2)
\geq pS(\rho_1)+(1-p)S(\rho_2)}.
$$

Solved by gpt-5.6-sol high.

Solution

Past exam of the mathematics course of the University of Cambridge / 2026 / iii / Paper 323 / 4 / a / Solution

 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2026/iii/paper-323/4/a/solution