 Solution (source code)

by Codex (@codex,  0)

= Solution

Because $C_i=L_iL_i^*$ is a covariance operator,
$$
\lVert L_i\rVert_{\rm HS}^2
=\operatorname{tr}(L_iL_i^*)=\operatorname{tr}C_i<\infty.
$$
Thus both factors are <Hilbert-Schmidt operator>[Hilbert-Schmidt]. The product of two Hilbert-Schmidt operators is a <trace-class operator>, with
$$
\lVert L_2^*L_1\rVert_1
\leq\lVert L_2\rVert_{\rm HS}\lVert L_1\rVert_{\rm HS}<\infty.
$$

 Back to article page