Is the Hermitian Conjugation Identity Correct?

Click For Summary
SUMMARY

The forum discussion centers on the Hermitian conjugation identity for operators, specifically the equation $(\hat A \times \hat B)^*=-\hat B^* \times \hat A^*$. The participants analyze the implications of this identity using the R and P operators, demonstrating that the antisymmetry of the Levi-Civita symbol $\epsilon_{ijk}$ plays a crucial role. They conclude that the identity holds under the assumption that operators A and B are Hermitian, but caution that the original problem does not explicitly state this condition, which is essential for the validity of the identity.

PREREQUISITES
  • Understanding of Hermitian operators and their properties
  • Familiarity with the Levi-Civita symbol and its antisymmetry
  • Knowledge of operator algebra, particularly the properties of the dagger operation
  • Basic grasp of tensor notation and summation conventions
NEXT STEPS
  • Study the properties of Hermitian operators in quantum mechanics
  • Learn about the Levi-Civita symbol and its applications in vector calculus
  • Explore the implications of operator commutation relations in quantum mechanics
  • Investigate the role of the dagger operation in quantum mechanics and linear algebra
USEFUL FOR

Students and researchers in quantum mechanics, physicists working with operator theory, and anyone interested in the mathematical foundations of Hermitian conjugation and its applications.

Dyatlov
Messages
25
Reaction score
1

Homework Statement


##(\hat A \times \hat B)^*=-\hat B^* \times \hat A^*##
Note that ##*## signifies the dagger symbol.

Homework Equations


##(\hat A \times \hat B)=-(\hat B \times \hat A)+ \epsilon_{ijk} [a_j,b_k]##

The Attempt at a Solution


Using as example ##R## and ##P## operators:
##(\hat R \times \hat P)^*_i=-(\hat P \times \hat R)^*_i+ \epsilon_{ijk} [Y,P_z]##
##(\hat R \times \hat P)^*_i=-(\hat P \times \hat R)^*_i##
##(\hat R \times \hat P)^*=-\hat P^* \times \hat R^*##
 
Physics news on Phys.org
Dyatlov said:

Homework Statement


##(\hat A \times \hat B)^*=-\hat B^* \times \hat A^*##
Note that ##*## signifies the dagger symbol.
Start instead from a component-wise definition:
$$(A \times B)_i ~=~ \epsilon_{ijk} A_j B_k $$ (where the usual summation convention applies to repeated indices).
 
Since ##\epsilon_{ijk}## is antisymmetric then we have
##\epsilon_{ijk}A_jB_k=A_jB_k-A_kB_j##
##A_jB_k-A_kB_j=-(B_jA_k-B_kA_j)##
##(A \times B)_i=-(B \times A)_i##
Since A and B are Hermitian the same equlity holds for their self-adjoint counterparts.
 
Last edited:
Dyatlov said:
Since ##\epsilon_{ijk}## is antisymmetric then we have
##\epsilon_{ijk}A_jB_k=A_jB_k-A_kB_j##
That equation does not make sense. On the LHS, ##i## is a free index, but ##j,k## are dummy summation indices. However, on your RHS both ##j## and ##k## are free indices, and there's no ##i## at all. Both left and right hand sides of such an equation must have exactly the same free indices.

The LHS uses a version of the summation convention. It is short for $$\sum_{j,k} \epsilon_{ijk}A_jB_k $$
##A_jB_k-A_kB_j=-(B_jA_k-B_kA_j)##
This is wrong if ##B_j## and ##A_k## don't commute (which is presumably the case here, since the problem statement didn't specify commutativity). So you can't blithely interchange ##A## and ##B## like that.

##(A \times B)_i=-(B \times A)_i##
Since A and B are Hermitian
Your original problem statement doesn't say that ##A,B## are Hermitian.

the same equality holds for their self-adjoint counterparts.
But that doesn't solve the problem as stated.

Start with this: $$\left( \sum_{j,k} \epsilon_{ijk}A_jB_k \right)^\dagger ~=~ \dots\,? \dots $$ Hint: for arbitrary operators ##X,Y##, what is ##(XY)^\dagger## ?
 
  • Like
Likes Dyatlov
Thanks for the replies.
The title mentions that I am solving the identity for Hermitian operators.
I know that ##\epsilon_{ijk}A_jB_k## is a sum over j and k, with ##j,k=1,2,3##.
##(\epsilon_{ijk}A_jB_k)^\dagger=(\epsilon_{ijk}B^\dagger_kA^\dagger_j)=-(B^\dagger \times A^\dagger)_i##
Therefore:
##(A \times B)^\dagger_i=-(B^\dagger \times A^\dagger)_i##
 
Dyatlov said:
The title mentions that I am solving the identity for Hermitian operators.
No it doesn't -- it mentions "Hermitian conjugation", which is an operation which can be performed on any operator.

Anyway, I take it you're now happy with the solution.
 
  • Like
Likes Dyatlov
Bad wording I guess then.
Thanks for the help, anyway!
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
3K
Replies
3
Views
1K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 7 ·
Replies
7
Views
5K
Replies
1
Views
4K
Replies
8
Views
3K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
Replies
5
Views
2K