¿Matrices de Pauli y operadores de rotación 2D?

Estaba haciendo un cálculo extraño con mi maestro el otro día: encuentre los valores propios y los vectores propios del operador de rotación 2D. Intuitivamente, no debería haber solución a este problema en R 2 . Sin embargo, cuando nos extendemos a C 2 , encontramos que los vectores propios no normalizados son:

v 1 = ( 1 , i )
v 2 = ( 1 , i )

Entonces nos dimos cuenta de que estos vectores son exactamente los vectores propios de una de las Matrices de Pauli σ y :

( 0 i i 0 )

¿Qué hacemos con eso? ¿Qué sucede en otras dimensiones? ¿Es 2D muy especial?

Hola. ¿Puedo preguntar qué quieres decir con "qué hacemos con eso"? ¿Quieres saber cómo son útiles las rotaciones en 2D? Gracias.

Respuestas (2)

Bueno, es banal. Real 2 D rotaciones, vistas ambas como matrices en R 2 o C 2 son todos de la forma

R ( θ ) = mi θ i σ 2 .
(Darse cuenta de i σ 2 es realmente antisimétrico como debe serlo siendo un generador de s o ( 2 ) .) Además de la descomposición espectral en C 2 , mi θ i σ 2 tiene los mismos vectores propios que σ 2 .

Para responder a la parte de la dimensión genérica, en caso de que no sea evidente a partir de la respuesta de Valter:

En D dimensiones, la matriz de rotación es la exponencial de un ángulo θ por una matriz K , un generador normalizado del grupo de rotación correspondiente SO( D ) alrededor de algún eje unitario D -vector k , en la representación vectorial, por lo que la matriz es D ×D . Los vectores propios de estas matrices K serán igualmente los vectores propios del operador de rotación.

Sin embargo, dado que hay varios (un infinito) ejes de rotación para D > 2, habrá una infinidad de conjuntos de vectores propios, cada uno caracterizado por la matriz de espín específica K .

Por ejemplo, en D = 3, la representación vectorial, la matriz de rotación se da como esta exponencial de la matriz de productos cruzados

k = [ 0 k 3 k 2 k 3 0 k 1 k 2 k 1 0 ] ,
expandido trivialmente por la fórmula de Rodrigues a solo R = I + ( pecado θ ) k + ( 1 porque θ ) k 2   . Por lo tanto, los tres vectores propios de K ( uno de los cuales es el vector nulo k ) son también los vectores propios de R.