Comprender cómo determinar el vector de estado de evolución temporal para un operador unitario construido a partir de operadores no conmutables

Supongamos que tenemos un hamiltoniano independiente del tiempo

H = gramo ( σ X + σ y + σ z )

Sé que el operador unitario es el siguiente:

tu ( t ) = mi X pag ( i H t / )
Dado que los operadores de espín de Pauli en H anticonmutan por pares, sabemos que

mi X pag ( i t gramo ( σ X + σ y + σ z ) ) mi X pag ( i t gramo σ X ) mi X pag ( i t gramo σ y ) mi X pag ( i t gramo σ z )

Mi pregunta es cómo usamos esta información para deducir el vector de estado evolucionado en el tiempo para la partícula | ψ ( t ) = tu ( t ) | ψ ( 0 ) .

Supongamos que sabemos que | ψ ( 0 ) = |

Podemos afirmar que

| ψ ( t ) = mi X pag ( i t gramo ( σ X + σ y + σ z ) ) |

También sé que para un operador A y escalar α tenemos la identidad

mi X pag ( i A α ) = C o s ( α ) + i s i norte ( α ) A

En general, para este tipo de problemas, los operadores viajan diariamente, por lo que intentaría resolver algo similar a

| ψ ( t ) = mi X pag ( i t gramo σ X ) mi X pag ( i t gramo σ y ) mi X pag ( i t gramo σ z ) |
y luego invoque la relación del operador A. Sin embargo, dado que los operadores de pauli son anticonmutadores por parejas, no puedo hacer esto y no estoy seguro de cómo resolverlo de manera simplificada, como por ejemplo,
| ψ ( t ) = mi X pag ( i t gramo ( σ X + σ y + σ z ) ) |

y así cualquier helo sería apreciado:

¿Intentaste primero encontrar la base propia del hamiltoniano? Una vez que conoce la base propia del hamiltoniano, puede expresar el propagador simplemente como norte mi i mi norte t | norte norte | y el estado en el momento t será simplemente norte mi i mi norte t | norte norte | ψ ( 0 ) .
También mencionaría que el hamiltoniano dado como una suma de operadores que no se desplazan no es nada exótico. Casi todos nuestros ejemplos en los cursos de QM involucran hamiltonianos del tipo pag ^ 2 + V ( X ^ ) y sabemos que [ pag ^ , X ^ ] 0 ;-)
Eso es muy cierto, pero normalmente estoy acostumbrado a resolver cosas como H | ψ = mi | ψ resolver cosas que son de la forma mi X pag ( i H t / ) | ψ es un poco más difícil para mí en este momento.
Sí, pero el punto de mi comentario es que solo necesitas resolver el problema de valores propios para el hamiltoniano. El H | ψ = mi | ψ que mencionaste. Una vez hecho esto, es trivial. No necesita trabajar con los operadores exponenciados porque toma la forma de escalares exponenciados en la base propia del hamiltoniano.
Sin embargo, todavía no veo cómo resolver el problema anterior. ¡Lo siento, no puedo ver qué hacer!

Respuestas (1)

Hay una identidad muy útil para exponenciales de matrices de Pauli (ver https://math.stackexchange.com/questions/3236998/exponential-of-pauli-matrices/3237834 para una prueba):

mi i θ norte ^ σ = porque θ I + i ( norte ^ σ ) pecado θ

Para tu hamiltoniano θ = t gramo y norte ^ σ = σ X + σ y + σ z , lo que da:

tu ( t ) = porque ( t gramo ) I i pecado ( t gramo ) ( σ X + σ y + σ z )

Tenga en cuenta que tu ( t ) también se puede representar convenientemente como un 2 X 2 matriz que actúa sobre vectores que representan el estado cuántico:

tu ( t ) = [ porque ( t gramo ) i pecado ( t gramo ) ( 1 i ) pecado ( t gramo ) ( 1 i ) pecado ( t gramo ) porque ( t gramo ) + i pecado ( t gramo ) ]

Entonces, con tu estado de ejemplo,

| ψ ( t ) = tu ( t ) | = ( porque ( t gramo ) i pecado ( t gramo ) ) | + ( 1 i ) pecado ( t gramo ) |

Alternativamente, puede seguir el método de los comentarios anteriores, donde toma la matriz H , diagonalice esta matriz para encontrar los vectores propios y los valores propios, represente su estado inicial en esta base propia y luego haga evolucionar el estado en el tiempo usando los valores propios. Ambos métodos son equivalentes y, a menudo, el mejor método depende de la aplicación.

de la matriz U(t) ¿cómo leyó la línea final?
Primero, en notación vectorial, | = [ 1 0 ] y | = [ 0 1 ] . Esto es cierto debido a cómo definimos σ z y eso σ z | = | y σ z | = | . Ahora podemos simplemente multiplicar directamente el estado en notación vectorial por la matriz tu , y finalmente reescribir en notación bra-ket.
Lo siento, esto fue hace un tiempo, pero también noté que el nuevo estado no está normalizado. ¿Por qué es esto y seguramente esto es un problema?
Sí, tienes razón, mis disculpas. Debe haber un factor de 1 / ( 3 ) , que proviene del hecho de que norte ^ debe ser un vector unitario. Debería obtener un estado correctamente normalizado si define norte ^ correctamente con ese factor adicional.