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:
“America is hard to see.
Less partial witnesses than he
In book on book have testified
They could not see it from outside....”
—Robert Frost (1874–1963)
“Some wood-daemon
has lightened your steps.
I can find no trace of you
in the larch-cones and the underbrush.”
—Hilda Doolittle (1886–1961)
“Look back, to slavery, to suffrage, to integration and one thing is clear. Fashions in bigotry come and go. The right thing lasts.”
—Anna Quindlen (b. 1952)