The effect of primordial non-Gaussianity on halo bias

It has long been known how to analytically relate the clustering properties of the collapsed structures (halos) to those of the underlying dark matter distribution for Gaussian initial conditions. Here we apply the same approach to physically motivated non-Gaussian models. The techniques we use were developed in the 1980s to deal with the clustering of peaks of non-Gaussian density fields. The description of the clustering of halos for non-Gaussian initial conditions has recently received renewed interest, motivated by the forthcoming large galaxy and cluster surveys. For inflationary-motivated non-Gaussianites, we find an analytic expression for the halo bias as a function of scale, mass and redshift, employing only the approximations of high-peaks and large separations.Comment: 4 pages, 3 figures, submitted. Typos fixed, reference added, minor clarifications in the tex

Non-Gaussian halo bias and future galaxy surveys

We forecast constraints on primordial non-Gaussianity achievable from forthcoming surveys by exploiting the scale-dependent halo bias introduced on large scales by non-Gaussian initial conditions. We explore the performance of exploiting both the shape of the galaxy power-spectrum on large scales and the cross-correlation of galaxies with Cosmic Microwave Background maps through the Integrated Sachs Wolfe effect. We find that future surveys can detect primordial non-Gaussianity of the local form with a non-Gaussianity parameter $|f_{\rm NL}|$ of order unity. This is particularly exciting because, while the simplest single-field slow-roll models of inflation predict a primordial $|f_{\rm NL}|\ll 1$, this signal sources extra contributions to the effective $f_{\rm NL}$ of large-scale structures that are expected to be above our predicted detection threshold.Comment: 5pages, 1 Table, typos correcte

Slow light in paraffin-coated Rb vapor cells

We present preliminary results from an experimental study of slow light in anti-relaxation-coated Rb vapor cells, and describe the construction and testing of such cells. The slow ground state decoherence rate allowed by coated cell walls leads to a dual-structured electromagnetically induced transparency (EIT) spectrum with a very narrow (<100 Hz) transparency peak on top of a broad pedestal. Such dual-structure EIT permits optical probe pulses to propagate with greatly reduced group velocity on two time scales. We discuss ongoing efforts to optimize the pulse delay in such coated cell systems.Comment: 6 pages, 6 figures, submitted to Journal of Modern Optic

A Microscopic View on the Mott transition in Chromium-doped V2O3

V2O3 is the prototype system for the Mott transition, one of the most fundamental phenomena of electronic correlation. Temperature, doping or pressure induce a metal to insulator transition (MIT) between a paramagnetic metal (PM) and a paramagnetic insulator (PI). This or related MITs have a high technological potential, among others for intelligent windows and field effect transistors. However the spatial scale on which such transitions develop is not known in spite of their importance for research and applications. Here we unveil for the first time the MIT in Cr-doped V2O3 with submicron lateral resolution: with decreasing temperature, microscopic domains become metallic and coexist with an insulating background. This explains why the associated PM phase is actually a poor metal. The phase separation can be associated with a thermodynamic instability near the transition. This instability is reduced by pressure which drives a genuine Mott transition to an eventually homogeneous metallic state.Comment: Paper plus supplementary materia

Quasar Feedback: the Missing Link in Structure Formation

We consider the impact of quasar outflows on structure formation. Such outflows are potentially more important than galactic winds, which appear insufficient to produce the level of preheating inferred from X-ray observations of galaxy clusters. Using a simple analytical model for the distribution of quasars with redshift, coupled with a one-dimensional Sedov-Taylor model for outflows, we are able to make robust statements about their impact of on structure formation. As large regions of the IGM are heated above a critical entropy of approximately 100 keV cm^2, cooling become impossible within them, regardless of changes in density. On quasar scales, this has the effect of inhibiting further formation, resulting in the observed fall-off in their number densities below z = 2. On galaxy scales, quasar feedback fixes the turn-over scale in the galaxy luminosity function (L_*) as the nonlinear scale at the redshift of strong feedback. The galaxy luminosity function then remains largely fixed after this epoch, consistent with recent observations and in contrast to the strong evolution predicted in more standard galaxy-formation models. Finally, strong quasar feedback explains why the intracluster medium is observed to have been pre-heated to entropy levels just above S_crit, the minimum excess that would not have been erased by cooling. The presence of such outflows is completely consistent with the observed properties of the Lyman-alpha forest at z ~ 2, but is expected to have a substantial and detectable impact on Compton distortions observed in the microwave background and the multiphase properties of the "warm-hot" (z=0) circumgalactic medium.Comment: 20 pages, 11 figures, ApJ, accepted (minor changes made, two plots updated

TWAM: A Certifying Abstract Machine for Logic Programs

Type-preserving (or typed) compilation uses typing derivations to certify correctness properties of compilation. We have designed and implemented a type-preserving compiler for a simply-typed dialect of Prolog we call T-Prolog. The crux of our approach is a new certifying abstract machine which we call the Typed Warren Abstract Machine (TWAM). The TWAM has a dependent type system strong enough to specify the semantics of a logic program in the logical framework LF. We present a soundness metatheorem which constitutes a partial correctness guarantee: well-typed programs implement the logic program specified by their type. This metatheorem justifies our design and implementation of a certifying compiler from T-Prolog to TWAM.Comment: 41 pages, under submission to ACM Transactions on Computational Logi