 acting on \({{\mathcal H}}_s\). Because the \(M^k\) are positive (semi-definite) operators, the same is true of the \(Q^k\), and because \(J{^\dagger }J= I_s\) (\(J{^\dagger }\) is the left inverse of \(J\)), it follows from that