The BPHZL renormalization of a planar quantum electrodynamics up to 2-loops and beyond

Resumen Técnico: La renormalización BPHZL de una electrodinámica cuántica planar hasta 2 bucles y más allá

Planteamiento del Problema
El artículo aborda la renormalización de una electrodinámica cuántica de $U(1) \times U(1)$ sin masa y con paridad par en tres dimensiones de espacio-tiempo (QED$_3$), específicamente un modelo de Maxwell-Chern-Simons. Este modelo es relevante para describir fenómenos de materia condensada cuasi-planares, incluyendo el Efecto Hall Cuántico, la superconductividad de alta $T_c$, los aislantes topológicos y el grafeno. Un problema central en la renormalización de teorías sin masa en tres dimensiones es la interacción entre las divergencias ultravioletas (UV) e infrarrojas (IR). Si bien el esquema estándar de Bogoliubov-Parasiuk-Hepp-Zimmermann (BPHZ) maneja las divergencias UV, a menudo falla para las teorías sin masa porque las sustracciones UV pueden inducir divergencias IR. Se requiere el esquema Bogoliubov-Parasiuk-Hepp-Zimmermann-Lowenstein (BPHZL), que incorpora el método de sustracción de Lowenstein-Zimmermann (LZ), para manejar estas divergencias IR inducidas.

Una cuestión teórica específica motiva este trabajo: ¿Viola necesariamente el esquema de sustracción LZ la simetría de paridad en el espacio-tiempo tridimensional? Estudios previos sobre la QED$_3$ de $U(1)$ ordinaria sin masa indicaron que la paridad se rompe explícitamente al nivel de 1 bucle debido a las sustracciones IR de LZ, las cuales generan un término de Chern-Simons de paridad impar. Los autores investigan si esta violación de la paridad es una característica universal del esquema BPHZL o si depende del modelo específico. Se centran en el modelo de QED$_3$ extendido que preserva la paridad, el cual presenta dos fermiones sin masa y dos campos de gauge, para determinar si la paridad se preserva bajo la renormalización BPHZL hasta los 2 bucles y más allá.

Metodología
Los autores emplean el método de renormalización BPHZL combinado con el esquema de sustracción LZ. El procedimiento implica los siguientes pasos:

1. Definición del Modelo: Se define la acción para la QED$_3$ de Maxwell-Chern-Simons de $U(1) \times U(1)$ sin masa y con paridad par, incorporando un término de masa de Lowenstein-Zimmermann $m(s-1)$ para regular las divergencias IR, donde $s$ es un parámetro de sustracción ($0 \le s \le 1$). El modelo incluye dos especies de fermiones ($\psi_+, \psi_-$) asociadas con subredes de grafeno y dos campos de gauge ($A_\mu, a_\mu$).
2. Conteo de Potencias: Se establecen las dimensiones UV ($d$) e IR ($r$) de todos los campos para determinar los grados superficiales de divergencia para los diagramas de Feynman. El modelo se identifica como superrenormalizable, lo que significa que las divergencias UV están limitadas a un número finito de bucles. Específicamente, el conteo de potencias indica que las divergencias cesan de existir más allá del orden de 2 bucles ($d < 0$ para 3 bucles y superiores).
3. Análisis de Diagramas: Los autores analizan todos los diagramas de Feynman de 1 y 2 bucles.
   • A 1 bucle, se identifican los diagramas de polarización de vacío y de autoenergía como superficialmente divergentes.
   • A 2 bucles, cuatro diagramas de polarización de vacío ($\gamma_{8\pm}, \gamma_{9\pm}, \gamma_{11\pm}, \gamma_{12\pm}$) se identifican como potencialmente divergentes logarítmicamente ($d=0$).
4. Bosques de Zimmermann: Para la renormalización a 2 bucles, los autores construyen los bosques de Zimmermann para identificar subdiagramas y sus estructuras superpuestas.
   • Se encuentra que los diagramas $\gamma_{8\pm}$ y $\gamma_{9\pm}$ no tienen subdiagramas propios divergentes (sus subdiagramas son convergentes).
   • Los diagramas $\gamma_{11\pm}$ y $\gamma_{12\pm}$ contienen subdiagramas de autoenergía de 1 bucle divergentes.
