Displaced vertex searches for sterile neutrinos at future lepton colliders

We investigate the sensitivity of future lepton colliders to displaced vertices from the decays of long-lived heavy (almost sterile) neutrinos with electroweak scale masses and detectable time of flight. As future lepton colliders we consider the FCC-ee, the CEPC, and the ILC, searching at the Z-pole and at the center-of-mass energies of 240, 350 and 500 GeV. For a realistic discussion of the detector response to the displaced vertex signal and the Standard Model background we consider the ILC’s Silicon Detector (SiD) as benchmark for the future lepton collider detectors. We find that displaced vertices constitute a powerful search channel for sterile neutrinos, sensitive to squared active-sterile mixing angles as small as 10−11.


Introduction
Neutrino oscillation experiments have provided us with convincing evidence that at least two of the light neutrinos are indeed massive. The absolute mass scale of the light neutrino masses is bounded to lie below about 0.2 eV from neutrinoless double beta decay experiments and cosmological constraints, see for instance refs. [1,2] for recent reviews.
An efficient and elegant extension of the Standard Model (SM), that aims at generating the light neutrinos' masses, is given by adding sterile ("right-handed") neutrinos to its field content (see e.g. ref. [3] and references therein). The sterile neutrinos can have a socalled Majorana mass as well as Yukawa couplings to the three active neutrinos and to the Higgs doublet. When the electroweak symmetry is broken, the sterile and active neutrinos mix, which yields light and heavy mass eigenstates that are each subject to a number of experimental constraints.
The naïve one-family type I seesaw relation, given by m ν ≈ y 2 v 2 EW /M , imposes either tiny neutrino Yukawa couplings y (for Majorana masses M on the electroweak scale), or Majorana masses around the Grand Unification scale (for Yukawa couplings of order one), such that an observation of this kind of heavy neutrino at colliders is not very promising. This relation does not hold for seesaw scenarios with two or more sterile neutrinos with a protective symmetry, e.g. a "lepton-number-like" symmetry. In those scenarios, no constraints on the neutrino Yukawa couplings and the Majorana masses arise from the light neutrinos' mass scale (see e.g. refs. [4][5][6][7][8][9]). In this case the Yukawa couplings (or, alternatively, the active-sterile mixing angles) are theoretically unsuppressed, which in principle JHEP12(2016)007 allows for effects to be searched for at particle colliders. A very interesting effect arises from heavy neutrinos with masses below the W boson mass and with very small mixings. Such heavy neutrinos have suppressed couplings to the W and Z as well as to the Higgs boson h, which leads to a long enough lifetime for a potentially visible displacement from the interaction point. Via virtual W, Z and h they decay into the kinematically available SM particles. This effect of a secondary vertex from the decays of the heavy neutrino, that is displaced from the primary vertex, yields an exotic signature and constitutes a powerful search channel for heavy neutrinos at particle colliders. This type of signature is being looked for by the ATLAS and CMS collaborations in their searches for long-lived neutral particles [10,11].
The sensitivity of the LHC to heavy neutrinos via displaced vertex searches has been studied in refs. [12][13][14][15][16][17][18][19][20], which derived a constraint on the squared active-sterile mixing angle |θ| 2 < 10 −5 for heavy neutrino masses ∼ 20 GeV, and prospects for a sensitivity of |θ| 2 ∼ 10 −7 for 300 fb −1 . Estimates for the sensitivity reach of long-lived heavy neutrinos via displaced vertices have been made for the Z-pole run of the Future Circular electron positron Collider (FCC-ee) in ref. [21], showing a remarkable improvement over the LHC reach, and the results from the DELPHI collaboration [22] at the Large Electron Positron collider (LEP).
In this work, we deepen and extend the study in [21], where a first look at the sensitivity of displaced vertex searches for sterile neutrinos at the FCC-ee was taken. In particular, we put emphasis on the response of the detector to the heavy neutrino signal and the conceivable SM backgrounds. As a benchmark detector for the future lepton colliders we consider the Silicon Detector (SiD), designed for the International Linear Collider (ILC). We derive realistic estimates for the sensitivities of the FCC-ee, the Circular Electron Positron Collider (CEPC) and the ILC. These future colliders each have their unique physics program, defined by a target luminosity at the Z pole, the Higgs threshold run 1 at 250 GeV, the top threshold scan at 350 GeV and for the ILC also 500 GeV. Our theoretical framework is given by the Symmetry Protected Seesaw Scenario (SPSS) (see ref. [23]), wherein the heavy neutrino masses and the active-sterile neutrino mixings are not subject to the naïve type I seesaw relation and thus not constrained by the light neutrinos' mass scale.
The paper is structured as follows. In section 2 we review the Symmetry Protected Seesaw Scenario. We discuss the production of heavy neutrinos in leptonic collisions and the lifetime of the produced heavy neutrinos before their decay in section 3. The future experiments are defined in section 4, the response of the SiD is discussed, and the results of the analysis are presented. We summarise and conclude in section 5.

