The background is a sum over every loop that ever radiated. Count the loops of each length alive at each time, let each one emit its harmonics, redshift the waves to today and add them up; the result is a single integral over redshift. Deep in the radiation era the loop population has a closed form, and the integral gives a flat plateau whose height grows as Gμα/Γ when loops are born large.
Write the number of loops born per unit volume and time as R(ti). In Model I every loop is born with length αti, and the rate is
R(ti)=αti4A,Ar=frFξr3c~vˉr=0.54.
Here c~=0.23 is the chopping efficiency, vˉr=0.662 and ξr=0.271 describe the long strings, fr=2 removes the energy that goes into the loops' bulk motion, and F=0.1 accounts for the spread of real birth sizes. Auclair et al., 2020, Section 3.1, eqs. 3.12 to 3.16
A loop of length ℓ seen at time t was born at the time that satisfies αti−ΓGμ(t−ti)=ℓ:
ti=α+ΓGμℓ+ΓGμt,dℓdti=α+ΓGμ1.
Loops born in an interval dti occupy a length interval dℓ=(α+ΓGμ)dti today, and their density has been diluted by (ai/a)3. So
n(ℓ,t)=α+ΓGμR(ti)(a(t)a(ti))3.
In the radiation era (ai/a)3=(ti/t)3/2. Substituting ti and writing x=ℓ/t gives
n(ℓ,t)=t−4α(x+ΓGμ)5/2Ar(α+ΓGμ)3/2,x≤α,
which is eq. 3.16 of Auclair and colleagues. NANOGrav writes the same density for any era with the extra term α˙∗t∗ in the Jacobian, needed when the birth size changes with time. NANOGrav Collaboration, 2023, Section 5.4, eqs. 43 and 44
Worked example: where the 0.54 comes fromShow the answer
F/fr=0.1/1.414=0.0707 and c~vˉr/ξr3=0.23×0.662/0.0199=7.65. Their product is 0.541, the printed Ar=0.54. Dropping the Jacobian, that is using 1/α instead of 1/(α+ΓGμ), gives exactly twice the right density when α=ΓGμ; the saved failure cases of the method chapter record this.
Adding up the emission
A loop of length ℓ at time t emits power Gμ2Pn at frequency 2n/ℓ, which arrives today at f=2n/[(1+z)ℓ]. Energy in gravitational waves dilutes as (1+z)−4, and a frequency interval is stretched by (1+z). The energy density per unit frequency today is therefore
eqs. 4.4 and 4.5 of Auclair and colleagues. Auclair et al., 2020, Section 4.1 Because Cn(f)=C1(f/n)/n, one table of the fundamental C1 gives every harmonic.
The radiation-era plateau
At high frequency the integral is dominated by loops from the radiation era, where H=H0Ωr(1+z)2 and t=1/(2H). Change variables from z to x=ℓn/t:
x=f4nH0Ωr(1+z),t−4=16H04Ωr2(1+z)8.
Every power of (1+z) cancels, and Cn(f)=(8H02Ωr/f)∫nr(x)dx. The factor f cancels too: the spectrum is flat. Summing ∑nPn=Γ and integrating nr from 0 to α,
Worked example: the plateau for the Lab defaultShow the answer
With Ωr=9.1476×10−5 and h=0.678, the prefactor is (128π/9)×0.54×4.205×10−5=1.015×10−3. For Gμ=10−10 and α=0.1, Gμα/Γ=4.47×10−7, so h2Ωplateau=4.54×10−10. The Lab's harmonic sum at 25Hz reads 4.46×10−10, lower by the 1.8% of cusp power beyond the 105th harmonic. The paper prints the prefactor as about 1.02×10−2, ten times the value its own symbols give; the method chapter records this as an unresolved discrepancy and uses the symbolic form.
Where the plateau formula stops
The plateau assumes radiation domination for the whole life of the loops that contribute. At low frequency the signal comes from large loops that radiate after matter takes over, the spectrum rises into a bump, and the formula fails. For Gμ=10−10 the numerical fundamental-mode spectrum at one cycle per year is 2.43 times the plateau formula. The Lab blends the radiation and matter loop densities by the radiation share of the energy density, a teaching choice; Auclair and colleagues instead solve the one-scale model through the transition.
Lab task
In the cosmic-string Lab, drag the loop size from its default down to the smallest value while watching the dashed plateau line. The line follows the curve at high frequency for every size. Then choose Loops born tiny and compare the plateau with the small-loop limit in exercise 3.
Exercises
Derive the matter-era density nm from the same steps, using a∝t2/3.
By what factor does the large-loop plateau change between Gμ=10−10 and Gμ=10−16 at fixed α?
Show that for ϵ≪1 the plateau no longer depends on α, and evaluate it for Gμ=10−10.
The Lab's tiny-loop preset has α=10−8 and Gμ=10−10. Evaluate eq. 6.1 and compare with the Lab's 25Hz readout of 2.09×10−13.
AnswersShow the answer
(ai/a)3=(ti/t)2, so n=Amti−2t−2/[αm(αm+ΓGμ)]. Substituting ti gives nm=t−4Am(αm+ΓGμ)/[αm(x+ΓGμ)2], eq. 3.17 of the paper, with Am=0.039.
The plateau scales as Gμ, so it falls by 106=1000: from 4.54×10−10 to 4.54×10−13. In the Lab the dashed plateau line drops by three decades between the two tensions.
(1+ϵ)3/2−1≈3ϵ/2, so h2Ωplateau≈(64π/3)ArΩrh2Gμ. Loops that die almost at birth radiate all their energy at once, whatever their size. For Gμ=10−10 this is 1.52×10−13. The paper's eq. 6.5 prints the coefficient as 1.52×10−2, again ten times the symbolic value.
ϵ=10−8/(5×10−9)=2, and 1.015×10−3×(10−10/2)×(33/2−1)=2.13×10−13. Removing the 1.8% truncated cusp power gives 2.09×10−13, the Lab value. Neither limit of exercise 3 applies at ϵ=2.