Abstract
We conjecture the existence of a relation between elementary scalars and fermions, making it plausible the existence of three Higgs doublets. We introduce a Trinity Principle (TP) which, given the fact that there are no massless quarks, requires the existence of a minimum of three Higgs doublets. The TP states that each row of the mass matrix of a quark of a given charge should receive the contribution from one and only one scalar doublet and furthermore a given scalar doublet should contribute to one and only one row of the mass matrix of a quark of a given charge. This principle is analogous to the Natural Flavour Conservation (NFC) of Glashow and Weinberg with the key distinction that NFC required the introduction of a flavour blind symmetry, while the TP requires a flavoured symmetry, to be implemented in a natural way. We provide two examples which satisfy the Trinity Principle based on \({\mathbb {Z}}_3\) and \({\mathbb {Z}}_2\times {\mathbb {Z}}_2'\) flavoured symmetries, and show that they are the minimal multi-Higgs extensions of the Standard Model where CP can be imposed as a symmetry of the full Lagrangian and broken by the vacuum, without requiring soft-breaking terms. We show that the vacuum phases are sufficient to generate a complex CKM matrix, in agreement with experiment. The above mentioned flavoured symmetries lead to a strong reduction in the number of parameters in the Yukawa interactions, enabling a control of the Scalar Flavour Changing Neutral Couplings (SFCNC). We analyse some of the other physical implications of the two models, including an estimate of the enhancement of the Baryon Asymmetry of the Universe provided by the new sources of CP violation, and a discussion of the strength of their tree-level SFCNC.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In the Standard Model (SM), all masses are generated by the vacuum expectation value of a single Higgs doublet. Since there is no fundamental reason for having the minimal scalar sector when the fermio n space is non-trivial, multi-Higgs models can arise in a variety of well-motivated scenarios (see [1, 2] and references therein). For instance, the first Two Higgs Doublet Model (2HDM) was introduced by Lee [3] to achieve spontaneous CP Violation (CPV).
In general, multi-Higgs extensions of the SM generate large Scalar Flavour Changing Neutral Couplings (SFCNC) described by many parameters. Glashow an d Weinberg [4] have shown that such problems can be avoided in 2HDMs by introducing a flavour blind \({\mathbb {Z}}_2\) symmetry which constrains each fermion of a given charge to couple with only one scalar doublet. As such, their model implements Natural Flavour Conservation (NFC) despite having two Higgs fields. Alternatively, Branco, Grimus and Lavoura (BGL) [5] introduced a symmetry in 2HDMs to generate tree-level SFCNC completely determined by the CKM matrix V. In some of those models, there is a significant suppression of the most dangerous SFCNC. As an example, the \(K^0-{\bar{K}}^0\) transition becomes proportional to \((V_{td}V^*_{ ts})^2\) in the BGL models of type “top”. BGL models were extended to the leptonic sector [6] and their physical signals have been extensively analysed in the literature [6,7,8,9,10,11]. In [12, 13], they were generalised in a sc heme where symmetries are introduced to reduce the free parameters in a 2HDM. The new models are distinguished from a BGL model by the presence of simultaneous tree-level SFCNC in both quark sectors.
One of the fundamental questions in Particle Physics is the origin of the triplication of fermion families. In this paper, we conjecture that a relation between scalar doublets and fermions exists, making it plausible to consider three copies of the former. To avoid a proliferation of flavour parameters, we introduce the Trinity Principle (TP) which is analogous to the NFC of Glashow and Weinberg:
“Each row of the mass matrix of a quark of a given charge should receive the contribution from one and only one scalar doublet and furthermore a given scalar doublet should contribute to one and only one row of the mass matrix of a quark of a given charge.”
Since all quarks have a non-vanishing mass, it is clear that the TP demands a minimum of three Higgs doublets to be implemented. Notice that no Three Higgs Doublets Model (3HDM) satisfies simultaneously the TP and NFC [14, 15], since they require each quark of a given charge to couple with either three or only one scalar, respectively. Furthermore, the TP predictions are only stable under renormalization when a symmetry of the full Lagrangian is introduced, with soft breaking terms in its scalar potential allowed nonetheless.
At this stage, it is worth recalling the various attempts at constructing viable models of spontaneous CPV, in the context of multi-Higgs extensions of the SM. Note that in a model with spontaneous CPV Yukawa couplings are real,Footnote 1 so that the vacuum phases have to be able to generate a complex CKM matrix, since experiment has shown that the CKM is complex even if one allows for the presence of physics beyond the SM [17,18,19]. In the Lee model, one can have spontaneous CPV and in the presence of three quark families generate a complex CKM matrix from the vacuum phase. However in the Lee model there are SFCNC which are not under control. In order to solve the problem of SFCNC Glashow and Weinberg suggested the NFC principle implemented through a flavour-blind \({\mathbb {Z}}_2\) symmetry, which makes it impossible to have either explicit or spontaneous CPV in the scalar sector, unless the discrete symmetry is softly broken [20]. Even though spontaneous CPV can be achieved with NFC [21, 22], this leads to mass matrices with only a complex global phase which can be removed via a rephasing of the right-handed fermions, resulting in a real CKM matrix. Recently, a minimal model was proposed with a flavoured softly broken \({\mathbb {Z}}_2\) symmetry, where CP is spontaneously violated and the vacuum phase is able to generate a complex CKM matrix [23].
In this paper, we construct two 3HDMs with flavoured symmetries which implement the TP. Both models have the notable feature of being the minimal multi-Higgs extensions of the SM invariant under an exact symmetry of the Lagrangian where spontaneous CPV can produce a complex CKM matrix.
This paper is organised as follows: in the next two sections, we review the Yukawa interactions of a 3HDM before parametrizing the SFCNC of both models. In Sects. 4 and 5, the CP properties of their scalar sectors are de rived, followed by the generation of a complex CKM matrix out of the vacuum phases. Some of the physical implications of these models are discussed in Sect. 6, such as the strength of their tree-level SFCNC, the size of the Electric Dipole Moment (EDM) of the neutron and the enhancement of the Baryon Asymmetry of the Universe (BAU). Finally, we provide our conclusions in the last section.
2 The 3HDM: generalities and notation
We settle the notation by reviewing the quark Yukawa interactions of a general 3HDM,
where \(\tilde{ \phi }_a=i\sigma _2\phi ^*_a\) and all omitted flavour indices are summed over. After spontaneously breaking the electroweak symmetry, we introduce the Higgs basis with \(\langle {\phi _a}\rangle \propto v_ae^{i\alpha _a}\), \(v^2=v^2_1+v^2_2+ v^2_3\), \(v'^2=v^2_1+v^2_2\), \(v''=vv'/v_3\) and \(x=-v'^2/v_3\),
where the would-be Goldstone bosons \(G^+\) and \( G^0\) are identified in
Introducing \(\Gamma '_a=e^{i\alpha _a}\Gamma _a\) and \(\Delta '_a=e^{-i\alpha _a}\Delta _a\), one can read the fermion mass matrices
which are diagonalized by the unitary transformationsFootnote 2 of the fermion fields \(f^0_L=U_{fL}f_L\) and \(f^0_R=U_{fR}f_R\),
The CKM mixing matrix is \(V\equiv U^\dagger _{uL}U_{dL}\). Similarly, the Yukawa couplings of \(H_2\) and \(H_3\) in the fermion mass bases are given by
(In the initial weak basis, these Yukawa couplings are \(N^{(')0}_f=U_{fL}N^{(')}_fU^\dagger _{fR}\)). The couplings between neutral scalars and fermions in a general 3HDM follow from
where \(\epsilon _d=-\epsilon _u=1\) and implicit generation indices are summed over. Notice that these are not yet the Yukawa couplings of physical neutral scalars, since \(\{H^0,R,R',I,I'\}\) are not mass eigenstates.
3 Implementations of the trinity principle
We put forward the TP to be imposed on multi-Higgs models analogously to the NFC of Glashow and Weinberg. The two are distinguished by the number of Higgs doublets which must couple to a quark of a given charge.Footnote 3 Thus, the former is implemented by flavoured symmetries while the latter requires flavour-blind constructions.
One can expect a limited number of possible implementations of the TP: since each doublet should only contribute to one and only one row of the mass matrix, and each row corresponds to the couplings with one left-handed quark doublet, that can be accomplished in three different manners.Footnote 4
- 1.
Each scalar doublet \(\phi _j\) couples to the same quark doublet \(q_{Lj}^0\) in both quark sectors.
- 2.
One scalar doublet, for example \(\phi _1\), couples to the same quark doublet \(q_{L1}^0\) in both quark sectors while the remaining \(\phi _j\) couple to different \(q_{Lk}^0\) in the two quark sectors, for example \(\phi _2\) couples to \({{\bar{q}}}_{L2}d_R\) and \({{\bar{q}}}_{L3}u_R\), while \(\phi _3\) couples to \({{\bar{q}}}_{L3}d_R\) and \({{\bar{q}}}_{L2}u_R\).
- 3.
Each scalar doublet \(\phi _j\) couples to different quark doublets \(q_{Lj}^0,q_{Lk}^0\) in the two quark sectors, for example \(\phi _1\) couples to \({{\bar{q}}}_{L1}d_R\) and \({{\bar{q}}}_{L2}u_R\), \(\phi _2\) couples to \({{\bar{q}}}_{L2}d_R\) and \({{\bar{q}}}_{L3}u_R\), and \(\phi _3\) couples to \({{\bar{q}}}_{L3}d_R\) and \({{\bar{q}}}_{L1}u_R\).
The first and second possibilities appear to be achievable in terms of a symmetry (see Appendix A.1 for details), and we concentrate on them in the following. In this section, we study the flavour sectors of these two implementations of the TP. We start with case 2 above: the model is invariant under a \({\mathbb {Z}}_3\) transformation, and has some similarity with the so-called “jBGL” models introduced in [13], which are, however, 2HDMs rather than the 3HDMs discussed here. Then we address case 1 above: the model is invariant under a \({\mathbb {Z}}_2\times {\mathbb {Z}}'_2\) symmetry and has some similarity with the so-called “gBGL” models introduced in [12] (which are, again, 2HDMs rather than 3HDMs). It is to be noted that the latter contains, as particular cases, the extensions of BGL models to the 3HDM context discussed in [7].
3.1 \({\mathbb {Z}}_3\) model – flavour structure
In the \({\mathbb {Z}}_3\) model, the TP is implemented through the following symmetry,
with all other fields transforming trivially and \(\Upsilon =\exp (2\pi i/3)\). From this expression, we obtain the Yukawa couplings
with \(\times \) an arbitrary complex number. By using these textures on Eq. (6), we can derive
where we introduce the projection operators \(P^X_i=U_X^\dagger P_iU_X\) with \((P_i)_{jk}=\delta _{ij}\delta _{ik}\). The projection operators obey completeness identities \(\sum _i P^X_i={\mathbf {1}}\), and, by construction, \(P^{uL}_iV=VP^{dL}_i\). It follows that, in addition to vacuum expectation values, fermion masses and elements of the CKM matrix V – all of them fixed in other sectors of the model –, two projectors \(P^X_i\) are sufficient to describe Eq. (10), and thus all the physical Yukawa couplings. Let us consider the question in detail. First, one can identify the rows of \(U_X\) with complex orthonormal vectors \({\hat{n}}_{i}^{X}\) with components \([{\hat{n}}_{i}^{X}]_j\equiv [U_X]_{ij}\) [12, 13], that is
Then, by construction,
Choosing one projector \(P^X_{i_1}\), 5 real parameters are in general required to describe \({\hat{n}}_{i_1}^{X}\), but a global rephasing of \({\hat{n}}_{i_1}^{X}\) leaves \((P^X_{i_1})_{jk}\) unchanged,Footnote 5 and thus only 4 real parameters are required to describe the appearance of \(P^X_{i_1}\) in Eq. (10). Next, one needs a second projector \(P^X_{i_2}\), \(i_2\ne i_1\); unitarity of \(U_X\) implies that the corresponding complex unit vector \({\hat{n}}_{i_2}^{X}\) is orthogonal to \({\hat{n}}_{i_1}^{X}\), i.e. \(\sum _j [{\hat{n}}_{i_2}^{X}]_j^*[{\hat{n}}_{i_1}^{X}]_j=0\), and thus only 2 additional real parameters are required for \(P^X_{i_2}\). Overall, all the Yukawa couplings in Eq. (10) depend on vacuum expectation values, fermion masses, elements of the CKM matrix V, and, in general, the 6 new real parameters describing the projectors \(P^X_{i_1}\), \(P^X_{i_2}\). Notice in particular how the appearance of the fermion mass factors controls the intensity of SFCNC.
Notice that we are yet to provide any WB independent definition of these models. In Appendix A.2, we show that the relation below can play such a role,
3.2 \({\mathbb {Z}}_2\times {\mathbb {Z}}'_2\) model – flavour structure
We construct the \({\mathbb {Z}}_2\times {\mathbb {Z}}'_2\) model by requiring invariance under the transformations
with all other fields transforming trivially under them. Thu s, its Yukawa couplings are
It is now straightforward to evaluate the tree-level SFCNC of a \({\mathbb {Z}}_2\times {\mathbb {Z}}'_2\) model as
As before, the flavour structure of this model can be entirely described with two projectors \(P^X_i\). Thus, both implementations of the TP can be described with 6 real parameters. We finish this section with a WB independent definition for the \({\mathbb {Z}}_2\times {\mathbb {Z}}'_2\) model, namely
4 CPV in the scalar sector
In this section we study the CP properties of the scalar sector of the two models with flavoured symmetries. It has been pointed out [24] that the introduction of a symmetry S in the scalar sector of a multiple Higgs doublet model, has consequences for CP violation. In all examples of two- and three-Higgs-doublet models with symmetries, one observes the following remarkable property: if S prevents explicit CP-violation (CPV), at least in the neutral Higgs sector, then it also prevents spontaneous CPV, and if S allows explicit CPV, then it also allows for spontaneous CPV. In reference [24] it was conjectured that this is a general phenomenon and it was proven that the conjecture holds for any rephasing symmetry group S and for any number of doublets. In our analysis we will confirm that this conjecture indeed holds for the case of the two models with flavoured symmetries.
4.1 \({\mathbb {Z}}_3\) model – explicit and spontaneous CPV
The most general scalar potential of a 3HDM invariant under Eq. (8) is given by
where there is an implicit sum over \(i<j=1,2,3\). While by hermiticity the parameters \(\mu ^2_{ii}\), \(\lambda _i\), \(\lambda _{ij}\) and \(\lambda '_{ij}\) are real, the coefficients \(\sigma _1\), \(\sigma _2\) and \(\sigma _3\) remain complex.
By considering a CP transformation \(\phi ^{CP}_a=e^{i\gamma _a}\phi ^*_a\), it is straightforward to verify that CP is explicitly broken in this potential unless the product \(\sigma _1\sigma _2\sigma _3\) is real.
When CP is imposed as a symmetry of the Lagrangian, the scalar fields can always be rephased to select \(\sigma _1\), \(\sigma _2\) and \(\sigma _3\) real. The terms in Eq. (18) sensitive to the vacuum phases read
with \(\alpha _+=\alpha _3+\alpha _1-2 \alpha _2\), \(\alpha _-=\alpha _1+\alpha _2-2\alpha _3\) and \(\rho _i=\sigma _iv_i\). By minimizing this potential with respect to \(\alpha _+\) and \(\alpha _-\), we find a trivial CP-conserving solution \(\sin \alpha _+=\sin \alpha _-=0\), as well as the conditions for a CP-violating vacuum
which are equivalent to the following condition in the complex plane:
The CP-violating vacuum can only exist when the sides \(\rho ^{-1}_i\) satisfy triangle inequalities [22]. To determine which is the absolute minimum, we evaluate t he difference between Eq. (19) with the CP-conserving solution \(V_{CPC}\) a nd the value associated with the CP-violating option \(V_{CPV}\):
As a result, the scalar potential of a \({\mathbb {Z}}_3\) model generates spontaneous CPV whenever \(\sigma _1\sigma _2\sigma _3>0\) and the \(\rho ^ {-1}_i\) satisfy triangle inequalities.
4.2 \({\mathbb {Z}}_2\times {\mathbb {Z}}'_2\) model – explicit and spontaneous CPV
We can write the scalar potential of a \({\mathbb {Z}}_2\times {\mathbb {Z}}'_2\) model without loss of generality as
with \(\mu ^2_{ii}\), \( \lambda _i\), \(\lambda _{ij}\) and \(\lambda '_{ij}\) real by hermiticity, \(\sigma _{12}\), \(\sigma _{23}\) and \(\sigma _{31}\) complex and implicit sums over \(i<j =1,2,3\).
By using the method described in the previous subsection, it can easily be checked that there is explicit CPV in this scalar potential provided that the product \(\sigma _{12}\sigma _{23}\sigma _{31}\) is complex.
As before, once \(\sigma _{12}\sigma _{23}\sigma _{31}\) is made real through the imposition of CP as a symmetry of the full Lagrangian, we can always rephase the scalar doublets to define \(\sigma _{12}\), \(\sigma _{23}\) and \(\sigma _{31}\) real. Thus, we can write the potential from which all vacuum phases are determined in the following way,
where we introduced \({\tilde{\alpha }}_+=2(\alpha _3-\alpha _2)\), \({\tilde{\alpha }}_-=2( \alpha _1-\alpha _3)\) and \(d_{ij}=\sigma _{ij}v^2_iv^2_j\). Notice that after identifying \(d_{ij}\), \({\tilde{\alpha }}_+\) and \({\tilde{\alpha }}_-\) with, respectively, \(\rho _iv_1v_2v_3\), \(\alpha _+\) and \(\alpha _-\), this expression be comes identical to Eq. (19). As such, the analysis performed for the \({\mathbb {Z}}_3\) model in the last subsection is also valid for the \({\mathbb {Z}}_2\times {\mathbb {Z}}'_2\) model. We conclude by pointing out that, while distinct, the scalar sectors of both implementations of the TP have identical CP properties, with the difference manifest by the scalar masses and mixings.Footnote 6 We summarize our findings in the Table 1 below.
5 Complex CKM matrix from vacuum phases
In a viable model of spontaneous CPV the vacuum phase(s) have to be able to generate a complex CKM matrix. This requirement stems from the fact that it has been shown that the CKM matrix has to be complex [17,18,19], even if one allows for the presence of New physics beyond the SM. In this section we will prove that in the framework of models with a \({\mathbb {Z}}_3\) or a \({\mathbb {Z}}_2\times {\mathbb {Z}}'_2\) flavoured symmetry, one is able to generate a complex CKM matrix in agreement with experiment. We will also analyse carefully the relation between the generation of a complex CKM matrix and the appearance of SFCNC.
Requiring CP invariance of the Yukawa lagrangian forces \(\Gamma _i\) and \(\Delta _i\) to be real. Starting with the \({\mathbb {Z}}_3\) invariant model, it follows that the quark mass matrices have the form
with \({\hat{M}}_{d}^0\), \({\hat{M}}_{u}^0\) real. Their bi-diagonalization (or polar decomposition) reads
with orthogonal matrices \(O_X\), and thus
Consequently, the CKM matrix has the following form:
Apart from the irrelevant global phase \(e^{i(\alpha _2+\alpha _3)}\), this structure was shown to be compatible with the current knowledge of the CKM matrix in [23], including in particular the fact that the CKM matrix is irreducibly complex. The requirement that the CKM matrix is CP-violating places an important requirement on SFCNC: if SFCNC are absent in one sector, then the CKM matrix is necessarily CP conserving. In other words, tree level SFCNC in both up and down sectors are necessarily present in order to have a realistic CKM matrix.
We illustrate the reasoning behind this property with the down sector, the conclusion extends trivially to the up sector. Requiring flavour conservation in the down sector is equivalent to requiring that the projectors \(P_j^{dL}\) which control SFCNC coincide with the canonical projectors \(P_k\), not necessarily with \(j=k\) (we recall that \([P_k]_{ab}=\delta _{ka}\delta _{kb}\)): there is flavour conservation in the down sector if and only if \(P_j^{dL}=P_{s(j)}\) with \(s\in S_3\) a permutation. In that case, the elements of \(O_{dL}\) are \([O_{dL}]_{jk}=\delta _{s(j)k}\) (the only non-vanishing elements are 1’s, one per column and row, i.e. \(O_{dL}\) represents the permutation s). In that case, in Eq. (28), \({\mathrm {diag}}\{e^{i(\alpha _++\alpha _-)},1,1\}\) \(O_{dL}=O_{dL}{\mathrm {diag}}\{s^{-1}(e^{i(\alpha _++\alpha _-)},1,1)\}\), i.e. \(O_{dL}\) “commutes” with the diagonal phase matrix by permuting its elements, and thus all CP violation in Eq. (28) can be rephased away, i.e. the CKM matrix is CP conserving. This property, i.e. that the absence of SFCNC in one quark sector is incompatible with a spontaneous origin of CP violation in the CKM matrix in this class of models, also appeared in the context of the 2HDM with spontaneous CP violation studied in [23].
Regarding the \({\mathbb {Z}}_2\times {\mathbb {Z}}'_2\) model, following the same arguments, one can obtain
Notice that, besides an irrelevant global phase, in this model two relative vacuum phases remain in the intermediate diagonal matrix of phases. It is then clear that, as in the \({\mathbb {Z}}_3\) invariant model, a realistic CKM matrix can be accommodated.
Concerning the new Yukawa couplings in Sect. 3 and the complex orthonormal vectors \({\hat{n}}_{i_1}^{X}\) controlling them, it follows from Eq. (27) that under the assumption of a spontaneous origin of CPV, the \({\hat{n}}_{i_1}^{X}\) reduce to real orthonormal vectors (up to an irrelevant global phase). Consequently, rather than the 6 new real parameters that are required in the general case, only 3 new real parameters are necessary when CPV has a spontaneous origin (together, of course, with the vacuum expectation values, the CKM matrix and the fermion masses).
6 Physical implications
In the previous sections the TP has been discussed and the possibility to combine it with a spontaneous origin of CPV analysed. The presence of (controlled) SFCNC and a common origin for CPV in the scalar and fermion sectors (necessarily present to obtain a realistic CKM matrix) have a wide range of interesting phenomenological consequences. Although these consequences exceed the scope of this paper, we nevertheless devote this section to a short analysis of some of them: in Sect. 6.1 we analyse sufficient conditions which guarantee that the SFCNC contributions to neutral meson mixings are in agreement with phenomenological requirements; in Sect. 6.2 we analyse how the contributions to light quark EDMs, in particular the ones involving flavour conserving Yukawa couplings, are sufficiently suppressed to respect neutron EDM constraints; finally, in Sect. 6.3, we discuss how CPV in these models can enhance the BAU with respect to SM expectations. For the discussions to follow, it is convenient to introduce the physical neutral scalars \(h_j\) in the following manner,
where O is a real \(5\times 5\) orthogonal matrix and \(h_0\) the scalar detected at the LHC [25, 26]. The mixing between CP-even and odd states shown above is implied by the potentials of these models. From Eq. (7), the physical Yukawa couplings read
where
and, again, \(\epsilon _d=-\epsilon _u=1\). Equations (10) and (16) can be condensed into
where \(\alpha =3\) when \(f=u\) in the \({\mathbb {Z}}_3\) symmetric model, and \(\alpha =2\) otherwise.
6.1 SFCNC – mixing in meson-antimeson systems
We will probe the strength of the tree-level SFCNC in the \({\mathbb {Z}}_3\) and \({\mathbb {Z}}_2\times {\mathbb {Z}}'_2\) models via an evaluation of the new contributions to the amplitude of the mixing in meson-antimeson systems, with a comprehensive analysis beyond the scope of this paper. From studying Eq. (33), we conclude that these models are suppressed by the following factors, before performing any calculation:
The mass \(m_j\) leading to proportionality to the largest Yukawa in t he system;
The term \(O_{ab}\pm iO_{a,b+2}\) with magnitude below 1 since O is real and orthogonal;
A factor of \((P^{fL}_i)_{jk}=(U_{fL})^*_{ij}(U_{fL})_{ik}\) that ranges from 0 to 1/2 in absolute value;
Ratios of vacuum expectation values that perturbative unitarity may constrain.
In Appendix B, we show that all \({\mathbb {Z}}_3\) and \({\mathbb {Z}}_2\times {\mathbb {Z}}'_2\) models which satisfy the relation below respect the current experimental bounds r elated to meson-antimeson systems,Footnote 7
with \(x_a=m_{h_a}/m_{h_0}\) controlled by the absence of a decoupling limit in both models (see Appendix C). Despite not providing an exclusion region, the expression above remains interesting as it illustrates the degree of cancellations required by these models, be it in their flavour sector, scalar potential or a combination of the two.
6.2 CPV – electric dipole moments
In the context of 2HDM, one and two loop contributions to the EDM of light quarks can be excessively large.Footnote 8 Having Yukawa couplings proportional to the fermion masses is typically sufficient to obtain one loop contributions adequately suppressed. This suppression can be partially circumvented in so-called Barr–Zee two loop contributions [27,28,29], in particular the dominant ones which involve flavour conserving couplings and neutral scalars.Footnote 9 For generic flavour conserving Yukawa couplings of the form
with S a neutral scalar, the contribution to the EDM \(d_q\) of the light quark q is
with \(N_c^f\) and \(Q_f\) the number of colours and the electric charge of the virtual fermion f, \(z_{fS}=m_f^2/m_S^2\), and F and G, the loop functions.Footnote 10 With the Yukawa couplings in Eq. (32), we have
It is then clear that in the products of scalar \(\times \) pseudoscalar couplings in Eq. (36), there is one light fermion mass suppression factor, and another relevant suppression to be noticed: the products of matrix elements \(O_{jk}\) necessarily involve one element which mixes the fields \(\{H^0,R,R^{'}\}\) and \(\{I,I^{'}\}\) to give the mass eigenstates in Eq. (30) (for a CP conserving scalar sector, these would be, respectively, CP-even and CP-odd fields, and would not mix). Furthermore, contributions from the different scalars can easily interfere destructively or cancel. In conclusion, EDMs of light quarks are not a source of concern for the viability of the models under consideration, even though they can have some impact in excluding regions of parameter space.
6.3 Estimation of the enhancement of the BAU
It has been established that in the SM one cannot obtain a BAU sufficient to be in agreement with the value derived from the CMB measurements. The reason for this shortcoming of the SM has to do with the following:
- (i)
CP violation in the SM is too small.
- (ii)
The electroweak phase transition is not strongly first order, as required by electroweak baryogenesis.
In this paper we will not analyse (ii) and concentrate on (i), where we point out the importance of new sources of CP violation which arise in TP models. It has been shown that in the SM, for an arbitrary number of generations, a necessary condition to have CP invariance is that the following WB invariant vanishes [30]:
For three generations [31] the above condition becomes a necessary and sufficient condition for CP invariance. In the quark mass eigenstate bases, one obtains
with \(\Delta m_{jk}=m^2_j-m^2_k\) and Q denoting a rephasing invariant quartet of the CKM matrix V [32]. Noting that \(I_{\mathrm{SM}}\) has dimensions (Mass)\(^{12}\), it is plausible that
The smallness of CP violation in the SM has to do with the smallness of quark masses compared with the electroweak breaking scale. In the TP models one can construct CP odd WB invariants of a much lower dimension, such as:
It is straightforward to check that this expression is WB invariant by using the following transformation laws,
We proceed by keeping the leading term in the fermion masses and in the Wolfenstein parameter \(\lambda \) [33] to findFootnote 11
Using Eqs. (39), (40) and (43) we obtain the following enhancement factor
This enhancementFootnote 12 suggests that one may find an adequate size of the BAU in TP models, once the problem of having a correct electroweak phase transition is solved.
7 Conclusions
We conjectured that there is an analogy between scalars and fermions which makes it likely that there are also three scalar doublets. A Trinity Principle is introduced which, given the fact that there are no massless quarks, requires the existence of a minimum of three Higgs doublets. This principle is similar to the Glashow and Weinberg proposal of NFC in the scalar sector of a 2HDM, with the crucial difference that the TP requires flavoured symmetries to be implemented. In the minimal realisation, the same set of scalar doublets couples to both up and down quarks. Another possibility is having three scalar doublets coupling to the up quarks and another set of three scalar doublets coupling to down quarks. This realisation of the TP can be incorporated into a supersymmetric extension of the SM.
We give two explicit examples of models with three Higgs doublets which satisfy the TP. The first is invariant under a \({\mathbb {Z}}_3\) flavoured symmetry, and is related to jBGL models. The second employs a \({\mathbb {Z}}_2\times {\mathbb {Z}}'_2\) symmetry, being connected to 3BGL models. In both, one can have either explicit or spontaneous CPV in the scalar sector, with the vacuum associated to the latter possibility, capable of generating a complex CKM matrix. These models are the minimal extension of the SM with this feature of generating spontaneous CP violation and a complex CKM, without introducing in the Lagrangian soft breaking terms. We have studied in detail the deep connection between the generation of a complex CKM from vacuum phases and the appearance of tree level SFCNC.
We have shown that there are new sources of CP violation which lead to a significant enhancement of the BAU in both models. We also identify several suppression factors which control the strength of their tree-level SFCNC, rendering them plausible extensions of the SM.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: There is no data associated to this paper.]
Notes
We consider here standard CP transformations, \(\phi _a\mapsto \phi _a^{CP}=e^{i\gamma _a}\phi _a^*\), for a generalised CP symmetry, that might not be the case, see [16].
Notice that one can assume, without loss of generality, the correct ordering of the quark masses in the diagonalization: a permutation \(s\in S_3\) can be represented by \(P_s\in O(3)\) such that \(P_s^T{\mathrm {diag}}\{m_1,m_2,m_3\}P_s={\mathrm {diag}}\{m_{s(1)},m_{s(2)},m_{s(3)}\}\) with \(m_{s(1)}<m_{s(2)}<m_{s(3)}\); \(P_s\) can then be absorbed in the diagonalizing \(U_{fX}\) matrices with \(U_{fX}\mapsto P_s U_{fX}\).
Three in the TP versus one in NFC.
We recall that there is no intrinsic meaning attached to the labels 1, 2, 3 of the different quark and scalar generations in Eq. (1).
Equivalently, \(U_X\) and \(U_{\mathrm{Ph}}U_X\) give the same projectors \(P^X_j\) for \(U_{\mathrm{Ph}}=\text {diag}\{e^{i\varphi _1},e^{i\varphi _2},e^{i\varphi _3}\}\).
This result was obtained from the \(D^0 -{\bar{D}}^0\) system that turned out to be the most stringent.
Since we do not consider the lepton sector in this work, contributions to the EDM of the electron are not discussed.
Similar contributions with flavour changing couplings of either neutral or charged scalars are further suppressed.
For scalar masses \(m_S\in [0.2;1.0]\) TeV, we have \(F(z_{tS}),G(z_{tS})\in [0.1;1.0]\) while \(F(z_{bS}),G(z_{bS})\in [5\times 10^{-4};10^{-2}]\).
Since \(N'^0_d\) is given by the same expression in the two models, the argument will be valid for both.
For a detailed analysis of an explanation of the BAU in a 3HDM, see [34].
The notation corresponds to the standard decomposition in cycles, e.g. \(p=(123)\) stands for \(p(1)=2\), \(p(2)=3\), \(p(3)=1\), etc.
These are not all the conditions but, with the benefit of hindsight, they are sufficient to orient the search of symmetries that do implement the TP in cases 1 and 2, and they are also sufficient to show that case 3 cannot be implemented through a symmetry.
Notice that these relations among “charges” should be understood as being “modulus n”, since in Eq. (47), \(\omega ^n=1\).
It is useful to recall here that \(P_i^\dagger =P_i\) and \(P_jP_k=\delta _{jk}P_k\) (no sum).
Notice that \(2v^2/v^2_1+2v^2/v^2_2+v^2/v^2_3-3v^2/v'^2\ge 2(3+\sqrt{5} )\).
References
G. Branco, P. Ferreira, L. Lavoura, M. Rebelo, M. Sher et al., Theory and phenomenology of two-Higgs-doublet models. Phys. Rep. 516, 1–102 (2012). arXiv:1106.0034
I.P. Ivanov, Building and testing models with extended Higgs sectors. Prog. Part. Nucl. Phys. 95, 160–208 (2017). arXiv:1702.03776
T. Lee, A theory of spontaneous T violation. Phys. Rev. D 8, 1226–1239 (1973)
S.L. Glashow, S. Weinberg, Natural conservation laws for neutral currents. Phys. Rev. D 15, 1958 (1977)
G. Branco, W. Grimus, L. Lavoura, Relating the scalar flavor changing neutral couplings to the CKM matrix. Phys. Lett. B 380, 119–126 (1996). arXiv:hep-ph/9601383
F. Botella, G. Branco, M. Nebot, M. Rebelo, Two-Higgs leptonic minimal flavour violation. JHEP 1110, 037 (2011). arXiv:1102.0520
F. Botella, G. Branco, M. Rebelo, Minimal flavour violation and multi-Higgs models. Phys. Lett. B 687, 194–200 (2010). arXiv:0911.1753
F. Botella, G. Branco, A. Carmona, M. Nebot, L. Pedro, M. Rebelo, Physical constraints on a class of two-Higgs doublet models with FCNC at tree level. JHEP 1407, 078 (2014). arXiv:1401.6147
G. Bhattacharyya, D. Das, A. Kundu, Feasibility of light scalars in a class of two-Higgs-doublet models and their decay signatures. Phys. Rev. D 89, 095029 (2014). arXiv:1402.0364
F.J. Botella, G.C. Branco, M. Nebot, M.N. Rebelo, Flavour changing Higgs couplings in a class of two Higgs doublet models. Eur. Phys. J. C76(3), 161 (2016). arXiv:1508.05101
A. Bednyakov, V. Rutberg, FCNC decays of the Higgs bosons in the BGL model. Mod. Phys. Lett. A 33(31), 1850152 (2018). arXiv:1809.09358
J.M. Alves, F.J. Botella, G.C. Branco, F. Cornet-Gomez, M. Nebot, Controlled flavour changing neutral couplings in two Higgs doublet models. Eur. Phys. J. C77(9), 585 (2017). arXiv:1703.03796
J.M. Alves, F.J. Botella, G.C. Branco, F. Cornet-Gomez, M. Nebot, J.P. Silva, Symmetry constrained two Higgs doublet models. Eur. Phys. J. C78(8), 630 (2018). arXiv:1803.11199
Y. Grossman, Phenomenology of models with more than two Higgs doublets. Nucl. Phys. B 426, 355–384 (1994). arXiv:hep-ph/9401311
G. Cree, H.E. Logan, Yukawa alignment from natural flavor conservation. Phys. Rev. D 84, 055021 (2011). arXiv:1106.4039
P. Ferreira, I.P. Ivanov, E. Jimnez, R. Pasechnik, H. Serdio, CP4 miracle: shaping Yukawa sector with CP symmetry of order four. JHEP 01, 065 (2018). arXiv:1711.02042
F. Botella, G. Branco, M. Nebot, M. Rebelo, New physics and evidence for a complex CKM. Nucl. Phys. B 725, 155–172 (2005). arXiv:hep-ph/0502133
J. Charles, A. Hocker, H. Lacker, S. Laplace, F.R. Le Diberder, J. Malcles, J. Ocariz, M. Pivk, L. Roos, CKMfitter Group Collaboration, CP violation and the CKM matrix: assessing the impact of the asymmetric \(B\) factories. Eur. Phys. J. C 41, 1–131 (2005). arXiv:hep-ph/0406184
UTfit Collaboration, M. Bona et al., The 2004 UTfit collaboration report on the status of the unitarity triangle in the standard model. JHEP 07, 028 (2005). arXiv:hep-ph/0501199
G.C. Branco, M.N. Rebelo, The Higgs mass in a model with two scalar doublets and spontaneous CP violation. Phys. Lett. 160B, 117–120 (1985)
S. Weinberg, Gauge theory of CP violation. Phys. Rev. Lett. 37, 657 (1976)
G.C. Branco, Spontaneous CP nonconservation and natural flavor conservation: a minimal model. Phys. Rev. D 22, 2901 (1980)
M. Nebot, F.J. Botella, G.C. Branco, Vacuum induced CP violation generating a complex CKM matrix with controlled scalar FCNC. Eur. Phys. J. C79(8), 711 (2019). arXiv:1808.00493
G.C. Branco, I.P. Ivanov, Group-theoretic restrictions on generation of CP-violation in multi-Higgs-doublet models. JHEP 01, 116 (2016). arXiv:1511.02764
ATLAS Collaboration, G. Aad et al., Observation of a new particle in the search for the Standard Model Higgs boson with the ATLAS detector at the LHC. Phys. Lett. B 716, 1–29 (2012). arXiv:1207.7214
CMS Collaboration, S. Chatrchyan et al., Observation of a new boson at a mass of 125 GeV with the CMS experiment at the LHC. Phys. Lett. B 716, 30–61 (2012). arXiv:1207.7235
S.M. Barr, A. Zee, Electric dipole moment of the electron and of the neutron. Phys. Rev. Lett. 65, 21–24 (1990). [Erratum: Phys. Rev. Lett. 65, 2920 (1990)]
D. Chang, W.-Y. Keung, T.C. Yuan, Two loop bosonic contribution to the electron electric dipole moment. Phys. Rev. D 43, R14–R16 (1991)
K. Cheung, O.C.W. Kong, J.S. Lee, Electric and anomalous magnetic dipole moments of the muon in the MSSM. JHEP 06, 020 (2009). arXiv:0904.4352
J. Bernabeu, G.C. Branco, M. Gronau, CP restrictions on quark mass matrices. Phys. Lett. 169B, 243–247 (1986)
C. Jarlskog, Commutator of the quark mass matrices in the standard electroweak model and a measure of maximal CP violation. Phys. Rev. Lett. 55, 1039 (1985)
G.C. Branco, L. Lavoura, J.P. Silva, C.P. Violation, International Series of Monographs on Physics (Oxford University Press, Oxford, 1999)
L. Wolfenstein, Parametrization of the Kobayashi–Maskawa matrix. Phys. Rev. Lett. 51, 1945 (1983)
H. Davoudiasl, I.M. Lewis, M. Sullivan, Higgs troika for baryon asymmetry. Phys. Rev. D 101(5), 055010 (2020). arXiv:1909.02044
P.M. Ferreira, J.P. Silva, Abelian symmetries in the two-Higgs-doublet model with fermions. Phys. Rev. D 83, 065026 (2011). arXiv:1012.2874
H. Serôdio, Yukawa sector of multi Higgs doublet models in the presence of abelian symmetries. Phys. Rev. D 88(5), 056015 (2013). arXiv:1307.4773
I. Ivanov, C. Nishi, Abelian symmetries of the N-Higgs-doublet model with Yukawa interactions. JHEP 11, 069 (2013). arXiv:1309.3682
C. Nishi, Compatible abelian symmetries in N-Higgs-doublet models. JHEP 03, 034 (2015). arXiv:1411.4909
M. Nebot, Non-decoupling in two Higgs doublets models, spontaneous CP violation and \({\mathbb{Z}}_2\) symmetry. arXiv:1911.02266
F. Faro, J.C. Romao, J.P. Silva, Nondecoupling in multi-Higgs doublet models. Eur. Phys. J. C. https://doi.org/10.1140/epjc/s10052-020-8217-y
Acknowledgements
JA, GCB and MN acknowledge support from Fundação para a Ciência e a Tecnologia (FCT, Portugal) through the projects CFTP-FCT Unit 777 (UID/FIS/00777/2013, UID/FIS/00777/2019), CERN/FIS-PAR/0004/2017 and PTDC/FIS-PAR/29436/2017 which are partially funded through POCTI (FEDER), COMPETE, QREN and EU. The work of JA is funded through the doctoral FCT grant SFRH/BD/139937/2018. FJB and MN acknowledge support from Spanish grant FPA2017-85140-C3-3-P (AEI/FEDER, UE) and PROMETEO 2019-113 (Generalitat Valenciana).
Author information
Authors and Affiliations
Corresponding author
Appendices
Defining implementations of the TP
1.1 Symmetries
As discussed in Sect. 3, one can a priori conceive different implementations of the TP depending on the number of doublets \(\phi _j\) which couple to the same quark doublet \(q_{Lk}\) in both up and down quark sectors. In terms of the Yukawa coupling matrices, this simply corresponds to both \(\Gamma _j\) and \(\Delta _j\) having the same non-vanishing row k. The implementations of the TP correspond to the different permutations \(p\in S_3\) such that the Yukawa matrices in the up quark sector \(\Delta _j\) read
with the understanding that \(\Delta _{p(j)}\sim \Gamma _j\) means that both matrices have the same vanishing elements, i.e. the same texture. The different implementations of the TP correspond to three different cases.Footnote 13
- 1.
For \(p=(1)\,\,(2)\,\,(3)\) (that is \(p=e\), the identity), all scalar doublets have a Yukawa matrix with the same texture in both sectors.
- 2.
For \(p=(3)\,\,(12)\), \((2)\,\,(13)\), \((1)\,\,(23)\), only one scalar doublet has a Yukawa matrix with the same texture in both sectors.
- 3.
For \(p=(123)\), (132), no scalar doublet has a Yukawa matrix with the same texture in both sectors.
Without loss of generality one can redefine the labels of the scalar and quark doublets such that: (i) the Yukawa matrices of down quarks read
and (ii) only one instance within each case needs to be considered. Consequently, the different possible implementations of the TP that we consider are just \(p=e\) for case 1, \(p=(1)(23)\) for case 2, and \(p=(123)\) for case 3.
The question now is, how can one obtain these implementations through symmetries?
According to the TP, the candidate symmetry cannot differentiate among the different generations of right-handed fields in each sector. It should allow or forbid rows in each Yukawa matrix, not relate different rows in the same or different matrices.
We start by requiring invariance under transformations of the form
where \(\omega =e^{i\frac{2\pi }{n}}\) for some \(n\in {\mathbb {N}}\). That is, we focus on \({\mathbb {Z}}_n\) transformations, for which \(\varphi _a\), \(Q_b\), U and D are the corresponding “charges”. Although one could have considered continuous U(1) transformations (with \(\omega =e^{i\tau }\), \(\tau \in {\mathbb {R}}\)), in order to avoid massless scalars, and attending to the possibility of having a spontaneous origin of CPV, we only consider discrete transformations. Equation (47) is an appropriate starting point to analyse how the TP can be implemented in terms of symmetries because (i) an abelian symmetry of the Yukawa sector of a multi-Higgs doublets model can always be brought to a form similar to Eq. (47) [35, 36] (with respect to that general case, we concentrate on finite rather than continuous symmetries, and in addition impose no generation dependence on the charges of the right-handed fields), and (ii) any finite abelian group is isomorphic to the direct product of finitely many cyclic groups (that is \({\mathbb {Z}}_n\) factors). Furthermore, for a finite non-abelian symmetry group, \({\mathbb {Z}}_n\) subgroups are necessarily present. It is to be noticed that if the candidate symmetry consists of \({\mathbb {Z}}_n\) alone, the TP requires that all \(\varphi _a\) are different and also that all \(Q_b\) are different. If instead the candidate symmetry is the (direct) product of several \({\mathbb {Z}}_n\) factors (not necessarily with the same n), the previous requirement is relaxed: in that case the minimal requirement to implement the TP is either that all \(\varphi _a\) are not equal or that all \(Q_b\) are not equal. What are the consequences of requiring invariance under Eq. (47)? As a first step, we concentrate on the conditions for the allowed rows of the different Yukawa matrices.Footnote 14 For the down Yukawa matrices in Eq. (46), they readFootnote 15
while for the up Yukawa matrices, following Eq. (45), we have
If follows that
and
At this point one has to consider separately the different cases.
- 1.
For case 1, \(p=(1)(2)(3)\), and Eqs. (50) and (51) give
$$\begin{aligned} 2\varphi _1=2\varphi _2=2\varphi _3,\quad \text {and}\quad 2Q_1=2Q_2=2Q_3. \end{aligned}$$(52)It is clear that a single \({\mathbb {Z}}_n\) factor is not sufficient for this implementation of the TP; furthermore, to fulfill the previous conditions non-trivially, i.e. with not all charges equal, n has to be, necessarily, even. The minimal realization through a \({\mathbb {Z}}_2\times {\mathbb {Z}}_2\) symmetry is the model introduced in Sect. 3.2.
- 2.
For case 2, \(p=(1)(23)\) and Eqs. (50) and (51) give
$$\begin{aligned}&2\varphi _1=\varphi _2+\varphi _3,\quad \text {and}\nonumber \\&2Q_1=2Q_2-\varphi _2+\varphi _{3}=2Q_3-\varphi _3+\varphi _{2}. \end{aligned}$$(53)In this case, a single \({\mathbb {Z}}_n\) is sufficient: one can easily check that a simple charge assignment such as \(\varphi _1=Q_1=U=D=0\), \(\varphi _2=Q_2=1\) and \(\varphi _3=Q_3=-1\) satisfies the previous conditions and forces all elements other than the ones in the selected rows (of the corresponding matrices) to vanish, thus giving this second implementation of the TP, addressed in Sect. 3.1.
- 3.
For case 3, \(p=(123)\), Eq. (50) gives
$$\begin{aligned} \varphi _1=\varphi _2=\varphi _3, \end{aligned}$$(54)and thus, from Eq. (48),
$$\begin{aligned} Q_1=Q_2=Q_3. \end{aligned}$$(55)The previous conditions have been obtained by considering only the fact that, within this implementation of the TP, (i) different rows of the up and down Yukawa matrices of a given scalar doublet must be allowed, and (ii) different rows must be allowed when the couplings of a \(q_{Lj}\) with the different \(\phi _{k}\) are considered in each sector. The implication of Eqs. (54) and (55) is then clear: these requirements are only satisfied in the most trivial manner, when all rows are equally allowed in all Yukawa matrices. It follows that this implementation of the TP cannot be obtained from a symmetry (as argued in precedence, considering the \({\mathbb {Z}}_n\) transformation in Eq. (47) is then sufficient to discard both abelian and non-abelian finite symmetries): it is for this reason that this implementation of the TP is not addressed.
For general analyses of abelian symmetries in N-Higgs doublets models see [37, 38].
1.2 Weak basis invariant conditions
As anticipated in Sect. 3, Eqs. (13) and (17) provide WB independent definitions, respectively, of the \({\mathbb {Z}}_3\) and \({\mathbb {Z}}_2\times {\mathbb {Z}}'_2\) invariant models: this section gives the corresponding proof. Since the arguments for both models are similar, we can focus on the latter. As such, we must show that it is both sufficient and necessary for a given set of textures to satisfy Eq. (17) for it to belong to a \({\mathbb {Z}}_2\times {\mathbb {Z}}'_2\) model.
Given that, by definition, a \({\mathbb {Z}}_2\times {\mathbb {Z}}'_2\) model must have a WB defined by the Yukawa couplings of Eq. (15), we can show the necessity of Eq. (17) through its direct evaluation.
To prove the sufficiency of Eq. (17), we start by using the polar decomposition
where \(D^f_i\) is diagonal and the rest are unitary. Then, we evaluate the commutators
to determine that \(U^d_i=U^u_i =U\). As such, we can rewrite Eq. (17) in diagonal form,
It is clear that, up to a non-physical permutation of the scalars, the only solution with three massive up-type quarks is given by
Thus, we can write the Yukawa couplings of any 3HDM which satisfies Eq. (17) as
We finish this demonstration by noting that Eq. (15) can be recovered after performing the WB transformation \( q^0_L\rightarrow Uq^0_L\).
1.3 RGE stability of TP implementations
To close this section on the implementations of the TP, we analyse their stability under one loop renormalization group evolution (RGE). The RGE equations read
with \({\mathcal {D}}\equiv 16\pi ^2\frac{d}{d\ln \mu }\), \(a_\Gamma \) and \(a_\Delta \) constants, and \(\alpha _{ij}\equiv \text {Tr}(\Gamma _i\Gamma _j^\dagger +\Delta _i^\dagger \Delta _j)\). Attending to the initial discussion in Subappendix A.1, an implementation of the TP is defined by
with a permutation \(s\in S_3\), and \(P_i\) and \(P_{s(i)}\) canonical projectors.Footnote 16 Then, stability under RGE means
with some matrices \(X_{(i)}\) and \(Y_{(i)}\). The relevant point is, of course, that the corrections to each Yukawa matrices due to the RGE also respect the same TP requirement. We already know that two TP implementations can be obtained from a symmetry and thus we expect them to be stable, while the third cannot be obtained from a symmetry, and we do not expect it to be stable. Using Eq. (63) and the properties of the projectors \(P_i\), one can show that
and
Every term except the last in each of the previous equations respects the stability requirement under RGE. For these last terms, the question of stability is reduced to having \(s^2(i)=i\) or equivalently \(s^{-1}(i)=s(i)\) for \(i=1,2,3\). It follows that the TP implementations corresponding to \(s=(1)\,\,(2)\,\,(3)\) (the \({\mathbb {Z}}_2\times {\mathbb {Z}}'_2\) symmetric case) and \(s=(1)\,\,(23)\) or \((2)\,\,(13)\) or \((3)\,\,(12)\) (the \({\mathbb {Z}}_3\) symmetric case) are trivially stable, as expected. Furthermore, the last TP implementation, which cannot be obtained from a symmetry and which corresponds to \(s=(123)\) or \(s=(132)\), is not stable since \(s(i)\ne s^{-1}(i)\).
Deriving experimental constraints
We start by using Eqs. (30) and (31) to construct the effective Hamiltonian
in which we considered the meson \(P^ 0=f_i{\bar{f}}_j\) while neglecting \(m_i\) in regards to \(m_j\). By requiring t he new tree-level contributions to be inferior to the amplitude of mixing, we obtain the constraint
While an exact expression could be found for the left -handed side of the relation above, it turns out to be more useful to control it in the following manner,
In the derivation of this result, we started by using the triangle inequality, followed by the Cauchy–Schwarz inequality, and finally the orthonormality relations \(\sum ^4_{b=0}O^2_{ab}=1\) and \(|(P^X_i)_{jk}|\le 1/2\). As such, we conclude that whenever a \({\mathbb {Z}}_3\) or \({\mathbb {Z}}_2\times {\mathbb {Z}}'_2\) model satisfies
it will never saturate Eq. (68).Footnote 17
Controlling the scalar masses
By expanding the degrees of freedom in the scalar fields of Eqs. (18) and (23),
we can write the mass terms for the neutral scalars as
After using the minimization conditions of Eq. (18) with respect to \(v_i\),
where \(\Upsilon _1=\rho _1\cos ( \alpha _++\alpha _-)\), \(\Upsilon _2=\rho _2\cos \alpha _+\) and \(\Upsilon _3=\rho _3 \cos \alpha _-\), and those for Eq. (23),
in which \(\Upsilon _{12}=\sigma _{12}v_1v_2\cos ({\tilde{\alpha }}_++{\tilde{\alpha }}_-) \), \(\Upsilon _{23}=\sigma _{23}v_2v_3\cos {\tilde{\alpha }}_+\) and \(\Upsilon _{31} =\sigma _{31}v_3v_1\cos {\tilde{\alpha }}_-\).
We can evaluate the sum of all neutral scalar masses in the \({\mathbb {Z}}_3\) model as the following trace (the massless pseudo-Goldstone boson \(G^0\) is a linear combination of the \(\eta _i\)’s),
This expression must have a physical maximum since by perturbativity all parameters are below \(4\pi \), and the existence of triangle inequalities for all \(\rho _j\) implies a minimum for \(\sigma _1\sigma _2 \sigma _3\ne 0\).
The same sum is given in the \({\mathbb {Z}}_2\times {\mathbb {Z}}'_2\) model by
with the same arguments valid. As such, we conclude that there is no decoupling limit in the \({\mathbb {Z}}_3\) and \({\mathbb {Z}}_2\times {\mathbb {Z}}'_2\) models compatible with spontaneous CPV.Footnote 18
In this Appendix, and throughout this paper, we have been using some parameters of the potential, alongside the masses and mixings of the scalars, with no concern for their relation, whose determination is beyond the scope of this paper. Nevertheless, we point out that there are 15 real parameters in each potential, to be compared with seven masses (5 neutral and 2 charged scalars), twelve mixings (10 in the neutral and 2 in the charged sector ), three vacuum expectation values \(v_i\) and their two phase differences. Thus, we do not have the full freedom of a general 3HDM due to the symmetries considered, but a rather constrained scenario with, for example, some vanishing mixing angles.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3
About this article
Cite this article
Alves, J.M., Botella, F.J., Branco, G.C. et al. Extending trinity to the scalar sector through discrete flavoured symmetries. Eur. Phys. J. C 80, 710 (2020). https://doi.org/10.1140/epjc/s10052-020-8265-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-020-8265-3