Quantum instruments: II. Measurement theory
Juha-Pekka Pellonpää · Journal of Physics A Mathematical and Theoretical · 2012
For any quantum observable (positive operator valued measure (POVM)), we show that its compatible quantum instruments can be identified with certain channels and can be seen as combinations of Lüders operations and channels. We prove that a POVM is rank-1 exactly when its compatible instruments are nuclear and their associate channels are entanglement-breaking. Any instrument can be maximally refined into a rank-1 instrument. We present a characterization for (minimal) pure realizations of instruments and characterize completely the minimal pure measurement models of POVMs. The standard model of quantum measurement theory is generalized for arbitrary observables. Finally, we study post measurement states.