Rotaciones de estado de espín y rotaciones de espinores

He intentado hacer los cálculos para derivar las matrices SU(2) que rotan los espinores a partir de la rotación de los autoestados de espín. El siguiente es el procedimiento que seguí pero al final no encontré el S tu ( 2 ) matriz que esperaba. De todos modos, no entiendo por qué esta idea debería ser incorrecta, así que me gustaría que me diera algunas ideas al respecto.

El operador de espín en la dirección del vector unitario norte es

σ ^ norte = / 2 [ norte z norte X i norte y norte X + i norte y norte z ]
Haciendo algunos cálculos encontré que el estado propio con valor propio / 2 de este operador es

mi i ϕ 1 norte z 2 [ norte X + i norte y norte z 1 1 ]
a excepción del caso norte z = 1 en ese caso es mi i ϕ [ 1 0 ] dónde ϕ puede ser cada valor real

Ahora, si giro el vector unitario norte de un ángulo Δ θ alrededor del eje z cambiará de esta manera

[ norte X norte y norte z ] = [ C o s Δ θ s mi norte Δ θ 0 s mi norte Δ θ C o s Δ θ 0 0 0   1 ] [ norte X norte y norte z ]
por lo tanto, el estado de giro cambiará de esta manera
mi i ϕ 1 norte z 2 [ norte X + i norte y norte z 1 1 ] = [ C o s Δ θ + i s mi norte Δ θ 0 0 1 ] mi i ϕ 1 norte z 2 [ norte X + i norte y norte z 1 1 ]
entonces la matriz
[ C o s Δ θ + i s mi norte Δ θ 0 0 1 ]
es la matriz que rota el estado de espín cuando se rota el sistema. Esta matriz no es la que gira los espinores alrededor del eje z y esto me confunde, ¿me equivoqué con los cálculos o la idea es incorrecta?

ACTUALIZAR

Me di cuenta de que la matriz que encontré difiere de la matriz que transforma el espinor solo por una fase.

[ C o s Δ θ + i s mi norte Δ θ 0 0 1 ] = mi i Δ θ / 2 [ mi i Δ θ / 2 0 0 mi i Δ θ / 2 ]
Entonces, dado que es posible elegir la forma del estado propio hasta una fase, puedo elegir esto:
mi i ϕ mi i θ / 2 1 norte z 2 [ norte X + i norte y norte z 1 1 ]
dónde θ = F ( norte X , norte y ) . En este caso la matriz que transforma el estado propio es la de S tu ( 2 )
[ mi i Δ θ / 2 0 0 mi i Δ θ / 2 ]
Pero, ¿por qué deberíamos usar exactamente esta opción de fase? ¿Qué tiene de especial esta elección?

Respuestas (1)

Asumiré que se trata del caso. s = 1 / 2 . (Es totalmente igual para el caso de giro más alto).

podemos asumir norte ^ = z ^ en general y gírelo para norte ^ = pecado θ porque ϕ X ^ + pecado θ pecado ϕ y ^ + porque θ z ^

Entonces, el producto interno del operador de espinor y norte ^ será

σ ^ norte ^ = 2 ( porque θ pecado θ Exp [ i ϕ ] pecado θ Exp [ i ϕ ] porque θ )

Entonces, el eigenspinor para / 2 se da como

( Exp [ i ϕ / 2 ] porque [ θ / 2 ] Exp [ i ϕ / 2 ] pecado [ θ / 2 ] )
y podemos obtener un resultado para eigenspinor de / 2 fácilmente como sigue,
( Exp [ i ϕ / 2 ] pecado [ θ / 2 ] Exp [ i ϕ / 2 ] porque [ θ / 2 ] )

La matriz transformada de los valores propios es entonces, como se esperaba, un elemento de S tu ( 2 ) . Llamemos a esto H S tu ( 2 ) .

H se dará como

H = ( Exp [ i ϕ / 2 ] porque [ θ / 2 ] Exp [ i ϕ / 2 ] pecado [ θ / 2 ] Exp [ i ϕ / 2 ] pecado [ θ / 2 ] Exp [ i ϕ / 2 ] porque [ θ / 2 ] )

¿Por qué podemos obtener esto? Porque siempre podemos encontrar un S tu ( 2 ) -representación de σ ^ y S O ( 3 ) -la transformación se interpreta correctamente como S tu ( 2 ) -acción ya en el procedimiento de σ ^ norte ^ a σ ^ norte ^ .

σ ^ norte ^ = H 1 σ ^ norte ^ H

En un nivel abstracto, esto es posible porque S O ( 3 ) y S tu ( 2 ) tiene la misma estructura local por lo que tienen una correspondencia específica y comparten un generador pero en su propio idioma.

Estoy de acuerdo con tus cálculos pero no fue exactamente lo que quise decir, actualizo la publicación incluyendo mis cálculos. El resultado parece diferente pero no entiendo por qué
@SimoBartz La matriz de transformación del sistema debería transformar todo el eigenspinor. Su resultado no cambia otro eigenspinor de / 2 .
@SimoBartz y además, la correspondencia entre S tu ( 2 ) y S O ( 3 ) no es realmente trivial en el sentido común! No podemos interpretar el elemento de S tu ( 2 ) directamente en nuestro sentido real-geométrico. Pido disculpas si no entiendo bien su pregunta.
En tu solución dices que [ Exp [ i ϕ / 2 ] porque [ θ / 2 ] Exp [ i ϕ / 2 ] pecado [ θ / 2 ] ] es el eigenspinor pero en realidad si multiplico este espinor por una fase sigue siendo un eigenspinor, en particular este es como el que escribí arriba ( Exp [ i ϕ ] porque [ θ / 2 ]   pecado [ θ / 2 ] ) . Tu demostración funciona solo con esa fase que elegiste, ¿hay alguna razón para elegirla?
@SimoBartz Estoy de acuerdo en que su elección es más común. Simplemente elegí el factor de fase porque parece un poco más simétrico. Pero creo que tu elección es mejor. Ayuda a ver cómo se relaciona con el generador infinitesimal de S tu ( 2 )
Consideré útil tu respuesta, pero no creo que resuelva mi duda porque el S tu ( 2 ) Las matrices provienen de una elección particular del factor de fase, y no entiendo por qué esa elección es especial. Actualizo el post para que ahora quede más claro
@SimoBartz De todos modos, encontré este artículo, arxiv.org/pdf/1312.3824.pdf . Explica por qué elegimos bien este tipo de matriz en el sentido del grupo de Lie.
@SimoBartz Creo que la elección del factor de fase no afecta el sistema, por lo que tengo libertad de factor de fase. Usando esto, elijo un factor de fase para hacer tal forma de Exp [ i ϕ / 2 σ z ] Exp [ i θ / 2 σ y ] . Creo que es una forma más natural de pensar, porque spinor σ X , σ y , σ z es un generador infinitesimal de S tu ( 2 ) !
Mi flujo lógico se origina a partir del álgebra de espinor y que tiene el álgebra de Lie de S tu ( 2 ) como su representación irreductible. (Lamento usar S tu ( 2 ) y el álgebra de espinor en abuso. Son cosas diferentes. Pero la primera es la representación irreducible (¿o realización física?) del álgebra espinora que es una abstracción del generador infinitesimal de rotación.)