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

The split majoron model confronts the NANOGrav signal and cosmological tensions

Pasquale Di Baria, Moinul Hossain Rahata,b
a School of Physics and Astronomy, University of Southampton, Southampton, SO17 1BJ, U.K.
b
Instituto de Física Corpuscular, Universidad de Valencia,
and CSIC, Edificio Institutos Investigación, C/Catedrático, José Beltrán 2, 46980 Paterna, Spain
Abstract

In the light of the evidence of a gravitational wave background from the NANOGrav 15yr data set, we reconsider the split majoron model as a new physics extension of the standard model able to generate a needed contribution to solve the current tension between the data and the standard interpretation in terms of inspiraling supermassive black hole massive binaries. In the split majoron model the seesaw right-handed neutrinos acquire Majorana masses from spontaneous symmetry breaking of global U(1)BL𝑈subscript1𝐵𝐿U(1)_{B-L}italic_U ( 1 ) start_POSTSUBSCRIPT italic_B - italic_L end_POSTSUBSCRIPT in a strong first order phase transition of a complex scalar field occurring above the electroweak scale. The final vacuum expectation value couples to a second complex scalar field undergoing a low scale phase transition occurring after neutrino decoupling. Such a coupling enhances the strength of this second low scale first order phase transition and can generate a sizeable primordial gravitational wave background contributing to the NANOGrav 15yr signal. Some amount of extra-radiation is generated after neutron-to-proton ration freeze-out but prior to nucleosynthesis. This can be either made compatible with current upper bound from primordial deuterium measurements or even be used to solve a potential deuterium problem. Moreover, the free streaming length of light neutrinos can be suppressed by their interactions with the resulting majoron background and this mildly ameliorates existing cosmological tensions. Thus cosmological observations nicely provide independent motivations for the model.

1 Introduction

The NANOGrav collaboration has found evidence for a gravitational wave (GW) background at similar-to\sim nHZ frequencies in the 15-year data set [1, 2, 3, 4]. This strongly relies on the observed correlations among 67 pulsars following an expected Hellings-Downs pattern for a stochastic GW background [5]. A simple baseline model is provided by a standard interpretation in terms of inspiraling supermassive black hole binaries (SMBHBs) with a fiducial f2/3superscript𝑓23f^{-2/3}italic_f start_POSTSUPERSCRIPT - 2 / 3 end_POSTSUPERSCRIPT characteristic strain spectrum. Such a baseline model provides a poor fit to the data and some deviation is currently favoured. In particular, the collaboration finds that models where in addition to SMBHBs one also has a contribution from new physics, provide a better fit to the NANOGrav data than the baseline model, resulting in Bayes factors between 10 and 100 [4]111see Refs. [6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63] for some recent new physics approaches..

First order phase transitions at low scales could potentially provide such an additional contribution. For temperatures of the phase transition in the range 1 MeV – 1 GeV, the resulting GW background may explain the entire NANOGrav signal [1, 4]. However, when a realistic model is considered, one needs also to take into account the cosmological constraints on the amount of extra radiation from big bang nucleosynthesis (BBN) and CMB anisotropies. A phase transition associated to the spontaneous breaking of a U(1)L𝑈subscript1superscript𝐿U(1)_{L^{\prime}}italic_U ( 1 ) start_POSTSUBSCRIPT italic_L start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT symmetry, where a Majorana mass term is generated, has been previously discussed [64] as a potential origin for the NANOGrav signal from 12.5-year data set [2, 3]. In this case a complex scalar field gets a non-vanishing vacuum expectation value at the end of the phase transition and a right-handed neutrino, typically the lightest, coupling to it acquires a Majorana mass. The phase transition involves only a few additional degrees of freedom forming a dark sector, and some of them can decay into ordinary neutrinos potentially producing extra radiation so that cosmological constraints need to be considered. It has been shown that these can be respected if the phase transition occurs after neutrino decoupling and if the dark sector (re-)thermalises only with decoupled ordinary neutrinos. In this case the amount of extra radiation does not exceed upper bounds from big bang nucleosynthesis and CMB temperature anisotropies. However, in [64] it was concluded that the amplitude of the NANOGrav signal was too high to be explained by such a phase transition since the peak of the predicted spectrum was two orders of magnitude below the signal. This conclusion was based on the 12.5-year data, and on a way to calculate the sound wave contribution to the GW spectrum valid for values of the strength of the phase transition α0.1less-than-or-similar-to𝛼0.1\alpha\lesssim 0.1italic_α ≲ 0.1 that is now outdated [65]. In this paper we reexamine this conclusion in the light of the 15 year data set and adopting an improved description of the sound wave contribution, applicable for larger values α0.6𝛼0.6\alpha\leq 0.6italic_α ≤ 0.6 [66]. We introduce different improvements in the description of the phase transition in the dark sector coupled with neutrinos, distinguishing the different temperature and strength parameter compared to the visible sector, calculating the ultra-relativistic degrees of freedom at the phase transition occurring during electron-positron annihilations, including a suppression factor taking into account that the duration of gravitational wave production is in general shorter than the duration of the phase transition. We confirm that such a phase transition can hardly reproduce the whole signal but can be combined with the contribution from the SMBHB baseline model to improve the fit of the signal. On the other hand, we notice that the split majoron model receives independent motivations, since it can address different cosmological tensions. Not only it can ameliorate the well known Hubble tension, and more generally it improves the fit of cosmological observations compared to the ΛΛ\Lambdaroman_ΛCDM model, but we notice that it also provides a solution to a potential deuterium problem that is suggested by latest measurement and reanalysis of relevant nuclear rates (D(d,n)3He and D(d,p)3H).

The paper is structured as follows. In Section 2 we discuss the split majoron model. In Section 3 we discuss the cosmological constraints deriving by the presence of extra-radiation in the model. We also discuss how the model can address a potential deuterium problem. In Section 4 we review the calculation of the GW spectrum and show the results we obtain confronting the NANOGrav 15 year-data set signal. In Section 5 we draw our conclusions and discuss future developments .

2 The split majoron model

The split majoron model was sketched in [64]. It can be regarded as an extension at low energies of the multiple majoron model proposed in [67], albeit with important distinctions and phenomenological implications. Compared to the traditional majoron model [68], we have two complex scalar fields each undergoing its own first order phase transition, one at high scale, above the electroweak scale, and one at much lower scale, dictated by the possibility to address the NANOGrav signal. If we denote by ϕitalic-ϕ\phiitalic_ϕ and ϕsuperscriptitalic-ϕ\phi^{\prime}italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT the two complex scalar fields, respectively, we can write the Lagrangian as (I=1,,N𝐼1𝑁I=1,\dots,Nitalic_I = 1 , … , italic_N and I=N+1,,N+Nsuperscript𝐼𝑁1𝑁superscript𝑁I^{\prime}=N+1,\dots,N+N^{\prime}italic_I start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = italic_N + 1 , … , italic_N + italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT):

NI+NI+ϕ+ϕsubscriptsubscript𝑁𝐼subscript𝑁superscript𝐼italic-ϕsuperscriptitalic-ϕ\displaystyle-{\cal L}_{N_{I}+N_{I^{\prime}}+\phi+\phi^{\prime}}- caligraphic_L start_POSTSUBSCRIPT italic_N start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT + italic_N start_POSTSUBSCRIPT italic_I start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT + italic_ϕ + italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT =\displaystyle== Lα¯hαINIΦ~+λI2ϕNIc¯NI¯subscript𝐿𝛼subscript𝛼𝐼subscript𝑁𝐼~Φsubscript𝜆𝐼2italic-ϕ¯superscriptsubscript𝑁𝐼𝑐subscript𝑁𝐼\displaystyle\overline{L_{\alpha}}\,h_{\alpha I}\,N_{I}\,\widetilde{\Phi}+{% \lambda_{I}\over 2}\,\phi\,\overline{N_{I}^{c}}\,N_{I}over¯ start_ARG italic_L start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT end_ARG italic_h start_POSTSUBSCRIPT italic_α italic_I end_POSTSUBSCRIPT italic_N start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT over~ start_ARG roman_Φ end_ARG + divide start_ARG italic_λ start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG italic_ϕ over¯ start_ARG italic_N start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_c end_POSTSUPERSCRIPT end_ARG italic_N start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT
+Lα¯hαINIΦ~+λI2ϕNIc¯NI+V0(ϕ,ϕ)+h.c.,formulae-sequence¯subscript𝐿𝛼subscript𝛼superscript𝐼subscript𝑁superscript𝐼~Φsubscript𝜆superscript𝐼2superscriptitalic-ϕ¯superscriptsubscript𝑁superscript𝐼𝑐subscript𝑁superscript𝐼subscript𝑉0italic-ϕsuperscriptitalic-ϕhc\displaystyle+\overline{L_{\alpha}}\,h_{\alpha I^{\prime}}\,N_{I^{\prime}}\,% \widetilde{\Phi}+{\lambda_{I^{\prime}}\over 2}\,\phi^{\prime}\,\overline{N_{I^% {\prime}}^{c}}\,N_{I^{\prime}}+V_{0}(\phi,\phi^{\prime})+{\rm h.c.}\,,+ over¯ start_ARG italic_L start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT end_ARG italic_h start_POSTSUBSCRIPT italic_α italic_I start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_N start_POSTSUBSCRIPT italic_I start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT over~ start_ARG roman_Φ end_ARG + divide start_ARG italic_λ start_POSTSUBSCRIPT italic_I start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT over¯ start_ARG italic_N start_POSTSUBSCRIPT italic_I start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_c end_POSTSUPERSCRIPT end_ARG italic_N start_POSTSUBSCRIPT italic_I start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT + italic_V start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_ϕ , italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) + roman_h . roman_c . ,

where ΦΦ\Phiroman_Φ is the SM Higgs doublet, Φ~~Φ\widetilde{\Phi}over~ start_ARG roman_Φ end_ARG its dual and the NI,NIsubscript𝑁𝐼subscript𝑁superscript𝐼N_{I},N_{I^{\prime}}italic_N start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT , italic_N start_POSTSUBSCRIPT italic_I start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT are the RH neutrinos coupling, respectively, to ϕitalic-ϕ\phiitalic_ϕ and ϕsuperscriptitalic-ϕ\phi^{\prime}italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT. Imposing that the Lagrangian (2) obeys a U(1)ILI×U(1)ILI𝑈subscript1subscript𝐼subscript𝐿𝐼𝑈subscript1subscriptsuperscript𝐼subscript𝐿superscript𝐼U(1)_{\sum_{I}L_{I}}\times U(1)_{\sum_{I^{\prime}}L_{I^{\prime}}}italic_U ( 1 ) start_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT italic_L start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT end_POSTSUBSCRIPT × italic_U ( 1 ) start_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_I start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_L start_POSTSUBSCRIPT italic_I start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT end_POSTSUBSCRIPT symmetry, we can take as (renormalisable) tree level potential (with no ϕΦitalic-ϕΦ\phi-\Phiitalic_ϕ - roman_Φ and ϕΦsuperscriptitalic-ϕΦ\phi^{\prime}-\Phiitalic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT - roman_Φ couplings)

V0(ϕ,ϕ)=μ2|ϕ|2+λ|ϕ|4μ2|ϕ|2+λ|ϕ|4+ζ|ϕ|2|ϕ|2.subscript𝑉0italic-ϕsuperscriptitalic-ϕsuperscript𝜇2superscriptitalic-ϕ2𝜆superscriptitalic-ϕ4superscriptsuperscript𝜇2superscriptsuperscriptitalic-ϕ2superscript𝜆superscriptsuperscriptitalic-ϕ4𝜁superscriptitalic-ϕ2superscriptsuperscriptitalic-ϕ2V_{0}(\phi,\phi^{\prime})=-{\mu^{2}}\,|\phi|^{2}+\lambda\,|\phi|^{4}-{\mu^{% \prime}}^{2}|\phi^{\prime}|^{2}+\lambda^{\prime}|\phi^{\prime}|^{4}+\zeta|\phi% |^{2}\,|\phi^{\prime}|^{2}\,.italic_V start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_ϕ , italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) = - italic_μ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | italic_ϕ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_λ | italic_ϕ | start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT - italic_μ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_λ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT | italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + italic_ζ | italic_ϕ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . (2)

We will assume that ϕitalic-ϕ\phiitalic_ϕ undergoes a phase transition, breaking a U(1)I=1NLI𝑈subscript1superscriptsubscript𝐼1𝑁subscript𝐿𝐼U(1)_{\sum_{I=1}^{N}L_{I}}italic_U ( 1 ) start_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_I = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT italic_L start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT end_POSTSUBSCRIPT global symmetry, at some scale above the electroweak scale. In the broken phase we can rewrite ϕitalic-ϕ\phiitalic_ϕ as

ϕ=eiθ2(v0+S+iJ),italic-ϕsuperscript𝑒𝑖𝜃2subscript𝑣0𝑆𝑖𝐽\phi={e^{i\theta}\over\sqrt{2}}\,\left(v_{0}+S+i\,J\right)\,,italic_ϕ = divide start_ARG italic_e start_POSTSUPERSCRIPT italic_i italic_θ end_POSTSUPERSCRIPT end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG ( italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + italic_S + italic_i italic_J ) , (3)

where v0subscript𝑣0v_{0}italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is the ϕitalic-ϕ\phiitalic_ϕ vacuum expectation value, S𝑆Sitalic_S is a massive boson field with mass mS=2λv0subscript𝑚𝑆2𝜆subscript𝑣0m_{S}=\sqrt{2\lambda}\,v_{0}italic_m start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT = square-root start_ARG 2 italic_λ end_ARG italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT and J𝐽Jitalic_J is a majoron, a massless Goldstone field. The vacuum expectation value of ϕitalic-ϕ\phiitalic_ϕ generates RH neutrino masses MI=λIv0/2subscript𝑀𝐼subscript𝜆𝐼subscript𝑣02M_{I}=\lambda_{I}\,v_{0}/\sqrt{2}italic_M start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT = italic_λ start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT / square-root start_ARG 2 end_ARG. After electroweak symmetry breaking, the vacuum expectation value of the Higgs generates Dirac neutrino masses mDαI=vewhαI/2subscript𝑚𝐷𝛼𝐼subscript𝑣ewsubscript𝛼𝐼2m_{D\alpha I}=v_{\rm ew}\,h_{\alpha I}/\sqrt{2}italic_m start_POSTSUBSCRIPT italic_D italic_α italic_I end_POSTSUBSCRIPT = italic_v start_POSTSUBSCRIPT roman_ew end_POSTSUBSCRIPT italic_h start_POSTSUBSCRIPT italic_α italic_I end_POSTSUBSCRIPT / square-root start_ARG 2 end_ARG and mDαI=vewhαI/2subscript𝑚𝐷𝛼superscript𝐼subscript𝑣ewsubscript𝛼superscript𝐼2m_{D\alpha I^{\prime}}=v_{\rm ew}\,h_{\alpha I^{\prime}}/\sqrt{2}italic_m start_POSTSUBSCRIPT italic_D italic_α italic_I start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT = italic_v start_POSTSUBSCRIPT roman_ew end_POSTSUBSCRIPT italic_h start_POSTSUBSCRIPT italic_α italic_I start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT / square-root start_ARG 2 end_ARG, where vew=246GeVsubscript𝑣ew246GeVv_{\rm ew}=246\,{\rm GeV}italic_v start_POSTSUBSCRIPT roman_ew end_POSTSUBSCRIPT = 246 roman_GeV is the standard Higgs vacuum expectation value. In the case of the RH neutrinos NIsubscript𝑁𝐼N_{I}italic_N start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT, their Majorana masses lead, via type-I seesaw mechanism, to a light neutrino mass matrix given by the seesaw formula

