A first-order transition finishes when bubbles of the new phase fill space. If the nucleation rate grows exponentially in time with rate β, the fraction of space still in the old phase falls as a double exponential, and the bubbles end up spaced by (8π)1/3ξw/β. This chapter derives both results and checks them against a synthetic record of 2803 bubbles.
Work in a small region of the universe during the transition, short enough that expansion can be ignored. Time t is measured from a reference time t∗. A bubble that nucleates at time t′ grows with constant wall speed ξw, in units of the speed of light, so its radius at a later time is ξw(t−t′). The old phase is called the false vacuum and the new one the broken phase.
Bubbles can only nucleate where false vacuum is left. Let Γ(t) be the number of bubbles nucleated per unit volume and per unit time in false vacuum. Near the end of many thermal transitions this rate rises very steeply, and a good first model is an exponential with rate β.
Γ(t)=Γ∗eβ(t−t∗)
The constant Γ∗ is the rate at the reference time. A larger β means the transition runs faster. The ratio β/H∗ compares it with the Hubble rate H∗ at that time; values from ten to a few hundred are typical in the models studied for LISA.
Pick a point. A bubble born at time t′ contains the point at time t if its centre lies within ξw(t−t′). Ignore for a moment that later bubbles cannot be born inside earlier ones, and count all "virtual" bubbles. The expected number covering the point is the rate times the volume of that sphere, integrated over birth times.
Bubble centres are scattered at random, so the number of virtual bubbles covering the point follows a Poisson distribution. The point is still in false vacuum only if that number is zero, which has probability e−I. Virtual bubbles born inside real ones would have been inside the broken phase anyway, so they do not change whether the point is covered. That is why the shortcut gives the exact answer for this model.
Real bubbles are only born in the false vacuum that is left, so the number density of bubbles at the end is nb=∫Γ(t)h(t)dt. With x=β(t−t∗) the integrand becomes exexp(−ex), whose integral over all x is exactly 1. The mean spacing is the cube root of the volume per bubble.
Worked example. Take β/H∗=50 and ξw=0.9. Then H∗R∗=2.929×0.9/50=0.0527. Bubbles are about five percent of the Hubble radius when they merge. With β/H∗=300 the same walls give H∗R∗=0.00879.
The LISA template replaces ξw by max(ξw,cs), where cs=1/3 is the sound speed of a relativistic plasma. For slow walls the fluid disturbance runs ahead at nearly sound speed, so the sound speed sets the relevant length.
nb=βΓ∗=8πξw3β3,R∗=nb−1/3=(8π)1/3βξw
This is the mean bubble separation used in the template. Its prefactor (8π)1/3=2.93 comes straight from the exponential rate; a different rate history would change it.
We generated one random realisation of this process offline, in a periodic box 40 units of ξw/β on a side, with seed 77. Bubbles are proposed with the rate above everywhere and kept only when their centre is still in false vacuum. The record keeps the 517 bubbles that cross the displayed slice.
The box should hold 403/8π=2546 bubbles on average. This realisation has 2803, ten percent more. That is not a bug: a few early bubbles grow very large, and whether one of them lands in the box changes the count. Over eight seeds the mean ratio is 0.984±0.036, consistent with 1.
The measured false-vacuum fraction of the whole box stays within 0.039 of h(t) at every sampled time. The fraction measured on the single slice scatters more, up to 0.103, because a slice samples fewer independent bubbles. The Lab plots both, labelled as synthetic, beside the analytic curve.
One synthetic Monte Carlo record (seed 77, 2803 bubbles in a periodic box of side 40vw/β). Open circles count the whole box, filled circles one slice. The line is the ensemble expectation exp[−eβ(t−t∗)] for an exponential nucleation rate and a constant wall speed. Open the full figure
At what time β(t−t∗) is exactly half of space still false vacuum?
Read the explanation
Set exp(−ex)=1/2, so ex=ln2 and x=ln(ln2)=−0.367. Half the volume converts a little before the reference time. The steepness of the double exponential means the rest goes within about two units of 1/β.
Walls move at ξw=0.4 and β/H∗=100. Find H∗R∗ with the template rule, and explain why it is larger than (8π)1/3×0.4/100.
Read the explanation
The wall is slower than sound, so the rule uses cs=0.577: H∗R∗=2.929×0.577/100=0.0169. The naive value with 0.4 would be 0.0117. For a slow wall, the plasma disturbance it pushes ahead moves near the sound speed, and that disturbance is what sets the sound-wave pattern.
A friend runs the Monte Carlo with one seed and gets 15 percent more bubbles than expected. Is the nucleation code wrong?
Read the explanation
Not necessarily. Bubbles born early grow to sizes comparable to the box, so a single box contains few independent "large" events and its count fluctuates more than a simple square-root estimate suggests. Test the code with an ensemble of seeds and compare the mean, as done here, and compare the volume fraction with h(t).
Read in the arXiv v2 LaTeX source: abstract and introduction, section 2.2.1 (sound-wave double broken power law, amplitude, mean bubble separation and redshift factors), section 3 and appendix A (two-parameter LISA noise and response) and the opening of section 5 on reconstruction. The noise equation prints the optical-metrology corner as 2e-3 mHz; our materials use 2 mHz and report both results. Figure 2 was read from its caption only.
Read the LaTeX source in two places: the sound-wave signal section (signal.tex, about lines 180 to 260) and the definition of the root-mean-square fluid velocity and kinetic-energy fraction (prelim.tex, lines 171 to 182). Used for the earlier shock-time definition only.
Our script, three fixed benchmarks, four failure cases and the expected output. It evaluates the published parametric template, the efficiency fits and the noise model; it does not solve the Einstein or fluid equations and contains no browser Engine code, paper text or LISA data.