The symmetry protected seesaw scenario
Sterile (or right-handed) neutrinos can have Majorana masses around the electroweak (EW) scale and unsuppressed active-sterile mixings, when they are subject to a "lepton-numberlike" symmetry. The relevant features of seesaw models with this kind of protective symmetry, cf. refs. [4][5][6][7][8][9] for models with similar structures, may be represented by the benchmark JHEP12(2016)007 model that was introduced in [23] and which we refer to as the Symmetry Protected Seesaw Scenario (SPSS). The SPSS considers a pair of sterile neutrinos N I R (I = 1, 2) and a suitable "lepton-number-like" symmetry, where N 1 R (N 2 R ) has the same (opposite) charge as the left-handed SU(2) L doublets L α (α = e, µ, τ ). Light neutrino masses and other leptonnumber-violating effects can be introduced by a small deviation from the exact symmetry limit. The Lagrangian density of the SPSS, in the symmetric limit, is given by where L SM contains the usual SM field content and with L α and φ being the lepton and Higgs doublets, respectively. The y να are the complex-valued neutrino Yukawa couplings and the Majorana mass M can be chosen real without loss of generality. We note that the SPSS allows for additional sterile neutrinos, provided their mixings with the other neutrinos are negligible, or their masses are very large, such that their effects decouple. This is a minimal framework that can explain the two observed mass squared differences of the light neutrinos and features four independent parameters relevant for collider experiments, namely the three y να and M . From eq. (2.1) we can derive the mass matrix M of the neutral fermions, which can be diagonalised with the unitary leptonic mixing matrix U (a parametrization to O(θ 2 ) can be found for instance in ref. [23]): The mass eigenstates are the three light neutrinos ν i (i = 1, 2, 3), which are massless in the symmetric limit, and two heavy neutrinos N j (j = 1, 2) with degenerate mass eigenvalues. The mixing of the active and sterile neutrinos can be quantified by the mixing angles and their magnitude: Due to the mixing between the active and sterile neutrinos, the light and heavy neutrino mass eigenstates interact with the weak gauge bosons. The present constraints from past and ongoing experiments and the sensitivities of future lepton colliders to the heavy neutrinos for the SPSS have been presented and discussed in [23][24][25]. Further observable features of models with right-handed neutrinos have been investigated with respect to collider phenomenology in [3,[26][27][28][29][31][32][33][34][35][36][37][38][39][40][41][42][43][44][45][46][47][48][49][50].

Vertex displacement of heavy neutrinos
In this section we introduce the preliminaries for the search for long-lived heavy neutrinos via displaced vertices. In this line we present the production mechanism for heavy neutrinos and the corresponding cross sections at lepton colliders for various center-of-mass energies. After their production a long-lived heavy neutrino can travel a finite distance before it decays, which is a stochastic process and follows an exponential probability distribution. We quantify the number of heavy neutrinos that can be expected with a specific displacement.  Figure 2. Production cross section for heavy neutrinos at the FCC-ee, CEPC and ILC at different center-of-mass energies, divided by the square of the active-sterile neutrino mixing angle. Initial state radiation is included for both plots and for the ILC a (L,R) polarisation of (80%, 30%) and beamstrahlung are also included.
The mechanisms of heavy neutrino production at e + e − -colliders are mediated by the weak gauge bosons and depicted by the Feynman diagrams in figure 1. We define the heavy neutrino production cross section, to leading order in the small active-sterile mixing, by where we sum over all the light neutrinos (i = 1, 2, 3) and the two heavy neutrinos (j = 1, 2), and the cross section is a function of the center-of-mass energy √ s. We implemented the SPSS via Feynrules [51] into the Monte Carlo event generator WHIZARD 2.2.7 [52,53] and evaluated the heavy neutrino production cross section, including initial state radiation for all colliders, and lepton beam polarisation for the ILC, for the center-of-mass energies 90, 250, 350 and 500 GeV, as shown in figure 2. At the Z-pole, the production of heavy neutrinos via the s-channel Z boson is dominant, which is sensitive to all neutrino Yukawa couplings |y να | ( α = e, µ, τ ). However, for larger center-of-mass energies, the dominant contribution to the production cross section of the heavy neutrinos comes from the tchannel exchange of a W boson, which is only sensitive to |y νe |. The heavy neutrinos decay into SM particles and their lifetime τ is given by the inverse of the decay width Γ N . For heavy neutrinos lighter than the W boson mass, their decays, which occur via off-shell gauge and Higgs bosons, are suppressed. Furthermore, for small active-sterile mixing angles the |θ| 2 dependency on Γ N can render the heavy neutrinos long-lived compared to SM particles. We evaluate the proper lifetimes from the decay widths for heavy neutrino masses larger than 1 GeV with WHIZARD. In figure 3 we show the resulting proper lifetime as a function of the heavy neutrino mass, together with the analytical formula from ref. [54]  Depending on the lifetime of the heavy neutrino, it can travel a finite distance after its production at a particle collider before it decays. The heavy neutrino lifetime in the laboratory frame is related to the proper lifetime by with the Lorentz factor γ = M 2 + | p N | 2 /M , where p N is the three momentum of the heavy neutrino. Due to the production process of the heavy neutrino being a 2→2 process with one massive particle in the final state, the magnitude of the three momentum can be expressed as with √ s being the center-of-mass energy. The decay of a long-lived heavy neutrino is a stochastic process and follows an exponential probability distribution. Its probability to decay with a displacement x from the primary vertex with x 1 ≤ x ≤ x 2 (where x 1 and x 2 are an inner and outer boundary) is given by  Figure 4. Proposed modi operandi, defined by target integrated luminosities for each center-ofmass energy, for the considered future lepton colliders. For the FCC-ee [55] we use the product of the target instantaneous luminosities from [56] (for two interaction points) and the envisaged run-times, and the Higgs run with a center-of-mass energy of 240 GeV. For the CEPC we use the exemplary integrated luminosities from the preCDR [57]. For the ILC [58] we consider the G-20 operation scenario from refs. [59][60][61], and we further include the Giga-Z operation.

FCC-ee CEPC ILC
with Combining production and decay of heavy neutrinos at lepton colliders yields the expected number of heavy neutrinos, which are produced at the interaction point and decay with a displacement of at least x 1 and at most x 2 : with the integrated luminosity L and the heavy neutrino production cross section from eq. (3.1) and in figure 2. Contextualising the formula eq. (3.6) with the considered future lepton collider experiments is the subject of the next section.

Displaced vertices at future lepton colliders
The search for sterile neutrinos via displaced vertices is considered at the planned future lepton colliders, the FCC-ee, the CEPC, and the ILC, each with its own physics program as shown in figure 4. We note that we chose the operation scenario G-20 for the ILC because it considers the most integrated luminosity at 500 GeV, anticipating a more promising sensitivity. We furthermore add the Giga-Z operation, for which we reckon with 100 fb −1 (resulting in ∼ 10 9 Z bosons at the Z pole). Apart from the explicit modus operandi of a future lepton collider, the search for heavy neutrinos via displaced vertices also depends on the detector layout and its performance parameters. In the following we assess the detectability of the signal and possible SM backgrounds. For definiteness we consider the ILC's Silicon Detector (SiD) [62,63] as benchmark, which is chosen as an example and can be expected to yield a performance that is comparable to other planned detectors, e.g. the ILD [63,64].
The SiD's integrated tracking system is developed for the particle flow algorithm, and it consists in a powerful silicon pixel vertex detector, silicon tracking, silicon-tungsten electromagnetic calorimetry (ECAL) and highly segmented hadronic calorimetry (HCAL). Furthermore, the detector layout incorporates a high-field solenoid, and an iron flux return that is instrumented as muon identification system. The SiD geometry, separated into the barrel and the endcap, allows for a high level of hermeticity with uniform coverage and a transverse impact parameter resolution of ∼ 2 µm over the full solid angle. In the following, we assume a spherical symmetry for the SiD, which is sufficient for our analysis, and use the radii of the individual detector components from the barrel part, which are summarised in table 1.

Signal and background
We call the SiD response to the heavy neutrino decay products the signal, and its response to SM processes we call the background. The possible final states for heavy neutrino mass M < m W , with approximate branching ratios, are The branching ratios have a small dependency on the mass M , that will be neglected in the following. The heavy neutrinos are produced together with a light neutrino, such that their decay products are always associated with missing momentum. The experimental signature that arises from the decay of a long-lived heavy neutrino is given by exactly one secondary vertex, from where all visible particles in the detector originate.
The striking feature of only one visible secondary vertex makes the experimental signature of heavy neutrino decays very distinct from possible SM processes. The discussion of the backgrounds in the following is based on the simulation of O(10 7 ) SM events with WHIZARD [52,53] that were reconstructed with DELPHES [65] using the DSiD detector card [66]. We consider SM processes with the following final states: ff , ff γ, ff γγ, ff νν, ν qq , with f being a charged lepton or a quark, γ a photon and ν a light neutrino. From the considered final states, especially ff and events with neutrinos may give rise to a viable background in the following way: Figure 5. Schematic illustration of the signal, that is given by the decays of a heavy neutrino at a distance cτ from the interaction point. The SM background is given by two light neutrinos (νν) and two long-lived mesons m and m * , which decay sufficiently close to each other, such that only one secondary vertex can be resolved. The detector resolution δx is dependent on the detector component.
• Loss of particles in the beam pipe. Final state particles with a sufficiently small transverse momentum can remain inside the beam pipe and thus prevent detection. If one such particle recoils e.g. against an ISR photon it may get "kicked" into the detection volume, featuring typically a very small angle to the beam axis. This type of event could be vetoed against with hard gammas, or, similarly, with the angle between beam axis and visible particle. Furthermore, in this type of background the overall charge of the event may be measured as non-zero, which could provide the most powerful veto.
• Miss-reconstructed events. It is possible that a reconstruction algorithm does not identify a normally visible particle. These events can be vetoed against via energy deposits that are located in the detector region opposite the observed particle. Moreover, the overall charge can also be used as a veto.
• Merging of secondary vertices. When particles with finite lifetime are produced in pairs and decay sufficiently close to each other, such that their individual secondary vertices cannot be resolved from the tracking information, this can constitute a background. This implies that the particles have to be emitted in a very narrow solid angle, which necessitates the production of additional invisible particles, (i.e. light neutrinos) in order to balance the overall momentum. This removes the contribution from the ff events.
In the following, we assume that the above mentioned vetoes remove all the possible backgrounds from processes with one lost or miss-reconstructed particle. Although a loss of signal efficiency is to be expected by such vetoes, we do not consider this in the following. For a quantitative statement on the veto efficiency, a detailed analysis of this type of events after a full detector simulation is needed, which is beyond the scope of the present analysis. This promotes the merging of secondary vertices to the primary source of background for the displaced vertex searches. We show a schematic illustration of the displaced signal and backgrounds in figure 5. The probability of the decays of both SM particles occur within an unresolvable distance can be assessed with eq. (3.5) and by taking into account the narrow solid angle. When isotropic emission of the fermionic final states is assumed, see figure 6, the fraction of two mother particles that are emitted into a narrow solid angle can be estimated by Ω/4π, with Ω = 2π α 0 sin θdθ, α = arcsin(δx/2x), where δx is the spatial resolution of the detector and x the distance from the IP (i.e. the displacement).
To assess the expected signal efficiencies we simulated 10 6 events of semileptonic decays for M = 10 and 40 GeV, respectively. The fast reconstruction with DSiD 2 yields a signal efficiency of ∼ 80% to find at least one jet for M = 10 GeV. For M = 40 GeV we find the efficiencies of ∼ 99%, ∼ 60% and ∼ 20% to find one lepton, one jet, and two jets, respectively. Since one visible object is sufficient for the identification of a displaced vertex, we assume that the signal can be observed with 100% efficiency in the following.

Detector response: the search for heavy neutrinos via displaced vertices
The vertex displacement x is defined by the distance between the primary vertex where a mother particle (e.g. the heavy neutrino or a SM particle with finite lifetime) was produced, and the secondary vertex where the mother particle decays into a number of daughter particles. Since the primary vertex is experimentally unknown, we consider the center of the interaction point instead and use its extension as uncertainty.
Depending on the displacement of the long-lived heavy neutrino, its decay can take place in any of the SiD's detector components. Therefore every component can be considered as an independent probe for displaced vertices with a well defined boundary given by its extension, see table 1. In the following, we discuss the search for long-lived heavy neutrinos by investigating the individual response of the SiD components to their decays, and possible backgrounds. 2 We have adjusted the photon, electron, and muon isolation criteria to PTRatioMax = 0.12, 0.12, 0.25, respectively, and we set DeltaRMax = 0.5 for all three.

Inner region
We define the inner region as the volume that is enclosed by the vertex detector. The vertex displacement x can generally be inferred from the tracks of the decay products in the vertex detector and the tracker. The precision of x is limited by the resolution of the tracker and the spatial extension of the Interaction point (IP). At the ILC the IP has a vertical extension of ∼ 10 nm and we assume a vertical extension of ∼ 250 nm for the circular FCC-ee and CEPC for all the modi operandi. The impact parameter resolution of the SiD in the transverse plane is ∼ 2 µm. We note that due to our assumption of a spherical detector geometry, this parameter is also valid in the longitudinal direction. We therefore consider the resolution for displaced vertices x res , i.e. the minimum vertex displacement that is separable at 3σ from the IP, to be given by 6 µm for the ILC and 7 µm for the FCC-ee/CEPC. We remark that this resolution is strictly valid for vertical displacements only. We note that for an accurate assessment of the resolution the entire geometry of the detector and of the IP have to be taken into account, which, however, is beyond the scope of this paper.
Conventional search, x < x res . For heavy neutrino decays with x smaller than x res , the vertex displacement cannot be used to distinguish between signal and background. This necessitates a conventional search, where the kinematic distributions are used to distinguish the heavy neutrino signal from the SM background. For instance such a search for neutral heavy neutrinos produced in Z decays was conducted by DELPHI at LEP I [22]. The dominant SM background is given by four-fermion semileptonic and hadronic final states with missing momentum, namely ± νq q and ff νν, for f being a charged SM fermion and q = u, d, s, c, b. We assume that a conventional search for heavy neutrinos is possible as long as their decays have a displacement smaller than the outer radius of the tracker.
Search for displaced vertices, x ≥ x res . The SM particles with lifetimes that can lead to a displaced secondary vertex, that occur dominantly in the inner region, are the π 0 meson (cτ ∼ 20 nm), the τ lepton (cτ ∼ 0.1 mm), and all the D and B mesons (with cτ ∼ 0.1-0.5 mm). Any of these particles can fake the heavy neutrino signal given that they result in only one secondary vertex, implying that they are accompanied by two light neutrinos. In the inner region, two individual vertices cannot be separated when they are closer than 6 µm, which is set by the tracking resolution of the decay products at 3σ, and not to be confounded with x res .
We estimate the production cross section of the neutral pions to be smaller than σ(e + e − → qqνν) 100 fb (for √ s = m Z and without polarisation), which sets an upper limit of 10 7 events (at the FCC-ee for 110 ab −1 ) among which some may fake the heavy neutrino signal. Most pions decay into two photons, which cannot be mistaken as a signal event. The fraction of events that lead to a "signal-like" final state, for instance ννe + e − γ, is only O(10 −7 ). Furthermore, demanding that the two secondary vertices cannot be distinguished from each other at 3 σ, i.e. that their respective vertices are at most 6 µm apart (see figure 5), reduces the number of events by another factor of 10 −3 .

JHEP12(2016)007
The number of "signal-like" background events from τ leptons is slightly larger than those of D and B mesons. Considering the simultaneous decay of two τ leptons with cross section σ(e + e − → τ + τ − νν) 2 fb at √ s = m Z (no polarisation), we find that less than 1 event for 110 ab −1 can be expected with a displacement of x ≥ 10 µm at the FCC-ee. 3 We find that the backgrounds at higher center-of-mass energies are also effectively suppressed below one event for x > 10 µm (by the requirement that the mesons or the τ leptons are emitted into a narrow solid angle).
Another background for the searches at the Z pole may be the process e + e − → τ + τ − γ due to its large cross section of ∼ 1.6 nb. When the γ is hard and emitted in the direction of the beam pipe, it can escape detection. The condition of close-by decays of the two tau leptons within the inner region yields a suppression factor of ∼ 10 −6 , which leaves e.g. ∼ 10 5 potential background events at the FCC-ee. We remark however that the invariant mass of the decay products may allow to discriminate against this and the other similar backgrounds, when the mass M of the heavy neutrino is larger than the combined rest masses ∼ m m + m m (e.g. ∼ 2m τ ) of the two decaying particles. This may allow to resolve vertex displacements closer to the IP than 10 µm for M > 2m τ , while maintaining an almost background-free environment.

Vertex detector and tracker
The vertex detector is designed to detect the displaced vertices of heavy flavours for their efficient identification. The highly efficient charged particle tracking allows to recognise and measure prompt tracks in conjunction with the ECAL. The vertex displacement can be inferred from the impact parameter of the reconstructed tracks. We note at this point, that the resolution of the impact parameter degrades at the SiD when the heavy neutrino decays take place deep inside the tracker. In this case not all the silicon layers would respond to the tracks from the secondary vertex, which would reduce the resulting impact parameter resolution. Because we expect all the future lepton colliders to have at least one detector with continuous tracking, which has a larger number of layers and thus might experience less degradation of the resolution, we ignore this effect in the following.
For heavy neutrino decays inside the vertex detector/tracker, all kinematic information on the decay products are available, in particular the vertex displacement. Moreover, since the heavy neutrinos are neutral, the displacement becomes directly visible by an appearing secondary vertex whence the decay products emerge.
SM particles which have a vertex displacement that results in their decays taking place dominantly within the vertex detector, are given by the K S (cτ ∼ 2.68 cm) meson and the Λ baryon (cτ ∼ 7.89 cm). We estimate that the condition of two SM particles with finite lifetime to be emitted into a narrow solid angle and to decay close to each other, to reduce the background by a factor < 10 −16 for both, the K S the Λ baryon, such that those contributions are completely negligible.

ECAL and HCAL
The calorimeter system has imaging capabilities that allow for efficient track-following, with a pixel size of ∼ 4µm for the ECAL and ∼ 1 cm for the HCAL, which allows a correct association of energy clusters with tracks.
The heavy neutrino signal, with vertex displacements that result in decays in the calorimetric system, consists in one or more clusters of energy deposits, that should be connected and consistent with one secondary vertex. Defining features of this signal are the absence of tracks and significant momentum imbalance. Due to a lack of tracking information, the decay products may, however, be identified as electrically neutral particles.
The ECAL could record the leptonic part of the signal as a photon. The SM background for this signal contains at least one photon, and missing energy, for instance a pair of light neutrinos and a hard photon, ννγ. The production cross section for this background process is O(1) fb at √ s = m Z for photon energies ∼ 10 GeV and up to O(100) fb at √ s = 500 GeV for the ILC. It may be possible to separate the signal efficiently from the background, but, to be conservative, we shall not consider the leptonic decays of the heavy neutrinos that take place inside the ECAL.
From the hadronic and semileptonic decays of the heavy neutrinos that take place in the HCAL, the decay products could be recorded as neutral hadrons. The SM particles that could fake a background are the K L (cτ ∼ 15.34 m). We estimate the production cross section to be smaller than the production cross section qqνν, which is O(1) ab for √ s = m Z , and is ∼ 600 fb for √ s = 500 GeV.
Viable backgrounds can come from τ + τ − γ and τ + τ − νν events, where the tau leptons decay into two K L . If the tau leptons are collimated such that the two K L enter the HCAL with a maximum distance of at most 1 cm, such that the readout cannot yield an indication of the energy deposits being disconnected, this process may yield a fake signal event. The conservation of charge, however, leaves a charged lepton or a charged meson among the decay products of each tau lepton, which can be used as veto against such an event. Furthermore, the τ + τ − γ events are very close to the beam axis, which will allow to suppress them against the signal distribution if necessary. We therefore assume that no background event remains.

Muon identification system
The muon detecting photomultipliers, intertwined with the steel layers of the solenoid flux return, identifies muons from the interaction point with high efficiency and rejects most of the remaining hadrons that spill over from the HCAL. The muon selection combines the information from the tracker, the calorimetric system, and the muon detectors, to reconstruct the muon candidates.
A highly relativistic heavy neutrino will reach the outer radius of the flux return yoke in about 20 ns. For its decays inside the flux return yoke, the resulting decay products interact with the scintillator bars. The ensuing photons are detected with the photomultipliers, and, due to the absence of information from the calorimeters and the tracker, they should not be  Figure 7. Schematic illustration of the sensitivity of the different detector components to heavy neutrino decays as a function of the active-sterile mixing parameter and the heavy neutrino mass. The parameter r D is the outer radius of the muon system. We note that the sensitivities of the individual components are overlapping, such that it is not possible to assign one responsive detector component to one specific set of heavy neutrino parameters.
identified as muon candidates. Instead, they leave a number of hits in the photomultipliers for which there are no SM background processes from leptonic collisions.
The background in this case is given by cosmic ray muons, which can be rejected efficiently by correlating the corresponding hits with the beam collision time. Further backgrounds are given by muons that are created in the interaction of the electron or positron beam with the beam-delivery system, and subsequently traverse the detector parallel to the beam line, also referred to as "fliers". We assume, that all the visible heavy neutrino decay channels leave a measurable imprint in at least one layer of the photomultipliers.

Combined response of the SiD
In the following we discuss the sensitivities of displaced vertex searches for long-lived heavy neutrinos from the individual components of the SiD, and their combination.
Every individual detector component is (in principle) sensitive to the signal from longlived heavy neutrinos, and a signal significance S can be established via 2) where N S is the number of signal events and N B the number of SM background events inside the component's volume. The number of signal events N S = N (x 1 , x 2 , √ s, L), given by eq. (3.6), inside a detector component (with x 1 and x 2 being its inner and outer radii) is controlled by the production cross section σ νN and the lifetime τ lab of the heavy neutrinos, both of which are dependent on the squared active-sterile mixing |θ| 2 and the heavy neutrino mass M . Therefore, a sensitivity of 2σ for the heavy neutrino search via displaced vertices with given mass M can be defined by the value for |θ| 2 that results in a significance larger than 2. This relation maps the sensitivity of each detector component to the signal onto the heavy neutrino parameter space. We show a schematic illustration of the discussed mapping of the SiD components into the heavy neutrino parameter space in figure 7. Therein each component is assigned a JHEP12(2016)007 distinct color, and the order corresponds to the layers of the components inside the SiD. Sets of parameters to the right of the inner region lead to a vertex displacement being indistinguishable with the considered vertex resolution, which necessitates a conventional search. Sets of parameters to the left of the muon system take place dominantly outside the detector and are thus invisible. The horizontal lines in the figure denote the number of heavy neutrino decays that are to be expected, which scale with |θ| 2 and are proportional to the cross sections (here taken to be flat) shown in figure 2. The vertical dashed line denotes the W boson mass and indicates the limit of this search channel. In general, the heavy neutrino mass has to be smaller than the center-of-mass energy of the incident electronpositron beams. However, for M ∼ m W new decay channels for the heavy neutrinos into on-shell W and Z bosons open up, which renders their lifetimes generally too short to allow for a measurable vertex displacement.
For the combined response of the SiD components, see the discussion above in sections 4.2.1 to 4.2.4, we find: the search for long-lived heavy neutrinos via displaced vertices is sensitive to displacements as small as x res , but only for displacements larger than 10 µm the search is essentially free of irreducible background. As discussed the detector components are (almost) background-free with the exception of the ECAL. Furthermore, it is unclear if heavy neutrino decays that occur close to the outer radius of the muon identification system are registered. Since the mapping of the physical extensions of the ECAL and the muon identification system into the heavy neutrino parameter space shows a considerable overlap 4 with the tracker and the HCAL, we therefore consider vertex displacements between 10 µm and 249 cm (i.e. within the outer radius of the HCAL) as conservative bounds for signal events to be free of background and in principle detectable by the SiD. Notice that for M ≤ m W the heavy neutrino has a relativistic velocity β 0.1, such that it decays in the calorimetric system within ∼ 30 ns after the interaction, which may be important when a trigger is used at circular colliders.
We remark that it is very important to include the muon identification system as an independent search for displaced vertices from heavy neutrino decays at future lepton colliders, which may provide independent and complementary information.

