{'fraction_non_alphanumeric': 0.04037051894533387, 'fraction_numerical': 0.017723642463805114, 'mean_word_length': 4.24822966507177, 'pattern_counts': {'":': 0, '<': 5, '<?xml version=': 0, '>': 4, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 9, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Majorana vs Pseudo-Dirac Neutrinos at the ILC

Neutrino masses could originate in seesaw models testable at colliders, with light mediators and an approximate lepton number symmetry. The minimal model of this type contains two quasi-degenerate Majorana fermions forming a pseudo-Dirac pair. An important question is to what extent future colliders will have sensitivity to the splitting between the Majorana components, since this quantity signals the breaking of lepton number and is connected to the light neutrino masses. We consider the production of these neutral heavy leptons at the ILC, where their displaced decays provide a golden signal: a forward-backward charge asymmetry, which depends crucially on the mass splitting between the two Majorana components. We show that this observable can constrain the mass splitting to values much lower than current bounds from neutrinoless double beta decay and natural loop corrections.


Introduction
Extensions of the Standard Model that can explain neutrino masses [1][2][3][4] are well motivated leads to the new physics realm. The mass scale of the neutrino mass mediators is unknown, and the possibility that they could be light enough to be produced and tested in laboratory experiments has been extensively discussed in the literature. Particularly interesting signals of this type of new physics are displaced vertices [5][6][7][8][9][10][11][12][13], since usually such light mediators are also very weakly coupled and have long lifetimes.
Present and future colliders have the opportunity to discover or constrain interesting regions of parameter space in these models, particularly in connection with low-scale leptogenesis [14][15][16][17][18][19][20][21][22][23][24][25][26][27][28][29][30][31]. The possibility to test leptogenesis scenarios is however very challenging due to the large parameter space that can affect the generated baryon asymmetry. The putative discovery of the neutrino mass mediators and the measurement of their properties will be essential to achieve this goal. Particularly important questions are establishing the Majorana nature of the heavy neutral leptons expected in the Type I seesaw model and measuring their mass spectrum [32] and flavour mixings [11].
Determining the Majorana nature for on-shell particles is in principle straightforward, it is sufficient to observe their lepton number violating decays (LNV). However, light neutrino mass mediators with sufficiently large mixings require an approximate lepton number symmetry to avoid fine-tuning [33][34][35][36][37]. This implies that mediators come in quasi-degenerate pairs (i.e. pseudo-Dirac particles) that interfere destructively to cancel the LNV decays [34]. We expect on general grounds that the cancellation of LNV decays will be effective provided the mass splitting, δM , of the pseudo-Dirac pair is small compared to their decay width, Γ, which typically requires a strong degeneracy. On the other hand, if LNV decays are not suppressed, i.e. δM Γ, it is interesting to understand to what extent their existence can be established.
In this paper we consider the production of pseudo-Dirac neutrinos N in a e + e − collider, in processes such as e + e − → N ν, leading to a displaced semileptonic decay, N → l ± jj. The total number of positive and negative leptons in the displaced vertex is not a good discriminator of the Majorana nature, because the final light neutrino or antineutrino goes undetected. We will argue however that the pseudorapidity distribution of the final lepton changes drastically in the two cases and therefore is a good discriminator. Other recent proposals to use angular information to test the Majorana nature have been recently discussed in [38,39].
The paper is organized as follows. In Section 2 we review the minimal Type I seesaw model, where we define our notation and link the heavy neutrino mass splitting δM with LNV parameters. In Section 3, we review the current most stringent constraints on δM that come from neutrinoless double beta decay, and the requirement of no fine-tuning between tree and loop corrections to the light neutrino masses. In Section 4 we examine the process e + e − → νN → νl ± W ∓ * , and show that the LNV contribution effectively vanishes when the mass splitting (and width difference) goes to zero. In Section 5 we study this process at the ILC, and quantify the forward-backward charge asymmetry of the lepton as a function of δM . Backgrounds are avoided by requiring the heavy neutrino signature to include a displaced vertex. The putative observation of such an asymmetry implies strong bounds on δM of the order of decay width, that could useful to constrain resonant leptogenesis scenarios [40].

The Minimal Type I Seesaw Model
The minimal way of generating neutrino masses is achieved by extending the SM with two heavy Majorana spinors, singlets under the gauge symmetries, which are usually identified as sterile neutrinos or neutral heavy leptons. By imposing a lepton number symmetry [33,41], one can assign the two Majorana fields opposite lepton number charges, such that the Lagrangian reads: The two degenerate Majorana spinors can be combined into one massive Dirac neutrino. After electroweak symmetry breaking, the allowed terms in the Lagrangian lead to the following mass matrix in the basis (ν α , N 1R , N 2R ): where (m D ) α = v √ 2 Y α1 is a three component vector. Even though lepton flavour is violated in this limit, lepton numbers is not and the SM neutrinos remain massless.
If the above structure is perturbed by slightly breaking the lepton number symmetry, the heavy Majorana pair are no longer degenerate and the Dirac fermion becomes a pseudo-Dirac one. The perturbed mass matrix can be written: where µ, µ and ε are lepton number violating (LNV) terms, which can be kept small in a technicallynatural way. In particular, µ and µ contribute to the splitting of the heavy states. When all the LNV parameters are small µ, µ , ε M , we expect LNV processes to be suppressed accordingly [34].
In contrast with the standard seesaw, the smallness of neutrino masses does not require a large hierarchy m D M , it is sufficient to suppress two LNV parameters: µ, ε M . On the other hand, the splitting of the heavy states also depends on µ , which has a negligible impact on light neutrino masses at tree level. If µ is large, one can have a sizeable splitting of the heavy states and can expect unsuppressed contributions to LNV processes. Nevertheless, in this case large loop corrections to light neutrino masses are also expected, which must be kept under control [37].
Even though the parametrization in Eq. (2) is useful in order to understand the role of LNV terms, one can also use a more convenient one involving the physical neutrino masses and the mixing angles [44]. The extension proposed in [45] is the one we shall use in this work. Here, the neutrino mixing matrix is divided into four blocks, which can be written 1 in all generality as: Here, the labels a = (e, µ, τ ) and s = (s 1 , s 2 ) on the mixing matrices refer to the active (SM) and sterile neutrino interaction states, respectively, while = (1, 2, 3) and h = (4, 5) refer to the light and heavy neutrino mass eigenstates. U PMNS is a unitary matrix which represents the light neutrino mixing, up to corrections from non-unitarity. As we are including two sterile neutrino states, only two light neutrinos acquire mass. This information is encoded in the 2 × 2, diagonal m and M h matrices, which contain the light and heavy neutrino masses, respectively. The R matrix, originally introduced in [44], is in this case a 2×2 orthogonal complex matrix, fully defined in terms of the complex angle: θ 45 + iγ 45 . Finally the H,H hermitian matrices are defined by and contain the violations of unitarity. Large γ 45 is in one-to-one correspondence to the µ, ε M ∼ m D region. It is this corner of parameter space where the flavour mixings of the heavy states can be larger than what the naive seesaw scaling would suggest, i.e. |U ah | 2 ∼ m l /M h , and therefore offers better detection prospects.
Present constraints imply a strong upper bound on x ≡ ( m 2, 3 /M 4, 5 cosh γ 45 ). An expansion in x gives: with: One finds that for heavy neutrino masses of the order of the GeV, γ 45 is bounded to values lower than 10 by LFV experiments, such as µ → eγ and µ − e conversion [8]. θ 45 on the other hand remains unconstrained.
The full neutrino mass matrix, in the large γ 45 limit, has the general form: where again (m D ) ah are three component vectors: With this, a field redefinition can readily put the neutrino mass matrix in the form of Eq.
and tan θ = M 5 /M 4 . In this case, we find µ = δM ≡ M 5 − M 4 , while µ and ε become of the order of the neglected terms, and therefore very small. Thus, as was shown in [46], we find that µ can encode a large violation of lepton number without affecting significantly the light neutrino masses at tree level, and that this effect depends on the mass splitting between the heavy neutrinos.

Current Constraints on Mass Splittings
The mass splitting of the heavy neutrinos is connected primarily to µ in the region of interest and LNV processes such as neutrinoless double beta decay (0νββ) are very sensitive to it [37,47]. Thus, the non-observation of this process can set an upper bound on the splitting. In addition, loop corrections to the light neutrino masses have also been shown to be sensitive to µ [37,46], so requiring no unnatural cancellation between tree level and one loop corrections to neutrino masses can also severely constrain the value of the splitting. Provided that loop corrections to neutrino masses can be neglected, the total contribution to 0νββ can be written as [8,48]: where m ββ is the light neutrino contribution, . We show contours for δM/M 4 = 1, 10 −2 , 10 −4 , 10 −6 in solid, dashed, dash-dotted and dotted lines, respectively. The shaded blue region is ruled out by direct searches, taken from [49], while the red region is ruled out by LFV experiments [50,51]. The blue and red dots correspond to the light and heavy benchmarks, respectively, defined in Section 5.
The NMEs remain practically constant up to neutrino masses larger than ∼ 100 MeV, and from this point they decrease with the inverse of M 2 i [48]. Important limits are: If both neutrinos are much lighter than 100 MeV, the amplitude of this process vanishes. If both neutrino masses are larger than 100 MeV, the heavy neutrino contribution is suppressed by the NME, but the second term in Eq. (11) can be sizeable for masses up to O (10 GeV), depending on the value of U 2 e4 . This term vanishes however if M 4 and M 5 are degenerate. As we have seen, this essentially means setting µ → 0 and suppressed LNV.
On the other hand, loop corrections to light neutrino masses have also been extensively studied in the past [46,52,53]. In our approximation these are given by: where m Z and m H are the Z and Higgs boson masses, respectively. In this case, due to the structure of m D in Eq. (8), the leading term again vanishes if the mass splitting goes to zero. Conversely requiring the loop corrections to be sufficiently small, gives an upper bound on the heavy neutrino mass splitting or on the heavy neutrino mixing for a fixed value of the splitting. In Figure 1 we show iso-contours of maximum splitting δM/M 4 on the plane (M 4 , |U e4 | 2 ) as can be derived from current constraints on 0νββ [54] and loop corrections. To obtain the limits from 0νββ, we neglect the light neutrino contribution, since it is significantly below the present experimental limit in this model, in other words, we only consider the second term of Eq. (11). For each point, we require A ββ /M 0νββ (0) < 165 meV [54] , which becomes the most important constraint for M 4 1 GeV. Moreover, we require loop corrections to be at most of the same order of magnitude of the light neutrino masses. This becomes the most important bound for M 4 > O (1 GeV). These bounds are compared with present constraints for direct searches and lepton flavour violating processes. For example, we find that for M 4 = 10 GeV the mass splitting must be below 1 MeV for active-heavy mixing close to the experimental limit.

LNV at Electron-Positron Colliders
In the previous section we have shown that strong limits to heavy neutrino mass differences and LNV exist. This points towards heavy neutrinos being pseudo-Dirac fermions in the region of the parameter space where this scenario can be tested in future colliders. It might seem hopeless in this situation to be able to determine the mass splitting by kinematical methods. However, the Majorana nature of the heavy neutrinos is essential to establish their connection to the light neutrino masses. This motivates the exploration of other collider observables that are sensitive to LNV processes, which can either determine if the heavy neutrinos are Majorana particles, and/or set stronger bounds on the heavy neutrino mass difference.
One such observable are the heavy neutrino oscillations after production [32,55]. In this paper, we consider instead a possible asymmetry in the pseudorapidity distribution of a charged lepton coming from heavy neutrino decay. Specifically, we will focus on e − e + → νN * → ν µ W ( * ) . In this section, we shall discuss this process in depth, without being concerned about the experimental signature nor the backgrounds, which will be taken into account in the following section.
Let us consider the production of a negatively charged muon. The process can be mediated by different amplitudes, such as those shown in Fig. 2. The diagram on the left in Fig. 2 is lepton number conserving (LNC), and it occurs regardless of N being Dirac or Majorana. In contrast, the diagram on the right is LNV, and can only occur if N is Majorana. Both contributions cannot be told apart because of the presence of a light left-or right-handed neutrino in the final state, which is unobserved. However, we shall see in the next section that the pseudorapidity distribution of the lepton will be different and therefore this observable is a discriminator of the LNV and LNC situations.
We consider the two contributions to the amplitude for the process in Fig. 2 and will show explicitely how the B diagram vanishes for pseudo-Dirac neutrinos in the LNC limit. Their amplitudes are [56]: where we call p 1 , . . . , p 5 the momenta of e − , e + , µ − , W +( * ) , ν respectively. Here, the term * λ (p 4 ) represents the final state coming from the W ( * ) . If the W is on-shell, it would be a polarization vector, otherwise it represents an additional W propagator coupled to a fermion current. The propagator of each virtual heavy neutrino N j , with mass M j and width Γ j is: with q = p 3 + p 4 . In our calculation, we have written the virtual W propagator D µν in the unitary gauge, which can depend on p A = p 5 − p 2 or p B = p 5 − p 1 . Direct inspection shows that the interference terms between A and B amplitudes are proportional to the masses of the light neutrinos, so they can be safely neglected. The total unpolarized amplitude squared is therefore of the form with Here, we have defined: and : , .
The Majorana nature of the heavy neutrino is revealed by the presence of the B contribution. Thus, we expect |M B | 2 to vanish in the LNC limit, in which the mass splitting goes to zero: Let us first analyse the A contribution, which is proportional to the term: Writing the mixings in our parametrization (see Eqs. (3) and (5)) we obtain: where the interference of the contribution from the two virtual neutrinos is explicitely shown. In the LNC limit, Eq. (22), we get the non-vanishing result: For the B contribution, we find instead: which goes to zero in the LNC limit, as expected. In order to properly understand the behaviour of Φ B near this limit, we Taylor expand in δM = M 5 − M 4 , and δΓ = Γ 5 − Γ 4 . We find the first non-vanishing term at second order: (27) We can set the heavy neutrino to be on-shell by taking q 2 → M 2 4 , which implies that |f (M 4 )| 2 → M 2 4 Γ 2 4 . In this limit, we can compare both contributions in a straightforward way: We find that, for Φ B not to be negligible in front of Φ A in the LNC limit, one needs at least one of the ratios δM/Γ 4 or δΓ/Γ 4 to be non-vanishing. In practice δM δΓ and therefore the ratio is controlled by (δM/Γ 4 ) 2 . This result is to be expected since the cancellation of the LNV contribution requires the interference of the amplitudes mediated by the two heavy neutrino states. Such interference can only occur if δM is sufficiently smaller than the decay width Γ 4 .

Forward-Backward Asymmetry at the ILC
We now consider the pseudorapidity distribution of the final lepton, = e or µ for each charge separately. To understand the origin of the asymmetry in this distribution, we can start by considering the pseudorapidity distribution of the heavy pseudo-Dirac neutrino in the two diagrams of Fig. 2, i.e. in combination with a light neutrino, which can be either left-handed ν or right-handedν. Any asymmetry in the pseudorapidity of the heavy neutrino will be inherited by the final lepton due to the boost. The contribution of W exchange to the unpolarized differential cross section for the process e + e − →νN i (neglecting the electron and light neutrino masses) is given by: with θ the angle between the heavy neutrino and the incoming electron. The amplitude squared is: where s, t are the Mandelstam variables. Changing variables to the pseudorapidity of the heavy neutrino: we find which is shown of the left panel of Fig. 3 for √ s = 250 GeV and M i = 5 GeV. The asymmetry varies very little with the mass of the M i but is very sensitive to √ s.
If we define the pseudorapidity asymmetry as Name Mass (GeV)  Table 1: Benchmark scenarios considered in our study for a normal light neutrino hierarchy. We show masses, mixing, decay width and decay length.
we get A η = 0.9743. The subleading Z-exchange contribution at this center of mass energy, e + e − → Z * →ν N i also gives an asymmetry, but it is smaller. The contribution of the process e + e − → νN i via W exchange gives exactly the opposite distribution in pseudorapidity, so that the sum of the two contributions gives the result on the right panel of Fig. 3, that is, zero asymmetry.
Since the N i has a significant boost, the decay products follow the same angular distribution. We expect therefore a significant asymmetry in pseudorapidity of leptons with a given charge in the Dirac case, where only one diagram contributes, versus the Majorana case where both do equally.
The heavy neutrino production is expected to have a very large background coming from the SM process e − e + → W + W − . In order to avoid this background, we require the heavy neutrino to be nearly on-shell, with a large enough lifetime in order to decay far from the interaction point. Experimentally, this leaves a displaced vertex signature, which has been studied extensively in the literature [5][6][7][8][9][10][11][12][13]. To be able to observe this signature at the LHC or future colliders, the lifetime needs to be large enough, which requires heavy neutrinos with masses between 1 − 50 GeV.
In order to study the prospects of measuring this lepton asymmetry at the ILC, we have implemented the model in SARAH 4.13.0 [57][58][59], with the calculation of the mass spectrum and decay widths carried out in SPheno 4.0.3 [60,61]. The output of both programs was input into WHIZARD 2.6.0 [62,63], which generated e + e − interactions at the ILC. The simulation included a polarization of (0.80, 0.30) for the initial state electrons and positrons, respectively, as well as ISR and beamstrahlung. Following the reports in [64,65], the collisions were produced at a center-of-mass energy of 250 GeV, with a final integrated luminosity of 2 ab −1 . As our final state involves quarks, coming from W * (p 4 ), the parton shower and hadronization of the jets was carried out with the built-in version of Pythia 6 [66]. For the detector simulation and reconstruction of events, we used DELPHES 3.4.1 [67,68], with the DSiD card [69].
The procedure for establishing the cuts on the displaced vertex follows the discussion in [10,11,70], with the heavy neutrino momentum being reconstructed from the parton-level quark and charged lepton momenta. With this, as well as with the heavy neutrino lifetime, we use the appropriate probability distribution to randomly assign a position for the secondary vertex. This position must be contained within the detector, that is, if L T and L z are, respectively, the transverse and longitudinal coordinates of this vertex, we require: In addition, we need L T > 10 µm, in order to avoid SM backgrounds from long-lived meson decays [10]. However, the most important cut is on the impact parameter d of the charged lepton on the final state, given by: where L x,y and p x,y are the components of L T and p T , respectively, on the X and Y axes. In what follows, we consider two benchmark scenarios (light and heavy), which have a high probability of satisfying the previous constraints. These benchmarks differ by the heavy neutrino masses and mixing, with further details given in Table 1.
In Figure 4, we present the pseudorapidity distribution of the − , for both benchmarks. We show results for different mass splittings, depending on the value of Γ 4 . The top row shows the distribution for δM Γ 4 . Following our reasoning from Section 4, we expect the LNV contribution for this process to be negligible, such that the − will be necessarily produced in association with aν. As a consequence, the − should follow the pseudorapidity distribution shown on the left panel of Figure 3, which is what we observe. Similarly, the + will be produced in association with a ν, and follows the opposite distribution. This means that, in this situation, two opposite forward-backward asymmetries can be expected, one for the − and one for the + .
The bottom row shows the same pseudorapidity distribution when δM Γ 4 . Here the LNV contribution is larger, such that the − can be produced in association with either a ν or aν, equally favouring both signs of pseudorapidity. As the same behaviour is observed for + , this leads to the vanishing of both asymmetries. This confirms that the asymmetry depends directly on the mass difference δM , such that the latter can be constrained by the observation of the former.
In order to quantify this statement, we define the forward-backward asymmetry A ± η for a lepton with  Figure 5: Forward-backward asymmetry as a function of (δM/Γ) 2 . We show the 3σ region for A − η (A + η ) in red (blue). The light and heavy benchmarks are shown on the left and right, respectively. specific charge as: where N ± (η > 0) and N ± (η < 0) are the number of events where ± has positive or negative pseudorapidity, respectively, and N ± tot = N ± (η > 0) + N ± (η < 0). In Figure 5, we calculate A ± η for several values of (δM/Γ 4 ) 2 and interpolate the results. The shaded regions indicate the 3σ confidence intervals, evaluated by taking into account the expected number of events. We find that the behaviour on the LNV and LNC limits matches our expectations, that is, A ± → 0 when (δM/Γ 4 ) 2 → ∞, and |A ± | ∼ 1 for (δM/Γ 4 ) 2 → 0.
For the light benchmark, we have a relatively large enough number of events, so the asymmetry can be determined with good precision. At 3σ, A ± η is compatible with zero for (δM/Γ 4 ) 2 20, and with ±1 for (δM/Γ 4 ) 2 1. Therefore, (not) observing the asymmetry establishes upper (lower) limits on δM , depending on Γ 4 . In addition, we have a region where |A ± η | might be measured to be neither zero nor unity. In this case, the splitting could be constrained as O (1) < (δM/Γ 4 ) 2 < O (10). Such an observation would be particularly interesting in connection to resonant leptogenesis models.
On the other hand, the heavy benchmark has much less events and the precision is poorer. The asymmetry is compatible with zero for (δM/Γ 4 ) 2 0.3 and with unity when (δM/Γ 4 ) 2 1. Here we can again place upper or lower bounds on δM , provided we know Γ 4 . In this case there is not enough precision to measure |A ± η | to be different from both zero and unity at 3σ. We now proceed to quantify the hypothetical bound on δM , based on the observation, or not, of a pseudorapidity asymmetry by combining the data for the two charges: For the light benchmark, still quoting 3σ errors, we find A tot η = 0.94 ± 0.09 when (δM/Γ 4 ) 2 = 10 −2 , A tot η = 0.75 ± 0.15 for (δM/Γ 4 ) 2 = 1, and A tot η = 0.01 ± 0.24 if (δM/Γ 4 ) 2 = 10 3 . Observing the asymmetry at 3σ would mean that (δM/Γ 4 ) 2 0.16, which implies δM 8 µeV. In contrast, a symmetric distribution would be observed for (δM/Γ 4 ) 2 45, which leads to δM 100 µeV.
It is clear that these hypothetical constraints, of the order of µeV (meV) for the light (heavy) benchmark, are significantly stronger than any of those obtained in Section 3. This test thus implies a powerful way to indirectly extract information on δM , and with it probe the nature of the heavy neutrinos as well as the breaking of LNV in Nature.

Conclusions
The minimal Type I seesaw adds two heavy neutrinos to the SM, providing mass to two light neutrinos. By choosing the model parameters appropriately, one can have relatively large active-heavy mixing even if the heavy neutrinos have masses of the order of the GeV. This is possible due to specific textures within the full neutrino mass matrix, motivated by the small breaking of Lepton Number, with LNV elements linked to δM = M 5 − M 4 , the mass splitting of the heavy neutrinos. Currently, constraints coming from neutrinoless double beta decay and loop corrections require, in the parameter space accessible to colliders, values of δM/M 4 between O 10 −2 and O 10 −6 .
In this work we have considered heavy neutrino production at the ILC, with the heavy neutrinos decaying into a charged lepton and jets. We have demonstrated that LNV channels vanish when δM → 0, consistent with expectations. In addition, we have shown that, in the pseudo-Dirac limit, the ratio between LNV and LNC contributions is proportional to (δM/Γ 4 ) 2 .
The presence of the LNV diagrams can be tested by observing the pseudorapidity distribution of the charged leptons into which the heavy neutrinos decay. We have shown that, when the LNV contribution is absent, the distribution of a lepton with specific charge is asymmetric. In contrast, when δM is large and LNV cannot be neglected, the asymmetry is absent. Thus, the presence of an asymmetric pseudorapidity distribution can set bounds on δM as a function of Γ 4 .
The process we explored in this work has very large backgrounds. To reduce them, we are forced to demand the existence of a displaced vertex. At the ILC, this requires values of M 4 between 1 and 30 GeV, with Γ 4 ranging from µeV to meV. This means that the values of δM that we can probe are around this order. For M 4 = 5 GeV, we find we can place upper, or lower, bounds on δM/M 4 ∼ O 10 −14 . For M 4 = 20 GeV, the bounds are of the order of δM/M 4 ∼ O 10 −12 . Thus, the study of the asymmetry can determine if the mass splitting is smaller or larger than these scales, establishing bounds which are much more precise than those currently available.