Pauli Matrices: Troubleshooting a Non-Zero Commutator

Click For Summary
SUMMARY

The discussion focuses on the properties of Pauli matrices and their commutation relations, specifically the equation [σ_i, σ_j] = 2I ε_{i,j,k} σ_k. When i and j are equal, the commutator is zero, aligning with the property of the Levi-Civita symbol ε_{ijk}, which also equals zero in such cases. However, when i and j are different, the value of k is determined as the remaining index from the set {1, 2, 3}, leading to a non-zero commutator. The participants clarify that the non-zero result arises from the unique properties of the Levi-Civita symbol and the summation convention applied to the indices.

PREREQUISITES
  • Understanding of Pauli matrices and their algebraic properties
  • Familiarity with the Levi-Civita symbol and its properties
  • Knowledge of commutators in quantum mechanics
  • Basic grasp of summation convention in tensor calculus
NEXT STEPS
  • Study the algebra of Pauli matrices in quantum mechanics
  • Explore the properties and applications of the Levi-Civita symbol
  • Learn about commutation relations in quantum operators
  • Investigate tensor calculus and its relevance in physics
USEFUL FOR

Students and professionals in quantum mechanics, physicists working with spin systems, and anyone interested in the mathematical foundations of quantum theory.

mewmew
Messages
113
Reaction score
0
Ok, I have a stupid question on pauli matrices here but it is bugging me. In a book I'm reading it gives the equation [\sigma_i , \sigma_j] = 2 I \epsilon_{i,j,k} \sigma_k , I understand how it works and everything but I do have a question, when you have k=i/j and i!=j (like 2,1,2) you get a non zero commutator and yet \epsilon gives you 0. What am I missing here? Thanks
 
Last edited:
Physics news on Phys.org
The i and j determine the value of k.

For instance if i and j are equal then obviously the commutator is zero and the \epsilon_{ijk} = \epsilon_{iik} = 0 so that's fine.

If i and j are different then k is the other value from {1,2,3}. To use your example, if i=2 and j=1 then k MUST be 3 to get a non-zero value of \epsilon_{ijk} (you don't put commas in the subscript by the way). Therefore [\sigma_{2},\sigma_{1}] = \epsilon_{213}\sigma_{3} = -\sigma_{3}

If it makes it easier, think about summation convention, so that the right hand side becomes

\epsilon_{ijk}\sigma_{k} = \epsilon_{ij1}\sigma_{1} + \epsilon_{ij2}\sigma_{2} + \epsilon_{ij3}\sigma_{3}

This means that when i isn't equal to j only one of those three terms remains non-zero otherwise k will be equal to either i or j. If i=j, then all three are zero.
 
The Levi-Civita symbol is zero if any of the 3 indices are the same. Calculate a few of those commutators and see if they equal the RHS for the kind of indices you picked and see if the relation holds if you want to see this for yourself.
 
Thanks, that clears it up.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
1K
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
4K
  • · Replies 3 ·
Replies
3
Views
3K