New insights into foreground analysis of the WMAP five-year data using FASTICA

In this paper, we present a foreground analysis of the WMAP 5-year data using the FASTICA algorithm, improving on the treatment of the WMAP 3-year data in Bottino et al 2008. We revisit the nature of the free-free spectrum with the emphasis on attempting to confirm or otherwise the spectral feature claimed in Dobbler et al 2008b and explained in terms of spinning dust emission in the warm ionised medium. With the application of different Galactic cuts, the index is always flatter than the canonical value of 2.14 except for the Kp0 mask which is steeper. Irrespective of this, we can not confirm the presence of any feature in the free-free spectrum. We experiment with a more extensive approach to the cleaning of the data, introduced in connection with the iterative application of FASTICA. We confirm the presence of a residual foreground whose spatial distribution is concentrated along the Galactic plane, with pronounced emission near the Galactic center. This is consistent with the WMAP haze detected in Finkbeiner 2004. Finally, we attempted to perform the same analysis on full-sky maps. The code returns good results even for those regions where the cross-talk among the components is high. However, slightly better results in terms of the possibility of reconstructing a full-sky CMB map, are achieved with a simultaneous analysis of both the five WMAP maps and foreground templates. Nonetheless, some residuals are still present and detected in terms of an excess in the CMB power spectrum, on small angular scales. Therefore, a minimal mask for the brightest regions of the plane is necessary, and has been defined.Comment: Accepted for publication in MNRAS, 25 pages, 17 figures, 4 tables. Version with full resolution figures available at: http://www.mpa-garching.mpg.de/~bottino/downloads/bottino_etal.pd

The Case for a 700+ GeV WIMP: Cosmic Ray Spectra from PAMELA, Fermi and ATIC

Multiple lines of evidence indicate an anomalous injection of high-energy e+- in the Galactic halo. The recent $e^+$ fraction spectrum from the Payload for Antimatter Matter Exploration and Light-nuclei Astrophysics (PAMELA) shows a sharp rise up to 100 GeV. The Fermi Gamma-ray Space Telescope has found a significant hardening of the e+e- cosmic ray spectrum above 100 GeV, with a break, confirmed by HESS at around 1 TeV. The Advanced Thin Ionization Calorimeter (ATIC) has also detected detected a similar excess, falling back to the expected spectrum at 1 TeV and above. Excess microwaves towards the galactic center in the WMAP data are consistent with hard synchrotron radiation from a population of 10-100 GeV e+- (the WMAP ``Haze''). We argue that dark matter annihilations can provide a consistent explanation of all of these data, focusing on dominantly leptonic modes, either directly or through a new light boson. Normalizing the signal to the highest energy evidence (Fermi and HESS), we find that similar cross sections provide good fits to PAMELA and the Haze, and that both the required cross section and annihilation modes are achievable in models with Sommerfeld-enhanced annihilation. These models naturally predict significant production of gamma rays in the galactic center via a variety of mechanisms. Most notably, there is a robust inverse-Compton scattered (ICS) gamma-ray signal arising from the energetic electrons and positrons, detectable at Fermi/GLAST energies, which should provide smoking gun evidence for this production.Comment: 28 pages; v2 plots corrected, references added; v3 included Fermi electron data at reviewer request, references adde

Searching for Dark Matter in the CMB: A Compact Parameterization of Energy Injection from New Physics

High-precision measurements of the temperature and polarization anisotropies of the cosmic microwave background radiation have been previously employed to set robust constraints on dark matter annihilation during recombination. In this work we improve and generalize these constraints to apply to energy deposition during the recombination era with arbitrary redshift dependence. Our approach also provides more rigorous and model-independent bounds on dark matter annihilation and decay scenarios. We employ principal component analysis to identify a basis of weighting functions for the energy deposition. The coefficients of these weighting functions parameterize any energy deposition model and can be constrained directly by experiment. For generic energy deposition histories that are currently allowed by WMAP7 data, up to 3 principal component coefficients are measurable by Planck and up to 5 coefficients are measurable by an ideal cosmic variance limited experiment. For WIMP dark matter, our analysis demonstrates that the effect on the CMB is described well by a single (normalization) parameter and a "universal" redshift dependence for the energy deposition history. We give WMAP 7 constraints on both generic energy deposition histories and the universal WIMP case.Comment: 30 pages, 24 figure

Prospects For Detecting Dark Matter With GLAST In Light Of The WMAP Haze