5. Procedimiento de Sustracción: El integrando renormalizado $R_\Lambda$ se construye utilizando la fórmula del bosque de Zimmermann. Esto implica aplicar operadores de sustracción $\tau_\lambda$ (operadores de Taylor en momentos externos y en el parámetro $s$) para eliminar las divergencias UV e IR. Los grados de sustracción $\delta$ (UV) y $\rho$ (IR) se determinan para cada diagrama y subdiagrama.
6. Cálculo Explícito: Los autores realizan cálculos explícitos para los diagramas de 2 bucles. Utilizan la parametrización de Feynman y una nueva expresión general para las integrales $J_r$ (integrales de bucle con potencias arbitrarias de momentos en el numerador) para evaluar los integrandos renormalizados. El límite $s \to 1$ se toma al final para recuperar la teoría sin masa.

Contribuciones Clave y Resultados

• Prueba de Finitud: El artículo proporciona una prueba riguroya de que la QED$_3$ de Maxwell-Chern-Simons de $U(1) \times U(1)$ sin masa y con paridad preservada es tanto UV como IR finita hasta 2 bucles y más allá. Debido a la naturaleza superrenormalizable del modelo, no se requiere más renormalización para los órdenes de bucle $L \ge 3$.
• Preservación de la Paridad: Un resultado principal es la demostración de que la paridad no se rompe a los niveles de 1 bucle o 2 bucles en este modelo específico. Los autores muestran que los operadores de sustracción BPHZL, cuando se aplican al modelo de paridad par, no generan contra-términos de paridad impar (como el término de Chern-Simons). Esto contrasta con la QED$_3$ de $U(1)$ ordinaria donde la paridad es rota por la sustracción IR de LZ.
• No Localidad de los Términos Renormalizados: El cálculo explícito de los diagramas de 2 bucles ($\gamma_{11\pm}, \gamma_{12\pm}$ y $\gamma_{8\pm}, \gamma_{9\pm}$) revela que las contribuciones renormalizadas resultantes son no locales. Específicamente, los términos involucran denominadores que contienen potencias del momento externo $p^2$ (por ejemplo, $(c' + p'^2)^{-1}$), lo que corresponde a operadores no locales en el espacio de configuración. En consecuencia, estos diagramas no contribuyen a la renormalización de los parámetros del modelo (constantes de acoplamiento o masas).
• Desarrollos Técnicos: Los autores derivan una nueva expresión general para las integrales $J_r$ (Ecuación B.7) aplicable a cualquier número de momentos en el numerador del integrando, lo que facilita la evaluación de integrales complejas de múltiples bucles. También computan explícitamente los términos $X'_l$ asociados con los diagramas de 2 bucles.

Significado
El artículo afirma que este trabajo resuelve una pregunta fundamental sobre el comportamiento de las simetrías discretas bajo el esquema de renormalización BPHZL en tres dimensiones. Al demostrar que la paridad se preserva en el modelo de $U(1) \times U(1)$ pero se rompe en el modelo de $U(1)$ ordinario, los autores concluyen que la inducción de la violación de paridad por las sustracciones infrarrojas de LZ es dependiente del modelo, no un error inherente del propio esquema de renormalización.

Los autores afirman que, según su conocimiento, esta es la primera demostración en la teoría cuántica de campos de que una simetría discreta (paridad) puede preservarse en una teoría sin masa en 3D renormalizada mediante el método BPHZL, a pesar de la presencia de dos fermiones sin masa que requieren el esquema de sustracción LZ. Este resultado respalda la consistencia del modelo de QED$_3$ extendido con paridad par como un marco viable para describir fenómenos en el grafeno y otros sistemas planares donde se observan la invariancia de escala y la preservación de la paridad. El trabajo confirma que la finitud UV e IR del modelo emula la invariancia de escala observada en el grafeno sin requerir la introducción de contra-términos que violen la paridad.