Abstract
The orbit space for a scalar field in a complex square matrix representation obtains a Minkowski space structure from the Cauchy–Schwarz inequality. It can be used to find vacuum stability conditions and minima of the scalar potential. The method is suitable for fields such as a bidoublet, an SU(2) triplet or SU(3) octet. We use the formalism to find the vacuum stability conditions for the left-right symmetric potential of a bidoublet and left and right Higgs doublets.
Similar content being viewed by others
1 Introduction
In extensions of the Standard Model (SM) scalar sector, it can be complicated to find vacuum stability conditions and to study the minimum structure of the scalar potential. For example, the analysis of the full scalar potential of the two-Higgs-doublet model (2HDM) [1] is rather involved. Fortunately, the potential depends only on a limited number of gauge invariants. The space of group invariants – the orbit space – generally has a non-trivial geometrical shape. But it it still simpler to analyse the orbit space than the space of all field components with its redundancies [2,3,4,5,6]. In particular, the orbit space of the 2HDM has a Minkowski space structure, because it resembles a forward lightcone in \(1+3\) dimensions [7, 8]. The scalar quartic couplings form a Minkowski tensor and the mass terms gather in a four-vector. Consequently, tensor positivity conditions on the Minkowski space can be used to find vacuum stability conditions for the quartic couplings [7]. Moreover, minima of the scalar potential can be analysed geometrically [9, 10]. The lightcone shape can be related to the Cauchy–Schwarz inequality [7].
Another extension of the SM which benefits from an orbit space analysis is given by left-right symmetric models. The left-right gauge group \(SU(2)_{L} \times SU(2)_{R} \times U(1)_{B-L}\) is a natural restoration of symmetry between left and right sectors [11,12,13,14]. The left-right symmetry of the vacuum can be spontaneously broken either by Higgs doublets [14, 15] or by triplets [16, 17] (which can also can explain neutrino mass via the seesaw mechanism [18,19,20,21,22]). Previously, preliminary vacuum stability conditions for models with a bidoublet and triplets, but with most couplings set to zero, were given in [23, 24]. Thereafter, a thorough study of vacuum stability for the left-right symmetry broken by a bidoublet and triplets was made in [25]. Recent work with left-right doublets includes [26] and [27].
We observe that the orbit space of a scalar field in a complex square matrix representation, if the quartic scalar potential can be written in terms of two invariants, also looks like a \(1+2\) dimensional forward lightcone. The Minkowski structure arises from the Cauchy–Schwarz inequality for the inner product of matrices. We then use positivity of the quartic coupling tensor to derive necessary and sufficient vacuum stability or bounded-from-below conditions for the self-couplings of the matrix field by analogy with the 2HDM. Portal couplings to the Higgs boson can be can be presented as a Minkowski vector [28]. If the couplings are real, we can reduce the vacuum stability problem to copositivity [29], i.e. positivity on positive vectors. The technique can be applied to various scalar fields, such as an \(SU(2)_{L}\) triplet, or an SU(3) sextet or octet.
We apply the formalism to derive the vacuum stability conditions on a left-right-symmetric scalar potential with a bidoublet and left and right Higgs doublets [14, 15]. The conditions for the bidoublet self-couplings are straightforward to obtain. They are equivalent to those previously published in another form in [25]. For real bidoublet self-couplings and Higgs portal couplings, the problem reduces to copositivity, and we obtain necessary and sufficient vacuum stability conditions for the full potential.
The lightcone orbit space for a matrix is described and vacuum stability conditions derived in Sect. 2. Portal couplings with the Higgs doublet are added in Sect. 3. The scalar potential is minimised in Sect. 4. In Sect. 5 we derive analytical vacuum stability conditions for a left-right symmetric model with a bidoublet and left-right Higgs doublets. We conclude in Sect. 6.
2 Lightcone orbit space from the Cauchy–Schwarz inequality
2.1 Matrix self-coupling potential and the lightcone orbit space
For two matrices A and B of suitable dimensions, their inner product is defined as \({\text {tr}}(A^{\dagger } B)\). Given a scalar field in a complex square matrix representation M of a (gauge) group, the invariants \({\text {tr}}M^{\dagger } M\) and \({\text {tr}}M^{2}\) satisfy the Cauchy–Schwarz inequality
We assume that these are the only independent group invariants needed to write the scalar potential. Let us express these field bilinears in terms of real variables \(r^{\mu }\) with \(\mu = 0, 1, 2\):
We can now write the Cauchy–Schwarz inequality (1) as
which, together with \(r^{0} \geqslant 0\), describes the orbit space of the scalar field M as a forward lightcone \(\text {LC}^{+}\) in \(1+2\) dimensions.Footnote 1 An SO(1, 2) Lorentz transformation will leave the inequality (3) intact. In particular, an SO(2) rotation of the \((r^{1}, r^{2})\) ‘spatial’ vector by the angle \(\theta \) corresponds to the U(1) phase rotation \(M \rightarrow e^{i \theta /2} M\), and a boost in the direction of \(r^{1}\) with rapidity \(\varphi \) to \(M \rightarrow M \cosh (\varphi /2) + M^{\dagger } \sinh (\varphi /2)\). For convenience, we will use relativistic terminology with obvious meanings of ‘time-like’, ‘space-like’ etc.
The mass terms and quartic self-couplings of the matrix field are given by
where the parameters \(\mu ^{\prime 2}_{M}\), \(\lambda ''_{M}\) and \(\lambda '''_{M}\) can be complex.
In terms of the lightcone variables \(r^{\mu }\), the potential (4) can be written as
where the mass vector
and the quartic coupling tensor
The quartic coupling tensor (7) can be diagonalised by an SO(1, 2) Lorentz transformation since all such transformations are available from the fundamental theory. (In some models, such as a three-Higgs-doublet model (3HDM), for example, \(\lambda _{\mu \nu }\) is not always diagonalisable, because the 3HDM orbit space does not fill the whole forward lightcone and hence not all Lorentz transformations are available [30].) The diagonalised tensor has the form \(\lambda _{\mu \nu }^{\mathrm {D}} = {\text {diag}}(\varLambda _{0}, -\varLambda _{1}, -\varLambda _{2})\), where the minus signs of the space-like eigenvalues arise from the pseudo-Euclidean metric.
2.2 Vacuum stability conditions for the matrix self-couplings
In order for the matrix self-coupling potential \(V_{M}\) to be bounded from below, the potential must be positive in the limit of large fields, in which we can ignore terms with mass dimensions and take into account only the quartic part of the potential.Footnote 2 Therefore, the quartic coupling tensor \(\lambda _{\mu \nu }\) has to be positive on the forward lightcone (3). For this, its eigenvalues have to satisfy [7]
We will analyse in detail only the most interesting case of real couplings: then the coupling tensor is
More generally, the tensor with complex couplings (7) can also be brought into a similar block-diagonal form by a phase rotation of the field M, choosing \(\arg \lambda '''_{M} = (1/2) \arg \lambda ''_{M}\) without loss of generality and then doing a rotation in the \(r^{1}r^{2}\)-plane by the angle \(-\arg \lambda '''_{M}\). Such a choice of coupling phases, however, is unusual.
For \(\lambda '''_{M} = 0\), the eigenvalues of the coupling tensor (9) are directly given by \(\varLambda _{0} = \lambda _{00} = \lambda _{M}\), \(-\varLambda _{1} = \lambda _{11} = \lambda '_{M} + \lambda ''_{M}\) and \(-\varLambda _{2} = \lambda _{22} = \lambda '_{M} - \lambda ''_{M}\), so the conditions (8) yield
These conditions are quite intuitive, considering that the minimum of the potential is achieved for a negative \(-\varLambda _{1}\) or \(-\varLambda _{2}\), if the field lies on the surface of the lightcone. Depending on the values of these couplings, either of the last two conditions in Eq. (10) may dominate. In particular, since for real couplings, \(r^{2}\) appears in only the \(\lambda _{22} (r^{2})^{2}\) term, we see that for \(-\varLambda _{2} \geqslant 0\), we must choose \(r^{2} = 0\) to minimise the potential. On the other hand, if \(-\varLambda _{2} < 0\), it is most convenient to consider it as a function of \(r^{0}\) and \(r^{1}\) and the potential is minimised when it takes its value on the lightcone, i.e. \((r^{2})^{2} = (r^{0})^{2} - (r^{1})^{2}\).
In case of \(\lambda '''_{M} \ne 0\), the tensor (9) can be diagonalised by the Lorentz transformation
There are four solutions to the equation \(\varLambda ^{\rho }_{\;\; \mu } \varLambda ^{\sigma }_{\;\; \nu } \lambda _{\rho \sigma } = \lambda _{\mu \nu }^{\mathrm {D}}\) for the rapidity \(\varphi \), but three of them are spurious, since they do not give an identity Lorentz transformation for \(\lambda '''_{M} = 0\), that is, for a coupling tensor that already is diagonal. The physical solution,
yields
The positivity conditions (8) for the coupling tensor (9) are then given, after simplification, by
For \(\lambda '''_{M} = 0\), these conditions reduce to Eq. (10) as required; for \(\lambda '''_{M} \ne 0\), the conditions (10) are necessary. Note that for \(-\varLambda _{2} = \lambda _{22} = \lambda '_{M} - \lambda ''_{M} > 0\), the second condition (17) is stronger than the last one (18), since a positive \(-\varLambda _{2}\) only takes us away from the minimum; for \(-\varLambda _{2} < 0\), it is the opposite. Thus we can subsume the condition \(\varLambda _{0} > 0\) (17) into \(\varLambda _{0} - \varLambda _{2} > 0\) (18) by making the substitution \(-\varLambda _{2} \rightarrow -\varLambda _{2} \, \theta (\varLambda _{2})\) in the latter, where \(\theta \) is the Heavyside step function. In summary, the self-coupling potential (5) is bounded from below if the conditions (16), (17) and (18) are satisfied.Footnote 3
The vacuum stability conditions for the bidoublet self-couplings are demonstrated in Fig. 1 in the \(\lambda ''_{M}\) vs. \(\lambda '''_{M}\) plane for \(\lambda _{M} = 0.5\) and \(-1 \leqslant \lambda '_{M} \leqslant 1\). The allowed region, whose shape resembles an inverted mountain, is colour-coded for \(\lambda '_{M}\). The tip of the ‘mountain’ is at \(\lambda '''_{M} = \lambda ''_{M} = 0\), \(\lambda '_{M} = -0.5\).
3 Couplings to the Higgs doublet
3.1 Higgs portal couplings and the full scalar potential
In a realistic model, we couple the matrix field M to the Higgs doublet H.Footnote 4 First of all, the Higgs mass term and self-coupling are given by
We can write couplings of the field M to the Higgs doublet as
which we can write in the form
where
The full scalar potential is given by
In general, there could be other terms in the potential, e.g. as a cubic term given by the determinant of M. Such terms are a fly in the ointment: they do not fit straight away in our parametrisation, although they can be written via the lightcone variables at the expense of introducing additional orbit space parameters.
3.2 Vacuum stability conditions for the full scalar potential
For the full scalar potential (23) of H and M, the vacuum stability conditions (16), (17) and (18) for the M self-coupling potential (5) are necessary. Likewise, one has to require \(\lambda _{H} > 0\). In order to find the full necessary and sufficient conditions for vacuum stability, the Higgs portal couplings \(\lambda _{H\mu }\) must be taken into account. If \(\lambda _{H\mu }\) is in the forward lightcone, that is, \(\lambda _{HM} \geqslant 0\), \(\lambda _{HM} \geqslant |\lambda '_{HM}|\), then \(\lambda _{H\mu } r^{\mu }\) is positive in the whole forward lightcone and nothing need be done. On the other hand, if \(\lambda _{H\mu }\) is in the backward lightcone, then \(\lambda _{H\mu } r^{\mu }\) is negative in the whole forward lightcone. In this case, we can minimise the quartic part of the potential (23) over \(|H|^{2}\),
essentially substituting
in the conditions (8). If \(\lambda _{H\mu }\) is space-like, however, then \(\lambda _{H\mu } r^{\mu }\) is negative only in a part of the forward lightcone and demanding positivity over the whole forward lightcone only yields a sufficient, not necessary condition for the vacuum stability of the potential.
There is a considerable simplification if we restrict ourselves to the case of real couplings, i.e. no explicit CP-violation. In this case, instead of trying to look for a complicated condition for a space-like \(\lambda _{H\mu }\), we will sidestep this issue altogether. We will reduce the problem of vacuum stability to copositivity [29], that is, positivity on positive vectors.
For real couplings, the \(\lambda _{22} (r^{2})^{2}\) term remains as the only potential term with \(r^{2}\). As before, if \(\lambda _{22} = \lambda '_{M} - \lambda ''_{M} \geqslant 0\), the \(\lambda _{22}\) term will give a non-negative contribution to the potential and can be ignored in finding vacuum stability conditions. On the other hand, if \(\lambda _{22} < 0\), then the potential is minimised when it takes the value on the lightcone, i.e. \((r^{2})^{2} = (r^{0})^{2} - (r^{1})^{2}\). This means that we must require
in the limit of large field values; the implication \(p \implies q\) is equivalent to \(\lnot p \vee q\). Imposing \(r^{2} = 0\) or the lightcone condition \((r^{2})^{2} = (r^{0})^{2} - (r^{1})^{2}\) means, in effect, that the coupling tensor \(\lambda _{\mu \nu }\) is reduced to its upper-left block with \(\mu ,\nu = 0,1\) and, in the latter case, \(\lambda _{00} \rightarrow \lambda _{00} + \lambda _{22}\) and \(\lambda _{11} \rightarrow \lambda _{11} - \lambda _{22}\). As a shorthand for the two implications (26) and (27), we can multiply the \(\lambda _{22}\) coupling by the Heaviside step function \(\theta (-\lambda _{22})\). Having minimised over \(r^{2}\), we are left with a potential that depends only on \(r^{0}\), \(r^{1}\) and \(|H|^{2}\). While \(r^{0}\) and \(r^{1}\) are physical on the \(1+1\) forward lightcone \(\mathrm {LC}^{+}\), the square of the Higgs doublet \(|H|^{2}\) is physical on non-negative numbers \(\mathbb {R}_{+}\), so the whole orbit space is \(\mathrm {LC}^{+} \! \times \mathbb {R}_{+}\). In order to take into account all the quartic couplings, we augment the reduced \(\lambda _{\mu \nu }\) with couplings to the Higgs boson and the Higgs self-coupling. The resulting tensor, in the basis \((r^{0}, r^{1}, |H|^{2})\), is given by
where the mixed indices \(A, B = \mu , H\) with \(\mu = 0,1\) and
By rotating the \(1+1\) forward lightcone \(\text {LC}^{+}\) into the non-negative quadrant \(\mathbb {R}^{2}_{+}\) of the \(r^{0}r^{1}\)-plane, as illustrated in Fig. 2, the whole orbit space will transform from the mixed \(\mathrm {LC}^{+} \! \times \mathbb {R}_{+}\) into the non-negative octant \(\mathbb {R}_{+}^{3}\). Positivity on the lightcone is then reduced to copositivity. The Higgs boson and the portal couplings are taken into account in the same fashion. In particular, we rotate the tensor \(\lambda _{AB}\) by
where the lowercase Latin indices denote usual Cartesian coordinates. The \(\lambda _{AB}\) tensor becomes, upon the rotation, the quartic coupling matrix given by
The full potential, minimised over \(r^{2}\), can thus be written as
in the basis
The physical orbit space is then given by non-negative \(x_{i}^{2}\), that is, \(\mathbb {R}_{+}^{3}\). The coupling matrix is given by
where
The necessary and sufficient vacuum stability conditions for the potential (23) with real couplings are obtained by requiring copositivity of the matrix (35) and are given by [29]
The vacuum stability conditions (16), (17) and (18) for the self-couplings of M are reproduced by the conditions \(\lambda _{-} > 0\), \(\lambda _{+} > 0\) and \(\bar{\lambda }_{\mp } > 0\).
4 Potential minimisation
The stationary points of the scalar potential (23) are given by solving
Multiplying Eq. (46) from the right by H, we obtain
which is solved by \(|H|^{2} = 0\) (the trivial solution) or
Similarly to Eq. (48), we also want to take Eq. (47) into a form that does not explicitly depend on the matrix M, but only on the lightcone variables \(r^{\mu }\). To that end, we multiply Eq. (47) by \(M^{T}\), take a trace and the real part:
where we used Eqs. (A.2), (A.3) and (A.4) from Appendix A in the last step. Similarly, by multiplying Eq. (47) by \(M^{*}\), taking the imaginary part, or both, we additionally obtain
The tip of the lightcone \(r^{\mu } = 0\) trivially satisfies all the equations. For \(r^{2} = 0\), Eqs. (51) and (53) are identically zero. For real couplings, which is the case we study, we can eliminate \(r^{2}\) as before by choosing either \(r^{2} = 0\) (for \(\lambda _{22} \geqslant 0\)) or \((r^{2})^{2} = (r^{0})^{2} - (r^{1})^{2}\) (for \(\lambda _{22} < 0\)) in the minimum (note that this may not hold in extrema other than minima). This eliminates Eqs. (51) and (53), and Eq. (50) becomes
All Eqs. (50), (51), (52) and (53) are satisfied if the partial derivatives of V with respect to \(r^{\mu }\) vanish (whether all couplings are real or not):
Such solutions, if \(|H|^{2} = 0\), are given by
which exists if the coupling tensor \(\lambda _{\mu \nu }\) is non-singular, i.e. its eigenvalues are not zero. If one or more eigenvalues vanish, then the solution (56) is given by
where \((\tilde{\lambda }^{-1})^{\mu \nu }\) and \(\tilde{\mu }^{2}_{M \nu }\) are restrictions to the orthogonal subspace with non-vanishing eigenvalues and \(\rho ^{\mu }\) belongs to the kernel of \(\lambda _{\mu \nu }\), i.e. \(\lambda _{\mu \nu } \rho ^{\nu } = 0\). With non-zero \(|H|^{2}\), the solutions have the same structure, with the substitutions
in Eqs. (56) and (57). One must check that the solutions do lay within the lightcone.
Another type of solution arises if the partial derivatives are non-zero. One sees immediately from Eqs. (52) and (54) that then \(r^{1} = \pm r^{0}\), so both solutions are on the lightcone (but in general have different magnitude).Footnote 5 The solutions are obtained from
Explicit minimum solutions are presented in Appendix B.
The mass matrix can be calculated in the basis (M, \(M^{\dagger }\), H, \(H^{\dagger }\)), where M is shorthand for \(M_{ij}\), that is, ij can be treated as a multi-index; similarly, H stands for \(H_{i}\). E.g. the second derivative \([\partial ^{2}/(\partial M \partial M^{\dagger })]_{ij,kl} = \partial ^{2}/(\partial M_{ij} \partial M^{\dagger }_{kl})\) and \([\partial M/\partial M]_{ij,kl} = \partial M_{ij}/\partial M_{kl}\). Then, for example, we have, as a diagonal block of the mass matrix,
where \(\partial r^{\mu }/\partial M\) are given by (A.1).
The eigenvalues of the mass matrix can be given in terms of the lightcone variables \(r^{\mu }\) and the square of the Higgs doublet \(|H|^{2}\). The invariants of the mass matrix, such as its trace, determinant, and so on that enter the characteristic polynomial can be calculated in matrix notation. In practice it may be easier, however, to first calculate the eigenvalues in terms of the elements of M and \(M^{\dagger }\) and only then express them via \(r^{\mu }\).
5 Left-right model with a bidoublet and left-right Higgs doublets
Left-right symmetry is an extension of the SM gauge group that restores the parity symmetry of the vacuum at high energies. Before spontaneous symmetry breaking, the left- and right-handed fermions are treated in the same way. The left-right gauge group is \(SU(3)_{C} \times SU(2)_{L} \times SU(2)_{R} \times U(1)_{B-L}\). We consider vacuum stability and minimum structure for the model with left and right Higgs doublets and a left-right bidoublet [14, 15]. The scalar fields and their irreducible gauge representations of the model is given in Table 1. The fields transform as
under \(SU(2)_{L} \times SU(2)_{R}\) for the gauge transformations \(U_{L} \in SU(2)_{L}, U_{R} \in SU(2)_{R}\). One can also define \(\tilde{\varPhi } = \sigma _{2} \varPhi ^{*} \sigma _{2}\), which transforms in the same way as \(\varPhi \).
The electric charge has the form
where \(T_{3}\) is the third component of the weak isospin.
The scalar potential can be written as
where the bidoublet potential, comprising mass terms and quartic self-couplings, is given by
the mass terms and quartic scalar interactions among the Higgs doublets are given by
and the interactions between the bidoublet and the doublets are given by
While several interaction couplings, such as \(\lambda _{4}\), for example, could be complex, we take them real, so that there is no explicit CP-violation.
5.1 Bidoublet lightcone and vacuum stability
We express the bidoublet gauge invariant bilinears, as in Sect. 2.1, via lightcone variables:
Notice that while the bidoublet is a general complex \(2 \times 2\) matrix, it is sufficient to consider a diagonal \(\varPhi \) to reproduce any point in the lightcone.
In terms of the lightcone variables, the bidoublet potential (64) is
where the mass term vector is
and the quartic coupling tensor is
For \(\lambda _{4} = 0\), the eigenvalues of the coupling matrix (70) in the lightcone variables are directly given by \(\varLambda _{0} = \lambda _{1}\), \(-\varLambda _{1} = \lambda _{3} + 2 \lambda _{2}\) and \(-\varLambda _{2} = \lambda _{3} - 2 \lambda _{2}\). The conditions (8) for the positivity of a Lorentz tensor give
By comparing the bidoublet quartic self-coupling tensor (70) with the generic self-coupling tensor (9), we obtain – from Eqs. (16), (17) and (18) – that the vacuum stability conditions for the bidoublet self-couplings are
It can be shown that Eqs. (72), (72) and (74) are equivalent to the vacuum stability conditions for the bidoublet self-couplings previously given in Ref. [25] in another form.
5.2 Full left-right scalar potential in lightcone variables
Altogether, the potential (63) is then
where the vector \(\mu ^{2}_{\varPhi \mu }\) is given by Eq. (69), the tensor \(\lambda _{\mu \nu }\) is given by Eq. (70) and
We have used \(H_{L}^{\dagger } \varPhi H_{R} = \sqrt{|H_{L}|^{2} |H_{R}|^{2} r^{0}} \rho e^{i \theta }\) with \(0 \leqslant \rho \leqslant 1\) and \(0 \leqslant \theta < 2 \pi \) and a similar parametrisation for the second trilinear term with \(\tilde{\rho }\) and \(\tilde{\theta }\) in the cubic terms.
5.3 Vacuum stability conditions
In order to derive vacuum stability conditions for the potential (75), we follow the procedure of Sect. 3.2. First of all, we minimise the potential with respect to \(r^{2}\), in effect substituting \(\lambda _{00} = \lambda _{1} \rightarrow \lambda _{1} + (\lambda _{3} - 2 \lambda _{2}) \theta (2 \lambda _{2} - \lambda _{3})\) and \(\lambda _{11} = 2 \lambda _{2} + \lambda _{3} \rightarrow 2 \lambda _{2} + \lambda _{3} - (\lambda _{3} - 2 \lambda _{2}) \theta (2 \lambda _{2} - \lambda _{3})\). Then we write down the quartic couplings in the basis \((r^{0}, r^{1}, |H_{L}|^{2}, |H_{R}|^{2})\). Finally, we rotate the \(1+1\) forward lightcone \(\text {LC}^{+}\) into the non-negative quadrant \(\mathbb {R}^{2}_{+}\) of the \(r^{0}r^{1}\)-plane. The resulting orbit space is the non-negative orthant \(\mathbb {R}_{+}^{4}\) and therefore we can apply copositivity [29] to the obtained quartic coupling matrix, given by
where
The resulting necessary and sufficient vacuum stability conditions for the left-right symmetric scalar potential with a bidoublet and left and right doublets are given by
where we have not written out the last condition, obtained from the Cottle–Habetler–Lemke theorem [31], in full. The adjugate \({\text {adj}}(A)\) of a matrix A is the transpose of the cofactor matrix of A. It is implicitly defined through the relation \(A{\text {adj}}(A) = \det (A) \, I\).
6 Conclusions
Finding vacuum stability conditions and minima of scalar potentials is an involved problem. It helps to consider the potential as a function of gauge invariants, not directly of scalar field components. The orbit space of these invariants has a peculiar shape dependent on the group representations. In particular, the 2HDM orbit space resembles a forward lightcone in \(1+3\) dimensions [7, 8].
We show that the orbit space of a scalar field in a complex square matrix representation, with two quadratic invariants, also has a lightcone shape in \(1+2\) dimensions. The Minkowski space structure is a parametrisation of the Cauchy–Schwarz inequality (1) for the matrix inner product. Positivity of the quartic coupling tensor of the matrix field gives the vacuum stability conditions (16), (17) and (18) for its self-couplings. The method is suitable for treating scalar fields such as a bidoublet, a complex SU(2) triplet or a complex SU(3) octet. For a realistic model, portal couplings to the Higgs doublet need to be included. In this case, finding the vacuum stability conditions becomes complicated, but in the most interesting case of real couplings, it can be reduced to copositivity, yielding the simple conditions (45). Minima of the potential can be found in the same formalism.
Finally, we use the formalism to derive the vacuum stability conditions (86) for the quartic couplings of a left-right symmetric potential of a bidoublet and left and right Higgs doublets.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This is a theoretical study and there are no external data associated with the manuscript.]
Notes
Another possible parametrisation is \({\text {tr}}M^{\dagger } M = r\), \({\text {tr}}M^{2} = r \rho e^{i \phi }\) with \(r \geqslant 0\), \(0 \leqslant \rho \leqslant 1\), \(0 \leqslant \phi < 2 \pi \). To derive vacuum stability conditions for the self-couplings, one can then demand that the minimum value of the coefficient of \(r^{4}\) in the quartic part of the potential be positive. The resulting conditions, however, are somewhat less concise.
We consider strict positivity of the quartic potential. In the case of non-strict positivity, the quartic potential may have flat directions, in which the mass and cubic potential must be positive if the potential is to be bounded from below.
Notice that the conditions (16), (17) and (18) are similar to the vacuum stability conditions of the self-couplings of a complex singlet [29]. This is not an accident, since for a complex singlet \(S = (s_{R} + i s_{I})/\sqrt{2}\), we can also write its quartic potential, if its self-couplings are real, in terms of two lightcone variables \(r^{0} = (s_{R}^{2} + s_{I}^{2})/2\) and \(r^{1} = (s_{R}^{2} - s_{I}^{2})/2\), which satisfy \(r^{0} \geqslant 0\) and \((r^{0})^{2} - (r^{1})^{2} \geqslant 0\).
Of course, in a dark sector, a similar potential can describe the interactions of the scalar M and a Standard Model singlet S with \(|S|^{2}\) substituted for \(|H|^{2}\).
Note that in the \(x_{i}^{2}\) basis used in Sect. 3.2, these solutions correspond to \(x_{1}^{2} = 0\) or \(x_{2}^{2} = 0\).
References
T.D. Lee, Phys. Rev. D 8, 1226 (1973). https://doi.org/10.1103/PhysRevD.8.1226
L. Michel, L.A. Radicati, Ann. Phys. 66, 758 (1971). https://doi.org/10.1016/0003-4916(71)90079-0
M. Abud, G. Sartori, Phys. Lett. B 104, 147 (1981). https://doi.org/10.1016/0370-2693(81)90578-5
M. Abud, G. Sartori, Ann. Phys. 150, 307 (1983). https://doi.org/10.1016/0003-4916(83)90017-9
J. Kim, Nucl. Phys. B 196, 285 (1982). https://doi.org/10.1016/0550-3213(82)90040-2
J.S. Kim, J. Math. Phys. 25, 1694 (1984). https://doi.org/10.1063/1.526347
I.P. Ivanov, Phys. Rev. D 75, 035001 (2007). https://doi.org/10.1103/PhysRevD.75.035001 [Erratum: Phys. Rev. D 76, 039902 (2007)]
M. Maniatis, A. von Manteuffel, O. Nachtmann, F. Nagel, Eur. Phys. J. C 48, 805 (2006). https://doi.org/10.1140/epjc/s10052-006-0016-6
A. Degee, I.P. Ivanov, Phys. Rev. D 81, 015012 (2010). https://doi.org/10.1103/PhysRevD.81.015012
I.P. Ivanov, J.P. Silva, Phys. Rev. D 92(5), 055017 (2015). https://doi.org/10.1103/PhysRevD.92.055017
R.N. Mohapatra, J.C. Pati, Phys. Rev. D 11, 2558 (1975). https://doi.org/10.1103/PhysRevD.11.2558
R.N. Mohapatra, J.C. Pati, Phys. Rev. D 11, 566 (1975). https://doi.org/10.1103/PhysRevD.11.566
J.C. Pati, A. Salam, Phys. Rev. D 10, 275 (1974). https://doi.org/10.1103/PhysRevD.10.275 [Erratum: Phys. Rev. D 11, 703–703 (1975)]
G. Senjanovic, R.N. Mohapatra, Phys. Rev. D 12, 1502 (1975). https://doi.org/10.1103/PhysRevD.12.1502
R.N. Mohapatra, D.P. Sidhu, Phys. Rev. D 16, 2843 (1977). https://doi.org/10.1103/PhysRevD.16.2843
N.G. Deshpande, J.F. Gunion, B. Kayser, F.I. Olness, Phys. Rev. D 44, 837 (1991). https://doi.org/10.1103/PhysRevD.44.837
A. Maiezza, G. Senjanović, J.C. Vasquez, Phys. Rev. D 95(9), 095004 (2017). https://doi.org/10.1103/PhysRevD.95.095004
M. Gell-Mann, P. Ramond, R. Slansky, Conf. Proc. C 790927, 315 (1979)
S.L. Glashow, NATO Sci. Ser. B 61, 687 (1980). https://doi.org/10.1007/978-1-4684-7197-7_15
P. Minkowski, Phys. Lett. B 67, 421 (1977). https://doi.org/10.1016/0370-2693(77)90435-X
R.N. Mohapatra, G. Senjanovic, Phys. Rev. Lett. 44, 912 (1980). https://doi.org/10.1103/PhysRevLett.44.912
T. Yanagida, Conf. Proc. C 7902131, 95 (1979)
P.S. Bhupal Dev, R.N. Mohapatra, W. Rodejohann, X.J. Xu, JHEP 02, 154 (2019). https://doi.org/10.1007/JHEP02(2019)154
J. Chakrabortty, P. Konar, T. Mondal, Phys. Rev. D 89(9), 095008 (2014). https://doi.org/10.1103/PhysRevD.89.095008
G. Chauhan, JHEP 12, 137 (2019). https://doi.org/10.1007/JHEP12(2019)137
E. Gabrielli, L. Marzola, M. Raidal, Phys. Rev. D 95(3), 035005 (2017). https://doi.org/10.1103/PhysRevD.95.035005
K.S. Babu, A. Thapa (2020). arXiv:2012.13420 [hep-ph]
T. Alanne, K. Kainulainen, K. Tuominen, V. Vaskonen, JCAP 08, 057 (2016). https://doi.org/10.1088/1475-7516/2016/08/057
K. Kannike, Eur. Phys. J. C 72, 2093 (2012). https://doi.org/10.1140/epjc/s10052-012-2093-z
I.P. Ivanov, C.C. Nishi, Phys. Rev. D 82, 015014 (2010). https://doi.org/10.1103/PhysRevD.82.015014
R. Cottle, G. Habetler, C. Lemke, Linear Algebra Appl. 3(3), 295 (1970). https://doi.org/10.1016/0024-3795(70)90002-9
Acknowledgements
We would like to thank Luca Marzola for useful discussions and for reading the draft of the manuscript. This work was supported by the Estonian Research Council grant PRG434, by the European Regional Development Fund and the programme Mobilitas Pluss grant MOBTT5, and by the EU through the European Regional Development Fund CoE program TK133 “The Dark Side of the Universe”.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Derivatives of the lightcone variables
The derivatives of the lightcone variables with respect to the scalar field M are given by
which can be taken into invariant form by multiplying by either \(M^{T}\) or \(M^{*}\) and taking a trace:
Appendix B: Minimum solutions
For completeness, we present the extremum solutions discussed in Sect. 4 in detail. We assume \(\lambda '_{M} - \lambda ''_{M} \geqslant 0\) and take \(r^{2} = 0\). If \(\lambda '_{M} - \lambda ''_{M} < 0\), one has to take \((r^{2})^{2} = (r^{0})^{2} - (r^{1})^{2}\) and let \(\lambda _{M} \rightarrow \lambda _{M} + \lambda '_{M} - \lambda ''_{M}\) and \(\lambda '_{M} + \lambda ''_{M} \rightarrow \lambda '_{M} + \lambda ''_{M} - (\lambda '_{M} - \lambda ''_{M}) = 2 \lambda ''_{M}\).
The trivial solution is given by
If only Higgs has a vacuum expectation value (VEV), then
The solutions to Eq. (59) are given by
and
The solutions to Eq. (55) are given by
and
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
Kannike, K. Vacuum stability conditions and potential minima for a matrix representation in lightcone orbit space. Eur. Phys. J. C 81, 940 (2021). https://doi.org/10.1140/epjc/s10052-021-09746-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-021-09746-w