¿Cuál es la simetría del triplete de piones (π−,π0,π+π−,π0,π+\pi^{-}, \pi^{0}, \pi^{+})?

Bajo la entrada "Isospin" en Wikipedia, dice:

Los piones se asignan al triplete (el spin-1, 3 , o representación adjunta) de S tu ( 2 )

¿Por qué la simetría no es S tu ( 3 ) ya que hay tres partículas? ¿Y en qué circunstancias tenemos un S tu ( 3 ) ¿simetría?

Parece que esto fue respondido aquí: physics.stackexchange.com/q/351812
Isospin SU(2) tiene una representación de doblete, (u,d), una representación de triplete, los 3 πs, una representación de isocuarteto, los 4 Δs, y así sucesivamente... ¿Entiendes ahora la conexión formal con el momento angular?
@Cosmas Zachos: no sé cómo se conecta esto con el momento angular. ¿Puedes explicar más claramente?
SU(2) ~ SO(3) es también el grupo del momento angular, excepto aquí en el isoespacio, un espacio nocional abstracto. Los dobletes de espín, espín 1/2, corresponden aquí a los isodobles, u,d quarks. Los tripletes de spin, spin 1, como 3 vectores, corresponden a isotripletes, los piones. Los cuartetos de spin, spin 3/2, corresponden a los cuatro Δ bariones, etc... Todo lo que necesita hacer es recordar la teoría de la representación del momento angular, de lo contrario el lenguaje sería opaco.
Mi sensación es que está confundiendo la dimensionalidad de la representación con la dimensión del álgebra de Lie, es decir, la cantidad de generadores independientes involucrados. Los piones se pueden refundir en un vector real de 3, por lo que SO(3) ~ SU(2). Pero los fermiones no pueden, ya que son espinores intrínsecamente complejos, por lo que necesita SU(2) para 2 tipos de quark y SU(3) para 3 de ellos.
@CosmasZachos ¿Podría convertir esa explicación en una respuesta?

Respuestas (3)

Estos piones son mesones, partículas compuestas de un quark. { tu , d } y un antiquark { tu , d ¯ } :

(01) { tu , d } { tu , d ¯ } = { ω } { π , π 0 , π + } 2 2 = 1 3
(02.1) { ω = 1 2 ( tu tu + d d ¯ ) = } la camiseta  1 (02.2) { π = d tu π 0 = 1 2 ( tu tu d d ¯ ) π + = tu d ¯ } el triplete  3
Los subespacios 1 , 3 son invariantes bajo el grupo isospin S tu ( 2 ) .


EDITAR

responde a un comentario del propietario del OP:

Está bien esta explicación. Pero todavía tengo una perplejidad. Mientras que los tres piones ( π , π 0 , π + ) tener un S tu ( 2 ) simetría, ¿por qué los tres quarks ( tu , d , s ) tener un S tu ( 3 ) [no S tu ( 2 ) ] simetría? Más generalmente, dadas tres partículas similares, ¿cómo sabemos si tienen un S tu ( 2 ) simetría o una S tu ( 3 ) ¿simetría?

No debemos confundir el número norte del grupo de simetría S tu ( norte ) con el numero metro de la resultante metro plets (singletes, dobletes, trillizos,... nonetos, etc).

En los siguientes tres ejemplos el número norte del grupo de simetría S tu ( norte ) es el numero de la norte independiente norte sistemas dimensionales que juntamos para construir un sistema compuesto.

Ejemplo A: Si juntamos una partícula α del momento angular de espín j α = 1 2 con una partícula β del momento angular de espín j β = 1 2 entonces los multipletes resultantes son un singlete de momento angular j 1 = 0 y un triplete de momento angular j 2 = 1

