Modo Goldstone en O(N)O(N)O(N) (modelo σσ\sigma no lineal)

La pregunta es: ¿El no lineal σ -El modelo tiene un modo Goldstone?

Considere un O ( norte ) modo para el cual el hamiltoniano es

H = j i , j norte i norte j ,
dónde norte = ( π , σ ) es un norte rotor de unidad de componente con longitud fija, digamos norte 2 = 1 . Si consideramos la excitación de baja energía por encima del estado fundamental de ruptura de simetría norte = ( 0 , 0 , 0 , σ ) , escribiendo σ = 1 π 2 , uno puede tener el no lineal σ modelo para pequeños π ,

H = d d X [ j 2 ( π ) 2 + j 2 ( π π ) 2 ρ 2 π 2 ] ,

donde se asume el límite continuo y ρ = norte / V . El primer término entre paréntesis parece una excitación de onda de espín en un X Y modelo, digamos un modo Goldstone. Sin embargo, el segundo término parece reflejar la interacción de aquellas excitaciones que pueden abrir una brecha, y el tercer término parece un término masivo. ¿Significa esto que no existe el modo Goldstone en un O ( norte ) modo de rotor cuyos estados ordenados rompen la simetría continua?

Respuestas (2)

Debe tener cuidado de que el "término de masa" que escribió sea una perturbación de la acción principal.

Para ser más precisos: podemos escribir el Lagrangiano de lo no lineal σ modelo como ( k = j / T dónde T es la temperatura del sistema)

L = k 2 [ ( π ) 2 + ( π π ) 2 1 π 2 ] ρ 2 registro ( 1 π 2 ) .

Ahora, recuerda que este modelo tiene sentido en el límite donde k 1 , que corresponden, en el lenguaje de spin clásico, al límite en el que el sistema se encuentra en la fase ordenada. Por lo tanto, solo las configuraciones con π 1 / k dan una contribución importante en la integral de trayectoria. Vamos a reescalar el campo por gramo = 1 / k , lo que da

L = 1 2 [ ( π ) 2 + gramo ( π π ) 2 1 gramo π 2 ] ρ 2 registro ( 1 gramo π 2 ) .

Podemos expandir el Lagrangiano en potencia de gramo , lo que da

L = 1 2 ( π ) 2 + gramo 2 [ ( π π ) 2 + ρ π 2 ] + .

Verá que el propagador desnudo (orden gramo 0 ) ahora no tiene espacios, y el término proporcional a ρ es ahora una perturbación de la acción simple (es decir, el término "masa" no está incluido en el propagador simple). De hecho, se puede demostrar que este término es necesario para asegurar que el π permanecer sin espacios; este es precisamente el papel del logaritmo, que trae nuevas interacciones para asegurar la validez del teorema de Goldstone orden por orden en gramo .

No debe confundirse por el hecho de que esta perturbación es cuadrática en π , que uno incluiría ingenuamente en el propagador simple, porque este es un tipo muy peculiar de teoría de la perturbación, cuyo parámetro de expansión es gramo .

pero para derivar el no lineal σ modelo, el término de masa solo se origina a partir de la expansión yo o gramo ( 1 π 2 ) .
Hum, si lo siento. Supongo que lo que quise decir es que necesitas este término para evitar la creación de una masa en cada orden de perturbación en 1 / j (porque de hecho los términos logarítmicos son perturbaciones). Reescribiré la respuesta.
@hongchaniyi: Debería estar mejor ahora. Avísame si todavía no está claro.

El término logarítmico proviene de la función delta en la medida que impone | norte | = 1 , en cada punto X en la integral de trayectoria

Z = d [ norte ( X ) ] d ( | norte ( X ) | 2 1 ) mi S [ norte ]
nosotros escribimos
d 3 norte ( X ) d ( | norte ( X ) | 2 1 ) = d 2 π ( X ) gramo = d 2 π ( X ) 1 | π | 2
dónde gramo es el determinante de la métrica. Poner este factor en la exponencial con la acción da el término
d d X [ 1 2 d d ( 0 ) en ( 1 | π 2 ) ]
El hecho de que el coeficiente sea d d ( 0 ) (interpretado como norte / V la densidad de espines) muestra que no es un término de masa ordinario. Está ahí para preservar la invariancia rotacional (y por lo tanto el modo de Goldstone) que de otro modo se rompería por la elección de coordenadas al escribir la medida como d [ π ] .