The discovery of the Higgs boson by the LHC experiments ATLAS and CMS has marked a milestone for particle physics. Yet, there are still many open questions that cannot be answered within the Standard Model (SM). For example, the generation of the observed matter-antimatter asymmetry in the universe through baryogenesis can only be explained qualitatively in the SM. A simple extension of the SM compatible with the current theoretical and experimental constraints is given by the 2-Higgs-Doublet Model (2HDM) where a second Higgs doublet is added to the Higgs sector. We investigate the possibility of a strong first order electroweak phase transition in the CP-conserving 2HDM type I and type II where either of the CP-even Higgs bosons is identified with the SM-like Higgs boson. The renormalisation that we apply on the loop-corrected Higgs potential allows us to efficiently scan the 2HDM parameter space and simultaneously take into account all relevant theoretical and up-to-date experimental constraints. The 2HDM parameter regions found to be compatible with the applied constraints and a strong electroweak phase transition are analysed systematically. Our results show that there is a strong interplay between the requirement of a strong phase transition and collider phenomenology with testable implications for searches at the LHC.

We provide the C++ tool BSMPT for calculating the strength of the electroweak phase transition in extended Higgs sectors. This relies on the loop-corrected effective potential at finite temperature including daisy resummation of the bosonic masses. The program allows to compute the vacuum expectation value (VEV) v of the potential as a function of the temperature, and in particular the critical VEV v c at the temperature T c where the phase transition takes place. In addition, the loop-corrected trilinear Higgs self-couplings are provided. We apply an 'on-shell' renormalization scheme in the sense that the loop-corrected masses and mixing angles are required to be equal to their tree-level input values. This allows for efficient scans in the parameter space of the models. The models implemented so far are the CP-conserving and the CP-violating 2-Higgs-Doublet Models (2HDM) and the Next-to-Minimal 2HDM (N2HDM). The program structure is such that the user can easily implement further models. Our tool can be used for the investigation of electroweak baryogenesis in models with extended Higgs sectors and the related Higgs self-couplings. The combination with parameter scans in the respective models allows to study the impact on collider phenomenology and to make a link between collider phenomenology and cosmology. The program package can be downloaded at: https://Refs. [21] and [22] in the CP-conserving and CP-violating 2-Higgs Doublet Model (2HDM), respectively.The program was developed and tested on an OpenSuse 42.2, Ubuntu 14.04, Ubuntu 16.04 and Mac 10.13 system with g++ v6.2.1 and g++ v.7.2.1. The package can be downloaded at:https://github.com/phbasler/BSMPT The outline of the paper is as follows. In Section 2 we present our calculation which also serves to set our notation. The models that are already implemented in the package are introduced in Section 3. In Section 4 we explain how to install and run the program. Section 5 describes the available executables and their corresponding output files. Section 6 explains with the help of a toy model how a new model can be added to the program package. The summary is given in Section 7.

We investigate the strength of the electroweak phase transition (EWPT) within the CPviolating 2-Higgs-Doublet Model (C2HDM). The 2HDM is a simple and well-studied model, which can feature CP violation at tree level in its extended scalar sector. This makes it, in contrast to the Standard Model (SM), a promising candidate for explaining the baryon asymmetry of the universe through electroweak baryogenesis. We apply a renormalisation scheme which allows efficient scans of the C2HDM parameter space by using the loop-corrected masses and mixing matrix as input parameters. This procedure enables us to investigate the possibility of a strong first order EWPT required for baryogenesis and study its phenomenological implications for the LHC. Like in the CPconserving (real) 2HDM (R2HDM) we find that a strong EWPT favours mass gaps between the non-SM-like Higgs bosons. These lead to prominent final states comprised of gauge+Higgs bosons or pairs of Higgs bosons. In contrast to the R2HDM, the CP-mixing of the C2HDM also favours approximately mass degenerate spectra with dominant decays into SM particles. The requirement of a strong EWPT further allows us to distinguish the C2HDM from the R2HDM using the signal strengths of the SM-like Higgs boson. We additionally find that a strong EWPT requires an enhancement of the SM-like trilinear Higgs coupling at next-to-leading order (NLO) by up to a factor of 2.4 compared to the NLO SM coupling, establishing another link between cosmology and collider phenomenology. We provide several C2HDM benchmark scenarios compatible with a strong EWPT and all experimental and theoretical constraints. We include the dominant branching ratios of the non-SM-like Higgs bosons as well as the Higgs pair production cross section of the SM-like Higgs boson for every benchmark point. The pair production cross sections can be substantially enhanced compared to the SM and could be observable at the high-luminosity LHC, allowing access to the trilinear Higgs 1 For other recent works on the link between CP violation and electroweak baryogenesis, see [63][64][65]. 2 Recent investigations on the interplay between a strong first order phase transition and the size of the trilinear Higgs self-couplings can also be found in [66][67][68].3 Discussions on the gauge dependence of vc/Tc can be found e.g. in [70,[74][75][76].

Higgs sector extensions beyond the Standard Model (BSM) provide additional sources of CP violation and further scalar states that help to trigger a strong first order electroweak phase transition (SFOEWPT) required to generate the observed baryon asymmetry of the Universe through electroweak baryogenesis. We investigate the CP-violating 2-Higgs-Doublet Model (C2HDM) and the Next-to-Minimal 2-Higgs-Doublet Model (N2HDM) with respect to their potential to generate an SFOEWPT while being compatible with all relevant and recent theoretical and experimental constraints. The implications of an SFOEWPT on the collider phenomenology of the two models are analysed in detail in particular with respect to Higgs pair production. We provide benchmark points for parameter points that are compatible with an SFOEWPT and provide distinct di-Higgs signatures.

The two-Higgs-doublet model (2HDM) provides an excellent benchmark to study physics beyond the Standard Model (SM). In this work, we discuss how the behavior of the model at high-energy scales causes it to have a scalar with properties very similar to those of the SM-which means the 2HDM can be seen to naturally favor a decoupling or alignment limit. For a type II 2HDM, we show that requiring the model to be theoretically valid up to a scale of 1 TeV, by studying the renormalization group equations (RGE) of the parameters of the model, causes a significant reduction in the allowed magnitude of the quartic couplings. This, combined with B-physics bounds, forces the model to be naturally decoupled. As a consequence, any nondecoupling limits in type II, like the wrong-sign scenario, are excluded. On the contrary, even with the very constraining limits for the Higgs couplings from the LHC, the type I model can deviate substantially from alignment. An RGE analysis similar to that made for type II shows, however, that requiring a single scalar to be heavier than about 500 GeV would be sufficient for the model to be decoupled. Finally, we show that the 2HDM is stable up to the Planck scale independently of which of the CP-even scalars is the discovered 125 GeV Higgs boson.