In
physics
Physics is the natural science that studies matter, its fundamental constituents, its motion and behavior through space and time, and the related entities of energy and force. "Physical science is that department of knowledge which r ...
, a quantum instrument is a mathematical abstraction of a
quantum measurement
In quantum physics, a measurement is the testing or manipulation of a physical system to yield a numerical result. The predictions that quantum physics makes are in general probabilistic. The mathematical tools for making predictions about what ...
, capturing both the
classical and
quantum
In physics, a quantum (plural quanta) is the minimum amount of any physical entity (physical property) involved in an interaction. The fundamental notion that a physical property can be "quantized" is referred to as "the hypothesis of quantizati ...
outputs. It combines the concepts of
measurement
Measurement is the quantification of attributes of an object or event, which can be used to compare with other objects or events.
In other words, measurement is a process of determining how large or small a physical quantity is as compared ...
and
quantum operation
In quantum mechanics, a quantum operation (also known as quantum dynamical map or quantum process) is a mathematical formalism used to describe a broad class of transformations that a quantum mechanical system can undergo. This was first discusse ...
. It can be equivalently understood as a
quantum channel
In quantum information theory, a quantum channel is a communication channel which can transmit quantum information, as well as classical information. An example of quantum information is the state of a qubit. An example of classical information i ...
that takes as input a quantum system and has as its output two systems: a classical system containing the outcome of the measurement and a quantum system containing the post-measurement state.
Definition
Let
be a countable set describing the outcomes of a measurement, and let
denote a collection of trace-non-increasing
completely positive map
In mathematics a positive map is a map between C*-algebras that sends positive elements to positive elements. A completely positive map is one which satisfies a stronger, more robust condition.
Definition
Let A and B be C*-algebras. A linear m ...
s, such that the sum of all
is trace-preserving, i.e.
for all positive operators
.
Now for describing a quantum measurement by an instrument
, the maps
are used to model the mapping from an input state
to the output state of a measurement conditioned on a classical measurement outcome
. Therefore, the probability of measuring a specific outcome
on a state
is given by
The state after a measurement with the specific outcome
is given by
If the measurement outcomes are recorded in a classical register, whose states are modeled by a set of orthonormal projections
, then the action of an instrument
is given by a quantum channel
with
Here
and
are the Hilbert spaces corresponding to the input and the output systems of the instrument.
A quantum instrument is an example of a
quantum operation
In quantum mechanics, a quantum operation (also known as quantum dynamical map or quantum process) is a mathematical formalism used to describe a broad class of transformations that a quantum mechanical system can undergo. This was first discusse ...
in which an "outcome"
indicating which operator acted on the state is recorded in a classical register. An expanded development of quantum instruments is given in
quantum channel
In quantum information theory, a quantum channel is a communication channel which can transmit quantum information, as well as classical information. An example of quantum information is the state of a qubit. An example of classical information i ...
.
References
* E. Davies, J. Lewis. An operational approach to quantum probability, Comm. Math. Phys., vol. 17, pp. 239–260, 1970.
Distillation of secret key paperAnother paper which uses the concept
Quantum mechanics
{{quantum-stub