(ed-01) 2 2 = 1 3
Ahora vamos a aplicar lo siguiente S tu ( 2 ) transformaciones a los sistemas α , β (partículas) respectivamente
(ed-02a) 2 tu α = [ gramo α h α h β h α gramo α ] a , gramo α gramo α + h α h α = 1 (ed-02b) 2 tu β = [ gramo β h β h β gramo β ] b , gramo β gramo β + h β h β = 1
En el sistema compuesto es un S tu ( 4 ) transformación, el producto de los dos anteriores

(ed-03) 4 tu F = ( 2 tu α ) ( 2 tu β ) = [ gramo α h α h β h α gramo α ] a [ gramo β h β h β gramo β ] b = [ gramo α gramo β gramo α h β h α gramo β h α h β gramo α h β gramo α gramo β h α h β h α gramo β h α gramo β h α h β gramo α gramo β gramo α h β h α h β h α gramo β gramo α h β gramo α gramo β ] mi

Pero el S tu ( 2 ) transformaciones en (ed-02a) , (ed-02b) representar rotaciones en el espacio real R 3 en el que viven ambas partículas, por lo que deben ser idénticas (no rotaríamos un sistema de forma diferente al otro)

(ed-04) 2 tu α = 2 tu β = 2 tu = [ gramo h h gramo ] , gramo gramo + h h = 1
de modo que (ed-03) rendimientos
(ed-05) 4 tu F = ( 2 tu α ) ( 2 tu β ) = ( 2 tu ) 2 = [ gramo 2 gramo h h gramo h 2 gramo h gramo gramo h h h gramo h gramo h h gramo gramo gramo h h 2 h gramo gramo h gramo 2 ] mi

Esta matriz expresada en base a la suma directa irreducible (ed-01) es

(ed-06) 4 tu F = [ 1 gramo 2 2 gramo h h 2 2 gramo h ( gramo gramo h h ) 2 gramo h ( h ) 2 2 gramo h ( gramo ) 2 ] F = [ 1 tu [ 1 ] 3 tu [ 2 ] ] F
dónde 1 tu [ 1 ] y 3 tu [ 2 ] son matrices unitarias especiales en los espacios del singulete y del triplete respectivamente dadas por
(ed-07) 1 tu [ 1 ] = [ 1 ] S tu ( 1 ) { 1 }

(ed-08) 3 tu [ 2 ] = [ gramo 2 2 gramo h h 2 2 gramo h ( gramo gramo h h ) 2 gramo h ( h ) 2 2 gramo h ( gramo ) 2 ] S tu ( 3 )
Entonces, si aplicamos el S tu ( 2 ) transformación 2 tu de (ed-04) en ambos espacios en el producto de la izquierda de (ed-01) entonces los espacios de los términos de la suma directa del lado derecho de la misma ecuación permanecen invariantes, el singlete (02.1) invariante bajo S tu ( 1 ) (más exactamente sin cambios) y el triplete (02.2) transformado bajo S tu ( 3 ) permaneciendo en su espacio invariante.

Decimos que el grupo de simetría es S tu ( 2 ) , NO S tu ( 1 ) o S tu ( 3 ) de los multipletes resultantes.

Enlace de referencia: Espín total de dos partículas de espín-1/2 .


Ejemplo B: El modelo de quarks de bariones que consta de tres quarks. Entonces, supongamos que conocemos la existencia de solo tres quarks: tu , d y s . Bajo simetría completa (la misma masa) estos son los estados básicos, sea

(ed-09) tu = [ 1 0 0 ] d = [ 0 1 0 ] s = [ 0 0 1 ]
de un espacio de Hilbert complejo tridimensional de quarks, digamos q C 3 . un quark ξ q se expresa en términos de estos estados básicos como
(ed-10) ξ = ξ 1 tu + ξ 2 d + ξ 3 s = [ ξ 1 ξ 2 ξ 3 ] ξ 1 , ξ 2 , ξ 3 C
Tomemos 2 quarks más para construir bariones a partir de 3 quarks
(ed-11) η = η 1 tu + η 2 d + η 3 s = [ η 1 η 2 η 3 ] , ζ = ζ 1 tu + ζ 2 d + ζ 3 s = [ ζ 1 ζ 2 ζ 3 ]
Un estado bariónico T en el espacio del producto
(ed-12) B = 3 3 3 = q q q C 3 C 3 C 3 = C 27
es el producto de los estados de los 3 quarks anteriores
(ed-13) T = ξ η ζ
El resultado final de un análisis completo es
(ed-14) 3 3 3 = 1 10 8 8
ese es el espacio de estados de un barión es la suma directa de un singlete 1 , un decuplet 10 , un octeto simétrico mixto 8 y un octeto mixto antisimétrico 8 .

