The standard vacuum bounce formalism suffers from inconsistencies when applied to thermal bubble nucleation, for which ad hoc workarounds are commonly adopted. Identifying the length scales on which nucleation takes place, we demonstrate how the construction of an effective description for these scales naturally resolves the problems of the standard vacuum bounce formalism. Further, by utilising high temperature dimensional reduction, we make a connection to classical nucleation theory. This offers a clear physical picture of thermal bubble nucleation, as well as a computational framework which can then be pushed to higher accuracy. We demonstrate the method for three qualitatively different quantum field theories.

Making use of a dimensionally-reduced effective theory at high temperature, we perform a nonperturbative study of the electroweak phase transition in the Two Higgs Doublet model. We focus on two phenomenologically allowed points in the parameter space, carrying out dynamical lattice simulations to determine the equilibrium properties of the transition. We discuss the shortcomings of conventional perturbative approaches based on the resummed effective potential — regarding the insufficient handling of infrared resummation but also the need to account for corrections beyond 1-loop order in the presence of large scalar couplings — and demonstrate that greater accuracy can be achieved with perturbative methods within the effective theory. We find that in the presence of very large scalar couplings, strong phase transitions cannot be reliably studied with any of the methods.