Renormalization of axial anomaly in SU(N)$\times$U(1)

Resumo Técnico: Renormalização da Anomalia Axial em $SU(N) \times U(1)$

Enunciado do Problema
A definição da matriz de quiralidade $\gamma_5$ dentro da regularização dimensional (DR) apresenta um obstáculo fundamental em cálculos perturbativos de ordem superior. Uma $\gamma_5$ totalmente anticomutativa é incompatível com a álgebra de Dirac em $d \neq 4$ dimensões. Embora a prescrição de Larin resolva isso estendendo a definição quadridimensional de $\gamma_5$ via o tensor de Levi-Civita para $d = 4 - 2\epsilon$ dimensões, ela explicitamente quebra a anticomutatividade. Consequentemente, as identidades de Ward padrão são violadas. Para restaurar essas identidades e garantir a invariância do grupo de renormalização das correntes axiais, constantes de renormalização finitas adicionais ($Z_5$) devem ser introduzidas juntamente com os contratermos de ultravioleta (UV) padrão.

Embora essas constantes sejam conhecidas até quatro loops para a Cromodinâmica Quântica (QCD) pura, a precisão sub-percentual exigida para o LHC de Alta Luminosidade e futura fenomenologia de colisores necessita da inclusão de efeitos mistos de QCD-eletrofraco (EW). Atualmente, as constantes de renormalização exigidas pela prescrição de Larin não foram estendidas para setores de gauge mistos, especificamente o grupo de gauge $SU(N) \times U(1)$. Além disso, o procedimento de "abelianização", que tenta derivar resultados de QED ou mistos de expressões de QCD pura através da transformação de fatores de cor, é conhecido por falhar a três loops para topologias específicas (especificamente aquelas envolvendo um único loop de férmion interno).

Metodologia
Os autores propõem uma nova técnica computacional para determinar as constantes de renormalização de três loops para grupos de gauge mistos $SU(N) \times U(1)$. O núcleo deste método baseia-se na universalidade das divergências de infravermelho (IR) em teorias de gauge.

1. Cálculo do Fator de Forma: Os autores calculam os fatores de forma de quarks a três loops (elementos de matriz de correntes vetoriais, axiais-vetoriais, escalares e pseudoescalares) usando frameworks automatizados de múltiplos loops. Os diagramas são gerados via QGRAF, manipulações algébricas são realizadas em FORM, e integrais são reduzidas a Integrais Mestres (MIs) usando Kira 3.
2. Tratamento de Bósons Massivos: O framework contabiliza bósons de gauge $U(1)$ massivos e sem massa. A avaliação de diagramas com campos $U(1)$ massivos introduz uma complexidade significativa no passo de redução por Integração-por-Partes (IBP), para o qual os autores utilizam MIs avaliadas em um trabalho anterior [17].
3. Subtração de IR e Extração:
   • Para correntes não-singletos, as constantes são derivadas comparando os fatores de forma axial-vetorais e vetoriais renormalizados em UV.
   • Para o caso puramente-singlete, a constante de renormalização finita $Z_5^s$ é extraída impondo a equação da anomalia axial de todos os ordens: $\langle q | \partial_\mu J^\mu_5 | q \rangle = a_s n_f T_F \langle q | G\tilde{G} | q \rangle + a_e \langle q | F\tilde{F} | q \rangle$.
   • Como a comparação algébrica direta da equação da anomalia falha além de dois loops devido aos polos de IR, os autores empregam o framework de fatorização de Catani. Eles definem um fator de renormalização de IR universal, $Z_{IR}$, que contém todas as divergências de IR. Ao multiplicar os elementos de matriz renormalizados em UV por $Z_{IR}^{-1}$, eles isolam restos finitos.
   • As constantes de renormalização são determinadas exigindo que as contribuições subtraídas de IR sejam finitas quando $\epsilon \to 0$ e que a equação da anomalia se mantenha para esses restos finitos.

Contribuições Principais e Resultados

• Constantes de Renormalização a Três Loops: O artigo apresenta o primeiro cálculo completo das constantes de renormalização de três loops ($Z_{MS}$ e $Z_5$) para correntes axiais-vetoriais e pseudoescalares em um grupo de gauge misto $SU(N) \times U(1)$. Isso inclui contribuições não-singletes e puramente-singletes.
• Contribuições Puramente-Singletes: Os autores fornecem as contribuições puramente-singletes para o fator de forma axial-vetorial de quark a três loops dentro do setup de gauge misto.
• Validação do Método: A técnica é validada ao reproduzir resultados conhecidos de QCD pura a três loops para fatores de cor específicos ($C_F^2 n_f T_F$ e $C_F n_f^2 T_F^2$), mostrando concordância perfeita com a literatura existente.
• Limites de Abelianização: O estudo confirma explicitamente que o procedimento de abelianização falha a três loops para o fator de cor $C_F^2 n_f T_F$ (originário de topologias de loop de férmion único interno). Os autores demonstram que resultados mistos QCD-QED não podem ser simplesmente previstos a partir de expressões de QCD pura sem computação explícita, devido ao comportamento distinto de fótons versus glúons em relação às cargas de sabor.
• Bóson de Gauge Massivo: Os autores verificam que introduzir uma massa ao bóson de gauge $U(1)$ não altera o comportamento UV originado de $\gamma_5$, confirmando a natureza independente de massa dessas constantes de renormalização.

Significância
Este artigo estabelece uma base teórica crucial para a fenomenologia de precisão do Modelo Padrão. Ao fornecer as constantes de renormalização de três loops necessárias para setores de gauge mistos, o trabalho permite que previsões teóricas correspondam à precisão estatística de futuros dados de colisores (ex: LHC de Alta Luminosidade). A técnica proposta, utilizando fatores de forma e universalidade de IR, oferece uma alternativa robusta à avaliação diagramática direta da equação da anomalia, superando com sucesso os problemas de divergência de IR que assolam cálculos de ordem superior. Os resultados servem como um primeiro passo necessário para o cálculo de correções mistas de QCD-EW de três loops completos, abordando um gargalo na precisão teórica atual.