Trace

Let be a linear operator on a Hilbert Space
Given its Matrix , we define

Partial Trace

Lemma

Trace is cyclic:

Proposition

Trace is invariant under change of basis.

Proof

Suppose we change the basis using Unitary matrix .
Then, as trace is cyclic, we have:

Lemma

Let . Then