Ahora aplicando un S tu ( 3 ) transformación 3 tu en el espacio tridimensional q C 3 resulta en un S tu ( 27 ) transformación 27 tu en el espacio de 27 dimensiones B de ecuación (ed-12)

(ed-15) 27 tu = ( 3 tu ) ( 3 tu ) ( 3 tu ) = ( 3 tu ) 3
El espacio de cada metro plet permanece invariable y un estado en este metro plet se transforma bajo un S tu ( metro ) transformación, donde metro = 1 , 10 , 8 , 8 . Pero

Decimos que el grupo de simetría es S tu ( 3 ) , NO S tu ( 1 ) o S tu ( 10 ) o S tu ( 8 ) de los multipletes resultantes.

Enlace de referencia: Simetría en términos de matrices .

ω , un mesón vectorial, al igual que los pseudoescalares, ¿solo porque el η es más desordenado? ¿Aclara algo?
Está bien esta explicación. Pero todavía tengo una perplejidad. Mientras que los tres piones ( π , π 0 , π + ) tener un S tu ( 2 ) simetría, ¿por qué los tres quarks ( tu , d , s ) tener un S tu ( 3 ) [no S tu ( 2 ) ] simetría? Más generalmente, dadas tres partículas similares, ¿cómo sabemos si tienen un S tu ( 2 ) simetría o una S tu ( 3 ) ¿simetría?
@frobenius LPT: en lugar de escribir \boldsymbol{8}^{\boldsymbol{\prime}}\boldsymbol{\oplus}\boldsymbol{8}, puede escribir \boldsymbol{8'\oplus8}para obtener exactamente el mismo resultado. Del mismo modo para el resto de sus fórmulas.
Siempre es un placer ver publicaciones tan bien formateadas.
@Nat: Gracias, siempre trato de hacer lo mejor para el formato y las Figuras.
@Probenius - Dijiste "Bajo simetría total (misma masa) ..." Pero el hecho es que tu , d , s tener diferentes masas. ¿Significa esto que su S tu ( 3 ) la simetría está rota o no es exacta? Pero, ¿por qué todavía decimos que tienen un S tu ( 3 ) ¿simetría? Es esto S tu ( 3 ) simetría exacta o no?
@Shen: Precisamente. Aquí S tu ( 3 ) no es una simetría exacta.
@Probenius - Por la misma razón, es el S tu ( 2 ) simetría de sabor de ( tu , d ) tampoco es exacta porque tu y d tienen diferentes masas? Pero en el Lagrangiano (o derivado covariante), ( tu , d ) es tratado como un S tu ( 2 ) doblete. ¿Es este tratamiento una aproximación? Si es así, el Lagrangiano no es exacto sino una aproximación, ¿verdad? Además, ninguno de los multitiplets en el Modelo Estándar tiene una simetría exacta porque todas las partículas en estos multipletes tienen masas diferentes. ¿Es este el caso?
@Shen: Así es.
@Probenius: se deduce que, en el Lagrangiano, si no tratamos ( tu , d ) como un S tu ( 2 ) doblete pero trato tu y d por separado, tendríamos un Lagrangiano más exacto, ¿no? ¿Por qué no desarrollamos el Lagrangiano de esta forma exacta sino de forma aproximada? ¿Es porque tratar ( tu , d ) como un S tu ( 2 ) doblete hace que el lagrangiano sea más compacto pero a expensas de la exactitud?
@Shen: Puede ser que deba publicar como preguntas aquí. Mi nombre de usuario es Robenius , no Probenius.
En mi ultima pregunta esperare una explicacion de fisica y matematica como las que sueles dar.

Según la insistencia de @rob, aquí está la respuesta concisa:

Isospin SU(2) tiene una representación de doblete, (u,d); una representación de triplete, los 3 πs; una representación de isocuarteto, los 4 Δs; y así sucesivamente... Ya sabes esto por el momento angular, ya que, SU(2) ~ SO(3) es también el grupo de rotaciones/momento angular, excepto aquí en el isoespacio, un espacio nocional abstracto: Los dobletes de espín, espín 1/2, corresponde aquí a isodobletes, u,d quarks. Los tripletes de espín, espín 1, como los 3 vectores, corresponden a los isotripletes, los piones. Los cuartetos de espín, espín 3/2, corresponden a los cuatro bariones Δ, etc... Todos los irreps SU(2) son reales (en un sentido ligeramente técnico... incluso los espinores).

Ahora, a diferencia de SU(2), el sabor SU(3) tiene una representación verdaderamente compleja , un triple (u,d,s); una representación octeto real; un complejo decuplet, etc...

Ahora considera un triplete real de piones, por lo tanto, un 3-vector real. Sabes que este vector se transforma bajo SO(3) ~ SU(2), al igual que las rotaciones de vectores reales, por lo que el grupo es el isospín SU(2) como se indica.

Sin embargo, si fuera un espinor , en lugar de un triplete complejo, tendría que transformarse bajo un SU(3): no podría restringir el número de transformaciones independientes de sus componentes a SO(3), y estaría atascado con SU(3), ocho direcciones de transformación independientes.

Esto es lo que dicta SU(3) para un triplete complejo de quarks, (u,d,s); aunque, históricamente, la lógica fue al revés: ¡el triplete complejo fue sugerido por la representación fundamental del sabor SU(3), inferido por el octeto mesónico real!

  • En caso de que te hayas quedado perplejo por el complejo π ± ( π 1 ± i π 2 ) / 2 , esto es solo la reescritura del vector esférico de los componentes cartesianos π 1 , π 2 , por lo que el grupo teóricamente el pión sigue siendo un triplete real.
solo quiero llamar su atención sobre esto physics.stackexchange.com/questions/96440/… . Mi vago entendimiento es que los operadores se encargan de esta diferencia, pero al buscar en Google encontré a alguien respondiendo que el campo está dividido en ψ+ y ψ-. Sería bueno que respondieras esto. gracias
@anna... creo que la respuesta está bien... sí, la partícula y la antipartícula están codificadas en el mismo campo, en diferentes componentes... Dirac pensó en ellos como agujeros, pero la interpretación QFT es más fluida. .. Los libros de QFT lo analizan: diferentes componentes de Fourier del mismo campo etiquetan las piezas de partículas frente a antipartículas...
Gracias, ¿recomiendas algún libro en particular? .
¿Quizás Peskin & Schroeder, p 29?

Ejemplo C: El modelo de quarks de mesones que consta de dos quarks (relevante para la pregunta). Entonces, supongamos que conocemos la existencia de dos quarks solamente: tu y d . Bajo simetría completa, estos son los estados básicos, sea

(ed-16) tu = [ 1 1 2 0 1 2 ] d = [ 0 1 2 1 1 2 ]
de un espacio de Hilbert complejo bidimensional de quarks, digamos { tu , d } = q C 2 . un quark ξ q se expresa en términos de estos estados básicos como
(ed-17) ξ = ξ tu tu + ξ d d = [ ξ tu 1 2 ξ d 1 2 ] ξ tu , ξ d C
por un quark ζ q
(ed-18) ζ = ζ tu tu + ζ d d = [ ζ tu 1 2 ζ d 1 2 ]
el respectivo antiquark ζ ¯ se expresa por los complejos conjugados de las coordenadas
(ed-19) ζ ¯ = ζ ¯ tu tu + ζ ¯ d d ¯ = [ ζ ¯ tu 1 2 ζ ¯ d 1 2 ]
con respecto a los estados básicos
(ed-20) tu = [ 1 1 2 0 1 2 ] d ¯ = [ 0 1 2 1 1 2 ]
los antiquarks de tu , d respectivamente. Los antiquarks pertenecen a un espacio diferente, el espacio de los antiquarks { tu , d ¯ } = q ¯ C 2 .

Dado que los mesones aquí son pares quark-antiquark, pertenecen al espacio del producto

(ed-21) METRO = q q ¯ ( C 4 )
Usando las expresiones (ed-17) y (ed-19) del quark ξ q y el antiquark ζ ¯ q ¯ respectivamente tenemos para el estado mesón producto X METRO

(ed-22) X = ξ ζ ¯ = ξ tu η ¯ tu ( tu tu ) + ξ tu ζ ¯ d ( tu d ¯ ) + ξ d ζ ¯ tu ( d tu ) + ξ d ζ ¯ d ( d d ¯ )
Para simplificar las expresiones, el símbolo del producto " " se omite y así
(ed-23) X = ξ ζ ¯ = ξ tu ζ ¯ tu tu tu + ξ tu ζ ¯ d tu d ¯ + ξ d ζ ¯ tu d tu + ξ d ζ ¯ d d d ¯
o en forma de matriz de una columna
(ed-24) X = [ ξ tu ζ ¯ tu 1 2 ξ tu ζ ¯ d 1 2 ξ d ζ ¯ tu 1 2 ξ d ζ ¯ d 1 2 ] mi
Esta representación es con respecto a la base
(ed-25) mi 1 = tu tu = [ 1 0 0 0 ] , mi 2 = tu d ¯ = [ 0 1 0 0 ] , mi 3 = d tu = [ 0 0 1 0 ] , mi 4 = d d ¯ = [ 0 0 0 1 ]
El resultado final de un análisis completo es
(ed-26) 2 2 = 1 3
ese es el espacio de estados de un mesón es la suma directa de un singlete 1 { ω } y un triplete 3 { π , π 0 , π + } .

Ahora bien, si aplicamos un S tu ( 2 ) transformación en el espacio 2 = { tu , d } = q representada con respecto a la base (ed-16) de este espacio por la matriz

(ed-27) 2 tu [ gramo 1 2 h 1 2 h ¯ gramo 1 2 ] tu d , gramo gramo + h h ¯ = | gramo | 2 + | h | 2 = 1
entonces debemos aplicar en el espacio 2 = { tu , d ¯ } = q ¯ C 2 su complejo conjugado representado con respecto a la base (ed-20) de este espacio por la matriz
(ed-28) 2 tu [ gramo 1 2 h ¯ 1 2 h gramo 1 2 ] tu d ¯

En el sistema compuesto 2 2 = q q ¯ esto es un S tu ( 4 ) transformación, el producto de estas transformaciones anteriores, representado con respecto a la base (ed-25) de este espacio por la matriz
(ed-29) 4 tu = ( 2 tu 2 tu ) ( 2 tu ) = [ gramo 1 2 h 1 2 h ¯ gramo 1 2 ] [ gramo 1 2 h ¯ 1 2 h gramo 1 2 ] = [ gramo gramo gramo h ¯ h gramo h h ¯ gramo h gramo 2 h 2 h gramo h ¯ gramo h ¯ 2 gramo 2 gramo h ¯ h ¯ h h ¯ gramo gramo h gramo gramo ] mi
Cambiamos de la base anterior { mi k } , ver ecuación (ed-25) , a este nuevo

(ed-30.1) mi 1 = 1 2 ( mi 1 + mi 4 ) = 1 2 ( tu tu + d d ¯ ) = ω (ed-30.2) mi 2 = mi 2 = tu d ¯ = π + (ed-30.3) mi 3 = 1 2 ( mi 1 mi 4 ) = π 0 (ed-30.4) mi 4 = mi 3 = d tu = π
Formalmente
(ed-31) [ mi 1 1 2 mi 2 1 2 mi 3 1 2 mi 4 1 2 ] = [ 1 2 0 0 1 2 0 1 0 0 1 2 1 2 0 0 1 2 0 0 1 0 1 2 ] [ mi 1 1 2 mi 2 1 2 mi 3 1 2 mi 4 1 2 ] = k [ mi 1 1 2 mi 2 1 2 mi 3 1 2 mi 4 1 2 ]
dónde k la siguiente 4 × 4 matriz ortogonal real
(ed-32) k = [ 1 2 0 0 1 2 0 1 0 0 1 2 1 2 0 0 1 2 0 0 1 0 1 2 ]
con propiedad
(ed-33) k 1 = [ 1 2 0 1 2 0 0 1 0 0 1 2 0 0 0 1 1 2 1 2 0 1 2 0 ] = k
La matriz 4 tu , ver ecuación (ed-29) , en representación de la S tu ( 4 ) transformación con respecto a la base { mi k } tiene con respecto a la nueva base { mi k } , ver ecuaciones (ed-30.1) - (ed-30.4) , el siguiente formulario
4 tu = k ( 4 tu ) k 1 = [ 1 2 0 0 1 2 0 1 0 0 1 2 1 2 0 0 1 2 0 0 1 0 1 2 ] [ gramo gramo gramo h ¯ h gramo h h ¯ 1 2 gramo h gramo 2 h 2 h gramo 1 2 h ¯ gramo h ¯ 2 gramo 2 gramo h ¯ 1 2 h ¯ h h ¯ gramo gramo h gramo gramo 1 2 ] [ 1 2 0 1 2 0 0 1 0 0 1 2 0 0 0 1 1 2 1 2 0 1 2 0 ] = [ 1 2 0 0 1 2 gramo h gramo 2 h 2 h gramo 1 2 1 2 ( gramo gramo h ¯ h ) 2 gramo h ¯ 2 gramo h 1 2 ( h ¯ h gramo gramo ) h ¯ gramo h ¯ 2 gramo 2 gramo h ¯ 1 2 ] [ 1 2 0 1 2 0 0 1 0 0 1 2 0 0 0 1 1 2 1 2 0 1 2 0 ] (ed-34) = [ 1 0 0 0 1 2 0 gramo 2 2 gramo h h 2 1 2 0 2 gramo h ¯ ( gramo gramo h h ¯ ) 2 gramo h 0 h ¯ 2 2 gramo h ¯ gramo 2 1 2 ] mi
entonces
(ed-35) 4 tu = [ 1 gramo 2 2 gramo h h 2 2 gramo h ¯ ( gramo gramo h h ¯ ) 2 gramo h h ¯ 2 2 gramo h ¯ gramo 2 ] mi = [ 1 tu [ 1 ] 3 tu [ 2 ] ] mi
dónde 1 tu [ 1 ] y 3 tu [ 2 ] son matrices unitarias especiales en los espacios del singlete 1 { ω } y del triplete 3 { π , π 0 , π + } respectivamente dado por
(ed-36) 1 tu [ 1 ] = [ 1 ] S tu ( 1 ) { 1 }

(ed-37) 3 tu [ 2 ] = [ gramo 2 2 gramo h h 2 1 2 2 gramo h ¯ ( gramo gramo h h ¯ ) 2 gramo h 1 2 h ¯ 2 2 gramo h ¯ gramo 2 1 2 ] S tu ( 3 )
resultados en todos los aspectos similares a los de Ejemplo A  , ver ecuaciones (ed-06), (ed-07) y (ed-08).

De nuevo: Decimos que el grupo de simetría es S tu ( 2 ) , NO S tu ( 1 ) o S tu ( 3 ) de los multipletes resultantes.

¿Es la nueva base, eigenbasis?