78 research outputs found
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 -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 ( M)
than for the Bag model ( M).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 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 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 (
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, 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 , and
light quark () events from decays measured in the SLD experiment.
Impact parameters of charged tracks were used to select enriched samples of
and light quark events, and reconstructed charmed mesons were used to select
quark events. We measured the charged multiplicities:
,
, from
which we derived the differences between the total average charged
multiplicities of or quark events and light quark events: and . 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
- âŠ