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

Resumo Técnico: A Renormalização BPHZL de uma Eletrodinâmica Quântica Plana até 2 loops e Além

Enunciado do Problema
O artigo aborda a renormalização de uma Eletrodinâmica Quântica (QED$_3$) de $U(1) \times U(1)$ sem massa e com paridade par, em três dimensões de tempo-espaço (modelo Maxwell-Chern-Simons). Este modelo é relevante para descrever fenômenos de matéria condensada quase-planares, incluindo o Efeito Hall Quântico, supercondutividade de alta temperatura ($T_c$), isolantes topológicos e grafeno. Uma questão central na renormalização de teorias sem massa em três dimensões é a interação entre divergências ultravioletas (UV) e infravermelhas (IR). Embora o esquema padrão Bogoliubov-Parasiuk-Hepp-Zimmermann (BPHZ) lide com divergências UV, ele frequentemente falha para teorias sem massa porque as subtrações UV podem induzir divergências IR. O esquema Bogoliubov-Parasiuk-Hepp-Zimmermann-Lowenstein (BPHZL) é necessário para lidar com essas divergências IR induzidas, incorporando o método de subtração de Lowenstein-Zimmermann (LZ).

Uma questão teórica específica motiva este trabalho: o esquema de subtração LZ necessariamente viola a simetria de paridade em espaço-tempo tridimensional? Estudos anteriores sobre a QED$_3$ $U(1)$ comum indicaram que a paridade é explicitamente quebrada no nível de 1-loop devido às subtrações IR de LZ, que geram um termo de Chern-Simons de paridade ímpar. Os autores investigam se essa violação de paridade é uma característica universal do esquema BPHZL ou se depende do modelo específico. Eles focam no modelo estendido de QED$_3$ que preserva a paridade, que apresenta dois férmions sem massa e dois campos de gauge, para determinar se a paridade é preservada sob a renormalização BPHZL até 2-loops e além.

Metodologia
Os autores empregam o método de renormalização BPHZL combinado com o esquema de subtração LZ. O procedimento envolve as seguintes etapas:

1. Definição do Modelo: A ação para a QED$_3$ Maxwell-Chern-Simons $U(1) \times U(1)$ sem massa e de paridade par é definida, incorporando um termo de massa de Lowenstein-Zimmermann $m(s-1)$ para regular divergências IR, onde $s$ é um parâmetro de subtração ($0 \le s \le 1$). O modelo inclui duas espécies de férmions ($\psi_+, \psi_-$) associadas a subredes de grafeno e dois campos de gauge ($A_\mu, a_\mu$).
2. Contagem de Potência: As dimensões UV ($d$) e IR ($r$) de todos os campos são estabelecidas para determinar os graus de divergência superficial dos diagramas de Feynman. O modelo é identificado como superrenormalizável, o que significa que as divergências UV são limitadas a um número finito de loops. Especificamente, a contagem de potência indica que as divergências cessam além da ordem de 2-loops ($d < 0$ para 3-loops e ordens superiores).
3. Análise de Diagramas: Os autores analisam todos os diagramas de Feynman de 1-loop e 2-loops.
   • Em 1-loop, diagramas de polarização do vácuo e de auto-energia são identificados como superficialmente divergentes.
   • Em 2-loops, quatro diagramas de polarização do vácuo ($\gamma_{8\pm}, \gamma_{9\pm}, \gamma_{11\pm}, \gamma_{12\pm}$) são identificados como potencialmente divergentes logaritmicamente ($d=0$).
4. Florestas de Zimmermann: Para a renormalização de 2-loops, os autores constroem as florestas de Zimmermann para identificar subdiagramas e suas estruturas sobrepostas.
   • Os diagramas $\gamma_{8\pm}$ e $\gamma_{9\pm}$ são encontrados sem subdiagramas divergentes próprios (seus subdiagramas são convergentes).
   • Os diagramas $\gamma_{11\pm}$ e $\gamma_{12\pm}$ contêm subdiagramas de auto-energia de 1-loop divergentes.
