¿Hay algún argumento para usar el vacío θθ\theta para una teoría de Yang-Mills que funcione independientemente de la presencia de fermiones?

Considere una teoría de Yang-Mills, que posiblemente incluya fermiones. Tiene muchos vacuas posibles { | norte } etiquetado por número de bobinado entero norte , definida como la invariante topológica de Maurer-Cartan: para el elemento calibre gramo ( norte ) y correspondiente transformación unitaria de calibre grande tu ( gramo ( norte ) ) tenemos

| norte = tu ( gramo ( norte ) ) | 0 , norte = i 24 π 2 S 3 d 3 θ ϵ i j k tr [ gramo ( norte ) i gramo ( norte ) 1 gramo ( norte ) k gramo ( norte ) 1 gramo k gramo ( norte ) 1 ]
¿Cuál es el argumento más independiente de la teoría que muestra que el vacío de la teoría de norma no abeliana debe corresponder al θ -estado de vacío
| θ = norte = mi i norte θ | norte ?

Ejemplos de argumentos que no están completos para mí

  1. Considere una teoría YM pura sin fermiones. Para argumentar por qué tenemos que usar el θ -vacío como estado fundamental, la gente muestra que el hamiltoniano H no es diagonal en la base { | norte } :
    norte | H | metro mi 8 π 2 gramo 2 | norte metro |
    y por lo tanto, la tunelización de vacío es posible. Esto nos obliga a diagonalizar el hamiltoniano, y el θ -base de vacío es la base de la diagonal.

Pero este argumento funciona bien solo cuando la aproximación semiclásica es válida, y también solo si no se incluyen los fermiones sin masa.

  1. El primer argumento, sin embargo, es válido solo para la teoría pura de Yang-Mills y se rompe cuando se incluyen fermiones sin masa, ya que los fermiones sin masa suprimen la formación de túneles. Luego, las personas usan un argumento basado en el principio de descomposición de grupos (o CDP). El argumento detallado se muestra, por ejemplo, en "La estructura del vacío de la teoría de calibre" de Callan Jr. Uno introduce un operador conservado
    q ~ 5 = d 3 r ( j 0 , 5 2 k 0 ) ,
    dónde k 0 Se define como
    GRAMO m v , a GRAMO ~ a m v = 2 m k m ,
    y al usar este cargo muestra que el VEV del operador de quiralidad 2c distinto de cero B ( X ) (es decir, [ q ~ 5 , B ( X ) ] = 2 C B ( X ) ) muestran que el VEV
    norte | B ( X ) B ( 0 ) | norte
    no satisface el CDP
    límite | X | norte | B ( X ) B ( 0 ) | norte = límite | X | norte | B ( X ) | norte norte | B ( 0 ) | norte
    los θ -vacío es la solución de este problema.

Pero este argumento (su parte detallada) depende de la presencia de fermiones. Precisamente, introducimos la quiralidad y operamos con el operador de quiralidad q ~ 5 .

¿Qué quiero?

Quiero algún argumento (posiblemente puramente matemático) que muestre que debemos elegir el θ -vacío como estado fundamental de la teoría YM (si existe) independientemente del contenido de campo preciso, en particular independientemente de la presencia de fermiones sin masa. ¿Existe tal argumento?

¿No demuestra esto Srednicki (sin perturbaciones y sin mencionar los fermiones) en el párrafo en medio de la pág. 593, simplemente requiriendo que el hamiltoniano sea invariante de calibre?

Respuestas (1)

Considere a Euclides Yang Mills en R 3 × S 1 . La función de partición euclidiana es una suma sobre diferentes sectores topológicos etiquetados por

q = 1 32 π 2 d 4 X GRAMO m v a GRAMO ~ m v a
Ahora realice una transformada de Fourier con respecto a q , que es determinar la función de partición Z ( θ ) = q mi i q θ Z q . Si deseamos estudiar el estado fundamental ( T = 0 ) dejamos el tamaño de la S 1 vaya al infinito, la función de partición ahora muestreará la función de onda del estado fundamental. Podemos definir los promedios de cualquier operador como θ | O | θ 1 Z ( θ ) q mi i q θ O q , que define efectivamente | θ .

Esto parece dar una definición de la | θ , pero no un argumento de por qué deberían ser el "verdadero" vacío en lugar de la | q . ¿Podrías elaborar un poco sobre eso?
Simplemente estoy usando el hecho de que la función de partición de QCD implica una suma sobre diferentes sectores topológicos. La aproximación semiclásica es suficiente para establecer la existencia de estos sectores, aunque no es cuantitativamente confiable para calcular su contribución.
No estoy dudando de la existencia/definición dada aquí, pero la pregunta no se limita a preguntar cómo definir el | θ - ya escribe | θ = norte mi i norte θ | norte - pero ¿por qué estos son los vacíos "verdaderos" que uno debe considerar como el estado fundamental? No has dado ningún argumento de por qué el Z ( θ ) son "mejores" en ser funcionales al vacío que los Z q , a menos que me esté perdiendo algo que consideres obvio.
La función de partición es automáticamente una suma sobre todos los sectores topológicos. La naturaleza puede haber optado por ponderarlos con un factor de fase mi i θ q , pero no tenemos evidencia de que θ 0 . Sin embargo, incluso para θ = 0 no tenemos más remedio que sumar todos los campos, y por lo tanto todos q .
Ya veo. Entonces, ¿qué tiene que ver tu mención de la transformada de Fourier? ¿No debería ser el argumento más bien que la función de partición total es de la forma q F ( q ) Z q ) y que una variante de las fuerzas de descomposición del racimo F ( q ) ser un factor de fase exponencial a través de F ( q 1 + q 2 ) = F ( q 1 ) F ( q 2 ) ?
Creo que es incluso más simple que eso. Tengo una función de partición con diferentes sectores q. Quizá desee volver a ponderar estos sectores o fijar el promedio q . Hago esto agregando una fase. mi i θ q , de modo que i q = Z / θ . Creo que el único lugar donde entra la física es que en el espacio euclidiano tenemos una fase, no una exponencial real (de modo que, dado que q es discreta, Z ( θ ) es periódica).