ALP-Assisted Strong First-Order Electroweak Phase Transition and Baryogenesis

Axion-like particles (ALPs) can be naturally lighter than the electroweak scale. We consider an ALP that couples to the Standard Model Higgs to achieve the strong first-order electroweak phase transition. We discuss the two-field dynamics of the phase transition and the associated computation in detail and identify the viable parameter space. The ALP mass can be from the MeV to GeV scale. Baryon asymmetry can be explained by local baryogenesis without violating the current electron and atom electric dipole moment bound in most of the viable parameter space. The viable parameter space can be probed through Higgs exotic decay, rare kaon decay, the electron and atomic electric dipole moment, and the effective number of neutrinos in the cosmic microwave background in the future. The gravitational-wave signal is too weak to be detected.