We investigate the pair production of right-handed neutrinos mediated by a
Zβ² from the meson decays at the FASER detector of the HL-LHC. The
Zβ² can be either the additional gauge boson in the U(1)BβLβ or
sterile Ξ½-specific U(1)sβ model. Taking the gauge coupling or the kinetic
mixing at the current limits, we analyses the sensitivity to the masses of the
heavy neutrinos, mNβ, and active-sterile mixing, VlN2β, of the FASER-2.
In a background free scenario, FASER-2 is able to probe VlN2ββ10β8 when mNββΌ0.2 GeV, which is comparable to the current limits
from the beam dump experiments for the right-handed neutrinos dominantly
coupled to electron and muon flavours, and exceed three magnitude for tau. When
comes to the U(1)sβ model, FASER-2 can probe VlN2ββ10β10,
which is better than the current limits in all three flavours. A proposed
long-lived particle detector, FACET, is also studied, while no significant
difference from FASER-2 is derived.Comment: 14 pages, 8 figure