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:
“And meanwhile we have gone on living,
Living and partly living,
Picking together the pieces,
Gathering faggots at nightfall,
Building a partial shelter,
For sleeping and eating and drinking and laughter.”
—T.S. (Thomas Stearns)
“And in these dark cells,
packed street after street,
souls live, hideous yet
O disfigured, defaced,
with no trace of the beauty
men once held so light.”
—Hilda Doolittle (1886–1961)
“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)