 (We assume that \(\hat Q=J{^\dagger }\hat M J=0\) for the special projector \(\hat M\) introduced following .) Thus \(\{Q^k\}\) is a collection of positive operators which sum to the identity, which is the definition of a POVM.