(mν)αβ=vew22hαIhβIMI.subscriptsubscript𝑚𝜈𝛼𝛽superscriptsubscript𝑣ew22subscript𝛼𝐼subscript𝛽𝐼subscript𝑀𝐼\displaystyle(m_{\nu})_{\alpha\beta}=-{v_{\rm ew}^{2}\over 2}\,{h_{\alpha I}h_% {\beta I}\over M_{I}}\,.( italic_m start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT = - divide start_ARG italic_v start_POSTSUBSCRIPT roman_ew end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG divide start_ARG italic_h start_POSTSUBSCRIPT italic_α italic_I end_POSTSUBSCRIPT italic_h start_POSTSUBSCRIPT italic_β italic_I end_POSTSUBSCRIPT end_ARG start_ARG italic_M start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT end_ARG . (4)

Notice that we are writing the neutrino Yukawa matrices in the flavour basis where both charged leptons and Majorana mass matrices are diagonal. The Yukawa couplings hαIsubscript𝛼superscript𝐼h_{\alpha I^{\prime}}italic_h start_POSTSUBSCRIPT italic_α italic_I start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT have to be taken much smaller than usual massive fermions Yukawa couplings or even vanishing, as we will point out.

Eventually, at a scale much below the electroweak scale, ϕsuperscriptitalic-ϕ\phi^{\prime}italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT also undergoes a first order phase transition breaking the U(1)I=1NLI𝑈subscript1superscriptsubscriptsuperscript𝐼1superscript𝑁subscript𝐿superscript𝐼U(1)_{\sum_{I^{\prime}=1}^{N^{\prime}}L_{I^{\prime}}}italic_U ( 1 ) start_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_I start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT italic_L start_POSTSUBSCRIPT italic_I start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT end_POSTSUBSCRIPT symmetry. In the broken phase we can rewrite ϕsuperscriptitalic-ϕ\phi^{\prime}italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT as

ϕ=eiθ2(v0+S+iJ),superscriptitalic-ϕsuperscript𝑒𝑖𝜃2subscriptsuperscript𝑣0superscript𝑆𝑖superscript𝐽\phi^{\prime}={e^{i\theta}\over\sqrt{2}}\,\left(v^{\prime}_{0}+S^{\prime}+i\,J% ^{\prime}\right)\,,italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = divide start_ARG italic_e start_POSTSUPERSCRIPT italic_i italic_θ end_POSTSUPERSCRIPT end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG ( italic_v start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + italic_i italic_J start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) , (5)

where v0subscriptsuperscript𝑣0v^{\prime}_{0}italic_v start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is the ϕsuperscriptitalic-ϕ\phi^{\prime}italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT vacuum expectation value, Ssuperscript𝑆S^{\prime}italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT is a massive boson field with mass mS=2λv0subscript𝑚superscript𝑆2superscript𝜆subscriptsuperscript𝑣0m_{S^{\prime}}=\sqrt{2\lambda^{\prime}}\,v^{\prime}_{0}italic_m start_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT = square-root start_ARG 2 italic_λ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG italic_v start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT and Jsuperscript𝐽J^{\prime}italic_J start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT is a (second) massless majoron. The vacuum expectation value of ϕsuperscriptitalic-ϕ\phi^{\prime}italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT generates RH neutrino masses MI=λIv0/2subscript𝑀superscript𝐼subscript𝜆superscript𝐼subscriptsuperscript𝑣02M_{I^{\prime}}=\lambda_{I^{\prime}}\,v^{\prime}_{0}/\sqrt{2}italic_M start_POSTSUBSCRIPT italic_I start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT = italic_λ start_POSTSUBSCRIPT italic_I start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_v start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT / square-root start_ARG 2 end_ARG. In the following, for the description of the phase transition, it will also prove convenient to introduce the real scalar field φsuperscript𝜑\varphi^{\prime}italic_φ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT, such that ϕ=(φ/2)eiθsuperscriptitalic-ϕsuperscript𝜑2superscript𝑒𝑖superscript𝜃\phi^{\prime}=(\varphi^{\prime}/\sqrt{2})\,e^{i\,\theta^{\prime}}italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = ( italic_φ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT / square-root start_ARG 2 end_ARG ) italic_e start_POSTSUPERSCRIPT italic_i italic_θ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT.

Let us now discuss two different cases we will consider. First, we can have a minimal case with N=2𝑁2N=2italic_N = 2 and N=1superscript𝑁1N^{\prime}=1italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = 1. The seesaw formula generates the atmospheric and solar neutrino mass scales while the lightest neutrino would be massless. However, after the electroweak symmetry breaking and before the ϕsuperscriptitalic-ϕ\phi^{\prime}italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT phase transition, the small Yukawa couplings hα3subscript𝛼3h_{\alpha 3}italic_h start_POSTSUBSCRIPT italic_α 3 end_POSTSUBSCRIPT generate a small Dirac neutrino mass for the lightest neutrino in a way to have a hybrid case where two neutrino mass eigenstates are Majorana neutrinos and the lightest is a Dirac neutrino. Finally, at the ϕsuperscriptitalic-ϕ\phi^{\prime}italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT phase transition a Majorana mass M3subscript𝑀3M_{3}italic_M start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT is generated and one has a second low scale seesaw mechanism (‘mini-seesaw’) giving rise to a lightest neutrino mass m1=α|mDα3|2/M3subscript𝑚1subscript𝛼superscriptsubscript𝑚𝐷𝛼32subscript𝑀3m_{1}=\sum_{\alpha}|m_{D\alpha 3}|^{2}/M_{3}italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT | italic_m start_POSTSUBSCRIPT italic_D italic_α 3 end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_M start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT.222Notice that with our notation N3subscript𝑁3N_{3}italic_N start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT is the lightest RH neutrino, not the heaviest.

In a second case one has N=3𝑁3N=3italic_N = 3 and a generic Nsuperscript𝑁N^{\prime}italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT. In this case the Yukawa couplings hαIsubscript𝛼superscript𝐼h_{\alpha I^{\prime}}italic_h start_POSTSUBSCRIPT italic_α italic_I start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT can even vanish. The RH neutrinos NIsubscript𝑁superscript𝐼N_{I^{\prime}}italic_N start_POSTSUBSCRIPT italic_I start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT acquire a Majorana mass at the ϕsuperscriptitalic-ϕ\phi^{\prime}italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT phase transition but they do not contribute to the ordinary neutrino masses. They can be regarded as massive neutral leptons in the dark sector, with no interactions with the visible sector (including the seesaw neutrinos).

As we will better explain in Section 4, the mixing between the two complex scalar fields ϕitalic-ϕ\phiitalic_ϕ and ϕsuperscriptitalic-ϕ\phi^{\prime}italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT significantly increases the strength of the ϕsuperscriptitalic-ϕ\phi^{\prime}italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT phase transition. This will be crucial in enhancing the amplitude of the generated GW spectrum observable in the NANOGrav frequencies. Before delving into the details of the GW production, we discuss some cosmological constraints on our setup and its role in potentially alleviating cosmological tensions.

3 Cosmological constraints and connection to cosmological tensions

Let us now consider the impact of cosmological constraints coming from big bang nucleosynthesis and CMB anisotropies on the model from the amount of extra-radiation (also sometimes referred to as dark radiation). To this end, we first carefully calculate the evolution of the number of degrees of freedom in the model.

3.1 Evolution of the ultra-relativistic degrees of freedom in the SM and dark sector

The number of energy density ultra-relativistic degrees of freedom gρ(T)subscript𝑔𝜌𝑇g_{\rho}(T)italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT ( italic_T ) is defined as usual by ρR(T)gρ(T)(π2/30)T4subscript𝜌𝑅𝑇subscript𝑔𝜌𝑇superscript𝜋230superscript𝑇4\rho_{R}(T)\equiv g_{\rho}(T)(\pi^{2}/30)\,T^{4}italic_ρ start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT ( italic_T ) ≡ italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT ( italic_T ) ( italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 30 ) italic_T start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT, where ρR(T)subscript𝜌𝑅𝑇\rho_{R}(T)italic_ρ start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT ( italic_T ) is the energy density in radiation. In our case it receives contributions from the SM sector and from the dark sector, so that we can write gρ(T)=gρSM(T)+gρD(T)subscript𝑔𝜌𝑇superscriptsubscript𝑔𝜌SM𝑇superscriptsubscript𝑔𝜌D𝑇g_{\rho}(T)=g_{\rho}^{\rm SM}(T)+g_{\rho}^{\rm D}(T)italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT ( italic_T ) = italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_SM end_POSTSUPERSCRIPT ( italic_T ) + italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_D end_POSTSUPERSCRIPT ( italic_T ). At the ϕitalic-ϕ\phiitalic_ϕ phase transition, occurring at a phase transition temperature Tsubscript𝑇T_{\star}italic_T start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT above the electroweak scale, one has for the SM contribution gρSM(T)=106.75superscriptsubscript𝑔𝜌SMsubscript𝑇106.75g_{\rho}^{\rm SM}(T_{\star})=106.75italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_SM end_POSTSUPERSCRIPT ( italic_T start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT ) = 106.75 and for the dark sector contribution

gρD(T)=gJ+S+74N,superscriptsubscript𝑔𝜌Dsubscript𝑇subscript𝑔𝐽𝑆74𝑁g_{\rho}^{\rm D}(T_{\star})=g_{J+S}+{7\over 4}\,N\,,italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_D end_POSTSUPERSCRIPT ( italic_T start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT ) = italic_g start_POSTSUBSCRIPT italic_J + italic_S end_POSTSUBSCRIPT + divide start_ARG 7 end_ARG start_ARG 4 end_ARG italic_N , (6)

where gJ+S=2subscript𝑔𝐽𝑆2g_{J+S}=2italic_g start_POSTSUBSCRIPT italic_J + italic_S end_POSTSUBSCRIPT = 2. Notice here we are assuming that the N𝑁Nitalic_N seesaw neutrinos all thermalise at the ϕitalic-ϕ\phiitalic_ϕ phase transition.333Whether the Nsuperscript𝑁N^{\prime}italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT also thermalise, and with them also ϕsuperscriptitalic-ϕ\phi^{\prime}italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT or not at high scale, it is a question that can answered only specifying their nature. However, this is not essential, since the Nsuperscript𝑁N^{\prime}italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT RH neutrinos can be assumed to decay together with the N𝑁Nitalic_N seesaw neutrinos and Jsuperscript𝐽J^{\prime}italic_J start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT contribution to dark radiation would be anyway very small as the J𝐽Jitalic_J contribution. The important thing is that in any case they thermalise (or rethermalise) prior to the low scale phase transition. For definiteness, we assume that ϕsuperscriptitalic-ϕ\phi^{\prime}italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT and the Nsuperscript𝑁N^{\prime}italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT RH neutrinos only thermalise prior to the low scale phase transition. This is something that can always be realised since all their decay parameters, defined as KI(hh)IIv¯ew2/(MImeq)subscript𝐾𝐼subscriptsuperscript𝐼𝐼superscriptsubscript¯𝑣ew2subscript𝑀𝐼subscript𝑚eqK_{I}\equiv(h^{\dagger}\,h)_{II}\,\bar{v}_{\rm ew}^{2}/(M_{I}\,m_{\rm eq})italic_K start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT ≡ ( italic_h start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_h ) start_POSTSUBSCRIPT italic_I italic_I end_POSTSUBSCRIPT over¯ start_ARG italic_v end_ARG start_POSTSUBSCRIPT roman_ew end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / ( italic_M start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT roman_eq end_POSTSUBSCRIPT ) with the effective equilibrium neutrino mass meq=[16π5/2gρ/(35)](veq/MP)subscript𝑚eqdelimited-[]16superscript𝜋52subscriptsuperscript𝑔𝜌35subscript𝑣eqsubscript𝑀Pm_{\rm eq}=[16\pi^{5/2}\sqrt{g^{\star}_{\rho}}/(3\sqrt{5})]\,(v_{\rm eq}/M_{% \rm P})italic_m start_POSTSUBSCRIPT roman_eq end_POSTSUBSCRIPT = [ 16 italic_π start_POSTSUPERSCRIPT 5 / 2 end_POSTSUPERSCRIPT square-root start_ARG italic_g start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT end_ARG / ( 3 square-root start_ARG 5 end_ARG ) ] ( italic_v start_POSTSUBSCRIPT roman_eq end_POSTSUBSCRIPT / italic_M start_POSTSUBSCRIPT roman_P end_POSTSUBSCRIPT ) and v¯ew=vew/2=174GeVsubscript¯𝑣ewsubscript𝑣ew2174GeV\bar{v}_{\rm ew}=v_{\rm ew}/\sqrt{2}=174\,{\rm GeV}over¯ start_ARG italic_v end_ARG start_POSTSUBSCRIPT roman_ew end_POSTSUBSCRIPT = italic_v start_POSTSUBSCRIPT roman_ew end_POSTSUBSCRIPT / square-root start_ARG 2 end_ARG = 174 roman_GeV, can be larger than unity in agreement with neutrino oscillation experiments. Therefore, at the high scale phase transition the dark sector is in thermal equilibrium with the SM sector thanks to the seesaw neutrino Yukawa couplings.

After the ϕitalic-ϕ\phiitalic_ϕ phase transition, all massive particles in the dark sector, S𝑆Sitalic_S plus the N𝑁Nitalic_N seesaw neutrinos will quickly decay, while the massless majoron J𝐽Jitalic_J will contribute to dark radiation. We can then track the evolution of gρ(T)subscript𝑔𝜌𝑇g_{\rho}(T)italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT ( italic_T ) at temperatures below Tsubscript𝑇T_{\star}italic_T start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT and prior to the low scale phase transition occurring at a temperature Tsuperscriptsubscript𝑇T_{\star}^{\prime}italic_T start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT and also prior to any potential process of rethermalisation of the dark sector that we will discuss later.

In particular, we can focus on temperatures Tmμ100MeVmuch-less-than𝑇subscript𝑚𝜇similar-to100MeVT\ll m_{\mu}\sim 100\,{\rm MeV}italic_T ≪ italic_m start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT ∼ 100 roman_MeV. In this case the SM contribution444For our purposes it is certainly sufficient to treat neutrinos as fully thermal, neglecting the small non-thermal contribution produced by e+superscript𝑒e^{+}italic_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPTesuperscript𝑒e^{-}italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT annihilations. However, we will take into account this small contribution in the calculation of the amount of extra-radiation. can be written as [69]

gρSM(T100MeV)=gργ+e±+3ν(T)=2+78[4gρe(T)+6rν4(T)],subscriptsuperscript𝑔SM𝜌much-less-than𝑇100MeVsubscriptsuperscript𝑔𝛾superscript𝑒plus-or-minus3𝜈𝜌𝑇278delimited-[]4superscriptsubscript𝑔𝜌𝑒𝑇6superscriptsubscript𝑟𝜈4𝑇g^{\rm SM}_{\rho}(T\ll 100\,{\rm MeV})=g^{\gamma+e^{\pm}+3\nu}_{\rho}(T)=2+{7% \over 8}\,\left[4\,g_{\rho}^{e}(T)+6\,r_{\nu}^{4}(T)\right]\,,italic_g start_POSTSUPERSCRIPT roman_SM end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT ( italic_T ≪ 100 roman_MeV ) = italic_g start_POSTSUPERSCRIPT italic_γ + italic_e start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT + 3 italic_ν end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT ( italic_T ) = 2 + divide start_ARG 7 end_ARG start_ARG 8 end_ARG [ 4 italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_e end_POSTSUPERSCRIPT ( italic_T ) + 6 italic_r start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ( italic_T ) ] , (7)

where the number of energy density ultra-relativistic degrees of freedom of electrons per single spin degree is given by

gρe(T)=1207π40𝑑xx2x2+z2ex2+z2+1,superscriptsubscript𝑔𝜌𝑒𝑇1207superscript𝜋4superscriptsubscript0differential-d𝑥superscript𝑥2superscript𝑥2superscript𝑧2superscript𝑒superscript𝑥2superscript𝑧21g_{\rho}^{e}(T)={120\over 7\,\pi^{4}}\,\int_{0}^{\infty}\,dx\,{x^{2}\,\sqrt{x^% {2}+z^{2}}\over e^{\sqrt{x^{2}+z^{2}}}+1}\,,italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_e end_POSTSUPERSCRIPT ( italic_T ) = divide start_ARG 120 end_ARG start_ARG 7 italic_π start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_d italic_x divide start_ARG italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT square-root start_ARG italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG start_ARG italic_e start_POSTSUPERSCRIPT square-root start_ARG italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_POSTSUPERSCRIPT + 1 end_ARG , (8)

with zme/T𝑧subscript𝑚𝑒𝑇z\equiv m_{e}/Titalic_z ≡ italic_m start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT / italic_T. Above the electron mass one has gρe(Tme)=1superscriptsubscript𝑔𝜌𝑒much-greater-than𝑇subscript𝑚𝑒1g_{\rho}^{e}(T\gg m_{e})=1italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_e end_POSTSUPERSCRIPT ( italic_T ≫ italic_m start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ) = 1, while of course gρe(T)0superscriptsubscript𝑔𝜌𝑒𝑇0g_{\rho}^{e}(T)\rightarrow 0italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_e end_POSTSUPERSCRIPT ( italic_T ) → 0 for T/me0𝑇subscript𝑚𝑒0T/m_{e}\rightarrow 0italic_T / italic_m start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT → 0. The neutrino-to-photon temperature ratio rν(T)Tν(T)/Tsubscript𝑟𝜈𝑇subscript𝑇𝜈𝑇𝑇r_{\nu}(T)\equiv T_{\nu}(T)/Titalic_r start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( italic_T ) ≡ italic_T start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( italic_T ) / italic_T can, as usual, be calculated using entropy conservation,

rν(T)=(211)13[gsγ+e±(T)]13,subscript𝑟𝜈𝑇superscript21113superscriptdelimited-[]superscriptsubscript𝑔𝑠𝛾superscript𝑒plus-or-minus𝑇13r_{\nu}(T)=\left({2\over 11}\right)^{1\over 3}\,\left[g_{s}^{\gamma+e^{\pm}}(T% )\right]^{1\over 3}\,,italic_r start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( italic_T ) = ( divide start_ARG 2 end_ARG start_ARG 11 end_ARG ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 3 end_ARG end_POSTSUPERSCRIPT [ italic_g start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_γ + italic_e start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ( italic_T ) ] start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 3 end_ARG end_POSTSUPERSCRIPT , (9)

where

gsγ+e±(T)=2+72gse(T),superscriptsubscript𝑔𝑠𝛾superscript𝑒plus-or-minus𝑇272subscriptsuperscript𝑔𝑒𝑠𝑇g_{s}^{\gamma+e^{\pm}}(T)=2+{7\over 2}\,g^{e}_{s}(T)\,,italic_g start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_γ + italic_e start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ( italic_T ) = 2 + divide start_ARG 7 end_ARG start_ARG 2 end_ARG italic_g start_POSTSUPERSCRIPT italic_e end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_T ) , (10)

having defined the contribution to the number of entropy density ultra-relativistic degrees of freedom of electrons (per single spin degree of freedom) as

gse(T)=87454π40𝑑xx2x2+z2+13x4x2+z2ex2+z2+1.superscriptsubscript𝑔𝑠𝑒𝑇87454superscript𝜋4superscriptsubscript0differential-d𝑥superscript𝑥2superscript𝑥2superscript𝑧213superscript𝑥4superscript𝑥2superscript𝑧2superscript𝑒superscript𝑥2superscript𝑧21g_{s}^{e}(T)={8\over 7}{45\over 4\pi^{4}}\,\int_{0}^{\infty}\,dx\,{x^{2}\,% \sqrt{x^{2}+z^{2}}+{1\over 3}\,{x^{4}\over\sqrt{x^{2}+z^{2}}}\over e^{\sqrt{x^% {2}+z^{2}}}+1}\,.italic_g start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_e end_POSTSUPERSCRIPT ( italic_T ) = divide start_ARG 8 end_ARG start_ARG 7 end_ARG divide start_ARG 45 end_ARG start_ARG 4 italic_π start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_d italic_x divide start_ARG italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT square-root start_ARG italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + divide start_ARG 1 end_ARG start_ARG 3 end_ARG divide start_ARG italic_x start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG start_ARG square-root start_ARG italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG end_ARG start_ARG italic_e start_POSTSUPERSCRIPT square-root start_ARG italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_POSTSUPERSCRIPT + 1 end_ARG . (11)

One can again verify that gse(Tme)=1superscriptsubscript𝑔𝑠𝑒much-greater-than𝑇subscript𝑚𝑒1g_{s}^{e}(T\gg m_{e})=1italic_g start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_e end_POSTSUPERSCRIPT ( italic_T ≫ italic_m start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ) = 1 and gse(T)0superscriptsubscript𝑔𝑠𝑒𝑇0g_{s}^{e}(T)\rightarrow 0italic_g start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_e end_POSTSUPERSCRIPT ( italic_T ) → 0 for T/me0𝑇subscript𝑚𝑒0T/m_{e}\rightarrow 0italic_T / italic_m start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT → 0, so that one recovers the well known result rν(Tme)=(4/11)1/3subscript𝑟𝜈much-less-than𝑇subscript𝑚𝑒superscript41113r_{\nu}(T\ll m_{e})=(4/11)^{1/3}italic_r start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( italic_T ≪ italic_m start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ) = ( 4 / 11 ) start_POSTSUPERSCRIPT 1 / 3 end_POSTSUPERSCRIPT. With this function one can write the SM number of entropy density ultra-relativistic degrees of freedom as

gsSM(Tmμ)=gsγ+e±+3ν(T)=2+78[4gse(T)+6rν3(T)].subscriptsuperscript𝑔SM𝑠much-less-than𝑇subscript𝑚𝜇subscriptsuperscript𝑔𝛾superscript𝑒plus-or-minus3𝜈𝑠𝑇278delimited-[]4superscriptsubscript𝑔𝑠𝑒𝑇6subscriptsuperscript𝑟3𝜈𝑇g^{\rm SM}_{s}(T\ll m_{\mu})=g^{\gamma+e^{\pm}+3\nu}_{s}(T)=2+{7\over 8}\,% \left[4\,g_{s}^{e}(T)+6\,r^{3}_{\nu}(T)\right]\,.italic_g start_POSTSUPERSCRIPT roman_SM end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_T ≪ italic_m start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT ) = italic_g start_POSTSUPERSCRIPT italic_γ + italic_e start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT + 3 italic_ν end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_T ) = 2 + divide start_ARG 7 end_ARG start_ARG 8 end_ARG [ 4 italic_g start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_e end_POSTSUPERSCRIPT ( italic_T ) + 6 italic_r start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( italic_T ) ] . (12)

For Tmemuch-less-than𝑇subscript𝑚𝑒T\ll m_{e}italic_T ≪ italic_m start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT one recovers the well known results gsSM(Tme)=43/113.91subscriptsuperscript𝑔SM𝑠much-less-than𝑇subscript𝑚𝑒4311similar-to-or-equals3.91g^{\rm SM}_{s}(T\ll m_{e})=43/11\simeq 3.91italic_g start_POSTSUPERSCRIPT roman_SM end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_T ≪ italic_m start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ) = 43 / 11 ≃ 3.91 and gρSM(Tme)3.36similar-to-or-equalssubscriptsuperscript𝑔SM𝜌much-less-than𝑇subscript𝑚𝑒3.36g^{\rm SM}_{\rho}(T\ll m_{e})\simeq 3.36italic_g start_POSTSUPERSCRIPT roman_SM end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT ( italic_T ≪ italic_m start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ) ≃ 3.36.555If one includes the small non-thermal neutrino contribution, these numbers are corrected to 3.933.933.933.93 and 3.3853.3853.3853.385, respectively. As we said, at this stage, this small correction can be safely neglected.

Let us now focus on the dark sector contribution. This is very easy to calculate since one has simply gρD(T)=gJ[rD(T)]4superscriptsubscript𝑔𝜌D𝑇subscript𝑔𝐽superscriptdelimited-[]subscript𝑟D𝑇4g_{\rho}^{\rm D}(T)=g_{J}\,[r_{\rm D}(T)]^{4}italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_D end_POSTSUPERSCRIPT ( italic_T ) = italic_g start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT [ italic_r start_POSTSUBSCRIPT roman_D end_POSTSUBSCRIPT ( italic_T ) ] start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT and gsD(T)=gJ[rD(T)]3superscriptsubscript𝑔𝑠D𝑇subscript𝑔𝐽superscriptdelimited-[]subscript𝑟D𝑇3g_{s}^{\rm D}(T)=g_{J}\,[r_{\rm D}(T)]^{3}italic_g start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_D end_POSTSUPERSCRIPT ( italic_T ) = italic_g start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT [ italic_r start_POSTSUBSCRIPT roman_D end_POSTSUBSCRIPT ( italic_T ) ] start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT, where gJ=1subscript𝑔𝐽1g_{J}=1italic_g start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT = 1 and where the dark sector-to-photon temperature ratio rD(T)subscript𝑟D𝑇r_{\rm D}(T)italic_r start_POSTSUBSCRIPT roman_D end_POSTSUBSCRIPT ( italic_T ) can again be calculated from entropy conservation as

rD(T)=[gsSM(T)gsSM(T)]1/3.subscript𝑟D𝑇superscriptdelimited-[]subscriptsuperscript𝑔SM𝑠𝑇subscriptsuperscript𝑔SM𝑠subscript𝑇13r_{\rm D}(T)=\left[{g^{\rm SM}_{s}(T)\over g^{\rm SM}_{s}(T_{\star})}\right]^{% 1/3}\,.italic_r start_POSTSUBSCRIPT roman_D end_POSTSUBSCRIPT ( italic_T ) = [ divide start_ARG italic_g start_POSTSUPERSCRIPT roman_SM end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_T ) end_ARG start_ARG italic_g start_POSTSUPERSCRIPT roman_SM end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_T start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT ) end_ARG ] start_POSTSUPERSCRIPT 1 / 3 end_POSTSUPERSCRIPT . (13)

