Amplitude of $H \to \gamma Z$ process via one $W$ loop in unitary gauge (I. Details of calculation with Dyson scheme)

Resumo Técnico: Amplitude do Processo $H \to \gamma Z$ via um Loop de $W$ no Gauge Unitário (Parte I)

Enunciado do Problema
O artigo aborda o cálculo da amplitude de decaimento para o processo $H \to \gamma Z$ mediado por um diagrama de loop de bósons $W$ de um laço em um único loop no gauge unitário. Este cálculo é motivado por um "paradoxo" relativo à invariância de gauge e à consistência dos cálculos de loop no gauge unitário em comparação com os gauges $R_\xi$, particularmente destacado em reexaminações recentes da largura de decaimento $H \to \gamma\gamma$. O gauge unitário apresenta dificuldades específicas: ele não comuta com integrações de loop, levando a divergências de alta ordem (quadráticas e quárticas) que devem se cancelar para produzir um resultado finito e invariante de gauge $U(1)$ eletromagnético. Técnicas padrão envolvendo o deslocamento arbitrário de momentos de loop em integrais divergentes podem introduzir ambiguidades e termos de superfície que obscurecem o resultado físico, particularmente para termos proporcionais a $M_Z^2$, que são únicos para o processo $H \to \gamma Z$ em comparação ao $H \to \gamma\gamma$.

Metodologia: O Esquema de Dyson
O autor emprega um framework de cálculo baseado na formulação original de Dyson (referida como o "esquema de Dyson"), que difere das aplicações padrão de regras de Feynman no espaço de momento em várias maneiras críticas:

1. Retenção de $\delta$-funções: Em vez de integrar imediatamente as $\delta$-funções de conservação de momento de quatro-vetor para definir momentos de loop independentes, o cálculo retém todos os momentos dos propagadores e as $\delta$-funções dos vértices durante as etapas iniciais. Isso evita a ambiguidade de definir momentos de loop independentes para diagramas com divergências piores que logarítmicas.
2. Sem Deslocamento de Momento: O método evita explicitamente o deslocamento de variáveis integradas em integrais divergentes de alta ordem. O autor argumenta que o deslocamento de momentos em tais integrais gera termos de superfície extras que podem alterar o resultado se não forem tratados com extremo cuidado. Ao manter as variáveis de integração originais definidas pela expansão perturbativa de Dyson-Wick, a expressão "original" é preservada.
3. Tratamento de Termos de Superfície: O cálculo é realizado no espaço de momento de Minkowski 4-dimensional sem regularização auxiliar (como a regularização dimensional). A finitude e a invariância de gauge são alcançadas pelo tratamento adequado dos termos de superfície decorrentes da redução de integrais tensoriais divergentes. O autor postula que as condições de contorno físicas do propagador de Feynman livre na implementação do problema de espalhamento $S$-matrix implicam que esses termos de superfície desaparecem.
4. Identidades de Ward (I.W.): O cálculo depende fortemente das identidades de Ward para os vértices $WW\gamma$ e $WWZ$ para reduzir a complexidade dos integrandos e demonstrar cancelamentos entre diferentes diagramas ($T_1, T_2, T_3$).

Contribuições Principais e Detalhes do Cálculo
O artigo foca nos três diagramas de Feynman não nulos que contribuem para o processo (dois com um loop de $W$ e um com uma estrutura de tadpole/bolha de $W$, observando que outros dois diagramas somam zero). O cálculo prossegue analisando os termos baseados na ordem de divergência e potências da massa $M$ do $W$ e da massa $M_Z$ do $Z$:

• Divergências de Alta Ordem ($M^{-6}$ e $M^{-4}$): Os termos $M^{-6}$ desaparecem devido às identidades de Ward. Os termos $M^{-4}$, que incluem novas contribuições proporcionais a $M_Z^2/M^4$ não presentes no caso $H \to \gamma\gamma$, são mostrados como se cancelando entre os diagramas. O cancelamento das divergências quárticas e cúbicas deixa apenas divergências quadráticas proporcionais a $M_Z^2$.
• Divergências Quadráticas: As divergências quadráticas restantes são mostradas como se cancelando exatamente quando os termos de superfície para as integrais tensoriais quadráticas são tratados como zero. Este cancelamento é demonstrado sem deslocar as variáveis de integração, baseando-se, em vez disso, na estrutura específica dos integrandos derivados do esquema de Dyson.
• Termos Logarítmicos e Finitos: O cálculo isola termos finitos proporcionais a $M_Z^2/M^2$ e $M_Z^2/M^4$. Um resultado crucial é a emergência de um termo não nulo, finito e invariante de gauge $U(1)_{EM}$ proporcional a $(k_1 \cdot k_2 g_{\mu\nu} - k_{2\mu}k_{1\nu})M_Z^2/M^4$. Este termo é identificado como essencial para comparar os resultados com outros gauges (como $R_\xi$).
• Invariância de Gauge: A amplitude final montada é mostrada como sendo finita e invariante sob transformações de gauge $U(1)$ eletromagnéticas. O autor observa que este resultado implica nenhuma contribuição para a constante de renormalização de mistura $Z\gamma$ neste nível de 1-loop.

Resultos
O artigo apresenta as formas integrais explícitas dos componentes da amplitude (rotulados como $R_1$ através de $R_5$) antes de realizar a integração final sobre os parâmetros de Feynman. As principais descobertas são:

1. As partes divergentes (quárticas, cúbicas, quadráticas e logarítmicas) cancelam-se completamente quando os diagramas são somados e os termos de superfície são corretamente tratados.
2. O resultado final é finito e invariante de gauge eletromagnética em 4 dimensões.
3. O cálculo confirma que a amplitude $H \to \gamma Z$ via um loop de $W$ no gauge unitário produz um resultado consistente sem a necessidade de renormalização da constante de mistura $Z\gamma$, desde que os termos de superfície sejam tratados de acordo com as condições de contorno físicas do propagador livre.

Significância e Alegações
O artigo alega que o "esquema de Dyson" fornece um framework robusto para resolver as ambiguidades associadas a divergências de alta ordem no gauge unitário. Ao evitar o deslocamento arbitrário de momentos de loop e tratar os termos de superfície como zero com base em condições de contorno físicas, o autor demonstra que o Modelo Padrão permanece autoconsistente neste gauge.

O autor sugere que o tratamento de termos de superfície não é meramente uma tecnicidade, mas uma sonda na estrutura local e topologia do espaço-tempo. O artigo especula que em diferentes variedades de espaço-tempo (por exemplo, cenários do universo primitivo com singularidades ou defeitos), esses termos de superfície podem não desaparecer, potencialmente levando a anomalias (como não-conservação de carga ou violação de CP) que estão ausentes no vácuo de Minkowski atual. No entanto, o artigo limita explicitamente seu escopo aos detalhes de cálculo no espaço de Minkowski padrão e adia a comparação com outros gauges e a interpretação física completa para uma parte subsequente (Parte II). O trabalho é apresentado como um framework sistemático para estabelecer a amplitude finita, enfatizando o papel dos termos de superfície para garantir a consistência do Modelo Padrão no gauge unitário.