I saw the following definition for the partial trace operator:
ρA=∑k⟨ek|ρAB|ek⟩, where ek is basis for the state space of system B.
From what I know, in the Dirac notation, the meaning of ⟨v|A|u⟩ is the inner product of the vectors |v⟩ and A|u⟩, so I have two problems with this notation of the partial trace.
First, how can an inner product be an operator? An inner product should be a complex number, so I guess that inner product represents an operator somhow.
Second, what is the meaning of ρAB|ek⟩? ρAB is a mapping on the space A⊗B, but ek is a vector from the space B. So, I don't really know how to interpret the meaning of this notation.
Answer
I believe that an example will help clarify your confusion about notation (as examples usually do). Consider a system of two qubits, A and B, with Hilbert spaces VA and VB spanned by two orthonormal eigenbasis of σz, |0⟩A and |1⟩A; and |0⟩B and |1⟩B. Now suppose that we have a Bell state, |Ψ⟩AB=1√2(|0⟩A⊗|0⟩B+|1⟩A⊗|1⟩B).
Incidentally, this appearance of a completely mixed state is the reason there is no FTL signalling in Bell experiments - a mixed state is complete ignorance about what is going with B if we only study A locally.
No comments:
Post a Comment