For example, for mμTmemuch-greater-thansubscript𝑚𝜇𝑇much-greater-thansubscript𝑚𝑒m_{\mu}\gg T\gg m_{e}italic_m start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT ≫ italic_T ≫ italic_m start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT, one finds rD(T)=(43/427)1/30.465subscript𝑟D𝑇superscript4342713similar-to-or-equals0.465r_{\rm D}(T)=(43/427)^{1/3}\simeq 0.465italic_r start_POSTSUBSCRIPT roman_D end_POSTSUBSCRIPT ( italic_T ) = ( 43 / 427 ) start_POSTSUPERSCRIPT 1 / 3 end_POSTSUPERSCRIPT ≃ 0.465. We can also rewrite gρD(T)superscriptsubscript𝑔𝜌D𝑇g_{\rho}^{\rm D}(T)italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_D end_POSTSUPERSCRIPT ( italic_T ) in terms of the extra-effective number of neutrino species ΔNν(T)Δsubscript𝑁𝜈𝑇\Delta N_{\nu}(T)roman_Δ italic_N start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( italic_T ) defined by

gρD(T)74ΔNν(T)[rν(T)]4.superscriptsubscript𝑔𝜌D𝑇74Δsubscript𝑁𝜈𝑇superscriptdelimited-[]subscript𝑟𝜈𝑇4g_{\rho}^{\rm D}(T)\equiv{7\over 4}\,\Delta N_{\nu}(T)\,[r_{\nu}(T)]^{4}\,.italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_D end_POSTSUPERSCRIPT ( italic_T ) ≡ divide start_ARG 7 end_ARG start_ARG 4 end_ARG roman_Δ italic_N start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( italic_T ) [ italic_r start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( italic_T ) ] start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT . (14)

Again, in the particular case mμTmemuch-greater-thansubscript𝑚𝜇𝑇much-greater-thansubscript𝑚𝑒m_{\mu}\gg T\gg m_{e}italic_m start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT ≫ italic_T ≫ italic_m start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT, one finds

ΔNν(T)=47gJ[rD(T)]4=47(43427)430.027.Δsubscript𝑁𝜈𝑇47subscript𝑔𝐽superscriptdelimited-[]subscript𝑟D𝑇447superscript4342743similar-to-or-equals0.027\Delta N_{\nu}(T)={4\over 7}\,g_{J}\,[r_{\rm D}(T)]^{4}={4\over 7}\,\left({43% \over 427}\right)^{4\over 3}\simeq 0.027\,.roman_Δ italic_N start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( italic_T ) = divide start_ARG 4 end_ARG start_ARG 7 end_ARG italic_g start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT [ italic_r start_POSTSUBSCRIPT roman_D end_POSTSUBSCRIPT ( italic_T ) ] start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT = divide start_ARG 4 end_ARG start_ARG 7 end_ARG ( divide start_ARG 43 end_ARG start_ARG 427 end_ARG ) start_POSTSUPERSCRIPT divide start_ARG 4 end_ARG start_ARG 3 end_ARG end_POSTSUPERSCRIPT ≃ 0.027 . (15)

Such a small amount of extra radiation is in agreement with all cosmological constraints that we summarise here:

  • Primordial helium-4 abundance measurements combined with the baryon abundance extracted from cosmic microwave background (CMB) anisotropies place a constraint on ΔNνeff(t)Δsuperscriptsubscript𝑁𝜈eff𝑡\Delta N_{\nu}^{\rm eff}(t)roman_Δ italic_N start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eff end_POSTSUPERSCRIPT ( italic_t ) at t=tf1s𝑡subscript𝑡fsimilar-to1st=t_{\rm f}\sim 1\,{\rm s}italic_t = italic_t start_POSTSUBSCRIPT roman_f end_POSTSUBSCRIPT ∼ 1 roman_s, the time of freeze-out of the neutron-to-proton ratio [70]:

    ΔNν(tf)0.1±0.3ΔNν(tf)0.5(95%C.L.).\Delta N_{\nu}(t_{\rm f})\simeq-0.1\pm 0.3\ \Rightarrow\ \Delta N_{\nu}(t_{\rm f% })\lesssim 0.5\,\ \ (95\%\,{\rm C.L.})\,.roman_Δ italic_N start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT roman_f end_POSTSUBSCRIPT ) ≃ - 0.1 ± 0.3 ⇒ roman_Δ italic_N start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT roman_f end_POSTSUBSCRIPT ) ≲ 0.5 ( 95 % roman_C . roman_L . ) . (16)
  • From measurements of the primordial deuterium abundance at the time of nucleosynthesis, tnuc310ssimilar-to-or-equalssubscript𝑡nuc310st_{\rm nuc}\simeq 310\,{\rm s}italic_t start_POSTSUBSCRIPT roman_nuc end_POSTSUBSCRIPT ≃ 310 roman_s, corresponding to Tnuc65keVsimilar-to-or-equalssubscript𝑇nuc65keVT_{\rm nuc}\simeq 65\,{\rm keV}italic_T start_POSTSUBSCRIPT roman_nuc end_POSTSUBSCRIPT ≃ 65 roman_keV [71]:

    ΔNν(tnuc)=0.05±0.22ΔNν(tnuc)0.4(95%C.L.).\Delta N_{\nu}(t_{\rm nuc})=-0.05\pm 0.22\ \Rightarrow\ \Delta N_{\nu}(t_{\rm nuc% })\lesssim 0.4\,\ \ (95\%\,{\rm C.L.})\,.roman_Δ italic_N start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT roman_nuc end_POSTSUBSCRIPT ) = - 0.05 ± 0.22 ⇒ roman_Δ italic_N start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT roman_nuc end_POSTSUBSCRIPT ) ≲ 0.4 ( 95 % roman_C . roman_L . ) . (17)
  • CMB temperature and polarization anisotropies constrain ΔNν(t)Δsubscript𝑁𝜈𝑡\Delta N_{\nu}(t)roman_Δ italic_N start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( italic_t ) at recombination, when TTrec0.26eVsimilar-to-or-equals𝑇subscript𝑇recsimilar-to-or-equals0.26eVT\simeq T_{\rm rec}\simeq 0.26\,{\rm eV}italic_T ≃ italic_T start_POSTSUBSCRIPT roman_rec end_POSTSUBSCRIPT ≃ 0.26 roman_eV. The Planck collaboration finds666This result is found ignoring the astrophysical measurement of H0subscript𝐻0H_{0}italic_H start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT, i.e., the Hubble tension. [72]

    ΔNν(trec)=0.05±0.17ΔNν(trec)0.3(95%C.L.).\Delta N_{\nu}(t_{\rm rec})=-0.05\pm 0.17\ \Rightarrow\ \Delta N_{\nu}(t_{\rm rec% })\lesssim 0.3\,\ \ (95\%\,{\rm C.L.})\,.roman_Δ italic_N start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT roman_rec end_POSTSUBSCRIPT ) = - 0.05 ± 0.17 ⇒ roman_Δ italic_N start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT roman_rec end_POSTSUBSCRIPT ) ≲ 0.3 ( 95 % roman_C . roman_L . ) . (18)

Let us now consider the low scale phase transition, assuming first that this occurs at a temperature Tsubscriptsuperscript𝑇T^{\prime}_{\star}italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT above neutrino decoupling temperature Tνdec1MeVsimilar-tosuperscriptsubscript𝑇𝜈dec1MeVT_{\nu}^{\rm dec}\sim 1\,{\rm MeV}italic_T start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_dec end_POSTSUPERSCRIPT ∼ 1 roman_MeV, so that rν(T)=1subscript𝑟𝜈subscriptsuperscript𝑇1r_{\nu}(T^{\prime}_{\star})=1italic_r start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT ) = 1, but below 1 GeV. At such low temperatures, Yukawa couplings are ineffective to rethermalise the dark sector [64]. On the other hand, the coupling term ζJ2|ϕ|2𝜁superscript𝐽2superscriptsuperscriptitalic-ϕ2\zeta\,J^{2}\,|\phi^{\prime}|^{2}italic_ζ italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT can thermalise ϕsuperscriptitalic-ϕ\phi^{\prime}italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT and the Nsuperscript𝑁N^{\prime}italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT RH neutrinos with J𝐽Jitalic_J at a common temperature TDsubscript𝑇DT_{\rm D}italic_T start_POSTSUBSCRIPT roman_D end_POSTSUBSCRIPT. Therefore, at the ϕsuperscriptitalic-ϕ\phi^{\prime}italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT phase transition, the dark sector will have a temperature TD0.465Tsimilar-to-or-equalssubscriptsuperscript𝑇D0.465subscriptsuperscript𝑇T^{\prime}_{{\rm D}\star}\simeq 0.465\,T^{\prime}_{\star}italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_D ⋆ end_POSTSUBSCRIPT ≃ 0.465 italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT and with such a small temperature one would obtain a GW production much below the NANOGrav signal. Notice that after the phase transition the second majoron Jsuperscript𝐽J^{\prime}italic_J start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT would give a contribution to ΔNν(T)Δsubscript𝑁𝜈𝑇\Delta N_{\nu}(T)roman_Δ italic_N start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( italic_T ) equal to that one from J𝐽Jitalic_J, in a way that one would obtain ΔNν(T)0.05similar-to-or-equalsΔsubscript𝑁𝜈𝑇0.05\Delta N_{\nu}(T)\simeq 0.05roman_Δ italic_N start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( italic_T ) ≃ 0.05.

One could envisage some interaction able to rethermalise the dark sector so that rD(T)=1subscript𝑟Dsubscriptsuperscript𝑇1r_{\rm D}(T^{\prime}_{\star})=1italic_r start_POSTSUBSCRIPT roman_D end_POSTSUBSCRIPT ( italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT ) = 1. However, in this case the thermalised Jsuperscript𝐽J^{\prime}italic_J start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT abundance would correspond to have ΔNν(T)8/140.6similar-to-or-equalsΔsubscript𝑁𝜈𝑇814similar-to-or-equals0.6\Delta N_{\nu}(T)\simeq 8/14\simeq 0.6roman_Δ italic_N start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( italic_T ) ≃ 8 / 14 ≃ 0.6 throughout BBN and recombination, in disagreement with the cosmological constraints we have just reviewed.777A possible interesting caveat to this conclusion is to modify the model introducing an explicit symmetry breaking term that would give Jsuperscript𝐽J^{\prime}italic_J start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT a mass. In this way Jsuperscript𝐽J^{\prime}italic_J start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT might decay prior to neutron-to-proton ratio freeze out, thus circumventing all constraints. We will be back in the final remarks on realising this scenario that, in the context of a general phase transition in a dark sector, has been discussed in [73, 74]. For this reason we now consider, as in [64], the case when the low scale phase transition occurs well below neutrino decoupling (i.e., T1MeVless-than-or-similar-tosubscriptsuperscript𝑇1MeVT^{\prime}_{\star}\lesssim 1\,{\rm MeV}italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT ≲ 1 roman_MeV).

In this case a rethermalisation between the dark sector and just the decoupled ordinary neutrino background can occur without violating the cosmological constraints. Prior to the ϕsuperscriptitalic-ϕ\phi^{\prime}italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT phase transition one has the interactions888The couplings λ~isubscript~𝜆𝑖\widetilde{\lambda}_{i}over~ start_ARG italic_λ end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT can be related to the couplings λIsubscript𝜆𝐼\lambda_{I}italic_λ start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT in Eq. (2).

νD=i2i=2,3λ~iνi¯γ5νiJsubscript𝜈D𝑖2subscript𝑖23subscript~𝜆𝑖¯subscript𝜈𝑖superscript𝛾5subscript𝜈𝑖𝐽-{\cal L}_{\nu{\rm D}}={i\over 2}\,\sum_{i=2,3}\widetilde{\lambda}_{i}\,% \overline{\nu_{i}}\,\gamma^{5}\,\nu_{i}\,J- caligraphic_L start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT = divide start_ARG italic_i end_ARG start_ARG 2 end_ARG ∑ start_POSTSUBSCRIPT italic_i = 2 , 3 end_POSTSUBSCRIPT over~ start_ARG italic_λ end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT over¯ start_ARG italic_ν start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG italic_γ start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT italic_ν start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_J (19)

