positive semidefinite linear operator