Rotación de un sistema spin-1/2

El hamiltoniano de un sistema de espín 1/2 en un campo magnético B = B norte ^ es

H ^ = mi metro C σ ^ B

dónde norte ^ es un vector arbitrario y σ ^ el vector de matrices de Pauli, es decir σ ^ = ( σ 1 , σ 2 , σ 3 ) .

Ahora el problema es encontrar los autoespinores del hamiltoniano.

Mi primera idea (que funciona bien) fue considerar primero el sistema con norte ^ = ( 0 , 0 , 1 ) :

σ ^ norte ^ = σ 3

En este caso, los eigenspinors son conocidos y al rotar el sistema es posible encontrar los eigenspinors para el sistema con arbitrariamente norte ^ .

Más específicamente, un eigenspinor (antes de la rotación) es x + = ( 1 , 0 ) y aplicando la rotación en SU(2):

mi i σ z φ mi i σ y θ x + = ( mi i φ / 2 porque ( θ / 2 ) mi i φ / 2 pecado ( θ / 2 ) )
que es (hasta un factor de fase) el resultado de Wikipedia ( https://en.wikipedia.org/wiki/Eigenspinor )

Otra forma es comenzar con un campo magnético arbitrario y luego calcular los vectores propios del hamiltoniano. Es decir, uno gira el vector norte ^ = ( 0 , 0 , 1 ) tal que luego norte ^ = ( porque φ pecado θ , pecado φ pecado θ , porque θ ) . Al hacer esto, se encuentran los mismos autospinores.

Entonces veo que los resultados son los mismos, sin embargo, realmente no entiendo cómo se relaciona la rotación tridimensional (del espacio) con la bidimensional (del espinor). Sé que SU(2) es una doble cubierta de SO(3) pero no veo cómo se relacionarían formalmente los dos en el ejemplo anterior. Supongo que la respuesta está relacionada de alguna manera con el homomorfismo entre los grupos (o su álgebra de Lie), pero me confundí tanto que no puedo resolverlo.

Respuestas (1)

No veo cómo se relacionarían formalmente los dos en el ejemplo anterior

Dejar

σ ^ norte _ = norte 1 σ ^ 1 + norte 2 σ ^ 2 + norte 3 σ ^ 3 = S ^ ( θ , ϕ ) σ ^ 3
es decir, cualquier combinación de matrices de Pauli siempre se puede escribir como el producto de otra matriz de Pauli por otro objeto en S tu ( 2 ) . La matriz S ^ ( θ , ϕ ) es, en el caso que nos ocupa, el elemento
S ^ ( θ , ϕ ) = ( mi i ϕ / 2 porque ( θ / 2 ) mi i ϕ / 2 pecado ( θ / 2 ) mi i ϕ / 2 pecado ( θ / 2 ) mi i ϕ / 2 porque ( θ / 2 ) ) .
Ahora asociemos dos vectores en R 3 a la ecuación anterior, uno en el lado izquierdo y otro en el lado derecho, a saber
( norte 1 , norte 2 , norte 3 ) ( 0 , 0 , norte 3 )
ya que el lado derecho solo posee el σ 3 . Dejar R ^ ( θ , ϕ ) la matriz de transformación tal que
R ^ ( θ , ϕ ) ( norte 1 , norte 2 , norte 3 ) = ( 0 , 0 , norte 3 ) .
Como tal, ahora tenemos dos objetos a nuestra disposición:
S ^ ( θ , ϕ ) S tu ( 2 ) , R ^ ( θ , ϕ ) S O ( 3 ) ;
el mapa ρ : S R para cada par ( θ , ϕ ) es el mapa de cobertura doble deseado (se puede mostrar que ambos S y S corresponder al mismo R ).

Debido al argumento anterior multiplicando el σ por S ^ es equivalente a multiplicar norte _ por R ^ , es por eso que los valores propios son los mismos sin importar la multiplicación que realice primero.

No debería S ^ ( θ , ϕ ) ser una matriz de 2x2? Así que tal vez algo como ( mi i φ / 2 porque ( θ / 2 ) mi i φ / 2 pecado ( θ / 2 ) mi i φ / 2 pecado ( θ / 2 ) mi i φ / 2 porque ( θ / 2 ) )
@Virft Oh, sí, por supuesto, olvidé agregar el lado derecho, ¡gracias: p!