16,257 research outputs found
Application of XFaster power spectrum and likelihood estimator to Planck
We develop the XFaster Cosmic Microwave Background (CMB) temperature and
polarization anisotropy power spectrum and likelihood technique for the Planck
CMB satellite mission. We give an overview of this estimator and its current
implementation and present the results of applying this algorithm to simulated
Planck data. We show that it can accurately extract the power spectrum of
Planck data for the high-l multipoles range. We compare the XFaster
approximation for the likelihood to other high-l likelihood approximations such
as Gaussian and Offset Lognormal and a low-l pixel-based likelihood. We show
that the XFaster likelihood is not only accurate at high-l, but also performs
well at moderately low multipoles. We also present results for cosmological
parameter Markov Chain Monte Carlo estimation with the XFaster likelihood. As
long as the low-l polarization and temperature power are properly accounted
for, e.g., by adding an adequate low-l likelihood ingredient, the input
parameters are recovered to a high level of accuracy.Comment: 25 pages, 20 figures, updated to reflect published version: slightly
extended account of XFaster technique, added improved plots and minor
corrections. Accepted for publication in MNRA
Markov Chain Beam Randomization: a study of the impact of PLANCK beam measurement errors on cosmological parameter estimation
We introduce a new method to propagate uncertainties in the beam shapes used
to measure the cosmic microwave background to cosmological parameters
determined from those measurements. The method, which we call Markov Chain Beam
Randomization, MCBR, randomly samples from a set of templates or functions that
describe the beam uncertainties. The method is much faster than direct
numerical integration over systematic `nuisance' parameters, and is not
restricted to simple, idealized cases as is analytic marginalization. It does
not assume the data are normally distributed, and does not require Gaussian
priors on the specific systematic uncertainties. We show that MCBR properly
accounts for and provides the marginalized errors of the parameters. The method
can be generalized and used to propagate any systematic uncertainties for which
a set of templates is available. We apply the method to the Planck satellite,
and consider future experiments. Beam measurement errors should have a small
effect on cosmological parameters as long as the beam fitting is performed
after removal of 1/f noise.Comment: 17 pages, 23 figures, revised version with improved explanation of
the MCBR and overall wording. Accepted for publication in Astronomy and
Astrophysics (to appear in the Planck pre-launch special issue
Equilibria in reflexive Banach lattices with a continuum of agents.
We consider exchange economies with a measure space of agents and for which the commodity space is a separable and reflexive Banach lattice. Under assumptions imposing uniform bounds on marginal rates of substitution, positive results on core-Walras equivalence were established in Rustichini-Yannelis [27] and Podczeck [25]. In this paper we prove that under similar assumptions on marginal rates of substitution, the set of competitive equilibria (and thus the core) is non-empty.Competitive equilibria; Continuum of agents; Reflexive Banach lattice commodity spaces; Uniform properness;
Altered sleep and EEG power in the P301S Tau transgenic mouse model
OBJECTIVE: Sleep disturbances are prevalent in human tauopathies yet despite the importance of sleep, little is known about its relationship with tau pathology. Here, we investigate this interaction by analyzing sleep and tau pathology throughout tauopathy disease progression in P301S human tau transgenic mice. METHODS: P301S and wild‐type mice were analyzed by electroencephalography (EEG)/electromyography at 3, 6, 9, and 11 months of age for sleep/wake time, EEG power, and homeostatic response. Cortical volume and tau pathology was also assessed by anti‐phospho‐tau AT8 staining. RESULTS: P301S tau mice had significantly decreased rapid eye movement (REM) sleep at 9 months of age and decreased REM and non‐REM (NREM) sleep as well as increased wakefulness at 11 months. Sleep loss was characterized by fewer wake, REM, and NREM bouts, increased wake bout duration, and decreased sleep bout duration. Decreased REM and NREM sleep was associated with increased brainstem tau pathology in the sublaterodorsal area and parafacial zone, respectively. P301S mice also showed increased EEG power at 6 and 9 months of age and decreased power at 11 months. Decreased EEG power was associated with decreased cortical volume. Despite sleep disturbances, P301S mice maintained homeostatic response to sleep deprivation. INTERPRETATION: Our results indicate that tau pathology is associated with sleep disturbances that worsen with age and these changes may be related to tau pathology in brainstem sleep regulating regions as well as neurodegeneration. Tau‐induced sleep changes could affect disease progression and be a marker for therapeutic efficacy in this and other tauopathy models
Black string corrections in variable tension braneworld scenarios
Braneworld models with variable tension are investigated, and the corrections
on the black string horizon along the extra dimension are provided. Such
corrections are encrypted in additional terms involving the covariant
derivatives of the variable tension on the brane, providing profound
consequences concerning the black string horizon variation along the extra
dimension, near the brane. The black string horizon behavior is shown to be
drastically modified by the terms corrected by the brane variable tension. In
particular, a model motivated by the phenomenological interesting case
regarding Eotvos branes is investigated. It forthwith provides further physical
features regarding variable tension braneworld scenarios, heretofore concealed
in all previous analysis in the literature. All precedent analysis considered
uniquely the expansion of the metric up to the second order along the extra
dimension, what is able to evince solely the brane variable tension absolute
value. Notwithstanding, the expansion terms aftermath, further accomplished in
this paper from the third order on, elicits the successive covariant
derivatives of the brane variable tension, and their respective coupling with
the extrinsic curvature, the Weyl tensor, and the Riemann and Ricci tensors, as
well as the scalar curvature. Such additional terms are shown to provide sudden
modifications in the black string horizon in a variable tension braneworld
scenarioComment: 12 pages, 5 figures, accepted in PR
Modular termination verification for non-blocking concurrency
© Springer-Verlag Berlin Heidelberg 2016.We present Total-TaDA, a program logic for verifying the total correctness of concurrent programs: that such programs both terminate and produce the correct result. With Total-TaDA, we can specify constraints on a thread’s concurrent environment that are necessary to guarantee termination. This allows us to verify total correctness for nonblocking algorithms, e.g. a counter and a stack. Our specifications can express lock- and wait-freedom. More generally, they can express that one operation cannot impede the progress of another, a new non-blocking property we call non-impedance. Moreover, our approach is modular. We can verify the operations of a module independently, and build up modules on top of each other
- …