Las simetrías en mecánica cuántica describen características del espacio-tiempo y partículas que no cambian bajo alguna transformación, en el contexto de la mecánica cuántica , la mecánica cuántica relativista y la teoría cuántica de campos , y con aplicaciones en la formulación matemática del modelo estándar y la física de la materia condensada . En general, la simetría en física , la invariancia y las leyes de conservación son restricciones fundamentalmente importantes para formular teorías y modelos físicos. En la práctica, son métodos poderosos para resolver problemas y predecir lo que puede suceder. Si bien las leyes de conservación no siempre dan la respuesta al problema directamente, forman las restricciones correctas y los primeros pasos para resolver una multitud de problemas. En la aplicación, la comprensión de las simetrías también puede proporcionar información sobre los estados propios que se pueden esperar. Por ejemplo, la existencia de estados degenerados se puede inferir por la presencia de operadores de simetría no conmutativos o que los estados no degenerados también son vectores propios de operadores de simetría.
Este artículo describe la conexión entre la forma clásica de las simetrías continuas así como sus operadores cuánticos , y los relaciona con los grupos de Lie y las transformaciones relativistas en el grupo de Lorentz y el grupo de Poincaré .
Las convenciones de notación utilizadas en este artículo son las siguientes. Las letras en negrita indican vectores , cuatro vectores , matrices y operadores vectoriales , mientras que los estados cuánticos utilizan la notación corchete . Los sombreros anchos son para operadores , los sombreros angostos son para vectores unitarios (incluidos sus componentes en la notación de índice tensorial ). Se utiliza la convención de suma sobre los índices tensoriales repetidos , a menos que se indique lo contrario. La signatura métrica de Minkowski es (+−−−).
Generalmente, la correspondencia entre simetrías continuas y leyes de conservación viene dada por el teorema de Noether .
La forma de los operadores cuánticos fundamentales, por ejemplo la energía como una derivada parcial del tiempo y el momento como un gradiente espacial , se hace evidente cuando se considera el estado inicial y luego se cambia ligeramente un parámetro del mismo. Esto se puede hacer para desplazamientos (longitudes), duraciones (tiempo) y ángulos (rotaciones). Además, la invariancia de ciertas cantidades se puede ver al realizar dichos cambios en las longitudes y los ángulos, lo que ilustra la conservación de estas cantidades.
A continuación se presentan transformaciones en funciones de onda de una sola partícula en la forma:
se consideran, donde denota un operador unitario . La unitaridad generalmente se requiere para los operadores que representan transformaciones de espacio, tiempo y espín, ya que la norma de un estado (que representa la probabilidad total de encontrar la partícula en algún lugar con algún espín) debe ser invariante bajo estas transformaciones. La inversa es el conjugado hermítico . Los resultados se pueden extender a funciones de onda de muchas partículas. Escritas en notación de Dirac como estándar, las transformaciones en vectores de estado cuántico son:
Ahora, la acción de cambia ψ ( r , t ) a ψ ( r ′, t ′) , por lo que la inversa cambia ψ ( r ′, t ′) nuevamente a ψ ( r , t ) , por lo que un operador invariante bajo satisface:
y por lo tanto:
para cualquier estado ψ . También se requiere que los operadores cuánticos que representan observables sean hermíticos para que sus valores propios sean números reales , es decir, el operador sea igual a su conjugado hermítico , .
A continuación se presentan los puntos clave de la teoría de grupos relevantes para la teoría cuántica; se dan ejemplos a lo largo del artículo. Para un enfoque alternativo que utilice grupos matriciales, consulte los libros de Hall [1] [2]
Sea G un grupo de Lie , que es un grupo que localmente está parametrizado por un número finito N de parámetros reales que varían continuamente ξ 1 , ξ 2 , ..., ξ N . En un lenguaje más matemático, esto significa que G es una variedad suave que también es un grupo, para el cual las operaciones de grupo son suaves.
Una representación que no se puede descomponer en una suma directa de otras representaciones se llama irreducible . Es convencional etiquetar las representaciones irreducibles con un número superíndice n entre paréntesis, como en D ( n ) , o si hay más de un número, escribimos D ( n , m , ...) .
Existe una sutileza adicional que surge en la teoría cuántica, donde dos vectores que difieren al multiplicarse por un escalar representan el mismo estado físico. Aquí, la noción pertinente de representación es una representación proyectiva , una que solo satisface la ley de composición hasta un escalar. En el contexto del espín mecánico cuántico, tales representaciones se denominan espinoriales .
El operador de traslación espacial actúa sobre una función de onda para desplazar las coordenadas espaciales mediante un desplazamiento infinitesimal Δ r . La expresión explícita se puede determinar rápidamente mediante una expansión de Taylor de ψ ( r + Δ r , t ) alrededor de r , luego (manteniendo el término de primer orden y descuidando los términos de segundo orden y superiores), se reemplazan las derivadas espaciales por el operador de momento . De manera similar, para el operador de traslación temporal que actúa sobre el parámetro temporal, la expansión de Taylor de ψ ( r , t + Δ t ) es alrededor de t , y la derivada temporal se reemplaza por el operador de energía .
Las funciones exponenciales surgen por definición como aquellos límites, debido a Euler , y pueden entenderse física y matemáticamente de la siguiente manera. Una traslación neta puede estar compuesta de muchas traslaciones pequeñas, por lo que para obtener el operador de traslación para un incremento finito, reemplace Δ r por Δ r / N y Δ t por Δ t / N , donde N es un entero positivo distinto de cero. Luego, a medida que N aumenta, la magnitud de Δ r y Δ t se vuelve aún más pequeña, mientras que las direcciones permanecen sin cambios. Actuando los operadores infinitesimales en la función de onda N veces y tomando el límite cuando N tiende a infinito, se obtienen los operadores finitos.
Las traducciones de espacio y tiempo conmutan, lo que significa que los operadores y los generadores conmutan.
Para un hamiltoniano independiente del tiempo, la energía se conserva en el tiempo y los estados cuánticos son estados estacionarios : los estados propios del hamiltoniano son los valores propios de energía E :
y todos los estados estacionarios tienen la forma
donde t 0 es el tiempo inicial, generalmente establecido en cero ya que no hay pérdida de continuidad cuando se establece el tiempo inicial.
Una notación alternativa es .
El operador de rotación, , actúa sobre una función de onda para rotar las coordenadas espaciales de una partícula en un ángulo constante Δ θ :
donde r′ son las coordenadas rotadas alrededor de un eje definido por un vector unitario a través de un incremento angular Δ θ , dado por:
donde es una matriz de rotación que depende del eje y del ángulo. En el lenguaje de la teoría de grupos, las matrices de rotación son elementos del grupo, y los ángulos y el eje son los parámetros del grupo ortogonal especial tridimensional SO(3). Las matrices de rotación sobre el vector base cartesiano estándar a través del ángulo Δ θ , y los correspondientes generadores de rotaciones J = ( J x , J y , J z ) , son:
De manera más general, para rotaciones sobre un eje definido por , los elementos de la matriz de rotación son: [3]
donde δ ij es el delta de Kronecker y ε ijk es el símbolo de Levi-Civita .
No es tan obvio cómo determinar el operador rotacional en comparación con las traslaciones de espacio y tiempo. Podemos considerar un caso especial (rotaciones sobre el eje x , y o z ) y luego inferir el resultado general, o usar la matriz de rotación general directamente y la notación de índice tensorial con δ ij y ε ijk . Para derivar el operador de rotación infinitesimal, que corresponde a Δ θ pequeño , usamos las aproximaciones de ángulo pequeño sin(Δ θ ) ≈ Δ θ y cos(Δ θ ) ≈ 1 , luego desarrollamos Taylor sobre r o r i , mantenemos el término de primer orden y sustituimos los componentes del operador de momento angular .
El componente z del momento angular se puede reemplazar por el componente a lo largo del eje definido por , utilizando el producto escalar .
Nuevamente, una rotación finita se puede realizar a partir de muchas rotaciones pequeñas, reemplazando Δ θ por Δ θ / N y tomando el límite cuando N tiende a infinito se obtiene el operador de rotación para una rotación finita.
Las rotaciones sobre el mismo eje conmutan, por ejemplo, una rotación a través de los ángulos θ 1 y θ 2 alrededor del eje i se puede escribir
Sin embargo, las rotaciones sobre ejes diferentes no conmutan. Las reglas generales de conmutación se resumen en
En este sentido, el momento angular orbital tiene las propiedades de sentido común de las rotaciones. Cada uno de los conmutadores anteriores se puede demostrar fácilmente sosteniendo un objeto cotidiano y girándolo en el mismo ángulo sobre dos ejes diferentes en ambos ordenamientos posibles; las configuraciones finales son diferentes.
En mecánica cuántica, hay otra forma de rotación que matemáticamente parece similar al caso orbital, pero tiene propiedades diferentes, que se describen a continuación.
Todas las magnitudes anteriores tienen definiciones clásicas. El espín es una magnitud que poseen las partículas en la mecánica cuántica sin ningún análogo clásico, y que tiene como unidades el momento angular. El operador del vector de espín se denota por . Los valores propios de sus componentes son los resultados posibles (en unidades de ) de una medición del espín proyectada sobre una de las direcciones base.
Las rotaciones (del espacio ordinario) alrededor de un eje que pasa por un ángulo θ alrededor del vector unitario en el espacio que actúa sobre una función de onda multicomponente (espinor) en un punto en el espacio se representan mediante:
Sin embargo, a diferencia del momento angular orbital, en el que el número cuántico de proyección z ℓ solo puede tomar valores enteros positivos o negativos (incluido el cero), el número cuántico de espín s de proyección z puede tomar todos los valores semienteros positivos y negativos. Existen matrices rotacionales para cada número cuántico de espín.
La evaluación de la exponencial para un número cuántico de espín de proyección z dado s da como resultado una matriz de espín de (2 s + 1) dimensiones. Esto se puede utilizar para definir un espinor como un vector columna de 2 s + 1 componentes que se transforma en un sistema de coordenadas rotado según la matriz de espín en un punto fijo en el espacio.
Para el caso no trivial más simple de s = 1/2, el operador de espín está dado por
donde las matrices de Pauli en la representación estándar son:
El operador de momento angular total es la suma del orbital y el espín.
y es una cantidad importante para sistemas multipartículas, especialmente en física nuclear y la química cuántica de átomos y moléculas multielectrónicos.
Tenemos una matriz de rotación similar:
El grupo de simetría dinámica del oscilador armónico cuántico de n dimensiones es el grupo unitario especial SU( n ). Como ejemplo, el número de generadores infinitesimales de las álgebras de Lie correspondientes de SU(2) y SU(3) son tres y ocho respectivamente. Esto conduce a exactamente tres y ocho cantidades conservadas independientes (aparte del hamiltoniano) en estos sistemas.
El oscilador armónico cuántico bidimensional tiene las cantidades conservadas esperadas del hamiltoniano y del momento angular, pero tiene cantidades conservadas ocultas adicionales de diferencia de nivel de energía y otra forma de momento angular.
A continuación se presenta una descripción general del grupo de Lorentz y un tratamiento de los impulsos y rotaciones en el espacio-tiempo. A lo largo de esta sección, véase (por ejemplo) T. Ohlsson (2011) [4] y E. Abers (2004). [5]
Las transformaciones de Lorentz se pueden parametrizar mediante la rapidez φ para un impulso en la dirección de un vector unitario tridimensional y un ángulo de rotación θ alrededor de un vector unitario tridimensional que define un eje, por lo que y son juntos seis parámetros del grupo de Lorentz (tres para rotaciones y tres para impulsos). El grupo de Lorentz es hexadimensional.
Las matrices de rotación y los generadores de rotación considerados anteriormente forman la parte espacial de una matriz de cuatro dimensiones, que representa transformaciones de Lorentz de rotación pura. Tres de los elementos y generadores del grupo de Lorentz J = ( J 1 , J 2 , J 3 ) para rotaciones puras son:
Las matrices de rotación actúan sobre cuatro vectores cualesquiera A = ( A 0 , A 1 , A 2 , A 3 ) y rotan los componentes espaciales de acuerdo con
dejando la coordenada temporal sin cambios. En expresiones matriciales, A se trata como un vector columna .
Un impulso con velocidad c tanh φ en las direcciones x , y o z dadas por el vector base cartesiano estándar , son las matrices de transformación de impulso. Estas matrices y los generadores correspondientes K = ( K 1 , K 2 , K 3 ) son los tres elementos de grupo y generadores restantes del grupo de Lorentz:
Las matrices de refuerzo actúan sobre cuatro vectores cualesquiera A = ( A 0 , A 1 , A 2 , A 3 ) y mezclan los componentes temporales y espaciales, de acuerdo con:
El término "impulso" se refiere a la velocidad relativa entre dos cuadros, y no debe confundirse con el momento como generador de traslaciones , como se explica a continuación.
Los productos de rotaciones dan otra rotación (una ejemplificación frecuente de un subgrupo), mientras que los productos de impulsos y impulsos o de rotaciones y impulsos no pueden expresarse como impulsos puros o rotaciones puras. En general, cualquier transformación de Lorentz puede expresarse como un producto de una rotación pura y un impulso puro. Para obtener más información, consulte (por ejemplo) BR Durney (2011) [6] y HL Berk et al. [7] y las referencias allí citadas.
Los generadores de impulso y rotación tienen representaciones denotadas D ( K ) y D ( J ) respectivamente, la D mayúscula en este contexto indica una representación de grupo .
Para el grupo de Lorentz, las representaciones D ( K ) y D ( J ) de los generadores K y J cumplen las siguientes reglas de conmutación.
En todos los conmutadores, las entidades de impulso se mezclan con aquellas para rotaciones, aunque las rotaciones por sí solas simplemente dan otra rotación. Al exponenciar los generadores se obtienen los operadores de impulso y rotación que se combinan en la transformación general de Lorentz, bajo la cual las coordenadas del espacio-tiempo se transforman de un sistema en reposo a otro sistema de impulso y/o rotatorio. De la misma manera, al exponenciar las representaciones de los generadores se obtienen las representaciones de los operadores de impulso y rotación, bajo las cuales se transforma el campo de espinor de una partícula.
En la literatura, los generadores de impulso K y los generadores de rotación J a veces se combinan en un generador para las transformaciones de Lorentz M , una matriz tetradimensional antisimétrica con entradas:
y, correspondientemente, los parámetros de impulso y rotación se recogen en otra matriz tetradimensional antisimétrica ω , con entradas:
La transformación general de Lorentz es entonces:
con suma sobre índices matriciales repetidos α y β . Las matrices Λ actúan sobre cuatro vectores cualesquiera A = ( A 0 , A 1 , A 2 , A 3 ) y mezclan los componentes temporales y espaciales, de acuerdo con:
En la mecánica cuántica relativista , las funciones de onda ya no son campos escalares de un solo componente, sino campos de espinores de 2(2 s + 1) componentes, donde s es el espín de la partícula. Las transformaciones de estas funciones en el espacio-tiempo se muestran a continuación.
Bajo una transformación de Lorentz ortócrona adecuada ( r , t ) → Λ( r , t ) en el espacio de Minkowski , todos los estados cuánticos de una partícula ψ σ se transforman localmente bajo alguna representación D del grupo de Lorentz : [8] [9]
donde D (Λ) es una representación de dimensión finita, en otras palabras, una matriz cuadrada de dimensión (2 s + 1)×(2 s + 1) , y ψ se considera un vector columna que contiene componentes con los valores permitidos de σ (2 s + 1) :
Las representaciones irreducibles de D ( K ) y D ( J ) , abreviadas como "irreps", se pueden utilizar para construir representaciones de espín del grupo de Lorentz. Definición de nuevos operadores:
Entonces A y B son simplemente conjugados complejos entre sí, se deduce que satisfacen los conmutadores formados simétricamente:
y estos son esencialmente los conmutadores que satisfacen los operadores de momento angular orbital y de espín. Por lo tanto, A y B forman álgebras de operadores análogas al momento angular; los mismos operadores de escalera , proyecciones z , etc., independientemente uno del otro ya que cada uno de sus componentes conmutan mutuamente. Por analogía con el número cuántico de espín, podemos introducir números enteros positivos o medios enteros, a, b , con conjuntos de valores correspondientes m = a , a − 1, ... − a + 1, − a y n = b , b − 1, ... − b + 1, − b . Las matrices que satisfacen las relaciones de conmutación anteriores son las mismas que para los espines a y b tienen componentes dados al multiplicar los valores delta de Kronecker con elementos de la matriz de momento angular:
donde en cada caso el número de fila m′n′ y el número de columna mn están separados por una coma, y a su vez:
y de manera similar para J ( n ) . [nota 1] Las tres matrices J ( m ) son cada una matrices cuadradas (2 m + 1)×(2 m + 1) , y las tres J ( n ) son cada una matrices cuadradas (2 n + 1)×(2 n + 1) . Los enteros o semienteros m y n numeran todas las representaciones irreducibles mediante, en notaciones equivalentes utilizadas por los autores: D ( m , n ) ≡ ( m , n ) ≡ D ( m ) ⊗ D ( n ) , que son cada una matrices cuadradas [(2 m + 1)(2 n + 1)]×[(2 m + 1)(2 n + 1)] .
Aplicando esto a partículas con espín s ;
En estos casos, D se refiere a cualquiera de D ( J ) , D ( K ) o una transformación de Lorentz completa D (Λ) .
En el contexto de la ecuación de Dirac y la ecuación de Weyl , los espinores de Weyl que satisfacen la ecuación de Weyl se transforman bajo las representaciones de espín irreducibles más simples del grupo de Lorentz, ya que el número cuántico de espín en este caso es el número distinto de cero más pequeño permitido: 1/2. El espinor de Weyl zurdo de 2 componentes se transforma bajo D (1/2, 0) y el espinor de Weyl dextrógiro de 2 componentes se transforma bajo D (0, 1/2) . Los espinores de Dirac que satisfacen la ecuación de Dirac se transforman bajo la representación D (1/2, 0) ⊕ D (0, 1/2) , la suma directa de las irreps para los espinores de Weyl.
Las traslaciones espaciales , las traslaciones temporales , las rotaciones y los impulsos , todos tomados en conjunto, constituyen el grupo de Poincaré . Los elementos del grupo son las tres matrices de rotación y las tres matrices de impulso (como en el grupo de Lorentz), y una para las traslaciones temporales y tres para las traslaciones espaciales en el espacio-tiempo. Hay un generador para cada una. Por lo tanto, el grupo de Poincaré es de 10 dimensiones.
En la relatividad especial , el espacio y el tiempo se pueden reunir en un vector de cuatro posiciones X = ( ct , − r ) , y en paralelo también se pueden reunir la energía y el momento, que se combinan en un vector de cuatro momentos P = ( E / c , − p ) . Teniendo en cuenta la mecánica cuántica relativista, los parámetros de duración temporal y desplazamiento espacial (cuatro en total, uno para el tiempo y tres para el espacio) se combinan en un desplazamiento espaciotemporal Δ X = ( c Δ t , −Δ r ) , y los operadores de energía y momento se insertan en el cuatro momentos para obtener un operador de cuatro momentos,
cuales son los generadores de traducciones espacio-temporales (cuatro en total, una temporal y tres espaciales):
Existen relaciones de conmutación entre los componentes cuatrimomento P (generadores de traslaciones espacio-temporales) y momento angular M (generadores de transformaciones de Lorentz), que definen el álgebra de Poincaré: [10] [11]
donde η es el tensor métrico de Minkowski . (Es común dejar de lado los operadores de cuatro momentos en las relaciones de conmutación). Estas ecuaciones son una expresión de las propiedades fundamentales del espacio y el tiempo en la medida en que se las conoce hoy en día. Tienen una contraparte clásica donde los conmutadores se reemplazan por corchetes de Poisson .
Para describir el espín en la mecánica cuántica relativista, se utiliza el pseudovector de Pauli-Lubanski
un operador de Casimir , es la contribución de espín constante al momento angular total, y existen relaciones de conmutación entre P y W y entre M y W :
Los invariantes construidos a partir de W , instancias de invariantes de Casimir, se pueden utilizar para clasificar representaciones irreducibles del grupo de Lorentz.
La teoría de grupos es una forma abstracta de analizar matemáticamente las simetrías. Los operadores unitarios son fundamentales para la teoría cuántica, por lo que los grupos unitarios son importantes en la física de partículas. El grupo de matrices cuadradas unitarias de dimensión N se denota U( N ). Los operadores unitarios preservan los productos internos, lo que significa que las probabilidades también se preservan, por lo que la mecánica cuántica del sistema es invariante bajo transformaciones unitarias. Sea un operador unitario, por lo que el inverso es el adjunto hermítico , que conmuta con el hamiltoniano:
entonces el observable correspondiente al operador se conserva, y el hamiltoniano es invariante bajo la transformación .
Dado que las predicciones de la mecánica cuántica deberían ser invariantes bajo la acción de un grupo, los físicos buscan transformaciones unitarias para representar al grupo.
Los subgrupos importantes de cada U( N ) son aquellas matrices unitarias que tienen determinante unitario (o son "unimodulares"): éstas se denominan grupos unitarios especiales y se denotan SU( N ).
El grupo unitario más simple es U(1), que son simplemente los números complejos de módulo 1. Esta entrada de matriz unidimensional tiene la forma:
donde θ es el parámetro del grupo, y el grupo es abeliano, ya que las matrices unidimensionales siempre conmutan bajo la multiplicación de matrices. Los lagrangianos en la teoría cuántica de campos para campos escalares complejos suelen ser invariantes bajo transformaciones U(1). Si hay un número cuántico a asociado con la simetría U(1), por ejemplo, el barión y los tres números leptónicos en interacciones electromagnéticas, tenemos:
La forma general de un elemento de un elemento U(2) está parametrizada por dos números complejos a y b :
y para SU(2), el determinante está restringido a 1:
En el lenguaje de la teoría de grupos, las matrices de Pauli son los generadores del grupo unitario especial en dos dimensiones, denominado SU(2). Su relación de conmutación es la misma que para el momento angular orbital, excepto por un factor de 2:
Un elemento de grupo de SU(2) se puede escribir:
donde σ j es una matriz de Pauli, y los parámetros del grupo son los ángulos girados alrededor de un eje.
El oscilador armónico cuántico isótropo bidimensional tiene un grupo de simetría SU(2), mientras que el álgebra de simetría del oscilador anisotrópico racional es una extensión no lineal de u(2). [12]
Las ocho matrices de Gell-Mann λ n (ver artículo sobre ellas y las constantes de estructura) son importantes para la cromodinámica cuántica . Surgieron originalmente en la teoría SU(3) del sabor, que todavía tiene importancia práctica en la física nuclear. Son los generadores del grupo SU(3), por lo que un elemento de SU(3) se puede escribir de forma análoga a un elemento de SU(2):
donde θ n son ocho parámetros independientes. Las matrices λ n satisfacen el conmutador:
donde los índices a , b , c toman los valores 1, 2, 3, ..., 8. Las constantes de estructura f abc son totalmente antisimétricas en todos los índices análogos a los de SU(2). En la base de carga de color estándar ( r para rojo, g para verde, b para azul):
Los estados de color son estados propios de las matrices λ 3 y λ 8 , mientras que las otras matrices mezclan estados de color entre sí.
Los ocho estados de gluones (vectores columna de 8 dimensiones) son estados propios simultáneos de la representación adjunta de SU(3) , la representación de 8 dimensiones que actúa sobre su propia álgebra de Lie su(3) , para las matrices λ 3 y λ 8. Al formar productos tensoriales de representaciones (la representación estándar y su dual) y tomar los cocientes apropiados, los protones y neutrones, y otros hadrones son estados propios de varias representaciones de SU(3) de color. Las representaciones de SU(3) pueden describirse mediante un "teorema del peso más alto". [13]
En la mecánica cuántica relativista, las ecuaciones de onda relativistas predicen una notable simetría de la naturaleza: cada partícula tiene una antipartícula correspondiente . Esto está matemáticamente contenido en los campos de espinores que son las soluciones de las ecuaciones de onda relativistas.
La conjugación de cargas cambia las partículas y las antipartículas. Las leyes físicas y las interacciones que no se modifican con esta operación tienen simetría C.
En electrodinámica cuántica , el grupo de simetría local es U(1) y es abeliano . En cromodinámica cuántica , el grupo de simetría local es SU(3) y no es abeliano .
La interacción electromagnética está mediada por fotones , que no tienen carga eléctrica. El tensor electromagnético tiene un campo electromagnético de cuatro potenciales que posee simetría de calibre.
La interacción fuerte (de color) está mediada por gluones , que pueden tener ocho cargas de color . Hay ocho tensores de intensidad de campo de gluones con campos de cuatro potenciales de gluones correspondientes , cada uno de los cuales posee simetría de calibre.
De manera análoga al operador de espín, existen operadores de carga de color en términos de las matrices de Gell-Mann λ j :
y como la carga de color es una carga conservada, todos los operadores de carga de color deben conmutar con el hamiltoniano:
El isospín se conserva en interacciones fuertes.
Los monopolos magnéticos pueden ser realizados teóricamente, aunque las observaciones y teorías actuales son compatibles con su existencia o no. Las cargas eléctricas y magnéticas pueden efectivamente "rotarse unas en otras" mediante una transformación de dualidad .
Una superálgebra de Lie es un álgebra en la que los elementos base (adecuados) tienen una relación de conmutación o una relación de anticonmutación. Se han propuesto simetrías en el sentido de que todas las partículas fermiónicas tienen análogos bosónicos, y viceversa. Estas simetrías tienen atractivo teórico en el sentido de que no se hacen suposiciones adicionales (como la existencia de cuerdas) que excluyan las simetrías. Además, al suponer la supersimetría, se pueden resolver una serie de cuestiones desconcertantes. Estas simetrías, que están representadas por las superálgebras de Lie, no se han confirmado experimentalmente. Ahora se cree que son simetrías rotas, si es que existen. Pero se ha especulado que la materia oscura está constituida por gravitinos , una partícula de espín 3/2 con masa, siendo su pareja supersimétrica el gravitón .
El concepto de simetría de intercambio se deriva de un postulado fundamental de la estadística cuántica , que establece que ninguna cantidad física observable debería cambiar después de intercambiar dos partículas idénticas . Afirma que debido a que todos los observables son proporcionales a para un sistema de partículas idénticas, la función de onda debe permanecer igual o cambiar de signo tras dicho intercambio. De manera más general, para un sistema de n partículas idénticas, la función de onda debe transformarse en una representación irreducible del grupo simétrico finito S n . Resulta que, según el teorema de estadística de espín , los estados fermiónicos se transforman en la representación irreducible antisimétrica de S n y los estados bosónicos en la representación irreducible simétrica.
Debido a que el intercambio de dos partículas idénticas es matemáticamente equivalente a la rotación de cada partícula en 180 grados (y por lo tanto a la rotación del marco de una partícula en 360 grados), [14] la naturaleza simétrica de la función de onda depende del espín de la partícula después de que se le aplica el operador de rotación . Las partículas de espín entero no cambian el signo de su función de onda tras una rotación de 360 grados; por lo tanto, el signo de la función de onda de todo el sistema no cambia. Las partículas de espín semienteras cambian el signo de su función de onda tras una rotación de 360 grados (ver más en el teorema de estadística de espín ).
Las partículas cuya función de onda no cambia de signo al intercambiarse se denominan bosones o partículas con una función de onda simétrica . Las partículas cuya función de onda del sistema cambia de signo se denominan fermiones o partículas con una función de onda antisimétrica .
Por lo tanto, los fermiones obedecen a diferentes estadísticas (llamadas estadísticas de Fermi-Dirac ) que los bosones (que obedecen a las estadísticas de Bose-Einstein ). Una de las consecuencias de las estadísticas de Fermi-Dirac es el principio de exclusión para los fermiones: no hay dos fermiones idénticos que puedan compartir el mismo estado cuántico (en otras palabras, la función de onda de dos fermiones idénticos en el mismo estado es cero). Esto, a su vez, da lugar a una presión de degeneración para los fermiones: la fuerte resistencia de los fermiones a la compresión en un volumen más pequeño. Esta resistencia da lugar a la “rigidez” de la materia atómica ordinaria (ya que los átomos contienen electrones que son fermiones).