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)
“Beauty is a precious trace that eternity causes to appear to us and that it takes away from us. A manifestation of eternity, and a sign of death as well.”
—Eugène Ionesco (b. 1912)
“The only phenomenon with which writing has always been concomitant is the creation of cities and empires, that is the integration of large numbers of individuals into a political system, and their grading into castes or classes.... It seems to have favored the exploitation of human beings rather than their enlightenment.”
—Claude Lévi-Strauss (b. 1908)