Square-root barycenter of covariance operators

For covariance operators $C_1,\dots ,C_n$, their Fréchet mean under the square-root distance isThis follows because taking positive square roots embeds the operators into the Hilbert space of self-adjoint Hilbert-Schmidt operators.