Renormalization of the SMEFT to Dimension Eight: Fermionic Interactions II

Resumo Técnico: Renormalização do SMEFT para Dimensão Oito: Interações Fermiônicas II

Enunciado do Problema
A Teoria de Campo Eficaz do Modelo Padrão (SMEFT) serve como um arcabouço independente de modelo para descrever a física além do Modelo Padrão (SM) na escala de TeV e acima. Para utilizar plenamente a SMEFT em ajustes globais (global fits) e fenomenologia de precisão, particularmente na dimensão oito ($O(v^4/\Lambda^4)$), é necessário um entendimento completo das Equações de Grupo de Renormalização (RGEs). Enquanto as RGEs de um loop para operadores de dimensão seis foram estabelecidas há anos, o programa de dimensão oito tem progredido incrementalmente. Trabalhos anteriores [1–4] computaram a mistura de operadores bosônicos e de quatro férmions em vários setores, bem como a mistura de pares de dimensão seis em operadores de dimensão oito. No entanto, uma lacuna crítica permanecia: o cálculo da mistura de um loop de operadores de dimensão oito (especificamente aqueles envolvendo interações bosônicas e de dois férmions) em operadores de dois férmions. Este artigo aborda essa peça específica que faltava.

Metodologia
Os autores realizam um cálculo de renormalização off-shell em $D = 4 - 2\epsilon$ dimensões utilizando regularização dimensional. A metodologia envolve as seguintes etapas:

1. Arcabouço: O cálculo utiliza o Lagrangiano do SM estendido por operadores de dimensão seis e dimensão oito. Os autores empregam a base de Warsaw para dimensão seis e uma versão modificada da base de Murphy para operadores de dimensão oito.
2. Cálculo Diagramático: As divergências de um loop são computadas para diagramas de Feynman de um partícula irredutível (1PI) usando ferramentas automatizadas, incluindo FeynRules, FeynArts, FormCalc, FeynCalc e Package-X.
3. Projeção da Base de Green: As divergências locais off-shell são projetadas em uma "base de Green" de operadores SMEFT. Esta base é uma extensão do trabalho anterior [3], incluindo explicitamente estruturas de operadores redundantes como $\psi^2 D^5$, $\psi^2 \phi D^4$, $\psi^2 X D^3$, $\psi^2 X \phi D^2$, $\psi^2 X^2 D$ e $\psi^2 X^2 \phi$.
4. Redução de Redundância: Um grande desafio técnico é a redução desses operadores redundantes para a base física usando equações de movimento (EOM). Os autores superam a complexidade dessas relações intrincadas (por exemplo, relacionar $\psi^2 X D^3$ a operadores com muitos ramos como $\psi^2 \phi^5$) combinando as ferramentas automatizadas mosca [81] e uma versão atualizada de ABC4EFT [82–84].
5. Verificações Cruzadas: Os resultados são validados contra teoremas de não-renormalização baseados em amplitudes, restrições de positividade derivadas da unitariedade e analiticidade da matriz S, e resultados sobrepostos da Ref. [80].

Principais Contribuições e Resultados
A principal contribuição deste trabalho é o cálculo dos elementos da matriz de dimensão anômala ($\gamma$) que governam a mistura de operadores bosônicos e de dois férmions de dimensão oito em operadores de dois férmions.

• Padrões de Mistura: O artigo fornece a estrutura completa da mistura na base de Green (Tabela 1) e na base física (Tabela 4). Ele detalha como várias classes de operadores (por exemplo, $\phi^6 D^2$, $X \phi^4 D^2$, $\psi^2 \phi^5$) contribuem para o escoamento (running) de operadores de dois férmions.
• Cálculo Explícito: Os autores demonstram sua abordagem através do cálculo explícito da mistura de operadores $\phi^6 D^2$ em operadores $l e \phi^5$. Eles mostram que, embora certos diagramas 1PI desapareçam, a renormalização de operadores redundantes (via EOM) gera contribuições não nulas para as dimensões anômalas físicas on-shell. O resultado final para este canal específico (Eq. 13) mostra-se em perfeito acordo com a Ref. [80].
• Validação: Os resultados satisfazem teoremas de não-renormalização (por exemplo, $\psi^2 \phi^5$ não se mistura em $\psi^2 \phi^4 D$ on-shell) e restrições de positividade. Os autores verificam explicitamente que as dimensões anômalas na base de positividade são negativas definidas, consistente com expectativas teóricas prévias [77].
• Disponibilidade de Dados: O conjunto completo de RGEs e as relações entre operadores redundantes e físicos são disponibilizados via um repositório público no GitHub.

Significância e Escopo
O artigo afirma que este cálculo "quase completa" o programa de renormalização de um loop para o SMEFT na dimensão oito. Ao determinar a mistura de termos de dimensão oito de dois férmions e bosônicos em operadores de dois férmons, os autores resolveram todos os canais de mistura, exceto para a mistura de operadores de quatro férmions de dimensão oito em operadores de dois férmions.

Os autores mantêm um tom modesto em relação ao escopo de seu trabalho:

• Eles declaram explicitamente que as contribuições de operadores de quatro férmions de dimensão oito e os efeitos de operadores de dois férmions de dimensão oito no escoamento de operadores de dimensão inferior são deixados para trabalhos futuros.
• Eles reconhecem que a Ref. [80] contém resultados sobrepostos, mas observam que a Ref. [80] é restrita a loops envolvendo operadores de seis e sete ramos, que não podem se misturar em operadores com quatro ou menos ramos em um loop, limitando seu escopo em comparação com a presente análise abrangente.
• O artigo enfatiza a complexidade técnica do cálculo e convida ao escrutínio independente e à reprodução dos resultados.

Em resumo, este trabalho fornece a maquinaria teórica necessária para evoluir os coeficientes de Wilson para operadores de dois férmions na dimensão oito, completando uma parte significativa do programa de renormalização do SMEFT necessária para a próxima geração de fenomenologia de precisão.