Compact Stars and Relativistic Astrophysics

Contents
  1. White dwarfs
  2. Neutron stars
  3. Pulsars
  4. Maximum masses and radii
  5. The black-hole endpoint

A star that has exhausted its nuclear fuel can no longer hold itself up by thermal pressure, and what remains is a contest between gravity and quantum mechanics: the degeneracy pressure of fermions, first invoked for white dwarfs by Fowler [Fowler:1926], is the only cold support matter possesses, and general relativity sets a ceiling on how much of it gravity will tolerate. This chapter follows that contest through the Tolman–Oppenheimer–Volkoff equations [Tolman:1939] [Oppenheimer:1939a], the white-dwarf mass limit of Chandrasekhar [Chandrasekhar:1931], the neutron stars predicted by Baade and Zwicky [Baade:1934] and found as pulsars [Hewish:1968], up to the maximum masses and radii that pulsar timing, X-ray pulse-profile modelling and the binary merger GW170817 [Abbott:2017] now measure.

The chapter is the meeting point of three others. The stellar models whose endpoints these objects are belong to Stellar Structure and Nucleosynthesis; the field equations that govern their interiors are those of The Einstein Field Equations; and the horizon that forms when every equilibrium fails is the subject of Schwarzschild Geometry and Black Holes, with its observational record in Experiment: Black-Hole Observations. The standard monograph is [Shapiro:1983].

White dwarfs

The observational puzzle: Sirius B

The companion of Sirius was found by Bessel in 1844 from the wobble it imprints on the bright star's proper motion, and seen telescopically in 1862; its mass, from the astrometric orbit, is close to the Sun's. The surprise came in 1915, when Adams obtained its spectrum and found not the cool red star its faintness suggested but a white-hot one [Adams:1915]. A hot surface radiating so little light must be small: the Stefan–Boltzmann law forces a radius near the Earth's, and therefore a mean density of order \(10^{9}\,\mathrm{kg}/\mathrm{m}^{3}\) — matter in a state no classical equation of state allows. The gravitational redshift of Sirius B, the classical test it later furnished, is treated with the other tests in The Equivalence Principle and Classical Tests.

Phenomenon 49.1 (Matter at a billion kilograms per cubic metre).

The faint companion of Sirius shows the spectrum of a hot white star, yet its luminosity is some ten thousand times below its primary's, which for that surface temperature fixes its radius near the Earth's; its mass, from the astrometric orbit, is close to the Sun's [Adams:1915]. The implied mean density is of order \(10^{9}\,\mathrm{kg}/\mathrm{m}^{3}\), a million times that of ordinary solids. Thousands of white dwarfs are now catalogued and they occupy the same narrow band of the mass–radius plane. No classical equation of state supports matter in this state; at such densities the electrons are degenerate and the support is quantum-mechanical, surviving to zero temperature [Fowler:1926]. Rests on Proposition 49.2 and Phenomenon 83.1.

Derivation. Derives Phenomenon 49.1. What must be checked is that the electrons really are degenerate at this density — that the exclusion principle of Identical Particles, and not thermal agitation, sets the pressure. Take \(\rho=10^{9}\,\mathrm{kg}/\mathrm{m}^{3}\) of fully ionized material with two nucleons per electron, so that

\[ n_{\mathrm{e}}=\frac{\rho}{2m_{\mathrm{u}}} =\frac{10^{9}\,\mathrm{kg}/\mathrm{m}^{3}} {2\times1.661\times 10^{-27}\,\mathrm{kg}} \approx3.0\times 10^{35}\,/\mathrm{m}^{3}\ep \]

The Fermi energy of a free electron gas at that density, from Quantum Statistics, is

\[ E_{\mathrm{F}}=\frac{\hbar^{2}}{2m_{\mathrm{e}}} \left(3\pi^{2}n_{\mathrm{e}}\right)^{2/3} \approx2.6\times 10^{-14}\,\mathrm{J} \approx160\,\mathrm{keV}\ec \]

whereas the interior of a white dwarf, at a temperature of order \(10^{7}\,\mathrm{K}\), has \(k_{\mathrm{B}}T\approx1.4\times 10^{-16}\,\mathrm{J}\approx0.9\,\mathrm{keV}\). The ratio \(E_{\mathrm{F}}/\left(k_{\mathrm{B}}T\right)\approx200\) settles the question: essentially every state below the Fermi level is occupied, the gas is degenerate, and the pressure it exerts does not vanish as the star cools. That is why a white dwarf can sit in equilibrium with no energy source whatever, which no thermally supported star can do.

The same arithmetic carries a warning. The Fermi energy already reaches about a third of the electron rest energy \(m_{\mathrm{e}}c^{2}=511\,\mathrm{keV}\), so the non-relativistic formula used above is only an estimate, and a denser — that is, a more massive — white dwarf will be relativistic. That is the regime of Section 49.1.3, and it is where the mass limit comes from.

Electron degeneracy pressure

Fowler resolved the paradox within a year of the new statistics [Fermi:1926] [Dirac:1926]: the electrons of a white dwarf form a degenerate Fermi gas in the sense of Quantum Statistics, and the pressure of that gas at zero temperature is what carries the star [Fowler:1926]. The two limits of that pressure — the non-relativistic \(P\propto n^{5/3}\) and the ultrarelativistic \(P\propto n^{4/3}\) — control everything in this chapter, so we derive them in full.

Proposition 49.2 (Ground-state pressure of the ideal Fermi gas).

A gas of spin-\(\tfrac12\) fermions of mass \(m\) at number density \(n\) and zero temperature fills all momentum states up to the Fermi momentum

\begin{equation}\tag{49.1} p_{\mathrm{F}}=\hbar\left(3\pi^{2}n\right)^{1/3}\ec \end{equation}

and exerts a pressure that survives at zero temperature. In the non-relativistic regime \(p_{\mathrm{F}}\ll mc\),

\begin{equation}\tag{49.2} P=\frac{\left(3\pi^{2}\right)^{2/3}}{5}\, \frac{\hbar^{2}}{m}\,n^{5/3} =\frac{2}{5}\,nE_{\mathrm{F}}\ec\qquad E_{\mathrm{F}}=\frac{\hbar^{2}}{2m}\left(3\pi^{2}n\right)^{2/3}\ec \end{equation}

while in the ultrarelativistic regime \(p_{\mathrm{F}}\gg mc\),

\begin{equation}\tag{49.3} P=\frac{\left(3\pi^{2}\right)^{1/3}}{4}\,\hbar c\,n^{4/3} =\frac{1}{4}\,nE_{\mathrm{F}}\ec\qquad E_{\mathrm{F}}=\hbar c\left(3\pi^{2}n\right)^{1/3}\ep \end{equation}

Rests on Phenomenon 83.1 and Theorem 40.5.

Proof.

Derives Proposition 49.2. Free-particle states occupy phase space in cells of volume \((2\pi\hbar)^{3}\), two spin orientations per cell (Identical Particles and Quantum Statistics). At zero temperature the exclusion principle fills the states of lowest energy: a sphere in momentum space of radius \(p_{\mathrm{F}}\) fixed by counting,

\[ n=\frac{2}{\left(2\pi\hbar\right)^{3}}\cdot \frac{4\pi}{3}p_{\mathrm{F}}^{3} =\frac{p_{\mathrm{F}}^{3}}{3\pi^{2}\hbar^{3}}\ec \]

which is Equation (49.1). The energy density is the sum of single-particle energies \(\varepsilon(p)\) over the filled sphere,

\[ u=\frac{2}{\left(2\pi\hbar\right)^{3}} \int_{0}^{p_{\mathrm{F}}}\varepsilon(p)\,4\pi p^{2}\,\dd p =\frac{1}{\pi^{2}\hbar^{3}} \int_{0}^{p_{\mathrm{F}}}\varepsilon(p)\,p^{2}\,\dd p\ep \]

With \(\varepsilon=p^{2}/2m\) this gives \(u=\left(3/5\right)nE_{\mathrm{F}}\) with \(E_{\mathrm{F}}=p_{\mathrm{F}}^{2}/2m\); with \(\varepsilon=pc\) it gives \(u=\left(3/4\right)nE_{\mathrm{F}}\) with \(E_{\mathrm{F}}=p_{\mathrm{F}}c\).

The pressure follows thermodynamically, with no kinetic argument needed. At zero temperature the total energy of \(N\) particles in volume \(V\) is \(E=Vu(N/V)\), and

\[ P=-\pdv{E}{V}\bigg|_{N} =-u+n\,\dv{u}{n}\ep \]

For any power law \(u\propto n^{\gamma}\) this is \(P=\left(\gamma-1\right)u\). Non-relativistically \(\gamma=5/3\), so \(P=\tfrac{2}{3}u=\tfrac{2}{5}nE_{\mathrm{F}}\), which is Equation (49.2); ultrarelativistically \(\gamma=4/3\), so \(P=\tfrac{1}{3}u=\tfrac{1}{4}nE_{\mathrm{F}}\), which is Equation (49.3). Substituting Equation (49.1) gives the explicit coefficients. Note what happened between the two limits: relativity does not remove the pressure, it softens it, from \(n^{5/3}\) to \(n^{4/3}\) — one power of \(n^{1/3}\), lost because the velocity saturates at \(c\) and can no longer grow with the Fermi momentum. That lost third of a power is the whole story of the Chandrasekhar limit.

In a white dwarf the electrons supply the pressure and the nuclei the mass. For a composition with mean molecular weight per electron \(\mu_{\mathrm{e}}\) — the number of nucleons per electron, equal to \(2\) for the helium, carbon and oxygen that white dwarfs are made of — the mass density is \(\rho=\mu_{\mathrm{e}}m_{\mathrm{u}} n_{\mathrm{e}}\), and Equation (49.2) becomes a polytrope \(P=K_{5/3}\,\rho^{5/3}\) with

\begin{equation}\tag{49.4} K_{5/3}=\frac{\left(3\pi^{2}\right)^{2/3}}{5}\, \frac{\hbar^{2}} {m_{\mathrm{e}}\left(\mu_{\mathrm{e}}m_{\mathrm{u}}\right)^{5/3}}\ep \end{equation}

