CP-violating transport theory for Electroweak Baryogenesis with thermal corrections

Understand

We derive CP-violating transport equations for fermions for electroweak baryogenesis from the CTP-formalism including thermal corrections at the one-loop level.

• We consider both the VEV-insertion approximation (VIA) and the semiclassical (SC) formalism.
• We show that the VIA-method is based on an {\em assumption} that leads to an ill-defined source term containing a pinch singularity, whose regularisation by thermal effects leads to ambiguities including spurious ultraviolet and infrared divergences.
• We then carefully review the derivation of the semiclassical formalism and extend it to include thermal corrections.