Neutrino Mass Sum Rules and Symmetries of the Mass Matrix

Neutrino mass sum rules have recently gained again more attention as a powerful tool to discriminate and test various flavour models in the near future. A related question which was not yet discussed fully satisfactorily was the origin of these sum rules and if they are related to any residual or accidental symmetry. We will address this open issue here systematically and find previous statements confirmed. Namely, that the sum rules are not related to any enhanced symmetry of the Lagrangian after family symmetry breaking but that they are simply the result of a reduction of free parameters due to skillful model building.


Introduction
The origin of flavour is still an open issue in the Standard Model of particle physics (SM) and most of its extensions. In the recent past a very popular approach is based on (discrete) family symmetries which can easily explain the number of generations and gives a very good leading order description of the neutrino mixing angles, for recent reviews, see, e.g., [1,2]. One particular prediction in plenty of these models is a so-called neutrino mass sum rule, which relates the three complex neutrino eigenvalues with each other. That means that the three masses can be described by two complex parameters only 1 . In Tab. 1 we have given a list of all twelve sum rules known in the literature. For recent detailed phenomenological studies of the mass sum rules, see [3][4][5][6]. All mass sum rules can be parametrised according to [3,4] as where φ 1 and φ 2 are the Majorana phases. The quantities c 1 , c 2 , d, ∆χ 13 , and ∆χ 23 are parameters which characterise the sum rule. Since in these models we have less free parameters than observables one might wonder if there is some underlying symmetry behind the mass sum rules. This is particularly tempting since they emerge usually in models which have much more symmetry than the SM including neutrino masses so that it could well be that the full symmetry of the Lagrangian is actually not completely broken. A residual (or accidental) symmetry could then be responsible for the reduction of free parameters in the mass matrix and result in a sum rule 2 .
1 In principle, one could imagine that the three masses are described by one complex parameter only, but we are not aware of any such model with phenomenologically viable predictions. 2 In this letter we only discuss mass sum rules. There also the well-known mixing sum rules which originate On the other hand this intriguing idea is challenged by the fact that the same sum rule emerges in models with different symmetries. For instance, sum rule 6 from Tab. 1 with 1/m 1 + 1/m 2 − 1/m 3 = 0, wherem i are the three complex neutrino masses, is realised in models with A 4 [15], S 4 [8] and A 5 [24] symmetry. Furthermore, in [4] we have already tried to argue against some more fundamental principle behind the mass sum rules by emphasizing that the only common feature of all this models is a reduction of parameters in the neutrino mass matrix. To be more precise the reduction of free parameters comes from an interplay of the choice of the family symmetry, the choice of particle representations under this symmetry, and the way the family symmetry is broken. Nevertheless, there is no general common recipe simply due to the fact that there is no underlying symmetry argument as we will show in the following. In a sense mass sum rules are a mere result of skillful model building. Note that this implies, that they can appear in direct, semi-direct and indirect models (for this classification see, e.g., [2]) since they can never be mapped to any subgroup of the family symmetry.
In this short letter we want to extend this previous discussion by giving more formal arguments to show that the symmetry of the Lagrangian is not enhanced by a neutrino mass sum rule after symmetry breaking and that the presence of a neutrino mass sum rule cannot be directly related to any symmetry. This is different from the case of the mixing angle predictions where the Klein symmetry of the neutrino mass matrix can be identified with some of the generators of the family symmetry, for explanations and references, see [1]. Hence, the claim that neutrino mass sum rules have no deeper reason than sophisticated model building is confirmed.

