• Support PF! Buy your school textbooks, materials and every day products Here!

Commutator maths

  • Thread starter quasar987
  • Start date
quasar987
Science Advisor
Homework Helper
Gold Member
4,771
7
Is it true that [tex]ABC = CBA[/tex] implies [A,B]=[A,C]=[B,C]=0 ??

The converse is of course true, and I cannot find a counter-exemple (ex: no 2 of the above commutation relation above are sufficient), but how is this proven?? :confused:
 

Answers and Replies

Dick
Science Advisor
Homework Helper
26,258
618
A trivial example is B=0. This can't imply [A,C]=0. Obviously.
 
quasar987
Science Advisor
Homework Helper
Gold Member
4,771
7
Ok, I forgot to add the hypothesis that A,B,C are not null operators.
 
Dick
Science Advisor
Homework Helper
26,258
618
Ok, A=C=[[0,1],[0,0]], B=[[0,0],[1,0]]. ABC=CBA is obvious but [A,B]!=0.
 
Dick
Science Advisor
Homework Helper
26,258
618
Actually no need for explicit matrices. Just take any A and B that don't commute and set C=A.
 
quasar987
Science Advisor
Homework Helper
Gold Member
4,771
7
Sorry for wasting your time Dick but twice you've demonstrated that I am trying to show something stronger than what I really need for this physics problem.

I need to find an iff condition on A, B, C three non equal and non null hermitian operators (they're Sx,Sy and Sz, the spin operators) that makes their product ABC hermitian.

I came up with (ABC)+=C+B+A+=CBA. And now I want to find the iff condition on A,B,C that will make this equal to ABC.

(+ denotes hermitian conjugation)
 
Dick
Science Advisor
Homework Helper
26,258
618
Yeah, 'false' is sort of by definition 'too strong'.

Well, Sx.Sy.Sz is non-hermitian, isn't it? Are A,B,C supposed to be linear combinations of the S's? Ok, so to sum up for the product AB to be hermitian we need that A and B commute. For ABC to be hermitian we need ABC=CBA. I guess I'm fuzzing out on what the actual problem is here... Can you be more specific?
 
quasar987
Science Advisor
Homework Helper
Gold Member
4,771
7
Yes, Sx.Sy.Sz is non-hermitian. Precisely, I need to find for which integers l,m,n is the operator [tex]S_x^lS_y^mS_z^n[/tex] an observable. I should have said that in the first place, huh. :p

My hypothesis is that it is hermitian when at most 1 of the exponent is odd.
 
Dick
Science Advisor
Homework Helper
26,258
618
You are clearly right. Since (S_i)^2=1 for i=x,y,z. There are relatively few cases to consider.
 

Related Threads for: Commutator maths

  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
1
Views
4K
  • Last Post
Replies
2
Views
593
  • Last Post
Replies
6
Views
4K
  • Last Post
Replies
4
Views
3K
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
1
Views
3K
Top