Until recently, a quantum instrument was defined to be a completely positive operation-valued measure from the set of states on a Hilbert space to itself. In the last few years, this definition has been generalized to such measures between sets of states from different Hilbert spaces called the input and output Hilbert spaces. This article presents a theory of such instruments. Ways that instruments can be combined such as convex combinations, post-processing, sequential products, tensor products and conditioning are studied. We also consider marginal, reduced instruments and how these are used to define coexistence (compatibility) of instruments. Finally, we present a brief introduction to quantum measurement models where the generalization of instruments is essential. Many of the concepts of the theory are illustrated by examples. In particular, we discuss Holevo and Kraus instruments. Quanta 2023; 12: 27–40.
This article considers quantum systems described by a finite-dimensional complex Hilbert space
H. We first define the concept of a finite observable on
H. We then discuss ways of combining observables in terms of convex combinations, post-processing and sequential products. We also define complementary and coexistent observables. We then introduce finite instruments and their related compatible observables. The previous combinations and relations for observables are extended to instruments and their properties are compared. We present four types of instruments; namely, identity, trivial, Lüders and Kraus instruments. These types are used to illustrate different ways that instruments can act. We next consider joint probabilities for observables and instruments. The article concludes with a discussion of measurement models and the instruments they measure.
We begin with a study of operations and the effects they measure. We define the probability that an effect
a occurs when the system is in a state
ρ by
Pρ(a)=Tr(ρa). If
Pρ(a)=0 and
I is an operation that measures
a, we define the conditional probability of an effect
b given
a relative to
I by
Pρ(b∣a)=Tr[I(ρ)b]/Pρ(a). We characterize when Bayes' quantum second rule
Pρ(b∣a)=Pρ(a)Pρ(b)Pρ(a∣b) holds. We then consider Lüders and Holevo operations. We next discuss instruments and the observables they measure. If
A and
B are observables and an instrument
I measures
A, we define the observable
B conditioned on
A relative to
I and denote it by
(B∣A). Using these concepts, we introduce Bayes' quantum first rule. We observe that this is the same as the classical Bayes' first rule, except it depends on the instrument used to measure
A. We then extend this to Bayes' quantum first rule for expectations. We show that two observables
B and
C are jointly commuting if and only if there exists an atomic observable
A such that
B=(B∣A) and
C=(C∣A). We next obtain a general uncertainty principle for conditioned observables. Finally, we discuss observable conditioned quantum entropies. The theory is illustrated with many examples. Quanta 2024; 13: 1–10.
Abstract This chapter develops the fundamental notions and concepts of the probabilistic and statistical interpretation of quantum mechanics. It begins with a brief review of the mathematical structure given by a Hilbert space of state vectors and an algebra of observables represented by selfadjoint operators. Special emphasis is laid on the connection between the spectral representation of a selfadjoint operator and a corresponding random variable that describes the possible measurement outcomes. The chapter further introduces the concepts of a composite quantum system, of the reduced density matrix, and of entangled quantum states. A section on quantum entropies is included, as well as the mathematical formulation of the generalized theory of quantum measurements in terms of completely positive quantum operations and effects.
Max Born's statistical interpretation made probabilities play a major role in quantum theory. Here we show that these quantum probabilities and the classical probabilities have very different origins. While the latter always result from an assumed probability measure, the first include transition probabilities with a purely algebraic origin. Moreover, the general definition of transition probability introduced here comprises not only the well-known quantum mechanical transition probabilities between pure states or wave functions, but further novel cases. A transition probability that differs from 0 and 1 manifests the typical quantum indeterminacy in a similar way as Heisenberg's and others' uncertainty relations and, furthermore, rules out deterministic states in the same way as the Bell-Kochen-Specker theorem. However, the transition probability defined here achieves a lot more beyond that: it demonstrates that the algebraic structure of the Hilbert space quantum logic dictates the precise values of certain probabilities and it provides an unexpected access to these quantum probabilities that does not rely on states or wave functions.
Max Born's statistical interpretation made probabilities play a major role in quantum theory. Here we show that these quantum probabilities and the classical probabilities have very different origins. Although the latter always result from an assumed probability measure, the first include transition probabilities with a purely algebraic origin. Moreover, the general definition of transition probability introduced here comprises not only the well-known quantum mechanical transition probabilities between pure states or wave functions, but further physically meaningful and experimentally verifiable novel cases. A transition probability that differs from 0 and 1 manifests the typical quantum indeterminacy in a similar way as Heisenberg's and others' uncertainty relations and, furthermore, rules out deterministic states in the same way as the Bell-Kochen-Specker theorem. However, the transition probability defined here achieves a lot more beyond that: it demonstrates that the algebraic structure of the Hilbert space quantum logic dictates the precise values of certain probabilities and it provides an unexpected access to these quantum probabilities that does not rely on states or wave functions.