5. Procedimento de Subtração: O integrando renormalizado $R_\Lambda$ é construído usando a fórmula da floresta de Zimmermann. Isso envolve a aplicação de operadores de subtração $\tau_\lambda$ (operadores de Taylor em momentos externos e no parâmetro $s$) para remover divergências UV e IR. Os graus de subtração $\delta$ (UV) e $\rho$ (IR) são determinados para cada diagrama e subdiagrama.
6. Cálculo Explícito: Os autores realizam cálculos explícitos para os diagramas de 2-loops. Eles utilizam parametrização de Feynman e uma nova expressão geral para integrais $J_r$ (integrais de loop com potências arbitrárias de momentos no numerador) para avaliar os integrandos renormalizados. O limite $s \to 1$ é tomado ao final para recuperar a teoria sem massa.

Contribuições Principais e Resultados

• Prova de Finitude: O artigo fornece uma prova rigorosa de que a QED$_3$ Maxwell-Chern-Simons $U(1) \times U(1)$ sem massa e de paridade preservada é tanto UV quanto IR finita até 2-loops e além. Devido à natureza superrenormalizável do modelo, nenhuma renormalização adicional é necessária para ordens de loop $L \ge 3$.
• Preservação da Paridade: Um resultado primário é a demonstração de que a paridade não é quebrada nos níveis de 1-loop ou 2-loops neste modelo específico. Os autores mostram que os operadores de subtração BPHZL, quando aplicados ao modelo de paridade par, não geram contratermos de paridade ímpar (como o termo de Chern-Simons). Isso contrasta com a QED$_3$ $U(1)$ comum, onde a paridade é quebrada pelo esquema LZ.
• Não-Localidade dos Termos Renormalizados: O cálculo explícito dos diagramas de 2-loops ($\gamma_{11\pm}, \gamma_{12\pm}$ e $\gamma_{8\pm}, \gamma_{9\pm}$) revela que as contribuições renormalizadas resultantes são não-locais. Especificamente, os termos envolvem denominadores contendo potências do momento externo $p^2$ (ex: $(c' + p'^2)^{-1}$), que correspondem a operadores não-locais no espaço de configuração. Consequentemente, esses diagramas não contribuem para a renormalização dos parâmetros do modelo (constantes de acoplamento ou massas).
• Desenvolvimentos Técnicos: Os autores derivam uma nova expressão geral para integrais $J_r$ (Equação B.7) aplicável a qualquer número de momentos no numerador do integrando, o que facilita a avaliação de integrais de múltiplos loops complexos. Eles também computam explicitamente os termos $X'_l$ associados aos diagramas de 2-loops.

Significância
O artigo afirma que este trabalho resolve uma questão fundamental sobre o comportamento de simetrias discretas sob o esquema de renormalização BPHZL em três dimensões. Ao demonstrar que a paridade é preservada no modelo $U(1) \times U(1)$, mas quebrada no modelo $U(1)$ comum, os autores concluem que a indução de violação de paridade pelas subtrações infravermelhas de LZ é dependente do modelo, e não uma falha inerente do próprio esquema de renormalização.

Os autores afirmam que, tanto quanto é do conhecimento deles, esta é a primeira demonstração em teoria quântica de campos de que uma simetria discreta (paridade) pode ser preservada em uma teoria sem massa 3D renormalizada via método BPHZL, apesar da presença de dois férmions sem massa exigindo o esquema de subtração LZ. Este resultado apoia a consistência do modelo estendido de QED$_3$ de paridade par como um arcabouço viável para descrever fenômenos em grafeno e outros sistemas planares onde a invariância de escala e a preservação de paridade são observadas. O trabalho confirma que a finitude UV e IR deste modelo emula a invariância de escala observada no grafeno sem a necessidade de introduzir contratermos que violem a paridade.