Uso de matriz de rotación para giro para escribir giro orientado a x en base a giro z

El problema es escribir el vector ket para una partícula con espín +1/2 a lo largo del eje x, en términos de los vectores base estándar | + 1 / 2 y | 1 / 2 a lo largo del eje z.

Esta página da la matriz de rotación sobre el eje y como:

( porque ( θ / 2 ) pecado ( θ / 2 ) pecado ( θ / 2 ) porque ( θ / 2 ) )
Así que me imagino que si solo giro el vector ( 1 0 ) 90 grados alrededor del eje y, eso producirá la respuesta. (Dado que un vector orientado a z girado 90 grados sobre el eje y produce un vector orientado a x).

Pero multiplicando la matriz anterior por el vector ( 1 0 ) da ( porque ( 90 / 2 ) pecado ( 90 / 2 ) )

cual es

( porque ( 45 ) pecado ( 45 ) ) = ( 1 / 2 1 / 2 )
.

Pero el libro dice que la respuesta es / 2 | 1 / 2 que creo que es lo mismo que / 2 ( 0 1 ) . ¿Lo que está mal?

Respuestas (2)

¿Estás seguro de que eso es lo que el libro te pide que encuentres?

/ 2 es el valor propio de la S X operador correspondiente a spin up, pero no forma parte del vector de estado. Si la pregunta realmente te pide que expreses la S X ; + ket en el S z base, entonces estás casi en lo correcto, solo un error de signo menor:

S X ; + = 1 2 + + 1 2

Creo que tienes razón en que leí mal la pregunta. Aquí está su solución:
S X ^ | ( + 1 / 2 ) = / 2 ( 0 1 1 0 ) ( 1 0 ) = / 2 ( 0 1 ) = / 2 | ( 1 / 2 )
asumo que tu | + notación significa, para ellos, | ( + 1 / 2 ) . Todavía estoy tratando de entender tu respuesta. Gracias por darlo.
Sí, eso es correcto. ± = ( ± 1 / 2 ) . S ^ X ( + 1 / 2 ) corresponde a medir el espín a lo largo de la X -eje cuando el espín de la partícula está orientado a lo largo del positivo z -eje. Primero expresan la S ^ X operador en el ( ( ± 1 / 2 ) ) base
S ^ X = / 2 ( + 1 / 2 ) ( 1 / 2 ) + / 2 ( 1 / 2 ) ( + 1 / 2 ) = / 2 ( 0 1 1 0 )
donde utilizan la representación matricial del operador. Luego aplican el operador al vector de estado ( + 1 / 2 ) .
Tenga en cuenta que este equivalente a
S ^ X ( + 1 / 2 ) = / 2 ( + 1 / 2 ) ( 1 / 2 ) ( + 1 / 2 ) + / 2 ( 1 / 2 ) ( + 1 / 2 ) ( + 1 / 2 )
Desde el ( ± 1 / 2 ) los vectores son ortonormales, ( 1 / 2 ) ( + 1 / 2 ) = 0 y ( + 1 / 2 ) ( + 1 / 2 ) = 1 , donación
S ^ X ( + 1 / 2 ) = / 2 ( 1 / 2 )
Todavía no sé cuál es la declaración del problema, pero espero que esto proporcione algo de claridad. Puede que le resulte útil leer acerca de las matrices de Pauli.
El enunciado completo del problema es: Usar los vectores base de S z ^ vectores propios, calcular S i ^ | ( + 1 / 2 ) y S i ^ | ( 1 / 2 ) (i = x,y,z), donde | ( + 1 / 2 ) y | ( 1 / 2 ) son los vectores propios de S z ^ con valores propios / 2 y / 2 , respectivamente.
En tu primer comentario, veo que ℏ/2 * |(+1/2)⟩⟨(−1/2)| + ℏ/2 * |(−1/2)⟩⟨(+1/2)| = ℏ/2 ( 0 1 1 0 ) porque ℏ/2* ( 1 0 ) (0 1) + ℏ/2 * ( 0 1 ) (1 0) = ℏ/2 * ( 0 1 0 0 ) + ℏ/2 * ( 0 0 1 0 ) . Gracias.
Moviendo mis comentarios anteriores a la pregunta:
Nuevamente, la solución que proporciona su libro no es la respuesta a la pregunta que está haciendo. La solución del libro corresponde al "resultado de una medición a lo largo del eje x de una partícula que gira hacia arriba en la base z". Esto no es lo mismo que lo que estás preguntando, que es escribir la expansión de spin up a lo largo del eje x en la base z, que es el resultado que he dado. Su enfoque es completamente correcto, acaba de cometer un error de signo en el segundo coeficiente.
Si eso es correcto.
Bien, la declaración del problema parece bastante clara. No es necesario expandir los kets en diferentes bases. Puedes simplemente multiplicar el ket en el z base por cada una de las matrices de Pauli, que son las matrices de operadores de espín en el z base. Espero que eso aclare las cosas :)
nuevamente con respecto a su primer comentario: ahora entiendo lo que está diciendo. Estás diciendo que podría "derivar" el S X ^ operador a través de esa construcción ket-bra. Y su segundo comentario realiza el mismo cálculo (para resolver el problema) de una manera diferente
También entiendo ahora su tercer comentario, cómo mi pregunta difiere del problema del libro. Excelente. Gracias.
Sí correcto. Salud

