Heavy-lepton interpretation of multimuon events produced in neutrino and antineutrino beams

Abstract
We calculate neutrino production of a charged heavy lepton M from an isoscalar target assuming both light-to-light and light-to-heavy quark transitions. Then we examine the cascade decay of the M into another heavy lepton L0 via ML0+X and ML0+μ+ν¯μ, followed by the decay of the L0 into both μ+X and μ+μ++νμ. These decays yield μμ, μμ+, and μμμ+ multimuon events. We compute event rates and distributions for these types of lepton cascade chains. Also, we discuss results for the antineutrino production of the M+ followed by analogous decay chains resulting in μ+μ+, μ+μ, and μ+μ+μ events.