Trouble with Hermitian operators?

Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
1 reply · 1K views
21joanna12
Messages
126
Reaction score
2
I am looking at the derivation of the Heisenberg Uncertainty Principle presented here: http://socrates.berkeley.edu/~jemoore/p137a/uncertaintynotes.pdf

and am confused about line (21)...

I do not understand why [itex]AB[/itex] and [itex]BA[/itex] are complex conjugates of each other... (I'm still in high school so I don't really have much of a background in the algebra of operators).

If I assume what is written in line 21, I think I get the following lines- if [itex]AB[/itex] and [itex]BA[/itex] are complex conjugates, then [itex]|\langle AB-BA \rangle |^2 = |2\langle AB\rangle |^2 = 4|\langle AB\rangle |^2[/itex] I think... The expected value signs are what is confusing me most...

Thank you for any help!
 
Last edited by a moderator:
Physics news on Phys.org
21joanna12 said:
I do not understand why [itex]AB[/itex] and [itex]BA[/itex] are complex conjugates of each other... (I'm still in high school so I don't really have much of a background in the algebra of operators).
A hermitian operator has the property ##A^\dagger = A##, where the ##\dagger## symbol refers to hermitian conjugation, which is the extension to operators (or matrices) of complex conjugation. Also, when applying hermitian conjugation to a product of operators, you have to invert their order:
$$
(A B)^\dagger = B^\dagger A^\dagger
$$
So, if ##A## and ##B## are hermitian, you get
$$
(A B)^\dagger = B^\dagger A^\dagger = BA
$$
The complex conjugate of a bracket is given by
$$
\left( \langle \psi | A | \phi \rangle \right)^* = \langle \phi | A^\dagger | \psi \rangle
$$
When you combine these things together, you find
$$
\begin{align*}
\left( \langle AB \rangle \right)^* &= \left( \langle \psi | AB | \psi \rangle \right)^* \\
&= \langle \psi | (A B)^\dagger | \psi \rangle \\
&= \langle \psi | BA | \psi \rangle \\
&= \langle B A \rangle
\end{align*}
$$
So, as for all complex numbers ##|z| = |z^*|##, you have that ##|\langle AB \rangle| = |\langle BA \rangle|##.

21joanna12 said:
If I assume what is written in line 21, I think I get the following lines- if [itex]AB[/itex] and [itex]BA[/itex] are complex conjugates, then [itex]|\langle AB-BA \rangle |^2 = |2\langle AB\rangle |^2 = 4|\langle AB\rangle |^2[/itex] I think...
You can only write an inequality here, not equalities.
 
  • Like
Likes   Reactions: 21joanna12