-1
$\begingroup$

Say we have the statement;

An observable $A$ is a symmetry of the system if $[A,\hat H]=0$ where the Hamiltonian doesn't explicitly depend on time.

We now know that $A\hat H = \hat H A$

does this mean $A$ is self-adjoint?

$\endgroup$
3
  • 7
    $\begingroup$ In what context does the word "observable" not already include the operator being self-adjoint regardless of whether it's a symmetry or not? $\endgroup$ Commented Oct 18, 2025 at 19:01
  • 1
    $\begingroup$ Commutation of two operators does not imply that one (or both) of them is self-adjoint. $\endgroup$ Commented Oct 18, 2025 at 19:56
  • $\begingroup$ Operators corresponding to symmetries are often unitary, not self-adjoint. $\endgroup$ Commented Oct 19, 2025 at 18:53

1 Answer 1

2
$\begingroup$

The fact that an operator $A$ commutes with a Hamiltonian $H$ does not necessarily imply that it is self-joint. However, one can without loss of generality assume that symmetries are self-adjoint operators. Suppose that non-self-adjoint operator $A$ is a symmetry, i.e., $A$ satisfies \begin{align} AH=HA \end{align} This condition is equivalent to $H$ commuting with two self-adjoint operators: \begin{align} O_1=A+A^\dagger, \; \; O_2=i(A-A^\dagger), \end{align} i.e., both can be regarded as symmetries. To see this, take the adjoint of both sides of $AH=HA$ and use the fact that $H^\dagger =H$: \begin{align} (AH)^\dagger =(HA)^\dagger \Rightarrow H^\dagger A^\dagger = A^\dagger H^\dagger \Rightarrow H A^\dagger = A^\dagger H \end{align} Hence, $H$ commutes with both $A$ and $A^\dagger$. It follows that $H$ also commutes with any linear combination of these operators, in particular with $O_1=(A+A^\dagger)$ and $O_2=i(A-A^\dagger)$.

Conversely, if $H$ commutes with $O_1$ and $O_2$, then it also commutes with any linear combination $\alpha O_1 + \beta O_2 $. Choosing $\alpha=\tfrac{1}{2}$ and $\beta=\tfrac{-i}{2}$, we recover that $H$ commutes also with $\tfrac{1}{2} O_1 - \tfrac{i}{2} O_2=A$.

Thus, the commutation relation $[A,H]=0$ is completely equivalent to $[O_1,H]=[O_2,H]=0$, showing that one can restrict attention to self-adjoint symmetries without loss of generality.

$\endgroup$

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.