Crucial Physical Dependencies of the Core-Collapse Supernova Mechanism

We explore with self-consistent 2D F{\sc{ornax}} simulations the dependence of the outcome of collapse on many-body corrections to neutrino-nucleon cross sections, the nucleon-nucleon bremsstrahlung rate, electron capture on heavy nuclei, pre-collapse seed perturbations, and inelastic neutrino-electron and neutrino-nucleon scattering. Importantly, proximity to criticality amplifies the role of even small changes in the neutrino-matter couplings, and such changes can together add to produce outsized effects. When close to the critical condition the cumulative result of a few small effects (including seeds) that individually have only modest consequence can convert an anemic into a robust explosion, or even a dud into a blast. Such sensitivity is not seen in one dimension and may explain the apparent heterogeneity in the outcomes of detailed simulations performed internationally. A natural conclusion is that the different groups collectively are closer to a realistic understanding of the mechanism of core-collapse supernovae than might have seemed apparent.Comment: 25 pages; 10 figure

A Machine-Checked Formalization of the Generic Model and the Random Oracle Model

Most approaches to the formal analyses of cryptographic protocols make the perfect cryptography assumption, i.e. the hypothese that there is no way to obtain knowledge about the plaintext pertaining to a ciphertext without knowing the key. Ideally, one would prefer to rely on a weaker hypothesis on the computational cost of gaining information about the plaintext pertaining to a ciphertext without knowing the key. Such a view is permitted by the Generic Model and the Random Oracle Model which provide non-standard computational models in which one may reason about the computational cost of breaking a cryptographic scheme. Using the proof assistant Coq, we provide a machine-checked account of the Generic Model and the Random Oracle Mode

Warm stellar matter with deconfinement: application to compact stars

We investigate the properties of mixed stars formed by hadronic and quark matter in $\beta$-equilibrium described by appropriate equations of state (EOS) in the framework of relativistic mean-field theory. We use the non- linear Walecka model for the hadron matter and the MIT Bag and the Nambu-Jona-Lasinio models for the quark matter. The phase transition to a deconfined quark phase is investigated. In particular, we study the dependence of the onset of a mixed phase and a pure quark phase on the hyperon couplings, quark model and properties of the hadronic model. We calculate the strangeness fraction with baryonic density for the different EOS. With the NJL model the strangeness content in the mixed phase decreases. The calculations were performed for T=0 and for finite temperatures in order to describe neutron and proto-neutron stars. The star properties are discussed. Both the Bag model and the NJL model predict a mixed phase in the interior of the star. Maximum allowed masses for proto-neutron stars are larger for the NJL model ($\sim 1.9$ M$_{\bigodot}$) than for the Bag model ($\sim 1.6$ M$_{\bigodot}$).Comment: RevTeX,14 figures, accepted to publication in Physical Review

Stability of the lattice formed in first-order phase transitions to matter containing strangeness in protoneutron stars

Well into the deleptonization phase of a core collapse supernova, a first-order phase transition to matter with macroscopic strangeness content is assumed to occur and lead to a structured lattice defined by negatively charged strange droplets. The lattice is shown to crystallize for expected droplet charges and separations at temperatures typically obtained during the protoneutronstar evolution. The melting curve of the lattice for small spherical droplets is presented. The one-component plasma model proves to be an adequate description for the lattice in its solid phase with deformation modes freezing out around the melting temperature. The mechanical stability against shear stresses is such that velocities predicted for convective phenomena and differential rotation during the Kelvin-Helmholtz cooling phase might prevent the crystallization of the phase transition lattice. A solid lattice might be fractured by transient convection, which could result in anisotropic neutrino transport. The melting curve of the lattice is relevant for the mechanical evolution of the protoneutronstar and therefore should be included in future hydrodynamics simulations.Comment: accepted for publication in Physical Review

Neutrino Emission from Goldstone Modes in Dense Quark Matter

We calculate neutrino emissivities from the decay and scattering of Goldstone bosons in the color-flavor-locked (CFL) phase of quarks at high baryon density. Interactions in the CFL phase are described by an effective low-energy theory. For temperatures in the tens of keV range, relevant to the long-term cooling of neutron stars, the emissivities involving Goldstone bosons dominate over those involving quarks, because gaps in the CFL phase are $\sim 100$ MeV while the masses of Goldstone modes are on the order of 10 MeV. For the same reason, the specific heat of the CFL phase is also dominated by the Goldstone modes. Notwithstanding this, both the emissivity and the specific heat from the massive modes remain rather small, because of their extremely small number densities. The values of the emissivity and the specific heat imply that the timescale for the cooling of the CFL core in isolation is $\sim 10^{26}$ y, which makes the CFL phase invisible as the exterior layers of normal matter surrounding the core will continue to cool through significantly more rapid processes. If the CFL phase appears during the evolution of a proto-neutron star, neutrino interactions with Goldstone bosons are expected to be significantly more important since temperatures are high enough ($\sim 20-40$ MeV) to admit large number densities of Goldstone modes.Comment: 29 pages, no figures. slightly modified text, one new eqn. and new refs. adde

