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.
Read more about this topic: Partial Trace
Famous quotes containing the words partial, trace and/or integration:
“The one-eyed man will be King in the country of the blind only if he arrives there in full possession of his partial faculties—that is, providing he is perfectly aware of the precise nature of sight and does not confuse it with second sight ... nor with madness.”
—Angela Carter (1940–1992)
“Of moral purpose I see no trace in Nature. That is an article of exclusively human manufacture—and very much to our credit.”
—Thomas Henry Huxley (1825–95)
“The more specific idea of evolution now reached is—a change from an indefinite, incoherent homogeneity to a definite, coherent heterogeneity, accompanying the dissipation of motion and integration of matter.”
—Herbert Spencer (1820–1903)