Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

The Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT at CMB challenges U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT light gauge boson scenarios

Dilip Kumar Ghosh dilipghoshjal@gmail.com Indian Association for Cultivation of Science,
2A &\&& 2B Raja S C Mullick Road, Kolkata 700032, India
   Purusottam Ghosh pghoshiitg@gmail.com Institute of Physics, Sachivalaya Marg, Bhubaneswar, 751 005, India ; Homi Bhabha National Institute, Training School Complex, Anushakti Nagar, Mumbai 400 094, India    Sk Jeesun skjeesun48@gmail.com Indian Association for Cultivation of Science,
2A &\&& 2B Raja S C Mullick Road, Kolkata 700032, India
   Rahul Srivastava rahul@iiserb.ac.in Department of Physics, Indian Institute of Science Education and Research - Bhopal
Bhopal Bypass Road, Bhauri, Bhopal, India
Abstract

Abstract

The relativistic degrees of freedom (Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT) is one of the crucial cosmological parameters. The precise measurement of Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT at the time of cosmic microwave background formation, by Planck 2018 can be used to understand the new fundamental interactions, in particular involving light mediators. Presence of any new particle with sufficient energy density and sizeable interactions with Standard Model particles at the temperature around similar-to\sim MeV can significantly alter the neutrino decoupling and hence Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT. Thus the bound on Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT can place stringent constraints on various beyond Standard Model paradigms involving light particles. U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT models are among such scenarios and are widely studied in several aspects. In this work, we consider several popular U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT models with light Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT boson like U(1)BL𝑈subscript1𝐵𝐿U(1)_{B-L}italic_U ( 1 ) start_POSTSUBSCRIPT italic_B - italic_L end_POSTSUBSCRIPT, U(1)B3Li𝑈subscript1𝐵3subscript𝐿𝑖U(1)_{B-3L_{i}}italic_U ( 1 ) start_POSTSUBSCRIPT italic_B - 3 italic_L start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT, U(1)Bi3Lj𝑈subscript1subscript𝐵𝑖3subscript𝐿𝑗U(1)_{B_{i}-3L_{j}}italic_U ( 1 ) start_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - 3 italic_L start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_POSTSUBSCRIPT, U(1)LiLj𝑈subscript1subscript𝐿𝑖subscript𝐿𝑗U(1)_{L_{i}-L_{j}}italic_U ( 1 ) start_POSTSUBSCRIPT italic_L start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - italic_L start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_POSTSUBSCRIPT; i,j=1,2,3formulae-sequence𝑖𝑗123i,j=1,2,3italic_i , italic_j = 1 , 2 , 3 being the flavour indices and study their impact on Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT. We also examine the constraints from ground based experiments like Xenon1T, Borexino, trident, etc. Our analysis shows that for light mass MZ𝒪(MeV)less-than-or-similar-tosubscript𝑀superscript𝑍𝒪MeVM_{Z^{\prime}}\lesssim\mathcal{O}(\rm{MeV})italic_M start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ≲ caligraphic_O ( roman_MeV ) the Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT provides the most stringent constraints on the Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT mass and coupling, far exceeding the existing constraints from other experiments.

1 INTRODUCTION

The Cosmic Microwave Background (CMB) radiations play a crucial role in elucidating the dynamics of the early universe as well as shaping our present understanding of the large-scale structure of the universe. Observations of the CMB, including temperature anisotropies, polarization patterns, matter-energy distribution, reionization phenomena in the early universe, are consistent with both the standard ΛΛ\Lambdaroman_ΛCDM cosmology and the Standard Model of particle physics (SM) [1]. One of the interesting cosmological parameters Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT, which represents the number of relativistic degrees of freedom at the CMB scale (Tsimilar-to𝑇absentT\simitalic_T ∼ eV), serves an important role in understanding the dynamics of the thermal history during the epoch Tsimilar-to𝑇absentT\simitalic_T ∼ MeV to eV. At high temperature of the universe, photons and neutrinos shared the same temperature. As the universe cooled down (T2less-than-or-similar-to𝑇2T\lesssim 2italic_T ≲ 2 MeV) and the interaction rate fell below the Hubble expansion rate (H𝐻Hitalic_H), neutrinos decoupled from photons, resulting in the formation of two separate baths i.e. neutrino bath and photon bath (combined with electrons). At temperature Tmeless-than-or-similar-to𝑇subscript𝑚𝑒T\lesssim m_{e}italic_T ≲ italic_m start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT, the two baths evolve with different temperature [1]. The parameter Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT is then parameterized by the ratio of energy densities in the neutrino and photon baths. In the particle content of the SM, one can expect the neutrino decoupling event to take place around T2similar-to𝑇2T\sim 2italic_T ∼ 2 MeV, resulting in NeffSM=3.046superscriptsubscript𝑁effSM3.046N_{\rm eff}^{\rm SM}=3.046italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_SM end_POSTSUPERSCRIPT = 3.046 at the CMB [2, 3]. Note the slight deviation in Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT from the expected three light neutrino degrees of freedom in SM (3νL3subscript𝜈𝐿3~{}\nu_{L}3 italic_ν start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT) is due to non-instantaneous neutrino decoupling, finite temperature QED corrections, and neutrino flavor oscillations [2, 3].

Refer to caption
Figure 1: Schematic diagram of the constraint from Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT along with existing constraints for light mediator models. This schematic diagram assumes universal coupling of the mediator to both quarks and the leptons. Note that additional bounds may apply as well as some of these bounds can be relaxed depending on the specific details of different models.

Observations of the CMB by the Planck satellite can also measure the parameter Neffsubscript𝑁effN_{\text{eff}}italic_N start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT 111Measurements of baryon acoustic oscillations (BAO), large-scale structure (LSS) datasets, and other cosmological probes contribute to determining the value of Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT [4, 5].. The latest Planck 2018 data provides a precise measurement of Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT at the time of the CMB to be 2.990.33+0.34subscriptsuperscript2.990.340.332.99^{+0.34}_{-0.33}2.99 start_POSTSUPERSCRIPT + 0.34 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT - 0.33 end_POSTSUBSCRIPT with 95%percent9595\%95 % confidence level (CL), under the assumption of standard ΛΛ\Lambdaroman_ΛCDM cosmology [5]. The upper limit of the Planck data suggests an additional contribution (apart from SM) to Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT, extending up to 0.280.280.280.28 (ΔNeff=NeffobsNeffSMΔsubscript𝑁effsuperscriptsubscript𝑁effobssuperscriptsubscript𝑁effSM\Delta N_{\rm eff}=N_{\rm eff}^{\rm obs}-N_{\rm eff}^{\rm SM}roman_Δ italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT = italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_obs end_POSTSUPERSCRIPT - italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_SM end_POSTSUPERSCRIPT), providing the hint for BSM physics.

The presence of beyond standard model (BSM) light mediators, interacting with either the photon or neutrino bath at temperatures relevant to neutrino decoupling, introduces additional contributions to the radiation energy density, leading to an increase in Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT [6, 7, 8] 222Note additional contributions to Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT may also come from various other sources like extra radiation [9, 10, 11, 12], models involving early dark energy [10, 13], and relativistic decaying dark matter [14].. The observations of Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT impose constraints on the BSM light mediators, as presented by the red shaded region in the cartoon Fig.1. In certain mass regions of these mediators, Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT turns out to be a severe constraint compared to other existing bounds. U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT models are among such widely studied BSM paradigms with light mediators and their phenomenological consequences have been explored in several contexts333See for example Ref. [15, 16, 17, 18, 19, 20, 21, 22] and the references therein.. In this work, we consider light gauge boson (Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT) originating from different types of U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT gauge extended scenarios, which naturally involve interactions with neutrinos and electron-positron pairs (either at the tree level or loop-induced). The BSM interactions in the presence of light Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT can potentially modify the late-time dynamics between the photon and neutrino baths, prolonging the process of neutrino decoupling and increasing the Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT value. As a result, the upper limit on Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT (3.333.333.333.33 with 95%percent9595\%95 % CL) derived from the CMB can be utilized to constrain both the mass of the light gauge boson (MZsubscript𝑀superscript𝑍M_{Z^{\prime}}italic_M start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT) and its corresponding gauge coupling (gXsubscript𝑔𝑋g_{X}italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT).

In the context of Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT, various types of gauged U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT scenarios have been explored in the existing literature. These scenarios aim to explain the excess of Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT observed in the CMB, involving U(1)LμLτ𝑈subscript1subscript𝐿𝜇subscript𝐿𝜏U(1)_{L_{\mu}-L_{\tau}}italic_U ( 1 ) start_POSTSUBSCRIPT italic_L start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT - italic_L start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT end_POSTSUBSCRIPT [7], U(1)BL𝑈subscript1𝐵𝐿U(1)_{B-L}italic_U ( 1 ) start_POSTSUBSCRIPT italic_B - italic_L end_POSTSUBSCRIPT [8] or, generic U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT model [23]. A comprehensive discussion on Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT within the generic U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT scenario is presented in Ref. [23], categorizing U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT models into two classes: (i)𝑖(i)( italic_i ) those with tree-level coupling of Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT with electron and (ii)𝑖𝑖(ii)( italic_i italic_i ) those without tree-level coupling of Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT with electron. The study also highlights that the varying U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT charges for e,νe,μ,τ𝑒subscript𝜈𝑒𝜇𝜏e,\nu_{e,\mu,\tau}italic_e , italic_ν start_POSTSUBSCRIPT italic_e , italic_μ , italic_τ end_POSTSUBSCRIPT, corresponding to various gauged extended scenarios, notably impact the value of Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT. This work is an extension of Ref. [23], where we consider a variety of U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT models, such as U(1)BL𝑈subscript1𝐵𝐿U(1)_{B-L}italic_U ( 1 ) start_POSTSUBSCRIPT italic_B - italic_L end_POSTSUBSCRIPT, U(1)LiLj(ij)𝑈subscript1subscript𝐿𝑖subscript𝐿𝑗𝑖𝑗U(1)_{L_{i}-L_{j}}(i\neq j)italic_U ( 1 ) start_POSTSUBSCRIPT italic_L start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - italic_L start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_i ≠ italic_j ), U(1)B3Li𝑈subscript1𝐵3subscript𝐿𝑖U(1)_{B-3L_{i}}italic_U ( 1 ) start_POSTSUBSCRIPT italic_B - 3 italic_L start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT, and U(1)BiLj𝑈subscript1subscript𝐵𝑖subscript𝐿𝑗U(1)_{B_{i}-L_{j}}italic_U ( 1 ) start_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - italic_L start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_POSTSUBSCRIPT etc., and study their impact on Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT, assuming the scenario where Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT was initially (T>MZ𝑇subscript𝑀superscript𝑍T>M_{Z^{\prime}}italic_T > italic_M start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT) in thermal bath (which requires gX𝒪(109)greater-than-or-equivalent-tosubscript𝑔𝑋𝒪superscript109g_{X}\gtrsim\mathcal{O}(10^{-9})italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ≳ caligraphic_O ( 10 start_POSTSUPERSCRIPT - 9 end_POSTSUPERSCRIPT )). The primary objective of this work is to identify the exclusion regions in the MZgXsubscript𝑀superscript𝑍subscript𝑔𝑋M_{Z^{\prime}}-g_{X}italic_M start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT - italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT plane for each gauged extended model, guided by the upper bound on Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT derived from CMB observations [5].

