The minimizer is the arithmetic mean
$$
\overline C=\frac1n\sum_{k=1}^nC_k.
$$
It remains a positive self-adjoint trace-class operator and hence a <covariance operator>. The <Hilbert-Schmidt inner product> gives, for every Hilbert-Schmidt operator $C$,
$$
\sum_{k=1}^n\lVert C_k-C\rVert_{\mathrm{HS}}^2
=\sum_{k=1}^n\lVert C_k-\overline C\rVert_{\mathrm{HS}}^2
+n\lVert C-\overline C\rVert_{\mathrm{HS}}^2,
$$
because $\sum_k(C_k-\overline C)=0$. Thus $\overline C$ is the unique minimizer, including when the minimization is restricted to covariance operators.

Solution

Past exam of the mathematics course of the University of Cambridge / 2024 / iii / Paper 225 / 3 / a / Solution

 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/iii/paper-225/3/a/solution