V.P55 — Neutron star phase sequence

Neutron star phase sequence: a one-parameter family of inequality crossings parameterized by density rho: crystal -> drip (mu_n > 0) -> pasta (theta varies) -> core (kappa drops); each arrow is an inequality crossing in defect-tuple space.