The gauged extended models are also motivated by their potential detectability across a broad mass range, from eV to TeV, as sketched in Fig.1. For gauge boson Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT with TeV or sub TeV masses, the most severe constraints are derived from collider experiments like LHC [24, 25, 26, 27] and LEP [28]. Whereas, in the mass range spanning from a few MeV to a few GeV, experiments carried out by LHCb [29], Belle[30], BaBar [31], and fixed target experiments [16, 32] are notably more effective in providing constraints. In the sub GeV mass region, with gX𝒪(106)greater-than-or-equivalent-tosubscript𝑔𝑋𝒪superscript106g_{X}\gtrsim\mathcal{O}(10^{-6})italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ≳ caligraphic_O ( 10 start_POSTSUPERSCRIPT - 6 end_POSTSUPERSCRIPT ), the low energy neutrino scattering experiments (neutrino electron scattering [18], neutrino-nucleus scattering [33] etc.), provide most stringent constraints. However, in the mass range where MZ𝒪less-than-or-similar-tosubscript𝑀superscript𝑍𝒪M_{Z^{\prime}}\lesssim\mathcal{O}italic_M start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ≲ caligraphic_O(MeV) and gX𝒪(106)less-than-or-similar-tosubscript𝑔𝑋𝒪superscript106g_{X}\lesssim\mathcal{O}(10^{-6})italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ≲ caligraphic_O ( 10 start_POSTSUPERSCRIPT - 6 end_POSTSUPERSCRIPT ), direct searches become less sensitive. Furthermore, as we will show, CMB observations in terms of Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT play a significant role in constraining the parameter space for MZ𝒪(MeV)less-than-or-similar-tosubscript𝑀superscript𝑍𝒪MeVM_{Z^{\prime}}\lesssim\mathcal{O}({\rm MeV})italic_M start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ≲ caligraphic_O ( roman_MeV ). In this work, we identify the CMB exclusion region with 95%percent9595\%95 % CL for each U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT scenario and compare it to the other aforementioned existing constraints in the MZgXsubscript𝑀superscript𝑍subscript𝑔𝑋M_{Z^{\prime}}-g_{X}italic_M start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT - italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT plane. We highlight that in certain regions of MZsubscript𝑀superscript𝑍M_{Z^{\prime}}italic_M start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT and coupling gXsubscript𝑔𝑋g_{X}italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT, observations of Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT in the CMB provide more stringent constraints compared to other observations. We present a schematic diagram in Fig.1, where various existing constraints are summarised by different color patches based on the mass and coupling. Our key focus in this study is the red-shaded region, which represents the exclusion region derived from Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT observations in the CMB.

The paper is organized in the following way. In section 2, we provide a brief overview of the evolution of Neffsubscript𝑁effN_{\rm{eff}}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT in the presence of a light Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT, with a focus on its dependence on the gauge extension. Then we present the exclusion regions in the MZgXsubscript𝑀superscript𝑍subscript𝑔𝑋M_{Z^{\prime}}-g_{X}italic_M start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT - italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT plane for various U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT models, determined by the upper bound on Neffsubscript𝑁effN_{\rm{eff}}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT derived from CMB observations in section 3. Finally, in section 4 we summarize our results and conclusions.

2 Evaluation of Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT in light Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT Models

Before going to the Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT analysis of light Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT emerging from various U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT symmetries we present a brief and generic overview of the effective Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT models in this section. The discussion in this section is based on our previous work [23] where we have presented a comprehensive analysis of Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT for a generic U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT model. For a generic U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT model, we assume that SM quark doublets (Qisubscript𝑄𝑖Q_{i}italic_Q start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT) and singlets (ui,disubscript𝑢𝑖subscript𝑑𝑖u_{i},d_{i}italic_u start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , italic_d start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT), as well as lepton doublets (Lisubscript𝐿𝑖L_{i}italic_L start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT) and singlets (isubscript𝑖\ell_{i}roman_ℓ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT) are charged under this U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT symmetry444Note that for now we have left the U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT charges of SM particles as free parameters, whose values depend on the details of the U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT symmetry, see Table 1.. We also need a SM singlet scalar σ𝜎\sigmaitalic_σ carrying U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT charge to generate the mass of Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT (MZsubscript𝑀superscript𝑍M_{Z^{\prime}}italic_M start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT) by acquiring a vacuum expectation value (VEV) to break the U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT symmetry. As pointed out in Ref. [23] that to affect the νLsubscript𝜈𝐿\nu_{L}italic_ν start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT decoupling Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT has to be in the MeV scale. To keep MZsubscript𝑀superscript𝑍M_{Z^{\prime}}italic_M start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT very light compared to the SM Z𝑍Zitalic_Z gauge boson (MZ2MZ2much-less-thansubscriptsuperscript𝑀2superscript𝑍subscriptsuperscript𝑀2𝑍M^{2}_{Z^{\prime}}\ll M^{2}_{Z}italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ≪ italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_Z end_POSTSUBSCRIPT), we consider U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT charge of the SM Higgs doublet 𝕏Φ=0subscript𝕏Φ0\mathbb{X}_{\Phi}=0blackboard_X start_POSTSUBSCRIPT roman_Φ end_POSTSUBSCRIPT = 0 and hence MZ2subscriptsuperscript𝑀2superscript𝑍M^{2}_{Z^{\prime}}italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT does not get any contribution from the SM vev. The charge assignments are shown in Table 1.

Note that to generate the SM quark and charged lepton masses, we take the following U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT charge assignments: 𝕏Qi=𝕏ui=𝕏disubscript𝕏subscript𝑄𝑖subscript𝕏subscript𝑢𝑖subscript𝕏subscript𝑑𝑖\mathbb{X}_{Q_{i}}=\mathbb{X}_{u_{i}}=\mathbb{X}_{d_{i}}blackboard_X start_POSTSUBSCRIPT italic_Q start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT = blackboard_X start_POSTSUBSCRIPT italic_u start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT = blackboard_X start_POSTSUBSCRIPT italic_d start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT and 𝕏Li=𝕏isubscript𝕏subscript𝐿𝑖subscript𝕏subscript𝑖\mathbb{X}_{L_{i}}=\mathbb{X}_{\ell_{i}}blackboard_X start_POSTSUBSCRIPT italic_L start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT = blackboard_X start_POSTSUBSCRIPT roman_ℓ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT. It is also worth highlighting that although the U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT charges of quark doublet should be the same as that of the up and down quark singlets, the charges may differ across different generations i.e. 𝕏Q1𝕏Q2𝕏Q3subscript𝕏subscript𝑄1subscript𝕏subscript𝑄2subscript𝕏subscript𝑄3\mathbb{X}_{Q_{1}}\neq\mathbb{X}_{Q_{2}}\neq\mathbb{X}_{Q_{3}}blackboard_X start_POSTSUBSCRIPT italic_Q start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ≠ blackboard_X start_POSTSUBSCRIPT italic_Q start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ≠ blackboard_X start_POSTSUBSCRIPT italic_Q start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_POSTSUBSCRIPT as shown in Table 1.

Besides the particle mentioned in Table 1, we also need right-handed neutrino (RHN) νRsubscript𝜈𝑅\nu_{R}italic_ν start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT for anomaly cancellation and light neutrino mass generation [34, 23, 35, 15]. In this work, we consider only Majorana type mass models where, νRsubscript𝜈𝑅\nu_{R}italic_ν start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT are also too heavy to affect νLsubscript𝜈𝐿\nu_{L}italic_ν start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT decoupling [36, 37] and we ignore their contribution555In Dirac-type mass models, νRsubscript𝜈𝑅\nu_{R}italic_ν start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT are relativistic at MeV temperature and can significantly alter Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT [9].. Apart from the minimal particle content of Table 1, most of the popular U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT models studied in literature may also contain additional BSM particles which are typically much heavier than MeV scale and will not take part in our analysis [15].

   Models 𝕏Qi(𝕏ui=𝕏di)subscript𝕏subscript𝑄𝑖subscript𝕏subscript𝑢𝑖subscript𝕏subscript𝑑𝑖~{}~{}~{}\mathbb{X}_{Q_{i}}(\mathbb{X}_{u_{i}}=\mathbb{X}_{d_{i}})~{}~{}~{}blackboard_X start_POSTSUBSCRIPT italic_Q start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( blackboard_X start_POSTSUBSCRIPT italic_u start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT = blackboard_X start_POSTSUBSCRIPT italic_d start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT )   𝕏L1subscript𝕏subscript𝐿1\mathbb{X}_{L_{1}}blackboard_X start_POSTSUBSCRIPT italic_L start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT   𝕏L2subscript𝕏subscript𝐿2\mathbb{X}_{L_{2}}blackboard_X start_POSTSUBSCRIPT italic_L start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT   𝕏L3subscript𝕏subscript𝐿3\mathbb{X}_{L_{3}}blackboard_X start_POSTSUBSCRIPT italic_L start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_POSTSUBSCRIPT