Resulting sensitivities
In this section we present the sensitivities of the future lepton colliders to heavy neutrino searches via displaced vertices. The SiD serves as a benchmark detector for all the experiments with the modi operandi of the FCC-ee, CEPC, and ILC from figure 4.
According to the discussion in section 4.2, we take the heavy neutrino decays with a vertex displacement between 10 µm and 249 cm to be free of background and detectable by the SiD. The absence of SM background implies that the detection of a single event corresponds to the detection of a heavy neutrino signal via displaced vertices with a significance of 1σ, cf. eq. (4.2). In the following, we demand at least four signal events in order to establish a signal at 2σ.   We show the resulting sensitivities of the FCC-ee, the CEPC and the ILC, respectively, to the searches for heavy neutrinos via displaced vertices in figure 8. Parameter sets of masses and active-sterile mixings inside the colored areas lead to at least four events inside the SiD. The overall shape of the colored areas can be understood from the schematic illustration in figure 7. We checked that including the muon identification system does not significantly affect the resulting sensitivities for any of the here considered future lepton colliders and their modi operandi. For comparison we show estimates for the future sensitivity of the conventional searches at 95% confidence level by the black, dashed line [23]. This estimate was obtained by a rescaling of the 95% C.L. exclusion limit from DELPHI with the Z pole luminosities of the respective future lepton collider.
The left-hand plot in figure 8 shows that the Z pole run of the FCC-ee yields the highest sensitivity due to the large envisaged integrated luminosity. This run is sensitive to smaller active-sterile neutrino mixing compared to the estimates for the conventional searches. The physics runs at higher center-of-mass energies show weaker sensitivities when compared to the Z pole run, but they still improve the projected sensitivity of the LHC, which reaches |θ| 2 ∼ 10 −7 for heavy neutrino masses ∼ 20 GeV, cf. refs. [12][13][14][15][16][17][18][19][20].
At the CEPC, the considered modi operandi result in the sensitivities for the Higgs run at 250 GeV and the Z pole run to be comparable, with the former being sensitive to larger heavy neutrino masses. It is interesting to note that, despite the heavy neutrino production cross sections being more than one order of magnitude smaller compared to the Z pole run (see figure 2), also the Higgs run constitutes a feasible search channel for sterile neutrinos via displaced vertex searches due to the considered integrated luminosities. We remark that the here shown sensitivities for √ s = m Z are strictly valid only for θ µ , θ τ = 0 and |θ| 2 = |θ e | 2 .