that can thermalise the majoron J𝐽Jitalic_J with the ordinary neutrinos, and also the complex scalar field ϕsuperscriptitalic-ϕ\phi^{\prime}italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT via the coupling ζJ2|ϕ|2𝜁superscript𝐽2superscriptsuperscriptitalic-ϕ2\zeta\,J^{2}|\phi^{\prime}|^{2}italic_ζ italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. This interacts with the NIsubscript𝑁superscript𝐼N_{I^{\prime}}italic_N start_POSTSUBSCRIPT italic_I start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT’s that also thermalise prior to the phase transition. The lightest neutrino ν1subscript𝜈1\nu_{1}italic_ν start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT thermalises after the ϕsuperscriptitalic-ϕ\phi^{\prime}italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT phase transition interacting with Jsuperscript𝐽J^{\prime}italic_J start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT via an interaction term analogous to the one in Eq. (19). In this way ordinary neutrinos would lose part of their energy that is transferred to the dark sector, so that they reach a common temperature TνDsubscript𝑇𝜈DT_{\nu{\rm D}}italic_T start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT given by999This expression assumes that the initial temperature of the dark sector is vanishing. However, the majoron J𝐽Jitalic_J was thermalised at the ϕitalic-ϕ\phiitalic_ϕ-phase transition and afterwards its temperature is described by Eq. (13). If this small initial temperature is taken into account, then Eq. (21) gets generalised into rνD=(NνSM(T)rν4(T)+(4/7)rD4(T)NνSM(T)+N+12/7+4Δg/7)14.subscript𝑟𝜈Dsuperscriptsuperscriptsubscript𝑁𝜈SM𝑇subscriptsuperscript𝑟4𝜈𝑇47subscriptsuperscript𝑟4𝐷𝑇superscriptsubscript𝑁𝜈SM𝑇superscript𝑁1274Δ𝑔714r_{\nu{\rm D}}=\left({N_{\nu}^{\rm SM}(T)r^{4}_{\nu}(T)+(4/7)r^{4}_{D}(T)\,% \over N_{\nu}^{\rm SM}(T)+N^{\prime}+12/7+4\,\Delta g/7}\right)^{1\over 4}\,.italic_r start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT = ( divide start_ARG italic_N start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_SM end_POSTSUPERSCRIPT ( italic_T ) italic_r start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( italic_T ) + ( 4 / 7 ) italic_r start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT ( italic_T ) end_ARG start_ARG italic_N start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_SM end_POSTSUPERSCRIPT ( italic_T ) + italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + 12 / 7 + 4 roman_Δ italic_g / 7 end_ARG ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 4 end_ARG end_POSTSUPERSCRIPT . (20) On the other hand, the correction is quite small and we can safely neglect it. [75, 76, 77]

rνDTνDT=rν(T)(NνSM(T)NνSM(T)+N+12/7+4Δg/7)14,subscript𝑟𝜈Dsubscript𝑇𝜈D𝑇subscript𝑟𝜈𝑇superscriptsuperscriptsubscript𝑁𝜈SM𝑇superscriptsubscript𝑁𝜈SM𝑇superscript𝑁1274Δ𝑔714r_{\nu{\rm D}}\equiv{T_{\nu{\rm D}}\over T}=r_{\nu}(T)\,\left({N_{\nu}^{\rm SM% }(T)\over N_{\nu}^{\rm SM}(T)+N^{\prime}+12/7+4\,\Delta g/7}\right)^{1\over 4}\,,italic_r start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT ≡ divide start_ARG italic_T start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT end_ARG start_ARG italic_T end_ARG = italic_r start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( italic_T ) ( divide start_ARG italic_N start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_SM end_POSTSUPERSCRIPT ( italic_T ) end_ARG start_ARG italic_N start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_SM end_POSTSUPERSCRIPT ( italic_T ) + italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + 12 / 7 + 4 roman_Δ italic_g / 7 end_ARG ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 4 end_ARG end_POSTSUPERSCRIPT , (21)

where Tν(T)subscript𝑇𝜈𝑇T_{\nu}(T)italic_T start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( italic_T ), given by Eq. (9), is the standard neutrino temperature (i.e., in the absence of the dark sector) so that one simply has rνD(T)=rν(T)[TνD(T)/Tν(T)]subscript𝑟𝜈D𝑇subscript𝑟𝜈𝑇delimited-[]subscript𝑇𝜈D𝑇subscript𝑇𝜈𝑇r_{\nu{\rm D}}(T)=r_{\nu}(T)\,[T_{\nu{\rm D}}(T)/T_{\nu}(T)]italic_r start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT ( italic_T ) = italic_r start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( italic_T ) [ italic_T start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT ( italic_T ) / italic_T start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( italic_T ) ]. Notice that NνSM(Tme/2)=3superscriptsubscript𝑁𝜈SMmuch-greater-than𝑇subscript𝑚𝑒23N_{\nu}^{\rm SM}(T\gg m_{e}/2)=3italic_N start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_SM end_POSTSUPERSCRIPT ( italic_T ≫ italic_m start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT / 2 ) = 3 and NνSM(Tme/2)=3.043superscriptsubscript𝑁𝜈SMmuch-less-than𝑇subscript𝑚𝑒23.043N_{\nu}^{\rm SM}(T\ll m_{e}/2)=3.043italic_N start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_SM end_POSTSUPERSCRIPT ( italic_T ≪ italic_m start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT / 2 ) = 3.043 for the predicted SM value of the effective neutrino species [78].

3.2 Hubble tension

The minimal content of the dark sector is given by J,ϕ𝐽superscriptitalic-ϕJ,\phi^{\prime}italic_J , italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT and Nsuperscript𝑁N^{\prime}italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT RH neutrinos. However, we can also account for the possibility of the existence of ΔgΔ𝑔\Delta groman_Δ italic_g extra massless degrees of freedom. For example, for N=1superscript𝑁1N^{\prime}=1italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = 1 and Δg=0,1,2,3Δ𝑔0123\Delta g=0,1,2,3roman_Δ italic_g = 0 , 1 , 2 , 3, one finds respectively TνD/Tν=0.815,0.784,0.76subscript𝑇𝜈Dsubscript𝑇𝜈0.8150.7840.76T_{\nu{\rm D}}/T_{\nu}=0.815,0.784,0.76italic_T start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT / italic_T start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT = 0.815 , 0.784 , 0.76. One can also calculate the amount of extra-radiation at temperatures much below the electron mass, obtaining

ΔNν3.043[(3.043+N+12/7+4Δg/73.043+N+12/7+4Δg/7Nh)131],similar-to-or-equalsΔsubscript𝑁𝜈3.043delimited-[]superscript3.043superscript𝑁1274Δ𝑔73.043superscript𝑁1274Δ𝑔7subscript𝑁h131\Delta N_{\nu}\simeq 3.043\left[\,\left({3.043+N^{\prime}+12/7+4\Delta g/7% \over 3.043+N^{\prime}+12/7+4\Delta g/7-N_{\rm h}}\right)^{1\over 3}-1\right]\,,roman_Δ italic_N start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ≃ 3.043 [ ( divide start_ARG 3.043 + italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + 12 / 7 + 4 roman_Δ italic_g / 7 end_ARG start_ARG 3.043 + italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + 12 / 7 + 4 roman_Δ italic_g / 7 - italic_N start_POSTSUBSCRIPT roman_h end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 3 end_ARG end_POSTSUPERSCRIPT - 1 ] , (22)

where Nhsubscript𝑁hN_{\rm h}italic_N start_POSTSUBSCRIPT roman_h end_POSTSUBSCRIPT is the number of massive states that decay after the phase transition and produce the excess radiation.101010The expression Eq. (22) is obtained assuming entropy conservation and neglecting the initial small amount of majorons J𝐽Jitalic_J from the first thermalisation of the dark sector at high scale. If this is taken into account, then Eq. (22) gets generalised into ΔNν3.043[(3.043+N+12/7+4Δg/73.043+N+12/7+4Δg/7Nh)13(1+rD4rν4)1],similar-to-or-equalsΔsubscript𝑁𝜈3.043delimited-[]superscript3.043superscript𝑁1274Δ𝑔73.043superscript𝑁1274Δ𝑔7subscript𝑁h131subscriptsuperscript𝑟4𝐷subscriptsuperscript𝑟4𝜈1\Delta N_{\nu}\simeq 3.043\left[\,\left({3.043+N^{\prime}+12/7+4\Delta g/7% \over 3.043+N^{\prime}+12/7+4\Delta g/7-N_{\rm h}}\right)^{1\over 3}\left(1+{r% ^{4}_{D}\over r^{4}_{\nu}}\right)-1\right]\,,roman_Δ italic_N start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ≃ 3.043 [ ( divide start_ARG 3.043 + italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + 12 / 7 + 4 roman_Δ italic_g / 7 end_ARG start_ARG 3.043 + italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + 12 / 7 + 4 roman_Δ italic_g / 7 - italic_N start_POSTSUBSCRIPT roman_h end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 3 end_ARG end_POSTSUPERSCRIPT ( 1 + divide start_ARG italic_r start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT end_ARG ) - 1 ] , (23) where rDsubscript𝑟𝐷r_{D}italic_r start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT is given by Eq. (13). This more general expression might be useful in the case of a higher number of decoupled degrees of freedom in the dark sector in addition to J𝐽Jitalic_J. For example, if one considers the case of multiple majorons giving mass to the seesaw neutrinos, as considered in [67]. In our case these states are given by Ssuperscript𝑆S^{\prime}italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT and the Nsuperscript𝑁N^{\prime}italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT RH neutrinos so that Nh=N+1subscript𝑁superscript𝑁1N_{h}=N^{\prime}+1italic_N start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT = italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + 1. For N=1superscript𝑁1N^{\prime}=1italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = 1 and Δg=0Δ𝑔0\Delta g=0roman_Δ italic_g = 0 one obtains ΔNν0.465similar-to-or-equalsΔsubscript𝑁𝜈0.465\Delta N_{\nu}\simeq 0.465roman_Δ italic_N start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ≃ 0.465. In this case, such an amount of extra-radiation can actually even be beneficial in order to ameliorate the Hubble tension [76, 79] compared to the ΛΛ\Lambdaroman_ΛCDM model since one has a simultaneous injection of extra radiation together with a reduction of the neutrino free streaming length due to the interactions between the ordinary neutrinos and the majorons. For this reason a low energy scale majoron model of this kind is a leading candidate to resolve the cosmological tensions within the ΛΛ\Lambdaroman_ΛCDM model [80]. Recently a new analysis of this model has been presented in [81] where the authors find an improvement at the level of 1σ1𝜎1\sigma1 italic_σ compared to the ΛΛ\Lambdaroman_ΛCDM model. It is then interesting that this kind of model can link the NANOGrav signal, that we are going to discuss in the next section, to the cosmological tensions.

3.3 Deuterium problem

If the rethermalisation occurs at a temperature above 65 keV, one should worry about the constraint Eq. (17) from deuterium. In this case, one can reduce the amount of extra-radiation increasing the number of massless degrees of freedom in the dark sector considering Δg0Δ𝑔0\Delta g\neq 0roman_Δ italic_g ≠ 0. For example, for Δg=1,2,3Δ𝑔123\Delta g=1,2,3roman_Δ italic_g = 1 , 2 , 3 one obtains, respectively, ΔNν=0.41,0.37,0.33Δsubscript𝑁𝜈0.410.370.33\Delta N_{\nu}=0.41,0.37,0.33roman_Δ italic_N start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT = 0.41 , 0.37 , 0.33. Therefore, an increase of the degrees of freedom in the dark sector actually produces a reduction of the amount of extra-radiation making it compatible also with deuterium constraints. However, notice that it is actually interesting that the model predicts some increase of the deuterium abundance compared to standard big bang nucleosynthesis (SBBN). There is indeed a potential tension with the current measurement of primordial deuterium abundance within SBBN. The experimental value is found to be [82] D/H=(2.527±0.030)×105DHplus-or-minus2.5270.030superscript105{\rm D/H}=(2.527\pm 0.030)\times 10^{-5}roman_D / roman_H = ( 2.527 ± 0.030 ) × 10 start_POSTSUPERSCRIPT - 5 end_POSTSUPERSCRIPT. Using a calculation of D(d,n)3He and D(d,p)3H nuclear rates based on theoretical ab-initio energy dependencies the authors of [83] find, as SBBN prediction, D/H=(2.439±0.037)×105DHplus-or-minus2.4390.037superscript105{\rm D/H}=(2.439\pm 0.037)\times 10^{-5}roman_D / roman_H = ( 2.439 ± 0.037 ) × 10 start_POSTSUPERSCRIPT - 5 end_POSTSUPERSCRIPT, showing a 2σsimilar-toabsent2𝜎\sim 2\sigma∼ 2 italic_σ tension with the experimental value. Since the primordial deuterium abundance scales with ΔNνΔsubscript𝑁𝜈\Delta N_{\nu}roman_Δ italic_N start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT approximately as [84] (D/H)(ΔNν)=(D/H)SBBN(1+0.135ΔNν)0.8DHΔsubscript𝑁𝜈superscriptDHSBBNsuperscript10.135Δsubscript𝑁𝜈0.8({\rm D/H})(\Delta N_{\nu})=({\rm D/H})^{\rm SBBN}(1+0.135\,\Delta N_{\nu})^{0% .8}( roman_D / roman_H ) ( roman_Δ italic_N start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ) = ( roman_D / roman_H ) start_POSTSUPERSCRIPT roman_SBBN end_POSTSUPERSCRIPT ( 1 + 0.135 roman_Δ italic_N start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 0.8 end_POSTSUPERSCRIPT, one finds that ΔNν(tnuc)0.3similar-to-or-equalsΔsubscript𝑁𝜈subscript𝑡nuc0.3\Delta N_{\nu}(t_{\rm nuc})\simeq 0.3roman_Δ italic_N start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT roman_nuc end_POSTSUBSCRIPT ) ≃ 0.3 would solve the tension. However, using a polynomial expansion of the S-factors of the above-mentioned nuclear rates the authors of [71] find D/H=(2.54±0.07)×105DHplus-or-minus2.540.07superscript105{\rm D/H}=(2.54\pm 0.07)\times 10^{-5}roman_D / roman_H = ( 2.54 ± 0.07 ) × 10 start_POSTSUPERSCRIPT - 5 end_POSTSUPERSCRIPT, a predicted value that would be essentially in agreement with the experimental value and that places the upper bound on ΔNν(tnuc)Δsubscript𝑁𝜈subscript𝑡nuc\Delta N_{\nu}(t_{\rm nuc})roman_Δ italic_N start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT roman_nuc end_POSTSUBSCRIPT ) given in Eq. (17). New and more accurate data on the nuclear rates should be able to establish which one of the two descriptions is more reliable, thus confirming or ruling out the tension [85]. In case it will be confirmed, the split majoron model would be not only a natural candidate to explain the tension but, very importantly, it would also offer a simultaneous solution to the other cosmological tensions and, as we are now going to discuss, realise an intriguing connection with the NANOGrav signal.

4 GW spectrum predictions confronting the NANOGrav signal

We first briefly review how the first order phase transition parameters relevant for the production of GW spectrum in the split majoron model are calculated and refer the interested reader to Ref. [67] for a broader discussion.111111Production of GWs from first order phase transitions in the dark sector has been discussed, in a general framework, in [86, 73, 87, 74]. The finite-temperature effective potential for the (real) scalar φsuperscript𝜑\varphi^{\prime}italic_φ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT can be calculated perturbatively at one-loop level and is the summation of zero temperature tree-level, one-loop Coleman-Weinberg potential and one-loop thermal potential. Using thermal expansion of the one-loop thermal potential, this can be converted in a dressed effective potential given by

VeffTνD(φ)12M~TνD2φ2(ATνD+C)φ3+14λTνDφ4,V^{T_{\nu{\rm D}}}_{\rm eff}(\varphi^{\prime})\simeq{1\over 2}\,\widetilde{M}_% {T_{\nu{\rm D}}}^{2}\,\varphi^{{}^{\prime}2}-(A\,T_{\nu{\rm D}}+C)\,\varphi^{{% }^{\prime}3}+\frac{1}{4}\lambda_{T_{\nu{\rm D}}}\,\varphi^{{}^{\prime}4}\,,italic_V start_POSTSUPERSCRIPT italic_T start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT ( italic_φ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) ≃ divide start_ARG 1 end_ARG start_ARG 2 end_ARG over~ start_ARG italic_M end_ARG start_POSTSUBSCRIPT italic_T start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_φ start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT 2 end_POSTSUPERSCRIPT - ( italic_A italic_T start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT + italic_C ) italic_φ start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT 3 end_POSTSUPERSCRIPT + divide start_ARG 1 end_ARG start_ARG 4 end_ARG italic_λ start_POSTSUBSCRIPT italic_T start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_φ start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT 4 end_POSTSUPERSCRIPT , (24)

where notice that the common neutrino-dark sector temperature TνDsubscript𝑇𝜈DT_{\nu{\rm D}}italic_T start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT replaces the photon temperature T𝑇Titalic_T. However, once the calculations are done in terms of TνDsubscript𝑇𝜈DT_{\nu{\rm D}}italic_T start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT, everything can then be more conveniently expressed in terms of the standard T𝑇Titalic_T simply using TνD(T)=rνD(T)Tsubscript𝑇𝜈D𝑇subscript𝑟𝜈D𝑇𝑇T_{\nu{\rm D}}(T)=r_{\nu{\rm D}}(T)\,Titalic_T start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT ( italic_T ) = italic_r start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT ( italic_T ) italic_T. Here, a zero-temperature cubic term C=ζ2v0/(2λ)𝐶superscript𝜁2superscriptsubscript𝑣02𝜆C=\zeta^{2}v_{0}^{\prime}/(2\lambda)italic_C = italic_ζ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT / ( 2 italic_λ ) is introduced due to the presence of the scalar ϕitalic-ϕ\phiitalic_ϕ with a high scale vacuum expectation value during the phase transition of ϕsuperscriptitalic-ϕ\phi^{\prime}italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT at a lower scale. This term significantly enhances the strength of the phase transition. The other parameters in Eq. (24) are given by

M~TνD22D(TνD2T¯νD2),superscriptsubscript~𝑀subscript𝑇𝜈D22𝐷superscriptsubscript𝑇𝜈D2superscriptsubscript¯𝑇𝜈D2\widetilde{M}_{T_{\nu{\rm D}}}^{2}\equiv 2\,D\,(T_{\nu{\rm D}}^{2}-\overline{T% }_{\nu{\rm D}}^{2})\,,over~ start_ARG italic_M end_ARG start_POSTSUBSCRIPT italic_T start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≡ 2 italic_D ( italic_T start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - over¯ start_ARG italic_T end_ARG start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) , (25)

where the destabilisation temperature T¯νDsubscript¯𝑇𝜈D\overline{T}_{\nu{\rm D}}over¯ start_ARG italic_T end_ARG start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT is given by

2DT¯νD2=λv02+N8π2M4v0238π2λ2v02,2\,D\,\overline{T}_{\nu{\rm D}}^{2}=\lambda^{\prime}\,v_{0}^{{}^{\prime}2}+{N^% {\prime}\over 8\,\pi^{2}}\,{M^{{}^{\prime}4}\over v_{0}^{{}^{\prime}2}}-{3% \over 8\,\pi^{2}}\lambda^{{}^{\prime}2}\,v_{0}^{{}^{\prime}2}\,,2 italic_D over¯ start_ARG italic_T end_ARG start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = italic_λ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT 2 end_POSTSUPERSCRIPT + divide start_ARG italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG start_ARG 8 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG italic_M start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG start_ARG italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG - divide start_ARG 3 end_ARG start_ARG 8 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_λ start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (26)

and the dimensionless constant coefficients D𝐷Ditalic_D and A𝐴Aitalic_A are expressed as

D=λ8+N24M2v02andA=(3λ)3/212π.D={{\lambda^{\prime}\over 8}+{N^{\prime}\over 24}\,{M^{{}^{\prime}2}\over v_{0% }^{{}^{\prime}2}}}\,\;\;\;\;\mbox{\rm and}\;\;\;\;A={(3\,\lambda^{\prime})^{3/% 2}\over 12\pi}\,\,.italic_D = divide start_ARG italic_λ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG start_ARG 8 end_ARG + divide start_ARG italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG start_ARG 24 end_ARG divide start_ARG italic_M start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG and italic_A = divide start_ARG ( 3 italic_λ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 3 / 2 end_POSTSUPERSCRIPT end_ARG start_ARG 12 italic_π end_ARG . (27)

The dimensionless temperature dependent quartic coefficient λTνDsubscript𝜆subscript𝑇𝜈D\lambda_{T_{\nu{\rm D}}}italic_λ start_POSTSUBSCRIPT italic_T start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT end_POSTSUBSCRIPT is given by

λTνD=λNM48π2v04logaFTνD2e3/2M2+9λ216π2logaBTνD2e3/2mS2.\lambda_{T_{\nu{\rm D}}}=\lambda^{\prime}-\frac{N^{\prime}\,M^{{}^{\prime}4}}{% 8\,\pi^{2}\,v_{0}^{{}^{\prime}4}}\,\log{a_{F}\,T_{\nu{\rm D}}^{2}\over e^{3/2}% \,M^{{}^{\prime}2}}+{9\lambda^{2}\over 16\pi^{2}}\,\log{a_{B}\,T_{\nu{\rm D}}^% {2}\over e^{3/2}\,m_{S}^{{}^{\prime}2}}\,.italic_λ start_POSTSUBSCRIPT italic_T start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT end_POSTSUBSCRIPT = italic_λ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT - divide start_ARG italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_M start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG start_ARG 8 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG roman_log divide start_ARG italic_a start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT italic_T start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_e start_POSTSUPERSCRIPT 3 / 2 end_POSTSUPERSCRIPT italic_M start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + divide start_ARG 9 italic_λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 16 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG roman_log divide start_ARG italic_a start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_T start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_e start_POSTSUPERSCRIPT 3 / 2 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG . (28)

The cubic term is negligible at very high temperatures and the potential is symmetric with respect to ϕsuperscriptitalic-ϕ\phi^{\prime}italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT. However, at lower temperatures it becomes important and a stable second minimum forms at a nonzero ϕsuperscriptitalic-ϕ\phi^{\prime}italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT. At the critical temperature the two minima are degenerate and below the critical temperature bubbles can nucleate from the false vacuum to the true vacuum with nonzero probability. We refer to TνDsubscriptsuperscript𝑇𝜈DT^{\prime}_{{\nu{\rm D}}\star}italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν roman_D ⋆ end_POSTSUBSCRIPT as the characteristic phase transition temperature and identify it with the percolation temperature, when 1/e1𝑒1/e1 / italic_e fraction of space is still in the false vacuum. It is related to the corresponding temperature of the SM sector simply by TνD=TrνD(T)subscriptsuperscript𝑇𝜈Dsubscriptsuperscript𝑇subscript𝑟𝜈Dsubscriptsuperscript𝑇T^{\prime}_{{\nu{\rm D}}\star}=T^{\prime}_{\star}\,r_{\nu{\rm D}}(T^{\prime}_{% \star})italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν roman_D ⋆ end_POSTSUBSCRIPT = italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT italic_r start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT ( italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT ) (we always use T𝑇Titalic_T as independent variable and from this we calculate TνDsubscript𝑇𝜈DT_{\nu{\rm D}}italic_T start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT). Two other parameters relevant for the calculation of the GW spectrum from first order phase transitions are α𝛼\alphaitalic_α and β/H𝛽subscript𝐻\beta/H_{\star}italic_β / italic_H start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT, where the first denotes the strength of the phase transition and the latter describes the inverse of the duration of the phase transition. These parameters are defined as

βHTd(S3/TνD)dT|T,andαε(TνD)ρ(T),formulae-sequencesimilar-to-or-equals𝛽subscript𝐻evaluated-atsubscriptsuperscript𝑇𝑑subscript𝑆3subscript𝑇𝜈D𝑑𝑇subscriptsuperscript𝑇and𝛼𝜀subscriptsuperscript𝑇𝜈D𝜌subscriptsuperscript𝑇{\beta\over H_{\star}}\simeq T^{\prime}_{\star}\left.{d(S_{3}/T_{\nu{\rm D}})% \over dT}\right|_{T^{\prime}_{\star}}\,,\qquad\text{and}\qquad\alpha\equiv{% \varepsilon(T^{\prime}_{{\nu{\rm D}}{\star}})\over\rho(T^{\prime}_{\star})}\,,divide start_ARG italic_β end_ARG start_ARG italic_H start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT end_ARG ≃ italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT divide start_ARG italic_d ( italic_S start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT / italic_T start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT ) end_ARG start_ARG italic_d italic_T end_ARG | start_POSTSUBSCRIPT italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT end_POSTSUBSCRIPT , and italic_α ≡ divide start_ARG italic_ε ( italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν roman_D ⋆ end_POSTSUBSCRIPT ) end_ARG start_ARG italic_ρ ( italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT ) end_ARG , (29)

where S3subscript𝑆3S_{3}italic_S start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT is the spatial Euclidean action, ε(TνD)𝜀subscriptsuperscript𝑇𝜈D\varepsilon(T^{\prime}_{{\nu{\rm D}}\star})italic_ε ( italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν roman_D ⋆ end_POSTSUBSCRIPT ) is the latent heat released during the phase transition and ρ(T)𝜌subscriptsuperscript𝑇\rho(T^{\prime}_{\star})italic_ρ ( italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT ) is the total energy density of the plasma, including both SM and dark sector degrees of freedom. An approximate analytical estimate for calculating S3/TνDsubscript𝑆3subscript𝑇𝜈DS_{3}/T_{\nu{\rm D}}italic_S start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT / italic_T start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT, and from this TνDsubscriptsuperscript𝑇𝜈DT^{\prime}_{{\nu{\rm D}}\star}italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν roman_D ⋆ end_POSTSUBSCRIPT, in terms of the model parameters can be found in Ref. [67]. In calculating α𝛼\alphaitalic_α for phase transition at low temperatures, one must be careful about various cosmological constraints, as outlined in section 3.

We now proceed to calculate the GW spectrum of the model relevant for nanoHZ frequencies. Assuming that first order phase transition occurs in the detonation regime where bubble wall velocity vw>cs=1/3subscript𝑣𝑤subscript𝑐𝑠13v_{w}>c_{s}=1/\sqrt{3}italic_v start_POSTSUBSCRIPT italic_w end_POSTSUBSCRIPT > italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT = 1 / square-root start_ARG 3 end_ARG, the dominant contribution to the GW spectrum mainly comes from sound waves in the plasma. Numerical simulations confirm for α0.1less-than-or-similar-to𝛼0.1\alpha\lesssim 0.1italic_α ≲ 0.1 [65, 88, 89] the analytical result from the sound shell model121212It assumes that the sound waves are linear and that their power spectrum is determined by the characteristic form of the sound shell around the expanding bubble. [90]:

h2Ωsw0(f)=3h2rgw(t,t0)Ω~gwHR[κ(ανD)α1+α]2S~sw(f)Υ(α,ανD,β/H),superscript2subscriptΩsw0𝑓3superscript2subscript𝑟gwsubscript𝑡subscript𝑡0subscript~Ωgwsubscript𝐻subscript𝑅superscriptdelimited-[]𝜅subscript𝛼𝜈D𝛼1𝛼2subscript~𝑆sw𝑓Υ𝛼subscript𝛼𝜈D𝛽subscript𝐻h^{2}\Omega_{\rm sw0}(f)=3\,h^{2}\,r_{\rm gw}(t_{\star},t_{0})\,\widetilde{% \Omega}_{\rm gw}\,H_{\star}\,R_{\star}\,\left[\frac{\kappa(\alpha_{\nu{\rm D}}% )\,\alpha}{1+\alpha}\right]^{2}\,\widetilde{S}_{\rm sw}(f)\,\Upsilon(\alpha,% \alpha_{\nu{\rm D}},\beta/H_{\star})\,,italic_h start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Ω start_POSTSUBSCRIPT sw0 end_POSTSUBSCRIPT ( italic_f ) = 3 italic_h start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_r start_POSTSUBSCRIPT roman_gw end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT , italic_t start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) over~ start_ARG roman_Ω end_ARG start_POSTSUBSCRIPT roman_gw end_POSTSUBSCRIPT italic_H start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT italic_R start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT [ divide start_ARG italic_κ ( italic_α start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT ) italic_α end_ARG start_ARG 1 + italic_α end_ARG ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over~ start_ARG italic_S end_ARG start_POSTSUBSCRIPT roman_sw end_POSTSUBSCRIPT ( italic_f ) roman_Υ ( italic_α , italic_α start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT , italic_β / italic_H start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT ) , (30)

where Rsubscript𝑅R_{\star}italic_R start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT is the mean bubble separation and a standard relation is R=(8π)1/3vw/βsubscript𝑅superscript8𝜋13subscript𝑣w𝛽R_{\star}=(8\pi)^{1/3}\,v_{\rm w}/\betaitalic_R start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT = ( 8 italic_π ) start_POSTSUPERSCRIPT 1 / 3 end_POSTSUPERSCRIPT italic_v start_POSTSUBSCRIPT roman_w end_POSTSUBSCRIPT / italic_β. Notice that the parameter ανDε(T)/ρνD(T)subscript𝛼𝜈D𝜀subscriptsuperscript𝑇subscript𝜌𝜈Dsubscriptsuperscript𝑇\alpha_{\nu{\rm D}}\equiv\varepsilon(T^{\prime}_{\star})/\rho_{\nu{\rm D}}(T^{% \prime}_{\star})italic_α start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT ≡ italic_ε ( italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT ) / italic_ρ start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT ( italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT ) replaces α𝛼\alphaitalic_α inside κ𝜅\kappaitalic_κ and ΥΥ\Upsilonroman_Υ [73, 74], where we simple defined ρνDρν+ρDsubscript𝜌𝜈Dsubscript𝜌𝜈subscript𝜌D\rho_{\nu{\rm D}}\equiv\rho_{\nu}+\rho_{\rm D}italic_ρ start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT ≡ italic_ρ start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT + italic_ρ start_POSTSUBSCRIPT roman_D end_POSTSUBSCRIPT. We adopt Jouguet detonation solution for which the efficiency factor is given by  [91, 92]

κ(ανD)ανD0.73+0.083ανD+ανD,similar-to-or-equals𝜅subscript𝛼𝜈Dsubscript𝛼𝜈D0.730.083subscript𝛼𝜈Dsubscript𝛼𝜈D\displaystyle\kappa(\alpha_{\nu{\rm D}})\simeq{\alpha_{\nu{\rm D}}\over 0.73+0% .083\sqrt{\alpha_{\nu{\rm D}}}+\alpha_{\nu{\rm D}}}\,,italic_κ ( italic_α start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT ) ≃ divide start_ARG italic_α start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT end_ARG start_ARG 0.73 + 0.083 square-root start_ARG italic_α start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT end_ARG + italic_α start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT end_ARG , (31)

and the bubble wall velocity vw(αD)=vJ(αD)subscript𝑣wsubscript𝛼Dsubscript𝑣Jsubscript𝛼Dv_{\rm w}(\alpha_{\rm D})=v_{\rm J}(\alpha_{\rm D})italic_v start_POSTSUBSCRIPT roman_w end_POSTSUBSCRIPT ( italic_α start_POSTSUBSCRIPT roman_D end_POSTSUBSCRIPT ) = italic_v start_POSTSUBSCRIPT roman_J end_POSTSUBSCRIPT ( italic_α start_POSTSUBSCRIPT roman_D end_POSTSUBSCRIPT ), where

vJ(ανD)1/3+ανD2+2ανD/31+ανD.subscript𝑣Jsubscript𝛼𝜈D13superscriptsubscript𝛼𝜈D22subscript𝛼𝜈D31subscript𝛼𝜈D\displaystyle v_{\rm J}(\alpha_{\nu{\rm D}})\equiv\frac{\sqrt{1/3}+\sqrt{% \alpha_{\nu{\rm D}}^{2}+2\alpha_{\nu{\rm D}}/3}}{1+\alpha_{\nu{\rm D}}}\,.italic_v start_POSTSUBSCRIPT roman_J end_POSTSUBSCRIPT ( italic_α start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT ) ≡ divide start_ARG square-root start_ARG 1 / 3 end_ARG + square-root start_ARG italic_α start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 2 italic_α start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT / 3 end_ARG end_ARG start_ARG 1 + italic_α start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT end_ARG . (32)

The suppression factor Υ(α,ανD,β/H)1Υ𝛼subscript𝛼𝜈D𝛽subscript𝐻1\Upsilon(\alpha,\alpha_{\nu{\rm D}},\beta/H_{\star})\leq 1roman_Υ ( italic_α , italic_α start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT , italic_β / italic_H start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT ) ≤ 1 takes into account the finite lifetime of the soundwaves and is given by [93, 94]:

Υ(α,ανD,β/H)=111+2Hτsw,Υ𝛼subscript𝛼𝜈D𝛽subscript𝐻1112subscript𝐻subscript𝜏sw\Upsilon(\alpha,\alpha_{\nu{\rm D}},\beta/H_{\star})=1-{1\over\sqrt{1+2\,H_{% \star}\tau_{\rm sw}}}\,,roman_Υ ( italic_α , italic_α start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT , italic_β / italic_H start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT ) = 1 - divide start_ARG 1 end_ARG start_ARG square-root start_ARG 1 + 2 italic_H start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT roman_sw end_POSTSUBSCRIPT end_ARG end_ARG , (33)

where we can write

Hτsw=(8π)13vwβ/H[1+ακ(ανD)α]1/2.subscript𝐻subscript𝜏swsuperscript8𝜋13subscript𝑣w𝛽subscript𝐻superscriptdelimited-[]1𝛼𝜅subscript𝛼𝜈D𝛼12H_{\star}\tau_{\rm sw}=(8\,\pi)^{1\over 3}{v_{\rm w}\over\beta/H_{\star}}\left% [{1+\alpha\over\kappa(\alpha_{\nu{\rm D}})\,\alpha}\right]^{1/2}\,.italic_H start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT roman_sw end_POSTSUBSCRIPT = ( 8 italic_π ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 3 end_ARG end_POSTSUPERSCRIPT divide start_ARG italic_v start_POSTSUBSCRIPT roman_w end_POSTSUBSCRIPT end_ARG start_ARG italic_β / italic_H start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT end_ARG [ divide start_ARG 1 + italic_α end_ARG start_ARG italic_κ ( italic_α start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT ) italic_α end_ARG ] start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT . (34)

Only in the ideal asymptotic limit Hτswsubscript𝐻subscript𝜏swH_{\star}\tau_{\rm sw}\rightarrow\inftyitalic_H start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT roman_sw end_POSTSUBSCRIPT → ∞ one has Υ=1Υ1\Upsilon=1roman_Υ = 1. The prefactor Ω~gwsubscript~Ωgw\widetilde{\Omega}_{\rm gw}over~ start_ARG roman_Ω end_ARG start_POSTSUBSCRIPT roman_gw end_POSTSUBSCRIPT is a dimensionless number given by an integral over all wave numbers k𝑘kitalic_k [95]

Ω~gw=dkk(kLf)32π2P~GW(kLf),subscript~Ωgw𝑑𝑘𝑘superscript𝑘subscript𝐿f32superscript𝜋2subscript~𝑃GW𝑘subscript𝐿f\widetilde{\Omega}_{\rm gw}=\int{dk\over k}\,{(k\,L_{\rm f})^{3}\over 2\pi^{2}% }\,\widetilde{P}_{\rm GW}(k\,L_{\rm f})\ ,over~ start_ARG roman_Ω end_ARG start_POSTSUBSCRIPT roman_gw end_POSTSUBSCRIPT = ∫ divide start_ARG italic_d italic_k end_ARG start_ARG italic_k end_ARG divide start_ARG ( italic_k italic_L start_POSTSUBSCRIPT roman_f end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG over~ start_ARG italic_P end_ARG start_POSTSUBSCRIPT roman_GW end_POSTSUBSCRIPT ( italic_k italic_L start_POSTSUBSCRIPT roman_f end_POSTSUBSCRIPT ) , (35)

where Lfsubscript𝐿fL_{\rm f}italic_L start_POSTSUBSCRIPT roman_f end_POSTSUBSCRIPT is a characteristic length scale in the velocity field, P~GWsubscript~𝑃GW\widetilde{P}_{\rm GW}over~ start_ARG italic_P end_ARG start_POSTSUBSCRIPT roman_GW end_POSTSUBSCRIPT is the GW power spectrum and it is found [95, 88]

Ω~gw=(0.8±0.1)2π3102.subscript~Ωgwplus-or-minus0.80.12superscript𝜋3similar-tosuperscript102\widetilde{\Omega}_{\rm gw}={(0.8\pm 0.1)\over 2\pi^{3}}\sim 10^{-2}\,.over~ start_ARG roman_Ω end_ARG start_POSTSUBSCRIPT roman_gw end_POSTSUBSCRIPT = divide start_ARG ( 0.8 ± 0.1 ) end_ARG start_ARG 2 italic_π start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG ∼ 10 start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT . (36)

The redshift factor rgw(t,t0)subscript𝑟gwsubscript𝑡subscript𝑡0r_{\rm gw}(t_{\star},t_{0})italic_r start_POSTSUBSCRIPT roman_gw end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT , italic_t start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ), evolving Ωgwρgw/ρcsubscriptΩgwsubscript𝜌gwsubscript𝜌c\Omega_{\rm gw\star}\equiv\rho_{\rm gw\star}/\rho_{{\rm c}\star}roman_Ω start_POSTSUBSCRIPT roman_gw ⋆ end_POSTSUBSCRIPT ≡ italic_ρ start_POSTSUBSCRIPT roman_gw ⋆ end_POSTSUBSCRIPT / italic_ρ start_POSTSUBSCRIPT roman_c ⋆ end_POSTSUBSCRIPT to Ωgw0ρgw0/ρc0subscriptΩgw0subscript𝜌gw0subscript𝜌c0\Omega_{\rm gw0}\equiv\rho_{\rm gw0}/\rho_{\rm c0}roman_Ω start_POSTSUBSCRIPT gw0 end_POSTSUBSCRIPT ≡ italic_ρ start_POSTSUBSCRIPT gw0 end_POSTSUBSCRIPT / italic_ρ start_POSTSUBSCRIPT c0 end_POSTSUBSCRIPT, is given by [96]

rgw(t,t0)=(aa0)4(HH0)2=(gs0gs)43gρgγΩγ0,subscript𝑟gwsubscript𝑡subscript𝑡0superscriptsubscript𝑎subscript𝑎04superscriptsubscript𝐻subscript𝐻02superscriptsubscript𝑔𝑠0subscript𝑔𝑠43subscript𝑔𝜌subscript𝑔𝛾subscriptΩ𝛾0r_{\rm gw}(t_{\star},t_{0})=\left({a_{\star}\over a_{0}}\right)^{4}\,\left({H_% {\star}\over H_{0}}\right)^{2}=\left({g_{s0}\over g_{s\star}}\right)^{4\over 3% }\,{g_{\rho\star}\over g_{\gamma}}\,\Omega_{\gamma 0}\,,italic_r start_POSTSUBSCRIPT roman_gw end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT , italic_t start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) = ( divide start_ARG italic_a start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT end_ARG start_ARG italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ( divide start_ARG italic_H start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT end_ARG start_ARG italic_H start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = ( divide start_ARG italic_g start_POSTSUBSCRIPT italic_s 0 end_POSTSUBSCRIPT end_ARG start_ARG italic_g start_POSTSUBSCRIPT italic_s ⋆ end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT divide start_ARG 4 end_ARG start_ARG 3 end_ARG end_POSTSUPERSCRIPT divide start_ARG italic_g start_POSTSUBSCRIPT italic_ρ ⋆ end_POSTSUBSCRIPT end_ARG start_ARG italic_g start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT end_ARG roman_Ω start_POSTSUBSCRIPT italic_γ 0 end_POSTSUBSCRIPT , (37)

where Ωγ0ργ0/ρc0subscriptΩ𝛾0subscript𝜌𝛾0subscript𝜌c0\Omega_{\gamma 0}\equiv\rho_{\gamma 0}/\rho_{{\rm c}0}roman_Ω start_POSTSUBSCRIPT italic_γ 0 end_POSTSUBSCRIPT ≡ italic_ρ start_POSTSUBSCRIPT italic_γ 0 end_POSTSUBSCRIPT / italic_ρ start_POSTSUBSCRIPT c0 end_POSTSUBSCRIPT. The normalised spectral shape function S~sw(f)subscript~𝑆sw𝑓\widetilde{S}_{\rm sw}(f)over~ start_ARG italic_S end_ARG start_POSTSUBSCRIPT roman_sw end_POSTSUBSCRIPT ( italic_f ) is given by S~sw(f)0.687Ssw(f)similar-to-or-equalssubscript~𝑆sw𝑓0.687subscript𝑆sw𝑓\widetilde{S}_{\rm sw}(f)\simeq 0.687\,S_{\rm sw}(f)over~ start_ARG italic_S end_ARG start_POSTSUBSCRIPT roman_sw end_POSTSUBSCRIPT ( italic_f ) ≃ 0.687 italic_S start_POSTSUBSCRIPT roman_sw end_POSTSUBSCRIPT ( italic_f ) with

Ssw(f)=(ffsw)3[74+3(f/fsw)2]7/2,subscript𝑆sw𝑓superscript𝑓subscript𝑓sw3superscriptdelimited-[]743superscript𝑓subscript𝑓sw272\displaystyle S_{\rm sw}(f)=\left(\frac{f}{f_{\rm sw}}\right)^{3}\left[\frac{7% }{4+3({f/f_{\rm sw}})^{2}}\right]^{7/2}\,,italic_S start_POSTSUBSCRIPT roman_sw end_POSTSUBSCRIPT ( italic_f ) = ( divide start_ARG italic_f end_ARG start_ARG italic_f start_POSTSUBSCRIPT roman_sw end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT [ divide start_ARG 7 end_ARG start_ARG 4 + 3 ( italic_f / italic_f start_POSTSUBSCRIPT roman_sw end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ] start_POSTSUPERSCRIPT 7 / 2 end_POSTSUPERSCRIPT , (38)

where fswsubscript𝑓swf_{{\rm sw}}italic_f start_POSTSUBSCRIPT roman_sw end_POSTSUBSCRIPT is the peak frequency at the present time. This is simply obtained redshifting the peak frequency at the time of the phase transition: fsw=fswasubscript𝑓swsubscript𝑓swsubscript𝑎f_{{\rm sw}}=f_{{\rm sw}\star}a_{\star}italic_f start_POSTSUBSCRIPT roman_sw end_POSTSUBSCRIPT = italic_f start_POSTSUBSCRIPT roman_sw ⋆ end_POSTSUBSCRIPT italic_a start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT. The peak frequency at the phase transition is given, in terms of vwsubscript𝑣wv_{\rm w}italic_v start_POSTSUBSCRIPT roman_w end_POSTSUBSCRIPT and β/H𝛽subscript𝐻\beta/H_{\star}italic_β / italic_H start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT, by [88]

fsw=κβ/HvwH,subscript𝑓sw𝜅𝛽subscript𝐻subscript𝑣wsubscript𝐻f_{{\rm sw}\star}=\kappa\,{\beta/H_{\star}\over v_{\rm w}}\,H_{\star}\,,italic_f start_POSTSUBSCRIPT roman_sw ⋆ end_POSTSUBSCRIPT = italic_κ divide start_ARG italic_β / italic_H start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT end_ARG start_ARG italic_v start_POSTSUBSCRIPT roman_w end_POSTSUBSCRIPT end_ARG italic_H start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT , (39)

with κ0.54similar-to-or-equals𝜅0.54\kappa\simeq 0.54italic_κ ≃ 0.54. From entropy conservation one can write a=T0gs1/3(Tme)/(Tgs1/3)subscript𝑎subscript𝑇0superscriptsubscript𝑔s13much-less-than𝑇subscript𝑚𝑒subscript𝑇subscriptsuperscript𝑔13sa_{\star}=T_{0}\,g_{\rm s}^{1/3}(T\ll m_{e})/(T_{\star}\,g^{1/3}_{\rm s\star})italic_a start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT = italic_T start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 / 3 end_POSTSUPERSCRIPT ( italic_T ≪ italic_m start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ) / ( italic_T start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT italic_g start_POSTSUPERSCRIPT 1 / 3 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_s ⋆ end_POSTSUBSCRIPT ) and from the Friedmann equation H1.66T2gρ1/2/MPlsimilar-to-or-equalssubscript𝐻1.66superscriptsubscript𝑇2superscriptsubscript𝑔𝜌12subscript𝑀PlH_{\star}\simeq 1.66\,T_{\star}^{2}\,g_{\rho\star}^{1/2}/M_{\rm Pl}italic_H start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT ≃ 1.66 italic_T start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_g start_POSTSUBSCRIPT italic_ρ ⋆ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT / italic_M start_POSTSUBSCRIPT roman_Pl end_POSTSUBSCRIPT, where T02.35×104eVsimilar-to-or-equalssubscript𝑇02.35superscript104eVT_{0}\simeq 2.35\times 10^{-4}\,{\rm eV}italic_T start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ≃ 2.35 × 10 start_POSTSUPERSCRIPT - 4 end_POSTSUPERSCRIPT roman_eV is the CMB temperature and gs(Tme)=gsSM(Tme)3.91subscript𝑔𝑠much-less-than𝑇subscript𝑚𝑒superscriptsubscript𝑔𝑠SMmuch-less-than𝑇subscript𝑚𝑒similar-to-or-equals3.91g_{s}(T\ll m_{e})=g_{s}^{\rm SM}(T\ll m_{e})\simeq 3.91italic_g start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_T ≪ italic_m start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ) = italic_g start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_SM end_POSTSUPERSCRIPT ( italic_T ≪ italic_m start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ) ≃ 3.91. In this way one obtains for the peak frequency at the present time

fsw1.66κT0gS01/3β/HvwTgρ1/2MPlgS1/34.1μHz1vwβHT100GeVgρ1/2gS1/3similar-to-or-equalssubscript𝑓sw1.66𝜅subscript𝑇0superscriptsubscript𝑔S013𝛽subscript𝐻subscript𝑣wsubscript𝑇superscriptsubscript𝑔𝜌12subscript𝑀Plsubscriptsuperscript𝑔13Ssimilar-to-or-equals4.1𝜇Hz1subscript𝑣w𝛽subscript𝐻subscript𝑇100GeVsuperscriptsubscript𝑔𝜌12superscriptsubscript𝑔𝑆13f_{{\rm sw}}\simeq 1.66\,\kappa\,T_{0}\,g_{{\rm S}0}^{1/3}\,{\beta/H_{\star}% \over v_{\rm w}}\,{T_{\star}\,g_{\rho\star}^{1/2}\over M_{\rm Pl}\,g^{1/3}_{% \rm S\star}}\simeq 4.1\,\mu{\rm Hz}\,\frac{1}{v_{\rm w}}\frac{\beta}{H_{\star}% }\frac{T_{\star}}{\rm 100\,GeV}\frac{g_{\rho\star}^{1/2}}{g_{S\star}^{1/3}}italic_f start_POSTSUBSCRIPT roman_sw end_POSTSUBSCRIPT ≃ 1.66 italic_κ italic_T start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT S0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 / 3 end_POSTSUPERSCRIPT divide start_ARG italic_β / italic_H start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT end_ARG start_ARG italic_v start_POSTSUBSCRIPT roman_w end_POSTSUBSCRIPT end_ARG divide start_ARG italic_T start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT italic_ρ ⋆ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_M start_POSTSUBSCRIPT roman_Pl end_POSTSUBSCRIPT italic_g start_POSTSUPERSCRIPT 1 / 3 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_S ⋆ end_POSTSUBSCRIPT end_ARG ≃ 4.1 italic_μ roman_Hz divide start_ARG 1 end_ARG start_ARG italic_v start_POSTSUBSCRIPT roman_w end_POSTSUBSCRIPT end_ARG divide start_ARG italic_β end_ARG start_ARG italic_H start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT end_ARG divide start_ARG italic_T start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT end_ARG start_ARG 100 roman_GeV end_ARG divide start_ARG italic_g start_POSTSUBSCRIPT italic_ρ ⋆ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_g start_POSTSUBSCRIPT italic_S ⋆ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 / 3 end_POSTSUPERSCRIPT end_ARG (40)

For phase transitions above the electroweak scale the peak frequency one has gρ=gs=gsubscript𝑔𝜌subscript𝑔𝑠subscript𝑔g_{\rho\star}=g_{s\star}=g_{\star}italic_g start_POSTSUBSCRIPT italic_ρ ⋆ end_POSTSUBSCRIPT = italic_g start_POSTSUBSCRIPT italic_s ⋆ end_POSTSUBSCRIPT = italic_g start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT. In this way Eq. (40) specialises into

fsw=8.9μHz1vwβHT100GeV(gρ106.75)1/6.subscript𝑓sw8.9𝜇Hz1subscript𝑣w𝛽subscript𝐻subscript𝑇100GeVsuperscriptsuperscriptsubscript𝑔𝜌106.7516\displaystyle f_{\rm sw}=8.9\,\mu{\rm Hz}\,\frac{1}{v_{\rm w}}\frac{\beta}{H_{% \star}}\frac{T_{\star}}{\rm 100\,GeV}\,\left(\frac{g_{\rho}^{\star}}{106.75}% \right)^{1/6}\,.italic_f start_POSTSUBSCRIPT roman_sw end_POSTSUBSCRIPT = 8.9 italic_μ roman_Hz divide start_ARG 1 end_ARG start_ARG italic_v start_POSTSUBSCRIPT roman_w end_POSTSUBSCRIPT end_ARG divide start_ARG italic_β end_ARG start_ARG italic_H start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT end_ARG divide start_ARG italic_T start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT end_ARG start_ARG 100 roman_GeV end_ARG ( divide start_ARG italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT end_ARG start_ARG 106.75 end_ARG ) start_POSTSUPERSCRIPT 1 / 6 end_POSTSUPERSCRIPT . (41)

We can also write a numerical expression for the redshift factor

rgw(t,t0)3.5×105(106.75g)13(0.68h)2similar-to-or-equalssubscript𝑟gwsubscript𝑡subscript𝑡03.5superscript105superscript106.75subscript𝑔13superscript0.682r_{\rm gw}(t_{\star},t_{0})\simeq 3.5\times 10^{-5}\,\left({106.75\over g_{% \star}}\right)^{1\over 3}\,\left({0.68\over h}\right)^{2}\,italic_r start_POSTSUBSCRIPT roman_gw end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT , italic_t start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) ≃ 3.5 × 10 start_POSTSUPERSCRIPT - 5 end_POSTSUPERSCRIPT ( divide start_ARG 106.75 end_ARG start_ARG italic_g start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 3 end_ARG end_POSTSUPERSCRIPT ( divide start_ARG 0.68 end_ARG start_ARG italic_h end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT (42)

and, finally, for the GW spectrum from sound waves131313This numerical expression agrees with the one in [89] (see Erratum in v3).

h2Ωsw0(f)=0.97×106Ω~gw102vw(α)β/H[κ(ανD)α1+α]2(106.75g)1/3Ssw(f)Υ(α,ανD,β/H).superscript2subscriptΩsw0𝑓0.97superscript106subscript~Ωgwsuperscript102subscript𝑣w𝛼𝛽subscript𝐻superscriptdelimited-[]𝜅subscript𝛼𝜈D𝛼1𝛼2superscript106.75subscript𝑔13subscript𝑆sw𝑓Υ𝛼subscript𝛼𝜈D𝛽subscript𝐻h^{2}\Omega_{\rm sw0}(f)=0.97\times 10^{-6}\,{\widetilde{\Omega}_{\rm gw}\over 1% 0^{-2}}\,\frac{v_{\rm w}(\alpha)}{\beta/H_{\star}}\left[\frac{\kappa(\alpha_{% \nu{\rm D}})\,\alpha}{1+\alpha}\right]^{2}\left(\frac{106.75}{g_{\star}}\right% )^{1/3}\,S_{\rm sw}(f)\,\Upsilon(\alpha,\alpha_{\nu{\rm D}},\beta/H_{\star})\,.italic_h start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Ω start_POSTSUBSCRIPT sw0 end_POSTSUBSCRIPT ( italic_f ) = 0.97 × 10 start_POSTSUPERSCRIPT - 6 end_POSTSUPERSCRIPT divide start_ARG over~ start_ARG roman_Ω end_ARG start_POSTSUBSCRIPT roman_gw end_POSTSUBSCRIPT end_ARG start_ARG 10 start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG italic_v start_POSTSUBSCRIPT roman_w end_POSTSUBSCRIPT ( italic_α ) end_ARG start_ARG italic_β / italic_H start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT end_ARG [ divide start_ARG italic_κ ( italic_α start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT ) italic_α end_ARG start_ARG 1 + italic_α end_ARG ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( divide start_ARG 106.75 end_ARG start_ARG italic_g start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 1 / 3 end_POSTSUPERSCRIPT italic_S start_POSTSUBSCRIPT roman_sw end_POSTSUBSCRIPT ( italic_f ) roman_Υ ( italic_α , italic_α start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT , italic_β / italic_H start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT ) . (43)

Let us now turn to the case of our interest, a low scale phase transition for T1MeVless-than-or-similar-tosubscriptsuperscript𝑇1MeVT^{\prime}_{\star}\lesssim 1\,{\rm MeV}italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT ≲ 1 roman_MeV. In this case one has gρ(T)gs(T)subscript𝑔𝜌subscriptsuperscript𝑇subscript𝑔𝑠subscriptsuperscript𝑇g_{\rho}(T^{\prime}_{\star})\neq g_{s}(T^{\prime}_{\star})italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT ( italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT ) ≠ italic_g start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT ), specifically:

gρgρ(T)superscriptsubscript𝑔𝜌subscript𝑔𝜌subscriptsuperscript𝑇\displaystyle g_{\rho\star}^{\prime}\equiv g_{\rho}(T^{\prime}_{\star})italic_g start_POSTSUBSCRIPT italic_ρ ⋆ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ≡ italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT ( italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT ) =\displaystyle== gργ+e±(T)+gρ3ν(T)+gρD(T)subscriptsuperscript𝑔𝛾superscript𝑒plus-or-minus𝜌subscriptsuperscript𝑇subscriptsuperscript𝑔3𝜈𝜌subscriptsuperscript𝑇superscriptsubscript𝑔𝜌Dsubscriptsuperscript𝑇\displaystyle g^{\gamma+e^{\pm}}_{\rho}(T^{\prime}_{\star})+g^{3\nu}_{\rho}(T^% {\prime}_{\star})+g_{\rho}^{\rm D}(T^{\prime}_{\star})italic_g start_POSTSUPERSCRIPT italic_γ + italic_e start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT ( italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT ) + italic_g start_POSTSUPERSCRIPT 3 italic_ν end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT ( italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT ) + italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_D end_POSTSUPERSCRIPT ( italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT )
=\displaystyle== 2+72gρe(T)+(214+gJ+gS+gJ+74N+Δg)rνD4(T),272superscriptsubscript𝑔𝜌𝑒subscriptsuperscript𝑇214subscript𝑔𝐽subscript𝑔superscript𝑆subscript𝑔superscript𝐽74superscript𝑁Δ𝑔superscriptsubscript𝑟𝜈D4subscriptsuperscript𝑇\displaystyle 2+{7\over 2}\,g_{\rho}^{e}(T^{\prime}_{\star})+\left({21\over 4}% \,+g_{J}+g_{S^{\prime}}+g_{J^{\prime}}+{7\over 4}\,N^{\prime}+\Delta g\right)% \,r_{\nu{\rm D}}^{4}(T^{\prime}_{\star})\,,2 + divide start_ARG 7 end_ARG start_ARG 2 end_ARG italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_e end_POSTSUPERSCRIPT ( italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT ) + ( divide start_ARG 21 end_ARG start_ARG 4 end_ARG + italic_g start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT + italic_g start_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT + italic_g start_POSTSUBSCRIPT italic_J start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT + divide start_ARG 7 end_ARG start_ARG 4 end_ARG italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + roman_Δ italic_g ) italic_r start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ( italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT ) ,

and

gsgs(T)superscriptsubscript𝑔𝑠subscript𝑔𝑠subscriptsuperscript𝑇\displaystyle g_{s\star}^{\prime}\equiv g_{s}(T^{\prime}_{\star})italic_g start_POSTSUBSCRIPT italic_s ⋆ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ≡ italic_g start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT ) =\displaystyle== gsγ+e±(T)+gs3ν(T)+gρD(T)subscriptsuperscript𝑔𝛾superscript𝑒plus-or-minus𝑠subscriptsuperscript𝑇subscriptsuperscript𝑔3𝜈𝑠subscriptsuperscript𝑇superscriptsubscript𝑔𝜌Dsubscriptsuperscript𝑇\displaystyle g^{\gamma+e^{\pm}}_{s}(T^{\prime}_{\star})+g^{3\nu}_{s}(T^{% \prime}_{\star})+g_{\rho}^{\rm D}(T^{\prime}_{\star})italic_g start_POSTSUPERSCRIPT italic_γ + italic_e start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT ) + italic_g start_POSTSUPERSCRIPT 3 italic_ν end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT ) + italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_D end_POSTSUPERSCRIPT ( italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT )
=\displaystyle== 2+72gse(T)+(214+gJ+gS+gJ+74N+Δg)rνD3(T).272superscriptsubscript𝑔𝑠𝑒subscriptsuperscript𝑇214subscript𝑔𝐽subscript𝑔superscript𝑆subscript𝑔superscript𝐽74superscript𝑁Δ𝑔superscriptsubscript𝑟𝜈D3subscriptsuperscript𝑇\displaystyle 2+{7\over 2}\,g_{s}^{e}(T^{\prime}_{\star})+\left({21\over 4}+g_% {J}+g_{S^{\prime}}+g_{J^{\prime}}+{7\over 4}\,N^{\prime}+\Delta g\right)\,r_{% \nu{\rm D}}^{3}(T^{\prime}_{\star})\,.2 + divide start_ARG 7 end_ARG start_ARG 2 end_ARG italic_g start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_e end_POSTSUPERSCRIPT ( italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT ) + ( divide start_ARG 21 end_ARG start_ARG 4 end_ARG + italic_g start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT + italic_g start_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT + italic_g start_POSTSUBSCRIPT italic_J start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT + divide start_ARG 7 end_ARG start_ARG 4 end_ARG italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + roman_Δ italic_g ) italic_r start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ( italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT ) .

In the limit Tme/2much-greater-thansubscriptsuperscript𝑇subscript𝑚𝑒2T^{\prime}_{\star}\gg m_{e}/2italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT ≫ italic_m start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT / 2 one has rνDgρe1similar-to-or-equalssubscript𝑟𝜈Dsuperscriptsubscript𝑔𝜌𝑒similar-to-or-equals1r_{\nu{\rm D}}\simeq g_{\rho}^{e}\simeq 1italic_r start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT ≃ italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_e end_POSTSUPERSCRIPT ≃ 1. If, for definiteness, we consider the minimal case with Δg=0Δ𝑔0\Delta g=0roman_Δ italic_g = 0 and N=1superscript𝑁1N^{\prime}=1italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = 1, one has then, for Tme/2much-greater-thansubscriptsuperscript𝑇subscript𝑚𝑒2T^{\prime}_{\star}\gg m_{e}/2italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT ≫ italic_m start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT / 2, gρgs62/4similar-to-or-equalssuperscriptsubscript𝑔𝜌superscriptsubscript𝑔𝑠similar-to-or-equals624g_{\rho\star}^{\prime}\simeq g_{s\star}^{\prime}\simeq 62/4italic_g start_POSTSUBSCRIPT italic_ρ ⋆ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ≃ italic_g start_POSTSUBSCRIPT italic_s ⋆ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ≃ 62 / 4. We can then conveniently rewrite numerically:

rgw(t,t0)6.6×105(0.68h)2(15.5gs)43gρ15.5,similar-to-or-equalssubscript𝑟gwsubscriptsuperscript𝑡subscript𝑡06.6superscript105superscript0.682superscript15.5subscriptsuperscript𝑔𝑠43subscriptsuperscript𝑔𝜌15.5r_{\rm gw}(t^{\prime}_{\star},t_{0})\simeq 6.6\times 10^{-5}\,\left({0.68\over h% }\right)^{2}\,\left(\frac{15.5}{g^{\prime}_{s\star}}\right)^{4\over 3}\,\frac{% g^{\prime}_{\rho\star}}{15.5}\,,italic_r start_POSTSUBSCRIPT roman_gw end_POSTSUBSCRIPT ( italic_t start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT , italic_t start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) ≃ 6.6 × 10 start_POSTSUPERSCRIPT - 5 end_POSTSUPERSCRIPT ( divide start_ARG 0.68 end_ARG start_ARG italic_h end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( divide start_ARG 15.5 end_ARG start_ARG italic_g start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s ⋆ end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT divide start_ARG 4 end_ARG start_ARG 3 end_ARG end_POSTSUPERSCRIPT divide start_ARG italic_g start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ρ ⋆ end_POSTSUBSCRIPT end_ARG start_ARG 15.5 end_ARG , (46)
fsw6.47nHz1vwβ/H100T1MeV(gρ/15.5)1/2(gs/15.5)1/3similar-to-or-equalssubscript𝑓sw6.47nHz1subscript𝑣w𝛽subscript𝐻100subscript𝑇1MeVsuperscriptsubscript𝑔𝜌15.512superscriptsubscript𝑔𝑠15.513f_{{\rm sw}}\simeq 6.47\,{\rm nHz}\,\frac{1}{v_{\rm w}}\frac{\beta/H_{\star}}{% 100}\frac{T_{\star}}{\rm 1\,MeV}\frac{(g_{\rho\star}/15.5)^{1/2}}{(g_{s\star}/% 15.5)^{1/3}}italic_f start_POSTSUBSCRIPT roman_sw end_POSTSUBSCRIPT ≃ 6.47 roman_nHz divide start_ARG 1 end_ARG start_ARG italic_v start_POSTSUBSCRIPT roman_w end_POSTSUBSCRIPT end_ARG divide start_ARG italic_β / italic_H start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT end_ARG start_ARG 100 end_ARG divide start_ARG italic_T start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT end_ARG start_ARG 1 roman_MeV end_ARG divide start_ARG ( italic_g start_POSTSUBSCRIPT italic_ρ ⋆ end_POSTSUBSCRIPT / 15.5 ) start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT end_ARG start_ARG ( italic_g start_POSTSUBSCRIPT italic_s ⋆ end_POSTSUBSCRIPT / 15.5 ) start_POSTSUPERSCRIPT 1 / 3 end_POSTSUPERSCRIPT end_ARG (47)

and

h2Ωsw0(f)=1.845×106Ω~gw102vw(α)β/H[κ(ανD)α1+α]2(15.5gs)4/3(gρ15.5)Ssw(f)Υ(α,ανD,β/H).superscript2subscriptΩsw0𝑓1.845superscript106subscript~Ωgwsuperscript102subscript𝑣w𝛼𝛽subscript𝐻superscriptdelimited-[]𝜅subscript𝛼𝜈D𝛼1𝛼2superscript15.5subscriptsuperscript𝑔𝑠43subscriptsuperscript𝑔𝜌15.5subscript𝑆sw𝑓Υ𝛼subscript𝛼𝜈D𝛽subscript𝐻h^{2}\Omega_{\rm sw0}(f)=1.845\times 10^{-6}\,{\widetilde{\Omega}_{\rm gw}% \over 10^{-2}}\,\frac{v_{\rm w}(\alpha)}{\beta/H_{\star}}\left[\frac{\kappa(% \alpha_{\nu{\rm D}})\,\alpha}{1+\alpha}\right]^{2}\left(\frac{15.5}{g^{\prime}% _{s\star}}\right)^{4/3}\left(\frac{g^{\prime}_{\rho\star}}{15.5}\right)\,S_{% \rm sw}(f)\,\Upsilon(\alpha,\alpha_{\nu{\rm D}},\beta/H_{\star})\,.italic_h start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Ω start_POSTSUBSCRIPT sw0 end_POSTSUBSCRIPT ( italic_f ) = 1.845 × 10 start_POSTSUPERSCRIPT - 6 end_POSTSUPERSCRIPT divide start_ARG over~ start_ARG roman_Ω end_ARG start_POSTSUBSCRIPT roman_gw end_POSTSUBSCRIPT end_ARG start_ARG 10 start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG italic_v start_POSTSUBSCRIPT roman_w end_POSTSUBSCRIPT ( italic_α ) end_ARG start_ARG italic_β / italic_H start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT end_ARG [ divide start_ARG italic_κ ( italic_α start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT ) italic_α end_ARG start_ARG 1 + italic_α end_ARG ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( divide start_ARG 15.5 end_ARG start_ARG italic_g start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s ⋆ end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 4 / 3 end_POSTSUPERSCRIPT ( divide start_ARG italic_g start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ρ ⋆ end_POSTSUBSCRIPT end_ARG start_ARG 15.5 end_ARG ) italic_S start_POSTSUBSCRIPT roman_sw end_POSTSUBSCRIPT ( italic_f ) roman_Υ ( italic_α , italic_α start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT , italic_β / italic_H start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT ) . (48)

For α0.1greater-than-or-equivalent-to𝛼0.1\alpha\gtrsim 0.1italic_α ≳ 0.1 one expects strong deviation from (30) that can be expressed in terms of a function ξ(f;α,vw,β/H,)𝜉𝑓𝛼subscript𝑣w𝛽subscript𝐻\xi(f;\alpha,v_{\rm w},\beta/H_{\star},\dots)italic_ξ ( italic_f ; italic_α , italic_v start_POSTSUBSCRIPT roman_w end_POSTSUBSCRIPT , italic_β / italic_H start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT , … ). This function is currently undetermined. Here we mention a few effects that have been studied and that contribute to ξ(f;α,vw,β/H,)𝜉𝑓𝛼subscript𝑣w𝛽subscript𝐻\xi(f;\alpha,v_{\rm w},\beta/H_{\star},\dots)italic_ξ ( italic_f ; italic_α , italic_v start_POSTSUBSCRIPT roman_w end_POSTSUBSCRIPT , italic_β / italic_H start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT , … ).

  • The expression (30) neglects a contribution from turbulent motion of the dark sector plasma after the phase transition. This contribution is certainly subdominant for α0.1less-than-or-similar-to𝛼0.1\alpha\lesssim 0.1italic_α ≲ 0.1 but it might become sizeable for α0.1greater-than-or-equivalent-to𝛼0.1\alpha\gtrsim 0.1italic_α ≳ 0.1, though its determination requires a better theoretical understanding [97].

  • In [66] it was found in numerical simulations that for the integral on the whole range of frequencies, i.e., for the sound wave contribution to the GW energy density parameter, one has a suppression by a factor 0.10.10.10.11111 for values α0.6less-than-or-similar-to𝛼0.6\alpha\lesssim 0.6italic_α ≲ 0.6 and vwcssimilar-to-or-equalssubscript𝑣wsubscript𝑐sv_{\rm w}\simeq c_{\rm s}italic_v start_POSTSUBSCRIPT roman_w end_POSTSUBSCRIPT ≃ italic_c start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT compared to the expected result one obtains integrating Eq. (30). There are currently no well established results on the spectral shape function deviation for α>0.1𝛼0.1\alpha>0.1italic_α > 0.1 compared to the broken power law Eq. (38). In order to account for such an indetermination, we show the GW spectrum for bands corresponding to ξ=0.1𝜉0.1\xi=0.1italic_ξ = 0.11111 in our plots in Figs. 2 and 3.141414Recently, numerical results have been derived showing that a steep Ssw(f)f7proportional-tosubscript𝑆sw𝑓superscript𝑓7S_{\rm sw}(f)\propto f^{7}italic_S start_POSTSUBSCRIPT roman_sw end_POSTSUBSCRIPT ( italic_f ) ∝ italic_f start_POSTSUPERSCRIPT 7 end_POSTSUPERSCRIPT growth may appear below the peak under certain circumstances, leading to a bump in the spectral shape [98]. The presence of this potential bump could potentially lead to a clear signature in NANOGrav data.

    We refer the interested reader to Ref. [67] for more details about the known issues and caveats in using the above expressions for calculating the GW spectrum. The GW spectrum plots are obtained for a set of benchmark points given in Table 1 and 2 in Figs. 2 and 3, respectively.

  • Recently, it has been found in [99] that, when the bubbles expand as deflagrations, the heating of the fluid in front of the phase boundary suppresses the nucleation rate increasing the mean bubble separation and enhancing the gravitational wave signal by a factor of up to order ten. This enhancement increases for increasing values of α𝛼\alphaitalic_α and low values of vwsubscript𝑣wv_{\rm w}italic_v start_POSTSUBSCRIPT roman_w end_POSTSUBSCRIPT, so that it is sizeable only in the case of deflagrations (vw<cssubscript𝑣wsubscript𝑐sv_{\rm w}<c_{\rm s}italic_v start_POSTSUBSCRIPT roman_w end_POSTSUBSCRIPT < italic_c start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT), while it is negligible in the case of detonations (vw>cssubscript𝑣wsubscript𝑐sv_{\rm w}>c_{\rm s}italic_v start_POSTSUBSCRIPT roman_w end_POSTSUBSCRIPT > italic_c start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT), the case we have considered. In any case this effect can only partially compensate the suppression effect mentioned in the previous point.

  • Another possible effect leading to a strong enhancement can come from density fluctuations if δT/T¯1/(β/H)greater-than-or-equivalent-to𝛿𝑇¯𝑇1𝛽subscript𝐻\delta T/\bar{T}\gtrsim 1/(\beta/H_{\star})italic_δ italic_T / over¯ start_ARG italic_T end_ARG ≳ 1 / ( italic_β / italic_H start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT ) [100]. From the reported results, the enhancement might be up to an order of magnitude. However, there are no specific calculations and at the moment such an effect should be regarded as potential.

We can conclude that, within current knowledge, Eq. (30) should be regarded as an upper bound of the GW spectrum from first order phase transitions in the dark sector, likely for values α<0.6𝛼0.6\alpha<0.6italic_α < 0.6 from existing numerical simulations. Even for higher values of α𝛼\alphaitalic_α there is currently no real reason to think there can be a strong enhancement, rather a suppression, except for the hope that turbulence might become dominant and produce ξ1much-greater-than𝜉1\xi\gg 1italic_ξ ≫ 1. For this reason in the following we will show results using Eq. (30) as a plausible upper bound. We will comment again in the final section about the possibility to evade such an upper bound.

4.1 Results

First of all we have produced scatter plots in the plane β/H𝛽subscript𝐻\beta/H_{\star}italic_β / italic_H start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT versus α𝛼\alphaitalic_α over the four parameters v0subscriptsuperscript𝑣0v^{\prime}_{0}italic_v start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT, Msuperscript𝑀M^{\prime}italic_M start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT, λsuperscript𝜆\lambda^{\prime}italic_λ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT, C𝐶Citalic_C and for the three values N=1,3,5superscript𝑁135N^{\prime}=1,3,5italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = 1 , 3 , 5. The results are shown in the three panels in Fig. 1. The shadowed regions for α>0.6𝛼0.6\alpha>0.6italic_α > 0.6 indicate that in this regime there are no firm results from numerical simulations and for this reason we do not show benchmark points for such high values of α𝛼\alphaitalic_α. We also highlight benchmark points for which we show the GW spectrum in Fig. 2 and Fig. 3 for values of the parameters showed in the two tables.

Refer to caption
Figure 1: Scatter plot in the plane β/H𝛽subscript𝐻\beta/H_{\star}italic_β / italic_H start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT versus α𝛼\alphaitalic_α over the four parameters v0subscriptsuperscript𝑣0v^{\prime}_{0}italic_v start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT, Msuperscript𝑀M^{\prime}italic_M start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT, λsuperscript𝜆\lambda^{\prime}italic_λ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT, C𝐶Citalic_C and for the three values N=1,3,5superscript𝑁135N^{\prime}=1,3,5italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = 1 , 3 , 5 corresponding to the three panels. The shadowed region indicates that for α0.6greater-than-or-equivalent-to𝛼0.6\alpha\gtrsim 0.6italic_α ≳ 0.6 we do not have a reliable expression for the GW spectrum. In the first panel, for N=1superscript𝑁1N^{\prime}=1italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = 1, the diamond, lower and upper triangles indicate the three benchmark points in Table 1. The diamond in the first panel, the square in the second panel and the circle in the third panel indicate the three benchmark points in Table 2.
B.P. Nsuperscript𝑁N^{\prime}italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT λsuperscript𝜆\lambda^{\prime}italic_λ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT v0subscriptsuperscript𝑣0v^{\prime}_{0}italic_v start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT/keV Msuperscript𝑀M^{\prime}italic_M start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT/keV C𝐶Citalic_C/keV α𝛼\alphaitalic_α ανDsubscript𝛼𝜈D\alpha_{\nu{\rm D}}italic_α start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT κνDsubscript𝜅𝜈D\kappa_{\nu{\rm D}}italic_κ start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT β/H𝛽subscript𝐻\beta/H_{\star}italic_β / italic_H start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT Tsubscript𝑇T_{\star}italic_T start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT/keV vwsubscript𝑣wv_{\rm w}italic_v start_POSTSUBSCRIPT roman_w end_POSTSUBSCRIPT ΥΥ\Upsilonroman_Υ
\CircledA 1 0.00130.00130.00130.0013 54.8554.8554.8554.85 16.0816.0816.0816.08 0.960.960.960.96 0.450.450.450.45 2.062.062.062.06 0.740.740.740.74 423.93423.93423.93423.93 276.70276.70276.70276.70 0.960.960.960.96 0.0140.0140.0140.014
\CircledB 1 0.0010.0010.0010.001 71.071.071.071.0 20.020.020.020.0 0.750.750.750.75 0.520.520.520.52 2.402.402.402.40 0.740.740.740.74 424.0424.0424.0424.0 240.58240.58240.58240.58 0.970.970.970.97 0.0130.0130.0130.013
\CircledC 1 0.0010.0010.0010.001 83.083.083.083.0 23.023.023.023.0 1.701.701.701.70 0.600.600.600.60 2.622.622.622.62 0.750.750.750.75 399.73399.73399.73399.73 515.11515.11515.11515.11 0.970.970.970.97 0.0130.0130.0130.013
\CircledD 1 0.0010.0010.0010.001 144.0144.0144.0144.0 40.040.040.040.0 3.03.03.03.0 0.590.590.590.59 2.562.562.562.56 0.750.750.750.75 393.63393.63393.63393.63 888.35888.35888.35888.35 0.970.970.970.97 0.0130.0130.0130.013
Table 1: Benchmark points for GW signals from first order phase transition of ϕsuperscriptitalic-ϕ\phi^{\prime}italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT for N=1superscript𝑁1N^{\prime}=1italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = 1.
Refer to caption
Figure 2: Left: GW spectrum at NANOGrav for N=1superscript𝑁1N^{\prime}=1italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = 1 and different α𝛼\alphaitalic_α. Right: Strain spectrum compared to best fit from NANOGrav 15-yr data. Benchmark points are given in Table 1.
B.P. Nsuperscript𝑁N^{\prime}italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT λsuperscript𝜆\lambda^{\prime}italic_λ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT v0subscriptsuperscript𝑣0v^{\prime}_{0}italic_v start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT/keV Msuperscript𝑀M^{\prime}italic_M start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT/keV C𝐶Citalic_C/keV α𝛼\alphaitalic_α ανDsubscript𝛼𝜈D\alpha_{\nu{\rm D}}italic_α start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT κνDsubscript𝜅𝜈D\kappa_{\nu{\rm D}}italic_κ start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT β/H𝛽subscript𝐻\beta/H_{\star}italic_β / italic_H start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT Tsubscript𝑇T_{\star}italic_T start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT/keV vwsubscript𝑣wv_{\rm w}italic_v start_POSTSUBSCRIPT roman_w end_POSTSUBSCRIPT ΥΥ\Upsilonroman_Υ
\CircledB 1 0.0010.0010.0010.001 71.071.071.071.0 20.020.020.020.0 0.750.750.750.75 0.520.520.520.52 2.402.402.402.40 0.740.740.740.74 424.0424.0424.0424.0 240.58240.58240.58240.58 0.970.970.970.97 0.0130.0130.0130.013
\CircledE 3 0.0010.0010.0010.001 129.0129.0129.0129.0 29.029.029.029.0 1.201.201.201.20 0.590.590.590.59 2.092.092.092.09 0.710.710.710.71 420.93420.93420.93420.93 262.61262.61262.61262.61 0.960.960.960.96 0.0130.0130.0130.013
\CircledF 5 0.00130.00130.00130.0013 86.786.786.786.7 14.1814.1814.1814.18 0.870.870.870.87 0.590.590.590.59 1.871.871.871.87 0.690.690.690.69 463.13463.13463.13463.13 218.65218.65218.65218.65 0.960.960.960.96 0.0120.0120.0120.012
Table 2: Benchmark points for phase transition of ϕsuperscriptitalic-ϕ\phi^{\prime}italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT with N=1,3,5superscript𝑁135N^{\prime}=1,3,5italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = 1 , 3 , 5, respectively.
Refer to caption
Figure 3: Left: GW spectrum at NANOGrav with different Nsuperscript𝑁N^{\prime}italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT. Right: Strain spectrum compared to best fit from NANOGrav 15-yr data. Benchmark points are given in Table 2.

The left panel of Fig. 2 shows four GW spectra, corresponding to the four benchmark points in Table 1, peaking in the frequency range probed by NANOGrav for N=1superscript𝑁1N^{\prime}=1italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = 1. The peak amplitude of the signals are comparable, while the peak frequency shifts. In Fig. 3, we show two more benchmark points \CircledE and \CircledF, for N=3superscript𝑁3N^{\prime}=3italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = 3 and N=5superscript𝑁5N^{\prime}=5italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = 5 respectively. The resulting spectra is very similar to the benchmark point \CircledB, showing that the maximum GW signal that can be achieved in this model in the NANOGrav frequencies is somewhat independent of Nsuperscript𝑁N^{\prime}italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT. In these plots we have shown the sensitivity of some interferometers (SKA [101], THEIA [102]) in the relevant frequency range with green shaded regions, and the recent NANOGrav [1, 4] and EPTA [103, 104] results with blue and orange violins. These represent the symmetrical representations of the 1D marginalized posterior probability density distributions of the GW energy density at each sampling frequency of the NANOGrav 15-yr and EPTA [104] data, respectively. We have also shown the baseline signal expected from supermassive black hole binaries (SMBHB), modeling their GW spectrum as a power-law fit following Ref. [4], where the dashed line shows the best fit and the bands correspond to 2σ2𝜎2\sigma2 italic_σ deviations. Our model predicts larger amplitude than the worst case scenario of the baseline SMBHB model.

In the right panel of Figs. 2 and 3 we show the dimensionless strain hc(f)subscript𝑐𝑓h_{c}(f)italic_h start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT ( italic_f ) of the GW signals, given by

hc(f)=302ΩGW(f)2π2f2,subscript𝑐𝑓3superscriptsubscript02subscriptΩGW𝑓2superscript𝜋2superscript𝑓2\displaystyle h_{c}(f)=\sqrt{\frac{3\mathcal{H}_{0}^{2}\ \Omega_{\rm GW}(f)}{2% \pi^{2}f^{2}}},italic_h start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT ( italic_f ) = square-root start_ARG divide start_ARG 3 caligraphic_H start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Ω start_POSTSUBSCRIPT roman_GW end_POSTSUBSCRIPT ( italic_f ) end_ARG start_ARG 2 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_f start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG , (49)

where 068subscript068\mathcal{H}_{0}\approx 68caligraphic_H start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ≈ 68 km/s/Mpc is today’s Hubble rate. We compare the results with the spectral slope β=dloghc(f)/dlogf𝛽𝑑subscript𝑐𝑓𝑑𝑓\beta={d\log h_{c}(f)}/{d\log f}italic_β = italic_d roman_log italic_h start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT ( italic_f ) / italic_d roman_log italic_f modeling the NANOGrav strain spectrum with a simple power law of the form hc(f)=AGW(f/fPTA)βsubscript𝑐𝑓subscript𝐴GWsuperscript𝑓subscript𝑓PTA𝛽h_{c}(f)=A_{\rm GW}(f/f_{\rm PTA})^{\beta}italic_h start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT ( italic_f ) = italic_A start_POSTSUBSCRIPT roman_GW end_POSTSUBSCRIPT ( italic_f / italic_f start_POSTSUBSCRIPT roman_PTA end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT. Expressing β𝛽\betaitalic_β in terms of another parameter γGW=32βsubscript𝛾GW32𝛽\gamma_{\rm GW}=3-2\betaitalic_γ start_POSTSUBSCRIPT roman_GW end_POSTSUBSCRIPT = 3 - 2 italic_β, the 1σ1𝜎1\sigma1 italic_σ fit to NANOGrav 15-yr data gives γGW3.2±0.6similar-to-or-equalssubscript𝛾GWplus-or-minus3.20.6\gamma_{\rm GW}\simeq 3.2\pm 0.6italic_γ start_POSTSUBSCRIPT roman_GW end_POSTSUBSCRIPT ≃ 3.2 ± 0.6 around f1/(10yr)similar-to𝑓110yrf\sim 1/(10\rm yr)italic_f ∼ 1 / ( 10 roman_y roman_r ) [1]. This favorable range is shown with bands superimposed on our strain plot. We find that the spectral tilt of the phase transition signal is in tension in some range of the frequency band probed by NANOGrav.

5 Final remarks

Let us draw some final remarks on the results we obtained and how these can be further extended and improved.

  • Our results are compatible with those presented in [64]. The differences can be mainly understood in terms of the different expression we are using to describe the GW spectrum from sound waves, the Eq. (30). This supersedes the expression used in [64] based on [65]. The suppression factor taking into account the shorter duration of the stage of GW production compared to the duration of the phase transition is somehow compensated by the fact that the new expression we are using is extended to higher values of α𝛼\alphaitalic_α. However, our description of bubble velocity in terms of Jouguet solutions should be clearly replaced by a more advanced one taking into account friction though we expect slight changes since the GW spectrum scales just linearly with vwsubscript𝑣wv_{\rm w}italic_v start_POSTSUBSCRIPT roman_w end_POSTSUBSCRIPT. Another important difference is that compared to [65] the peak frequency is more than halved for the same values of all relevant parameters such as Tsubscript𝑇T_{\star}italic_T start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT.151515This is because the value of the coefficient κ𝜅\kappaitalic_κ in [65] is taken 2/31.2similar-to-or-equals231.22/\sqrt{3}\simeq 1.22 / square-root start_ARG 3 end_ARG ≃ 1.2. This explains why we obtain higher values of T100keVsimilar-tosubscriptsuperscript𝑇100keVT^{\prime}_{\star}\sim 100\,{\rm keV}italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT ∼ 100 roman_keV for the peak value to be in the nHz range spanned by the NANOGrav signal. Also, notice that we have improved the calculation of the GW spectrum taking properly into account the different temperature of the dark sector and calculating the efficiency in terms of ανDsubscript𝛼𝜈D\alpha_{\nu{\rm D}}italic_α start_POSTSUBSCRIPT italic_ν roman_D end_POSTSUBSCRIPT rather than α𝛼\alphaitalic_α.

  • The peak amplitude we find is at most h2Ωgw(f)1011similar-tosuperscript2subscriptΩgw𝑓superscript1011h^{2}\Omega_{\rm gw}(f)\sim 10^{-11}italic_h start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Ω start_POSTSUBSCRIPT roman_gw end_POSTSUBSCRIPT ( italic_f ) ∼ 10 start_POSTSUPERSCRIPT - 11 end_POSTSUPERSCRIPT at the NANOGrav frequencies and cannot reproduce the whole NANOGrav signal. However, it can help the contribution from SMBHBs to improve the fit, one of the two options for the presence of new physics suggested by the NANOGrav collaboration analysis. This is certainly sufficient to make our results interesting, also considering that the model we studied is independently motivated by the cosmological tensions. Clearly, it would be interesting to perform a statistical analysis to find the best fit parameters in our model and to quantify the statistical significance.

  • The possibility to have a higher peak amplitude, corresponding to ξ1much-greater-than𝜉1\xi\gg 1italic_ξ ≫ 1, cannot be excluded but from current results from numerical simulations it seems unlikely. We just notice that increasing the value of Nsuperscript𝑁N^{\prime}italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT, values of α𝛼\alphaitalic_α higher than 0.6 are possible and since firm predictions are missing for such strong first order transitions, one cannot exclude large enhancement coming, for example, from not yet understood contribution from turbulence. A specific account of the effect of small fluctuations within our model might also offer potentially a way to obtain ξ1much-greater-than𝜉1\xi\gg 1italic_ξ ≫ 1.

  • The values T100keVsimilar-tosubscriptsuperscript𝑇100keVT^{\prime}_{\star}\sim 100\,{\rm keV}italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT ∼ 100 roman_keV that we found in our solutions that enter the NANOGrav frequency range, imply ΔNν0.4similar-to-or-equalsΔsubscript𝑁𝜈0.4\Delta N_{\nu}\simeq 0.4roman_Δ italic_N start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ≃ 0.4 at the time of nucleosynthesis, for N=1superscript𝑁1N^{\prime}=1italic_N start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = 1. This is in marginal agreement with the constraint Eq. (17) from primordial deuterium measurements but it can be fully reconciled just simply assuming extra degrees of freedom in the dark sector (Δg0Δ𝑔0\Delta g\neq 0roman_Δ italic_g ≠ 0). On the other hand, such an amount of dark radiation at the time of nucleosynthesis might be even beneficial to solve a potential deuterium problem. Actually if such a deviation from SBBN should be confirmed, this would provide quite a strong support to the model. Moreover, as discussed, the same amount of dark radiation at recombination can ameliorate the cosmological tensions. In this respect a dedicated analysis within our model would be certainly desirable.

  • One could think to explore a scenario with T1MeVmuch-greater-thansubscriptsuperscript𝑇1MeVT^{\prime}_{\star}\gg 1\,{\rm MeV}italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ⋆ end_POSTSUBSCRIPT ≫ 1 roman_MeV, with a massive majoron Jsuperscript𝐽J^{\prime}italic_J start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT quickly decaying before big bang nucleosynthesis thus avoiding all cosmological constraints [73, 74]. This would require an extension of the model introducing explicit symmetry breaking terms giving mass to Jsuperscript𝐽J^{\prime}italic_J start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT. However, it has been noticed that the introduction of these terms leading to a majoron mass larger than about 1 eV would actually jeopardise the occurrence of a first order phase transition [64]. For this reason this possibility does not seem viable, since the decay rate of extremely ultra-relativistic particles is strongly suppressed.

  • Finally, let us comment on the possibility to add to the tree level potential in Eq. (2) a usual Higgs portal interaction of the form λΦϕ|Φ|2|ϕ|2subscript𝜆Φsuperscriptitalic-ϕsuperscriptΦ2superscriptsuperscriptitalic-ϕ2\lambda_{\Phi\phi^{\prime}}|\Phi|^{2}\,|\phi^{\prime}|^{2}italic_λ start_POSTSUBSCRIPT roman_Φ italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT | roman_Φ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. This is not forbidden by the U(1)L𝑈subscript1𝐿U(1)_{L}italic_U ( 1 ) start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT symmetry and it is potentially interesting since one could directly consider the Higgs as the auxiliary scalar field needed to enhance the strength of the ϕsuperscriptitalic-ϕ\phi^{\prime}italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT phase transition instead of ϕitalic-ϕ\phiitalic_ϕ, making the model more minimal. However, it is easy to see that such a possibility is excluded by the constraints on the Higgs invisible decay width [105, 106] that place an upper bound λΦϕ0.03less-than-or-similar-tosubscript𝜆Φsuperscriptitalic-ϕ0.03\lambda_{\Phi\phi^{\prime}}\lesssim 0.03italic_λ start_POSTSUBSCRIPT roman_Φ italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ≲ 0.03 [107, 108]. If we write the Higgs potential as V0SM(Φ)=μew2|Φ|2+λew|Φ|4superscriptsubscript𝑉0SMΦsubscriptsuperscript𝜇2ewsuperscriptΦ2subscript𝜆ewsuperscriptΦ4V_{0}^{\rm SM}(\Phi)=-\mu^{2}_{\rm ew}\,|\Phi|^{2}+\lambda_{\rm ew}|\Phi|^{4}italic_V start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_SM end_POSTSUPERSCRIPT ( roman_Φ ) = - italic_μ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_ew end_POSTSUBSCRIPT | roman_Φ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_λ start_POSTSUBSCRIPT roman_ew end_POSTSUBSCRIPT | roman_Φ | start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT, then vew=μew2/(2λew)174GeVsubscript𝑣ewsubscriptsuperscript𝜇2ew2subscript𝜆ewsimilar-to-or-equals174GeVv_{\rm ew}=-\mu^{2}_{\rm ew}/(2\lambda_{\rm ew})\simeq 174\,{\rm GeV}italic_v start_POSTSUBSCRIPT roman_ew end_POSTSUBSCRIPT = - italic_μ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_ew end_POSTSUBSCRIPT / ( 2 italic_λ start_POSTSUBSCRIPT roman_ew end_POSTSUBSCRIPT ) ≃ 174 roman_GeV. Expanding ΦΦ\Phiroman_Φ about the electroweak VEV, one has |Φ|=(0,vew+h/2)TΦsuperscript0subscript𝑣ew2𝑇|\Phi|=(0,v_{\rm ew}+h/\sqrt{2})^{T}| roman_Φ | = ( 0 , italic_v start_POSTSUBSCRIPT roman_ew end_POSTSUBSCRIPT + italic_h / square-root start_ARG 2 end_ARG ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT, where hhitalic_h is the Higgs boson field with mass mh=2λewveq125GeVsubscript𝑚2subscript𝜆ewsubscript𝑣eqsimilar-to-or-equals125GeVm_{h}=2\sqrt{\lambda_{\rm ew}}\,v_{\rm eq}\simeq 125\,{\rm GeV}italic_m start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT = 2 square-root start_ARG italic_λ start_POSTSUBSCRIPT roman_ew end_POSTSUBSCRIPT end_ARG italic_v start_POSTSUBSCRIPT roman_eq end_POSTSUBSCRIPT ≃ 125 roman_GeV, so that one has λew=mh2/(4vew2)0.13subscript𝜆ewsubscriptsuperscript𝑚24subscriptsuperscript𝑣2ewsimilar-to-or-equals0.13\lambda_{\rm ew}=m^{2}_{h}/(4\,v^{2}_{\rm ew})\simeq 0.13italic_λ start_POSTSUBSCRIPT roman_ew end_POSTSUBSCRIPT = italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT / ( 4 italic_v start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_ew end_POSTSUBSCRIPT ) ≃ 0.13. After electroweak symmetry breaking, the Higgs portal term would give an additional contribution to the zero temperature cubic term C𝐶Citalic_C given by

    CΦ=λΦϕ2v02λew0.35keVv0100keV.subscript𝐶Φsuperscriptsubscript𝜆Φsuperscriptitalic-ϕ2superscriptsubscript𝑣02subscript𝜆ewless-than-or-similar-to0.35keVsuperscriptsubscript𝑣0100keVC_{\Phi}={\lambda_{\Phi\phi^{\prime}}^{2}\,v_{0}^{\prime}\over 2\lambda_{\rm ew% }}\lesssim 0.35\,{\rm keV}\,{v_{0}^{\prime}\over 100\,{\rm keV}}\,.italic_C start_POSTSUBSCRIPT roman_Φ end_POSTSUBSCRIPT = divide start_ARG italic_λ start_POSTSUBSCRIPT roman_Φ italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_λ start_POSTSUBSCRIPT roman_ew end_POSTSUBSCRIPT end_ARG ≲ 0.35 roman_keV divide start_ARG italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG start_ARG 100 roman_keV end_ARG . (50)

    If this is compared to the values of C𝐶Citalic_C obtained for the benchmark points, it seems that this contribution is sub-dominant. However, since it is only marginally sub-dominant, it would be certainly interesting to explore in more detail the very attractive possibility that the NANOGrav signal might have some connection with a potential contribution of majorons to the Higgs invisible decay width that should be discovered at colliders.

In conclusion the split majoron model is an appealing possibility to address part of the NANOGrav signal and the cosmological tensions, including, potentially, the deuterium problem. Moreover, it can have connections with other different phenomenologies. In any case it is certainly a clear example of how, with the evidence of a GW cosmological background from NANAOGrav, GWs have opened a new era in our quest of new physics. This should certainly alleviate the regret for the non-evidence of new physics at the LHC (at least so far).

Acknowledgments

We acknowledge financial support from the STFC Consolidated Grant ST/T000775/1. We also would like to thank David Weir for many useful discussions.

References

  • [1] NANOGrav collaboration, The NANOGrav 15 yr Data Set: Evidence for a Gravitational-wave Background, Astrophys. J. Lett. 951 (2023) L8 [2306.16213].
  • [2] NANOGrav collaboration, The NANOGrav 12.5 yr Data Set: Search for an Isotropic Stochastic Gravitational-wave Background, Astrophys. J. Lett. 905 (2020) L34 [2009.04496].
  • [3] NANOGrav collaboration, Searching for Gravitational Waves from Cosmological Phase Transitions with the NANOGrav 12.5-Year Dataset, Phys. Rev. Lett. 127 (2021) 251302 [2104.13930].
  • [4] NANOGrav collaboration, The NANOGrav 15 yr Data Set: Search for Signals from New Physics, Astrophys. J. Lett. 951 (2023) L11 [2306.16219].
  • [5] R.w. Hellings and G.s. Downs, UPPER LIMITS ON THE ISOTROPIC GRAVITATIONAL RADIATION BACKGROUND FROM PULSAR TIMING ANALYSIS, Astrophys. J. Lett. 265 (1983) L39.
  • [6] Z. Yi, Q. Gao, Y. Gong, Y. Wang and F. Zhang, The waveform of the scalar induced gravitational waves in light of Pulsar Timing Array data, 2307.02467.
  • [7] Y.-T. Kuang, J.-Z. Zhou, Z. Chang, X. Zhang and Q.-H. Zhu, Primordial black holes from second order density perturbations as probes of the small-scale primordial power spectrum, 2307.02067.
  • [8] D.G. Figueroa, M. Pieroni, A. Ricciardone and P. Simakachorn, Cosmological Background Interpretation of Pulsar Timing Array Data, 2307.02399.
  • [9] C. Unal, A. Papageorgiou and I. Obata, Axion-Gauge Dynamics During Inflation as the Origin of Pulsar Timing Array Signals and Primordial Black Holes, 2307.02322.
  • [10] K.T. Abe and Y. Tada, Translating nano-Hertz gravitational wave background into primordial perturbations taking account of the cosmological QCD phase transition, 2307.01653.
  • [11] G. Cacciapaglia, D.Y. Cheong, A. Deandrea, W. Isnard and S.C. Park, Composite Hybrid Inflation: Dilaton and Waterfall Pions, 2307.01852.
  • [12] L.A. Anchordoqui, I. Antoniadis and D. Lust, Fuzzy Dark Matter, the Dark Dimension, and the Pulsar Timing Array Signal, 2307.01100.
  • [13] S.-P. Li and K.-P. Xie, A collider test of nano-Hertz gravitational waves from pulsar timing arrays, 2307.01086.
  • [14] Y. Xiao, J.M. Yang and Y. Zhang, Implications of Nano-Hertz Gravitational Waves on Electroweak Phase Transition in the Singlet Dark Matter Model, 2307.01072.
  • [15] B.-Q. Lu and C.-W. Chiang, Nano-Hertz stochastic gravitational wave background from domain wall annihilation, 2307.00746.
  • [16] C. Zhang, N. Dai, Q. Gao, Y. Gong, T. Jiang and X. Lu, Detecting new fundamental fields with Pulsar Timing Arrays, 2307.01093.
  • [17] R.A. Konoplya and A. Zhidenko, Asymptotic tails of massive gravitons in light of pulsar timing array observations, 2307.01110.
  • [18] D. Chowdhury, G. Tasinato and I. Zavala, Dark energy, D-branes, and Pulsar Timing Arrays, 2307.01188.
  • [19] X. Niu and M.H. Rahat, NANOGrav signal from axion inflation, 2307.01192.
  • [20] L. Liu, Z.-C. Chen and Q.-G. Huang, Implications for the non-Gaussianity of curvature perturbation from pulsar timing arrays, 2307.01102.
  • [21] J.R. Westernacher-Schneider, J. Zrake, A. MacFadyen and Z. Haiman, Characteristic signatures of accreting binary black holes produced by eccentric minidisks, 2307.01154.
  • [22] Y. Gouttenoire, S. Trifinopoulos, G. Valogiannis and M. Vanvlasselaer, Scrutinizing the Primordial Black Holes Interpretation of PTA Gravitational Waves and JWST Early Galaxies, 2307.01457.
  • [23] T. Ghosh, A. Ghoshal, H.-K. Guo, F. Hajkarim, S.F. King, K. Sinha et al., Did we hear the sound of the Universe boiling? Analysis using the full fluid velocity profiles and NANOGrav 15-year data, 2307.02259.
  • [24] S. Datta, Inflationary gravitational waves, pulsar timing data and low-scale-leptogenesis, 2307.00646.
  • [25] D. Borah, S. Jyoti Das and R. Samanta, Inflationary origin of gravitational waves with \textitMiracle-less WIMP dark matter in the light of recent PTA results, 2307.00537.
  • [26] B. Barman, D. Borah, S. Jyoti Das and I. Saha, Scale of Dirac leptogenesis and left-right symmetry in the light of recent PTA results, 2307.00656.
  • [27] Y.-C. Bi, Y.-M. Wu, Z.-C. Chen and Q.-G. Huang, Implications for the Supermassive Black Hole Binaries from the NANOGrav 15-year Data Set, 2307.00722.
  • [28] S. Wang, Z.-C. Zhao, J.-P. Li and Q.-H. Zhu, Exploring the Implications of 2023 Pulsar Timing Array Datasets for Scalar-Induced Gravitational Waves and Primordial Black Holes, 2307.00572.
  • [29] T. Broadhurst, C. Chen, T. Liu and K.-F. Zheng, Binary Supermassive Black Holes Orbiting Dark Matter Solitons: From the Dual AGN in UGC4211 to NanoHertz Gravitational Waves, 2306.17821.
  • [30] A. Yang, J. Ma, S. Jiang and F.P. Huang, Implication of nano-Hertz stochastic gravitational wave on dynamical dark matter through a first-order phase transition, 2306.17827.
  • [31] A. Eichhorn, R.R. Lino dos Santos and J.a.L. Miqueleto, From quantum gravity to gravitational waves through cosmic strings, 2306.17718.
  • [32] H.-L. Huang, Y. Cai, J.-Q. Jiang, J. Zhang and Y.-S. Piao, Supermassive primordial black holes in multiverse: for nano-Hertz gravitational wave and high-redshift JWST galaxies, 2306.17577.
  • [33] Y. Gouttenoire and E. Vitagliano, Domain wall interpretation of the PTA signal confronting black hole overproduction, 2306.17841.
  • [34] Y.-F. Cai, X.-C. He, X. Ma, S.-F. Yan and G.-W. Yuan, Limits on scalar-induced gravitational waves from the stochastic background by pulsar timing array observations, 2306.17822.
  • [35] K. Inomata, K. Kohri and T. Terada, The Detected Stochastic Gravitational Waves and Sub-Solar Primordial Black Holes, 2306.17834.
  • [36] G. Lazarides, R. Maji and Q. Shafi, Superheavy quasi-stable strings and walls bounded by strings in the light of NANOGrav 15 year data, 2306.17788.
  • [37] P.F. Depta, K. Schmidt-Hoberg and C. Tasillo, Do pulsar timing arrays observe merging primordial black holes?, 2306.17836.
  • [38] S. Blasi, A. Mariotti, A. Rase and A. Sevrin, Axionic domain walls at Pulsar Timing Arrays: QCD bias and particle friction, 2306.17830.
  • [39] L. Bian, S. Ge, J. Shu, B. Wang, X.-Y. Yang and J. Zong, Gravitational wave sources for Pulsar Timing Arrays, 2307.02376.
  • [40] G. Franciolini, D. Racco and F. Rompineve, Footprints of the QCD Crossover on Cosmological Gravitational Waves at Pulsar Timing Arrays, 2306.17136.
  • [41] Z.-Q. Shen, G.-W. Yuan, Y.-Y. Wang and Y.-Z. Wang, Dark Matter Spike surrounding Supermassive Black Holes Binary and the nanohertz Stochastic Gravitational Wave Background, 2306.17143.
  • [42] G. Lambiase, L. Mastrototaro and L. Visinelli, Astrophysical neutrino oscillations after pulsar timing array analyses, 2306.16977.
  • [43] C. Han, K.-P. Xie, J.M. Yang and M. Zhang, Self-interacting dark matter implied by nano-Hertz gravitational waves, 2306.16966.
  • [44] S.-Y. Guo, M. Khlopov, X. Liu, L. Wu, Y. Wu and B. Zhu, Footprints of Axion-Like Particle in Pulsar Timing Array Data and JWST Observations, 2306.17022.
  • [45] Z. Wang, L. Lei, H. Jiao, L. Feng and Y.-Z. Fan, The nanohertz stochastic gravitational-wave background from cosmic string Loops and the abundant high redshift massive galaxies, 2306.17150.
  • [46] J. Ellis, M. Lewicki, C. Lin and V. Vaskonen, Cosmic Superstrings Revisited in Light of NANOGrav 15-Year Data, 2306.17147.
  • [47] S. Vagnozzi, Inflationary interpretation of the stochastic gravitational wave background signal detected by pulsar timing array experiments, 2306.16912.
  • [48] K. Fujikura, S. Girmohanta, Y. Nakai and M. Suzuki, NANOGrav Signal from a Dark Conformal Phase Transition, 2306.17086.
  • [49] N. Kitajima, J. Lee, K. Murai, F. Takahashi and W. Yin, Nanohertz Gravitational Waves from Axion Domain Walls Coupled to QCD, 2306.17146.
  • [50] G. Franciolini, A. Iovino, Junior., V. Vaskonen and H. Veermae, The recent gravitational wave observation by pulsar timing arrays and primordial black holes: the importance of non-gaussianities, 2306.17149.
  • [51] E. Megias, G. Nardini and M. Quiros, Pulsar Timing Array Stochastic Background from light Kaluza-Klein resonances, 2306.17071.
  • [52] J. Ellis, M. Fairbairn, G. Hütsi, J. Raidal, J. Urrutia, V. Vaskonen et al., Gravitational Waves from SMBH Binaries in Light of the NANOGrav 15-Year Data, 2306.17021.
  • [53] Y. Bai, T.-K. Chen and M. Korwar, QCD-Collapsed Domain Walls: QCD Phase Transition and Gravitational Wave Spectroscopy, 2306.17160.
  • [54] J. Yang, N. Xie and F.P. Huang, Nano-Hertz stochastic gravitational wave background as hints of ultralight axion particles, 2306.17113.
  • [55] A. Ghoshal and A. Strumia, Probing the Dark Matter density with gravitational waves from super-massive binary black holes, 2306.17158.
  • [56] H. Deng, B. Bécsy, X. Siemens, N.J. Cornish and D.R. Madison, Searching for gravitational wave burst in PTA data with piecewise linear functions, 2306.17130.
  • [57] P. Athron, A. Fowlie, C.-T. Lu, L. Morris, L. Wu, Y. Wu et al., Can Supercooled Phase Transitions explain the Gravitational Wave Background observed by Pulsar Timing Arrays?, 2306.17239.
  • [58] A. Addazi, Y.-F. Cai, A. Marciano and L. Visinelli, Have pulsar timing array methods detected a cosmological phase transition?, 2306.17205.
  • [59] V.K. Oikonomou, Flat Energy Spectrum of Primordial Gravitational Waves vs Peaks and the NANOGrav 2023 Observation, 2306.17351.
  • [60] N. Kitajima and K. Nakayama, Nanohertz gravitational waves from cosmic strings and dark photon dark matter, 2306.17390.
  • [61] A. Mitridate, D. Wright, R. von Eckardstein, T. Schröder, J. Nay, K. Olum et al., PTArcade, 2306.16377.
  • [62] S.F. King, D. Marfatia and M.H. Rahat, Towards distinguishing Dirac from Majorana neutrino mass with gravitational waves, 2306.05389.
  • [63] J. Liu, Distinguishing nanohertz gravitational wave sources through the observations of ultracompact minihalos, 2305.15100.
  • [64] P. Di Bari, D. Marfatia and Y.-L. Zhou, Gravitational waves from first-order phase transitions in Majoron models of neutrino mass, JHEP 10 (2021) 193 [2106.00025].
  • [65] C. Caprini et al., Science with the space-based interferometer eLISA. II: Gravitational waves from cosmological phase transitions, JCAP 04 (2016) 001 [1512.06239].
  • [66] D. Cutting, M. Hindmarsh and D.J. Weir, Vorticity, kinetic energy, and suppressed gravitational wave production in strong first order phase transitions, Phys. Rev. Lett. 125 (2020) 021302 [1906.00480].
  • [67] P. Di Bari, S.F. King and M.H. Rahat, Gravitational waves from phase transitions and cosmic strings in neutrino mass models with multiple Majorons, 2306.04680.
  • [68] Y. Chikashige, R.N. Mohapatra and R.D. Peccei, Are There Real Goldstone Bosons Associated with Broken Lepton Number?, Phys. Lett. B 98 (1981) 265.
  • [69] P. Di Bari, Cosmology and the early Universe, Series in Astronomy and Astrophysics, CRC Press (5, 2018).
  • [70] B.D. Fields, K.A. Olive, T.-H. Yeh and C. Young, Big-Bang Nucleosynthesis after Planck, JCAP 03 (2020) 010 [1912.01132].
  • [71] O. Pisanti, G. Mangano, G. Miele and P. Mazzella, Primordial Deuterium after LUNA: concordances and error budget, JCAP 04 (2021) 020 [2011.11537].
  • [72] Planck collaboration, Planck 2018 results. VI. Cosmological parameters, Astron. Astrophys. 641 (2020) A6 [1807.06209].
  • [73] M. Fairbairn, E. Hardy and A. Wickens, Hearing without seeing: gravitational waves from hot and cold hidden sectors, JHEP 07 (2019) 044 [1901.11038].
  • [74] T. Bringmann, P.F. Depta, T. Konstandin, K. Schmidt-Hoberg and C. Tasillo, Does NANOGrav observe a dark sector phase transition?, 2306.09411.
  • [75] Z. Chacko, L.J. Hall, T. Okui and S.J. Oliver, CMB signals of neutrino mass generation, Phys. Rev. D 70 (2004) 085008 [hep-ph/0312267].
  • [76] M. Escudero and S.J. Witte, A CMB search for the neutrino mass mechanism and its relation to the Hubble tension, Eur. Phys. J. C 80 (2020) 294 [1909.04044].
  • [77] M. Escudero and S.J. Witte, The hubble tension as a hint of leptogenesis and neutrino mass generation, Eur. Phys. J. C 81 (2021) 515 [2103.03249].
  • [78] M. Cielo, M. Escudero, G. Mangano and O. Pisanti, Neff in the Standard Model at NLO is 3.043, 2306.05460.
  • [79] N. Blinov and G. Marques-Tavares, Interacting radiation after Planck and its implications for the Hubble Tension, JCAP 09 (2020) 029 [2003.08387].
  • [80] N. Schöneberg, G. Franco Abellán, A. Pérez Sánchez, S.J. Witte, V. Poulin and J. Lesgourgues, The H0 Olympics: A fair ranking of proposed models, Phys. Rept. 984 (2022) 1 [2107.10291].
  • [81] S. Sandner, M. Escudero and S.J. Witte, Precision CMB constraints on eV-scale bosons coupled to neutrinos, 2305.01692.
  • [82] R.J. Cooke, M. Pettini and C.C. Steidel, One Percent Determination of the Primordial Deuterium Abundance, Astrophys. J. 855 (2018) 102 [1710.11129].
  • [83] C. Pitrou, A. Coc, J.-P. Uzan and E. Vangioni, A new tension in the cosmological model from primordial deuterium?, Mon. Not. Roy. Astron. Soc. 502 (2021) 2474 [2011.11320].
  • [84] P. Di Bari, Update on neutrino mixing in the early universe, Phys. Rev. D 65 (2002) 043509 [hep-ph/0108182].
  • [85] C. Pitrou, A. Coc, J.-P. Uzan and E. Vangioni, Resolving conclusions about the early Universe requires accurate nuclear measurements, Nature Rev. Phys. 3 (2021) 231 [2104.11148].
  • [86] M. Breitbach, J. Kopp, E. Madge, T. Opferkuch and P. Schwaller, Dark, Cold, and Noisy: Constraining Secluded Hidden Sectors with Gravitational Waves, JCAP 07 (2019) 007 [1811.11175].
  • [87] C. Caprini et al., Detecting gravitational waves from cosmological phase transitions with LISA: an update, JCAP 03 (2020) 024 [1910.13125].
  • [88] M. Hindmarsh, S.J. Huber, K. Rummukainen and D.J. Weir, Shape of the acoustic gravitational wave power spectrum from a first order phase transition, Phys. Rev. D 96 (2017) 103520 [1704.05871].
  • [89] D.J. Weir, Gravitational waves from a first order electroweak phase transition: a brief review, Phil. Trans. Roy. Soc. Lond. A 376 (2018) 20170126 [1705.01783].
  • [90] M. Hindmarsh, Sound shell model for acoustic gravitational wave production at a first-order phase transition in the early Universe, Phys. Rev. Lett. 120 (2018) 071301 [1608.04735].
  • [91] P.J. Steinhardt, Relativistic Detonation Waves and Bubble Growth in False Vacuum Decay, Phys. Rev. D 25 (1982) 2074.
  • [92] J.R. Espinosa, T. Konstandin, J.M. No and G. Servant, Energy Budget of Cosmological First-order Phase Transitions, JCAP 06 (2010) 028 [1004.4187].
  • [93] J. Ellis, M. Lewicki and J.M. No, On the Maximal Strength of a First-Order Electroweak Phase Transition and its Gravitational Wave Signal, JCAP 04 (2019) 003 [1809.08242].
  • [94] H.-K. Guo, K. Sinha, D. Vagie and G. White, Phase Transitions in an Expanding Universe: Stochastic Gravitational Waves in Standard and Non-Standard Histories, JCAP 01 (2021) 001 [2007.08537].
  • [95] M. Hindmarsh, S.J. Huber, K. Rummukainen and D.J. Weir, Numerical simulations of acoustically generated gravitational waves at a first order phase transition, Phys. Rev. D 92 (2015) 123009 [1504.03291].
  • [96] M. Kamionkowski, A. Kosowsky and M.S. Turner, Gravitational radiation from first order phase transitions, Phys. Rev. D 49 (1994) 2837 [astro-ph/9310044].
  • [97] P. Auclair, C. Caprini, D. Cutting, M. Hindmarsh, K. Rummukainen, D.A. Steer et al., Generation of gravitational waves from freely decaying turbulence, JCAP 09 (2022) 029 [2205.02588].
  • [98] A. Roper Pol, S. Procacci and C. Caprini, Characterization of the gravitational wave spectrum from sound waves within the sound shell model, 2308.12943.
  • [99] M.A. Ajmi and M. Hindmarsh, Thermal suppression of bubble nucleation at first-order phase transitions in the early Universe, Phys. Rev. D 106 (2022) 023505 [2205.04097].
  • [100] R. Jinno, T. Konstandin, H. Rubira and J. van de Vis, Effect of density fluctuations on gravitational wave production in first-order phase transitions, JCAP 12 (2021) 019 [2108.11947].
  • [101] G. Janssen et al., Gravitational wave astronomy with the SKA, PoS AASKA14 (2015) 037 [1501.00127].
  • [102] Theia collaboration, Theia: Faint objects in motion or the new astrometry frontier, 1707.01348.
  • [103] EPTA collaboration, The second data release from the European Pulsar Timing Array - I. The dataset and timing analysis, Astron. Astrophys. 678 (2023) A48 [2306.16224].
  • [104] EPTA, InPTA: collaboration, The second data release from the European Pulsar Timing Array - III. Search for gravitational wave signals, Astron. Astrophys. 678 (2023) A50 [2306.16214].
  • [105] M. Aaboud et al. [ATLAS], Search for invisible Higgs boson decays in vector boson fusion at s=13𝑠13\sqrt{s}=13square-root start_ARG italic_s end_ARG = 13 TeV with the ATLAS detector, Phys. Lett. B 793 (2019), 499-519 [arXiv:1809.06682 [hep-ex]].
  • [106] A. M. Sirunyan et al. [CMS], Search for invisible decays of a Higgs boson produced through vector boson fusion in proton-proton collisions at s=𝑠absent\sqrt{s}=square-root start_ARG italic_s end_ARG = 13 TeV, Phys. Lett. B 793 (2019), 520-551 [arXiv:1809.05937 [hep-ex]].
  • [107] C. Bonilla, J. W. F. Valle and J. C. Romão, Neutrino mass and invisible Higgs decays at the LHC, Phys. Rev. D 91 (2015) no.11, 113015 [arXiv:1502.01649 [hep-ph]].
  • [108] A. Addazi, A. Marcianò, A. P. Morais, R. Pasechnik, R. Srivastava and J. W. F. Valle, Gravitational footprints of massive neutrinos and lepton number breaking, Phys. Lett. B 807 (2020), 135577 [arXiv:1909.09740 [hep-ph]].