𝐁𝐋𝐁𝐋\mathbf{B-L}bold_B - bold_L (1/3,1/3,1/3)131313(1/3,~{}1/3,~{}1/3)( 1 / 3 , 1 / 3 , 1 / 3 ) 11-1- 1 11-1- 1 11-1- 1
𝐁𝟑𝐋𝐞𝐁3subscript𝐋𝐞\mathbf{B-3L_{e}}bold_B - bold_3 bold_L start_POSTSUBSCRIPT bold_e end_POSTSUBSCRIPT (1/3,1/3,1/3)131313(1/3,~{}1/3,~{}1/3)( 1 / 3 , 1 / 3 , 1 / 3 ) 33-3- 3 00 00
B3Lμ𝐵3subscript𝐿𝜇{B-3L_{\mu}}italic_B - 3 italic_L start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT (1/3,1/3,1/3)131313(1/3,~{}1/3,~{}1/3)( 1 / 3 , 1 / 3 , 1 / 3 ) 00 33-3- 3 00
B3Lτ𝐵3subscript𝐿𝜏{B-3L_{\tau}}italic_B - 3 italic_L start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT (1/3,1/3,1/3)131313(1/3,~{}1/3,~{}1/3)( 1 / 3 , 1 / 3 , 1 / 3 ) 00 00 33-3- 3
𝐋𝐞𝐋μsubscript𝐋𝐞subscript𝐋𝜇\mathbf{L_{e}-L_{\mu}}bold_L start_POSTSUBSCRIPT bold_e end_POSTSUBSCRIPT - bold_L start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT (0,0,0)000(0,0,0)( 0 , 0 , 0 ) 1111 11-1- 1 00
𝐋𝐞𝐋τsubscript𝐋𝐞subscript𝐋𝜏\mathbf{L_{e}-L_{\tau}}bold_L start_POSTSUBSCRIPT bold_e end_POSTSUBSCRIPT - bold_L start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT (0,0,0)000(0,0,0)( 0 , 0 , 0 ) 1111 00 11-1- 1
LμLτsubscript𝐿𝜇subscript𝐿𝜏{L_{\mu}-L_{\tau}}italic_L start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT - italic_L start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT (0,0,0)000(0,0,0)( 0 , 0 , 0 ) 00 1111 11-1- 1
𝐁𝟏𝟑𝐋𝐞subscript𝐁13subscript𝐋𝐞\mathbf{B_{1}-3L_{e}}bold_B start_POSTSUBSCRIPT bold_1 end_POSTSUBSCRIPT - bold_3 bold_L start_POSTSUBSCRIPT bold_e end_POSTSUBSCRIPT (1,0,0)100(1,0,0)( 1 , 0 , 0 ) 33-3- 3 00 00
𝐁𝟐𝟑𝐋𝐞subscript𝐁23subscript𝐋𝐞\mathbf{B_{2}-3L_{e}}bold_B start_POSTSUBSCRIPT bold_2 end_POSTSUBSCRIPT - bold_3 bold_L start_POSTSUBSCRIPT bold_e end_POSTSUBSCRIPT (0,1,0)010(0,1,0)( 0 , 1 , 0 ) 33-3- 3 00 00
𝐁𝟑𝟑𝐋𝐞subscript𝐁33subscript𝐋𝐞\mathbf{B_{3}-3L_{e}}bold_B start_POSTSUBSCRIPT bold_3 end_POSTSUBSCRIPT - bold_3 bold_L start_POSTSUBSCRIPT bold_e end_POSTSUBSCRIPT (0,1,0)010(0,1,0)( 0 , 1 , 0 ) 33-3- 3 00 00
B13Lμsubscript𝐵13subscript𝐿𝜇{B_{1}-3L_{\mu}}italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - 3 italic_L start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT (1,0,0)100(1,0,0)( 1 , 0 , 0 ) 00 33-3- 3 00
B23Lμsubscript𝐵23subscript𝐿𝜇{B_{2}-3L_{\mu}}italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - 3 italic_L start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT (0,1,0)010(0,1,0)( 0 , 1 , 0 ) 00 33-3- 3 00
B33Lμsubscript𝐵33subscript𝐿𝜇{B_{3}-3L_{\mu}}italic_B start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT - 3 italic_L start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT (0,1,0)010(0,1,0)( 0 , 1 , 0 ) 00 33-3- 3 00
B13Lτsubscript𝐵13subscript𝐿𝜏{B_{1}-3L_{\tau}}italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - 3 italic_L start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT (1,0,0)100(1,0,0)( 1 , 0 , 0 ) 00 00 33-3- 3
B23Lτsubscript𝐵23subscript𝐿𝜏{B_{2}-3L_{\tau}}italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - 3 italic_L start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT (0,1,0)010(0,1,0)( 0 , 1 , 0 ) 00 00 33-3- 3
B33Lτsubscript𝐵33subscript𝐿𝜏{B_{3}-3L_{\tau}}italic_B start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT - 3 italic_L start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT (0,1,0)010(0,1,0)( 0 , 1 , 0 ) 00 00 33-3- 3
Table 1: U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT gauge charge assignments of SM particles for different models. To ease our notation throughout this paper we denote 𝕏Li=𝕏isubscript𝕏subscript𝐿𝑖subscript𝕏subscript𝑖\mathbb{X}_{L_{i}}=\mathbb{X}_{\ell_{i}}blackboard_X start_POSTSUBSCRIPT italic_L start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT = blackboard_X start_POSTSUBSCRIPT roman_ℓ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT. The models with tree level Ze+esuperscript𝑍superscript𝑒superscript𝑒Z^{\prime}e^{+}e^{-}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT vertex (𝕏10subscript𝕏10\mathbb{X}_{1}\neq 0blackboard_X start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ≠ 0) are written in bold front. The charges of νRisubscript𝜈subscript𝑅𝑖\nu_{R_{i}}italic_ν start_POSTSUBSCRIPT italic_R start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT are fixed by anomaly cancellation condition and the charge of the scalar singlet σ𝜎\sigmaitalic_σ, needs to give mass to Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT, depending on the model and details of neutrino mass generation.
Refer to caption
Figure 2: The U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT models can be broadly classified into two categories: (a) those where Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT couples at tree level with electrons (𝕏10subscript𝕏10\mathbb{X}_{1}\neq 0blackboard_X start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ≠ 0), encircled in green color and (b) those where Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT has no tree level coupling with electrons (𝕏1=0subscript𝕏10\mathbb{X}_{1}=0blackboard_X start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 0), encircled in red color. See text for more details.

The νLsubscript𝜈𝐿\nu_{L}italic_ν start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT decoupling is governed by only the weak interaction processes in SM scenario and usually takes place at around Tsimilar-to𝑇absentT\simitalic_T ∼ MeV temperature [6]. The only particles relevant at that temperature are e±,γsuperscript𝑒plus-or-minus𝛾e^{\pm},~{}\gammaitalic_e start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT , italic_γ and νi(ie,μ,τ)subscript𝜈𝑖𝑖𝑒𝜇𝜏\nu_{i}~{}(i\equiv e,\mu,\tau)italic_ν start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_i ≡ italic_e , italic_μ , italic_τ ). The scenario changes drastically in the presence of any light (mass 𝒪(1)similar-toabsent𝒪1\sim\mathcal{O}(1)∼ caligraphic_O ( 1 ) MeV) BSM particles interacting with either of these three sectors [7, 23]. Thus one can easily anticipate that light U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT gauge boson Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT (with mass, MZ𝒪(1)similar-tosubscript𝑀superscript𝑍𝒪1M_{Z^{\prime}}\sim\mathcal{O}(1)italic_M start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ∼ caligraphic_O ( 1 ) MeV) interacting with νisubscript𝜈𝑖\nu_{i}italic_ν start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT and e±superscript𝑒plus-or-minuse^{\pm}italic_e start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT will significantly alter the Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT at the time of CMB. In this work we will assume all 3333 νisubscript𝜈𝑖\nu_{i}italic_ν start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT acquire the same temperature (TνLsubscript𝑇subscript𝜈𝐿T_{\nu_{L}}italic_T start_POSTSUBSCRIPT italic_ν start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT end_POSTSUBSCRIPT) and consider the case where Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT was initially in a thermal bath (gX109greater-than-or-equivalent-tosubscript𝑔𝑋superscript109g_{X}\gtrsim 10^{-9}italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ≳ 10 start_POSTSUPERSCRIPT - 9 end_POSTSUPERSCRIPT) [23]. Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT is parametrised in terms of the temperature ratios of νisubscript𝜈𝑖\nu_{i}italic_ν start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT sector and γ𝛾\gammaitalic_γ bath [1],

