Dimensional Reduction and Electroweak Baryogenesis in SM Extensions

In this presentation, we revise how method of finite T dimensional reduction can be applied to electroweak phase transition and how non-perturbative analysis reveals that in the SM phase transition cannot be 1st order. Then we apply the same method of dimensional reduction to BSM models, with extended scalar sector, with extra singlet, doublet or triplet scalars. We present preliminary results for SM + superheavy singlet model.