Creo que podrías trabajarlo así:

X + = 1 2 ( 1 1 ) = a ( 1 0 ) + b ( 0 1 ) .dónde X + es el vector propio en el axón positivo de S X

Resuelve y encuentra a,b y ahí estás.

Tenga en cuenta también que puede escribir un espinor general como ( C o s θ / 2 s i norte θ / 2 mi yo ϕ ) dónde θ es el ángulo en el plano zy a partir de z y ϕ es el ángulo en el plano xy a partir de x.

Espero que esto ayude.

Donde hace X + = 1 / 2 ( 1 1 ) ¿De dónde vienes, por favor?
Hola. Si no me equivoco ese es el vector propio del operador S X en el axón x positivo. En el otro lado está el vector en el axón z. Aquí, eche un vistazo: quantummechanics.ucsd.edu/ph130a/130_notes/node267.html Si entendí bien su pregunta, desea expresar el espinor en x sobre la base de z. Eso es lo que muestra mi respuesta, pero tienes que calcular los coeficientes a y b.
Nuevamente, la solución que proporciona su libro no es la respuesta a la pregunta que está haciendo. La solución del libro corresponde al "resultado de una medición a lo largo de la X -eje de una partícula que gira hacia arriba en el z base". Esto no es lo mismo que lo que estás preguntando, que es escribir la expansión de spin up a lo largo de la X -eje en el z base, que es el resultado que he dado. Su enfoque es completamente correcto, acaba de cometer un error de signo en el segundo coeficiente.
Otro enfoque: en general, si conoce la forma de un operador A en una base b, donde los b son vectores propios, algunos operadores B y A y B no conmutan, puede resolver el problema del valor propio A a = λ a encontrar las a en términos de las b. En este problema conoces la representación de S X en el z base - es solo la matriz de Pauli σ X . Resolver el problema de valores propios dará los vectores propios de S X en el z base, y luego se trata de encontrar los coeficientes a y b como en la respuesta de Constantino. Esto se hace exigiendo que | a | 2 + | b | 2 = 1
@KyleArean-Raines, Hola. Lo siento, pero ¿los comentarios son para mí (Constantine Black) o para el póster de la pregunta? Gracias.
Ah, me disculpo. Los pasaré a la pregunta.
@KyleArean-Raines, No hay problema. Le pasa hasta a los mejores :) .
Constantine B.: Creo que lo que estás diciendo es que los vectores z ( 1 0 ) y ( 0 1 ) constituyen una base, de modo que cuando buscamos el vector |X+>, sabemos que se puede expresar de la forma a*|Z+> + b*|Z->. ENTONCES, sabemos que el vector |X+> es un vector propio del S X ^ matriz, por lo que podemos escribir la ecuación de valor propio ( 0 1 1 0 ) * |X+> = λ * |X+>, y luego resuelve. Le agradezco que explique este enfoque.
@ user4127427 Si tiene tiempo, puede echar un vistazo al sitio que comenté anteriormente. Allí verá exactamente cómo encuentra los vectores propios de un operador de espín, como dijo. A partir de ahí haces lo que dice mi respuesta y tienes tu solución. Tenga en cuenta que hay otros ejercicios en los que tendrá que encontrar el espinor x como una superposición del espinor y, y así sucesivamente. Feliz de haber ayudado.
@Constantine B.: Para terminar: esa página de UCSD funcionó para mí. (Todavía no entiendo lo que dijiste sobre el espinor, pero aún no he aprendido sobre eso). En última instancia, el punto de partida que se me ocurre es / 2 ( 0 1 1 0 ) [ a | ( + 1 / 2 ) + b | ( 1 / 2 ) ] = / 2 [ a | ( + 1 / 2 ) + b | ( 1 / 2 ) ]
@Constantine B.: Reemplazando | ( + 1 / 2 ) con ( 1 0 ) y | ( 1 / 2 ) con ( 0 1 ) y haciendo el cálculo, terminas con dos ecuaciones, b=a y a=b. Así la solución es ( 1 1 ) y normalizar. Gracias por ayudarme a través de este enfoque.
@Kyle Arean-Raines: Creo que su comentario final señala que un uso de los operadores es como un "conversor de base", si ya tiene la matriz que es la expresión del operador en la base a la que desea llegar. (como es el caso en Pauli, la matriz x representa el espín x y el ( 0 1 1 0 ) expresión es para la base estándar de espín z). Si esto no es correcto, está bien; Estoy seguro de que tarde o temprano lo conseguiré.
No exactamente. Cuando aplica un operador a un ket, puede expresar el operador en la base del ket o expresar el ket en la base del operador (expandir el ket en términos de los eigenkets del operador). Siga así, estos conceptos pueden tardar un tiempo en asimilarse :)