Neff=87(114)4/3(ρνL(TνL)ργ(Tγ))=3×87(114)4/3(TνLTγ)4subscript𝑁eff87superscript11443subscript𝜌subscript𝜈𝐿subscript𝑇subscript𝜈𝐿subscript𝜌𝛾subscript𝑇𝛾387superscript11443superscriptsubscript𝑇subscript𝜈𝐿subscript𝑇𝛾4\displaystyle N_{\rm eff}=\frac{8}{7}\left(\frac{11}{4}\right)^{4/3}\left(% \frac{\rho_{\nu_{L}}(T_{\nu_{L}})}{\rho_{\gamma}(T_{\gamma})}\right)=3\times% \frac{8}{7}\left(\frac{11}{4}\right)^{4/3}\left(\frac{T_{\nu_{L}}}{T_{\gamma}}% \right)^{4}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT = divide start_ARG 8 end_ARG start_ARG 7 end_ARG ( divide start_ARG 11 end_ARG start_ARG 4 end_ARG ) start_POSTSUPERSCRIPT 4 / 3 end_POSTSUPERSCRIPT ( divide start_ARG italic_ρ start_POSTSUBSCRIPT italic_ν start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_T start_POSTSUBSCRIPT italic_ν start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) end_ARG start_ARG italic_ρ start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT ( italic_T start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT ) end_ARG ) = 3 × divide start_ARG 8 end_ARG start_ARG 7 end_ARG ( divide start_ARG 11 end_ARG start_ARG 4 end_ARG ) start_POSTSUPERSCRIPT 4 / 3 end_POSTSUPERSCRIPT ( divide start_ARG italic_T start_POSTSUBSCRIPT italic_ν start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG start_ARG italic_T start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT (1)

Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT at the time of CMB is determined by computing the temperature ratio TνLTγsubscript𝑇subscript𝜈𝐿subscript𝑇𝛾\frac{T_{\nu_{L}}}{T_{\gamma}}divide start_ARG italic_T start_POSTSUBSCRIPT italic_ν start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG start_ARG italic_T start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT end_ARG at Tγ=TCMBsubscript𝑇𝛾subscript𝑇CMBT_{\gamma}=T_{\rm CMB}italic_T start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT = italic_T start_POSTSUBSCRIPT roman_CMB end_POSTSUBSCRIPT. Note that, throughout this paper, whenever we say Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT, we refer Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT at the time of CMB. To evaluate TνL/Tγsubscript𝑇subscript𝜈𝐿subscript𝑇𝛾T_{\nu_{L}}/T_{\gamma}italic_T start_POSTSUBSCRIPT italic_ν start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT end_POSTSUBSCRIPT / italic_T start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT we solve the following coupled equations 666Further details can be found in Appendix A-C of Ref. [23].,

dTνLdt𝑑subscript𝑇subscript𝜈𝐿𝑑𝑡\displaystyle\frac{dT_{\nu_{L}}}{dt}divide start_ARG italic_d italic_T start_POSTSUBSCRIPT italic_ν start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG start_ARG italic_d italic_t end_ARG =\displaystyle== (4HρνLδρνLe±δt+δρZνLδt)(ρνLTνL)14𝐻subscript𝜌subscript𝜈𝐿𝛿subscript𝜌subscript𝜈𝐿superscript𝑒plus-or-minus𝛿𝑡𝛿subscript𝜌superscript𝑍subscript𝜈𝐿𝛿𝑡superscriptsubscript𝜌subscript𝜈𝐿subscript𝑇subscript𝜈𝐿1\displaystyle-\left(4H\rho_{\nu_{L}}-\frac{\delta\rho_{\nu_{L}\to e^{\pm}}}{% \delta t}+\frac{\delta\rho_{Z^{\prime}\to\nu_{L}}}{\delta t}\right)\left(\frac% {\partial\rho_{\nu_{L}}}{\partial T_{\nu_{L}}}\right)^{-1}- ( 4 italic_H italic_ρ start_POSTSUBSCRIPT italic_ν start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT end_POSTSUBSCRIPT - divide start_ARG italic_δ italic_ρ start_POSTSUBSCRIPT italic_ν start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT → italic_e start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT end_POSTSUBSCRIPT end_ARG start_ARG italic_δ italic_t end_ARG + divide start_ARG italic_δ italic_ρ start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT → italic_ν start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG start_ARG italic_δ italic_t end_ARG ) ( divide start_ARG ∂ italic_ρ start_POSTSUBSCRIPT italic_ν start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG start_ARG ∂ italic_T start_POSTSUBSCRIPT italic_ν start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT (2)
dTZdt𝑑subscript𝑇superscript𝑍𝑑𝑡\displaystyle\frac{dT_{Z^{\prime}}}{dt}divide start_ARG italic_d italic_T start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT end_ARG start_ARG italic_d italic_t end_ARG =\displaystyle== (3H(ρZ+PZ)δρZνLδtδρZe±δt)(ρZTZ)13𝐻subscript𝜌superscript𝑍subscript𝑃superscript𝑍𝛿subscript𝜌superscript𝑍subscript𝜈𝐿𝛿𝑡𝛿subscript𝜌superscript𝑍superscript𝑒plus-or-minus𝛿𝑡superscriptsubscript𝜌superscript𝑍subscript𝑇superscript𝑍1\displaystyle-\left(3H\left(\rho_{Z^{\prime}}+P_{Z^{\prime}}\right)-\frac{% \delta\rho_{Z^{\prime}\to\nu_{L}}}{\delta t}-\frac{\delta\rho_{Z^{\prime}\to e% ^{\pm}}}{\delta t}\right)\left(\frac{\partial\rho_{Z^{\prime}}}{\partial T_{Z^% {\prime}}}\right)^{-1}- ( 3 italic_H ( italic_ρ start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT + italic_P start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ) - divide start_ARG italic_δ italic_ρ start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT → italic_ν start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG start_ARG italic_δ italic_t end_ARG - divide start_ARG italic_δ italic_ρ start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT → italic_e start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT end_POSTSUBSCRIPT end_ARG start_ARG italic_δ italic_t end_ARG ) ( divide start_ARG ∂ italic_ρ start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT end_ARG start_ARG ∂ italic_T start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT (3)
dTγdt𝑑subscript𝑇𝛾𝑑𝑡\displaystyle\frac{dT_{\gamma}}{dt}divide start_ARG italic_d italic_T start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT end_ARG start_ARG italic_d italic_t end_ARG =\displaystyle== (4Hργ+3H(ρe+Pe)+δρνLe±δt+δρZe±δt)(ργTγ+ρeTγ)1,4𝐻subscript𝜌𝛾3𝐻subscript𝜌𝑒subscript𝑃𝑒𝛿subscript𝜌subscript𝜈𝐿superscript𝑒plus-or-minus𝛿𝑡𝛿subscript𝜌superscript𝑍superscript𝑒plus-or-minus𝛿𝑡superscriptsubscript𝜌𝛾subscript𝑇𝛾subscript𝜌𝑒subscript𝑇𝛾1\displaystyle-\left(4H\rho_{\gamma}+3H\left(\rho_{e}+P_{e}\right)+\frac{\delta% \rho_{\nu_{L}\to e^{\pm}}}{\delta t}+\frac{\delta\rho_{Z^{\prime}\to e^{\pm}}}% {\delta t}\right)\left(\frac{\partial\rho_{\gamma}}{\partial T_{\gamma}}+\frac% {\partial\rho_{e}}{\partial T_{\gamma}}\right)^{-1},- ( 4 italic_H italic_ρ start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT + 3 italic_H ( italic_ρ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT + italic_P start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ) + divide start_ARG italic_δ italic_ρ start_POSTSUBSCRIPT italic_ν start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT → italic_e start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT end_POSTSUBSCRIPT end_ARG start_ARG italic_δ italic_t end_ARG + divide start_ARG italic_δ italic_ρ start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT → italic_e start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT end_POSTSUBSCRIPT end_ARG start_ARG italic_δ italic_t end_ARG ) ( divide start_ARG ∂ italic_ρ start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT end_ARG start_ARG ∂ italic_T start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT end_ARG + divide start_ARG ∂ italic_ρ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_ARG start_ARG ∂ italic_T start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT , (4)

where, ρr,Prsubscript𝜌𝑟subscript𝑃𝑟\rho_{r},P_{r}italic_ρ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT , italic_P start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT and Trsubscript𝑇𝑟T_{r}italic_T start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT stand for the energy density, pressure density, and temperature of species r𝑟ritalic_r. On the other hand, δρabδt𝛿subscript𝜌𝑎𝑏𝛿𝑡\frac{\delta\rho_{a\to b}}{\delta t}divide start_ARG italic_δ italic_ρ start_POSTSUBSCRIPT italic_a → italic_b end_POSTSUBSCRIPT end_ARG start_ARG italic_δ italic_t end_ARG signify the energy transfer rate from bath a𝑎aitalic_a to b𝑏bitalic_b, deduced by integrating the collision terms [7, 23]. As mentioned earlier, assuming same temperature between 3 νisubscript𝜈𝑖\nu_{i}italic_ν start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT sectors, we denote ρνL=i=e,μ,τρνisubscript𝜌subscript𝜈𝐿subscript𝑖𝑒𝜇𝜏subscript𝜌subscript𝜈𝑖\rho_{\nu_{L}}=\sum_{i=e,\mu,\tau}\rho_{\nu_{i}}italic_ρ start_POSTSUBSCRIPT italic_ν start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_i = italic_e , italic_μ , italic_τ end_POSTSUBSCRIPT italic_ρ start_POSTSUBSCRIPT italic_ν start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT, δρνLeδt=i=e,μ,τδρνieδt𝛿subscript𝜌subscript𝜈𝐿𝑒𝛿𝑡subscript𝑖𝑒𝜇𝜏𝛿subscript𝜌subscript𝜈𝑖𝑒𝛿𝑡\frac{\delta\rho_{\nu_{L}\to e}}{\delta t}=\sum_{i=e,\mu,\tau}\frac{\delta\rho% _{\nu_{i}\to e}}{\delta t}divide start_ARG italic_δ italic_ρ start_POSTSUBSCRIPT italic_ν start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT → italic_e end_POSTSUBSCRIPT end_ARG start_ARG italic_δ italic_t end_ARG = ∑ start_POSTSUBSCRIPT italic_i = italic_e , italic_μ , italic_τ end_POSTSUBSCRIPT divide start_ARG italic_δ italic_ρ start_POSTSUBSCRIPT italic_ν start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT → italic_e end_POSTSUBSCRIPT end_ARG start_ARG italic_δ italic_t end_ARG and δρZνLδt=i=e,μ,τδρZνiδt𝛿subscript𝜌superscript𝑍subscript𝜈𝐿𝛿𝑡subscript𝑖𝑒𝜇𝜏𝛿subscript𝜌superscript𝑍subscript𝜈𝑖𝛿𝑡\frac{\delta\rho_{Z^{\prime}\to\nu_{L}}}{\delta t}=\sum_{i=e,\mu,\tau}\frac{% \delta\rho_{Z^{\prime}\to\nu_{i}}}{\delta t}divide start_ARG italic_δ italic_ρ start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT → italic_ν start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG start_ARG italic_δ italic_t end_ARG = ∑ start_POSTSUBSCRIPT italic_i = italic_e , italic_μ , italic_τ end_POSTSUBSCRIPT divide start_ARG italic_δ italic_ρ start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT → italic_ν start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG start_ARG italic_δ italic_t end_ARG. Throughout the paper, by νLsubscript𝜈𝐿\nu_{L}italic_ν start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT we refer all 3333 generation of νi(ie,μ,τ)subscript𝜈𝑖𝑖𝑒𝜇𝜏\nu_{i}~{}(i\equiv e,\mu,\tau)italic_ν start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_i ≡ italic_e , italic_μ , italic_τ ) as a whole. We do not discuss the energy transfer rates here as they are already elaborated in detail in Ref. [23].

It is worth mentioning that the νiνi¯Zsubscript𝜈𝑖¯subscript𝜈𝑖superscript𝑍\nu_{i}\bar{\nu_{i}}Z^{\prime}italic_ν start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT over¯ start_ARG italic_ν start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT coupling and the e+eZsuperscript𝑒superscript𝑒superscript𝑍e^{+}e^{-}Z^{\prime}italic_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT coupling are the most crucial parameters in the BSM processes that affect the Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT. However, interactions involving heavier charged leptons and quarks are insignificant here, as their energy densities are suppressed at temperatures nearing 1similar-toabsent1\sim 1∼ 1 MeV. When Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT has coupling to both νLsubscript𝜈𝐿\nu_{L}italic_ν start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT and e±superscript𝑒plus-or-minuse^{\pm}italic_e start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT (𝕏10subscript𝕏10\mathbb{X}_{1}\neq 0blackboard_X start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ≠ 0) , both the following BSM processes affect νLsubscript𝜈𝐿\nu_{L}italic_ν start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT decoupling: (i) Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT decaying to both e+esuperscript𝑒superscript𝑒e^{+}e^{-}italic_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT and νiνi¯subscript𝜈𝑖¯subscript𝜈𝑖\nu_{i}\bar{\nu_{i}}italic_ν start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT over¯ start_ARG italic_ν start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG and (ii) scattering process νiνi¯e+esubscript𝜈𝑖¯subscript𝜈𝑖superscript𝑒superscript𝑒\nu_{i}\bar{\nu_{i}}\to e^{+}e^{-}italic_ν start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT over¯ start_ARG italic_ν start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG → italic_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT mediated by Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT. Any increase in the effective coupling (𝕏1gXsubscript𝕏1subscript𝑔𝑋\mathbb{X}_{1}g_{X}blackboard_X start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT) dictating these BSM processes enhances the BSM contribution, thus leading to an increment in Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT. On the other hand in the absence of tree level Ze+esuperscript𝑍superscript𝑒superscript𝑒Z^{\prime}e^{+}e^{-}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT vertex (𝕏1=0)subscript𝕏10(\mathbb{X}_{1}=0)( blackboard_X start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 0 ), all the number density of Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT finally gets diluted to νLsubscript𝜈𝐿\nu_{L}italic_ν start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT bath (with 100%percent100100\%100 % branching ratio) irrespective of the coupling strength (𝕏2/3gXsubscript𝕏23subscript𝑔𝑋\mathbb{X}_{2/3}g_{X}blackboard_X start_POSTSUBSCRIPT 2 / 3 end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT). Hence for such models (𝕏1=0subscript𝕏10\mathbb{X}_{1}=0blackboard_X start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 0), the final Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT becomes independent of effective couplings 𝕏2,3gXsubscript𝕏23subscript𝑔𝑋\mathbb{X}_{2,3}g_{X}blackboard_X start_POSTSUBSCRIPT 2 , 3 end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT. Thus following our argument in Ref. [23] the light Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT models can be broadly classified into two cases: 𝕏10subscript𝕏10\mathbb{X}_{1}\neq 0blackboard_X start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ≠ 0 and 𝕏1=0subscript𝕏10\mathbb{X}_{1}=0blackboard_X start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 0, depending on whether Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT has tree level coupling with electron or not (see Fig.2).

It is worth highlighting that even in the absence of tree level Ze+esuperscript𝑍superscript𝑒superscript𝑒Z^{\prime}e^{+}e^{-}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT interaction (𝕏1=0subscript𝕏10\mathbb{X}_{1}=0blackboard_X start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 0), induced coupling with e±superscript𝑒plus-or-minuse^{\pm}italic_e start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT may exist which varies depending on the specific model [38]. We do not delve into the details of induced coupling which may arise from kinetic mixing or can be loop induced. We take the following effective Ze+esuperscript𝑍superscript𝑒superscript𝑒Z^{\prime}e^{+}e^{-}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT interaction Lagrangian:

int=(ϵe)e¯γμeZμ,subscript𝑖𝑛𝑡italic-ϵ𝑒¯𝑒superscript𝛾𝜇𝑒subscriptsuperscript𝑍𝜇\mathcal{L}_{int}=(\epsilon e)\bar{e}\gamma^{\mu}eZ^{\prime}_{\mu},caligraphic_L start_POSTSUBSCRIPT italic_i italic_n italic_t end_POSTSUBSCRIPT = ( italic_ϵ italic_e ) over¯ start_ARG italic_e end_ARG italic_γ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_e italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT , (5)

with a benchmark value ϵ=gX70italic-ϵsubscript𝑔𝑋70\epsilon=-\frac{g_{X}}{70}italic_ϵ = - divide start_ARG italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT end_ARG start_ARG 70 end_ARG, which is very commonly used for LμLτsubscript𝐿𝜇subscript𝐿𝜏L_{\mu}-L_{\tau}italic_L start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT - italic_L start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT models (with 𝕏1=0subscript𝕏10\mathbb{X}_{1}=0blackboard_X start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 0)[39, 7]. Needless to say that with the increase in MZsubscript𝑀superscript𝑍M_{Z^{\prime}}italic_M start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT, the energy density of Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT gets suppressed and hence Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT decreases for both of the above mentioned two cases.

The excess in Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT at CMB in the presence of Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT can be used to constrain the parameter space, as the deviation from SM predicted value of Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT is also very precisely constrained from Planck 2018 [5]. We translate this constrain from Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT in the parameter space of MZgXsubscript𝑀superscript𝑍subscript𝑔𝑋M_{Z^{\prime}}-g_{X}italic_M start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT - italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT plane for previously mentioned two classes of generic U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT models in our previous work [23]. We extend this exercise for all popular U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT models by performing exhaustive numerical scans on the parameter space (for Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT), in the next section.

3 Specific U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT Symmetries

In this section, we will discuss some phenomenological consequences of various well motivated U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT symmetries. As mentioned earlier, while doing this we consider that the corresponding gauge boson Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT was initially in thermal equilibrium and the RHNs are heavy enough that they do not take part in νLsubscript𝜈𝐿\nu_{L}italic_ν start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT decoupling. In order to estimate Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT, we find the temperature ratio TνL/Tγsubscript𝑇subscript𝜈𝐿subscript𝑇𝛾T_{\nu_{L}}/T_{\gamma}italic_T start_POSTSUBSCRIPT italic_ν start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT end_POSTSUBSCRIPT / italic_T start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT at Tγ=TCMBsubscript𝑇𝛾subscript𝑇CMBT_{\gamma}=T_{\rm CMB}italic_T start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT = italic_T start_POSTSUBSCRIPT roman_CMB end_POSTSUBSCRIPT by solving eq.(2)-(4) and then plug into eq.(1). As described earlier the value of Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT is strongly dependent on parameters: gXsubscript𝑔𝑋g_{X}italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT and MZsubscript𝑀superscript𝑍M_{Z^{\prime}}italic_M start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT, and hence the upper limit on Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT by Planck 2018 [5] leads to strong constraint on the same parameter space. Before going into the details of the results we summarize the existing laboratory-based constraints on light Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT in Table-2. The detailed discussion on existing constraints can be found in Ref. [16, 17, 18, 19, 21, 20]. In addition to the constraints mentioned in the table, the light Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT may also encounter astrophysical constraints like SN1987A [40, 41, 42]. However, this supernova constraint differs depending on the specific gauge model and requires a detailed analysis which is beyond the scope of this work.

Experiments Process Observations Refs.
Eν𝜈\nuitalic_νES (elastic electron-neutrino scattering) νeνe𝜈𝑒𝜈𝑒\nu~{}e\to\nu~{}eitalic_ν italic_e → italic_ν italic_e incoming particle: solar ν𝜈\nuitalic_ν (νe)subscript𝜈𝑒(\nu_{e})( italic_ν start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ) recoil rate of esuperscript𝑒e^{-}italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT XENON [20, 43], LZ[21], Borexino [18, 44, 19]
CEν𝜈\nuitalic_νNS (coherent elastic neutrino -nucleus scattering) νNνN𝜈𝑁𝜈𝑁\nu~{}N\to\nu~{}Nitalic_ν italic_N → italic_ν italic_N nuclei N: {CsI, Ar} recoil rate of nucleus CsI and Ar [45, 33, 39] XENON [20, 21]
Fixed target experiments e(p)Ne(p)NZ𝑒𝑝𝑁𝑒𝑝𝑁superscript𝑍e(p)~{}N\to e(p)~{}N~{}Z^{\prime}italic_e ( italic_p ) italic_N → italic_e ( italic_p ) italic_N italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT Ze+esuperscript𝑍superscript𝑒superscript𝑒Z^{\prime}\to e^{+}e^{-}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT → italic_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT displaced vertex with di-electron E137 [46], E141 [47], E774 [32] etc.
Neutrino trident νNνNμ+μ𝜈𝑁𝜈𝑁superscript𝜇superscript𝜇\nu~{}N\to\nu~{}N~{}\mu^{+}~{}\mu^{-}italic_ν italic_N → italic_ν italic_N italic_μ start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_μ start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT di-muon final state LBNE [48], CCFR [49], DUNE [50]
ATLAS and CMS (i)ppZμ+μ𝑖𝑝𝑝superscript𝑍superscript𝜇superscript𝜇(i)~{}pp\to Z^{\prime}\to\mu^{+}\mu^{-}( italic_i ) italic_p italic_p → italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT → italic_μ start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_μ start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT (ii)pph,ϕZZformulae-sequence𝑖𝑖𝑝𝑝italic-ϕsuperscript𝑍superscript𝑍(ii)~{}pp\to h,\phi\to Z^{*}Z^{\prime}( italic_i italic_i ) italic_p italic_p → italic_h , italic_ϕ → italic_Z start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT, ZZ4superscript𝑍superscript𝑍4Z^{*}~{}Z^{\prime}\to 4\ellitalic_Z start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT → 4 roman_ℓ (i)𝑖(i)( italic_i ) oppositely charged muons (ii)𝑖𝑖(ii)( italic_i italic_i ) 444\ell4 roman_ℓ final state (i)𝑖(i)( italic_i ) [51] (ii)𝑖𝑖(ii)( italic_i italic_i ) [52, 53]
BaBar, Belle e+eγISRZsuperscript𝑒superscript𝑒subscript𝛾ISRsuperscript𝑍e^{+}~{}e^{-}\to\gamma_{\rm ISR}~{}Z^{\prime}italic_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT → italic_γ start_POSTSUBSCRIPT roman_ISR end_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , Z+(=e,μ)superscript𝑍superscriptsuperscript𝑒𝜇Z^{\prime}\to\ell^{+}\ell^{-}(\ell=e,\mu)italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT → roman_ℓ start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT roman_ℓ start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT ( roman_ℓ = italic_e , italic_μ ) lepton charged tracks with γ𝛾\gammaitalic_γ BaBar [31, 16] Belle [30]
KLOE e+eγISRZsuperscript𝑒superscript𝑒subscript𝛾ISRsuperscript𝑍e^{+}~{}e^{-}\to\gamma_{\rm ISR}Z^{\prime}italic_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT → italic_γ start_POSTSUBSCRIPT roman_ISR end_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT, Zμ+μ,π+πsuperscript𝑍superscript𝜇superscript𝜇superscript𝜋superscript𝜋Z^{\prime}\to\mu^{+}\mu^{-},\pi^{+}\pi^{-}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT → italic_μ start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_μ start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT , italic_π start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_π start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT charged tracks with γ𝛾\gammaitalic_γ KLOE [54]
Table 2: Summary of the existing laboratory-based constraints on light Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT. For further details see Ref. [16, 17, 18, 19, 21, 20].

For the ease of readers, we denote the experimental constraints with the same notation for all U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT models shown in Fig.3-6. The bounds from Eν𝜈\nuitalic_νES and CEν𝜈\nuitalic_νNS from direct detection experiments (XENON1T) are shown by dark cyan and dark blue solid lines respectively. On the other hand bounds from Borexino and coherent scattering from CsI+++Ar material are depicted by gray hatched region and dark green solid line repectively. The magenta solid line and the light blue hatched region in some figures signify the constraint from ν𝜈\nuitalic_ν oscillation data [17] and fixed target experiments respectively. Finally, the 2σ2𝜎2\sigma2 italic_σ upper limit on Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT at CMB (3.333.333.333.33) from Planck 2018 [5] is shown by the red dashed line. To display the variation of Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT we also show two additional contours for Neff=3.2subscript𝑁eff3.2N_{\rm eff}=3.2italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT = 3.2 and Neff=3.5subscript𝑁eff3.5N_{\rm eff}=3.5italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT = 3.5 depicted by blue dashed lines. We now discuss each of the U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT models one by one throughout this section. Although two of them have already been discussed in the literature [7, 8], for completeness and comparative analysis, here we discuss all popular U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT models (see Table. 1).

3.1 The Gauged U(1)BL𝑈subscript1𝐵𝐿U(1)_{B-L}italic_U ( 1 ) start_POSTSUBSCRIPT italic_B - italic_L end_POSTSUBSCRIPT Symmetry

BL𝐵𝐿B-Litalic_B - italic_L type of U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT model has been studied exhaustively in different contexts [34, 35, 20, 55]. In such gauge extensions, all three generation of leptons are charged with U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT charge |𝕏i|=1subscript𝕏𝑖1|\mathbb{X}_{i}|=1| blackboard_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT | = 1. Hence it lies to the first class of models which have tree level coupling of Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT with e±superscript𝑒plus-or-minuse^{\pm}italic_e start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT as discussed in Sec.2. We show various constraints in MZsubscript𝑀superscript𝑍M_{Z^{\prime}}italic_M start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT vs. gXsubscript𝑔𝑋g_{X}italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT plane in Fig.3(a). Since, in this model Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT can couple to both leptons and quarks it attracts strong constraints from fixed target experiments in the sub-GeV range of MZsubscript𝑀superscript𝑍M_{Z^{\prime}}italic_M start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT with gX108greater-than-or-equivalent-tosubscript𝑔𝑋superscript108g_{X}\gtrsim 10^{-8}italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ≳ 10 start_POSTSUPERSCRIPT - 8 end_POSTSUPERSCRIPT [47, 46, 32]. A summary of these bounds can be found in Refs. [56, 57]. On the other hand, neutrino scattering experiments like Eν𝜈\nuitalic_νES and CEν𝜈\nuitalic_νNS from XENON1T, XENONnT and LZ [20, 43, 21] place stringent constraint in the parameter space. Neutrino electron scattering from Borexino also excludes gX105greater-than-or-equivalent-tosubscript𝑔𝑋superscript105g_{X}\gtrsim 10^{-5}italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ≳ 10 start_POSTSUPERSCRIPT - 5 end_POSTSUPERSCRIPT for MZ10similar-tosubscript𝑀superscript𝑍10M_{Z^{\prime}}\sim 10italic_M start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ∼ 10 MeV [18, 44, 19]. Other experiments like BaBar [31, 58] and KLOE [54] can place constraint at relatively larger couplings (gX104similar-tosubscript𝑔𝑋superscript104g_{X}\sim 10^{-4}italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ∼ 10 start_POSTSUPERSCRIPT - 4 end_POSTSUPERSCRIPT). In spite of these stringent constraints, there is significant parameter space, particularly for low mass and small couplings which remains unconstrained. The constraint coming from the upper limit on Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT from Planck 2018 [5], shown by the red dashed line, can exclude a large portion of this parameter space as shown in Fig.3(a). It excludes MZ5less-than-or-similar-tosubscript𝑀superscript𝑍5M_{Z^{\prime}}\lesssim 5italic_M start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ≲ 5 MeV at lower couplings (gX109similar-tosubscript𝑔𝑋superscript109g_{X}\sim 10^{-9}italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ∼ 10 start_POSTSUPERSCRIPT - 9 end_POSTSUPERSCRIPT) and MZ20less-than-or-similar-tosubscript𝑀superscript𝑍20M_{Z^{\prime}}\lesssim 20italic_M start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ≲ 20 MeV at higher couplings (gX103similar-tosubscript𝑔𝑋superscript103g_{X}\sim 10^{-3}italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ∼ 10 start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT). As discussed in Sec.2 with an increase in gXsubscript𝑔𝑋g_{X}italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT the relevant collision terms increase leading to an enhancement in Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT. And with an increase in MZsubscript𝑀superscript𝑍M_{Z^{\prime}}italic_M start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT the effect in Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT decreases due to the suppressed energy density of Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT at νLsubscript𝜈𝐿\nu_{L}italic_ν start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT decoupling. For this reason, we observe the contour for the upper limit on Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT gradually shifts towards the higher MZsubscript𝑀superscript𝑍M_{Z^{\prime}}italic_M start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT with increase in gXsubscript𝑔𝑋g_{X}italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT. This phenomenon can also be understood from the contour lines (blue dashed) with Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT values of 3.53.53.53.5 and 3.23.23.23.2.

Refer to caption
(a)
Refer to caption
(b)
Refer to caption
(c)
Refer to caption
(d)
Figure 3: Constraints from Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT (Planck 2018) along with experimental bounds shown in the parameter space of light Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT realized in (a) BL𝐵𝐿B-Litalic_B - italic_L, (b) B3Le𝐵3subscript𝐿𝑒B-3L_{e}italic_B - 3 italic_L start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT, (c) B3Lμ𝐵3subscript𝐿𝜇B-3L_{\mu}italic_B - 3 italic_L start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT with ϵ=0italic-ϵ0\epsilon=0italic_ϵ = 0 and (d) B3Lμ𝐵3subscript𝐿𝜇B-3L_{\mu}italic_B - 3 italic_L start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT with ϵ=gX/70italic-ϵsubscript𝑔𝑋70\epsilon=-g_{X}/70italic_ϵ = - italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT / 70. The 2σ2𝜎2\sigma2 italic_σ upper limit from Planck 2018 on Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT is shown by the red dashed lines and the exclusion region is shown by the red shaded area.

3.2 The Gauged U(1)B3Li𝑈subscript1𝐵3subscript𝐿𝑖U(1)_{B-3L_{i}}italic_U ( 1 ) start_POSTSUBSCRIPT italic_B - 3 italic_L start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT Symmetry

So far we have considered only the flavour universal U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT symmetry where each generation of quarks and charged leptons carry the same charge under the U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT symmetry. However, there are several flavour dependent U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT symmetries known in the literature [15, 17, 18, 19, 59]. One of such flavour dependent U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT symmetry is the so called U(1)B3Li𝑈subscript1𝐵3subscript𝐿𝑖U(1)_{B-3L_{i}}italic_U ( 1 ) start_POSTSUBSCRIPT italic_B - 3 italic_L start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT gauge symmetries [60]. In this scenario, the U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT charges of all generations of quarks are still the same as that we consider in BL𝐵𝐿B-Litalic_B - italic_L symmetry, however only one generation of SM leptons carry the U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT charge. There are three types for such symmetries namely the U(1)B3Le𝑈subscript1𝐵3subscript𝐿𝑒U(1)_{B-3L_{e}}italic_U ( 1 ) start_POSTSUBSCRIPT italic_B - 3 italic_L start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_POSTSUBSCRIPT, U(1)B3Lμ𝑈subscript1𝐵3subscript𝐿𝜇U(1)_{B-3L_{\mu}}italic_U ( 1 ) start_POSTSUBSCRIPT italic_B - 3 italic_L start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT end_POSTSUBSCRIPT and U(1)B3Lτ𝑈subscript1𝐵3subscript𝐿𝜏U(1)_{B-3L_{\tau}}italic_U ( 1 ) start_POSTSUBSCRIPT italic_B - 3 italic_L start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT end_POSTSUBSCRIPT gauge symmetries corresponding to the first, second, and third generation of SM leptons respectively. The charges of the SM particles and new particles under these symmetries are given in Table 1.

3.2.1 B3Le𝐵3subscript𝐿𝑒{B-3L_{e}}italic_B - 3 italic_L start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT model:

In the B3Le𝐵3subscript𝐿𝑒B-3L_{e}italic_B - 3 italic_L start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT model the light Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT couples to e±superscript𝑒plus-or-minuse^{\pm}italic_e start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT apart from all 3 quark generations [59]. As the Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT has tree level coupling with e±superscript𝑒plus-or-minuse^{\pm}italic_e start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT it will lie in the first class of models in deciding Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT as discussed in Sec.2. Hence, the upper bound on Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT arising from Planck 2018 also constrains this model, as depicted by the tilted red dashed line (similar to BL𝐵𝐿B-Litalic_B - italic_L) shown in Fig.3(b). However, in this case U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT charge of e±superscript𝑒plus-or-minuse^{\pm}italic_e start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT, |𝕏1|=3subscript𝕏13|\mathbb{X}_{1}|=3| blackboard_X start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | = 3 so the constraints will be stronger than BL𝐵𝐿B-Litalic_B - italic_L model. As the coupling of Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT with e±superscript𝑒plus-or-minuse^{\pm}italic_e start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT is thrice (𝕏1gXsubscript𝕏1subscript𝑔𝑋\mathbb{X}_{1}g_{X}blackboard_X start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT) than that of BL𝐵𝐿B-Litalic_B - italic_L model, the relevant BSM processes also become larger compared to BL𝐵𝐿B-Litalic_B - italic_L, leading to larger Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT for the same gXsubscript𝑔𝑋g_{X}italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT and MZsubscript𝑀superscript𝑍M_{Z^{\prime}}italic_M start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT. For this reason we notice the contour for the upper limit on Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT shift towards the right (to higher MZsubscript𝑀superscript𝑍M_{Z^{\prime}}italic_M start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT) as compared to BL𝐵𝐿B-Litalic_B - italic_L shown in Fig.3(b). For the same reason the constraints like Eν𝜈\nuitalic_νES and CEν𝜈\nuitalic_νNS from Xenon1T [20], Borexino [18, 44, 19] become more stringent compared to BL𝐵𝐿B-Litalic_B - italic_L. Similar argument holds for BaBar [31, 58], KLOE [54] and fixed target experiments [32, 16, 19].

3.2.2 B3Lμ/τ𝐵3subscript𝐿𝜇𝜏{B-3L_{\mu/\tau}}italic_B - 3 italic_L start_POSTSUBSCRIPT italic_μ / italic_τ end_POSTSUBSCRIPT model:

In contrast to the B3Le𝐵3subscript𝐿𝑒B-3L_{e}italic_B - 3 italic_L start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT model, in B3Lμ𝐵3subscript𝐿𝜇{B-3L_{\mu}}italic_B - 3 italic_L start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT (B3Lτ𝐵3subscript𝐿𝜏{B-3L_{\tau}}italic_B - 3 italic_L start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT) model the light Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT couples to only second (third) generation of leptons with charge |𝕏2|=3subscript𝕏23|\mathbb{X}_{2}|=3| blackboard_X start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | = 3 (|𝕏3|=3subscript𝕏33|\mathbb{X}_{3}|=3| blackboard_X start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT | = 3). As the Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT has no tree level coupling with e±superscript𝑒plus-or-minuse^{\pm}italic_e start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT it will lie in the second class of models in deciding Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT as discussed in Sec.2. If we do not assume any induced coupling between Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT and e±superscript𝑒plus-or-minuse^{\pm}italic_e start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT, then the only BSM process to affect Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT is the decay of Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT to νLsubscript𝜈𝐿\nu_{L}italic_ν start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT sector with 100%percent100100\%100 % branching ratio (BR). Thus all the Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT density eventually dilutes to νLsubscript𝜈𝐿\nu_{L}italic_ν start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT sector independent of the coupling (X2/3gXsubscript𝑋23subscript𝑔𝑋X_{2/3}g_{X}italic_X start_POSTSUBSCRIPT 2 / 3 end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT) and hence we observe the bound from Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT becomes a straight line in the MZsuperscriptsubscript𝑀𝑍M_{Z}^{\prime}italic_M start_POSTSUBSCRIPT italic_Z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT vs. gXsubscript𝑔𝑋g_{X}italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT plane as shown in Fig.3(c). However, the situation changes drastically if we consider some induced coupling 777we pick this benchmark value to compare with the existing literature [39] ϵ=gX/70italic-ϵsubscript𝑔𝑋70\epsilon=-g_{X}/70italic_ϵ = - italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT / 70 between Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT and e±superscript𝑒plus-or-minuse^{\pm}italic_e start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT and the corresponding Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT constraint is portrayed in Fig.3(d). The knee like pattern is due to the interplay between decay and scattering and is discussed in great detail in our earlier work [23]. In the presence of the induced coupling both the processes (i) scattering: e+eνν¯superscript𝑒superscript𝑒𝜈¯𝜈e^{+}e^{-}\to\nu\bar{\nu}italic_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT → italic_ν over¯ start_ARG italic_ν end_ARG mediated by Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT and (ii) decay Ze+e/νν¯superscript𝑍superscript𝑒superscript𝑒𝜈¯𝜈Z^{\prime}\to e^{+}e^{-}/\nu\bar{\nu}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT → italic_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT / italic_ν over¯ start_ARG italic_ν end_ARG are active in the higher coupling (gX108greater-than-or-equivalent-tosubscript𝑔𝑋superscript108g_{X}\gtrsim 10^{-8}italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ≳ 10 start_POSTSUPERSCRIPT - 8 end_POSTSUPERSCRIPT) regime and the effect on Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT becomes almost similar like B3Le𝐵3subscript𝐿𝑒B-3L_{e}italic_B - 3 italic_L start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT in this regime. However, in the lower coupling regime gX108less-than-or-similar-tosubscript𝑔𝑋superscript108g_{X}\lesssim 10^{-8}italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ≲ 10 start_POSTSUPERSCRIPT - 8 end_POSTSUPERSCRIPT the scatterings are suppressed ((gX/70)2similar-toabsentsuperscriptsubscript𝑔𝑋702\sim(g_{X}/70)^{2}∼ ( italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT / 70 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT) than the decay (gX2similar-toabsentsuperscriptsubscript𝑔𝑋2\sim g_{X}^{2}∼ italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT), and hence the BSM process becomes decay dominated [23]. Thus in this regime (gX108less-than-or-similar-tosubscript𝑔𝑋superscript108g_{X}\lesssim 10^{-8}italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ≲ 10 start_POSTSUPERSCRIPT - 8 end_POSTSUPERSCRIPT) the constraint from Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT becomes independent of the coupling gXsubscript𝑔𝑋g_{X}italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT. In the absence of tree level coupling with e±superscript𝑒plus-or-minuse^{\pm}italic_e start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT, the experimental constraints in the parameter space are comparatively less stringent than those for B3Le𝐵3subscript𝐿𝑒B-3L_{e}italic_B - 3 italic_L start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT. The major constraints come from Eν𝜈\nuitalic_νES from Xenon1T [20], Borexino [18, 44, 19] and COHERENT data [19]. Additionally, ν𝜈\nuitalic_ν oscillation data also constrains the parameter space as given in Ref. [17].

3.3 The Gauged U(1)LiLj𝑈subscript1subscript𝐿𝑖subscript𝐿𝑗U(1)_{L_{i}-L_{j}}italic_U ( 1 ) start_POSTSUBSCRIPT italic_L start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - italic_L start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_POSTSUBSCRIPT Symmetry

So far we have been discussing about the U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT gauge symmetries under which at least some of the quarks were always charged. However, anomaly free models can be constructed by assigning U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT charges to even lepton sectors only. Such U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT models are LμLτ,LeLμ,subscript𝐿𝜇subscript𝐿𝜏subscript𝐿𝑒subscript𝐿𝜇L_{\mu}-L_{\tau},~{}L_{e}-L_{\mu},italic_L start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT - italic_L start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT , italic_L start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT - italic_L start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT , and LeLτsubscript𝐿𝑒subscript𝐿𝜏L_{e}-L_{\tau}italic_L start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT - italic_L start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT models. We start our discussion LμLτsubscript𝐿𝜇subscript𝐿𝜏L_{\mu}-L_{\tau}italic_L start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT - italic_L start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT type models due to its wide discussion in the existing literature [7, 39].

Refer to caption
(a)
Refer to caption
(b)
Refer to caption
(c)
Figure 4: Constraints from Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT (Planck 2018) along with experimental bounds shown in the parameter space of light Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT realized in (a) LμLτsubscript𝐿𝜇subscript𝐿𝜏L_{\mu}-L_{\tau}italic_L start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT - italic_L start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT with ϵ=0italic-ϵ0\epsilon=0italic_ϵ = 0, (b) LμLτsubscript𝐿𝜇subscript𝐿𝜏L_{\mu}-L_{\tau}italic_L start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT - italic_L start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT with ϵ=gX/70italic-ϵsubscript𝑔𝑋70\epsilon=-g_{X}/70italic_ϵ = - italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT / 70 and (c) LeLμsubscript𝐿𝑒subscript𝐿𝜇L_{e}-L_{\mu}italic_L start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT - italic_L start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT. The 2σ2𝜎2\sigma2 italic_σ upper limit from Planck 2018 on Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT is shown by the red dashed lines and the exclusion region is shown by red shaded area.

3.3.1 LμLτsubscript𝐿𝜇subscript𝐿𝜏{L_{\mu}-L_{\tau}}italic_L start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT - italic_L start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT model:

The Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT upper limit contour in LμLτsubscript𝐿𝜇subscript𝐿𝜏L_{\mu}-L_{\tau}italic_L start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT - italic_L start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT symmetry also exhibits similar dependence likewise in the B3Lμ𝐵3subscript𝐿𝜇B-3L_{\mu}italic_B - 3 italic_L start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT model, due to the absence of tree level Ze+esuperscript𝑍superscript𝑒superscript𝑒Z^{\prime}e^{+}e^{-}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT vertex. The constraints from Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT with and without the induced couplings are shown in Fig.4(a) and Fig.4(b) respectively. In the sub-GeV range the other relevant constraints are Eν𝜈\nuitalic_νES from Xenon1T [20], Borexino [18, 44, 19]. Fixed target (FT) experiment has very loose constraints due to the absence of both Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT quark coupling and Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT electron coupling [21].

3.3.2 LeLμ/τsubscript𝐿𝑒subscript𝐿𝜇𝜏{L_{e}-L_{\mu/\tau}}italic_L start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT - italic_L start_POSTSUBSCRIPT italic_μ / italic_τ end_POSTSUBSCRIPT model:

In LeLμsubscript𝐿𝑒subscript𝐿𝜇L_{e}-L_{\mu}italic_L start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT - italic_L start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT (or LeLτsubscript𝐿𝑒subscript𝐿𝜏L_{e}-L_{\tau}italic_L start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT - italic_L start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT ) model tree level Ze+esuperscript𝑍superscript𝑒superscript𝑒Z^{\prime}e^{+}e^{-}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT vertex exists in contrast to LμLτsubscript𝐿𝜇subscript𝐿𝜏L_{\mu}-L_{\tau}italic_L start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT - italic_L start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT type model and hence the constraint from Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT is exactly same as BL𝐵𝐿B-Litalic_B - italic_L model as depicted in Fig.4(c). For the same reason constraints from Eν𝜈\nuitalic_νES from Xenon1T [21], Borexino [18, 44, 19], Babar [31, 16] and fixed target experiments [16, 32] are found to be stronger than LμLτsubscript𝐿𝜇subscript𝐿𝜏L_{\mu}-L_{\tau}italic_L start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT - italic_L start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT model.

3.4 The Gauged U(1)Bi3Lj𝑈subscript1subscript𝐵𝑖3subscript𝐿𝑗U(1)_{B_{i}-3L_{j}}italic_U ( 1 ) start_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - 3 italic_L start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_POSTSUBSCRIPT Symmetry

There are also U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT symmetries where the symmetry is flavour dependent in both quarks as well as the lepton sector namely the U(1)Bi3Lj𝑈subscript1subscript𝐵𝑖3subscript𝐿𝑗U(1)_{B_{i}-3L_{j}}italic_U ( 1 ) start_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - 3 italic_L start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_POSTSUBSCRIPT gauge symmetries [15]. In this class, there are total nine such symmetries: B13Lj,B23Lj,B33Lj(je,μ,τ)subscript𝐵13subscript𝐿𝑗subscript𝐵23subscript𝐿𝑗subscript𝐵33subscript𝐿𝑗𝑗𝑒𝜇𝜏B_{1}-3L_{j},~{}B_{2}-3L_{j},~{}B_{3}-3L_{j}~{}(j\equiv e,\mu,\tau)italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - 3 italic_L start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - 3 italic_L start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , italic_B start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT - 3 italic_L start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ( italic_j ≡ italic_e , italic_μ , italic_τ ), where B1,B2,B3subscript𝐵1subscript𝐵2subscript𝐵3B_{1},B_{2},B_{3}italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_B start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT correspond to the first, second and third generation of quarks respectively. For all nine cases, the charges of the νRisubscript𝜈subscript𝑅𝑖\nu_{R_{i}}italic_ν start_POSTSUBSCRIPT italic_R start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT can be fixed by the anomaly cancellation conditions. Among these nine symmetries, we discussed about B33Ljsubscript𝐵33subscript𝐿𝑗B_{3}-3L_{j}italic_B start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT - 3 italic_L start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT symmetry in our previous work [23]. In this work, we will shed light on the remaining six symmetries. The charge assignments of these symmetries are shown in Table 1.

3.4.1 𝐁𝐢𝟑𝐋𝐞subscript𝐁𝐢3subscript𝐋𝐞\mathbf{B_{i}-3L_{e}}bold_B start_POSTSUBSCRIPT bold_i end_POSTSUBSCRIPT - bold_3 bold_L start_POSTSUBSCRIPT bold_e end_POSTSUBSCRIPT model:

Models like B13Le,B23Le,B33Lesubscript𝐵13subscript𝐿𝑒subscript𝐵23subscript𝐿𝑒subscript𝐵33subscript𝐿𝑒B_{1}-3L_{e},~{}B_{2}-3L_{e},~{}B_{3}-3L_{e}italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - 3 italic_L start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT , italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - 3 italic_L start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT , italic_B start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT - 3 italic_L start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT fall in this category where Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT has tree level coupling with e±superscript𝑒plus-or-minuse^{\pm}italic_e start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT and any one generation of quarks. Due to the presence of tree level Ze+esuperscript𝑍superscript𝑒superscript𝑒Z^{\prime}e^{+}e^{-}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT vertex (with |X1|=3subscript𝑋13|X_{1}|=3| italic_X start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | = 3) the Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT increases with increase in gXsubscript𝑔𝑋g_{X}italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT for a fixed MZsubscript𝑀superscript𝑍M_{Z^{\prime}}italic_M start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT. Hence the contour for the upper limit on Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT exhibits a pattern similar to the B3Le𝐵3subscript𝐿𝑒B-3L_{e}italic_B - 3 italic_L start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT model. The constraints are shown in Fig.5. For comparison, we also showcase bounds from Eν𝜈\nuitalic_νES (from Xenon1T) [20], Borexino [44] which are similar to the case in B3Le𝐵3subscript𝐿𝑒B-3L_{e}italic_B - 3 italic_L start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT model, since these bound rely only on the lepton coupling. Note that for B13Lesubscript𝐵13subscript𝐿𝑒B_{1}-3L_{e}italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - 3 italic_L start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT type of model with the tree level coupling of Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT to first generation quarks (and hence nucleons) may attract constraints from CEν𝜈\nuitalic_νNS, BaBar, and fixed target experiments. However such analysis has not been yet performed with these types of models in the existing literature and dedicated analysis is beyond the scope of this work. For B33Lesubscript𝐵33subscript𝐿𝑒B_{3}-3L_{e}italic_B start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT - 3 italic_L start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT model due to the presence of Zbsuperscript𝑍𝑏Z^{\prime}-bitalic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT - italic_b coupling bound from BsBs¯subscript𝐵𝑠¯subscript𝐵𝑠B_{s}-\bar{B_{s}}italic_B start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT - over¯ start_ARG italic_B start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG mixing is also applicable as shown in Ref. [23].

Refer to caption
Figure 5: Constraints from Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT (Planck 2018) along with experimental bounds shown in the parameter space of light Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT realized in B1/23Lesubscript𝐵123subscript𝐿𝑒B_{1/2}-3L_{e}italic_B start_POSTSUBSCRIPT 1 / 2 end_POSTSUBSCRIPT - 3 italic_L start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT. The 2σ2𝜎2\sigma2 italic_σ upper limit from Planck 2018 on Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT is shown by the red dashed lines and the exclusion region is shown by the red shaded area.

3.4.2 𝐁𝐢𝟑𝐋μ/τsubscript𝐁𝐢3subscript𝐋𝜇𝜏\mathbf{B_{i}-3L_{\mu/\tau}}bold_B start_POSTSUBSCRIPT bold_i end_POSTSUBSCRIPT - bold_3 bold_L start_POSTSUBSCRIPT italic_μ / italic_τ end_POSTSUBSCRIPT model:

In contrast to the previous case, in Bi3Lμ/τsubscript𝐵𝑖3subscript𝐿𝜇𝜏B_{i}-3L_{\mu/\tau}italic_B start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - 3 italic_L start_POSTSUBSCRIPT italic_μ / italic_τ end_POSTSUBSCRIPT model Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT has no tree level coupling with e±superscript𝑒plus-or-minuse^{\pm}italic_e start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT and thus the Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT contour becomes independent of the coupling gXsubscript𝑔𝑋g_{X}italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT as shown in Fig.6(a). However, in presence of induced coupling ϵ=gX/70italic-ϵsubscript𝑔𝑋70\epsilon=-g_{X}/70italic_ϵ = - italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT / 70 the contour for Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT follow pattern similar to B3Lμ/τ𝐵3subscript𝐿𝜇𝜏B-3L_{\mu/\tau}italic_B - 3 italic_L start_POSTSUBSCRIPT italic_μ / italic_τ end_POSTSUBSCRIPT as shown in Fig.6(b). The knee like pattern of the contour for the upper bound on Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT is due to the interplay between scattering and decay as already discussed earlier. Similar to the earlier case Bi3Lμ/τsubscript𝐵𝑖3subscript𝐿𝜇𝜏B_{i}-3L_{\mu/\tau}italic_B start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - 3 italic_L start_POSTSUBSCRIPT italic_μ / italic_τ end_POSTSUBSCRIPT attracts constraints like Eν𝜈\nuitalic_νES from Xenon1T [20], Borexino [44, 19] which are similar to the case in B3Lμ𝐵3subscript𝐿𝜇B-3L_{\mu}italic_B - 3 italic_L start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT model. Here also we do not portray the bounds that may come from nuclear interactions. Additionally, Bi3Lμsubscript𝐵𝑖3subscript𝐿𝜇B_{i}-3L_{\mu}italic_B start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - 3 italic_L start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT type of model attracts strong constrain from neutrino trident experiment [15].

Refer to caption
(a)
Refer to caption
(b)
Figure 6: Constraints from Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT (Planck 2018) along with experimental bounds shown in the parameter space of light Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT realized in (a) B1/23Lμsubscript𝐵123subscript𝐿𝜇B_{1/2}-3L_{\mu}italic_B start_POSTSUBSCRIPT 1 / 2 end_POSTSUBSCRIPT - 3 italic_L start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT with ϵ=0italic-ϵ0\epsilon=0italic_ϵ = 0, (b) B1/23Lμsubscript𝐵123subscript𝐿𝜇B_{1/2}-3L_{\mu}italic_B start_POSTSUBSCRIPT 1 / 2 end_POSTSUBSCRIPT - 3 italic_L start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT with ϵ=gX/70italic-ϵsubscript𝑔𝑋70\epsilon=-g_{X}/70italic_ϵ = - italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT / 70. The 2σ2𝜎2\sigma2 italic_σ upper limit from Planck 2018 on Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT is shown by the red dashed lines and the exclusion region is shown by the red shaded area. The bound on B1/23Lτsubscript𝐵123subscript𝐿𝜏B_{1/2}-3L_{\tau}italic_B start_POSTSUBSCRIPT 1 / 2 end_POSTSUBSCRIPT - 3 italic_L start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT parameter space will be similar to B1/23Lμsubscript𝐵123subscript𝐿𝜇B_{1/2}-3L_{\mu}italic_B start_POSTSUBSCRIPT 1 / 2 end_POSTSUBSCRIPT - 3 italic_L start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT model except neutrino trident bound which is applicable to B13Lμsubscript𝐵13subscript𝐿𝜇B_{1}-3L_{\mu}italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - 3 italic_L start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT type model only.

Thus the precise measurement of Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT by Planck 2018 data [5] provides a unique opportunity to probe light Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT gauge bosons realized in various U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT models. In general, most of the terrestrial experiments looking for light Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT lose sensitivity in the sub-GeV mass range of Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT. Although the neutrino scattering experiments can constrain MZ𝒪(1)much-less-thansubscript𝑀superscript𝑍𝒪1M_{Z^{\prime}}\ll\mathcal{O}(1)italic_M start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ≪ caligraphic_O ( 1 ) MeV, it can not probe very low couplings (gX106less-than-or-similar-tosubscript𝑔𝑋superscript106g_{X}\lesssim 10^{-6}italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ≲ 10 start_POSTSUPERSCRIPT - 6 end_POSTSUPERSCRIPT). On the other hand, the upper limit on Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT by Planck 2018 can constrain MZ𝒪(1)less-than-or-similar-tosubscript𝑀superscript𝑍𝒪1M_{Z^{\prime}}\lesssim\mathcal{O}(1)italic_M start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ≲ caligraphic_O ( 1 ) MeV as well as very small couplings even upto gX109similar-tosubscript𝑔𝑋superscript109g_{X}\sim 10^{-9}italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ∼ 10 start_POSTSUPERSCRIPT - 9 end_POSTSUPERSCRIPT, as shown in this section. The value of Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT relies on the νLsubscript𝜈𝐿\nu_{L}italic_ν start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT decoupling and in the SM scenario it takes place around Tsimilar-to𝑇absentT\simitalic_T ∼MeV [6]. Hence Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT is sensitive to BSM particles with sufficient energy at that temperature as in our case Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT with mass MZ10similar-tosubscript𝑀superscript𝑍10M_{Z^{\prime}}\sim 10italic_M start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ∼ 10 MeV. For the same reason Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT becomes insensitive to slightly heavier Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT with MZ30greater-than-or-equivalent-tosubscript𝑀superscript𝑍30M_{Z^{\prime}}\gtrsim 30italic_M start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ≳ 30 MeV, when the energy density becomes Boltzmann suppressed. Nevertheless the upper limit on Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT can probe the parameter space which is beyond the reach of current ground based experiments. Astrophysical bounds like supernova may constrain very small couplings [61], however, such bounds largely depend on the modeling of the stellar objects [62]. Whereas the bound from Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT is relatively more generic since here the only assumption is Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT to be a thermal bath which is the case for gX109greater-than-or-equivalent-tosubscript𝑔𝑋superscript109g_{X}\gtrsim 10^{-9}italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ≳ 10 start_POSTSUPERSCRIPT - 9 end_POSTSUPERSCRIPT [7].

4 Conclusions

The stringent limit on Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT by Planck 2018 [5] can be used to constrain various BSM paradigms involving light (𝒪similar-toabsent𝒪\sim\mathcal{O}∼ caligraphic_O(MeV)) mediators. In this work, we show that the νLsubscript𝜈𝐿\nu_{L}italic_ν start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT decoupling is significantly affected in the presence of light Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT particles interacting with ν𝜈\nuitalic_ν (or, e±superscript𝑒plus-or-minuse^{\pm}italic_e start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT) leading to an enhanced Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT. This in turn leads to constraining the parameter space of light Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT in the mass (MZsubscript𝑀superscript𝑍M_{Z^{\prime}}italic_M start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT) vs. coupling (gXsubscript𝑔𝑋g_{X}italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT) plane using the Planck 2018 data. As the SM νLsubscript𝜈𝐿\nu_{L}italic_ν start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT decoupling usually takes place at T1similar-to𝑇1T\sim 1italic_T ∼ 1 MeV, Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT upper limit puts strong constraint for MZless-than-or-similar-tosubscript𝑀superscript𝑍absentM_{Z^{\prime}}\lesssimitalic_M start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ≲ few MeV. However, the ground based experiments looking for light BSM particles lose sensitivity in the sub-MeV range, and thus the constraint from Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT can be useful in this regard. We consider several popular U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT models like BL,B3Li,LiLj,Bi3Li𝐵𝐿𝐵3subscript𝐿𝑖subscript𝐿𝑖subscript𝐿𝑗subscript𝐵𝑖3subscript𝐿𝑖B-L,~{}B-3L_{i},~{}L_{i}-L_{j},~{}B_{i}-3L_{i}italic_B - italic_L , italic_B - 3 italic_L start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , italic_L start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - italic_L start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , italic_B start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - 3 italic_L start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT and study the contribution in Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT due to the light Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT realized in this model assuming Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT was initially in thermal bath. In our previous work [23], we showed the signature in Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT due to the light Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT can be broadly classified into two categories depending on whether Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT has tree level coupling with e±superscript𝑒plus-or-minuse^{\pm}italic_e start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT or not. We correctly identify the aforementioned Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT models and display the constraints from Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT along with other existing constraints. For models with tree level Ze+esuperscript𝑍superscript𝑒superscript𝑒Z^{\prime}e^{+}e^{-}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT coupling (e.g. BL,B3Le,LeLμ/τ,Bi3Le𝐵𝐿𝐵3subscript𝐿𝑒subscript𝐿𝑒subscript𝐿𝜇𝜏subscript𝐵𝑖3subscript𝐿𝑒B-L,~{}B-3L_{e},~{}L_{e}-L_{\mu/\tau},~{}B_{i}-3L_{e}italic_B - italic_L , italic_B - 3 italic_L start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT , italic_L start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT - italic_L start_POSTSUBSCRIPT italic_μ / italic_τ end_POSTSUBSCRIPT , italic_B start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - 3 italic_L start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT), the constraint from Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT becomes stronger with an increase in gXsubscript𝑔𝑋g_{X}italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT because of the enhancement in BSM processes with higher values of gXsubscript𝑔𝑋g_{X}italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT. In the absence of tree level Ze+esuperscript𝑍superscript𝑒superscript𝑒Z^{\prime}e^{+}e^{-}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT coupling Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT is dominated by the decay, Zνν¯superscript𝑍𝜈¯𝜈Z^{\prime}\to\nu\bar{\nu}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT → italic_ν over¯ start_ARG italic_ν end_ARG and hence becomes insensitive to gXsubscript𝑔𝑋g_{X}italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT. Thus we observe the Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT constraints to be straight line in MZsubscript𝑀superscript𝑍M_{Z^{\prime}}italic_M start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT vs. gXsubscript𝑔𝑋g_{X}italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT plane for such models (e.g. B3Lμ/τ,LμLτ,Bi3Lμ/τ𝐵3subscript𝐿𝜇𝜏subscript𝐿𝜇subscript𝐿𝜏subscript𝐵𝑖3subscript𝐿𝜇𝜏B-3L_{\mu/\tau},~{}L_{\mu}-L_{\tau},~{}B_{i}-3L_{\mu/\tau}italic_B - 3 italic_L start_POSTSUBSCRIPT italic_μ / italic_τ end_POSTSUBSCRIPT , italic_L start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT - italic_L start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT , italic_B start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - 3 italic_L start_POSTSUBSCRIPT italic_μ / italic_τ end_POSTSUBSCRIPT). However, in the presence of induced Ze+esuperscript𝑍superscript𝑒superscript𝑒Z^{\prime}e^{+}e^{-}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT couplings, the constraints modify due to the interplay of decay scattering as discussed in Sec.3. We observe that in a significant parameter space, specifically for low Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT mass and small couplings, the constraint from Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT is much more stringent than the experimental searches. In fact in many cases, the Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT provides the only constraint on such parameter space. Thus looking at the footprints in Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT at CMB can be an useful scheme to probe various light BSM particles having interactions with e±superscript𝑒plus-or-minuse^{\pm}italic_e start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT or, νLsubscript𝜈𝐿\nu_{L}italic_ν start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT.

Acknowledgements.
SJ is funded by CSIR, Government of India, under the NET JRF fellowship scheme with Award file No. 09/080(1172)/2020-EMR-I. PG acknowledges the financial support through the APEX project at the Institute of Physics, Bhubaneswar. PG also acknowledges local hospitality at ICTS Bengaluru during the visit for the SATPP 2024.

References