P stabilizes dark matter and with CP can predict leptonic phases
Abstract
We find that spontaneously broken parity () or leftright symmetry stabilizes dark matter in a beautiful way. If dark matter has a nonreal intrinsic parity (e.g. Majorana fermions), parity can ensure that it cannot decay to all normal particles with real intrinsic parities. However if Majorana couplings are absent either in the Lepton or the dark sector, symmetry can be redefined to remove relative nonreal intrinsic phases. It is therefore predicted that neutrinos and dark matter fermions must have Majorana masses if dark matter is stable due to parity. We also consider vectorlike doublet fermions with intrinsic parity . Strong problem is solved by additionally imposing . Leptonic phases vanish at the tree level in the minimal strong solving model, which is a testable prediction. Experimentally if leptonic phases are not found (they are found to be consistent with or ) it can be evidence for the type of models in this work where is spontaneously or softly broken and there is also a second hidden or softly broken symmetry such as , or . However leptonic violation can be present in closely related or some nonminimal versions of these models.
∎
e1email: raviaravinda@gmail.com
1 Introduction
Astronomical observations of galactic rotation curves Oort32 () and velocity distribution of galaxies in clusters Zwicky:1933gu (), smallness of anisotropies in the Cosmic Microwave Background radiation Jarosik:2010iu (), and in a striking manner the Bullet Cluster Clowe:2006eq (), have all provided significant evidence that there is 5 times more matter in the universe that interacts gravitationally than is visible. The dominant thinking is that dark matter is comprised of a new nonbaryonic particle, is electrically neutral and therefore almost transparent.
If dark matter is abundantly present it must be very stable. The standard approach to prevent it from decaying to normal matter is to introduce an unbroken symmetry whereby the dark matter particles are odd under while normal matter particles are even. This then implies that the lightest odd particle is stable.
However introducing only for the purpose of stability is unsatisfactory as it does not provide greater insight (see for example Hambye:2010zb ()). Moreover there is considerable arbitrariness in model building as there are many ways to introduce it. Therefore there is a need for a deeper approach to the problem of stability of dark matter.
In this work we first prove at a fundamental level that parity () can stabilize dark matter, though it is spontaneously broken. Illustrating this with leftright symmetric dark sector we show that that is usually invoked to stabilize dark matter emerges as an automatic symmetry. We find that if dark matter is stabilized by parity, then dark fermions and neutrinos must have Majorana masses and there is no conserved dark charge or lepton number. The seesaw mechanism on neutrinos maybe thus related to dark matter stability.
Since we require only to stabilize dark matter we do not depend on stability ideas that use gauge symmetries such as or that would restrict us to multiplets with specific quantum numbers assigned so that Rparity or matterparity are automatic symmetries PhysRevD.34.3457 (); Martin:1992mq (); 2010PhRvD81a5002K (). Our work is also distinct from models requiring additional symmetries along with to stabilize dark matter Guo:2008si () or that look at viability of explaining dark matter issues in the minimal leftright model itself without additional fields Nemevsek:2012cd ().
is well motivated not only on aesthetic grounds and because it is a discrete spacetime symmetry, but also as is well known requires that righthanded neutrinos must exist (and thus predicts that neutrinos have masses and mixing, as is now established by experiments). Moreover as was shown in Kuchimanchi:2010xs (), along with (equivalent to another discrete spacetime symmetry, timereversal due to theorem) solves the strong problem in leftright symmetric models with the addition of a vectorlike quark family. In Kuchimanchi:2012xb () it was noted that leptonic violating phases can vanish in models such as in Kuchimanchi:2010xs ().
In this work we show that even after inclusion of dark matter, leptonic phases vanish at tree level in the minimal strong solving model. We also find more generally that with an additional symmetry (such as or ) can solve the strong problem and predict the absence of leptonic phases. If leptonic violating phases are not detected at the sensitivity of experiments such as in Huber:2009cw (); Coloma:2012wq (); Bayes:2012at () that are being planned or underway, it will hint at being broken spontaneously (or softly) and there being a second hidden symmetry such as or as well in nature. It is interesting that a global analysis of neutrino data 2012PhRvD..86a3012F () finds possible hints for the Dirac leptonic phase to be close to the conserving value of , though the experimental margin of error is still very large.
The paper is organized as follows. In section 2 we provide a quantum mechanical argument to show that if there are relative nonreal intrinsic parity phases, can stabilize dark matter though it is spontaneously broken. In sections 3.1 and 3.2 we show in specific leftright symmetric models that a relative imaginary intrinsic parity phase cannot be rotated away by redefinitions of operator. We thus establish in a basis independent manner that can stabilize the dark sector and predict that neutrinos and dark neutral particles must have Majorana masses. We still need to show that in the dark sector stabilized by , the neutral particle is stable, and we do this in section 4 by studying different regions of parameter space. In section 5 we show that if the Lagranigain is invariant under both discrete spacetime symmetries and , we can simultaneously solve the strong problem, have stable dark matter and predict the absence of leptonic violation without requiring any other symmetry. We also show more generally that with an additional symmetry can predict the absence of leptonic phases.
2 Parity stabilizes dark matter
We first argue that Parity (P) can stabilize dark matter, even if it is spontaneously broken. Let be a good symmetry of the Lagrangian (such as in the leftright symmetric model) and there be Higgs fields and that transform under as . Note that indices and on scalar fields are just labels. is spontaneously broken (or hidden) when the neutral component picks a constant vacuum expectation value (VEV) such that . However applying twice it is easy to check that under , , and it follows that though is broken, remains unbroken by these VEVs. Note that we have used the fact that since is a good symmetry of the Lagrangian, so is .
Classically (space inversion followed by space inversion) returns a system to its original state. But Quantum Mechanically this needs to be true only up to a phase. That is there can exist states such that, since only is physically observable and not the eigenstate itself. Under different quantum fields can pick up different phases characterized by .
Note that is called intrinsic parity as it is the parity of underlying eigenstates PhysRev.88.101 (). Hence we use intrinsic parity squared for the eigenvalue .
Since is conserved, the lightest particle with intrinsic parity squared (we identify with dark matter) cannot decay into a final state with intrinsic parity squared . That is into a final state consisting of particles that all have intrinsic parity squared 1 (or normal matter). This ensures the stability of dark matter.
However if is redefined to remove all complex in that basis cannot explain dark matter stability, which must then be due to another symmetry. Since the redefined operator has to be a symmetry this restricts the possible redefinitions to , where unitary transformation is a multiplicative symmetry of the Lagrangian feinberg1959phase (); DeGraaf1969142 (). As we shall see in the next section if , dark matter fermions can have Majorana masses. Neutrinos with can also have Majorana masses. Due to presence of Majorana terms (couplings that give rise to Majorana masses), along with all the usual terms consistent with parity and gauge symmetry, there is not enough symmetry to remove the purely imaginary relative intrinsic parity phase by redefinitions. In this case, as shown in the next section in a basis indepedent manner, stabilizes dark matter.
On the other hand, for nonreal , Majorana terms are disallowed by for dark sector and can be made real through a redefinition of parity symmetry. In this case cannot stabilize dark matter.
3 LR Symmetry, Majorana mass and dark matter stability
We now consider the well known leftright symmetric group PhysRevD.10.275 (); PhysRevD.11.566 (); Senjanovic:1975rk () which is the most popular and economical way to restore parity as a good symmetry of the Lagrangian so that it can be spontaneously broken. We consider the usual Higgs content suitable for symmetry breaking, namely, Higgs fields (either doublet and its parity partner as in section 3.1, or triplet and its parity partner as in section 3.2), and the bidoublet .
The matter content consists of the usual 3 generations of quarks and leptons represented by and (with ) such that under , spacetime coordinates , the gauge bosons of and, (or ) and .
The above is the usual parity transformation commonly used in leftright symmetric models. By applying twice we note that all the above states are unchanged and therefore we have for all the usual particles.
We recall that in the LeftRight model the representation of particles is as follows:
(1) 
where as an example of the Lepton and Quark doublets we have shown the first generation Lepton doublets and .
(or ) breaks to the standard model. is also broken, but remains unbroken. cause the electroweak symmetry breaking and provides usual Dirac masses to fermions through Yukawa couplings such as
(2) 
(with ). As is well known in leftright models, Yukawa matrices (with matrix elements and ) involving the bidoublet are Hermitian due to parity. Also all terms in the Higgs potential consistent with parity, such as , and (with their Hermitian conjugates, and real due to ), are present if the corresponding Higgs field is present. This ensures that there are no additional symmetries in the model than what we will consider. This is important to note since if they are present, symmetries can be used to redefine the operator. The Higgs potential for minimal leftright symmetric model is given in Duka:1999uc () and we do not write all the terms here.
3.1 Singlet Majorana fermion
We include a Majorana fermion which is a singlet of the gauge group, and all the fermionic and Higgs fields in the model are as in Table 1. Since Majorana fermions are their own antiparticles, their intrinsic parity Weinberg:1995mt (). Under so that under , . Note that we have assigned to all other particles including to leptons.
Group  
3  3  1  1  1  1  1  1  
2  1  2  1  1  2  1  2  
1  2  1  2  1  1  2  2  
1/3  1/3  1  1  0  1  1  0 
The most general invariant mass and Yukawa term involving is just . Yukawa coupling terms such as (with ) can cause the decay of the Majorana fermion and are permitted by gauge invariance. However they are odd under and are thus absent due to parity, making the particle stable.
We allow Majorana type neutrino masses and leptonic mixing to arise from the parity symmetric nonrenormalizable Majorana term of form
(3) 
with , where for the ease of notation we have suppressed Pauli matrix and transposes. Due to this term there is no lepton number symmetry ( acting only on leptons) in the model using which the parity symmetry can be redefined to remove the relative imaginary intrinsic parity phase between the leptons and .
However the Lagrangian has the multiplicative symmetry feinberg1959phase (); DeGraaf1969142 () , which can be used to redefine P. Under , the intrinsic parities transform as , where is any angle. Note from Table 1 that and have the same charge, and their intrinsic parities will remain equal. The bidoublet and are singlets. Their intrinsic parity will be unchanged and remain real and purely imaginary respectively. Thus there will necessarily be a relative nonreal intrinsic parity phase either between and or between the leptons and , that cannot be removed by redefinition. Moreover using the redefined intrinsic parities it is easy to see that remains odd under , and therefore the stability of is established as being due to parity in a basis independent manner.
The only other multiplicative symmetry present is , since implies that the Lagrangian is invariant under . However redefining the parity operator to be does not help in removing complex phases or change the above conclusion.
Note that if we originally provided intrinsic parity instead of to the Leptons (so that ), it would have led to a different Lagrangian. That the two choices of intrinsic parity lead to different physics and therefore correspond to inequivalent Lagrangians is shown in A.
In this example, since the dark matter particles do not have any interactions with ordinary matter (other than gravitationally), they cannot be produced, but must be present in the universe as an initial condition. Dark matter abundance would then have to be understood anthropically – much more than what is observed will over close the universe, and too little may not help with galaxy formation.
It is possible to introduce nonrenormalizable terms that also involve , so that they couple to other particles. Such terms would once again have an even number of due to and therefore remains stable.
We now discuss the stability issue in the renormalizable leftright symmetric model with vectorlike doublet fermions.
3.2 Vectorlike doublet fermions with intrinsic parity i
We consider the more interesting minimal LeftRight model with triplet Higgses (see Table 2) that enable neutrino masses to be generated via renormalizable terms. Under we let as is usual in LeftRight symmetric models. Majorana masses are generated for the neutrinos due to the invariant term
(4) 
where as before the leptons have been assigned , which also determines the plus sign in brackets equation (4). We include a fermionic particle which is a doublet of . Due to parity, is automatically present. are added to cancel chiral anomalies. consists of a singly charged and neutral fermion just like the Lepton doublets and can be represented as and likewise for .
We assign the ‘particles’, and , with nonreal intrinsic parity so that under , and with and . The most general parity symmetric Yukawa and mass terms involving the particles are
(5) 
Group  
3  3  1  1  1  1  1  
2  1  2  1  3  1  2  
1  2  1  2  1  3  2  
1/3  1/3  1  1  2  2  0 
where as before under (i.e. ). implies that are all real for any choice of real or complex. This can be seen by comparing the relevant terms with the Hermitian conjugates and using .
Terms that could couple particles to the usual leptons are automatically absent due to parity. For example under terms containing an odd number of particles such as and are not invariant for . If was such a term would be present in the symmetric form .
Using the transformations it is easy to check that Majorana terms with nonzero are allowed in equation (5) if . The minus sign in the brackets for these terms is determined by invariance with , and is opposite of the plus sign in brackets of term for Leptons in equation (4) that was determined by .
Since Majorana terms are present both for Leptons and particles, the maximal multiplicative symmetry of the Lagrangian that involves either of these particles is . Using the charges in Table 2, and following the same method as in section 3.1, we can now show that the relation is invariant under parity redefinition . can at the most flip the sign of this ratio. As before, using the redefined intrinsic parities it is easy to check in a basis invariant way that terms with an odd number of Xparticles such as remain odd under .
We now consider the case where . In this case, invariance under implies that in equation (5) and the Majorana terms are absent for particles. This can be seen since under and cannot be present for . The Lagrangian now has a symmetry under which and for any . Redefining parity to be implies . With an appropriate choice for we can make real, and nonreal intrinsic parities are rotated away. In a basis with the redefined parity we would need to impose to explain dark matter stability, and therefore dark matter is not stable due to in this case.
Likewise if Majorana terms involving the Leptons are absent, there will be a Lepton number symmetry using which we can rotate the intrinsic parities of the Leptons so that they become the same as those of the particles.
Thus we predict that if dark matter is stable due to parity, there must be a relative purely imaginary intrinsic parity phase, and Majorana masses must exist both for neutrinos and for neutral particles (that we identify with dark matter particle ). This implies that the seesaw mechanism must be active, and that the dark charge and lepton number are not conserved. Experiments are currently underway to probe the nature of the neutrino and to try and establish whether they have Majorana masses. (See for example Ref. Hall:2013 (); giuliani2012neutrinoless ()).
In B we show that some Dirac terms must also be present in this model.
Since the particles are vectorlike, unlike neutrinos, all neutral particles can have a large mass. The mass scale in equation (5) is independent of the parity breaking scale set by and both these scales can be anywhere between the weak scale (or ) and the Planck scale. In the next section we use equation (5) to find the mass splitting between the charged and neutral particles and discuss the stability of the neutral dark sector particle.
4 Splitting of dark sector masses
As we will now see using equation (5), in the region of parameter space (where is the weak scale), the chargeneutral dark particle automatically has the smallest mass. In this region, ignoring the weak scale terms, the mass matrix of the chargeneutral component of the doublet particles ( and their charge conjugates) is block diagonal with blocks of the form Treating as a perturbation, the mass eigenvalues of the charge neutral particles are split and are if we assume that all the couplings are real. In case they are not all real, there may in general be a phase between the terms that cannot be removed and the splitting would then depend also on . In any case, except for a small region near , the charge neutral particles are split such that the smaller of the eigenvalues is lower than by . On the other hand the particles with electric charge ( and ) do not receive mass corrections from and are only split from due to weak scale corrections . Thus in the dark sector the charge neutral fermion is in fact the one with the lowest mass in a large region of parameter space with .
On the other hand if , with scale, the chargeneutral doublet particles with masses are much heavier than their doublet counterparts which will have mass only slightly split from . However the lower mass in this case will be of the charged fermions rather than the neutral ones. This is because the splitting for neutral components of doublet fermions ( and their charge conjugates) will have a seesaw like suppression and their masses will be . While the masses of the charged fermions (linear combinations of and ) are as they are obtained from the massmatrix
. To keep the calculation simple, we have assumed that the VEVs of that is, and are real. As we shall see in the next section and as shown in Kuchimanchi:2010xs (); Kuchimanchi:2012xb () if strong CP problem is solved by and symmetries without introducing an axion, these VEVs are indeed real.
Since the lightest particle in the dark sector is now charged it cannot serve as dark matter. However even in this case, the charge neutral fermions can form dark matter, if their decay to charged dark particles, for example via is kinematically prohibited. This can happen if the mass difference between and is less than the electron’s mass. In other words the Yukawa couplings of the particles must in this case be less than or at best of the order of the Yukawa term of the electron . Note that from now on we are using and to generically refer to linear combinations of particles with charge or respectively, that have the lowest mass for each charge.
Smallness of fermionic couplings does not cause a finetuning problem since setting them to zero restores a symmetry of the Lagrangian t1980naturalness (). For example if the Dirac type Yukawas terms Eq. (5) is invariant under and . The smallness of these Yukawas can be naturally understood as being due to the small breaking of this symmetry. Likewise setting to zero restores the symmetry and therefore can be naturally small. (Please also see B).
If is small enough to be within reach of LHC or future colliders, there is the exciting possibility that these charged stable dark particles maybe produced and detected.
As the universe cools below the massscale of the Xparticles, the slightly heavier (together with its antiparticle) which is kinematically stable would form the dark matter since the charged dark particles can attract one another and annihilate with their antiparticles through . and would have been produced in roughly equal amounts through thermal equilibrium processes.
If breaks to , with and the lowenergy physics will be captured by the standard model group with particle content and boundary conditions determined by . An interesting paper Arina:2011cu () that may be of relevance to our model, works out dark matter relic abundance using with dark vectorlike isodoublet fermions and includes Higgs triplets so that there are Majorana terms. Without changing its dark matter phenomenology, this model can be completed in the ultraviolet by our model (with ), so that is not arbitrarily imposed but is identified with . The masssplitting between the lightest neutral and charged dark matter particles in Ref. Arina:2011cu () is , making them both stable like in our model. That the charged dark particles are also stable was not explicitly noted in Arina:2011cu ().
We can avoid charged stable particles for the case by introducing a new scale , so that the splitting of one of the dark neutral particles is The lightest charged dark particle can naturally have a mass splitting , where is the quark mass. The neutral dark matter particle, since it is split by a greater amount, will now be the lightest and only stable one. Once again the hierarchy and smallness of can be naturally understood as being due to an approximate symmetry of Eq. (5) under which . A recent paper Arina:2012aj () extends the work of Arina:2011cu () by enriching its matter content with a singlet neutral vectorlike dark fermion (that can be obtained from our vectorlike doublet) and providing it Majorana mass of (corresponding to our ) to arrive at a similar result.
Thus there are existing dark matter models that capture the physics of our model when the scale of breaking is large. Further analysis of dark matter phenomenology in different regions of parameter space may be interesting and can be explored in future.
However the models we discussed must be extended since they suffer from the strong problem. A way to do this is to invoke PecceiQuinn symmetry PhysRevLett.38.1440 () resulting in the well known axion as a dark matter candidate. However we now have particles that can serve as dark sector. Moreover the strong phase () vanishes due to itself, if it is unbroken. This provides strong motivation to resolve the strong problem without an axion as shown in Kuchimanchi:2010xs () where itself (with ) ensures that is not generated at the tree level even after spontaneous (or soft) breaking of and . That dark matter stability and solution to the strong can be achieved by discrete spacetime symmetries and (or ) is interesting. Moreover there is an experimentally testable prediction in the minimal model where stabilizes dark matter and with solves the strong problem – the leptonic phases also vanish at the tree level.
5 Absence of strong and leptonic CP
In order to solve the strong problem we impose both and on the leftright symmetric Lagrangian and introduce a complete family of vectorlike quarks (with making a vectorlike doublet and making a vectorlike doublet) as in Kuchimanchi:2010xs (). Along with the particles (that can be thought of as being vectorlike and leptonlike), the fermionic and Higgs content of the model is as given in Table 3 .
Group  
3  3  1  1  1  1  1  
2  1  2  1  3  1  2  
1  2  1  2  1  3  2  
1/3  1/3  1  1  2  2  0 
Note that in this model since Majorana terms such as violate gauge invariance and are not permitted, the generation quarks cannot be made stable by parity. Since no other symmetries are imposed, they cannot belong in the dark sector but must couple to other quarks. As we shall see these couplings generate the CKM phase in the quark sector when is softly or spontaneously broken. However particles, with and Majorana masses belong in the dark sector, do not couple to leptons and therefore do not generate violation in the leptonic sector.
We now show this more concretely. Under . As in Kuchimanchi:2010xs () we impose and break it softly by dimension 3 terms, that are symmetric namely
(6) 
Comparing the above with the last two terms of equation (5) we see that unlike , couple to all the quark families with complex violating couplings . The mass of the vectorlike quarks can be any scale from just above the weak scale to the Planck scale, while the complex phases in the ratios generate the CKM phases in the light sector when the heavier vectorlike quarks decouple Kuchimanchi:2010xs (). Also, since the terms in (6) do not break there is no generated by them at the treelevel.
However we note that if the scalars and pick up complex VEVs they can induce leptonic CP violation. But any complex VEVs would break both and and give rise to . Hence resolution of the strong problem and absence of leptonic phases are both linked to all Higgs VEVs being real.
Though is broken softly by dimension 3 terms in (6), the only possible breaking term in the scalar potential with Higgs content of Table 3 is However is real due to and therefore does not break . Since all terms in the Higgs potential are real, the VEVs can be naturally real thus solving the strong problem and predicting the absence of leptonic violation Kuchimanchi:2010xs (); Kuchimanchi:2012xb ()…that is the absence of treelevel Dirac neutrino phase and Majorana phases in the PontecorvoMakiNakagawaSakata (PMNS) matrix. The electron electric dipole moment (EDM) will also be unobservably small.
Another distinguishing feature of our model is that it can generate an observable neutron EDM (or equivalently ) in large regions of parameter space. In section 4 we saw that the charge neutral particle would be automatically stable if . In a similar region of parameter space in the quark sector, that is for , as shown in Kuchimanchi:2010xs (); Kuchimanchi:2012xb (), the strong phase generated radiatively due to the up sector quarks is
(7) 
where are the up and down Hermitian Yukawa matrices which are (owing to the presence of the 4th vectorlike family). The above equation holds in the physical basis where the light down sector is diagonal (see Kuchimanchi:2010xs ()).
An important thing to note in the above equation is the suppression factor . Due to this, even if the Yukawa couplings involving the family are large like the third generation, can be within its experimental bounds. For example if the (a scale hinted at, though not required by the observed neutrino masssquared splittings), and then using equation (7) we can see that radiative corrections generate to if . This is not only within the present bounds but also could be detected in the ongoing and future neutron EDM experiments and is therefore exciting. This relevant example evaluating in the region , with well motivated massscales and large fourth generation Yukawas was not provided in Kuchimanchi:2010xs (); Kuchimanchi:2012xb ().
For the other case , as shown in Kuchimanchi:2010xs (); Kuchimanchi:2012xb (), the suppression factor in Eq. (7) is replaced by the logarithmic factor . In this case so that , the Yukawa terms involving the fourth generation must be smaller than or at best equal to the first generation Yukawas. Moreover, an observable neutron EDM with is expected to be generated Kuchimanchi:2012xb (). This is interesting because the particle Yukawas with the scalar bidoublet had to be similarly small so as to kinematically stabilize the chargeneutral fermion in a similar region .
Before we proceed to nonminimal models, we note that while there is no leptonic CP violation in the minimal strong CP solving model, in Eq. (5) can be complex and the dark sector can contain a soft violating phase.
5.1 Nonminimal models
If we introduce an additional vectorlike lepton doublet family () and provide it a real intrinsic parity , then it will couple to the usual families through an equation analogous to Eq. (6) with and . It is easy to see that phases will be generated in the leptonic sector in this case, in a manner similar to that of the quark sector. This is essentially an extension in the fermionic sector that goes beyond what is minimally needed for dark matter and it gives rise to leptonic violation.
However even in this case the electron EDM does not get generated if there is no new physics (other than possible dark matter physics) at low enough energy scale. To see this, note that the neutron EDM gets generated in the quark sector through given by Eq. (7) (with or without the suppression in the square brackets). Whether the factor in the square brackets is there or not, this equation is independent of the weak scale (), and in particular is not suppressed by factors such as or .
However there is no analogous term in the leptonic sector to generate an electron EDM. Thus when new physics is high enough that it decouples, the electron EDM would not receive any additional contribution beyond the small unobservable amount expected in the standard model.
Thus with an additional vectorlike leptonic family with intrinsic parity , phases are expected to be present in the PMNS matrix but the electron EDM may still not be generated. The presence of a measurable neutron EDM and an absence of electron EDM is not only consistent with our model but is also expected in a large region of parameter space, and considering the fact that no new physics beond the standard model has so far been discovered by the Large Hadron Collider (LHC).
On the other hand adding more Higgs fields beyond those in the minimal model, does not introduce leptonic violation even in the PMNS matrix. For example, a singlet scalar Kuchimanchi:2010xs () or a second Higgs bidoublet Kuchimanchi:2012xb () can be added to break spontaneously instead of softly. However their VEVs do not generate the strong phase, and due to the same reason do not also generate leptonic CP violation. Adding particles as dark matter as we have done in this work, does not change this result as they do not couple to leptons.
5.2 Prevailing view on leptonic CP violation
If violation is hard in nature as it is in the standard model (through dimension 4 Yukawa couplings), then all violating phases including all the leptonic phases are expected to be present at the tree level, since they would be generated during renormalization. However the prevailing view in the field seems to be more biased than this – that whether violation is hard or not, it is expected that leptonic phases are present.
For example a recent review by Branco et al RevModPhys.84.515 () states:
“From a theoretical point of view, the complex phase in the CKM matrix may arise from complex Yukawa couplings and/or from a relative violating phase in the vacuum expectation values (VEV) of Higgs fields. In either case, one expects an entirely analogous mechanism to arise in the lepton sector, leading to leptonic violation (LCPV)."
We have italicized some words for emphasis.
Our prediction of absence of treelevel leptonic violation in the minimal and some nonminimal models with and that we discussed thus differs from the prevalent view. For completeness we now consider more general ways of making this prediction using and an additional symmetry.
5.3 Other symmetries
In lieu of we now use other symmetries with and get vanishing leptonic violation by making slight changes to existing models:

