Probing heavy neutrinos in the COMET experiment

We argue that the COMET experiment --- a dedicated experiment for the $\mu$-$e$ conversion search --- can be a powerful facility to search for heavy neutrinos in the mass range $1\,{\rm MeV} \lesssim M \lesssim 100\,{\rm MeV}$. The stopped muons captured by the target nuclei or decaying in orbit are efficiently produce heavy neutrinos via the active-sterile mixing. The produced heavy neutrinos then decay to electron-positron pair (plus an active neutrino), which events are clearly seen by the cylindrical drift chamber surrounding the target. The expected sensitivity is comparable to the PS191 bound when the COMET experiment achieves $\sim 10^{17}$ stopping muons in the target.