Estas matrices llevan el nombre del físico Wolfgang Pauli . En mecánica cuántica , ocurren en la ecuación de Pauli , que tiene en cuenta la interacción del espín de una partícula con un campo electromagnético externo . También representan los estados de interacción de dos filtros de polarización para polarización horizontal/vertical, polarización de 45 grados (derecha/izquierda) y polarización circular (derecha/izquierda).
Cada matriz de Pauli es hermitiana , y junto con la matriz identidad I (a veces considerada como la matriz cero de Pauli σ 0 ), las matrices de Pauli forman una base para el espacio vectorial real de matrices hermitianas de 2 × 2 . Esto significa que cualquier matriz hermitiana de 2 × 2 se puede escribir de forma única como una combinación lineal de matrices de Pauli, siendo todos los coeficientes números reales.
Los operadores hermitianos representan observables en mecánica cuántica, por lo que las matrices de Pauli abarcan el espacio de observables del complejo espacio de Hilbert bidimensional . En el contexto del trabajo de Pauli, σ k representa el observable correspondiente al giro a lo largo del k -ésimo eje de coordenadas en el espacio euclidiano tridimensional.
Las matrices de Pauli (después de la multiplicación por i para hacerlas antihermitianas ) también generan transformaciones en el sentido de las álgebras de Lie : las matrices iσ 1 , iσ 2 , iσ 3 forman una base para el álgebra de Lie real , que exponencia al sistema unitario especial. grupo SU(2) . [a] El álgebra generada por las tres matrices σ 1 , σ 2 , σ 3 es isomorfa al álgebra de Clifford de [1] y el álgebra asociativa (unital) generada por iσ 1 , iσ 2 , iσ 3 funciona de manera idéntica ( es isomorfa ) al de cuaterniones ( ).
Propiedades algebraicas
Las tres matrices de Pauli se pueden compactar en una sola expresión:
donde la solución de i 2 = −1 es la " unidad imaginaria " y δ jk es el delta de Kronecker , que es igual a +1 si j = k y 0 en caso contrario. Esta expresión es útil para "seleccionar" numéricamente cualquiera de las matrices sustituyendo valores de j = 1, 2, 3, y a su vez es útil cuando cualquiera de las matrices (pero ninguna en particular) se va a utilizar en manipulaciones algebraicas.
de lo cual podemos deducir que cada matriz σ j tiene valores propios +1 y −1.
Con la inclusión de la matriz identidad I (a veces denotada σ 0 ), las matrices de Pauli forman una base ortogonal (en el sentido de Hilbert-Schmidt ) del espacio de Hilbert de matrices hermitianas 2 × 2 sobre , y el espacio de Hilbert de todos los complejos Matrices de 2 × 2 sobre .
Relaciones de conmutación y anti-conmutación
Relaciones de conmutación
Las matrices de Pauli obedecen a las siguientes relaciones de conmutación :
donde se define como y δ jk es el delta de Kronecker . I denota la matriz identidad 2 × 2 .
Estas relaciones anti-conmutación hacen de las matrices de Pauli las generadoras de una representación del álgebra de Clifford para denotado
La construcción habitual de generadores utilizando el álgebra de Clifford recupera las relaciones de conmutación anteriores, hasta factores numéricos sin importancia.
A continuación se dan como ejemplos algunos conmutadores y anticonmutadores explícitos:
El vector de Pauli se define por [b]
donde , y son una notación equivalente para los más familiares , y .
El vector de Pauli proporciona un mecanismo de mapeo desde una base vectorial a una base matricial de Pauli [2] de la siguiente manera:
usando la convención de suma de Einstein .
Más formalmente, esto define un mapa desde el espacio vectorial de matrices hermitianas sin rastro. Este mapa codifica estructuras de como un espacio vectorial normado y como un álgebra de Lie (con el producto cruzado como su soporte de Lie) a través de funciones de matrices, lo que convierte al mapa en un isomorfismo de las álgebras de Lie. Esto hace que las matrices de Pauli se entrelacen desde el punto de vista de la teoría de la representación.
Otra forma de ver el vector de Pauli es como un vector dual hermitiano con valores matriciales y sin trazas, es decir, un elemento de ese mapa.
Relación de integridad
Cada componente de se puede recuperar de la matriz (ver relación de completitud a continuación).
Esto constituye una inversa del mapa , lo que hace manifiesto que el mapa es una biyección.
Determinante
La norma viene dada por el determinante (hasta un signo menos).
Entonces, considerando la acción de conjugación de una matriz sobre este espacio de matrices,
encontramos y eso es hermitiano y no deja huellas. Entonces tiene sentido definir dónde tiene la misma norma y, por lo tanto, interpretarlo como una rotación del espacio tridimensional. De hecho, resulta que la restricción especial implica que la rotación preserva la orientación. Esto permite la definición de un mapa dado por
donde Este mapa es la realización concreta de la doble cobertura de by y por lo tanto muestra que los componentes de se pueden recuperar utilizando el proceso de rastreo anterior:
Producto cruzado
El producto cruzado viene dado por el conmutador matricial (hasta un factor de ).
De hecho, la existencia de una norma se deriva del hecho de que es un álgebra de Lie (ver Forma de eliminación ).
Este producto cruzado se puede utilizar para demostrar la propiedad de conservación de la orientación del mapa anterior.
Valores propios y vectores propios
Los valores propios de son Esto se deriva inmediatamente de la falta de rastro y del cálculo explícito del determinante.
De manera más abstracta, sin calcular el determinante, que requiere propiedades explícitas de las matrices de Pauli, esto se deduce de que esto se puede factorizar en Un resultado estándar en álgebra lineal (una aplicación lineal que satisface una ecuación polinómica escrita en distintos factores lineales es diagonal) significa esto implica que es una diagonal con posibles valores propios. La falta de rastro significa que tiene exactamente uno de cada valor propio.
Sus vectores propios normalizados son.
Estas expresiones se vuelven singulares para . Se pueden rescatar dejando y tomando el límite , lo que produce los vectores propios correctos (0,1) y (1,0) de .
Alternativamente, se pueden usar coordenadas esféricas para obtener los vectores propios y .
Pauli 4 vectores
El 4-vector de Pauli, utilizado en la teoría del espinor, está escrito con componentes
Esto define un mapa desde el espacio vectorial de matrices hermitianas,
que también codifica la métrica de Minkowski (con convención mayoritariamente negativa ) en su determinante:
Este 4 vectores también tiene una relación de completitud. Es conveniente definir un segundo vector de 4 Pauli
y permitir subir y bajar usando el tensor métrico de Minkowski. Entonces la relación se puede escribir
De manera similar al caso de 3 vectores de Pauli, podemos encontrar un grupo de matrices que actúa como isometrías; en este caso, el grupo de matrices es y esto se muestra. De manera similar a lo anterior, esto se puede realizar explícitamente con componentes.
De hecho, la propiedad determinante se deriva de manera abstracta de las propiedades traza de las matrices. Para las matrices, se cumple la siguiente identidad:
Es decir, los 'términos cruzados' pueden escribirse como trazas. Cuando se elige que sean diferentes, los términos cruzados desaparecen. Luego se sigue, ahora mostrando la suma explícitamente, Dado que las matrices son, esto es igual a
Relación con el producto punto y cruz
Los vectores de Pauli asignan elegantemente estas relaciones de conmutación y anticonmutación a los productos vectoriales correspondientes. Agregar el conmutador al anticonmutador da
de modo que,
Contrayendo cada lado de la ecuación con componentes de dos 3 vectores a p y b q (que conmutan con las matrices de Pauli, es decir, a p σ q = σ q a p ) para cada matriz σ q y componente del vector a p (y lo mismo con b q ) produce
Si i se identifica con el pseudoescalar σ x σ y σ z entonces el lado derecho se convierte en , que también es la definición del producto de dos vectores en álgebra geométrica.
Si definimos el operador de giro como J = ħ/2 σ , entonces J satisface la relación de conmutación:O de manera equivalente, el vector de Pauli satisface:
Algunas relaciones de rastro
Las siguientes trazas se pueden derivar utilizando las relaciones de conmutación y anticonmutación.
Si también se considera la matriz σ 0 = I , estas relaciones quedan
donde los índices griegos α , β , γ y μ asumen valores de {0, x , y , z } y la notación se utiliza para denotar la suma de la permutación cíclica de los índices incluidos.
Exponencial de un vector de Pauli
Para
se tiene, para potencias pares, 2 p , p = 0, 1, 2, 3, ...
que se puede mostrar primero para el caso p = 1 usando las relaciones de anticonmutación. Por conveniencia, el caso p = 0 se toma como I por convención.
mientras que el determinante del exponencial en sí es solo 1 , lo que lo convierte en el elemento de grupo genérico de SU(2) .
Puede encontrar una versión más abstracta de la fórmula (2) para una matriz general de 2 × 2 en el artículo sobre matrices exponenciales . Se proporciona una versión general de (2) para una función analítica (en a y − a ) mediante la aplicación de la fórmula de Sylvester , [3]
La ley de composición de grupos deSU(2)
Una aplicación sencilla de la fórmula (2) proporciona una parametrización de la ley de composición del grupo SU(2) . [c] Se puede resolver directamente c en
que especifica la multiplicación del grupo genérico, donde, manifiestamente, se cumple
la ley esférica de los cosenos . Dado c , entonces,
En consecuencia, los parámetros de rotación compuestos en este elemento de grupo (una forma cerrada de la expansión BCH respectiva en este caso) simplemente ascienden a [4]
(Por supuesto, cuando es paralelo a , también lo es y c = a + b .)
Acción conjunta
También es sencillo calcular la acción adjunta sobre el vector de Pauli, es decir, la rotación de cualquier ángulo a lo largo de cualquier eje :
Tomar el producto escalar de cualquier vector unitario con la fórmula anterior genera la expresión de cualquier operador de qubit único bajo cualquier rotación. Por ejemplo, se puede demostrar que .
Relación de integridad
Una notación alternativa que se usa comúnmente para las matrices de Pauli es escribir el índice vectorial k en el superíndice y los índices de la matriz como subíndices, de modo que el elemento en la fila α y la columna β de la k -ésima matriz de Pauli sea σ k αβ .
En esta notación, la relación de completitud de las matrices de Pauli se puede escribir
Prueba
El hecho de que las matrices de Pauli, junto con la matriz identidad I , formen una base ortogonal para el espacio de Hilbert de todas las matrices hermitianas complejas 2 × 2 significa que podemos expresar cualquier matriz hermitiana M como
donde c es un número complejo y a es un vector complejo de 3 componentes. Es sencillo demostrar, utilizando las propiedades enumeradas anteriormente, que
donde " tr " denota la traza y, por lo tanto, lo
que se puede reescribir en términos de índices matriciales como
donde la suma de los índices repetidos está implícita γ y δ . Dado que esto es cierto para cualquier elección de la matriz M , la relación de completitud se sigue como se indicó anteriormente. QED
Como se señaló anteriormente, es común denotar la matriz unitaria de 2 × 2 por σ 0 , por lo que σ 0 αβ = δ αβ . La relación de completitud también se puede expresar como
El hecho de que cualquier matriz hermitiana compleja de 2 × 2 pueda expresarse en términos de la matriz identidad y las matrices de Pauli también conduce a la representación de la esfera de Bloch de la matriz de densidad de estados mixtos 2 × 2 (matrices semidefinidas positivas de 2 × 2 con traza unitaria Esto se puede ver expresando primero una matriz hermitiana arbitraria como una combinación lineal real de { σ 0 , σ 1 , σ 2 , σ 3 } como se indicó anteriormente, y luego imponiendo las condiciones semidefinidas positivas y de traza 1 .
Para un estado puro, en coordenadas polares, la matriz de densidad idempotente
actúa sobre el vector propio de estado con valor propio +1, por lo que actúa como un operador de proyección .
Relación con el operador de permutación
Sea P jk la transposición (también conocida como permutación) entre dos espines σ j y σ k que viven en el espacio producto tensor ,
Por tanto, sus valores propios son [d] 1 o −1. Por tanto, puede utilizarse como término de interacción en un hamiltoniano, dividiendo los valores propios de energía de sus estados propios simétricos y antisimétricos.
SU(2)
El grupo SU(2) es el grupo de Lie de matrices unitarias de 2 × 2 con determinante unitario; su álgebra de Lie es el conjunto de todas las matrices antihermitianas 2 × 2 con traza 0. El cálculo directo, como el anterior, muestra que el álgebra de Lie es el álgebra real tridimensional abarcada por el conjunto { iσ k } . En notación compacta,
Como resultado, cada iσ j puede verse como un generador infinitesimal de SU(2). Los elementos de SU(2) son exponenciales de combinaciones lineales de estos tres generadores y se multiplican como se indicó anteriormente al analizar el vector de Pauli. Aunque esto es suficiente para generar SU(2), no es una representación adecuada de su(2) , ya que los valores propios de Pauli están escalados de manera poco convencional. La normalización convencional es λ = 1/2 , para que
El álgebra de Lie es isomorfa al álgebra de Lie , que corresponde al grupo de Lie SO(3) , el grupo de rotaciones en el espacio tridimensional. En otras palabras, se puede decir que los iσ j son una realización (y, de hecho, la realización de menor dimensión) de rotaciones infinitesimales en un espacio tridimensional. Sin embargo, aunque y son isomorfos como álgebras de Lie, SU(2) y SO(3) no son isomorfos como grupos de Lie. SU(2) es en realidad una doble cobertura de SO(3) , lo que significa que hay un homomorfismo de grupo de dos a uno de SU(2) a SO(3) , consulte la relación entre SO(3) y SU(2). .
Cuaterniones
El intervalo lineal real de { I , iσ 1 , iσ 2 , iσ 3 } es isomorfo al álgebra real de cuaterniones , representado por el intervalo de los vectores base. El isomorfismo de a este conjunto viene dado por el siguiente mapa (observe el signos invertidos para las matrices de Pauli):
Alternativamente, el isomorfismo se puede lograr mediante un mapa que utilice las matrices de Pauli en orden inverso, [5]
Como el conjunto de versores U ⊂ forma un grupo isomorfo a SU(2) , U ofrece otra forma de describir SU(2) . El homomorfismo dos a uno de SU(2) a SO(3) puede darse en términos de las matrices de Pauli en esta formulación.
Física
Mecanica clasica
En mecánica clásica , las matrices de Pauli son útiles en el contexto de los parámetros de Cayley-Klein. [6] La matriz P correspondiente a la posición de un punto en el espacio se define en términos de la matriz vectorial de Pauli anterior,
En consecuencia, la matriz de transformación Q θ para rotaciones alrededor del eje x a través de un ángulo θ puede escribirse en términos de matrices de Pauli y la matriz unitaria como [6]
Se siguen expresiones similares para las rotaciones generales del vector de Pauli, como se detalla anteriormente.
Una propiedad interesante de las partículas de espín 1 ⁄ 2 es que deben girarse un ángulo de 4 π para volver a su configuración original. Esto se debe a la correspondencia de dos a uno entre SU(2) y SO(3) mencionada anteriormente, y al hecho de que, aunque uno visualiza el giro arriba/abajo como el polo norte-sur en la biesfera S2 , en realidad, están representados por vectores ortogonales en el espacio de Hilbert complejo bidimensional .
Para una partícula de espín 1 ⁄ 2 , el operador de espín viene dado por J = ħ/2 σ , la representación fundamental de SU(2) . Tomandoconsigo repetidamente los productos de Kronecker de esta representación, se pueden construir todas las representaciones irreductibles superiores. Es decir, los operadores de espín resultantes para sistemas de espín superiores en tres dimensiones espaciales, para j arbitrariamente grandes , se pueden calcular utilizando este operador de espín y operadores de escalera . Se pueden encontrar en el grupo de rotación SO(3) § Una nota sobre las álgebras de Lie . La fórmula análoga a la generalización anterior de la fórmula de Euler para las matrices de Pauli, el elemento del grupo en términos de matrices de espín, es manejable, pero menos simple. [7]
En la mecánica cuántica relativista , los espinores en cuatro dimensiones son matrices de 4 × 1 (o 1 × 4). Por tanto, las matrices de Pauli o las matrices Sigma que operan sobre estos espinores tienen que ser matrices de 4 × 4. Se definen en términos de matrices de Pauli 2 × 2 como
De esta definición se deduce que las matrices tienen las mismas propiedades algebraicas que las matrices σ k .
Sin embargo, el momento angular relativista no es un vector de tres, sino un tensor de cuatro de segundo orden . Por lo tanto, debe ser reemplazado por Σ μν , el generador de transformaciones de Lorentz en espinores . Por la antisimetría del momento angular, los Σ μν también son antisimétricos. Por tanto, sólo hay seis matrices independientes.
Los tres primeros son Los tres restantes, donde las matrices Dirac α k se definen como
Las matrices de espín relativistas Σ μν se escriben en forma compacta en términos de conmutador de matrices gamma como
Información cuántica
En información cuántica , las puertas cuánticas de un solo qubit son matrices unitarias de 2 × 2 . Las matrices de Pauli son algunas de las operaciones de un solo qubit más importantes. En ese contexto, la descomposición de Cartan dada anteriormente se denomina "descomposición Z-Y de una puerta de un solo qubit". La elección de un par de Cartan diferente produce una " descomposición X-Y" similar de una puerta de un solo qubit .
^
Esto se ajusta a la convención en matemáticas para la matriz exponencial , iσ ⟼ exp( iσ ) . En la convención de física , σ ⟼ exp(− iσ ) , por lo tanto, no es necesaria una multiplicación previa por i para llegar a SU(2) .
^
El vector de Pauli es un dispositivo formal. Puede considerarse como un elemento de , donde el espacio del producto tensorial está dotado de un mapeo inducido por el producto escalar en
^ La relación entre a, b, c, n, m, k derivada aquí en la representación 2 × 2 es válida para todas las representaciones de SU(2) , siendo una identidad de grupo . Tenga en cuenta que, en virtud de la normalización estándar de los generadores de ese grupo como la mitad de las matrices de Pauli, los parámetros a , b , c corresponden a la mitad de los ángulos de rotación del grupo de rotación. Es decir, la fórmula de Gibbs vinculada asciende a .
^
Explícitamente, en la convención de "matrices del espacio derecho en elementos de matrices del espacio izquierdo", es
Notas
^ Gaviota, SF; Lasenby, AN; Doran, CJL (enero de 1993). "Los números imaginarios no son reales: el álgebra geométrica del espacio-tiempo" (PDF) . Encontró. Física . 23 (9): 1175-1201. Código bibliográfico : 1993FoPh...23.1175G. doi :10.1007/BF01883676. S2CID 14670523 . Consultado el 5 de mayo de 2023 , a través de geometría.mrao.cam.ac.uk.
^ Gibbs, JW (1884). Elementos de Análisis Vectorial . New Haven, Connecticut. pag. 67.{{cite book}}: CS1 maint: location missing publisher (link)En realidad, sin embargo, la fórmula se remonta a Olinde Rodrigues (1840), repleta de medio ángulo: Rodrigues, Olinde (1840). "Des lois géometriques qui regissent les déplacements d' un systéme solide dans l' espace, et de la variación des coordonnées provenant de ces déplacement considérées indépendant des cause qui peuvent les produire" (PDF) . J. Matemáticas. Pures Appl. 5 : 380–440.
^ Nakahara, Mikio (2003). Geometría, Topología y Física (2ª ed.). Prensa CRC. pag. XXII. ISBN978-0-7503-0606-5- a través de libros de Google.
^ ab Goldstein, Herbert (1959). Mecánica Clásica . Addison-Wesley. págs. 109-118.
^ Curtright, TL ; Fairlie, DB ; Zachos, CK (2014). "Una fórmula compacta para rotaciones como polinomios de matriz de espín". SIGMA . 10 : 084. arXiv : 1402.3541 . Código Bib : 2014SIGMA..10..084C. doi :10.3842/SIGMA.2014.084. S2CID 18776942.
Referencias
Las matrices de espín de Pauli - Conferencias Feynman de Física