Definition
Recall that a density operator is a non-negative operator on a Hilbert space with unit trace.
Mathematically, a quantum operation is a linear map Φ between spaces of trace class operators on Hilbert spaces H and G such that
- If S is a density operator, Tr(Φ(S)) ≤ 1.
- Φ is completely positive, that is for any natural number n, and any square matrix of size n whose entries are trace-class operators
and which is non-negative, then
is also non-negative. In other words, Φ is completely positive if is positive for all n, where denotes the identity map on the C*-algebra of matrices.
Note that by the first condition quantum operations may not preserve the normalization property of statistical ensembles. In probabilistic terms, quantum operations may be sub-Markovian. In order that a quantum operation preserve the set of density matrices, we need the additional assumption that it is trace-preserving.
Read more about this topic: Quantum Operation
Famous quotes containing the word definition:
“... we all know the wag’s definition of a philanthropist: a man whose charity increases directly as the square of the distance.”
—George Eliot [Mary Ann (or Marian)
“The physicians say, they are not materialists; but they are:MSpirit is matter reduced to an extreme thinness: O so thin!—But the definition of spiritual should be, that which is its own evidence. What notions do they attach to love! what to religion! One would not willingly pronounce these words in their hearing, and give them the occasion to profane them.”
—Ralph Waldo Emerson (1803–1882)
“The very definition of the real becomes: that of which it is possible to give an equivalent reproduction.... The real is not only what can be reproduced, but that which is always already reproduced. The hyperreal.”
—Jean Baudrillard (b. 1929)