Science Fair Project Encyclopedia
In linear algebra and functional analysis, the partial trace is a generalization of the trace. Whereas the trace is a scalar valued function on operators, the partial trace is an operator-valued function. The partial trace has applications in the relative state interpretation of quantum mechanics.
Suppose V, W are finite-dimensional vector spaces over a field of dimension m, n respectively.. The partial trace TrV is a mapping
It is defined as follows: let
be bases for V and W respectively; then T has a matrix representation
relative to the basis
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.
The partial trace operator can be characterized invariantly as follows: It is the unique linear operator
Partial trace for operators on Hilbert spaces
The partial trace generalizes to operators on infinite dimensional Hilbert spaces. Suppose V, W are Hilbert spaces, and let
be an orthonormal basis for W. Now there is an isometric isomorphism
Under this decomposition, any operator can be regarded as an infinite matrix of operators on V
First suppose T is a non-negative operator. In this case, all the diagonal entries of the above matrix are non-negative operators on V. If the sum
converges in the strong operator topology of L(V), it is independent of the chosen basis of W. The partial trace TrV(T) is defined to be this operator. The partial trace of a self-adjoint operator is defined iff the partial traces of the positive and negative parts are defined.
Computing the partial trace
Suppose W has an orthonormal basis, which we denote by ket vector notation as . Then
Partial trace and invariant integration
In the case of finite dimensional Hilbert spaces, there is a useful way of looking at partial trace involving integration with respect to a suitably normalized Haar measure μ over the unitary group U(W) of W. Suitably normalized means that μ is taken to be a measure with total mass dim(W).
Theorem. Suppose V, W are finite dimensional Hilbert spaces. Then
commutes with all operators of the form and hence is uniquely of the form . The operator R is the partial trace of T.
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details