CMB Lensing Power Spectrum Biases from Galaxies and Clusters using High-angular Resolution Temperature Maps

The lensing power spectrum from cosmic microwave background (CMB) temperature maps will be measured with unprecedented precision with upcoming experiments, including upgrades to ACT and SPT. Achieving significant improvements in cosmological parameter constraints, such as percent level errors on sigma_8 and an uncertainty on the total neutrino mass of approximately 50 meV, requires percent level measurements of the CMB lensing power. This necessitates tight control of systematic biases. We study several types of biases to the temperature-based lensing reconstruction signal from foreground sources such as radio and infrared galaxies and the thermal Sunyaev-Zel'dovich effect from galaxy clusters. These foregrounds bias the CMB lensing signal due to their non-Gaussian nature. Using simulations as well as some analytical models we find that these sources can substantially impact the measured signal if left untreated. However, these biases can be brought to the percent level if one masks galaxies with fluxes at 150 GHz above 1 mJy and galaxy clusters with masses above M_vir = 10^14 M_sun. To achieve such percent level bias, we find that only modes up to a maximum multipole of l_max ~ 2500 should be included in the lensing reconstruction. We also discuss ways to minimize additional bias induced by such aggressive foreground masking by, for example, exploring a two-step masking and in-painting algorithm.Comment: 14 pages, 14 figures, to be submitted to Ap

Ultrafast electron diffraction using an ultracold source

We present diffraction patterns from micron-sized areas of mono-crystalline graphite obtained with an ultracold and ultrafast electron source. We show that high spatial coherence is manifest in the visibility of the patterns even for picosecond bunches of appreciable charge, enabled by the extremely low source temperature (~ 10 K). For a larger, ~ 100 um spot size on the sample, spatial coherence lengths > 10 nm result, sufficient to resolve diffraction patterns of complex protein crystals. This makes the source ideal for ultrafast electron diffraction of complex macromolecular structures such as membrane proteins, in a regime unattainable by conventional photocathode sources. By further reducing the source size, sub-um spot sizes on the sample become possible with spatial coherence lengths exceeding 1 nm, enabling ultrafast nano-diffraction for material science.Comment: 5 pages, 4 figure

The Atacama Cosmology Telescope: Lensing of CMB Temperature and Polarization Derived from Cosmic Infrared Background Cross-Correlation

We present a measurement of the gravitational lensing of the Cosmic Microwave Background (CMB) temperature and polarization fields obtained by cross-correlating the reconstructed convergence signal from the first season of Atacama Cosmology Telescope Polarimeter data at 146 GHz with Cosmic Infrared Background (CIB) fluctuations measured using the Planck satellite. Using an effective overlap area of 92.7 square degrees, we detect gravitational lensing of the CMB polarization by large-scale structure at a statistical significance of 4.5 sigma. Combining both CMB temperature and polarization data gives a lensing detection at 9.1 sigma significance. A B-mode polarization lensing signal is present with a significance of 3.2 sigma. We also present the first measurement of CMB lensing-CIB correlation at small scales corresponding to l \u3e 2000. Null tests and systematic checks show that our results are not significantly biased by astrophysical or instrumental systematic effects, including Galactic dust. Fitting our measurements to the best-fit lensing-CIB cross-power spectrum measured in Planck data, scaled by an amplitude A, gives A = 1.02(-0.08)(+0.12)(stat.) +/- 0.06(syst.), consistent with the Planck results

Towards verified Java code generation from concurrent state machines

We present work in progress on, verified, transformation of a modeling language based on communicating concurrent state machines, SLCO, to Java. Some concurrency related challenges, related to atomicity and non-standard fairness issues, are pointed out. We discuss solutions based on Java synchronization concepts

Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models

A formal definition of the semantics of a domain-specific language (DSL) is a key prerequisite for the verification of the correctness of models specified using such a DSL and of transformations applied to these models. For this reason, we implemented a prototype of the semantics of a DSL for the specification of systems consisting of concurrent, communicating objects. Using this prototype, models specified in the DSL can be transformed to labeled transition systems (LTS). This approach of transforming models to LTSs allows us to apply existing tools for visualization and verification to models with little or no further effort. The prototype is implemented using the ASF+SDF Meta-Environment, an IDE for the algebraic specification language ASF+SDF, which offers efficient execution of the transformation as well as the ability to read models and produce LTSs without any additional pre or post processing.Comment: In Proceedings AMMSE 2011, arXiv:1106.596

Program transformations using temporal logic side conditions

This paper describes an approach to program optimisation based on transformations, where temporal logic is used to specify side conditions, and strategies are created which expand the repertoire of transformations and provide a suitable level of abstraction. We demonstrate the power of this approach by developing a set of optimisations using our transformation language and showing how the transformations can be converted into a form which makes it easier to apply them, while maintaining trust in the resulting optimising steps. The approach is illustrated through a transformational case study where we apply several optimisations to a small program

CMB power spectrum parameter degeneracies in the era of precision cosmology

Cosmological parameter constraints from the CMB power spectra alone suffer several well-known degeneracies. These degeneracies can be broken by numerical artefacts and also a variety of physical effects that become quantitatively important with high-accuracy data e.g. from the Planck satellite. We study degeneracies in models with flat and non-flat spatial sections, non-trivial dark energy and massive neutrinos, and investigate the importance of various physical degeneracy-breaking effects. We test the CAMB power spectrum code for numerical accuracy, and demonstrate that the numerical calculations are accurate enough for degeneracies to be broken mainly by true physical effects (the integrated Sachs-Wolfe effect, CMB lensing and geometrical and other effects through recombination) rather than numerical artefacts. We quantify the impact of CMB lensing on the power spectra, which inevitably provides degeneracy-breaking information even without using information in the non-Gaussianity. Finally we check the numerical accuracy of sample-based parameter constraints using CAMB and CosmoMC. In an appendix we document recent changes to CAMB's numerical treatment of massive neutrino perturbations, which are tested along with other recent improvements by our degeneracy exploration results.Comment: 27 pages, 28 figures. Latest CAMB version available from http://camb.info/. Reduced number of figures, plot legend corrected and minor edits to match published versio

Comparison of CT and CMR for detection and quantification of carotid artery calcification: the Rotterdam Study

Background: Carotid artery atherosclerosis is an important risk factor for stroke. As such, quantitative imaging of carotid artery calcification, as a proxy of atherosclerosis, has become a cornerstone of current stroke research. Yet, population-based data comparing the computed tomography (CT) and cardiovascular magnetic resonance (CMR) for the detection and quantification of calcification remain scarce. Methods: A total of 684 participants from the population-based Rotterdam Study underwent both a CT and CMR of the carotid artery bifurcation to quantify the amount of carotid artery calcification (mean interscan interval: 4.9 ± 1.2 years). We investigated the correlation between the amount of calcification measured on CT and CMR using Spearman's correlation coefficient, Bland-Altman plots, and linear regression. In addition, using logistic regression modeling, we assessed the association of CT and CMR based calcification volumes with a history of stroke. Results: We found a strong correlation between CT and CMR based calcification volumes (Spearman's correlation coefficient:0.86, p-value ≤0.01). Bland-Altman analyses showed a good agreement, though CT based calcification volumes were systematically larger. Finally, calcification volume assessed with either imaging modality was associated with a history of stroke with similar effect estimates (odds ratio (OR) per 1-SD increase in calcification volume: 1.52 (95% CI:1.00;2.30) for CT, and 1.47 (95% CI:1.01;2.14) for CMR. Conclusion: CT based and CMR based volumes of carotid artery calcificatio