New bounds for dilepton production from heavy neutral leptons

Bounds on 〈E_?ⁿ〉/〈E₊ⁿ〈, 〉E₊E_?〈/〉E₂²〈 and 〈E₊E_?〉/〈E₊〉〈E_?〉 are direved for the processes ν_μN → μ^?μ⁺(e⁺) + X and μN → μ^?μ⁺ + X if dileptons are mediated by a $\text{spin}\text{-}\text{1}\text{2}$ heavy neutral lepton L₀. The bounds are shown to be independent of the production mechanism and mass of L₀. Useful conditional bounds are obtained relating the bounded quantities, which give information about the structure of the weak current responsible for L₀ decay.