Symmetries of Majorana mass terms
We will start by considering a Majorana mass term in the Lagrangian for the neutrinos where ν L contains the three left-handed neutrino fields, C is the charge conjugation matrix and M M is the symmetric, complex neutrino Majorana mass matrix. The recent success of flavour model building with (discrete) symmetries is based on the assumption that the Klein symmetry of the neutrino Majorana mass term is the remnant of a bigger family symmetry, see, e.g., [1]. The generators of the residual symmetry G of the mass matrix fulfill the symmetry condition with unitary matrices S ∈ G. Note that we restrict ourselves here to unitary representations to keep the kinetic term canonical. The question is now, if there are additional possibilities for S if a mass sum rule is present which enhance the symmetry G. In the following we will work in a basis, where M M is diagonal since an enhanced symmetry should be present in any basis and we are only interested in the masses here. The advantage is, that in this basis the sum rule is most simple and obvious. Note also that the characteristic polynomial of the mass matrix is the same in the flavour and the mass basis.
from an additional breaking of the residual symmetries in the charged lepton or neutrino sector. For a recent very detailed account of all the possibilities, see, e.g., [34] and references therein.
We will begin our considerations with a more intuitive perturbative approach and later discuss a general calculation.
If there is any continuous symmetry G this would be expressed in conditions on the generators T i . For a continuous Lie group we can expand eq. (2.2) Using the explicit forms of the generators and M = diag(m 1 ,m 2 ,m 3 ) we obtain the following conditions Before we discuss the sum rule case we briefly want to review some well known cases. In the case of three distinct, independent mass eigenvalues we get from eq. (2.3) α i = 0 and we have no continuous symmetry apart from the trivial one in this case.
If one of the masses vanishes while the two other are independent and non-zero we obtain a relation between the diagonal generators which leads to a U (1) symmetry for the massless state. For example, ifm 3 = 0 we have the enhanced symmetry G = exp(i α T ) with T = Diag(0, 0, 1) as expected.
In the case of two equal masses (and the third different and non-zero) we obtain, for instance, ifm 2 =m 3 only the SO(2) generator in the 1-2 block as again expected Now for the interesting case, thatm 3 is a function depending on the two other masses we have explicitly checked that for all twelve sum rules in Tab. 1 all α i = 0 as in the case for three distinct, independent masses.
Another approach is to start now from a point in the parameter space which has a wellknown enhanced symmetry. If there would be an enhanced symmetry in the case of a mass sum rule it should still be there after a small perturbation. For instance, settingm 3 ≡m 2 will fixm 1 for a given sum rule. But for this particular point we have a SO (2) symmetry. If there is any non-trivial residual symmetry G for a small perturbation of the symmetric points it must be related to a small perturbation to the elements of SO (2).
In the concrete case ofm 3 =m 1 +2m 2 we takem 3 =m 2 (1+ ) with a small perturbation from the enhanced symmetry point. The mass matrix is then (2.10) Now we can expand in all α i , i = 6, in eq. (2.3) and set the α i to be of O( ). The only solution to this equation is again α i = 0, i = 1, . . . 9. This is also true in the case of other sum rules with different coefficients as it can be easily understood from considering only the 2-3 block of M M which exhibits a SO(2) symmetry for = 0. In the case of = 0 the eigenvalues are different and we find no symmetry anymore. We have also expanded around the other symmetry points for all sum rules and around the well-known non-trivial Z 3 2 symmetry of the Majorana mass matrix (which corresponds to expanding α 3 , α 8 and α 9 around π) but never found any non-trivial solution for the α i .
Up to now we have only considered continuous symmetries where we can expand in small α i around the the elements of Z 3 2 and concluded that the presence of a sum rule does not enhance the symmetry of the mass matrix. One might wonder if the residual symmetry we are looking for is not anywhere near these points which would be surprising but cannot be completely ruled out at this point.
To rule this out as well we also did the general calculation for an arbitrary S ∈ U (3) which is nevertheless tedious and not very insightful compared to the perturbative approach. We will discuss here how to do this for sum rule 1, cf. Tab. 1, as an example. For the other sum rules similar calculations give the same result as we have checked. An element S ∈ U (3) can be written as S = P 1 U 23 U 13 U 12 , for notation and conventions, see Appendix A of [5]. Since S is unitary we can rewrite eq. (2.2) (2.11) The 1-1 element of this equation reads m 1 cos θ 12 cos θ 13 e 2 i ω 1 − 1 = 0 , (2.12) which has four possible solutions. Let us discuss first θ 13 = π/2 (note that in our conventions θ ij ∈ [0, π]). From the 1-3 element of eq. (2.11) we find that δ 13 = ω 1 and m 2 = 2 m 1 cos(φ 2 − φ 1 ) , (2.13) which is in general not satisfied and we exclude the solution with θ 13 = π/2. For the same reason we have to discard θ 12 = π/2. From the remaining two solutions ω 2 = 0 or π it is sufficient to discuss ω 2 = 0. At this point they are related by a global sign. From the 1-2 element of eq. (2.11) we derive m 1 e i φ 2 − m 2 e i(φ 1 +2δ 12 ) cos θ 13 sin θ 12 = 0 . (2.14) As we have discussed above we have to discard the solution θ 13 = π/2 and the only two remaining solutions are θ 12 = 0 or π. For simplicity, we will only discuss here θ 12 = 0. From the 1-3 element of eq. (2.11) we then find that Again θ 13 = 0 or π and we discuss only θ 13 = 0. From the 3-2 element of eq. (2.11) we find And hence θ 23 = 0 or π. Now we know that S has to be diagonal and it is trivial to see that the remaining phases have to take trivial values. So we have shown without resorting to any expansion that S can be only an element of Z 3 2 , i.e. it must be a diagonal matrix with ±1 on the diagonal. For the other sum rules we have checked with similar calculations that S can be only an element of Z 3 2 .
Hence, we conclude that there is no particular residual (continuous or discrete) symmetry in the case of a neutrino mass sum rule. This is actually not surprising. Apart from the ubiquitous symmetric points where masses are equal or vanish even in the case of neutrino mass sum rules the three neutrino masses are different which is known to have no other symmetry than the Z 3 2 (physically the Klein symmetry Z 2 2 after absorbing an unphysical sign corresponding to one of the Z 2 factors).

