Colapso de la función de onda en el experimento de Stern-Gerlach

Considere los átomos de plata provenientes de un aparato S(X), después del aparato S(X) colocamos un aparato S(Z)

| S X + = 1 2 | S Z + + 1 2 | S Z ,

Acción de S ^ z operador colapsa el estado de onda para | S Z + o | S Z , pero la acción del operador en | S X + se puede representar matemáticamente como

S ^ z | S X + = S ^ z 1 2 | S Z + + S ^ z 1 2 | S Z , S ^ z | S X + = h 4 π 1 2 | S Z + h 4 π 1 2 | S Z ,
que se puede normalizar como | S X estado.

Entonces, mi duda es que la acción del operador en una función de onda colapsa la función de onda a cualquiera de los estados propios o transforma la función de onda en | S X ¿estado?

Las medidas no son operaciones unitarias o deterministas y, por lo tanto, objetivamente hacen que la información sobre el estado cuántico anterior sea irrecuperable, incluso en principio.
He realizado una ronda inicial de ediciones de formato para que su publicación sea ligeramente legible, en la medida en que lo permita su notación inicial.
gracias por la ayuda Emilo Pisanty

Respuestas (2)

Su concepto erróneo central está aquí:

Acción de S ^ z operador colapsa el estado de onda para | S Z + o | S Z

Esto es incorrecto. Medida de lo observable S z colapsará la función de onda a uno de sus estados propios, pero esa medida no se modela actuando con el operador S ^ z sobre la función de onda. En su lugar, si desea modelar el colapso, utilice uno de los dos operadores de proyección hermítica

Π ^ z , + = | S Z + S Z + | , Π ^ z , = | S Z S Z |
(en la notación subóptima utilizada en v2 de su respuesta como la interpretación más limpia que pude hacer de su texto inicial; para mayor claridad, aquí S ^ z | S Z ± = ± 1 2 | S Z ± .) Si el resultado de la medición es S z = + 1 2 , la medida proyectiva es el reemplazo | ψ Π ^ z , + | ψ (con una constante de normalización adecuada), y de manera similar para S z = 1 2 .

Tu observación de que

S ^ z | S X + = 1 2 | S X
es correcto pero de ninguna manera es contradictorio o en conflicto con cualquier otra parte del formalismo.

Como se indica en otra parte , no todos los operadores transforman un estado en una combinación lineal de estados propios. En lugar de σ z considerar el operador Π ^ + , z = | + z z + | . Esto transformará la | + X estado propio a

(1) | + z z + | + X = 1 2 | + z ,
que es un solo estado y no una combinación lineal de estados propios de σ z . En efecto ( 1 ) muestra cómo el estado se derrumba en un eigenket particular.

Tenga en cuenta que

Π + , z = ( 1 0 0 0 )
sigue siendo un operador perfectamente válido.