Test a dense-matter equation of state
Separate thermodynamic consistency, local sound speed, stellar stability, and observational mass constraints.
On this page
The question for today
What you’ll understand
- Distinguish rest density from total energy density.
- Apply a derivative-based causality test to a cold equation of state.
- Interpret high pulsar masses as constraints with measurement and rotation assumptions.
An equation of state converts microscopic matter assumptions into the pressure needed by relativistic stellar structure. A large pressure alone does not make the model acceptable. Its thermodynamics must be consistent, its relevant perturbations must propagate causally, and its stellar configurations must remain stable. Observed neutron-star masses and radii add empirical tests, but they constrain different density ranges and do not uniquely identify the particles inside a stellar core.
Define the thermodynamic path
For a cold one-parameter equilibrium family, let n be baryon number density and epsilon total energy density, including baryon rest energy. At zero temperature the first law and the pressure relation connect these quantities. Pressure cannot be chosen independently from an unrelated energy table without checking that connection. A table for fixed proton fraction is not automatically the same barotrope as one in beta equilibrium, even if both are described informally as cold nuclear matter.
At finite temperature, pressure depends on entropy and composition as well as density. A small-amplitude perturbation may be faster than weak reactions, freezing composition instead of following the equilibrium composition curve. Its sound speed then uses that constrained thermodynamic derivative. The simple derivative below describes the specified cold barotrope; applying it to oscillations or merger matter needs an explicit choice of reaction and thermal time scales. The equation of state and the perturbation closure are related but distinct inputs.
Check local stiffness rather than pressure alone
Positive compressibility requires a nonnegative pressure derivative in the stable homogeneous region. Relativistic causality requires its sound speed not exceed c, giving for this simple perfect-fluid description. Phase coexistence can have a zero equilibrium slope. These conditions do not guarantee a stable star: gravity can destabilize a sequence whose local matter remains causal. Conversely, the inequality by itself does not constrain a sharply increasing derivative.
A thermodynamically consistent polytrope in rest density illustrates the danger. For constant exponent Gamma greater than one, integrate the cold first law to obtain the internal energy contribution P divided by Gamma minus one. The resulting sound-speed formula uses total energy plus pressure in its denominator. At very high pressure, an exponent larger than two eventually becomes acausal, even though it may provide an adequate fit over a restricted lower-density interval. An extrapolation must be tested over its actual use domain.
Use observations as likelihoods with physical conditions
As a dated empirical benchmark, Fonseca and collaborators reported a gravitational mass for PSR J0740+6620 in 2021, at 68.3 percent credibility from relativistic Shapiro delay. A viable stellar model must accommodate the measured rotating star within the relevant uncertainties and assumptions. Translating that observation into a constraint on the nonrotating maximum mass requires assessing rotational support; the observed central value is not itself a universal maximum-mass theorem.
Radius and tidal measurements probe integrated structure and typically emphasize pressures below the highest central density of the maximum-mass star. Their inference includes priors and emission or waveform models. The 2024 analysis by Rutherford and collaborators explicitly combines new NICER estimates, nuclear-theory inputs, masses, and tides under chosen parameterizations. Such dated analyses are evidence for a restricted family of equations of state, rather than a unique measured pressure curve or a proof that a proposed exotic component is present.
Work it through
A pressure below energy density can still be acausal
Take the cold polytrope with at a point where . Find total energy density and sound-speed squared. Determine the largest ratio allowed by this local causality test.
The internal energy is , so the total is . Pressure is smaller than total energy density at this point.
The derivative gives . This is superluminal despite the pressure inequality, so the model cannot be used there as a causal relativistic fluid.
For general x the derivative is . Requiring it not exceed one yields , or .
The selected state fails causality. The same polytropic formula could only pass this local test in the stated lower-pressure domain, with other stability and empirical checks still required.
The living notebook
Explore the model
Interactive lab · function
Compare local slopes in a restricted algebraic model
Reset and set a = 0.5 and x = 1, predicting slope 1. Compare after a fresh Reset with a = 1 and x = 1, predicting slope 2. This exposes how a derivative changes independently of naming a curve. The axes are dimensionless lab variables, not pressure and energy density; neither slope is declared a stellar sound speed and the lab does not enforce causality or integrate a star.
- y at chosen x
- 0.608
- Tangent slope · 2ax
- 1.35
- Signed area · ax³/3
- 0.182
This lab uses only y = ax². Playback traces the curve within the fixed integration interval from 0 to x; it does not estimate numerical error or change the chosen point. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.
Look forLocal derivatives and thermodynamic paths determine sound speeds.
Pause & reason
Check your understanding
Your turn
Try it yourself
A cold segment has at and constant slope one half up to energy density six hundred in the same units. Find its final pressure and sound speed. Using the cold first law, find the baryon-density ratio across the segment.
Take a moment to make a prediction or work it out on paper. Open a hint when you need one.
Give me a hint
For constant slope s, integration gives n proportional to (ε+P) to the power 1/(1+s), up to the matching normalization.
Compare with the solution
The energy-density increase two hundred raises pressure by one hundred, giving final pressure . The sound speed is . Since and , the density ratio is . This fixes a relative thermodynamic normalization only; one still needs a matched low-density equation of state and a full structural integration to predict any stellar mass.
Keep the idea
Take it with you
- Local derivatives and thermodynamic paths determine sound speeds.
- Causality, radial stability, and empirical compatibility are separate requirements.
- Dated mass–radius inferences constrain model families with uncertainty.
Read further
Original sources and deeper explanations to follow at your own pace.
- Lattimer and Prakash: The Equation of State of Hot, Dense Matter and Neutron Stars, causality and cold thermodynamics
- Fonseca et al. (2021): Refined Mass and Geometric Measurements of the High-Mass PSR J0740+6620
- Rutherford et al. (2024): Constraining the dense matter equation of state with new NICER measurements and chiral effective field theory
Optional progress, saved in this browser when available. Revisit any lesson at any time.
Lesson not marked complete.