Symmetries of Dirac mass terms
We turn now to the case of Dirac mass matrices which is nevertheless only realised in one of the known flavour models exhibiting a mass sum rule [36] in the literature (this sum rule can also be realised in models with Majorana neutrinos [37]).
One has to be careful since in the mass sum rule for Dirac neutrinos the Majorana phases are unphysical. Nevertheless, these sum rules still lead to one of the major predictions of mass sum rules, the lower bound on the lightest mass.
We will show that also in the case of Dirac neutrinos a mass sum rule does not lead to any particular symmetry of the mass matrix.
A Dirac mass term reads with the left-and right-handed neutrino fields ν L and ν R . For a Dirac mass matrix M D the relation for an enhanced residual or accidental symmetry H is with unitary matrices R ∈ H. Again H can be maximally U (3) and we set R = exp(i β i T i ), i = 1, . . . , 9. Now we have to find the solution for In the case of three distinct eigenvalues we obtain that β 3 , β 8 and β 9 are undetermined which leads to a U (1) 3 symmetry corresponding to individual neutrino flavour numbers. This also does not change for a vanishing mass this time.
In the case of a sum rule we find again that the symmetry group is not enhanced for phenomenologically relevant parameter points. This is true also in the vicinity of symmetry points as discussed above. And for definiteness we have also checked here our statement for an arbitrary element of U (3). So again neutrino mass sum rules do not lead to any particular residual symmetry of the Lagrangian also in the case of Dirac neutrino masses.

Summary and conclusions
Neutrino mass sum rules are a powerful way to test more than 60 flavour models. Although the phenomenology of these models has been studied already in great detail [3][4][5][6] the exact origin of the neutrino mass sum rules had not been addressed systematically yet.
Since they usually appear in the context of non-Abelian discrete family symmetries it is tempting to think of them in the same framework and try to connect the neutrino mass sum rules to any residual symmetry of the Lagrangian (the neutrino mass terms). We have demonstrated here that this is not the case. From the viewpoint of residual symmetries there is no difference between a mass matrix which fulfills a neutrino mass sum rule and a mass matrix which does not. n that sense mass sum rules present themselves as a model building artifact found in many flavour models which have no one-to-one mapping to any definite property of the flavour model in the unbroken phase. Despite that they still offer robust predictions for the neutrino mass ordering and scale, for instance, which can be tested in the future.
Starting from the symmetry conditions, eqs. (2.2) and (3.2), we have provided perturbative arguments and shown an explicit (non-perturbative) example calculation which prove our statement. We have checked that the given statements and calculations indeed extend to all sum rules and we conclude that a neutrino mass sum rule is not related to an enhanced or particular residual symmetry of the Lagrangian as long as all the masses are distinct. This is in complete agreement with the widely used claim that non-Abelian family symmetries cannot determine the neutrino masses. In fact, our proof is equally valid for the case without any mass sum rule (three completely independent masses). To our knowledge, this is the first formal proof of this widely held conviction in the literature.
These considerations clarify and settle an open question in the literature and prove that neutrino mass sum rules are simply related to some minimal breaking of the symmetries in flavour models in the sense that only the minimal set of parameters is introduced in the neutrino mass matrix to allow for three non-vanishing eigenvalues.

Acknowledgements
We would like to thank Alexander Merle for useful discussions on the manuscript. JG acknowledges partial support from the European Union's Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie grant agreement No 674896. MS would like to thank Academia Sinica for kind hospitality during some stages of this project and acknowledges partial support by BMBF under contract no. 05H12VKF.