The modern tools of quantum mechanics

We address the basic postulates of quantum mechanics and point out that they are formulated for a closed isolated system. Since we are mostly dealing with systems that interact or have interacted with the rest of the universe one may wonder whether a suitable modi- fication is needed, or in order. This is indeed the case and this tutorial is devoted to review the modern tools of quantum mechanics, which are suitable to describe states, measurements, and operations of realistic, not isolated, systems. We underline the central role of the Born rule and and illustrate how the notion of density operator naturally emerges, to- gether with the concept of purification of a mixed state. In reexamining the postulates of standard quantum measurement theory, we investi- gate how they may be formally generalized, going beyond the descrip- tion in terms of selfadjoint operators and projective measurements, and how this leads to the introduction of generalized measurements, prob- ability operator-valued measures (POVMs) and detection operators. We then state and prove the Naimark theorem, which elucidates the connections between generalized and standard measurements and illus- trates how a generalized measurement may be physically implemented. The “impossibility” of a joint measurement of two non commuting ob- servables is revisited and its canonical implementation as a generalized measurement is described in some details. The notion of generalized measurement is also used to point out the heuristic nature of the so- called Heisenberg principle. Finally, we address the basic properties, usually captured by the request of unitarity, that a map transforming quantum states into quantum states should satisfy to be physically ad- missible, and introduce the notion of complete positivity (CP). We then state and prove the Stinespring/Kraus-Choi-Sudarshan dilation theo- rem and elucidate the connections between the CP-maps description of quantum operations, together with their operator-sum representa- tion, and the customary unitary description of quantum evolution. We also address transposition as an example of positive map which is not completely positive, and provide some examples of generalized mea- surements and quantum operations.