We analyze binary population models of double-neutron stars and compare
results to the accurately measured orbital periods and eccentricities of the
eight known such systems in our Galaxy. In contrast to past similar studies, we
especially focus on the dominant evolutionary channels (we identify three); for
the first time, we use a detailed understanding of the evolutionary history of
three double neutron stars as actual constraints on the population models. We
find that the evolutionary constraints derived from the double pulsar are
particularly tight, and less than half of the examined models survive the full
set of constraints. The top-likelihood surviving models yield constraints on
the key binary evolution parameters, but most interestingly reveal (i) the need
for electron-capture supernovae from relatively low-mass degenerate, progenitor
cores, and (ii) the most likely evolutionary paths for the rest of the known
double neutron stars. In particular, we find that J1913+16 likely went through
a phase of Case BB mass transfer, and J1906+0746 and J1756-2251 are consistent
with having been formed in electron-capture supernovae.Comment: 17 pages, 9 figure