JHEP12(2016)007
The sensitivities for the ILC show that the high-energy run at 500 GeV has a much higher sensitivity compared to the Z pole searches, which is, in analogy to the CEPC, due to the considered integrated luminosities. Comparing the Higgs run of the CEPC with the 500 GeV run at the ILC, which both consider the same integrated luminosity, we find that the ILC outperforms the CEPC, due to the larger heavy-neutrino-production cross section with beam polarisation. On the other hand, a significant enhancement of the sensitivities of the CEPC and the ILC at the Z pole run could be achieved when the run times are prolonged.

Summary and conclusions
In this work, we have investigated the sensitivity to sterile neutrinos with electroweak-scale Majorana masses from the search for displaced vertices at future lepton colliders.
We deepened and extended previous work on displaced vertex searches for sterile neutrinos at future lepton colliders in various ways: we considered an explicit low scale seesaw benchmark model, the SPSS, and calculated the heavy-neutrino-production cross section with WHIZARD, including initial state radiation and initial state polarisation (where applicable). 5 As future lepton colliders, we considered the FCC-ee, CEPC, and the ILC and included the different center-of-mass energies planned for the respective physics programs, i.e. the Z pole run, the Higgs run at 240 or 250 GeV, the top threshold scan at 350 GeV and, for the ILC, also 500 GeV. For a realistic assessment of the sensitivity, we used the ILC's SiD as benchmark detector and put emphasis on its response to the displaced heavy neutrino signal and the conceivable SM backgrounds. We find that the SiD is sensitive to the signal in an essentially background-free environment (after suitable cuts), for vertex displacements ranging from 10 µm to the outer radius of the HCAL. We expect that removing the backgrounds (cf. section 4.2) with suitable cuts will somewhat reduce the signal efficiency. For instance the DELPHI experiment at LEP quotes a signal efficiency of ∼ 25%, which would roughly speaking shift up the maximal sensitivity by a factor of two. However, the efficiency may be higher at a future detector, closer to the here assumed 100% signal efficiency. We note that for assessing a more realistic number for the signal efficiency, and also for a better understanding of the response and complementarity of the ECAL, HCAL and muon identification system to the heavy neutrino decays within the respective component, a full simulation of the detector acceptance would be desirable.
The resulting sensitivities of sterile neutrino searches via displaced vertices at future lepton colliders are summarized in figure 8, for a confidence level of 2σ. We find that the FCC-ee at the Z pole run with 110 ab −1 yields the best sensitivity, down to squared activesterile mixings as small as |θ| 2 ∼ 10 −11 . Comparing this estimated sensitivity to the one for a conventional search for sterile neutrinos at the Z pole, the displaced vertex search is sensitive to significantly smaller active-sterile mixing angles. It turns out that the centerof-mass energies higher than the Z boson mass can already improve the present exclusion limits of the LHC and its projected sensitivities of |θ| 2 ∼ 10 −7 for 300 fb −1 . For the CEPC, JHEP12(2016)007 the Z pole run and the higher energy run (at 250 GeV) result in comparable sensitivities, while for the ILC the high-energy run (at 500 GeV in the G-20 physics program) results in its best sensitivity.
In summary, our analysis demonstrates that all the modi operandi of all the future lepton colliders can improve the present bounds and the projected LHC reach. Highest sensitivities to sterile neutrinos can be reached in the mass range between ∼ 10 and 80 GeV. This is complementary to the experiments like SHiP [68], which has peak sensitivities at lower masses, around 1 GeV. We thus conclude that the search for displaced vertices at future lepton colliders constitutes a powerful search channel for heavy neutrinos with masses below the W boson mass.