348 research outputs found
Photon Spectrum Produced by the Late Decay of a Cosmic Neutrino Background
We obtain the photon spectrum induced by a cosmic background of unstable
neutrinos. We study the spectrum in a variety of cosmological scenarios and
also we allow for the neutrinos having a momentum distribution (only a critical
matter dominated universe and neutrinos at rest have been considered until
now). Our results can be helpful when extracting bounds on neutrino electric
and magnetic moments from cosmic photon background observations.Comment: RevTex, 14 pages, 3 figures; minor changes, references added. To
appear in Phys. Rev.
A formal framework to prove the correctness of model driven engineering composition operators
International audienceCurrent trends in system engineering combine modeling, composition and verification technologies in order to harness their ever growing complexity. Each composition operator dedicated to a different modeling concern should be proven to be property preserving at assembly time. These proofs are usually burdensome with repetitive aspects. Our work targets the factorisation of these aspects relying on primitive generic composition operators used to express more sophisticated language specific ones. These operators are defined for languages expressed with OMG MOF metamodeling technologies. The proof are done with the Coq proof assistant relying on the Coq4MDE framework defined previously. These basic operators, Union and Substitution, are illustrated using the MOF Package Merge as composition operator and the preservation of model conformance as verified property
The scintillation and ionization yield of liquid xenon for nuclear recoils
XENON10 is an experiment designed to directly detect particle dark matter. It
is a dual phase (liquid/gas) xenon time-projection chamber with 3D position
imaging. Particle interactions generate a primary scintillation signal (S1) and
ionization signal (S2), which are both functions of the deposited recoil energy
and the incident particle type. We present a new precision measurement of the
relative scintillation yield \leff and the absolute ionization yield Q_y, for
nuclear recoils in xenon. A dark matter particle is expected to deposit energy
by scattering from a xenon nucleus. Knowledge of \leff is therefore crucial for
establishing the energy threshold of the experiment; this in turn determines
the sensitivity to particle dark matter. Our \leff measurement is in agreement
with recent theoretical predictions above 15 keV nuclear recoil energy, and the
energy threshold of the measurement is 4 keV. A knowledge of the ionization
yield \Qy is necessary to establish the trigger threshold of the experiment.
The ionization yield \Qy is measured in two ways, both in agreement with
previous measurements and with a factor of 10 lower energy threshold.Comment: 8 pages, 9 figures. To be published in Nucl. Instrum. Methods
Design and Performance of the XENON10 Dark Matter Experiment
XENON10 is the first two-phase xenon time projection chamber (TPC) developed
within the XENON dark matter search program. The TPC, with an active liquid
xenon (LXe) mass of about 14 kg, was installed at the Gran Sasso underground
laboratory (LNGS) in Italy, and operated for more than one year, with excellent
stability and performance. Results from a dark matter search with XENON10 have
been published elsewhere. In this paper, we summarize the design and
performance of the detector and its subsystems, based on calibration data using
sources of gamma-rays and neutrons as well as background and Monte Carlo
simulations data. The results on the detector's energy threshold, energy and
position resolution, and overall efficiency show a performance that exceeds
design specifications, in view of the very low energy threshold achieved (<10
keVr) and the excellent energy resolution achieved by combining the ionization
and scintillation signals, detected simultaneously
Fermi-Dirac corrections to the relic abundances
We derive an equation for the evolution of the number density of a massive particle species in the early universe, which correctly accounts for the Fermi-Dirac (FD) statistics. The FD-corrections are sizable and potentially important if the decoupling from the thermal equilibrium takes place at temperatures of the order of, or less than the mass of the particle. This is the case e.g. for a few MeV tau neutrino with the ordinary weak interactions.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/30645/1/0000287.pd
Influence Diagrams With Memory States: Representation and Algorithms
Abstract. Influence diagrams (IDs) offer a powerful framework for decision making under uncertainty, but their applicability has been hindered by the exponential growth of runtime and memory usage—largely due to the no-forgetting assumption. We present a novel way to maintain a limited amount of memory to inform each decision and still obtain near-optimal policies. The approach is based on augmenting the graphical model with memory states that represent key aspects of previous observations—a method that has proved useful in POMDP solvers. We also derive an efficient EM-based message-passing algorithm to compute the policy. Experimental results show that this approach produces highquality approximate polices and offers better scalability than existing methods.
Determination of the Strange Quark Content of the Nucleon from a Next-to-Leading-Order QCD Analysis of Neutrino Charm Production
We present the first next-to-leading-order QCD analysis of neutrino charm
production, using a sample of 6090 - and -induced
opposite-sign dimuon events observed in the CCFR detector at the Fermilab
Tevatron. We find that the nucleon strange quark content is suppressed with
respect to the non-strange sea quarks by a factor \kappa = 0.477 \:
^{+\:0.063}_{-\:0.053}, where the error includes statistical, systematic and
QCD scale uncertainties. In contrast to previous leading order analyses, we
find that the strange sea -dependence is similar to that of the non-strange
sea, and that the measured charm quark mass, , is larger and consistent with that determined in other processes.
Further analysis finds that the difference in -distributions between
and is small. A measurement of the Cabibbo-Kobayashi-Maskawa
matrix element is also presented.
uufile containing compressed postscript files of five Figures is appended at
the end of the LaTeX source.Comment: Nevis R#150
Relic Neutrino Absorption Spectroscopy
Resonant annihilation of extremely high-energy cosmic neutrinos on big-bang
relic anti-neutrinos (and vice versa) into Z-bosons leads to sizable absorption
dips in the neutrino flux to be observed at Earth. The high-energy edges of
these dips are fixed, via the resonance energies, by the neutrino masses alone.
Their depths are determined by the cosmic neutrino background density, by the
cosmological parameters determining the expansion rate of the universe, and by
the large redshift history of the cosmic neutrino sources. We investigate the
possibility of determining the existence of the cosmic neutrino background
within the next decade from a measurement of these absorption dips in the
neutrino flux. As a by-product, we study the prospects to infer the absolute
neutrino mass scale. We find that, with the presently planned neutrino
detectors (ANITA, Auger, EUSO, OWL, RICE, and SalSA) operating in the relevant
energy regime above 10^{21} eV, relic neutrino absorption spectroscopy becomes
a realistic possibility. It requires, however, the existence of extremely
powerful neutrino sources, which should be opaque to nucleons and high-energy
photons to evade present constraints. Furthermore, the neutrino mass spectrum
must be quasi-degenerate to optimize the dip, which implies m_{nu} >~ 0.1 eV
for the lightest neutrino. With a second generation of neutrino detectors,
these demanding requirements can be relaxed considerably.Comment: 19 pages, 26 figures, REVTeX
Towards Machine Wald
The past century has seen a steady increase in the need of estimating and
predicting complex systems and making (possibly critical) decisions with
limited information. Although computers have made possible the numerical
evaluation of sophisticated statistical models, these models are still designed
\emph{by humans} because there is currently no known recipe or algorithm for
dividing the design of a statistical model into a sequence of arithmetic
operations. Indeed enabling computers to \emph{think} as \emph{humans} have the
ability to do when faced with uncertainty is challenging in several major ways:
(1) Finding optimal statistical models remains to be formulated as a well posed
problem when information on the system of interest is incomplete and comes in
the form of a complex combination of sample data, partial knowledge of
constitutive relations and a limited description of the distribution of input
random variables. (2) The space of admissible scenarios along with the space of
relevant information, assumptions, and/or beliefs, tend to be infinite
dimensional, whereas calculus on a computer is necessarily discrete and finite.
With this purpose, this paper explores the foundations of a rigorous framework
for the scientific computation of optimal statistical estimators/models and
reviews their connections with Decision Theory, Machine Learning, Bayesian
Inference, Stochastic Optimization, Robust Optimization, Optimal Uncertainty
Quantification and Information Based Complexity.Comment: 37 page
Measurement of (anti)deuteron and (anti)proton production in DIS at HERA
The first observation of (anti)deuterons in deep inelastic scattering at HERA
has been made with the ZEUS detector at a centre-of-mass energy of 300--318 GeV
using an integrated luminosity of 120 pb-1. The measurement was performed in
the central rapidity region for transverse momentum per unit of mass in the
range 0.3<p_T/M<0.7. The particle rates have been extracted and interpreted in
terms of the coalescence model. The (anti)deuteron production yield is smaller
than the (anti)proton yield by approximately three orders of magnitude,
consistent with the world measurements.Comment: 26 pages, 9 figures, 5 tables, submitted to Nucl. Phys.
- …