Partial Trace As A Quantum Operation
The partial trace can be viewed as a quantum operation. Consider a quantum mechanical system whose state space is the tensor product of Hilbert spaces. A mixed state is described by a density matrix ρ, that is a non-negative trace-class operator of trace 1 on the tensor product The partial trace of ρ with respect to the system B, denoted by, is called the reduced state of ρ on system A. In symbols,
To show that this is indeed a sensible way to assign a state on the A subsystem to ρ, we offer the following justification. Let M be an observable on the subsystem A, then the corresponding observable on the composite system is . However one chooses to define a reduced state, there should be consistency of measurement statistics. The expectation value of M after the subsystem A is prepared in and that of when the composite system is prepared in ρ should be the same, i.e. the following equality should hold:
We see that this is satisfied if is as defined above via the partial trace. Furthermore it is the unique such operation.
Let T(H) be the Banach space of trace-class operators on the Hilbert space H. It can be easily checked that the partial trace, viewed as a map
is completely positive and trace-preserving.
The partial trace map as given above induces a dual map between the C*-algebras of bounded operators on and given by
maps observables to observables and is the Heisenberg picture representation of .
Read more about this topic: Partial Trace
Famous quotes containing the words partial, trace, quantum and/or operation:
“Both the man of science and the man of art live always at the edge of mystery, surrounded by it. Both, as a measure of their creation, have always had to do with the harmonization of what is new with what is familiar, with the balance between novelty and synthesis, with the struggle to make partial order in total chaos.... This cannot be an easy life.”
—J. Robert Oppenheimer (1904–1967)
“We can trace almost all the disasters of English history to the influence of Wales.”
—Evelyn Waugh (1903–1966)
“But how is one to make a scientist understand that there is something unalterably deranged about differential calculus, quantum theory, or the obscene and so inanely liturgical ordeals of the precession of the equinoxes.”
—Antonin Artaud (1896–1948)
“An absolute can only be given in an intuition, while all the rest has to do with analysis. We call intuition here the sympathy by which one is transported into the interior of an object in order to coincide with what there is unique and consequently inexpressible in it. Analysis, on the contrary, is the operation which reduces the object to elements already known.”
—Henri Bergson (1859–1941)