- #141
gill1109
Gold Member
- 271
- 62
Nowadays there is a neat way to combine everything into one object, called an "instrument with settings". It's a black box which takes a classical input (the experimenter can turn a dial or press a button) and a quantum input (which is described by a density matrix). It has a classical output and a quantum output. We axiomatically state that a probabilistic mixture of quantum inputs is equivalent to an input of the corresponding mixture of density matrices. We assume that independent quantum inputs can be combined using tensor product formalism. We argue that any instrument must be linear, normalized, and totally positive. It follows by Naimark theorem that it has to have the Kraus representation form. Preparations are instruments with no inputs. Measurements are instruments with quantum input and classical output only. It's a theorem (called the dilation theorem) that every instrument can be realized by adding an independent auxiliary quantum input and then combining in turn unitary evolution, measurement of an observable with transformation of the state according to the Lüders - von Neumann collapse postulate, and finally possible discarding of (some parts of) the outputs.
So one can build the most general kinds of black boxes allowed by a few fundamental principles from "elementary boxes" for unitary evolution and von Neumann measurement, as long as one can also bring in auxiliary quantum systems.
This means that there are three equivalent ways to describe a quantum instrument
(1) by its properties of linearity, total positivity, normed
(2) by Kraus representation (collection of matrices ...)
(3) as combination of adding an ancillary Q system, do unitary transformation on composite system, do von Neumann measurement, possibly discard some parts of quantum or classical output
So one can build the most general kinds of black boxes allowed by a few fundamental principles from "elementary boxes" for unitary evolution and von Neumann measurement, as long as one can also bring in auxiliary quantum systems.
This means that there are three equivalent ways to describe a quantum instrument
(1) by its properties of linearity, total positivity, normed
(2) by Kraus representation (collection of matrices ...)
(3) as combination of adding an ancillary Q system, do unitary transformation on composite system, do von Neumann measurement, possibly discard some parts of quantum or classical output
Last edited: