CP asymmetry in heavy Majorana neutrino decays at finite temperature: the nearly degenerate case

In a model where Majorana neutrinos heavier than the electroweak scale couple to Standard Model Higgs bosons and leptons, we compute systematically thermal corrections to the direct and indirect CP asymmetries in the Majorana neutrino decays. These are key ingredients entering the equations that describe the thermodynamic evolution of the induced lepton-number asymmetry eventually leading to the baryon asymmetry in the universe. We compute the thermal corrections in an effective field theory framework that assumes the temperature smaller than the masses of the Majorana neutrinos and larger than the electroweak scale, and we provide the leading corrections in an expansion of the temperature over the mass. In this work, we consider the case of two Majorana neutrinos with nearly degenerate masses.


Introduction
Observations suggest that the number of baryons in the universe is different from the number of anti-baryons. The almost total absence of antimatter on Earth, in our solar system and in cosmic rays indicates that the universe is baryonically asymmetric. Indeed there are observables to make this statement more quantitative. The baryon asymmetry in the universe may be expressed in terms of the baryon to photon ratio cosmic microwave background [1]. Consistent results come from the comparison between the abundances of the light elements (D, 3 He, 4 He and 7 Li), with the predictions of big bang nucleosynthesis [2]. Such baryon asymmetry could be set as an initial condition for the universe evolution. However, it would require a high fine tuning and the initial baryon asymmetry would be washed out during the inflationary period. This is why the scenario of a dynamically generated baryon asymmetry is more appealing.
The dynamical generation of a baryon asymmetry in the context of quantum field theory is called baryogenesis. One of the most attractive and field theoretically consistent frameworks for baryogenesis is via leptogenesis [3]. In the original formulation, leptogenesis requires a modest extension of the Standard Model (SM), namely, the addition of righthanded neutrinos with large Majorana masses, far above the electroweak scale M W . The right-handed (sterile) neutrinos are singlets under the SM gauge groups, whereas they are minimally coupled to the SM particles via complex Yukawa couplings. These provide an additional source of CP violation with respect to the one already present in the quark sector of the SM. In the standard picture, the heavy neutrinos are produced by thermal scatterings in the early universe and then decay out of equilibrium either in SM leptons or anti-leptons in different amounts due to the CP violating phases. Such an asymmetry in the lepton sector is then partially reprocessed in a baryon asymmetry by sphaleron transitions in the SM [4].
Majorana neutrino decays happen in a hot medium, namely the universe in its early stages. Interactions with the medium modify the neutrino dynamics (thermal production rate, mass, . . . ) and affect the thermodynamic evolution of the lepton asymmetry. The thermal production rate of right-handed neutrinos has been studied in [5] in the relativistic and ultra-relativistic regimes. The non-relativistic regime also turns out to be interesting for leptogenesis since it is conceivable that the CP asymmetry is effectively generated when the temperature of the plasma drops below the heavy-neutrino mass. In this regime the thermal production rate for heavy Majorana neutrinos has been addressed in [6,7].
In [8] we used an effective field theory (EFT) to describe the effective interactions between non-relativistic Majorana neutrinos and SM particles at a finite temperature T , assuming the following hierarchy of scales where M is the mass scale of the Majorana neutrinos. In the temperature window (1.2) and in an expanding universe the heavy neutrino is likely out of equilibrium, which is one of the Sakharov conditions necessary for generating a lepton asymmetry [9]. In this paper, we study, in the same framework and under the same assumption, the thermal corrections to the CP asymmetry in the leptonic decays of heavy neutrinos, which is defined as f Γ(ν R,I → ℓ f + X) + Γ(ν R,I →l f + X) . (1. 3) The sum runs over the SM lepton flavours, ν R,I stands for the I-th heavy right-handed neutrino species, ℓ f is a SM lepton with flavour f and X stands for any other SM particle not carrying a lepton number. Another Sakharov condition necessary for baryogenesis is JHEP03(2016)191 Figure 1. From left to right: tree-level, and one-loop self-energy and vertex diagrams. Double solid lines stand for heavy right-handed neutrino propagators, solid lines for lepton propagators and dashed lines for Higgs boson propagators. The neutrino propagator with forward arrow corresponds to 0|T (ψψ)|0 , whereas the neutrino propagators with forward-backward arrows correspond to 0|T (ψψ)|0 or 0|T (ψψ)|0 , see appendix A.
the occurrence of C and CP violating processes. The quantity ǫ I is a measure of the CP asymmetry generated by the decay of the I-th heavy neutrino, and we will refer to it in this way. Moreover, ǫ I multiplied by the corresponding neutrino number density enters the Boltzmann equations describing the thermodynamic evolution of the lepton-number asymmetry [10,11]. The quantity ǫ I is also called unflavoured CP asymmetry because it does not distinguish between the different lepton flavour families. If the sum over the flavours is omitted in the numerator of (1.3), then this defines what is called the flavoured CP asymmetry. We will discuss relevance of and compute the flavoured CP asymmetry in section 7.
The CP asymmetry is originated from the interference between the tree-level and the one-loop self-energy and vertex diagrams shown in figure 1. The contribution from the interference with the self-energy diagram is often called indirect contribution, while the one from the interference with the vertex diagram is called direct contribution. The relative importance of the indirect and direct contributions for the CP asymmetry depends on the heavy-neutrino mass spectrum. For example, the vertex contribution is half of the self-energy contribution in the hierarchical case, when the mass of one species of neutrinos is much lighter than the others [12,13]. The situation is different when two heavy neutrinos are nearly degenerate in mass. In this case, the self-energy diagram can develop a resonant enhancement that is related to a mixing phenomenon similar to the one found in kaon physics, as originally proposed in [14]. An analysis from first principles has been carried out in [15][16][17]. The main phenomenological outcome is that the scale of the heavy righthanded neutrino masses can be lowered down to energy scales of O(TeV) [18]. However, also the nearly degenerate case may comprise situations in which both the vertex and selfenergy diagrams contribute to the CP asymmetry with a similar magnitude [19], namely when the peculiar condition for resonant leptogenesis is not met.
A thermal treatment of the lepton-number asymmetry in the resonant case, i.e., when the mass difference of the heavy neutrinos is of the order of magnitude of their decay widths, can be found for instance in [16], where the Boltzmann equations are superseded by the quantum version known as Kadanoff-Baym equations. The lepton-number asymmetry has been also considered for a generic heavy-neutrino mass spectrum, e.g., in [20][21][22][23][24] within different approaches. The thermal effects considered include using thermal masses for the

JHEP03(2016)191
Higgs boson and leptons and taking into account thermal distributions for the Higgs boson and leptons as decay products of the heavy Majorana neutrinos.
In this work, we aim at treating systematically thermal effects to the CP asymmetry (1.3) in the non-relativistic regime specified by (1.2). These effects lead to corrections in terms of series in the SM couplings and in T /M in the same way as they do for the heavy Majorana neutrino production rate [6,7]. We will derive such thermal corrections for the case of two Majorana neutrinos with nearly degenerate masses, i.e., we will assume a mass splitting much smaller than M . We will not specify, however, the relation between the mass splitting and the widths. Hence our treatment includes, but is not limited to, the case when the mass splitting is of the order of the widths. The CP asymmetry is proportional to the imaginary parts of the Majorana neutrino Yukawa couplings. We note that in the exact degenerate case the CP phases can be rotated away leading to purely real Yukawa couplings, and, therefore, to a vanishing CP asymmetry [15]. We will discuss the hierarchical case elsewhere [25].
Systems with two nearly degenerate heavy Majorana neutrinos are characterized by one large scale: M . They may be treated in the non-relativistic EFT framework introduced in [8]. There are some advantages in such an approach. First, the power counting of the EFT allows to assess a priori the size of the different corrections to the CP asymmetry optimizing the calculation. Moreover, the calculation, which would involve three-loop diagrams in a relativistic thermal field theory, can be split into a simpler two-step evaluation. Similarly to what is done in [8] for the thermal production rate, the first step consists, by power counting, in the evaluation of the imaginary parts of the Wilson coefficients of some dimension five operators in the EFT. The Wilson coefficients encode the physics from the mass scale, M . Since M ≫ T , they may be computed setting the temperature to zero. In our case, this step consists in computing electroweak two-loop cut diagrams in vacuum. The second step requires the computation of a simple thermal one-loop diagram in the EFT. The disadvantage of the approach consists in being limited to temperatures for which (1.2) holds.
The paper is organized as follows. In section 2 and appendix A we review the basic set-up of the EFT for non-relativistic Majorana neutrinos. In section 3 we re-derive the zero temperature direct CP asymmetry from the vertex diagram and relate it to the EFT. In section 4 we match the relevant dimension-five operators of the EFT at two loops. The detailed calculation can be found in appendix B. The leading thermal corrections to the direct CP asymmetry are computed in section 5 and the leading thermal corrections to the indirect CP asymmetry in section 6. In section 7, we extend our study to the flavoured CP asymmetry, some of whose contributions are evaluated at the end of appendix B. We discuss general issues related to the convergence of the relativistic expansion in appendix C. Finally, conclusions are drawn in section 8.

EFT for non-relativistic Majorana neutrinos
We start by specifying our model of new physics. We work within a conservative extension of the SM that consists in adding right-handed neutrinos to the SM particle content. To generate a non-vanishing CP asymmetry (1.3) at least two different neutrino species have JHEP03(2016)191 to be added. In the following, we will consider only two heavy neutrinos and assume that they have masses above the electroweak scale. In the case that right-handed neutrinos are represented by Majorana fermion fields, the Lagrangian may be written as follows [3] (we adopt some of the notation of [26]): where ψ I = ν R,I + ν c R,I is the Majorana field comprising the right-handed neutrino ν R,I of type I (I = 1, 2) and mass M I ; L SM is the SM Lagrangian with unbroken SU(2) L ×U(1) Y gauge symmetry (see (B.1)),φ = iσ 2 φ * embeds the SM Higgs doublet, L f is the SM lepton doublet of flavour f , F f I is a complex Yukawa coupling, and the right-handed and left-handed projectors are denoted by P R = (1 + γ 5 )/2 and P L = (1 − γ 5 )/2 respectively. We consider the nearly degenerate case where M 2 − M 1 ≪ M 1 ∼ M 2 . We call neutrino of type 2 the heaviest of the two neutrinos, and, for further use, we define 0 < ∆ ≡ M 2 − M 1 and M ≡ M 1 .
We will compute the thermal modification induced to the CP asymmetry of the Majorana neutrino decays by a plasma of SM particles at a temperature T under the conditions M ≫ T ≫ M W and M ≫ ∆. We exploit the hierarchy M ≫ T by performing the calculation in two steps. First we integrate out momentum and energy modes of order M from the fundamental Lagrangian (2.1) and replace it by a suitable effective field theory aimed at describing the non-relativistic dynamics of the Majorana neutrinos. The EFT is organized as an expansion in operators of increasing dimension suppressed by powers of 1/M . The Wilson coefficients of the operators encode the high-energy modes of the fundamental theory and can be evaluated by setting T = 0. Then we compute thermal corrections to the Majorana neutrino leptonic widths as thermal averages weighted by the partition function of the EFT. The EFT for non-relativistic Majorana neutrinos was introduced and discussed in the case of one right-handed neutrino generation in [8]. The framework here is very similar, the only difference being that we deal with two generations of neutrinos instead of one. The EFT Lagrangian up to operators of dimension five is 2) where N I is the field describing the low-energy modes of the I-th non-relativistic Majorana neutrino, δM 1 = 0, δM 2 = ∆, Γ T =0 IJ is the decay matrix at T = 0 and a IJ are the Wilson coefficients of the dimension-five operatorsN I N J φ † φ describing the interaction of the Majorana neutrinos with the Higgs doublet of the SM. These are the only operators of dimension five that give thermal corrections to the neutrino widths and masses. The dots in (2.2) stand for higher-order operators that contribute with subleading corrections and that are beyond the accuracy of this work. In particular, thermal corrections induced by gauge bosons, leptons and (heavy) quarks turn out to be subleading. 1 The natural dynamical

JHEP03(2016)191
scale of the EFT Lagrangian is the temperature, T . Since T is larger than the electroweak scale, L SM is still the SM Lagrangian with unbroken SU(2) L ×U(1) Y gauge symmetry.
The Lagrangian (2.2) has been obtained by integrating out the mass M = M 1 from the Lagrangian (2.1); δM 2 = ∆ ≪ M is the residual mass of the neutrino of type 2. In (2.2) and in the rest of the paper, masses are understood as on-shell masses, as it is typical of nonrelativistic EFTs, which implies that off-diagonal elements of the mass matrix vanish; moreover, in the diagonal terms we will neglect terms that would contribute to the CP asymmetry at order F 6 or smaller [27,28]. Off-diagonal elements do not vanish for the absorbtive parts iΓ T =0 IJ /2. The specification T = 0 recalls that they are computed at T = 0. Finally, the Lagrangian (2.2) has been written in a reference frame where the Majorana neutrinos have momentum M v µ (v 2 = 1) up to a residual momentum that is much smaller than M . In the following, we will assume that the thermal bath of SM particles is comoving with the Majorana neutrinos. A convenient choice of the reference frame is the rest frame v µ = (1, 0).
In the introduction, we have distinguished between indirect and direct CP asymmetry, the distinction being based on the leading-order processes shown in figure 1. In this paper, we extend that distinction beyond leading order by calling contributions to the indirect CP asymmetry, ∆Γ I,indirect , those that show the phenomenon of resonant enhancement, i.e., a large enhancement of the asymmetry when ∆ is of the order of the largest between the neutrino width difference and the mixing vertices. In the framework of a strict perturbative expansion in the Yukawa couplings, such a behaviour is induced by Feynman diagrams (like the second of figure 1) becoming singular in the limit ∆ → 0, which signals a break down of the expansion in that limit. The singularity is eventually removed by resumming certain classes of diagrams, like those responsible for the width and/or the mixing of the different neutrinos. Viceversa, we call contributions to the direct CP asymmetry, ∆Γ I,direct , those that do not exhibit this phenomenon. Order by order in an expansion in the Yukawa couplings, Feynman diagrams that contribute to the direct CP asymmetry are not singular in the limit ∆ → 0. The CP asymmetry is the sum of these two kind of contributions: The term ∆Γ I,direct includes all contributions to the CP asymmetry that originate from single operators in the EFT and all contributions that come from mixing of operators in the EFT that do not show the phenomenon of resonant enhancement. Concerning the first class of contributions, at the accuracy of the Lagrangian (2.2) there are only dimension 3 and 5 operators that may have imaginary Wilson coefficients. Concerning the second class of contributions, we will denote them ∆Γ mixing I,direct . At the order we are working, the only relevant contribution of this kind affects the heavier Majorana neutrino of type 2 and will be computed in section 5.2. Hence, ∆Γ I,direct reads

II
, is the zero temperature contribution to the direct CP asymmetry, which we will compute in section 3. The second term, Γ ℓ,T II,direct − Γl ,T II,direct , isolates the dominant thermal correction to the direct CP asymmetry, which will be the main subject of the paper.
In equation (2.5) the thermal dependence is encoded in the Higgs thermal condensate φ † (0)φ(0) T , which at leading order reads The relative size of the thermal correction to the direct CP asymmetry is therefore T 2 /M 2 . High-energy contributions induced by loops with momenta of the order of the neutrino mass are encoded in the Wilson coefficients a ℓ II and al II . Since the condensate is real, to compute the widths we need the imaginary parts of a ℓ II and al II . Their expressions, at order F 2 in the Yukawa couplings, can be easily inferred from [8] (see also appendix B.1) and the result reads Im a ℓ II = Im al II = −

16π
|F The coupling λ is the four-Higgs coupling. We have defined |F I | 2 ≡ f F f I F * f I and, for further use, F J F * I ≡ f F f J F * f I . A necessary condition to produce a CP asymmetry, i.e., to get a non-vanishing difference from a final state with a lepton and one with an anti-lepton, is for Im a ℓ II and Im al II to be sensitive to the phases of the Yukawa couplings F f I . At order F 2 , Im a ℓ II and Im al II are not. Hence, to produce a non-vanishing direct CP asymmetry, one needs to compute at least corrections of order F 4 . In fact, corrections proportional to (F 1 F * 2 ) 2 are sensitive to the phases of the Yukawa couplings. From the optical theorem the imaginary part of a two-loop diagram proportional to (F 1 F * 2 ) 2 may be understood as the interference between a tree-level and a one-loop amplitude developing an imaginary part.
In section 4 and appendix B, we will evaluate the diagrams contributing to Im a ℓ II and Im al II at order F 4 in the Yukawa couplings and up to first order in the SM couplings. This will be done by computing in the fundamental theory (2.1), at T = 0, two-loop amplitudes with two external Majorana neutrinos and two external Higgs particles and by matching them to the corresponding a 11 and a 22 vertices in the EFT. Out of all diagrams, we will select only those sensible to a CP phase, i.e., those involving the interference of Majorana neutrinos of type 1 with Majorana neutrinos of type 2. We will compute the imaginary parts of those diagrams. It will be convenient to use cutting rules, since cuts through lepton propagators select neutrino decays into leptons, whereas cuts through anti-lepton propagators select decays into anti-leptons. We restrict to cuts that separate the diagrams into a tree-level part and a one-loop part. As we will see in the next section, in order to contribute to the CP asymmetry the remaining one-loop part has to produce a complex phase. Therefore the only diagrams that contribute are the ones whose one-loop part can, in turn, be cut into two tree-level diagrams.
The term ∆Γ I,indirect in (2.3) contains all contributions that exhibit resonant enhancement. We can further distinguish them in zero temperature contributions, Γ ℓ,T =0 II,indirect − JHEP03(2016)191  II . In so doing we re-derive the expression for the direct CP asymmetry at zero temperature [3]. Considerations made here will be used in the next section to select the parts of the Wilson coefficients Im a ℓ II and Im al II relevant for the thermal corrections to the direct CP asymmetry.
We start considering the decay of a heavy right-handed neutrino of type 1, ν R,1 , into leptons. Up to one loop the amplitude has the following form (see the two upper diagrams in figure 2 that display only direct contributions): where A and B are functions that parameterize the amplitude at tree-level and one-loop respectively. We obtain the total decay width into leptons by squaring the amplitude and summing over the lepton flavours.
We may write similar relations for the decay into anti-leptons: where C is the analogous of B in (3.1). The CP asymmetry (1.3), due to the decay of ν R,1 , is then The functions A, B and C can be computed by cutting one and two-loop diagrams contributing to the propagator of a neutrino of type 1: where |Ω is the ground state of the fundamental theory and where we have chosen the rest frame v α = (1, 0), so that the incoming momentum is p α = (M, 0 ). Diagrams with cuts through lepton propagators contribute to A and B (see figure 3), while diagrams with cuts through anti-lepton propagators contribute to A and C. An analogous equation to (3.5) holds for ǫ 2 .

JHEP03(2016)191
We consider the in-vacuum diagrams in figure 3 for incoming and outgoing neutrinos of type 1. The cuts select the contribution to the width into leptons (for details see appendix B.1). We call D ℓ 1 , D ℓ 2 and D ℓ 3 respectively the diagrams shown in figure 3 with amputated external legs. The quantity Im −i(D ℓ The sum over J comes from the flavour of the intermediate Majorana neutrino exchanged in the two-loop diagrams, clearly J Im(F * 1 F J ) 2 = Im(F * 1 F 2 ) 2 . We have not considered cuts through the intermediate neutrino, which would correspond to neutrino transitions involving the emission of a lepton and an anti-lepton, because they do not contribute to the CP asymmetry.
The analogous calculation for f Γ(ν R,1 →l f +X) at T = 0 in the fundamental theory, which matches Γl ,T =0 11 in the EFT, requires the calculation of the one-loop diagram with a virtual anti-lepton and the two-loop diagrams shown in figure 3 but with cuts through anti-lepton propagators. Up to order ∆/M , we obtain The right-hand side of (3.8) differs from the right-hand side of (3.7) only for the sign of the term proportional to Im (F * 1 F J ) 2 . It is precisely this term that originates the CP asymmetry.
From (3.7) and (3.8) it follows: where in the last line we have neglected terms of order Similarly we may obtain the direct CP asymmetry for the leptonic decay of a neutrino of type 2 just by changing F 1 ↔ F 2 and ∆ → −∆ in the above formula: The result agrees with the original result [13] and following confirmations, like the more recent [29], after accounting for the different definition of the Yukawa couplings. 2 It is useful to compare equations (3.7) and (3.8) with (3.2) and (3.4) respectively. It follows that Replacing the above expressions in (3.5) one gets back (3.11). The condition Re(B) = Re(C) requires both Im(B) and Im (F * 1 F J ) 2 to be different from zero to produce a nonvanishing CP asymmetry. The first request is at the origin of the condition stated at the end of section 2: the relevant two-loop diagrams for the CP asymmetry are those that can be cut with two cuts into three tree-level diagrams. This guarantees that after a first cut through the lepton (or anti-lepton) propagator the remaining one-loop diagram (what is called B above) develops a complex phase. The second request is fulfilled if there are at least two Majorana neutrino generations with different complex Yukawa couplings. In fact only J = 2 contributes to the asymmetry in (3.7) and (3.8).

Matching a II
In order to evaluate the leading thermal correction to the direct CP asymmetry, i.e., Γ ℓ,T II,direct − Γl ,T II,direct , we need to compute the Wilson coefficients a II of the dimension-five operators in (2.2). We have seen that at order F 2 in the Yukawa couplings the coefficients a II do not contribute to the asymmetry, hence, in this section, we will give them at order F 4 . They also depend linearly on some SM couplings, in particular the four-Higgs and gauge couplings. The coefficients a II are determined by matching four-point Green's functions with two external Majorana neutrinos and two external Higgs bosons computed in the fundamental theory with the corresponding vertices in the EFT. In particular, we may consider a Higgs boson with momentum q α ∼ T ≪ M scattering off a Majorana

JHEP03(2016)191
neutrino at rest in the reference frame v α = (1, 0). In the matching, we integrate out loop momenta of order M , hence the momentum of the Higgs boson can eventually be set to zero and the matching done in the vacuum. Thermal corrections do not affect the matching but the CP asymmetry through the Higgs thermal condensate. Because the Higgs thermal condensate is real, we just need to compute the imaginary parts of a II . This can be done by using standard cutting rules at T = 0. Diagrams with cuts through lepton propagators contribute to the leptonic component of a II , a ℓ II , while diagrams with cuts through antilepton propagators contribute to the anti-leptonic component of a II , al II . Not the entire cut diagram contributes to the asymmetry. The part of the cut diagram that contributes to the asymmetry can be isolated using the same arguments developed in the previous section and is proportional to Im (F * 1 F 2 ) 2 . The diagrams that enter the matching of Im a ℓ II and Im al II at order F 4 and at first order in the SM couplings together with details of the calculation can be found in appendix B. The final result reads up to order ∆/M (only terms contributing to the asymmetry are displayed): where λ is the four-Higgs coupling, and g and g ′ are the SU(2) L and U(1) Y gauge couplings respectively. Note the sign difference between Im a ℓ II and Im al II . We remark that at this order the result does not depend on the top-Yukawa coupling, λ t .

Thermal corrections to the direct asymmetry
We may now proceed to calculate the thermal corrections to the widths and CP asymmetries of the two Majorana neutrinos, assuming that the thermal bath of SM particles is at rest with respect to the Majorana neutrinos and the reference frame. It is convenient to split both the neutrino width, Γ II = Γ T =0 II + Γ T II , and the CP asymmetry, ǫ I = ǫ T =0 I + ǫ T I , into a zero temperature and a thermal part.

Neutrino of type 1
We consider first neutrinos of type 1, which are assumed to be lighter than those of type 2. The zero-temperature width at leading order has been written in (3.10). The leading thermal correction to the width has been calculated in [6][7][8] and can be easily re-derived from (2.5), (2.6) and (2.7). The expression of the width up to order F 2 λ × (T /M ) 2 reads Figure 4. Tadpole diagrams responsible for the leading thermal corrections to the neutrino widths and CP asymmetries in the EFT. We show in red particles belonging to the thermal bath whose momentum is of order T .
The in-vacuum part of the direct CP asymmetry, ǫ T =0 1,direct , can be read off (3.11). In order to obtain ǫ T 1,direct , one has to evaluate Γ ℓ,T 11,direct − Γl ,T 11,direct . Thermal corrections are encoded into the Higgs thermal condensate represented by the first tadpole diagram shown in figure 4. From (2.5), (2.6) and (4.1) it follows From (2.4), (3.9), (5.1) and (5.2), and considering that ∆Γ mixing 1,direct = 0, we obtain then the thermal part of the CP asymmetry generated from the decay of Majorana neutrinos of type 1 at leading order in the SM couplings, at order T 2 /M 2 and at order ∆/M :

Neutrino of type 2
The in-vacuum contribution to the CP asymmetry of Majorana neutrinos of type 2 can be read off (3.12). Thermal contributions of the type (2.5), can be computed as for neutrinos of type 1, the relevant diagram being the second diagram of figure 4. They may be read off (5.2) and (5.3) after the replacements F 1 ↔ F 2 , M → M 2 and ∆ → −∆.
If the neutrino of type 2 is heavier than the neutrino of type 1, there may be an additional source of CP asymmetry coming from diagrams where, after the cut through the lepton (or anti-lepton), the remaining one-loop subdiagram develops an imaginary part because of the kinematically allowed transition ν R,2 → ν R,1 + Higgs boson. Such a transition involves a momentum transfer of order ∆. Since ∆ ≪ M , terms coming from momentum regions of order ∆ have been excluded from the matching and do not contribute to a IJ . However, they do contribute in the EFT.
The leading order diagrams in the EFT are shown in figure 5. 3 They may be understood as the mixing of two dimension five operators in the EFT, hence they contribute to the JHEP03(2016)191 Figure 5. Diagrams contributing in the EFT to the CP asymmetry of the Majorana neutrino of type 2 (see text). The orange dot stands for the vertex −iRe (F * 1 F 2 )/M ; the circled dot has opposite sign. The dot with a cut selects the leptonic (or anti-leptonic) decay components: direct CP asymmetry (2.4) through the term ∆Γ mixing 2,direct . At our accuracy, for the uncut vertex, we just need to consider the real parts of the dimension five operators mixing neutrinos of type 1 with neutrinos of type 2. The corresponding vertex, shown with an orange dot in figure 5, is iRe a 12 /M . The real part of a IJ can be computed at order F 2 by matching the two tree-level diagrams shown in the left-hand side of figure 6 with the corresponding vertex in the EFT. The result reads The contribution from the cut is −2 × 1/M × (3 F * I F J λ/(16π)) for the leptonic cut and −2 × 1/M × (3 F * J F I λ/(16π)) for the anti-leptonic one, where I is the outgoing neutrino and J the ingoing one.
The momentum flowing in the diagrams of figure 5 can be of order T or of order ∆. If the momentum flowing in both loops is of order T this contributes to the asymmetry if the momentum flowing in both loops is of order ∆ this contributes to the asymmetry at order ∆ 3 /M 2 . Both contributions are beyond our accuracy. If instead one Higgs boson carries a momentum and energy of order T and the other a momentum and energy of order ∆, then this momentum region contributes to the asymmetry at order T 2 ∆/M 2 , which is inside our accuracy. The color code used for the Higgs bosons in figure 5 identifies this specific momentum region. Its contribution to the direct asymmetry of Majorana neutrinos of type 2 is

JHEP03(2016)191
Summing this to the CP asymmetry of the Majorana neutrino of type 2 obtained from the tadpole diagram of figure 4, and discussed at the beginning of this section, we obtain that the thermal correction to the direct CP asymmetry of the Majorana neutrino of type 2 at leading order in the SM couplings, at order T 2 /M 2 and at order ∆/M is We observe that in the exact degenerate limit (∆ → 0), the single direct CP asymmetries ǫ 1,direct and ǫ 2,direct do not vanish. However, the sum of (3.9) with (5.2), and with the corresponding expressions for the type 2 neutrino does vanish. This sum is the CP-violating parameter defined in [19].

Indirect asymmetry
The indirect CP asymmetry is made of all contributions that exhibit the phenomenon of resonant enhancement (see section 2). It may be understood as originating from the mixing between the different neutrino species that makes the mass eigenstates different from the CP eigenstates [14]. This mixing is described by the EFT. In the following we will compute the indirect CP asymmetry at leading order and its first thermal correction. Besides the hierarchies M ≫ T ≫ M W and M ≫ ∆ we will not assume any special relation between ∆ and the neutrino decay widths. In particular we will allow for the resonant case ∆ ∼ Γ 11 , Γ 22 and resum the widths in the neutrino propagators. Nevertheless we will treat the mixing perturbatively, which amounts at requiring 2 (this condition can be inferred from the right-hand side of the following equation (6.3); see also [16]). 4 Mixing between the different neutrino generations in the effective Lagrangian (2.2) is induced by the off-diagonal elements of Γ T =0 IJ , which can be obtained from the absorbtive part of diagram 1) in figure 3 and the corresponding one with an anti-lepton in the loop [14,15] (for I = J = 1 (6.1) gives back (3.10)), and by the off-diagonal elements of a IJ . The imaginary part of a IJ is The real part of a IJ has been computed at order F 2 in the previous section and can be read off (5.4).

JHEP03(2016)191
Diagrams showing in the EFT a neutrino of type 1 decaying into a lepton after mixing with a neutrino of type 2. The cross stands for the mixing vertex −Γ T =0 IJ /2. The cross with a cut selects the leptonic (or anti-leptonic) decay components: . Propagators on the right of the cut are complex conjugate. Because the mixing vertex is real, circled and uncircled vertices coincide [30].
At zero temperature and at order F 4 the width of a neutrino of type 1 that decays into a lepton after mixing with a neutrino of type 2 is given in the EFT by the sum of the cuts on the diagrams shown in figure 7. The diagrams are amputated of the external legs and evaluated at the pole of the propagator of the (incoming and outgoing) neutrino of type 1. If the width is of the order of ∆, then it should be resummed so that the (complex) pole of the neutrino of type 1 is at −iΓ T =0 11 /2 and the pole of the intermediate neutrino of type 2 is at ∆ − iΓ T =0 22 /2. The crossed vertex in figure 7 stands for the mixing vertex −Γ T =0 IJ /2, where I identifies the outgoing and J the incoming neutrino. The cut through the vertex selects the decay into a lepton or an anti-lepton. In the first case, the value of the cut is M (F * For leptonic cuts the diagrams in figure 7 give where c.c. stands for complex conjugate. For anti-leptonic cuts the diagrams in figure 7 give Γl ,T =0 11,indirect , which is the same as (6.3) but with the change F * 1 F 2 ↔ F * 2 F 1 in the mixing vertices. The indirect CP asymmetry at T = 0 for a Majorana neutrino of type 1 is then Similarly one obtains the indirect CP asymmetry at T = 0 for a Majorana neutrino of type 2 . The above result for the indirect asymmetry at T = 0 agrees with [15] (see also [16] and discussion therein). It agrees with [28] by remarking that the additional term proportional to log(M 2 2 /M 2 1 ) there is a contribution of relative order F 6 to the CP asymmetry and therefore beyond our accuracy. Whenever we can neglect the width Γ T =0 11 , equations (6.4) and (6.5) agree with [18,19,[31][32][33]. Finally, we notice that in the framework of the Kadanoff-Baym evolution equations (see for instance [16,34,35]) the quantity related to

JHEP03(2016)191
the CP asymmetry is a modification of the above one that accounts for coherent transitions between the Majorana neutrino mass eigenstates.
The computation done above shows that, although at T = 0 there should be in general no advantage in using the EFT, there is some in computing the indirect CP asymmetry. In fact, the EFT naturally separates the physics of the Majorana neutrino decay, which goes into the widths and the mixing vertices, from the quantum-mechanical physics of the neutrino oscillations. This separation is well depicted in the Feynman diagrams of figure 7. It also makes more apparent the potentially resonant behaviour of the contribution.
Thermal corrections to (6.3) affect masses, widths and mixing vertices. From (2.5) (generalized to off-diagonal elements), (2.6) and (6.2) it follows that the leading thermal correction to the width matrix is of relative size λT 2 /M 2 : The thermal correction to the mass matrix follows from (5.4) and (2.6), and is of relative size T 2 /M 2 : The mass thermal correction (6.7) differs from the one used in [32] and taken from [36]. The reason for the difference is that the thermal correction computed in [36] refers to a massless neutrino while the one written above refers to a neutrino in the heavy mass limit.
In the massless case the neutrino gets a thermal mass both from fermions and bosons in the medium, whereas in the heavy-mass case, as can be immediately read off the effective Lagrangian (2.2), fermion contributions are suppressed in T /M and only Higgs bosons contribute.
If we restrict to the leading corrections, we may neglect the thermal correction to the decay matrix, which is suppressed by λ, and keep only the thermal correction to the mass matrix. This modifies the mixing vertex in figure 7 from −Γ T =0 IJ /2 to −Γ T =0 IJ /2 − iM T IJ and the mass ∆ in the intermediate propagator to ∆ + M T 22 − M T 11 . If we neglect corrections of relative order λ, cuts are not affected by thermal effects, so that which is valid at leading order in T /M . Similarly Γl ,T 11,indirect is given by (6.8) but with the change F * 1 F 2 ↔ F * 2 F 1 in the mixing vertices. The leading thermal correction to the indirect CP asymmetry for a Majorana neutrino of type 1 is then

JHEP03(2016)191
and analogously the thermal correction to the indirect CP asymmetry for a neutrino of type 2 is Note that the indirect asymmetry vanishes for each neutrino type in the exact degenerate limit ∆ → 0 [15,19].

Flavour and CP asymmetry
In the previous sections we have computed the CP asymmetry, both direct and indirect, in the so-called unflavoured approximation, i.e., we have computed the CP parameter, defined in (1.3), as a sum over the different lepton flavours. This is the relevant CP asymmetry parameter when the flavour composition of the quantum states of the leptons (anti-leptons) in the thermal plasma has no influence on the final lepton asymmetry. If this is not the case, then one has to define a CP asymmetry for each lepton family. The unflavoured regime is found to be an appropriate choice at high temperatures, namely T 10 12 GeV, while the different lepton flavours are resolved at lower temperatures [37,38]. In [39,40] it was shown how to estimate the temperature at which the different lepton flavours are resolved considering the interactions induced by charged lepton Yukawa couplings in the most general seesaw type-I Lagrangian (we have not included these interactions in the Lagrangian (2.1); one can find them, e.g., in [41]). It is found that at T ≈ 10 12 GeV, the interaction rates involving the τ -doublet are faster than the universe expansion rate. Hence the τ -flavour is resolved by the thermal bath, while the e-and µ-flavours remain unresolved. At temperatures of about 10 9 GeV all three flavours are resolved from the charged Yukawa coupling interactions. The importance of flavour effects in leptogenesis has been investigated in the literature in many different directions, see, e.g., [42,43].
In order to investigate how the flavour affects our approach, we start with the definition of the CP asymmetry, ǫ f I , generated by the I-th heavy neutrino decaying into leptons and anti-leptons of flavour f : The difference with respect to (1.3) is that we do not sum over the flavour index f in the numerator. Following the same order adopted for the unflavoured case, we will, first, compute the flavoured direct and indirect CP asymmetries at T = 0, and then the CP asymmetries at finite temperature.
It is straightforward to extend the derivation of section 3 for the direct CP asymmetry at T = 0 in the unflavoured case to the CP asymmetry in the flavoured case. In the flavoured case one has simply to omit the sum over the flavour index f in (3.2)  obtaining for the CP asymmetry in the neutrino of type 1 decays The calculation of the diagrams in figure 3 leads to the same results for the functions A, B and C: the loop calculation is unaffected by the different treatment of the flavour. Note that additional two-loop diagrams, similar to 2) and 3) of figure 3 but involving only lepton (or anti-lepton) internal lines, are not allowed by the Feynman rules of (2.1). Therefore the direct CP asymmetry at T = 0 for the neutrino of type 1 decay into leptons of flavour f reads up to order ∆/M 3) The result for ǫ T =0 f 2,direct can be obtained from the above formula by changing F 1 ↔ F 2 and ∆ → −∆. The results agree in the nearly degenerate limit with the flavoured CP asymmetry obtained in [29].
We can compute the flavoured indirect CP asymmetry at T = 0 either in the fundamental or in the effective theory. In the fundamental theory, besides the diagrams that appear in the unflavoured case, one has to consider also the interference between the treelevel diagram of figure 1 with the additional one-loop diagram shown in figure 8. This contribution is equivalent to cutting through lepton or anti-lepton lines respectively the two-loop diagrams a) and b) shown in figure 9. The additional diagrams give a contribution to the CP asymmetry that is proportional to Im ( . Clearly this contribution vanishes if summed over all flavours f . For this reason it has not been considered in the unflavoured case. As argued in section 6, it is particularly convenient to compute the indirect CP asymmetry in the EFT. In fact, the relevant diagrams are the same computed in the unflavoured case, i.e., those shown in figure 7. They already comprise the two additional diagrams of figure 9, the only difference being that now the cut through the mixing vertex selects the decay into a specific leptonic (or anti-leptonic) flavour family. More specifically the cut For anti-leptonic cuts the diagrams in figure 7 give the anti-leptonic width, Γl ,T =0 f 11,indirect , which is the same as (7.4) but with the change F * f 1 F f 2 ↔ F * f 2 F f 1 in the mixing vertices. The flavoured indirect CP asymmetry at T = 0 for a Majorana neutrino of type 1 then is 5 The first line, if summed over all flavours, gives back (6.4). The second line is specific of the flavoured CP asymmetry and would vanish if summed over all flavours, indeed, A similar calculation leads to the expression for the flavoured indirect CP asymmetry at T = 0 for a Majorana neutrino of type 2, which follows from (7.5) after the changes F 1 ↔ F 2 and ∆ → −∆: The expressions for ǫ T =0 f 1,indirect and ǫ T =0 f 2,indirect agree with those that can be found in [29] when taking the nearly degenerate limit and resumming the widths of both types of neutrino in the heavy-neutrino propagators. 5 A more compact expression follows from Im (F

JHEP03(2016)191
We conclude by computing the flavoured CP asymmetries at finite temperature. Concerning the direct asymmetry, we may identify two type of contributions. First, there are contributions coming from the same diagrams considered for the unflavoured case. These diagrams contribute also to the flavoured CP asymmetry if the final lepton (or anti-lepton) flavour is resolved. This amounts at replacing in the expressions of the Feynman diagrams given in the appendices B.2 and B.3. A second type of contributions comes from diagrams involving only lepton (or antilepton) lines. They would potentially give rise to a CP asymmetry that is proportional to and that would vanish in the unflavoured case. We have examined these diagrams in appendix B.4 and found that they do not contribute. Hence, the complete contribution to the matching coefficients Im a ℓ II and Im al II from cuts selecting a lepton or an anti-lepton of flavour f comes only from the diagrams discussed in the previous paragraph and can be read off equations (4.1) and (4.2) by simply performing the replacement (7.7).
As discussed in section 5.2, the Majorana neutrino of type 2, if heavier than the Majorana neutrino of type 1, has an additional source of CP asymmetry whose ultimate origin is the kinematically allowed transition ν R,2 → ν R,1 + Higgs boson. This asymmetry is described in the EFT by the diagrams shown in figure 5. The only difference with the unflavoured case is that we now require for the cut to select a lepton (or anti-lepton) with a specific flavour f . Hence the cut stands for −3(F * f I F f J )λ/(8πM ) (or −3(F * f J F f I )λ/(8πM ) in the anti-leptonic case), where I is the type of outgoing and J the type of incoming neutrino. Going through the same derivation as in section 5.2, we find The quantity ∆Γ mixing f 2,direct is the equivalent of ∆Γ mixing 2,direct in the flavoured case. It reduces to ∆Γ mixing 2,direct , given in (5.5), when summed over the flavours f . Rewriting the thermal contributions to the direct CP asymmetry given in (5.3) and (5.6) for the flavoured case through (7.7) and adding to the CP asymmetry of the Majorana neutrino of type 2 the contribution in (7.8) proportional to Im (F 1 F * 2 )(F * f 1 F f 2 ) gives at order T 2 /M 2 and at order ∆/M and Finally, the thermal corrections to the indirect CP asymmetry are easily computed in the EFT. The analysis carried out in section 6 is valid also in the flavoured regime. The thermal corrections to the indirect CP asymmetry have the same form as (6.9) and (6.10), namely for the two neutrino species and Note that the first factor in the right-hand side of each asymmetry is the flavoured indirect CP asymmetry at T = 0 computed in (7.5) and (7.6).

Conclusions
In the framework of an extension of the Standard Model that includes two generations of heavy Majorana neutrinos with nearly degenerate masses M and M + ∆, and coupled only to the SM Higgs boson and lepton doublets via Yukawa interactions, see (2.1), we have computed the leading thermal corrections to the direct and indirect CP asymmetries for neutrino decays into leptons and anti-leptons. In order to describe a condition that occurred in the early universe, we have assumed the SM particles to form a plasma whose temperature T is larger than the electroweak scale but smaller than M . Non-vanishing complex phases of the Yukawa couplings originate a CP asymmetry and the condition T ≪ M puts the Majorana neutrino out of chemical equilibrium. The main original results of the paper are equations (5.3) and (5.6) for the thermal corrections to the direct CP asymmetry, and equations (6.9) and (6.10) for the thermal corrections to the indirect CP asymmetry. The corresponding equations for the flavoured case are (7.9), (7.10) (7.11) and (7.12) respectively. We have computed the CP asymmetries up to first order in the neutrino mass difference ∆ ≪ M . Moreover, the indirect CP asymmetry has been computed assuming that the mixing can be treated perturbatively. Besides this the results are valid in a wide range of parameters. In the resonant case (∆ of the order of the difference of the widths) the indirect asymmetry may be the dominant mechanism for the production of a CP asymmetry. Thermal corrections to the CP asymmetry arise at order F 4 in the Yukawa couplings. Corrections to the direct CP asymmetry are further suppressed by one SM coupling. Hence the calculation of the thermal effects to the direct CP asymmetry is a three-loop calculation in the fundamental theory (2.1). We have performed the calculation in the effective field theory framework introduced in [8], which is valid for T ≪ M . The three-loop thermal

JHEP03(2016)191
calculation of the original theory splits into the calculation of the imaginary parts of twoloop diagrams that match the Wilson coefficients of the EFT (2.2), a calculation that can be performed in vacuum, and the calculation of a thermal one-loop diagram in the EFT. In its range of applicability, the EFT framework provides, therefore, a significantly simpler method of calculation. The same formalism may prove to be a useful tool to calculate the CP asymmetry also in other arrangements of the heavy-neutrino masses, such as a hierarchically ordered neutrino mass spectrum, where direct and indirect CP asymmetries are of comparable size. The EFT (2.2) is also the natural starting point for establishing the rate equations for the time evolution of the particle densities in the regime where the Majorana neutrinos are non-relativistic. A first study of the non-relativistic approximation for the rate equations can be found in [44].
There are some critical issues about the results presented here that should be mentioned and be possibly the subject of further investigations. The results rely on a strict expansion in T /M . The range of applicability of this expansion has been investigated in [5] for the neutrino production rate by comparing with exact results. Although the expansion converges well, its agreement with the exact result appears to happen at relatively small temperatures. A similar behaviour could be also for the CP asymmetry. We investigate this issue and provide a computational scheme that may solve it in appendix C.
Another question is how the corrections in T /M compare with the yet unknown radiative corrections to the CP asymmetry at zero temperature. First, we note that for the indirect CP asymmetry, which is the dominant part of the asymmetry in particular for the resonant case or close to it, the computed (T /M ) 2 corrections are not suppressed by the SM couplings. Hence they are likely to be larger than or of the same size as radiative corrections for a wide range of temperatures. Second, we observe that thermal corrections to the direct CP asymmetry, which are suppressed in the SM couplings, are indeed of relative size λ(T /M ) 2 and (3g 2 + g ′2 )(T /M ) 2 (cf. with (5.3) and (5.6) or (7.9) and (7.10)). These should be compared with radiative corrections of possible relative size λ/π 2 , |λ t | 2 /π 2 or (3g 2 + g ′2 )/π 2 (cf. with the radiative corrections to the production rate in [6]). The factor 1/π 2 is typical of radiative corrections, but absent in thermal corrections. The two are of comparable size for T /M ∼ 1/π, which is inside the range of convergence of the expansion in T /M . Clearly radiative corrections are a missing ingredient for a complete quantitative evaluation of the CP asymmetry. Following the above discussion, their evaluation seems most needed when the CP asymmetry is dominated by direct contributions and at lower temperatures.
At relative order (T /M ) 2 only the Higgs self-coupling, λ, and the SU(2) L ×U(1) Y gauge couplings, g and g ′ , enter the expression of the CP asymmetry. Higher-order operators in the 1/M expansion have not been considered in this work. However, higher-order operators, most importantly the dimension seven operators described in [8], may contribute to the CP asymmetry as well. The power counting of the EFT shows that they can induce thermal corrections that scale like g SM (T /M ) 4 , where g SM is understood as either λ, (3g 2 + g ′2 ) or the top Yukawa coupling |λ t | 2 . Even though these corrections are further suppressed in the expansion in T /M , the particular values of the SM couplings at high energies can make g SM (T /M ) 4 corrections numerically comparable with or larger than those calculated at order (T /M ) 2 and presented in this work. As a reference, at a scale of 10 4 TeV the Higgs self

Acknowledgments
We thank Marco Drewes, Björn Garbrecht, Alexander Kartavtsev, Emiliano Molinaro, Enrico Nardi and Luigi delle Rose for several discussions, and Vladyslav Shtabovenko for checking some of the integrals. We thank the Mainz Institute for Theoretical Physics for giving us the opportunity to organize the institute Jet Particles and transport properties in collider and cosmological environments in summer 2014 during which some of this work was presented. We acknowledge financial support from the DFG cluster of excellence Origin and structure of the universe (www.universe-cluster.de). M.A.E. acknowledges support from the European Research Council under the Advanced Investigator Grant ERC-AD-267258.

A Majorana neutrino propagators
In this section we review the expressions for the relativistic propagators of a Majorana fermion and the corresponding non-relativistic version [8]. If ψ I is a spinor describing a relativistic Majorana particle, then where ψ c I denotes the charge-conjugate spinor and C the charge-conjugation matrix that satisfies C † = C T = C −1 = −C and C γ µ T C = γ µ . The relativistic propagators for a free Majorana particle are:

JHEP03(2016)191 B Matching the asymmetry
In this appendix, we compute the matching coefficients in (4.1) and (4.2). They are obtained by matching matrix elements calculated in the fundamental theory with matrix elements in the EFT. The fundamental theory is (2.1). It contains the SM with unbroken gauge group SU(2) L ×U(1) Y , whose Lagrangian reads The dots stand for terms that can be neglected in our calculation, e.g., terms with righthanded leptons or light quarks. The covariant derivative is given by where τ a are the SU(2) L generators and Y is the hypercharge (Y = 1/2 for the Higgs boson, Y = −1/2 for left-handed leptons). The fields L f are the SU(2) L lepton doublets with flavour f , Q T = (t, b) is the heavy-quark SU(2) L doublet, A a µ are the SU(2) L gauge fields, B µ the U(1) Y gauge fields and W a µν , F µν the corresponding field strength tensors, φ is the Higgs doublet and t is the top quark field. The couplings g, g ′ , λ and λ t are the SU(2) L and U(1) Y gauge couplings, the four-Higgs coupling and the top Yukawa coupling respectively. Because in the matching we integrate out only high-energy modes, we can set to zero any low-energy scale appearing in loops. Especially, as discussed in the main body of the paper, we can set to zero the temperature. As a consequence, loop diagrams on the EFT side of the matching vanish in dimensional regularization because they are scaleless. Dimensional regularization is used for loop calculations throughout the paper. The operators in the EFT (2.2) that we need to match are Hence we need to consider four-field matrix elements involving two Majorana and two Higgs fields. The effective interaction with either leptons, quarks or gauge bosons in the plasma is described by operators that are further suppressed in the 1/M expansion. We do not consider such operators in this work since we calculate corrections to the CP asymmetry of relative order T 2 /M 2 , whereas the neglected ones induce corrections that are at least of order T 4 /M 4 . We perform the matching in the reference frame v µ = (1, 0 ), where we assume both the Majorana neutrino and the plasma to be at rest. Since we are interested in the imaginary parts of the Wilson coefficients, we evaluate the imaginary parts of −iD, where D are generic Feynman diagrams amputated of the external legs. Moreover we may choose the incoming and outgoing SM particles to have vanishing momentum, because their momentum is assumed to be much smaller than M , and we do not match onto derivative operators. (An exception are diagrams with pinch singularities where we set the momentum to zero after the cancellation of the singularities). Figure 10. The relevant cutting rules for a scalar propagator at zero temperature in the convention of [49]. The momentum direction is represented by the arrow. The blue thick dashed line stands for the cut. Vertices on the right of the cut are circled. Circled vertices have opposite sign than non-circled vertices.

B.1 Cutting rules
A way of computing the imaginary part of −iD, where D is a Feynman diagram, is by means of cutting rules. Here we describe briefly the cutting rules at zero temperature and the notation that we will use; we also illustrate them with an example. We refer to [47][48][49] for some classical presentations and to [30] for a more recent one suited to include complex masses and couplings.
At the core of the method is the cutting equation, which relates Im(−iD) with cut diagrams of D. It reads A cut diagram consists in separating the Feynman diagram into two disconnected diagrams by putting on shell some of its internal propagators. The cut is typically represented by a line "cutting" through these propagators: in our case it is a blue thick dashed line. Vertices on the right of the cut are circled. Circled vertices have opposite sign than uncircled vertices. We can have three types of propagators. Propagators between two circled vertices, propagators between uncircled vertices and propagators between one circled and one uncircled vertex. This last situation occurs when the cut goes through the propagator. The expressions for these three propagators are shown in the case of a scalar particle in figure 10; the extension to fermions and gauge bosons is straightforward. Note that when the cut goes through the propagator the particle is put on shell. The sum in (B.4) extends over all possible cuts of the diagram D.
As an example, we show how to obtain the imaginary part of the Wilson coefficient of the operator (B.3) in the case of just one neutrino generation. We call this single Wilson coefficient a. It was first derived in [8] without using cutting rules. Cutting rules have the advantage that they allow to disentangle the contribution coming from the decay into a lepton, which we call Im a ℓ , from the contribution coming from the decay into an antilepton, which we call Im al. The coefficient Im a is at leading order the sum of these two contributions: Im a = Im a ℓ + Im al.
where we have dropped all external propagators and D is the amputated (uncut) diagram shown in the upper raw and left-hand side of figure 11. The external heavy-neutrino propagators reduce in the non-relativistic limit and in the rest frame to a matrix proportional toP = (1 + γ 0 )/2 (see (A.5)). We have kept the matrixP on the left-and right-hand side of (B.6), because it helps projecting out the contributions relevant in the heavy-neutrino mass limit, e.g.,P P LP =P /2. After projection, also the matrixP may be eventually dropped from the left-and right-hand side of the matching equation. The internal loop momentum is ℓ µ , M v µ = (M, 0) is the neutrino momentum in the rest frame and |F | 2 = f F * f F f . The diagram D admits two cuts labeled 1) and 2) and shown in the upper raw and left-hand side of figure 11. Both cuts select a final state made of a lepton and, therefore,

JHEP03(2016)191
contribute to a ℓ . Using (B.4) and the cutting rules we obtain for the two cuts: P Im(−iD ℓ 1, figure 11 Both Im(−iD ℓ 1, figure 11 ) and Im(−iD ℓ 2, figure 11 ) have a pinch singularity whose origin is the soft limit of the Higgs momentum pair. A way to regularize the singularity is to give a small finite momentum to the Higgs pair and set it to zero after cancellation of the singularity. The singularity cancels in the sum of the two cuts, which reads Im(−iD ℓ 1, figure 11 ) + Im(−iD ℓ 2, figure 11 where we have used for the amputated Green function the same indices used for the unamputated one, a convention that we will keep in the following.  Figure 12. Diagrams contributing to a ℓ II at order F 4 . One diagram is the complex conjugate of the other. The matrix element is similar to (B.5), but now in a theory with two types of heavy Majorana neutrinos. External neutrinos are of type 1, whereas neutrinos of type 2 appear only as intermediate states. The result can be extended straightforwardly to the case of external neutrinos of type 2, leading to (4.2). The matrix element describes a 2 → 2 scattering between a heavy Majorana neutrino of type 1 at rest and a Higgs boson carrying momentum q µ . Since the momentum q µ is much smaller than the neutrino mass and we are not matching derivative operators, q µ can be set to zero in the matching. Here, we compute the diagrams contributing to (B.13) that enter the matching of a ℓ 11 (and al 11 ) up to first order in λ and are relevant for the direct CP asymmetry; in the next section, we will compute the diagrams of order g 2 and g ′2 . It may be useful to cast the diagrams into three different typologies as we will do in the following. All diagrams are understood as amputated of their external legs.
A first class of diagrams is obtained by opening-up a Higgs line in the two-loop diagrams of figure 3. These diagrams are of order F 4 . The subset contributing to a ℓ II is shown in figure 12. Diagrams a) and b) are one the complex conjugate of the other; their sum is real. By cutting the loops so to bring one lepton on shell and summing both diagrams the result is proportional to the Yukawa coupling combination Re (F * 1 F J ) 2 only. The reason is that, after the cuts, the diagrams do not contain loops anymore and cannot develop any additional complex phase. If we consider the subset of diagrams contributing to al II , which are diagrams where the anti-lepton can be put on shell, we obtain through a similar argument that the sum of diagrams is proportional again to the Yukawa coupling combination Re (F * 1 F J ) 2 . It follows that the matching coefficients obtained for leptons and anti-leptons and the corresponding leptonic and anti-leptonic widths cancel in the difference. One-loop diagrams of order F 4 with two external Higgs bosons do not contribute to the direct CP asymmetry.
A second class of diagrams is obtained by attaching a four-Higgs vertex to an existing Higgs line in the two-loop diagrams of figure 3. These diagrams are of order F 4 λ and are shown with the relevant cuts in figure 13. In each raw we show a diagram and its complex conjugate and we draw explicitly the cuts that put a lepton on shell. This amounts at selecting in all the diagrams in figure 13 the decay of a heavy Majorana neutrino into a lepton. The decay width into an anti-lepton can be computed by cutting anti-lepton lines. In general, the sum of each couple of diagrams in figure 13 is a linear combination of the real and the imaginary parts of (F * 1 F J ) 2 . The appearance of a term proportional to Im (F * 1 F 2 ) 2 in addition to Re (F * 1 F J ) 2 reflects the fact that after the cut we are left with a loop that also develops an imaginary part. For each couple of diagrams, contributions coming from JHEP03(2016)191 1) 2) 3)

5) 6)
4) Figure 13. Diagrams contributing to a ℓ II and al II at order F 4 λ. The cuts through leptons are explicitly shown and implemented according to the rules of figure 10. the lepton and the anti-lepton cuts give the same terms proportional to Re (F * 1 F J ) 2 but terms proportional to Im (F * So that, when calculating the CP asymmetry, terms proportional to Re (F * 1 F J ) 2 cancel, and only those proportional to Im (F * 1 F 2 ) 2 remain. Hence for each diagram we only need to calculate the terms proportional to Im (F * 1 F 2 ) 2 , consistently with the discussion in section 3. Up to relative order ∆/M they are: Im (−iD ℓ 1, figure 13 ) + Im (−iD ℓ 2, figure 13 Im (−iD ℓ 3, figure 13 ) + Im (−iD ℓ 4, figure 13 ) + Im (−iD ℓ 5, figure 13 ) + Im (−iD ℓ 6, figure 13 The dots stand for terms proportional to the Yukawa coupling combination Re (F * 1 F J ) 2 and higher-order terms in the expansion in ∆/M . The superscript ℓ reminds that we have cut through leptons only; as we argued above, the contribution of anti-leptons has opposite sign. We give the result in (B.15) as the sum of four diagrams to cancel a pinch singularity that arises in the soft momentum limit of the Higgs boson. This is analogous to the calculation carried out in section B.1.
Once the four-Higgs vertices are removed, the diagrams of figure 13 preserve the topology of the T = 0 two-loop diagrams of 3) 8) Figure 14. Diagrams contributing to a ℓ II and al II at order F 4 λ. The cuts through leptons are explicitly shown. ure 12 (and the corresponding ones with an anti-lepton in the loop) by adding a four-Higgs vertex to the internal Higgs line; we show the diagrams with the relevant cuts in figure 14.
The results for the cuts through leptons read Im (−iD ℓ 1, figure 14 ) + Im (−iD ℓ 2, figure 14  If the neutrino is put on shell, then the one-loop integral is either over a kinematically forbidden momentum region or over a momentum region which is much smaller than M , according to the first remark above. If the light particles are put on shell, then, for we can neglect the momentum of the external Higgs boson, we have a situation equivalent to a vertex with three on-shell massless particles and the second remark above applies. The result is that diagrams 5) and 6) of figure 14 do not contribute to the CP asymmetry at the scale M , which is the result (B.18).

B.3 Matching diagrams with gauge interactions
At order F 4 and at first order in the SM couplings, besides the Feynman diagrams with four-Higgs vertices computed in the previous section, also diagrams with a gauge boson can contribute. We will compute them here. By cutting this kind of diagrams we distinguish two different type of processes: processes with a gauge boson in the final state or processes without a gauge boson in the final state. These being two distinct physical processes, we can compute them in different  figure 15 turns out not to contribute to the CP asymmetry. The diagram may be cut through the lepton propagator in two ways leaving in each case an uncut one-loop subdiagram. The only cuts for these subdiagrams that are relevant for the matching (see discussion at the end of section B.2) give rise to two identical but opposite contributions (they differ only in the number of circled vertices), which cancel. We have checked the cancellation also by explicit calculation.
We consider now the three diagrams in figure 16. It turns out that these diagrams cannot introduce an additional complex phase, i.e., they do not develop an imaginary part of the loop amplitude, the quantity that we called Im(B) in section 3. In order to prove this statement, let us pick up diagram a) in figure 16 and consider all possible cuts that put a lepton on shell. These are shown in figure 17. The first cut does not contain any loop, hence JHEP03(2016)191  it does not generate any additional complex phase besides the Yukawa couplings. In the second and third cut, in order to generate a complex phase, the remaining loop diagrams would need to develop an imaginary part. However, this is not the case since the (on-shell) incoming and outgoing particles in the loop and the particles in the loop itself are massless, a situation already discussed at the end of section B.2. Therefore, also in this case, the diagram and its complex conjugate contribute with a term proportional to Re (F * 1 F 2 ) 2 , which cancels eventually against the anti-leptonic width in the CP asymmetry. The same argument applies to both diagrams b) and c) in figure 16 (as well as to diagrams with loops inserted in the external Higgs legs that we have not displayed). As an important consequence, there are not thermal corrections to the CP asymmetry of order T 2 /M 2 that are proportional to the top-Yukawa coupling, λ t .
The diagram in figure 18 does not contribute as well to the CP asymmetry. Indeed, once it has been cut in a way that the lepton and Higgs boson are on shell, what is left is a subdiagram with a vanishing imaginary part in Landau gauge. This has been shown by direct computation in [8]. 6 We compute now the part of a ℓ 11 relevant for the CP asymmetry coming from the diagrams of figure 15 that have not been already excluded on the basis of the previous arguments. We organize the calculation as follows: first, we compute the cuts that go through the lepton but not the gauge boson, i.e., the gauge boson contributes only as a virtual particle in the loop, then we compute the cuts that go through both the lepton and the gauge boson. In figure 20, we show the cuts in the first case, whereas in figure  them in the second one. On each raw we draw a diagram and its complex conjugate. As argued before, cuts that do not leave a loop uncut do not generate any additional complex phase and therefore do not contribute to the CP asymmetry. These cuts are not displayed.
We start with computing the cuts shown in figure 20. In Landau gauge, the result is where the superscript ℓ refers to having cut a lepton line. The dots stand for higher-order terms in the ∆/M expansion and for terms that do not contribute to the CP asymmetry.
We compute now cuts through gauge bosons. As argued at the beginning of this section, we can use for this kind of cuts a different gauge, namely the Coulomb gauge. The result for the cuts shown in figure 21 reads Im (−iD ℓ 3, figure 21 ) + Im (−iD ℓ 4, figure 21 (B.23) Finally, we consider the diagrams shown in figure 19. Removing the gauge boson, these diagrams could become resonant and contribute to the indirect CP asymmetry discussed in section 6. Indeed their contribution is accounted for by the diagrams in the EFT shown in figure 7. With the gauge bosons included these diagrams cannot become resonant when the gauge boson carries away an energy of order M and, according to the definition adopted in this paper, they contribute to the direct CP asymmetry. Clearly they do contribute to the Wilson coefficients Im a ℓ II and Im al II . As before, we start considering cuts through leptons and Higgs bosons. 3 2) Figure 24. On each raw we show the diagrams c) and d) of figure 19 together with their complex conjugates. Gauge bosons and leptons are cut.
On the other hand, only diagrams c) and d) of figure 19 may be cut through a lepton and a gauge boson. The diagrams and the relevant cuts are shown in figure 24. The result in Coulomb gauge reads Im (−iD ℓ 1, figure 24 ) + Im (−iD ℓ 2, figure 24 Im (−iD ℓ 3, figure 24 ) + Im (−iD ℓ 4, figure 24

JHEP03(2016)191
Summing up all diagrams (B.14)-(B.27), and comparing with the expression of the matrix element (B.13) in the EFT, which is (Im a ℓ 11 /M )δ µν δ mn for the leptonic contribution and (Im al 11 /M )δ µν δ mn for the anti-leptonic one, we obtain (4.1). The expression for the Wilson coefficient involving the Majorana neutrino of type 2 can be inferred from the above results after the substitutions F 1 ↔ F 2 , M → M 2 and ∆ → −∆ in (B.14)-(B.27) or just in (4.1). The result, in terms of the lightest neutrino mass, M , has been written in (4.2). That the above substitutions work follows from the fact that the real transition from a heavier neutrino of type 2 to a lighter neutrino of type 1, which is a decay channel absent in the case of neutrinos of type 1, is a process accounted for by the EFT (see section 5.2), and, therefore, it does not contribute to the matching. In fact, the energy emitted in such a transition is of order ∆; this is, in the nearly degenerate case considered in this work, much smaller than M .

B.4 Matching the flavoured asymmetry
There are diagrams contributing to the matching coefficients Im a ℓ II and Im al II that are relevant only for the flavoured CP asymmetry. These are diagrams involving only lepton (or anti-lepton) propagators. They could contribute to the CP asymmetry with terms proportional to Im ( . Clearly such terms vanish in the unflavoured case. Here we examine these diagrams and find that they do not contribute. We may divide these diagrams into two classes: diagrams that involve the four-Higgs coupling, shown in figure 25, and diagrams involving gauge couplings, shown in figures 27 and 28. Let us consider diagram a) of figure 25. If we cut the lepton in the loop on the right, then the cut gives rise to the Feynman subdiagram shown in figure 26. This is proportional to (ℓ µ is the momentum of the lepton) and therefore vanishes. 7 If we cut the lepton in the loop on the left, then we need the imaginary part of the remaining (uncut) loop on the right. The imaginary part of the loop on the right may be computed by considering all its possible cuts. Those include cuts through the lepton, which vanish according to the above argument, cuts through the Higgs-boson propagator, which vanish because they involve three massless on-shell particles entering the same vertex, and cuts through the Majorana-neutrino propagator, which are either kinematically forbidden or involve momenta of order ∆ that are accounted for by the EFT (for more details see the discussion at the end of section B.2). The same arguments may be applied to all remaining diagrams shown in figures 25, 27 and 28. In particular, for many of them the argument based on the identity (B.28) is crucial. The identity (B.28) is relevant only for the flavoured case.

C The T /M expansion
In the paper, we have computed the thermal corrections to the neutrino CP asymmetry as an expansion in the SM couplings and in T /M . The production rate for heavy Majorana neutrinos has been computed in a similar fashion in [6][7][8]. Up to the order to which it is known, the expansion in T /M is well behaved, i.e., for reasonably small values of T /M it converges. . The black line shows the difference between the exact neutrino production rate up to order λ (top-Yukawa and gauge couplings set to zero) and the neutrino production rate at leading order in T /M divided by the neutrino production rate at next-to-leading order in T /M . The red line is as above but with the leading-order neutrino production rate multiplied by (1 + n B (M/2) − n F (M/2)). The neutrino is taken at rest. The one-loop running four-Higgs coupling, λ, is taken λ(10 7 GeV) ≈ 0.02 (λ(125 GeV) ≈ 0.126) [45].
Despite the above fact, it has been remarked in [5] that, when comparing the production rate for heavy Majorana neutrinos in the T /M expansion with the exact result, which is known at leading order in the SM couplings, the two results overlap only at very small values of T /M , i.e., values around 1/10 or smaller. In the same work, it has been also noticed that for values of T /M larger than 1/10 not only the discrepancy between the exact and the approximate result appears larger than the last known term in the expansion, but also of opposite sign. The situation is well illustrated by the black curve in figure 29. It shows the difference between the exact neutrino production rate at order λ (top-Yukawa and gauge couplings are set to zero) taken from [5] and the neutrino production rate at leading order in T /M divided by the neutrino production rate at next-to-leading order in T /M . At next-to-leading order in T /M the production rate depends only on the SM coupling λ.
The same behaviour may potentially show up also for the CP asymmetry, although in this case the exact result is unknown. For this reason, in the rest of the appendix we will clarify the origin of this behaviour and devise a strategy to improve the expansion in T /M in such a way that it overlaps with the exact result for reasonably small, not only very small, values of T /M . We will say that the expansion overlaps with the exact result if the discrepancy between the exact and the approximate result is not larger than the last known term in the expansion.
The problem is rather general. In the form we have it here, it happens when dealing with a double expansion where one of the expansion parameters is much smaller than the other one. In our case λ is much smaller than T /M for a relatively wide range of temperatures. Under this circumstance, exponentially suppressed terms of the type e −M/T

JHEP03(2016)191
may become numerically as large as next-to-leading order terms of the type λ (T /M ) 2 . In fact e −M/T is larger than or very close to λ (T /M ) 2 for T /M 1/8. One should recall that exponentially suppressed terms vanish in any analytic expansion.
The solution of the problem consists in keeping exponentially suppressed terms in the not-so-small parameter at leading order in the small-parameter expansion. In our case, this amounts at keeping terms of the type e −M/T in the computation of the neutrino observables at zeroth-order in the SM couplings. Let us illustrate how this works in the case of the neutrino production rate. The relevant diagram is the self-energy diagram 1) of figure 3, which, in the following, we will call Π. The neutrino production rate is proportional to the retarded self energy, Π R . In turn, the retarded self energy may be written as Π R = Π 11 + Π 12 , where Π 11 is the self energy when the initial and final neutrinos are on the physical branch of the Keldysh contour, and Π 12 is the self energy when the initial neutrino is on the physical branch whereas the final neutrino is on the complex branch of the Keldysh contour [49,50]. The "12" component of a heavy-particle propagator vanishes exponentially in the heavy-mass limit [51]. For this reason we did not need to consider Π 12 in [8]. But we need to consider it here if we want to keep exponentially suppressed terms. Cutting In figure 29 the red curve shows the difference between the exact neutrino production rate at order λ (top-Yukawa and gauge couplings set to zero) and the neutrino production rate at leading order in T /M multiplied by (1 + n B (M/2) − n F (M/2)) divided by the neutrino production rate at next-to-leading order in T /M . The grey band shows the region where the discrepancy between the exact production rate and the next-to-leading order one is not larger than the next-to-leading order one. We see that now the curve is in the grey band for T /M 1/2. Moreover, higher-order corrections in T /M do not change the sign of the next-to-leading order correction. The result is consistent with our understanding of the problem and in fact provides a simple way to solve it.
This computational scheme could be also implemented in the case of the CP asymmetry. For the direct CP asymmetry, the leading-order diagrams are in this case given by the two-loop diagrams shown in figure 3. Because we are cutting them and taking the imaginary parts of the remaining one-loop subdiagrams, exponentially suppressed contributions can be computed straightforwardly taking into account the combinatorics of all possible physical and unphysical degrees of freedom contributing to Π 11 and Π 12 at two loops. A computation along this line is in [22]. For the indirect CP asymmetry, the computation JHEP03(2016)191 may be done in the EFT, whose parameters are the thermal decay widths and masses. The exponential improvement of the widths has been discussed in the previous paragraphs.
Finally, we comment about the neutrino momentum k. Strictly speaking the nonrelativistic expansion is an expansion in T /M and k/M and is as good as these two parameters are small. If k is chosen to be equal to T or smaller, as we did in figure 29, then T /M is the relevant expansion parameter. But if k = 2T , k = 3T , . . . then this is k/M . In particular, one has to expect (naively) the exact result to overlap with the result of the perturbative series at temperature 2, 3, . . . times smaller than one would have for k ≤ T .
Open Access. This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.