Details
Suppose V, W are finite-dimensional vector spaces over a field, with dimensions m and n, respectively. For any space A let L(A) denote the space of linear operators on A. The partial trace over W, TrW, is a mapping
It is defined as follows: let
and
be bases for V and W respectively; then T has a matrix representation
relative to the basis
of
- .
Now for indices k, i in the range 1, ..., m, consider the sum
This gives a matrix bk, i. The associated linear operator on V is independent of the choice of bases and is by definition the partial trace.
Among physicists, this is often called "tracing out" or "tracing over" W to leave only an operator on V in the context where W and V are Hilbert spaces associated with quantum systems (see below).
Read more about this topic: Partial Trace
Famous quotes containing the word details:
“Anyone can see that to write Uncle Tom’s Cabin on the knee in the kitchen, with constant calls to cooking and other details of housework to punctuate the paragraphs, was a more difficult achievement than to write it at leisure in a quiet room.”
—Anna Garlin Spencer (1851–1931)