For \(\mu_{\mathrm{e}}=2\) this evaluates (computed from the CODATA constants) to a pressure of \(3.2\times 10^{21}\,\mathrm{Pa}\) at the Sirius B density \(\rho=10^{9}\,\mathrm{kg}/\mathrm{m}^{3}\) — some ten orders of magnitude beyond the pressure at the centre of the Earth, from a gas at zero temperature. A star supported by a polytropic pressure is an exactly solvable structure problem, and the machinery deserves stating once, in the form every later section will use.

Proposition 49.3 (Lane–Emden form of hydrostatic equilibrium; restated from the stellar-structure chapter).

A self-gravitating Newtonian fluid sphere with the polytropic equation of state \(P=K\rho^{1+1/n}\) has density profile \(\rho(r)=\rho_{\mathrm{c}}\,\theta^{n}(\xi)\), where \(r=a\xi\),

\begin{equation}\tag{49.5} a^{2}=\frac{\left(n+1\right)K}{4\pi G}\, \rho_{\mathrm{c}}^{\frac{1}{n}-1}\ec \end{equation}

and \(\theta\) solves the Lane–Emden equation

\begin{equation}\tag{49.6} \frac{1}{\xi^{2}}\dv{}{\xi} \left(\xi^{2}\dv{\theta}{\xi}\right)=-\theta^{n}\ec\qquad \theta(0)=1\ec\quad\theta'(0)=0\ep \end{equation}

The surface is the first zero \(\xi_{1}\) of \(\theta\), and the radius and total mass are