A way to solve the strong problem using the NelsonBarr mechanism Nelson:1983zb (); PhysRevLett.53.329 (), and have neutrino mixing, is the model by Branco et al. Branco:2003rt () where a vectorlike isosinglet down quark (), 3 right handed neutrinos and a Higgs singlet have been added to the usual standard model. and are imposed in Branco:2003rt () so that under , and , where the subscript are the usual 3 generations. All other fields such as the usual lefthanded quark doublets and righthanded singlets are invariant.
When picks a complex violating VEV then owing to its Yukawa coupling with the usual 3 righthanded isosinglet quarks , complex phases enter the quark mass matrix and the phase is generated. However and also have invariant Majorana type Yukawa couplings with the right handed neutrinos such as that induce leptonic violation. Thus Branco et al find a common origin for the leptonic and quark sector phases.
However we note that if we change the transformation properties to make all leptons invariant under , then would not couple to the leptons and there is no violation generated in the leptonic sector, while the quark sector remains unaffected. The neutrino mixing happens as terms such as are now permitted. and all leptonic Yukawa couplings are real due to and there is an absence of leptonic violation. Fermions () can be added and if under they do not couple to leptons and can serve as stable dark matter.
In case of that we considered earlier the matter content of the minimal model unambiguously predicted the absence of leptonic violation. However for the minimal matter content with (or if dark matter is not introduced), leptonic violation is present or absent depending on how (or ) is imposed.