Observations by the WMAP experiment have identified an excess of microwave emission from the center of the Milky Way. It has previously been shown that this "WMAP Haze" could be synchrotron emission from relativistic electrons and positrons produced in the annihilations of dark matter particles. In particular, the intensity, spectrum and angular distribution of the WMAP Haze is consistent with an electroweak scale dark matter particle (such as a supersymmetric neutralino or Kaluza-Klein dark matter in models with universal extra dimensions) annihilating with a cross section on the order of sigma v~3x10^-26 cm^3/s and distributed with a cusped halo profile. No further exotic astrophysical or annihilation boost factors are required. If dark matter annihilations are in fact responsible for the observed Haze, then other annihilation products will also be produced, including gamma rays. In this article, we study the prospects for the GLAST satellite to detect gamma rays from dark matter annihilations in the Galactic Center region in this scenario. We find that by studying only the inner 0.1 degrees around the Galactic Center, GLAST will be able to detect dark matter annihilating to heavy quarks or gauge bosons over astrophysical backgrounds with 5sigma (3sigma) significance if they are lighter than approximately 320-500 GeV (500-750 GeV). If the angular window is broadened to study the dark matter halo profile's angular extension (while simultaneously reducing the astrophysical backgrounds), WIMPs as heavy as several TeV can be identified by GLAST with high significance. Only if the dark matter particles annihilate mostly to electrons or muons will GLAST be unable to identify the gamma ray spectrum associated with the WMAP Haze.Comment: 10 pages, 6 figure

A determination of the Spectra of Galactic components observed by WMAP

WMAP data when combined with ancillary data on free-free, synchrotron and dust allow an improved understanding of the spectrum of emission from each of these components. Here we examine the sky variation at intermediate latitudes using a cross-correlation technique. In particular, we compare the observed emission in 15 selected sky regions to three ``standard'' templates. The free-free emission of the diffuse ionised gas is fitted by a well-known spectrum at K and Ka band, but the derived emissivity corresponds to a mean electron temperature of ~4000-5000K. This is inconsistent with estimates from galactic HII regions. The origin of the discrepancy is unclear. The anomalous emission associated with dust is clearly detected in most of the 15 fields studied; it correlates well with the Finkbeiner et al. model 8 predictions (FDS8) at 94 GHz, with an effective spectral index between 20 and 60GHz of -2.85. Furthermore, the emissivity varies by a factor of ~2 from cloud to cloud. A modestly improved fit to the anomalous dust at K-band is provided by modulating the template by an estimate of the dust colour temperature, specifically FDS8*T^n. We find a preferred value n~1.6. The synchrotron emission steepens between GHz frequencies and the WMAP bands. There are indications of spectral index variations across the sky but the current data are not precise enough to accurately quantify this from region to region. Our analysis of the WMAP data indicates strongly that the dust-correlated emission at the low WMAP frequencies has a spectrum which is compatible with spinning dust; we find no evidence for a synchrotron component correlated with dust (abridged).Comment: 18 pages, 6 figures, revised version uses cross-correlation method rather than T-T method. Paper re-organised and sent back to refere

CMB Constraints on WIMP Annihilation: Energy Absorption During the Recombination Epoch

We compute in detail the rate at which energy injected by dark matter annihilation heats and ionizes the photon-baryon plasma at z ~ 1000, and provide accurate fitting functions over the relevant redshift range for a broad array of annihilation channels and DM masses. The resulting perturbations to the ionization history can be constrained by measurements of the CMB temperature and polarization angular power spectra. We show that models which fit recently measured excesses in 10-1000 GeV electron and positron cosmic rays are already close to the 95% confidence limits from WMAP. The recently launched Planck satellite will be capable of ruling out a wide range of DM explanations for these excesses. In models of dark matter with Sommerfeld-enhanced annihilation, where sigma v rises with decreasing WIMP velocity until some saturation point, the WMAP5 constraints imply that the enhancement must be close to saturation in the neighborhood of the Earth.Comment: 17 pages, 6 figures, v2 extends discussion of constraints on Sommerfeld-enhanced model

Bounded Synthesis of Reactive Programs

Most algorithms for the synthesis of reactive systems focus on the construction of finite-state machines rather than actual programs. This often leads to badly structured, unreadable code. In this paper, we present a bounded synthesis approach that automatically constructs, from a given specification in linear-time temporal logic (LTL), a program in Madhusudan's simple imperative language for reactive programs. We develop and compare two principal approaches for the reduction of the synthesis problem to a Boolean constraint satisfaction problem. The first reduction is based on a generalization of bounded synthesis to two-way alternating automata, the second reduction is based on a direct encoding of the program syntax in the constraint system. We report on preliminary experience with a prototype implementation, which indicates that the direct encoding outperforms the automata approach