\begin{equation}\tag{49.7} R=a\,\xi_{1}\ec\qquad M=4\pi a^{3}\rho_{\mathrm{c}}\, \xi_{1}^{2}\abs{\theta'(\xi_{1})}\ep \end{equation}

Rests on Equation (31.13), Theorem 52.6 and Proposition 52.1.

Proof.

Derives Proposition 49.3. This is Theorem 52.6 in the variables of this chapter; the short derivation is repeated so that the Chandrasekhar argument can lean on the surface-slope mass formula Equation (49.7) without a forward excursion. Hydrostatic equilibrium (Proposition 31.16, specialized to the self-gravitating sphere as in Section 52.1.1) reads \(\dd P/\dd r=-Gm\rho/r^{2}\) with \(\dd m/\dd r=4\pi r^{2}\rho\). Eliminating \(m\) by differentiating the first and substituting the second,

\[ \frac{1}{r^{2}}\dv{}{r} \left(\frac{r^{2}}{\rho}\dv{P}{r}\right)=-4\pi G\rho\ep \]

Insert \(P=K\rho^{1+1/n}\) and \(\rho=\rho_{\mathrm{c}}\theta^{n}\): the left side becomes \(\left[\left(n+1\right)K\rho_{\mathrm{c}}^{1/n}/r^{2}\right] \dd\left(r^{2}\,\dd\theta/\dd r\right)/\dd r\), and dividing by \(4\pi G\rho_{\mathrm{c}}\) and rescaling \(r=a\xi\) with Equation (49.5) leaves exactly Equation (49.6). The centre is regular (\(\theta'(0)=0\)) because \(m\propto r^{3}\) there. For the mass, use the equation itself backwards:

\[ M=4\pi a^{3}\rho_{\mathrm{c}} \int_{0}^{\xi_{1}}\theta^{n}\xi^{2}\,\dd\xi =-4\pi a^{3}\rho_{\mathrm{c}} \int_{0}^{\xi_{1}}\dv{}{\xi} \left(\xi^{2}\dv{\theta}{\xi}\right)\dd\xi =4\pi a^{3}\rho_{\mathrm{c}}\, \xi_{1}^{2}\abs{\theta'(\xi_{1})}\ec \]

since \(\theta'(\xi_{1})<0\). No integration of the density profile is ever needed: the surface slope carries the whole mass integral.

Remark 49.4 (The two Lane–Emden constants this chapter needs).

Equation (49.6) has closed-form solutions only for \(n=0,1,5\); for the two indices that matter here it is integrated numerically, and we quote the constants from the standard tabulation [Chandrasekhar:1939]:

$n$$\xi_{1}$$\xi_{1}^{2}\abs{\theta'(\xi_{1})}$
$3/2$\(3.65375\)\(2.71406\)
$3$\(6.89685\)\(2.01824\)

The general theory of polytropes, including these integrations, belongs to Section 52.1.2.

Proposition 49.5 (White-dwarf mass–radius relation).

A non-relativistic white dwarf (\(P=K_{5/3}\rho^{5/3}\), polytropic index \(n=3/2\)) obeys

\begin{equation}\tag{49.8} R\propto M^{-1/3}\ec\qquad R\approx8.9\times 10^{6}\,\mathrm{m} \left(\frac{M}{M_{\odot}}\right)^{-1/3} \quad\text{for }\mu_{\mathrm{e}}=2\ep \end{equation}

Adding mass shrinks a white dwarf — the opposite of every object held up by thermal or material pressure. Rests on Equations (49.2) and (49.7).

Proof.

Derives Proposition 49.5. For \(n=3/2\), Equation (49.5) gives \(a\propto\rho_{\mathrm{c}}^{-1/6}\), so Equation (49.7) gives \(M\propto a^{3}\rho_{\mathrm{c}}\propto\rho_{\mathrm{c}}^{1/2}\) and \(R\propto\rho_{\mathrm{c}}^{-1/6}\): eliminating the central density, \(R\propto M^{-1/3}\). Restoring the constants (Equation (49.4) and Remark 49.4),

\[ R=\xi_{1} \left(\frac{5K_{5/3}}{8\pi G}\right)^{1/2} \rho_{\mathrm{c}}^{-1/6}\ec\qquad M=4\pi\,\xi_{1}^{2}\abs{\theta'(\xi_{1})} \left(\frac{5K_{5/3}}{8\pi G}\right)^{3/2} \rho_{\mathrm{c}}^{1/2}\ec \]

and eliminating \(\rho_{\mathrm{c}}\) between them gives, for \(\mu_{\mathrm{e}}=2\), the figure quoted (computed here from the constants; e.g. \(M=0.6\,M_{\odot}\) gives \(\rho_{\mathrm{c}}\approx1.5\times 10^{9}\,\mathrm{kg}/\mathrm{m}^{3}\) and \(R\approx1.05\times 10^{7}\,\mathrm{m}\) — precisely the density regime the Sirius B puzzle demanded). The formula overestimates the radius of the more massive white dwarfs, whose electrons are already partly relativistic and whose true radius therefore falls faster than \(M^{-1/3}\); the exact interpolating equation of state joins this curve to the terminating sequence of Section 49.1.3.

The Chandrasekhar mass limit

The inverse mass–radius relation carries its own death sentence. Compression raises the Fermi momentum, and once \(p_{\mathrm{F}}\gtrsim m_{\mathrm{e}}c\) the equation of state softens from \(\rho^{5/3}\) to the ultrarelativistic \(\rho^{4/3}\) of Equation (49.3) — the polytropic index reaches \(n=3\), and at \(n=3\) the Lane–Emden scaling produces a mass that does not depend on the central density at all. That mass is a limit: below it equilibria exist, above it none do [Chandrasekhar:1931]. Landau's contemporaneous argument [Landau:1932] reaches the same scale from the energy of a relativistic degenerate gas, with no structure equation solved, and we give it first.

Phenomenon 49.6 (A maximum mass for a cold degenerate star).

No white dwarf has been measured above about \(1.4\,M_{\odot}\). The observed mass–radius relation does not continue indefinitely: radius falls as mass rises and the sequence terminates [Chandrasekhar:1931]. The same ceiling is what makes thermonuclear supernovae reproducible. A white dwarf pushed across it by accretion from a companion has no equilibrium left to settle into, ignites its carbon degenerately, and releases a nearly fixed amount of energy — which is why type Ia events can serve as the standardizable candles of Evidence-Based Cosmology. Rests on Proposition 49.2, Theorem 49.7 and Theorem 44.27.

Derivation. Derives Phenomenon 49.6. The existence of the limit, and its scale, follow from comparing two energies, with no structure equation solved [Landau:1932]. Let the star hold \(N\) electrons within a radius \(R\), with \(\mu_{\mathrm{e}}\) nucleons per electron, so that its mass is \(M=N\mu_{\mathrm{e}}m_{\mathrm{u}}\) and the electron number density is \(n\sim N/R^{3}\).

Once the electrons are relativistic — the regime Phenomenon 49.1 showed to be near — the Fermi energy is \(E_{\mathrm{F}}\sim\hbar c\,n^{1/3} \sim\hbar c\,N^{1/3}/R\), so the kinetic energy of the gas is

\[ E_{\mathrm{kin}}\sim NE_{\mathrm{F}} \sim\frac{\hbar c\,N^{4/3}}{R}\ec \]

while the gravitational energy is

\[ E_{\mathrm{grav}}\sim-\frac{GM^{2}}{R} =-\frac{G\left(\mu_{\mathrm{e}}m_{\mathrm{u}}\right)^{2}N^{2}}{R}\ep \]

Both vary as \(1/R\), and that is the decisive fact: contracting the star changes the two terms in exactly the same proportion, so no radius is singled out and equilibrium cannot be reached by adjusting \(R\). The sign of the total energy depends on \(N\) alone. It turns negative — unbounded contraction, with no configuration to stop at — once

\[ G\left(\mu_{\mathrm{e}}m_{\mathrm{u}}\right)^{2}N^{2} >\hbar c\,N^{4/3}\ec\qquad\text{that is}\qquad N>N_{\max}\sim\left(\frac{\hbar c}{G}\right)^{3/2} \frac{1}{\left(\mu_{\mathrm{e}}m_{\mathrm{u}}\right)^{3}}\ep \]

The corresponding mass is

\begin{equation}\tag{49.9} M_{\max}\sim N_{\max}\mu_{\mathrm{e}}m_{\mathrm{u}} =\frac{1}{\mu_{\mathrm{e}}^{2}m_{\mathrm{u}}^{2}} \left(\frac{\hbar c}{G}\right)^{3/2}\ec \end{equation}

which for \(\mu_{\mathrm{e}}=2\) evaluates to \(9.3\times 10^{29}\,\mathrm{kg}\), about \(0.47\,M_{\odot}\). What the argument establishes without any coefficient at all is the substance of the phenomenon: a limit exists, it does not depend on the radius, and it is assembled out of \(\hbar\), \(c\), \(G\) and the nucleon mass — a stellar mass written in fundamental constants. The exact coefficient, close to three, is supplied by the \(n=3\) polytrope in Theorem 49.7 below.

Theorem 49.7 (The Chandrasekhar mass).

For the ultrarelativistic equation of state \(P=K_{4/3}\,\rho^{4/3}\) with

\begin{equation}\tag{49.10} K_{4/3}=\frac{\left(3\pi^{2}\right)^{1/3}}{4}\, \frac{\hbar c} {\left(\mu_{\mathrm{e}}m_{\mathrm{u}}\right)^{4/3}}\ec \end{equation}

the polytropic mass Equation (49.7) is independent of the central density and equals

\begin{equation}\tag{49.11} M_{\mathrm{Ch}} =4\pi\,\xi_{1}^{2}\abs{\theta'(\xi_{1})} \left(\frac{K_{4/3}}{\pi G}\right)^{3/2} =\frac{5.82}{\mu_{\mathrm{e}}^{2}}\,M_{\odot} =1.46\,M_{\odot}\ \ \text{for }\mu_{\mathrm{e}}=2\ep \end{equation}

No cold star supported by electron degeneracy can exceed it. Rests on Equation (49.3), Equation (49.7), Proposition 49.2 and Proposition 49.3.

Proof.

Derives Theorem 49.7. \(P=K\rho^{4/3}\) is the polytrope \(n=3\). Equation (49.5) then gives \(a=\left(K/\pi G\right)^{1/2}\rho_{\mathrm{c}}^{-1/3}\), so in Equation (49.7) the central density cancels identically:

\[ M=4\pi a^{3}\rho_{\mathrm{c}}\, \xi_{1}^{2}\abs{\theta'(\xi_{1})} =4\pi\left(\frac{K}{\pi G}\right)^{3/2} \xi_{1}^{2}\abs{\theta'(\xi_{1})}\ep \]

The \(n=3\) sequence is therefore a sequence of one mass at every central density: compressing the star (\(R=a\xi_{1}\propto \rho_{\mathrm{c}}^{-1/3}\to0\)) changes nothing in the balance, which is the structural restatement of the \(1/R\) degeneracy in Landau's argument. A star lighter than \(M\) has a subrelativistic core, a stiffer effective \(n<3\), and finds an equilibrium radius; a star heavier has none. Inserting Equation (49.10) with \(\mu_{\mathrm{e}}=2\) and \(\xi_{1}^{2}\abs{\theta'(\xi_{1})} =2.01824\) (Remark 49.4),

\[ M_{\mathrm{Ch}} =2.90\times 10^{30}\,\mathrm{kg} =1.46\,M_{\odot}\ec \]

computed here from the CODATA constants; it exceeds the dimensional estimate Equation (49.9) by the factor \(\tfrac{1}{2}\sqrt{3\pi}\, \xi_{1}^{2}\abs{\theta'(\xi_{1})}\approx3.1\). Chandrasekhar's 1931 paper [Chandrasekhar:1931] quotes \(0.91\,M_{\odot}\) because it took \(\mu_{\mathrm{e}}=2.5\), the then-standard guess at stellar composition; the formula is the same, and with the modern \(\mu_{\mathrm{e}}=2\) of helium, carbon and oxygen it gives the value above. General-relativistic corrections and electron capture shave a few per cent off the Newtonian figure, which is why the limit is customarily quoted as \(\approx1.4\,M_{\odot}\) [Chandrasekhar:1939] [Shapiro:1983].

White-dwarf cooling and ages

A white dwarf has no fuel: it shines by leaking the thermal energy of its ions through a thin insulating envelope, and its luminosity is therefore a clock. Mestel's theory [Mestel:1952] turns the statement into a power law, and the population of the Galactic disc into a datable sample.

Phenomenon 49.8 (The white-dwarf luminosity function has an edge).

White dwarfs are observed at every luminosity from about \(10^{-1}L_{\odot}\) down to about \(10^{-4.5}L_{\odot}\) — and then stop. The number of white dwarfs per unit luminosity rises steadily toward the faint end and falls off abruptly below \(\log_{10}\left(L/L_{\odot}\right)\approx-4.5\) [Winget:1987]. Fainter, older white dwarfs do not exist to be seen: the cutoff is the age of the population. Read through cooling theory it dates the local Galactic disc at about \(9(2)\,\mathrm{Gyr}\) [Winget:1987], consistent with every other chronometer of Evidence-Based Cosmology. In the cooling sequence itself, Gaia photometry of over ten thousand white dwarfs shows a pile-up of stars at the luminosity where the core crystallises — the latent heat of freezing stalls the cooling, and stars accumulate there like water at its freezing point [Tremblay:2019]. Rests on Propositions 31.16, 49.2 and 52.9.

Derivation. Derives Phenomenon 49.8. Two facts organize the problem. First, the degenerate electrons conduct heat so well that the interior is nearly isothermal at a single \(T_{\mathrm{c}}\), and their heat capacity is suppressed by the degeneracy factor \(T/T_{\mathrm{F}}\) (Quantum Statistics), so the heat reservoir is the ions:

\[ U=\frac{3}{2}\,\frac{M}{Am_{\mathrm{u}}}\,k_{\mathrm{B}} T_{\mathrm{c}}\ec \]

with \(A\) the mean nucleon number (\(A\approx14\) for a carbon–oxygen mixture). Second, the leak is a thin non-degenerate envelope in radiative equilibrium: photons diffuse with mean free path \(1/\left(\kappa\rho\right)\), giving the radiative-transfer relation

\[ L=-\frac{16\pi acr^{2}T^{3}}{3\kappa\rho}\,\dv{T}{r}\ec \]

with \(a\) the radiation constant and \(\kappa=\kappa_{0}\rho T^{-7/2}\) the Kramers opacity of Stellar Structure and Nucleosynthesis. Dividing hydrostatic equilibrium (Equation (31.13), with \(m\approx M\) in the thin envelope) by that relation eliminates \(r\), and the ideal gas law of the envelope, \(\rho=\mu m_{\mathrm{u}}P/\left(k_{\mathrm{B}} T\right)\) with \(\mu\) its mean molecular weight, closes the system:

\[ \dv{P}{T}=\frac{16\pi acGM}{3\kappa L}\,T^{3} =\frac{16\pi acGMk_{\mathrm{B}}}{3\kappa_{0}\mu m_{\mathrm{u}}L}\, \frac{T^{15/2}}{P} \quad\Longrightarrow\quad P^{2}\propto\frac{M}{L}\,T^{17/2} \quad\Longrightarrow\quad \rho^{2}\propto\frac{M}{L}\,T^{13/2}\ep \]

The envelope ends where the electrons turn degenerate, \(k_{\mathrm{B}}T\approx E_{\mathrm{F}}\propto\rho^{2/3}\), i.e.\ \(\rho\propto T^{3/2}\); and because the degenerate interior is isothermal, the temperature there is \(T_{\mathrm{c}}\) itself. Setting \(\rho^{2}\propto T_{\mathrm{c}}^{3}\) equal to \(\left(M/L\right)T_{\mathrm{c}}^{13/2}\) gives Mestel's law

\begin{equation}\tag{49.12} L\propto M\,T_{\mathrm{c}}^{7/2}\ep \end{equation}

Now the clock: \(-\dd U/\dd t=L\) reads \(T_{\mathrm{c}}^{-7/2}\,\dd T_{\mathrm{c}}\propto-\dd t\), so \(T_{\mathrm{c}}\propto t^{-2/5}\) and

\begin{equation}\tag{49.13} L\propto t^{-7/5}\ec\qquad t=\frac{2}{5}\,\frac{U}{L} \propto\left(\frac{L}{M}\right)^{-5/7}\ep \end{equation}

Cooling decelerates: each decade down in luminosity takes about \(10^{5/7}\approx5\) times longer than the last, which is why the luminosity function rises toward the faint end — stars pile up where they cool slowly — and why its termination is sharp. The absolute age at the cutoff requires the calibrated constant in Equation (49.12) together with the crystallisation and phase-separation corrections, and we quote the result rather than the numerics: \(9(2)\,\mathrm{Gyr}\) for the local disc [Winget:1987]. Crystallisation itself was predicted theoretically in the 1960s [VanHorn:1968]; its latent heat, \(\sim k_{\mathrm{B}}T\) per ion, interrupts Equation (49.13) for of order a gigayear, and the resulting traffic jam in the cooling sequence is what Gaia resolved [Tremblay:2019].

Neutron stars

The Baade–Zwicky hypothesis

Within two years of the discovery of the neutron [Chadwick:1932a], Baade and Zwicky proposed that a supernova is the transition of an ordinary star into a star made of neutrons — packed at nuclear density, bound by gravity, and only a few kilometres across — and that the energy of the explosion is the gravitational binding energy released in the collapse [Baade:1934]. The proposal was quantitative and, as Phenomenon 49.14 will show, correct in every part. Collapsing \(1.4\,M_{\odot}\) to a radius of \(12\,\mathrm{km}\) releases \(\sim\tfrac{3}{5}GM^{2}/R\approx2.6\times 10^{46}\,\mathrm{J}\) (Equation (49.23) below) — about ten per cent of the star's rest energy, and four orders of magnitude more than the \(10^{42}\,\mathrm{J}\) a supernova radiates as light. The visible fireworks are a rounding error on the energy budget; the budget itself was verified, neutrino by neutrino, in 1987. The prediction of the compact remnant waited thirty-four years for its confirmation: a pulsar sitting inside the Crab supernova remnant of AD 1054 [Staelin:1968].

The Tolman–Oppenheimer–Volkoff equations

A neutron star is relativistic in a way no white dwarf is: its compactness \(GM/\left(Rc^{2}\right)\) is of order \(0.2\) rather than \(10^{-4}\), so Newtonian hydrostatics (Proposition 31.16 and Section 52.1.1) is not a first approximation but a wrong theory. The correct structure equations follow from the field equations of The Einstein Field Equations,

\begin{equation}\tag{49.14} G_{\mu\nu} \equiv R_{\mu\nu}-\tfrac{1}{2}g_{\mu\nu}R =\frac{8\pi G}{c^{4}}\,T_{\mu\nu}\ec \end{equation}

applied to a static, spherically symmetric perfect fluid [Tolman:1939] [Oppenheimer:1939a]. This is the chapter's central derivation, and we give it in full.

The most general static, spherically symmetric line element can be written

\begin{equation}\tag{49.15} \dd s^{2} =-\ee^{2\alpha(r)}c^{2}\dd t^{2} +\ee^{2\beta(r)}\dd r^{2} +r^{2}\left(\dd\theta^{2}+\sin^{2}\theta\,\dd\varphi^{2}\right)\ec \end{equation}

and the matter is a perfect fluid at rest in these coordinates,

\begin{equation}\tag{49.16} T^{\mu\nu} =\left(\rho+\frac{P}{c^{2}}\right)u^{\mu}u^{\nu}+P\,g^{\mu\nu}\ec \qquad u^{\mu}=\left(\ee^{-\alpha},0,0,0\right) \ \text{in }(t,r,\theta,\varphi)\ec \end{equation}

with \(\rho(r)\) the mass density, \(P(r)\) the pressure, and the normalization \(u^{\mu}u_{\mu}=g_{tt}\,\ee^{-2\alpha}=-c^{2}\) (Section 44.2.1). In mixed components \(T^{\mu}{}_{\nu}=\diag\left(-\rho c^{2},P,P,P\right)\).

Theorem 49.9 (Tolman–Oppenheimer–Volkoff equations).

Define the mass function \(m(r)\) by \(\ee^{-2\beta}=1-2Gm/\left(rc^{2}\right)\). Then the field equations Equation (49.14) for Equations (49.15) and (49.16) reduce to

\begin{align} \dv{m}{r}&=4\pi r^{2}\rho\ec \tag{49.17}\\ \dv{P}{r}&=-\, \frac{G\left(\rho+\dfrac{P}{c^{2}}\right) \left(m+\dfrac{4\pi r^{3}P}{c^{2}}\right)} {r^{2}\left(1-\dfrac{2Gm}{rc^{2}}\right)}\ec \tag{49.18}\\ \dv{\alpha}{r}&=-\, \frac{1}{\rho c^{2}+P}\dv{P}{r}\ep \tag{49.19} \end{align}

At the surface \(r=R\), where \(P=0\), the solution matches the exterior Schwarzschild geometry of Schwarzschild Geometry and Black Holes with total mass \(M=m(R)\). Rests on Equation (49.14), Equation (49.16), Postulate 44.3 and Definition 44.16.

Proof.

Derives Theorem 49.9. The curvature of the metric Equation (49.15) is computed, Christoffel symbols to Ricci tensor, in Schwarzschild Geometry and Black Holes, where the vacuum case yields the Schwarzschild solution; the two Einstein-tensor components needed here are [Tolman:1939] [Misner:1973]

\begin{align*} G^{t}{}_{t} &=-\frac{1}{r^{2}}\dv{}{r} \left[r\left(1-\ee^{-2\beta}\right)\right]\ec\\ G^{r}{}_{r} &=-\frac{1}{r^{2}}\left(1-\ee^{-2\beta}\right) +\frac{2}{r}\,\ee^{-2\beta}\,\alpha'\ec \end{align*}

with the prime denoting \(\dd/\dd r\). The angular components carry no new information: by the contracted Bianchi identity (Section 44.3) they are consequences of these two together with stress–energy conservation, which we impose explicitly below.

The \(tt\) equation. With \(T^{t}{}_{t}=-\rho c^{2}\), Equation (49.14) reads \(\dd\left[r\left(1-\ee^{-2\beta}\right)\right]/\dd r =\left(8\pi G/c^{2}\right)\rho r^{2}\). Substituting the definition \(r\left(1-\ee^{-2\beta}\right)=2Gm/c^{2}\) turns this into Equation (49.17). Regularity at the centre requires \(m(0)=0\), so \(m(r)\) is fixed with no further constant. Note what \(m\) is and is not: \(M=m(R)\) is the mass that governs the exterior orbits — the mass a distant satellite weighs — but it is not the integral of \(\rho\) over proper volume, which carries an extra factor \(\ee^{\beta}>1\). The deficit is the gravitational binding energy, already subtracted; general relativity weighs the star bound.

The \(rr\) equation. With \(T^{r}{}_{r}=P\) and \(1-\ee^{-2\beta}=2Gm/\left(rc^{2}\right)\),

\[ \frac{8\pi G}{c^{4}}P =-\frac{2Gm}{r^{3}c^{2}} +\frac{2}{r}\left(1-\frac{2Gm}{rc^{2}}\right)\alpha' \quad\Longrightarrow\quad \alpha' =\frac{\dfrac{Gm}{c^{2}}+\dfrac{4\pi Gr^{3}P}{c^{4}}} {r^{2}\left(1-\dfrac{2Gm}{rc^{2}}\right)}\ep \]

Conservation. The fluid obeys \(\nabla_{\mu}T^{\mu}{}_{\nu}=0\) (Section 44.2.2); take the \(\nu=r\) component. For the static diagonal stress tensor,

\[ \nabla_{\mu}T^{\mu}{}_{r} =\partial_{r}T^{r}{}_{r} +\Gamma^{\mu}{}_{\mu\lambda}T^{\lambda}{}_{r} -\Gamma^{\lambda}{}_{\mu r}T^{\mu}{}_{\lambda} =P' +\Gamma^{t}{}_{tr}\left(P+\rho c^{2}\right) =P'+\left(\rho c^{2}+P\right)\alpha'\ec \]

because \(\Gamma^{t}{}_{tr}=\alpha'\) while the spatial Christoffel terms multiply \(P-P=0\). Setting this to zero gives Equation (49.19): pressure gradients are what hold the fluid static against the gravitational potential \(\alpha\). Substituting \(\alpha'\) from the \(rr\) equation yields Equation (49.18).

Matching. At \(r=R\) the pressure vanishes and Equation (49.17) makes \(m\) constant; the metric functions become \(\ee^{-2\beta}=1-2GM/\left(rc^{2}\right)\) and, by integrating \(\alpha'\) in vacuum, \(\ee^{2\alpha}=1-2GM/\left(rc^{2}\right)\) — the Schwarzschild exterior of Schwarzschild Geometry and Black Holes, as it must be by Birkhoff's theorem there. Given an equation of state \(P(\rho)\), the system Equations (49.17) and (49.18) integrates outward from a chosen central density \(\rho_{\mathrm{c}}\) until \(P\) reaches zero: one equilibrium star per central density, and the mass–radius curve is the image of that one-parameter family.

Remark 49.10 (Newtonian limit, and why relativity lowers the ceiling).

When \(P\ll\rho c^{2}\) and \(2Gm\ll rc^{2}\), Equation (49.18) reduces to \(\dd P/\dd r=-Gm\rho/r^{2}\) — hydrostatic equilibrium exactly as in Proposition 31.16 and Section 52.1.1. The three relativistic corrections are the three parenthesized factors, and each has a sign: pressure adds to the gravitating density (\(\rho+P/c^{2}\)), pressure gravitates as a source (\(m+4\pi r^{3}P/c^{2}\)), and the denominator \(1-2Gm/\left(rc^{2}\right)\) strengthens gravity as compactness grows. All three make gravity stronger than Newton at the same \(P\) and \(\rho\). Pressure, the agent of support, is also a source of the field it fights — so squeezing harder eventually recruits gravity faster than support, and equilibrium sequences terminate at finite mass even for matter far stiffer than a degenerate electron gas. The Chandrasekhar limit was an accident of special relativity in the equation of state; the neutron-star maximum mass is general relativity's own.

Example 49.11 (The uniform-density star).

For constant \(\rho\), \(m=\tfrac{4}{3}\pi r^{3}\rho=Mr^{3}/R^{3}\) and Equation (49.18) separates; partial fractions and the boundary condition \(P(R)=0\) give (verified by substitution)

\begin{equation}\tag{49.20} P(r)=\rho c^{2}\, \frac{\sqrt{1-\dfrac{r_{\mathrm{s}}r^{2}}{R^{3}}} -\sqrt{1-\dfrac{r_{\mathrm{s}}}{R}}} {3\sqrt{1-\dfrac{r_{\mathrm{s}}}{R}} -\sqrt{1-\dfrac{r_{\mathrm{s}}r^{2}}{R^{3}}}}\ec \qquad r_{\mathrm{s}}\equiv\frac{2GM}{c^{2}}\ec \end{equation}

with central value

\begin{equation}\tag{49.21} P_{\mathrm{c}} =\rho c^{2}\, \frac{1-\sqrt{1-r_{\mathrm{s}}/R}} {3\sqrt{1-r_{\mathrm{s}}/R}-1}\ep \end{equation}

For a star of \(1.4\,M_{\odot}\) and \(12\,\mathrm{km}\) (\(r_{\mathrm{s}}/R=0.35\)) this gives \(P_{\mathrm{c}}=0.13\,\rho c^{2}\): the pressure at the centre of a neutron star is a sizeable fraction of its energy density, which no Newtonian star ever approaches. Rests on Equation (49.18) and Theorem 49.9.

Proposition 49.12 (Buchdahl bound).

No static spherical star of any composition can be more compact than

\begin{equation}\tag{49.22} \frac{GM}{Rc^{2}}<\frac{4}{9}\ec \end{equation}

equivalently \(R>\tfrac{9}{8}r_{\mathrm{s}}\): equilibrium fails strictly outside the would-be horizon at \(r_{\mathrm{s}}\). Rests on Equation (49.21) and Example 49.11.

Proof.

Derives Proposition 49.12. For the uniform star the bound is read off Equation (49.21): the central pressure diverges when the denominator vanishes, \(3\sqrt{1-r_{\mathrm{s}}/R}=1\), i.e. at \(r_{\mathrm{s}}/R=8/9\), and no equilibrium exists at or beyond that compactness — infinite pressure is not available, and would only gravitate harder if it were (Remark 49.10). Buchdahl proved that the uniform star is the extreme case: for any equation of state whose density does not increase outward, integrating the field equations from centre to surface bounds the central metric function away from zero only when Equation (49.22) holds [Buchdahl:1959]. We use the theorem in Buchdahl's generality but exhibit the proof only in the uniform case, which saturates it. Two consequences are observable: the gravitational redshift from the surface of any static star is bounded by \(1+z=\left(1-r_{\mathrm{s}}/R\right)^{-1/2}<3\), i.e. \(z<2\); and any object more compact than \(\tfrac{9}{8}r_{\mathrm{s}}\) cannot be a star in equilibrium at all — the operational dividing line between the objects of this chapter and those of Schwarzschild Geometry and Black Holes.

Remark 49.13 (The Oppenheimer–Volkoff mass).

Oppenheimer and Volkoff integrated Equations (49.17) and (49.18) numerically for the coldest matter then computable — an ideal degenerate neutron gas, i.e. Proposition 49.2 with \(m=m_{\mathrm{n}}\) — and found the equilibrium sequence to terminate at about \(0.7\,M_{\odot}\), at a radius near \(10\,\mathrm{km}\) [Oppenheimer:1939a]. The number is far below every measured neutron-star mass (Section 49.4.1), and the discrepancy is itself a measurement: at these densities the neutrons are not an ideal gas. Their Fermi energy at nuclear saturation density, \(\sim60\,\mathrm{MeV}\) by Equation (49.2), is comparable to the depth of the nuclear potential, so the repulsive core of the nuclear force stiffens the true equation of state far beyond the ideal-gas \(\rho^{5/3}\) and roughly triples the maximum mass (Section 49.2.4). What survives of the calculation is its structure — a maximum mass exists for every equation of state, ideal or not — and its method, which is exactly how the modern curves of Section 49.4 are still computed.

Birth: core collapse and supernova neutrinos

A star above about \(8\,M_{\odot}\) ends with an iron core at the Chandrasekhar mass, supported by exactly the electron degeneracy pressure whose limit Theorem 49.7 establishes. When the core exceeds it, collapse is not gradual but catastrophic: electron capture \(p+e^{-}\to n+\nu_{e}\) removes the supporting electrons as the density rises, softening the equation of state precisely when stiffness is needed, and the core falls freely until nuclear density stiffens it (Section 49.2.4). The rebound drives a shock into the infalling envelope; the shock stalls, and the current understanding — anticipated by Colgate and White [Colgate:1966] — is that it is revived by the absorption of a small fraction of the outgoing neutrinos, which carry essentially the whole energy release. The nuclear physics of the burning stages belongs to Nuclear Forces and Nuclear Structure and Stellar Structure and Nucleosynthesis; what belongs here is the gravitational energy budget, and its direct detection.

Phenomenon 49.14 (A neutron star is observed being born).

Hours before the optical brightening of SN1987A in the Large Magellanic Cloud, two underground detectors on opposite sides of the Earth recorded a coincident burst of neutrino events: eleven at Kamiokande-II [Hirata:1987] and eight at IMB [Bionta:1987], spread over about ten seconds, at energies of tens of \(\mathrm{MeV}\). Scaled to the distance of the source, the burst carries of order \(10^{46}\,\mathrm{J}\) — some four orders of magnitude more than the light of the whole supernova — which is the gravitational binding energy of a neutron star. This is the direct detection of stellar-core collapse, thirty-four years after the proposal that a supernova marks the transition of an ordinary star into a neutron star [Baade:1934] [Colgate:1966]. Rests on Theorem 44.27 and Phenomenon 101.5.

Derivation. Derives Phenomenon 49.14. Three numbers are derived: the energy, its carrier, and its time-scale. Collapse carries a stellar core of mass \(M\) from a radius of order \(10^{6}\,\mathrm{m}\) down to the radius of a neutron star, and the energy released is the difference of gravitational binding energies, which for a uniform sphere is

\begin{equation}\tag{49.23} \Delta E\simeq\frac{3}{5}\frac{GM^{2}}{R}\ec \end{equation}

the initial term being negligible because the initial radius is two orders of magnitude larger. With \(M=1.4\,M_{\odot}=2.8\times 10^{30}\,\mathrm{kg}\) and \(R=12\,\mathrm{km}\),

\[ \Delta E\simeq\frac{3}{5}\cdot \frac{6.674\times 10^{-11}\,\mathrm{m}^{3}/\mathrm{kg}/\mathrm{s}^{2} \times\left(2.8\times 10^{30}\,\mathrm{kg}\right)^{2}}{1.2\times 10^{4}\,\mathrm{m}} \approx2.6\times 10^{46}\,\mathrm{J}\ec \]

about a tenth of the rest energy \(Mc^{2}\). Set this beside the two things a supernova is usually described by: the kinetic energy of the ejecta, of order \(10^{44}\,\mathrm{J}\), and the radiated light, of order \(10^{42}\,\mathrm{J}\). The visible supernova is a by-product at the level of a per cent and a hundredth of a per cent respectively; the event itself is a neutrino event, and that is what the SN1987A detections confirmed.

That the energy emerges as neutrinos, over seconds rather than milliseconds, is a statement about opacity. Photons are hopelessly trapped, and even neutrinos are trapped at nuclear density: with the weak-interaction cross section of Flavour Physics and Neutrinos, \(\sigma\sim1.7\times 10^{-48}\,\mathrm{m}^{2} \left(E_{\nu}/m_{\mathrm{e}}c^{2}\right)^{2}\), a \(30\,\mathrm{MeV}\) neutrino in matter of \(n\approx1.8\times 10^{44}\,/\mathrm{m}^{3}\) has a mean free path \(\lambda=1/\left(n\sigma\right)\) of order one metre — against a stellar radius of \(10^{4}\,\mathrm{m}\). The energy therefore leaves by a random walk, in a diffusion time \(t\sim R^{2}/\left(\lambda c\right)\), which with these crude numbers is already of order a second; detailed transport, with the cross sections rising steeply toward the hot centre, lengthens this to the observed ten seconds [Colgate:1966] [Shapiro:1983]. The neutrinos finally escape from a layer where the temperature corresponds to mean energies of order \(10\,\mathrm{MeV}\) — as observed.

The observed event counts check the budget quantitatively. Spreading \(\Delta E\) over six neutrino species at \(\langle E_{\nu}\rangle\approx12\,\mathrm{MeV}\) gives \(\sim10^{58}\) neutrinos; at the LMC distance of \(50\,\mathrm{kpc}=1.5\times 10^{21}\,\mathrm{m}\) the fluence at Earth is \(\sim5\times 10^{14}\,/\mathrm{m}^{2}\) (computed). Kamiokande-II's fiducial \(2.14\times 10^{6}\,\mathrm{kg}\) of water holds about \(1.4\times 10^{32}\) free protons; folding the inverse-beta-decay cross section \(\bar{\nu}_{e}p\to ne^{+}\) at the mean energy, \(\sigma\sim1.5\times 10^{-45}\,\mathrm{m}^{2}\), with the \(\bar{\nu}_{e}\) sixth of the fluence predicts of order ten to twenty detected events — and eleven were seen [Hirata:1987], with eight more in the larger, higher-threshold IMB tank [Bionta:1987]. An order-of-magnitude estimate this crude agreeing this well means the energy, the carrier and the time-scale are all as Equation (49.23) demands. The bounds those nineteen events place on neutrino mass, lifetime and speed belong to Flavour Physics and Neutrinos.

The dense-matter equation of state

Everything in Theorem 49.9 is known physics except one input: the pressure–density relation \(P(\rho)\) of cold matter beyond nuclear saturation density, \(\rho_{0}\approx2.7\times 10^{17}\,\mathrm{kg}/\mathrm{m}^{3}\) (\(n_{0}\approx1.6\times 10^{44}\,/\mathrm{m}^{3}\)). Below saturation the ground state of matter is known essentially completely [Baym:1971]. A neutron star's crust is a lattice of increasingly neutron-rich nuclei in a degenerate electron gas; at \(\rho\approx4.3\times 10^{14}\,\mathrm{kg}/\mathrm{m}^{3}\) the nuclei can hold no more and free neutrons “drip” out, so from there inward a neutron gas — itself superfluid, the point of contact with Superconductivity and Superfluidity — coexists with the lattice; near \(\rho_{0}/2\) the nuclei merge into uniform neutron-rich matter of neutrons, protons and electrons in \(\beta\)-equilibrium. The nuclear physics of these regimes is that of Nuclear Forces and Nuclear Structure.

Above a few times \(\rho_{0}\) — the density of the inner core — the composition itself is unknown: hyperons, meson condensates and deconfined quark matter are all candidates, each softening the pressure in its own way [Shapiro:1983]. Two constraints are model-independent. Thermodynamic stability requires \(\dd P/\dd\rho\geq0\), and causality requires the sound speed \(c_{\mathrm{s}}^{2}=\dd P/\dd\rho\) (here \(\rho\) the total mass–energy density over \(c^{2}\)) not to exceed \(c^{2}\) — the stiffest admissible equation of state is \(P=\rho c^{2}\) up to constants, and Section 49.4.1 turns exactly that remark into a bound on every neutron-star mass.

Remark 49.15 (The equation of state is a mass–radius curve).

Theorem 49.9 maps each candidate \(P(\rho)\) to a one-parameter family \(\left(M(\rho_{\mathrm{c}}), R(\rho_{\mathrm{c}})\right)\) — a curve in the mass–radius plane — and the map runs both ways: measuring masses and radii selects the equation of state, which is how a telescope does nuclear physics. The qualitative dictionary: a stiff equation of state (pressure rising fast) holds up larger maximum masses at larger radii; a soft one gives compact, light stars. Configurations beyond the maximum of \(M(\rho_{\mathrm{c}})\) are unstable to radial collapse, so the curve's summit is the maximum mass of Section 49.4.1. The observational programme of Section 49.4 — Shapiro-delay masses, X-ray radii, tidal deformability — is the inversion of this map, and its current verdict is a pressure at \(2\rho_{0}\) known to within about a factor of two [Abbott:2018] [Miller:2019].

Pulsars

Discovery and identification

In 1967 Jocelyn Bell, searching survey charts for interplanetary scintillation, found a radio source that ticked: pulses of \(1.337\,\mathrm{s}\) period, stable to the accuracy of the observatory clock [Hewish:1968]. Within a year the identification was settled in favour of a rotating magnetized neutron star: Pacini had noted, just before the discovery, that a magnetized neutron star spun down by magnetic dipole radiation could power the Crab nebula [Pacini:1967], and Gold showed that rotation — unlike the vibrations and orbits also proposed — naturally supplies the observed stability, the small duty cycle of a sweeping lighthouse beam, and a period that can only lengthen [Gold:1968]. The clincher came from the Crab remnant itself: a \(33\,\mathrm{ms}\) pulsar [Staelin:1968], spinning too fast for any white dwarf (Equation (49.24)) and slowing at a rate whose energy output matches the nebula's luminosity (Proposition 49.17).

Phenomenon 49.16 (Pulsars: clocks at nuclear density).

Certain radio sources emit pulses lasting a few per cent of their cycle, repeating with a regularity that rivals atomic clocks; the first found had a period of \(1.337\,\mathrm{s}\) [Hewish:1968]. The period always lengthens and never shortens, apart from occasional abrupt spin-ups [Radhakrishnan:1969]. The source inside the Crab supernova remnant pulses at \(33\,\mathrm{ms}\) [Staelin:1968]; the first millisecond pulsar found spins at \(1.558\,\mathrm{ms}\) [Backer:1982], and the fastest known at \(1.396\,\mathrm{ms}\) — 716 rotations per second [Hessels:2006]. The stability of the period, and its monotonic increase, identify the clock as the rotation of a massive body rather than any vibration or orbit [Gold:1968] [Pacini:1967]; and rotation at these rates is possible only for matter at nuclear density. Rests on Postulate 19.8 and Theorem 44.27.

Derivation. Derives Phenomenon 49.16. A self-gravitating body rotating with angular velocity \(\omega\) holds together at its equator only if its own gravity supplies at least the centripetal acceleration required there,

\[ \frac{GM}{R^{2}}\geq\omega^{2}R\ep \]

Writing \(M=\tfrac{4}{3}\pi R^{3}\rho\) for the mean density and \(P=2\pi/\omega\) for the period, the factor \(R^{3}\) cancels from both sides and there remains

\begin{equation}\tag{49.24} \rho\geq\frac{3\pi}{GP^{2}}\ep \end{equation}

The radius has dropped out entirely: the observed period bounds the density alone, with no model of the star required. For the Crab pulsar, \(P=33\,\mathrm{ms}\) gives \(\rho\geq1.3\times 10^{14}\,\mathrm{kg}/\mathrm{m}^{3}\), five orders of magnitude above the white-dwarf density of Phenomenon 49.1; for the \(1.396\,\mathrm{ms}\) record holder it gives \(\rho\geq7.3\times 10^{16}\,\mathrm{kg}/\mathrm{m}^{3}\), within a factor of four of nuclear saturation density. No white dwarf can rotate this fast, and no other known state of matter reaches such densities. The bound is crude — it treats the body as uniform and ignores the distortion that rotation itself produces — but it is model-independent, and it is what identified the pulsars with the neutron stars predicted three decades earlier [Baade:1934] [Gold:1968].

Proposition 49.17 (Magnetic-dipole spin-down).

A neutron star of moment of inertia \(I\), rotating at \(\omega=2\pi/P\) with a magnetic dipole moment \(m_{\perp}\) perpendicular to the spin axis, loses rotational energy at the rate

\begin{equation}\tag{49.25} \dot{E}=-\frac{\mu_{0}\,m_{\perp}^{2}\,\omega^{4}}{6\pi c^{3}}\ec \end{equation}

so that \(\dot{\omega}\propto-\omega^{3}\), the product \(P\dot{P}\) is constant, and

\begin{equation}\tag{49.26} \tau_{\mathrm{c}}\equiv\frac{P}{2\dot{P}} \end{equation}

bounds the age from above (equality for a star born spinning much faster than today). The surface polar field satisfies

\begin{equation}\tag{49.27} B_{\mathrm{p}}\sin\theta_{m} =\sqrt{\frac{3\mu_{0}c^{3}I\,P\dot{P}}{8\pi^{3}R^{6}}}\ec \end{equation}

with \(\theta_{m}\) the magnetic inclination. Rests on Definition 29.13, Equation (29.12) and Phenomenon 65.1.

Proof.

Derives Proposition 49.17. Electromagnetic theory gives, for any magnetic moment \(\vect{m}(t)\) varying in time, the radiated power \(\mu_{0}\abs{\ddot{\vect{m}}}^{2}/\left(6\pi c^{3}\right)\) — the magnetic counterpart of the electric-dipole formula, quoted here from its home in Section 65.3.2 [Jackson:1999]. For a moment of fixed magnitude inclined at \(\theta_{m}\) to the rotation axis, the component along the axis is static and the perpendicular component \(m_{\perp}=m\sin\theta_{m}\) rotates rigidly at \(\omega\), so \(\abs{\ddot{\vect{m}}}=\omega^{2}m_{\perp}\) at every instant, giving Equation (49.25). Setting \(\dot{E}=\dd\left(\tfrac{1}{2}I\omega^{2}\right)/\dd t =I\omega\dot{\omega}\) yields \(\dot{\omega}=-K\omega^{3}\) with \(K=\mu_{0}m_{\perp}^{2}/\left(6\pi c^{3}I\right)\); in terms of the period, \(P\dot{P}=4\pi^{2}K\), constant. Integrating \(\dot{\omega}=-K\omega^{3}\) from birth spin \(\omega_{0}\),

\[ t=\frac{P}{2\dot{P}} \left[1-\left(\frac{P_{0}}{P}\right)^{2}\right] \leq\frac{P}{2\dot{P}}\ec \]

which is Equation (49.26). Finally, a dipole of moment \(m\) has polar surface field \(B_{\mathrm{p}}=\mu_{0}m/\left(2\pi R^{3}\right)\); solving \(P\dot{P}=4\pi^{2}K\) for \(m_{\perp}\) gives Equation (49.27).

The Crab pulsar makes every line quantitative. With \(P=33.4\,\mathrm{ms}\), \(\dot{P}=4.2\times 10^{-13}\) and the canonical \(I=10^{38}\,\mathrm{kg}\,\mathrm{m}^{2}\) (a uniform \(1.4\,M_{\odot}\) sphere of \(12\,\mathrm{km}\) gives \(\tfrac{2}{5}MR^{2} \approx1.6\times 10^{38}\,\mathrm{kg}\,\mathrm{m}^{2}\)), Equation (49.25) gives \(\abs{\dot{E}}=4\pi^{2}I\dot{P}/P^{3}\approx4.5\times 10^{31}\,\mathrm{W}\) (computed) — and the Crab nebula is observed to radiate of order \(10^{31}\,\mathrm{W}\) across the whole spectrum. The pulsar's slowing powers the nebula, which settled the identification [Gold:1968] [Staelin:1968]. The characteristic age Equation (49.26) is \(1260\) years, against the \(972\) years actually elapsed since the supernova of AD 1054: the difference measures the birth period — about \(16\,\mathrm{ms}\) for pure dipole braking. And Equation (49.27) gives \(B_{\mathrm{p}}\approx4\times 10^{8}\,\mathrm{T}\) — ten million times the strongest steady laboratory magnet, yet a thousandth of a magnetar (Section 49.3.2).

The pulsar population

Over three thousand pulsars are now catalogued, and Proposition 49.17 organizes the whole population on one diagram, period against period derivative. Each star's position yields its characteristic age Equation (49.26) and field Equation (49.27); lines of constant age and constant field grid the plane, and populations separate cleanly on it.

The bulk of the population sits near \(P\sim1\,\mathrm{s}\), \(B_{\mathrm{p}}\sim10^{8}\,\mathrm{T}\), ages of megayears: ordinary pulsars, drifting toward long periods and radio death. In the corner of short period and small \(\dot{P}\) sit the millisecond pulsars, discovered with the \(1.558\,\mathrm{ms}\) PSR B1937+21 [Backer:1982]: by Equation (49.27) their fields are only \(\sim10^{4}\,\mathrm{T}\) to \(10^{5}\,\mathrm{T}\) and their characteristic ages exceed \(10^{8}\,\mathrm{yr}\) — old stars, not young ones. They are understood as recycled: spun up by accretion from a binary companion, which is why most millisecond pulsars have companions and why their timing is stable enough to serve as the precision clocks of Section 49.3.3. The record spin, 716 rotations per second [Hessels:2006], is close to but below the breakup rate of Equation (49.24) — itself a loose confirmation of the density.

At the opposite extreme, the magnetars: slowly rotating (\(P\sim2\,\mathrm{s}\) to \(12\,\mathrm{s}\)) but with spin-down fields of \(10^{10}\,\mathrm{T}\) to \(10^{11}\,\mathrm{T}\), whose decay — not rotation — powers X-ray and gamma-ray outbursts, as Duncan and Thompson proposed [Duncan:1992]. And superposed on the smooth spin-down of many young pulsars are glitches, sudden fractional spin-ups of order \(10^{-6}\) first seen in Vela [Radhakrishnan:1969]: the crust, spun down electromagnetically, decouples from an interior neutron superfluid whose quantized vortices (Superconductivity and Superfluidity) unpin and transfer angular momentum catastrophically — the one observational window on the superfluidity of the interior.

Binary pulsars: precision gravity

A pulsar in a close binary is a moving clock in a strong field, and timing it turns the orbit into a laboratory. The Hulse–Taylor binary PSR B1913+16 [Hulse:1975] is treated as an experiment, apparatus to error budget, in Experiment: Gravitational Waves (Section 47.1); its orbital decay was the first quantitative evidence for gravitational radiation, and the full derivation of the decay rate — eccentricity enhancement included — is carried out in The Quadrupole Formula for Gravitational Radiation. Here the binaries appear for what they contribute to this chapter: the most precise strong-field tests of general relativity, and the precisely measured neutron-star masses that anchor Section 49.4.1.

Phenomenon 49.18 (Orbital decay of a binary pulsar).

The orbit of the binary pulsar PSR B1913+16 is shrinking. Its orbital period decreases secularly, a change first measured within seven years of the system's discovery [Hulse:1975] [Taylor:1982]. Four decades of timing now give a decay rate agreeing with the quadrupole prediction of general relativity to about \(0.16\%\), once the relative acceleration of the solar system and the binary within the Galaxy is subtracted [Weisberg:2016]. The double pulsar PSR J0737-3039, in which both neutron stars are seen as pulsars [Burgay:2003], yields five independent post-Keplerian parameters from a single system, all mutually consistent [Kramer:2006]; sixteen years of its timing test the radiative sector to \(1.3\times 10^{-4}\) [Kramer:2021]. This is the evidence that gravitational radiation carries energy away from a system, and it preceded the direct detections by four decades. Rests on Equation (A.83), Phenomenon 46.1 and Postulate 44.3.

Derivation. Derives Phenomenon 49.18. The orbital-decay physics is proved in this book once, in The Quadrupole Formula for Gravitational Radiation: energy balance against the quadrupole luminosity Equation (46.6), carried through the Keplerian ellipse harmonics, gives the period derivative Equation (A.83), whose eccentricity enhancement factor \(f(e)=\left(1+\tfrac{73}{24}e^{2}+\tfrac{37}{96}e^{4}\right) \left(1-e^{2}\right)^{-7/2}\) evaluates to \(11.86\) at the measured \(e=0.6171\); with the measured masses the prediction is \(\dot{P}_{b}=-2.40\times 10^{-12}\), evaluated numerically there. We do not repeat the derivation; what remains to state is the correction named in the phenomenon. The observed \(\dot{P}_{b}\) is not purely intrinsic: the pulsar and the solar system accelerate differently in the Galactic potential, and a relative acceleration along the line of sight produces a secular drift of the apparent period (a kinematic Doppler derivative, with a further “Shklovskii” term from proper motion) that adds to \(\dot{P}_{b}\) at the per-cent level for PSR B1913+16. It is computed from the measured distance, proper motion and a Galactic rotation model, and subtracted; the \(0.16\%\) agreement of Section 47.1 is between the prediction and this intrinsic decay, and its error budget is now dominated by the Galactic correction, not by the timing [Weisberg:2016].

The double pulsar sharpens every number. PSR J0737-3039 is a \(2.45\,\mathrm{h}\) orbit holding a \(22.7\,\mathrm{ms}\) recycled pulsar and (until it precessed out of view) a \(2.77\,\mathrm{s}\) young one [Burgay:2003] [Kramer:2006]. Seeing both clocks fixes the mass ratio directly, so each measured post-Keplerian parameter — the periastron advance of about \(16.9^\circ\) per year (a Mercury-century of precession every six hours), the Einstein delay, the two Shapiro-delay parameters (the companion's orbit is seen nearly edge-on), and \(\dot{P}_{b}\) — is a separate test with no freedom left. All are mutually consistent; the Shapiro shape was tested to \(0.05\%\) already in 2006 [Kramer:2006], and with sixteen years of data the observed orbital decay agrees with the general-relativistic prediction to \(1.3\times 10^{-4}\) — the most stringent test of the quadrupole formula in existence [Kramer:2021]. The same fits deliver the component masses to a few parts in \(10^{4}\), \(m_{A}\approx1.34\,M_{\odot}\) and \(m_{B}\approx1.25\,M_{\odot}\) [Kramer:2021], the kind of measurement Section 49.4.1 builds on.

Maximum masses and radii

Bounds on the maximum mass

Every equation of state gives, through Theorem 49.9, a maximum neutron-star mass (Remark 49.15); measuring any single star's mass therefore falsifies every candidate whose maximum falls below it. Three binary pulsars carry the current record. The Shapiro delay — the extra light travel time through the companion's potential, the same effect measured across the solar system in The Equivalence Principle and Classical Tests — gave \(1.97\pm0.04\,M_{\odot}\) for PSR J1614-2230 [Demorest:2010]; the spectroscopic orbit of its white-dwarf companion gave \(2.01\pm0.04\,M_{\odot}\) for PSR J0348+0432 [Antoniadis:2013]; and Shapiro-delay timing of PSR J0740+6620 gave \(2.14^{+0.10}_{-0.09}\,M_{\odot}\) [Cromartie:2020], refined by further timing to \(2.08\pm0.07\,M_{\odot}\) [Fonseca:2021]. From the other side, causality alone bounds the maximum mass of any star built on known low-density physics near \(3\,M_{\odot}\) [Rhoades:1974]. The window left open — roughly \(2.1\,M_{\odot}\) to \(3\,M_{\odot}\) — is where the heaviest neutron star and the lightest black hole divide the sky between them.

Phenomenon 49.19 (Neutron stars reach two solar masses).

Several pulsars in binaries have masses measured dynamically — from the Shapiro delay of the pulses passing their companion, or from the companion's spectroscopic orbit — with no assumption whatever about the equation of state, and the values reach or exceed \(2\,M_{\odot}\): PSR J1614-2230 [Demorest:2010], PSR J0348+0432 [Antoniadis:2013] and PSR J0740+6620 [Cromartie:2020] [Fonseca:2021]. Every candidate equation of state whose maximum-mass configuration falls below these values is thereby excluded, which is the sharpest single constraint on matter above nuclear density. From the other side, causality alone — the requirement that the sound speed not exceed \(c\), matched to known physics at low density — bounds the mass of any neutron star by about \(3.2\,M_{\odot}\) [Rhoades:1974], and no static star of any composition may be more compact than the Buchdahl bound \(GM/\left(Rc^{2}\right)<4/9\) (Proposition 49.12). Rests on Theorem 49.9 and Proposition 49.12.

Derivation. Derives Phenomenon 49.19. The lower half of the statement rests on machinery already proved. The masses are Keplerian and post-Keplerian timing measurements — for the Shapiro delay, the excess delay as a function of orbital phase yields the companion mass and inclination separately, and the mass function then fixes the pulsar mass — with no reference to the pulsar's structure; the exclusion of soft equations of state is then immediate from Remark 49.15: the summit of \(M(\rho_{\mathrm{c}})\) computed from Equation (49.18) for the candidate \(P(\rho)\) falls below the measured mass, and no stable configuration of that matter can be the observed star.

The upper half — the Rhoades–Ruffini bound — needs one further argument, and it is worth exhibiting because it uses ignorance optimally. Suppose the equation of state is known up to some matching density \(\rho_{m}\) (nuclear physics vouches for it there) and completely unknown beyond, except for thermodynamic stability \(\dd P/\dd\rho\geq0\) and causality \(\dd P/\dd\rho\leq c^{2}\). Among all admissible continuations, the one supporting the largest mass is the stiffest, \(P=P_{m}+\left(\rho-\rho_{m}\right)c^{2}\): any softer choice lowers the pressure everywhere and with it the maximum mass. The bound is therefore computed by integrating Equations (49.17) and (49.18) with the causal continuation, and its scale is fixed by dimensional analysis alone. Above \(\rho_{m}\) the only quantities in the problem are \(G\), \(c\) and \(\rho_{m}\), and the unique mass they form is

\begin{equation}\tag{49.28} M_{\max}\propto\frac{c^{3}}{\sqrt{G^{3}\rho_{m}}} \quad\Longrightarrow\quad M_{\max}\approx3.2\, \left(\frac{\rho_{m}}{4.6\times 10^{17}\,\mathrm{kg}/\mathrm{m}^{3}}\right)^{-1/2} M_{\odot}\ec \end{equation}

where the dimensionless coefficient (about \(0.09\) of \(c^{3}/\sqrt{G^{3}\rho_{m}}\), computed) is quoted from the numerical integration of Rhoades and Ruffini at their matching density [Rhoades:1974]. The bound moves only as \(\rho_{m}^{-1/2}\) — trusting nuclear physics to twice the density costs merely a factor \(\sqrt{2}\) — which is what makes it robust, and it brackets the measured two-solar-mass stars from above with room to spare. The Buchdahl statement was proved as Proposition 49.12.

Radius measurements: X-ray pulse-profile modelling

Masses come from orbits; radii are harder, because a radius only shows itself through the spacetime curvature it sets. The NICER X-ray telescope on the International Space Station measures exactly that. Millisecond pulsars carry hot spots at their magnetic poles, and the thermal X-ray pulse observed as the star rotates is shaped by relativistic light bending: the more compact the star, the more of its far side is visible, the shallower the pulse modulation. Fitting the energy-resolved pulse profile of PSR J0030+0451 — with the rotational Doppler shift and aberration of the \(4.87\,\mathrm{ms}\) spin included — two teams analysing the same data with independent codes obtained \(R=13.02^{+1.24}_{-1.06}\,\mathrm{km}\) with \(M=1.44^{+0.15}_{-0.14}\,M_{\odot}\) [Miller:2019], and \(R=12.71^{+1.14}_{-1.19}\,\mathrm{km}\) with \(M=1.34^{+0.15}_{-0.16}\,M_{\odot}\) [Riley:2019]. For the \(2.08\,M_{\odot}\) pulsar J0740+6620 — where the mass is known in advance from radio timing (Section 49.4.1) — the same technique gives \(R=13.7^{+2.6}_{-1.5}\,\mathrm{km}\) [Miller:2021] and \(R=12.39^{+1.30}_{-0.98}\,\mathrm{km}\) [Riley:2021]: the heaviest well-measured neutron star is no smaller than the canonical ones, which by Remark 49.15 demands a pressure staying stiff deep into the core. An unanticipated by-product: the pulse-profile fits require the hot spots of J0030+0451 to lie in the same hemisphere — the magnetic field is far from a centred dipole, a discovery about pulsar magnetospheres made by a radius measurement [Miller:2019] [Riley:2019].

Tidal deformability: GW170817

The binary neutron-star inspiral GW170817 (Experiment: Gravitational Waves) measured neutron-star structure through a fourth, fully independent channel: the tidal distortion each star raises on the other imprints itself on the gravitational waveform in the final orbits [Abbott:2017]. The measured quantity is a dimensionless number defined as follows.

Definition 49.20 (Tidal deformability).

Place a star of mass \(M\) and radius \(R\) in a weak external tidal field \(\mathcal{E}_{ij}\) (in the Newtonian limit, \(\mathcal{E}_{ij}=\pp_{i}\pp_{j}\Phi_{\mathrm{ext}}\) evaluated at its centre). Its induced mass quadrupole moment is, to linear order,

\begin{equation}\tag{49.29} Q_{ij}=-\lambda\,\mathcal{E}_{ij}\ec\qquad \lambda=\frac{2}{3}\,k_{2}\,\frac{R^{5}}{G}\ec \end{equation}

which defines the tidal Love number \(k_{2}\); the dimensionless tidal deformability is

\begin{equation}\tag{49.30} \Lambda \equiv\frac{\lambda\,c^{10}}{G^{4}M^{5}} =\frac{2}{3}\,k_{2} \left(\frac{c^{2}R}{GM}\right)^{5}\ep \end{equation}

For realistic neutron stars \(k_{2}\approx0.05\) to \(0.15\) [Hinderer:2008], and the fifth power of the inverse compactness makes \(\Lambda\) a few hundred — and makes it, of all waveform parameters, the one that measures the radius.

Phenomenon 49.21 (The radius of a neutron star is near twelve kilometres).

Two methods sharing no systematics agree. Modelling the thermal X-ray pulse profile of PSR J0030+0451, whose shape is set by the relativistic bending of light around the star and therefore by its compactness, gives a radius between about \(12\,\mathrm{km}\) and \(13\,\mathrm{km}\); two teams analysed the same data independently and agreed [Miller:2019] [Riley:2019]. Measuring instead the tidal deformability imprinted on the late inspiral phasing of the binary neutron-star merger GW170817 [Abbott:2017] gives \(\Lambda(1.4\,M_{\odot})=190^{+390}_{-120}\) and a radius between about \(11\,\mathrm{km}\) and \(13.5\,\mathrm{km}\) [Abbott:2018]. Taken with Phenomenon 49.19, these bracket the pressure of matter above nuclear saturation density — the central unknown of Section 49.2.4 — from two directions at once: the masses exclude equations of state that are too soft, the radii those that are too stiff. Rests on Equation (49.30).

Derivation. Derives Phenomenon 49.21. Each method needs one mechanism derived: light bending for the pulse profile, and the entry of \(\Lambda\) into the waveform for GW170817.

Light bending. A photon leaving the surface at angle \(\alpha\) to the outward radial direction carries, by the null-geodesic machinery of Schwarzschild Geometry and Black Holes, an impact parameter \(b=R\sin\alpha/\sqrt{1-r_{\mathrm{s}}/R}\), and arrives at infinity at an angle

\[ \psi(\alpha)=\int_{R}^{\infty} \frac{b\,\dd r} {r^{2}\sqrt{1-\dfrac{b^{2}}{r^{2}} \left(1-\dfrac{r_{\mathrm{s}}}{r}\right)}} \]

from the radius of emission. Grazing emission (\(\alpha=\pi/2\)) fixes the visible cap: everything within colatitude \(\psi_{\max}=\psi(\pi/2)\) of the sub-observer point is seen at once, and \(\psi_{\max}>\pi/2\) whenever \(r_{\mathrm{s}}>0\) — a compact star shows more than half its surface. The integral is done numerically in the fits; the compact approximation \(\cos\alpha\approx u+\left(1-u\right)\cos\psi\) with \(u=r_{\mathrm{s}}/R\), accurate to a per cent for \(R\gtrsim2r_{\mathrm{s}}\) [Beloborodov:2002], exhibits the physics: \(\cos\psi_{\max}=-u/\left(1-u\right)\), so for PSR J0030+0451 (\(u\approx0.33\)) the visible cap extends to \(\psi_{\max}\approx119^{\circ}\) — about \(74\%\) of the surface (computed). A polar hot spot therefore never fully disappears, and the depth of the pulse modulation falls monotonically with \(u\): the profile measures compactness, while the observed flux and temperature scale, blue- and redshifted by \(\left(1+z\right)=\left(1-u\right)^{-1/2}\approx1.2\), tie in the radius itself. Inverting energy-resolved profiles for mass, radius, spot geometry and viewing angle is the numerical likelihood analysis of [Miller:2019] [Riley:2019], run twice with independent codes as the phenomenon records.

Tidal phasing. In a binary at separation \(r\), each star sits in its companion's tidal field, \(\mathcal{E}_{ij}\sim Gm_{2}/r^{3}\), and by Equation (49.29) acquires \(Q_{ij}=-\lambda\mathcal{E}_{ij}\). The induced quadrupole does two things, both scaling with \(\lambda\): it deepens the mutual potential by the induced-moment interaction \(\delta U=-\tfrac{1}{2}\lambda\mathcal{E}_{ij}\mathcal{E}^{ij} \sim-\lambda G^{2}m_{2}^{2}/r^{6}\), and it adds coherently to the quadrupole moment whose time variation radiates (Equation (46.6)). Relative to the point-mass energy \(\sim Gm_{1}m_{2}/r\), the tidal term is smaller by \(\lambda G/r^{5}\sim\Lambda\left(GM/rc^{2}\right)^{5}\): five powers of compactness, i.e. ten powers of \(v/c\) — formally a fifth-post-Newtonian correction, utterly negligible except that \(\Lambda\) is a few hundred, and that the phase of a chirping binary (Equation (46.8)) accumulates over thousands of cycles. Carrying the energy and flux corrections through the phase evolution gives the leading tidal contribution to the frequency-domain phase, proportional to the single mass-weighted combination

\[ \tilde{\Lambda} =\frac{16}{13}\, \frac{\left(m_{1}+12m_{2}\right)m_{1}^{4}\Lambda_{1} +\left(m_{2}+12m_{1}\right)m_{2}^{4}\Lambda_{2}} {\left(m_{1}+m_{2}\right)^{5}}\ec \]

with a known numerical coefficient, quoted from the standard computation [Flanagan:2008] [Hinderer:2008]. Matched filtering of GW170817's final orbits therefore measures \(\tilde{\Lambda}\); the discovery analysis bounded \(\Lambda(1.4\,M_{\odot})\leq800\) at \(90\%\) confidence (low-spin prior) [Abbott:2017], and the dedicated reanalysis gives \(\Lambda(1.4\,M_{\odot})=190^{+390}_{-120}\), which through Equation (49.30) with the relativistic \(k_{2}\) of [Hinderer:2008] yields \(R=11.9\pm1.4\,\mathrm{km}\) for both stars [Abbott:2018] — the numbers the phenomenon quotes, in agreement with NICER's, from data that share not a single instrument, wavelength or systematic. The same event's electromagnetic counterpart — the kilonova whose lanthanide spectra realized the r-process site of Stellar Structure and Nucleosynthesis — and its detection history belong to Experiment: Gravitational Waves.

The black-hole endpoint

Beyond the maximum mass there is nothing. The sequence of cold equilibria ends (Section 49.4.1), the Buchdahl bound (Proposition 49.12) forbids trading size for survival, and a core pushed past the limit — by accretion, by a merger, or at birth — collapses with nothing left to stop it. Oppenheimer and Snyder solved the idealized problem in the same year as the equilibrium equations: a uniform pressureless cloud collapsing from rest [Oppenheimer:1939b]. Each dust element falls along a radial geodesic of the exterior geometry, reaching the gravitational radius \(r_{\mathrm{s}}\) and the centre in finite proper time — for a neutron star of \(2\,M_{\odot}\) collapsing from \(12\,\mathrm{km}\), the free-fall time \(\tau=\tfrac{\pi}{2}\sqrt{R_{0}^{3}/\left(2GM\right)}\) is about a tenth of a millisecond (computed) — while a distant observer, receiving light ever more redshifted by the factor \(\left(1-r_{\mathrm{s}}/r\right)^{-1/2}\) of Schwarzschild Geometry and Black Holes, sees the surface freeze and fade at \(r_{\mathrm{s}}\). Nothing marks the crossing locally: the horizon is a global feature of the geometry, not a place where anything happens, and the interior solution matches a collapsing cosmology of the very kind Evidence-Based Cosmology runs forward.

That is where this chapter hands over. The observational record of the objects on the far side of the Buchdahl line — X-ray binary masses, the shadow of a horizon, ringdowns — is Experiment: Black-Hole Observations; the merger catalogue of Experiment: Gravitational Waves, opened by GW150914 [Abbott:2016], now measures both sides of the boundary at once, heaviest neutron stars against lightest black holes, and the sparsely populated interval between about \(2.2\,M_{\odot}\) and \(5\,M_{\odot}\) — the “mass gap”, whether real or observational — is the current form of a question this chapter has asked three times: how much cold matter can gravity tolerate? Every answer so far — Chandrasekhar's \(1.4\,M_{\odot}\), causality's \(3\,M_{\odot}\), Buchdahl's \(4/9\) — has been a theorem first and a measurement second, which is this book's definition of understanding a thing.