1. Introduction
The Standard Model (SM) [1] relies on the introduction of a Higgs doublet, whose
vacuum expectation value breaks the electroweak symmetry [2–4]. This mechanism gen-
erates masses for the weak gauge bosons and charged fermions, as well as potentially
the neutrinos (although there may be other mass sources for the latter). The Stan-
dard Model Higgs sector is the simplest way of implementing the Higgs mechanism for
generating the masses of the known elementary particles. However, it is not the only
possibility, and may be easily extended to the case of more than one Higgs doublet with-
out violating any of the important properties of the SM. Moreover, one of the simplest of
these extensions — two Higgs doublet models (2HDMs) [5] — appears as a low-energy
effective theory of many well motivated extensions of the Standard Model (e.g. those
based on supersymmetry [6–15] or little Higgs [16]).
Two Higgs doublet models may differ in the mechanism of generation of fermion
masses. If both Higgs doublets couple to fermions of a given charge, their couplings
will be associated to two different, complex sets of Yukawa couplings, which would form
two different matrices in flavor space. The fermion mass matrices would be the sum
of these, each multiplied by the corresponding Higgs vacuum expectation value. So
diagonalization of the fermion mass matrices does not lead to the diagonalization of the
fermion Yukawa matrices. Such theories are then associated with large flavor violating
couplings of the Higgs bosons at low energies — a situation which is experimentally
strongly disfavored. Hence, it is usually assumed that each charged fermion species
couples only to one of the two Higgs doublets. In most works related to 2HDM, this
is accomplished by implementing a suitable Z2symmetry. The different possible charge
assignments for this Z2symmetry then fix the Higgs–fermion coupling choices and define
different types of 2HDMs.
This Z2symmetry not only fixes the Higgs–fermion couplings but also forbids certain
terms in the Higgs potential that are far less problematic with respect to flavor violation.
As a starting point for an investigation of the phenomenological implications of these
terms, we will in this work discuss the theoretical bounds on the boson sector of the
theory (without any need to specify the nature of the Higgs-fermion couplings). We will
concentrate on the constraints that come from the perturbative unitarity of the theory,
the stability of the physical vacuum, and the requirement that the effective potential is
bounded from below. Existing works [5, 17–29] focus either on the Z2-symmetric case
or only provide a numerical procedure to test these constraints in the general 2HDM
(see Ref. [30] for a recent work on analytic conditions for boundedness-from-below).
We will go beyond current studies by deriving analytic bounds that apply to the most
general, renormalizable realization of 2HDMs. Our conditions will be given in terms
of the mass parameters and dimensionless couplings of the 2HDM tree-level potential.
At the quantum level, however, these parameters are scale dependent; although we will
refrain from doing so here, one can apply these conditions at arbitrarily high energy
scales by using the renormalization group evolution of these parameters.
Our article is organized as follows. In Section 2 we introduce the scalar sector of
the most general 2HDM that defines the framework for most of the work presented
3