Supongo que "simétrico en el tiempo" aquí significa que el sistema es invariante bajo la simetría de inversión en el tiempo :
T†HT= H
Recuerde que el momento angularj
se transforma bajo inversión de tiempo como
T†jT= − J.
Primero, como señala AccidentalFourierTransform, notemos que el estado en cuestión no puede ser un giro de medio entero, por la degeneración de Kramer (ver los comentarios a continuación).
Ahora, supongamos que| mi⟩
es un estado propio no degenerado deH
. DesdeH
viaja conT
tenemos:
HT| mi⟩ = TH| mi⟩ = miT| mi⟩ .
Desde
| mi⟩
no es degenerado, y
T
es antiunitario, esto quiere decir que:
T| mi⟩ =mi2 yo α| mi⟩ .
Utilizando el carácter antiunitario de
T
puede ver fácilmente que WLOG podemos poner
α = 0
.
Ahora, usandoT| mi⟩ = | mi⟩
, la antiunitaridad deT
y la hermiticidad dej
tenemos:
⟨ mi| j| mi⟩ = ( ⟨ E|T†jT| mi⟩)∗= − ( ⟨ mi| j| mi⟩)∗= − ⟨ mi| j| mi⟩
lo que implica:
⟨ mi| j| mi⟩ = 0.
En respuesta al comentario de Noam Chai:
- El hecho de queHT| mi⟩ = miT| mi⟩
, junto con la suposición de que los valores propiosmi
no es degenerado, me permite concluir queT| mi⟩ = do | mi⟩
para algún número complejoC
.
- DesdeT
es en particular una isometría, debemos tener| do | = 1
, entoncesc =mi2 yo α
por algún número real2a _
entre0
y2 pi
, decir (tambiénα
no depende del tiempo, ya que niT
ni| mi⟩
lo hace, por suposición). Ahora, multiplicando la ecuaciónT| mi⟩ =mi2 yo α| mi⟩
pormi− yo α
, y utilizando el hecho de queT
es antilineal, obtenemos:
miyo α| mi⟩ =mi− yo αT| mi⟩ = T(miyo α| mi⟩ ) ,
de modo que el factor de fase pueda ser realmente absorbido en la definición de| mi⟩
.
- El∗
proviene de la definición del adjunto de un operador antilineal. Permítanme cambiar a la notación espacial de Hilbert del matemático:
⟨ g| F⟩ ⟶ ( gramo, f) .
Esta notación es más clara cuando se trata de operadores antilineales. Ahora, dejando de lado los problemas de dominio (que de hecho no ocurren en el caso deT
), el adjunto de un operador antilinealA
se define por la ecuación:
(A†gramo, f) = ( gramo, una f)∗.
Ves que el LHS es lineal enF
, por lo que debe ser el RHS, por lo tanto, el∗
. En esta notación, con| mi⟩ → f
, mi última ecuación dice:
( f, jF) = ( TF, jTF) = ( f,T†jTF)∗.
AccidentalFourierTransformar
Noam Chai
Noam Chai
AccidentalFourierTransformar
pppqqq
marzo