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

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 L⁰ via M^-→L⁰+X and M^-→L⁰+μ^-+ν_μ, followed by the decay of the L⁰ 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.