Radio timing of binary millisecond pulsar PSR J1614-2230, using the Shapiro delay from a nearly edge-on orbit to measure the pulsar mass at 1.97 ± 0.04 solar masses — at the time by far the most precise measurement near the top of the neutron-star mass range, and a direct constraint that rules out several soft equations of state (hyperons/bosons/free quarks) at nuclear density. Establishes that real, observed neutron stars reach ~2 solar masses at nuclear-matter density (~10^17-10^18 kg/m^3) and, being old evolved binary-pulsar systems, have survived at that density for a Gyr-scale age. relevance_note: A primary precision observational input for “neutron stars of near-maximal mass/density exist and are old” — the empirical substrate the neutron-star-survival leg of Premise B needs.
Methodology
Radio timing of PSR J1614-2230 with the GBT and the GUPPI backend: a dense orbital campaign in March 2010 (three superior-conjunction epochs over two months) plus long-term 2002-2010 timing; 2,206 pulse times of arrival, rms residual 1.1 us, reduced chi^2 = 1.4 (2165 dof). The nearly edge-on orbit (sin i = 0.999894(5)) produces a strong Shapiro delay whose shape yields companion mass and inclination — hence the pulsar mass — from general relativity alone, with essentially no astrophysical model assumptions; MCMC error analysis, orbital dispersion-measure variation bounded to < 2e-4 pc cm^-3 (delays < 0.4 us), and the three conjunction epochs give mutually consistent results.
Results
O-1 - PSR J1614-2230 pulsar mass measured at 1.97 solar masses via Shapiro delay
Key system parameters (Table 1): spin period 3.15 ms; orbital period 8.6866194196(2) d; eccentricity 1.30(4)e-6; sin i = 0.999894(5); companion mass 0.500(6) Msun; 2,206 pulse times of arrival, rms residual 1.1 us; reduced chi^2 = 1.4 (2165 dof). MCMC error analysis; orbital dispersion-measure variation limited to < 2e-4 pc cm^-3 (delays < 0.4 us), and three conjunction epochs over 2 months give consistent results. Unlike X-ray or periastron-advance mass determinations, the Shapiro-delay measurement involves essentially no astrophysical model assumptions.
Link to originalMethodology
Radio timing of PSR J1614-2230 with the GBT and the GUPPI backend: a dense orbital campaign in March 2010 (three superior-conjunction epochs over two months) plus long-term 2002-2010 timing; 2,206 pulse times of arrival, rms residual 1.1 us, reduced chi^2 = 1.4 (2165 dof). The nearly edge-on orbit (sin i = 0.999894(5)) produces a strong Shapiro delay whose shape yields companion mass and inclination — hence the pulsar mass — from general relativity alone, with essentially no astrophysical model assumptions; MCMC error analysis, orbital dispersion-measure variation bounded to < 2e-4 pc cm^-3 (delays < 0.4 us), and the three conjunction epochs give mutually consistent results.
Link to original
O-2 - PSR J1614-2230 is an old evolved system with characteristic age 5.2 Gyr
The recycled state (full spin-up, low eccentricity 1.3e-6, evolved WD companion) independently attests to a Gyr-scale binary evolution history: the proposed formation channel involves an original ~3 Msun companion star and predicts the neutron star accreted only a few hundredths of a solar mass, implying it was likely born massive (~1.9 Msun) and has held essentially this mass for its whole life.
Link to original
Discussion
H-1 - Neutron-star matter has a stiff equation of state - no hyperons, bosons, or free quarks near nuclear saturation density
Link to original
A-13 - A measured 1.97-solar-mass neutron star bounds the maximum density of cold matter at about 4e15 g per cm3
Reasoning
- In GR, any EOS for cold matter determines a unique nonrotating mass-radius sequence with a maximum mass; a star observed at mass M excludes every EOS with maximum mass < M. This step is deductive: it needs only that GR describe the star’s gravity (which the same system’s Shapiro delay presupposes and later systems test).
- Lattimer & Prakash’s EOS-independent analytic bound inverts this: given the largest measured mass, the central density of the maximum-mass configuration cannot exceed a value scaling as M^-2; for M = 1.97 Msun this gives rho_max <~ 4e15 g cm^-3, i.e. ~10 n_s.
- Consequences drawn in the paper: soft EOSs with hyperon/kaon-condensate softening (e.g. GS1, GM3) fall below the J1614-2230 band and are ruled out; condensed quark matter is constrained but not fully excluded (some strange-quark-matter models survive).
- The nontrivial content is the quantitative EOS-independent density bound (step 2-3); it converts a single mass number into a universal statement about the densest stable cold matter our world contains.
Validity verdict (step 6)
Reconstruction: premise 1 = GR determines, per EOS, a maximum nonrotating mass (so an observed 1.97 Msun star excludes every EOS with Mmax below it) - traced, elementary. Premise 2 / load-bearing step = the Lattimer-Prakash EOS-independent analytic bound rho_max ∝ M^-2, giving ~4e15 g/cm3 at 1.97 Msun. That derivation (PRL 94, 111101; Tolman-solution-based) is a specialist GR calculation not feasibly traced here, so the verdict is trusted - on the grounds that the bound is independently reused across the neutron-star EOS literature with no published refutation, not on author identity. The instantiation from the bound to the quoted number is checked.
Link to original