We also consider the simple extension of the standard model (plus 3 right handed neutrinos) with two Higgs doublets and , and where we do not solve the strong problem.
is introduced so that under it, and . Thus and are odd and even respectively. Moreover one generation of quarks, say the first generation are odd while the remaining two quark generations and all the leptons are even. The usual symmetry is imposed so that all parameters of the model are real, except that we allow soft breaking of and by dimension two Higgs potential terms , with complex.
The VEV of neutral component of is taken to be real without loss of generality. The neutral component of picks up a complex CP violating VEV.
Both and have Yukawa couplings with the quarks that are and invariant. The Yukawa coupling parameters are real due to . For example terms involving such as , and that couple the first generation to the and quarks (as well as to and ) are present. While the quark Yukawa couplings involving , such as , (with for respectively), are also invariant and present.
However since all the leptons are even, only has Yukawa couplings with the Leptons. There are no Yukawa terms involving and the Leptons. Moreover due to presence of righthanded neutrinos, Dirac and Majorana terms are present for the neutrinos, and generate all the leptonic mixing angles. These terms are all real due to .
Since leptons do not couple to , this model will therefore once again lead to an absence of leptonic violation. But since both and have Yukawa couplings with the quarks and picks up a violating VEV, the Jarlskog invariant is nonzero for the quarks, as can be checked. However while several models with 2 Higgs doublets have been considered (for a review please see Branco:2011iw ()), ones that lead to an absence of leptonic violation while generating the needed CKM Matrix and allowing all the neutrino mixing angles seem not to be studied so far.
6 Conclusion
We showed that parity and quantum nature of the laws governing the universe may be at the heart of dark matter stability. Dark matter can be matter with a relative purely imaginary intrinsic parity phase that cannot be removed through field or parity symmetry redefinitions. If Majorana terms are not present either for leptons or dark sector, there is enough symmetry to redefine and remove the relative purely imaginary intrinsic parity phase. We thus predict that neutrinos and neutral dark matter fermions must have Majorana masses if dark matter is stable due to parity. Further with solves the strong Problem and predicts the vanishing of treelevel leptonic phases (in the minimal model). If leptonic phases in the PMNS matrix are not experimentally detected or are very small it would be consistent with being spontaneously or softly broken and there also being an additional hidden or softly broken symmetry in nature such as , or .
Basically if the Lagrangian of nature has symmetry then it must be violated softly and/or spontaneously to produce the CKM violating phase. If nature also has a second symmetry such as , , or (or a flavour symmetry) then this can ensure that while CKM phase is generated the strong phase and leptonic phases do not also get generated at the tree level. The same symmetry (for example ) that protects the strong phase from getting generated can also protect the leptonic phases from being generated. The same symmetry can also stabilize dark matter.
Moreover if leptonic CP violation is not detected, it would be a set back for axionic solutions, since the smallness of leptonic phases would also have to be explained, not just the strong CP phase.
Since leptonic violation can be generated radiatively, allowing at least a oneloop suppression, a conservative upper bound is that the induced leptonic phases in the PMNS matrix are less than from the conserving values of or . In fact they will be much lesser as there will also be suppression of radiative corrections due to the increasing scale of new physics. Currently experiments are being planned or underway Huber:2009cw (); Coloma:2012wq (); Bayes:2012at () to achieve a sensitivity of about .
We also find that leptonic phases can be present in the PMNS matrix in closely related or some nonminimal versions of these models, as or can then be imposed so that only the strong CP phase is protected from being generated at the tree level. However even in nonminimal cases, in the axionless strong CP solving model that uses and symmetries, the electric dipole moment of the electron will be immeasurably small if the scale of new physics is sufficiently high, while the neutron EDM can be generated at detectable levels due to radiative corrections to the strong phase .
Appendix A Inequivalent Lagrangians
For the case discussed in subsection 3.1 where the singlet Majorana fermion is given an intrinsic parity , we can provide either or to the Leptons, so that under . Depending on the sign of this will lead to two inequivalent Lagrangians that conserve parity. The two Lagrangians will differ in the Majorana terms of the Leptons which for will be as in Eq. (3) and for will be given by
(8) 
Note that all the scalar fields have been assigned intrinsic parity 1. There may be a doubt if the difference in the sign occurring in the brackets of Eq. (3) and Eq. (8) will matter when physical quantities are calculated. We now show that the two Lagrangians are physically inequivalent by examining the mass spectrum of the neutrinos for both cases, after the neutral components of the fields and pick up VEVS and , and picks up VEVs diag (so that the weak scale ).
To simplify the calculation we consider a toy model of conserving Lagrangians with all real parameters, that can naturally have VEVs that are also all real. Using and invariance without loss of generality, we can now set and to be positive. Making a further simplifying assumption that the Lepton generations do not mix, the mass matrices of the generation of neutrinos now has the well known seesaw form for (due to Eq. (3)), where are real and are real and positive. The Dirac mass term are real and can be obtained in terms of the real Yukawas of Eq. (2) and real VEVs .
The two seesaw matrices will have different eigenvalue spectra and therefore they describe different physics. With a little work we can see that for the generation, the difference in the squares of mass eigenvalues of the heavy and light neutrinos is not exactly the same for the two cases. Flipping the sign of or in either of the matrices does not change the situation.
For the case where and , parity stabilizes dark matter. On the other hand if a symmetry would have to be imposed to keep stable.
A similar result can be obtained for the model in subsection 3.2 by calculating the mass spectrum of both the neutral particles and neutrinos for Lagrangians obtained using and .
Appendix B Dirac terms and stability due to P
If symmetry under and is exactly imposed so that Dirac type Yukawa couplings in Eq. (5), it is easy to see that that the purely imaginary intrinsic parity phase can be defined away and does not stabilize dark matter. This is because a field redefinition and can now change the relative minus to a plus sign in the brackets of the terms corresponding to as well as (with ) in Eq. (5), making them similar to the plus sign in the Majorana term of the Leptons in Eq. (4). All other terms remain unchanged. The plus sign in these brackets implies that the intrinsic parities of both the Leptons and particles are and there is no relative imaginary intrinsic parity phase. Thus some Dirac type Yukawa terms must be present in Eq. (5) if stabilizes dark matter, causing the charged fermion masses to necessarily split in section 4.
References
 (1) J. Oort, Bulletin of the Astronomical Institutes of the Netherlands 4, 249 (1932).
 (2) F. Zwicky, Helv. Phys. Acta 6, 110–127 (1933).
 (3) N. Jarosik, C. Bennett, J. Dunkley, B. Gold, M. Greason, et al., Astrophys. J. Suppl. 192,14 (2011) [arXiv:1001.4744].
 (4) D. Clowe, M. Bradac, A. H. Gonzalez, M. Markevitch, S. W. Randall, et al., Astrophys. J. 648, L109–L113 (2006) [astroph/0608407].
 (5) T. Hambye, PoS IDM 2010, 098 (2011) [arXiv:1012.4587].
 (6) R. N. Mohapatra, Phys. Rev. D 34, 3457–3461 (1986) .
 (7) S. P. Martin, Phys. Rev. D 46, 2769–2772 (1992) [hepph/9207218].
 (8) M. Kadastik, K. Kannike, and M. Raidal, Phys. Rev. D 81, 015002 (2010) [arXiv:0903.2475].
 (9) W.L. Guo, L.M. Wang, Y.L. Wu, Y.F. Zhou, and C. Zhuang, Phys. Rev. D 79, 055015 (2009) [arXiv:0811.2556].
 (10) M. Nemevsek, G. Senjanovic, and Y. Zhang, JCAP 1207, 006 (2012) [arXiv:1205.0844].
 (11) R. Kuchimanchi, Phys. Rev. D 82, 116008 (2010) [arXiv:1009.5961].
 (12) R. Kuchimanchi, Phys. Rev. D 86, 036002 (2012) [arXiv:1203.2772].
 (13) P. Huber, M. Lindner, T. Schwetz, and W. Winter, J. High Energy Phys. 0911, 044 (2009) [arXiv:0907.1896].
 (14) P. Coloma, A. Donini, E. FernandezMartinez, and P. Hernandez, J. High Energy Phys. 1206, 073 (2012) [arXiv:1203.5651].
 (15) R. Bayes, A. Laing, F. Soler, A. C. Villanueva, J. G. Cadenas, et al., arXiv:1208.2735.
 (16) G. L. Fogli, E. Lisi, A. Marrone, D. Montanino, A. Palazzo, and A. M. Rotunno Phys. Rev. D 86, 013012 (2012) [arXiv:1205.5254].
 (17) G. C. Wick, A. S. Wightman, and E. P. Wigner, Phys. Rev. 88, 101–105 (1952).
 (18) G. Feinberg and S. Weinberg, Il Nuovo Cimento Series 10 14 no. 3, 571–592 (1959).
 (19) T. D. Graaf and H. Tolhoek, Physica 43 no. 1, 142 – 164 (1969).
 (20) J. C. Pati and A. Salam, Phys. Rev. D 10, 275–289 (1974).
 (21) R. N. Mohapatra and J. C. Pati, Phys. Rev. D 11, 566–571 (1975).
 (22) G. Senjanovic and R. N. Mohapatra, Phys. Rev. D 12, 1502 (1975).
 (23) P. Duka, J. Gluza, and M. Zralek, Annals Phys. 280, 336–408 (2000) [hepph/9910279].
 (24) S. Weinberg, The Quantum theory of fields. Vol. 1: Foundations, Cambridge University Press (1995).
 (25) C. Hall, XXVI International Symposium on Lepton Photon Interactions at High Energies (San Francisco, 27 June 2013), [URL].
 (26) A. Giuliani and A. Poves, Advances in High Energy Physics 2012 (2012) doi: 10.1155/2012/857016.
 (27) G. ’t Hooft, Naturalness, chiral symmetry, and spontaneous chiral symmetry breaking, Tech. Rep., PRE23635 (1980) [URL].
 (28) C. Arina and N. Sahu, Nucl. Phys. B 854, 666–699 (2012) [arXiv:1108.3967].
 (29) C. Arina, R. N. Mohapatra, and N. Sahu, Phys. Lett. B 720, 130–136 (2013) [arXiv:1211.0435].
 (30) R. D. Peccei and H. R. Quinn, Phys. Rev. Lett. 38, 1440–1443 (1977).
 (31) G. C. Branco, R. González Felipe, and F. R. Joaquim, Rev. Mod. Phys. 84, 515–565 (2012).
 (32) A. Nelson, Phys. Lett. B 136, 387–391 (1984).
 (33) S. M. Barr, Phys. Rev. Lett. 53, 329–332 (1984).
 (34) G. Branco, P. Parada, and M. Rebelo, hepph/0307119.
 (35) G. Branco, P. Ferreira, L. Lavoura, M. Rebelo, M. Sher, et al., Phys. Rept. 516, 1–102 (2012).