Solution
= Solution
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.