Professional Documents
Culture Documents
a|XY |a
(5)
where |a is some orthonormal basis. Now we insert a complete set of states: a|XY |a =
a a a
a|X|a
a |Y |a
=
a a
a |Y |a a|X|a a |Y X|a
a
= tr(Y X)
where we have used the fact that a |Y |a and a|X|a are just numbers so commute, and the completeness of the |a . Challenge: Generalize this problem to prove the cyclicity of the trace, namely: tr(X1 X2 . . . Xn ) = tr(Xn X1 . . . Xn1 ). (Well, not much of a challenge really).
(b) There are two ways to prove this: 1. Using the dual correspondence. 2. Use the identity that a |X|a = a |X |a . Actually, these methods are completely equivalent, one just uses a specic basis representation while the other is basis independent. Here is the dual correspondance proof: | X | |X = | Y X | = Y | |Y = |XY (XY ) | Y X = (XY )
where means dual correspondence. Essentially you are applying the dual correspondence twice. The other method goes like this: Take a basis of states, |a , and look at the general matrix element of (XY ) : a|(XY ) |b = b|XY |a =
c
b|X|c c|Y |a
c
= =
c
a|Y |c c|X |b
= a|Y X |b
Thus (XY ) = Y X . This proof is a little more direct then the above, but it chooses a particular basis to work in so is a bit less elegant. (c) First, let |ai be the eigenbasis for A, such that A|ai = ai |ai . Then An |ai = an |ai i (trivial iteration proof). Now we note that we expand f (A) in power series for any nice function f :
f (A) =
n=0
fn An
j
fn j An |aj fn an j |aj j
n j
= =
j
j f (aj )|aj
So now we apply the operator exp(if (A)) to a general ket | : exp(if (A))| = =
n=0 j
in f (A)n | n! n=0
in f (aj )n j |aj n!
=
j
So the operator is exp(if (A)) = j exp(if (aj ))|aj aj |, i.e. it projects onto the eigenstates of A and multiplies by some phase. On a side note, if A = A , i.e. A is hermition, then the operator exp(if (A)) is always unitary. (d) This is simply substitution:
a (x )a (x ) = a a
x |a x |a
a
x |a a |x
= x |x = (x x ) where in the last step we used the orthogonality of the continuous x basis.
3. (5 points) Its easiest to do these calculation (at least, for me) by using a matrix representation, with |+ | Then we see that: Sx Sy Sz = = = h 2 h 2 h 2 0 1 1 0 0 i 1 0 i 0 0 1 (32) (33) (34) = = 1 0 0 1 (30) (31)
(35) You can easily use these representation to prove all the components of [Si , Sj ] = i eijk Sk and h {Si , Sj } = 2 /2ij . (No one got this wrong, so I dont feel the urge to show you trivial matrix h algebra).