TAuth: Verifying timed security protocols

Quantitative timing is often explicitly used in systems for better security, e.g., the credentials for automatic website logon often has limited lifetime. Verifying timing relevant security protocols in these systems is very challenging as timing adds another dimension of complexity compared with the untimed protocol verification. In our previous work, we proposed an approach to check the correctness of the timed authentication in security protocols with fixed timing constraints. However, a more difficult question persists, i.e., given a particular protocol design, whether the protocol has security flaws in its design or it can be configured secure with proper parameter values? In this work, we answer this question by proposing a parameterized verification framework, where the quantitative parameters in the protocols can be intuitively specified as well as automatically analyzed. Given a security protocol, our verification algorithm either produces the secure constraints of the parameters, or constructs an attack that works for any parameter values. The correctness of our algorithm is formally proved. We implement our method into a tool called PTAuth and evaluate it with several security protocols. Using PTAuth, we have successfully found a timing attack in Kerberos V which is unreported before.No Full Tex

Isospin Asymmetry in Nuclei and Neutron Stars

The roles of isospin asymmetry in nuclei and neutron stars are investigated using a range of potential and field-theoretical models of nucleonic matter. The parameters of these models are fixed by fitting the properties of homogeneous bulk matter and closed-shell nuclei. We discuss and unravel the causes of correlations among the neutron skin thickness in heavy nuclei, the pressure of beta-equilibrated matter at a density of 0.1 fm$^{-3}$, the derivative of the nuclear symmetry energy at the same density and the radii of moderate mass neutron stars. Constraints on the symmetry properties of nuclear matter from the binding energies of nuclei are examined. The extent to which forthcoming neutron skin measurements will further delimit the symmetry properties is investigated. The impact of symmetry energy constraints for the mass and moment of inertia contained within neutron star crusts and the threshold density for the nucleon direct Urca process, all of which are potentially measurable, is explored. We also comment on the minimum neutron star radius, assuming that only nucleonic matter exists within the star.Comment: 49 pages, 17 figures, Phys. Rep. (in press); made improvements to "RAPR" and corrected transition densitie

Neutron star properties in the quark-meson coupling model

The effects of internal quark structure of baryons on the composition and structure of neutron star matter with hyperons are investigated in the quark-meson coupling (QMC) model. The QMC model is based on mean-field description of nonoverlapping spherical bags bound by self-consistent exchange of scalar and vector mesons. The predictions of this model are compared with quantum hadrodynamic (QHD) model calibrated to reproduce identical nuclear matter saturation properties. By employing a density dependent bag constant through direct coupling to the scalar field, the QMC model is found to exhibit identical properties as QHD near saturation density. Furthermore, this modified QMC model provides well-behaved and continuous solutions at high densities relevant to the core of neutron stars. Two additional strange mesons are introduced which couple only to the strange quark in the QMC model and to the hyperons in the QHD model. The constitution and structure of stars with hyperons in the QMC and QHD models reveal interesting differences. This suggests the importance of quark structure effects in the baryons at high densities.Comment: 28 pages, 10 figures, to appear in Physical Review

Measurement of the Charged Multiplicities in b, c and Light Quark Events from Z0 Decays

Average charged multiplicities have been measured separately in $b$, $c$ and light quark ($u,d,s$) events from $Z^0$ decays measured in the SLD experiment. Impact parameters of charged tracks were used to select enriched samples of $b$ and light quark events, and reconstructed charmed mesons were used to select $c$ quark events. We measured the charged multiplicities: $\bar{n}_{uds} = 20.21 \pm 0.10 (\rm{stat.})\pm 0.22(\rm{syst.})$, $\bar{n}_{c} = 21.28 \pm 0.46(\rm{stat.}) ^{+0.41}_{-0.36}(\rm{syst.})$ $\bar{n}_{b} = 23.14 \pm 0.10(\rm{stat.}) ^{+0.38}_{-0.37}(\rm{syst.})$, from which we derived the differences between the total average charged multiplicities of $c$ or $b$ quark events and light quark events: $\Delta \bar{n}_c = 1.07 \pm 0.47(\rm{stat.})^{+0.36}_{-0.30}(\rm{syst.})$ and $\Delta \bar{n}_b = 2.93 \pm 0.14(\rm{stat.})^{+0.30}_{-0.29}(\rm{syst.})$. We compared these measurements with those at lower center-of-mass energies and with perturbative QCD predictions. These combined results are in agreement with the QCD expectations and disfavor the hypothesis of flavor-independent fragmentation.Comment: 19 pages LaTex, 4 EPS figures, to appear in Physics Letters