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

Sintesi Tecnica: Ampiezza del processo $H \to \gamma Z$ tramite un loop di $W$ nel Gauge Unitario (Parte I)

Enunciato del Problema
Il documento affronta il calcolo dell'ampiezza di decadimento per il processo $H \to \gamma Z$ mediato da un diagramma a un loop di bosoni $W$ all'interno del gauge unitario. Questo calcolo è motivato da un "paradosso" riguardante l'invarianza di gauge e la coerenza dei calcoli nei loop nel gauge unitario rispetto ai gauge $R_\xi$, evidenziato in particolare da recenti riesami della larghezza di decadimento $H \to \gamma\gamma$. Il gauge unitario presenta difficoltà specifiche: non commuta con le integrazioni nei loop, portando a divergenze di ordine superiore (quadratiche e quartiche) che devono cancellarsi per produrre un risultato finito e invariante per il $U(1)$ elettromagnetico. Le tecniche standard, che comportano lo spostamento arbitrario dei momenti nei loop nelle integrali divergenti, possono introdurre ambiguità e termini di superficie che oscurano il risultato fisico, particolarmente per i termini proporzionali a $M_Z^2$, i quali sono unici per il processo $H \to \gamma Z$ rispetto a $H \to \gamma\gamma$.

Metodologia: Lo Schema di Dyson
L'autore impiega un framework di calcolo basato sulla formulazione originale di Dyson (riferita come "schema di Dyson"), che differisce in diversi modi critici dalle applicazioni standard delle regole di Feynman nello spazio dei momenti:

1. Ritenzione delle $\delta$-funzioni: Invece di integrare immediatamente le $\delta$-funzioni di conservazione del quadrimomento in ogni vertice per definire momenti di loop indipendenti, il calcolo mantiene tutti i momenti dei propagatori e le $\delta$-funzioni dei vertici durante le fasi iniziali. Ciò evita l'ambiguità di impostare momenti di loop indipendenti per diagrammi con divergenze peggiori di quelle logaritmiche.
2. Nessuno Spostamento di Momento: Il metodo evita esplicitamente lo spostamento delle variabili integrate negli integrali divergenti di ordine superiore. L'autore sostiene che lo spostamento dei momenti in tali integrali generi termini di superficie extra che possono alterare il risultato se non gestiti con estrema cura. Mantenendo le variabili di integrazione originali definite dall'espansione perturbativa di Dyson-Wick, l'espressione "originale" viene preservata.
3. Trattamento dei Termini di Superficie: Il calcolo è eseguito in uno spazio di momenti di Minkowski a 4 dimensioni senza regolarizzazione ausiliaria (come la regolarizzazione dimensionale). La finitezza e l'invarianza di gauge sono raggiunte attraverso il corretto trattamento dei termini di superficie derivanti dalla riduzione degli integrali tensoriali divergenti. L'autore pone che le condizioni al contorno fisiche del propagatore di Feynman libero nel problema dello scattering $S$-matrix implichino che questi termini di superficie svaniscano.
4. Identità di Ward (W.I.): Il calcolo si affida fortemente alle identità di Ward per i vertici $WW\gamma$ e $WWZ$ per ridurre la complessità degli integrandi e dimostrare le cancellazioni tra i diversi diagrammi ($T_1, T_2, T_3$).

Contributi Chiave e Dettagli del Calcolo
Il documento si concentra sui tre diagrammi di Feynman non nulli che contribuiscono al processo (due con un loop di $W$ e uno con una struttura a tadpole/bubble di $W$, notando che altri due diagrammi sommano a zero). Il calcolo procede analizzando i termini in base all'ordine di divergenza e alle potenze della massa $M$ del bosone $W$ e della massa $M_Z$ del bosone $Z$:

• Divergenze di Ordine Superiore ($M^{-6}$ e $M^{-4}$): I termini $M^{-6}$ svaniscono a causa delle identità di Ward. I termini $M^{-4}$, che includono nuovi contributi proporzionali a $M_Z^2/M^4$ non presenti nel caso $H \to \gamma\gamma$, sono mostrati essere annullati tra i diagrammi. La cancellazione delle divergenze quartiche e cubiche lascia solo divergenze quadratiche proporzionali a $M_Z^2$.
• Divergenze Quadratiche: I restanti termini divergenti quadratici sono mostrati essere esattamente annullati quando i termini di superficie per gli integrali tensoriali quadratici sono trattati come zero. Questa cancellazione è dimostrata senza spostare le variabili di integrazione, facendo affidamento invece sulla specifica struttura degli integrandi derivati dallo schema di Dyson.
• Termini Logaritmici e Finiti: Il calcolo isola i termini finiti proporzionali a $M_Z^2/M^2$ e $M_Z^2/M^4$. Un risultato cruciale è l'emergere di un termine non nullo, finito e invariante per il $U(1)_{EM}$ proporzionale a $(k_1 \cdot k_2 g_{\mu\nu} - k_{2\mu}k_{1\nu})M_Z^2/M^4$. Questo termine è identificato come essenziale per confrontare i risultati con altri gauge (come $R_\xi$).
• Invarianza di Gauge: L'ampiezza finale assemblata è mostrata essere finita e invariante sotto trasformazioni di gauge $U(1)$ elettromagnetiche. L'autore nota che questo risultato implica nessun contributo alla costante di rinormalizzazione del mixing $Z\gamma$ a questo livello di 1-loop.

Risultati
Il documento presenta le forme esplicite degli integrali delle componenti dell'ampiezza (etichettate come $R_1$ attraverso $R_5$) prima di eseguire l'integrazione finale sui parametri di Feynman. I risultati chiave sono:

1. Le parti divergenti (quartiche, cubiche, quadratiche e logaritmiche) si cancellano completamente quando i diagrammi vengono sommati e i termini di superficie sono correttamente gestiti.
2. Il risultato finale è finito e invariante per il gauge elettromagnetico in 4 dimensioni.
3. Il calcolo conferma che l'ampiezza $H \to \gamma Z$ tramite un loop di $W$ nel gauge unitario produce un risultato coerente senza la necessità di rinormalizzare la costante di mixing $Z\gamma$, a condizione che i termini di superficie siano trattati secondo le condizioni al contorno fisiche del propagatore libero.

Significatività e Rivendicazioni
Il documento sostiene che lo "schema di Dyson" fornisca un framework robusto per risolvere le ambiguità associate alle divergenze di ordine superiore nel gauge unitario. Evitando lo spostamento arbitrario dei momenti nei loop e trattando i termini di superficie come zero in base alle condizioni al contorno fisiche, l'autore dimostra che il Modello Standard rimane auto-coerente in questo gauge.

L'autore suggerisce che il trattamento dei termini di superficie non sia una mera tecnicità ma una sonda nella struttura locale e nella topologia dello spazio-tempo. Il documento specula che in diversi manifold spazio-temporali (ad esempio scenari dell'universo primordiale con singolarità o difetti), questi termini di superficie potrebbero non svanire, portando potenzialmente ad anomalie (come la non conservazione della carica o la violazione di CP) che sono assenti nel vuoto di Minkowski attuale. Tuttavia, il documento limita esplicitamente il proprio ambito al dettaglio del calcolo nello spazio di Minkowski standard e rimanda il confronto con altri gauge e la completa interpretazione fisica a una parte successiva (Parte II). Il lavoro è presentato come un framework sistematico per stabilire l'ampiezza finita, enfatizzando il ruolo dei termini di superficie nel garantire la coerenza del Modello Standard nel gauge unitario.