Cosmology: from theory to data, from data to theory

Cosmology has come a long way from being based on a small number of observations to being a data-driven precision science. We discuss the questions "What is observable?", "What in the Universe is knowable?" and "What are the fundamental limits to cosmological knowledge?". We then describe the methodology for investigation: theoretical hypotheses are used to model, predict and anticipate results; data is used to infer theory. We illustrate with concrete examples of principled analysis approaches from the study of cosmic microwave background anisotropies and surveys of large-scale structure, culminating in a summary of the highest precision probe to date of the physical origin of cosmic structures: the Planck 2013 constraints on primordial non-Gaussianity.Comment: 49 pages, 22 figures. Lectures given at the International School of Physics Enrico Fermi "New Horizons for Observational Cosmology", June 30-July 6, 2013, Varenna, Italy and at the Paris Ecole Doctorale for Astronomy and Astrophysics. Proceedings of the Enrico Fermi School (eds A. Cooray, A. Melchiorri, E. Komatsu, Italian Physical Society). Updated figures and references wrt published versio

Past and present cosmic structure in the SDSS DR7 main sample

We present a chrono-cosmography project, aiming at the inference of the four dimensional formation history of the observed large scale structure from its origin to the present epoch. To do so, we perform a full-scale Bayesian analysis of the northern galactic cap of the Sloan Digital Sky Survey (SDSS) Data Release 7 main galaxy sample, relying on a fully probabilistic, physical model of the non-linearly evolved density field. Besides inferring initial conditions from observations, our methodology naturally and accurately reconstructs non-linear features at the present epoch, such as walls and filaments, corresponding to high-order correlation functions generated by late-time structure formation. Our inference framework self-consistently accounts for typical observational systematic and statistical uncertainties such as noise, survey geometry and selection effects. We further account for luminosity dependent galaxy biases and automatic noise calibration within a fully Bayesian approach. As a result, this analysis provides highly-detailed and accurate reconstructions of the present density field on scales larger than $\sim~3$ Mpc$/h$, constrained by SDSS observations. This approach also leads to the first quantitative inference of plausible formation histories of the dynamic large scale structure underlying the observed galaxy distribution. The results described in this work constitute the first full Bayesian non-linear analysis of the cosmic large scale structure with the demonstrated capability of uncertainty quantification. Some of these results will be made publicly available along with this work. The level of detail of inferred results and the high degree of control on observational uncertainties pave the path towards high precision chrono-cosmography, the subject of simultaneously studying the dynamics and the morphology of the inhomogeneous Universe.Comment: 27 pages, 9 figure

Observation of Strong Radiation Pressure Forces from Squeezed Light on a Mechanical Oscillator

Quantum enhanced sensing is a powerful technique in which nonclassical states are used to improve the sensitivity of a measurement. For enhanced mechanical displacement sensing, squeezed states of light have been shown to reduce the photon counting noise that limits the measurement noise floor. It has long been predicted, however, that suppressing the noise floor with squeezed light should produce an unavoidable increase in radiation pressure noise that drives the mechanical system. Such nonclassical radiation pressure forces have thus far been hidden by insufficient measurement strengths and residual thermal mechanical motion. Since the ultimate measurement sensitivity relies on the delicate balance between these two noise sources, the limits of the quantum enhancement have not been observed. Using a microwave cavity optomechanical system, we observe the nonclassical radiation pressure noise that necessarily accompanies any quantum enhancement of the measurement precision. By varying both the magnitude and phase of the squeezing, we optimize the fundamental trade-off between mechanical imprecision and backaction noise in accordance with the Heisenberg uncertainty principle. As the strength of the measurement is further increased, radiation pressure forces eventually dominate the mechanical motion. In this regime, the optomechanical interaction can be exploited as an efficient quantum nondemolition (QND) measurement of the amplitude fluctuations of the light field. By overwhelming mechanical thermal noise with radiation pressure by two orders of magnitude, we demonstrate a mechanically-mediated measurement of the squeezing with an effective homodyne efficiency of 94%. Thus, with strong radiation pressures forces, mechanical motion enhances the measurement of nonclassical light, just as nonclassical light enhances the measurement of the motion.Comment: 4 Figure

Quantified Constraints and Containment Problems

The quantified constraint satisfaction problem $\mathrm{QCSP}(\mathcal{A})$ is the problem to decide whether a positive Horn sentence, involving nothing more than the two quantifiers and conjunction, is true on some fixed structure $\mathcal{A}$. We study two containment problems related to the QCSP. Firstly, we give a combinatorial condition on finite structures $\mathcal{A}$ and $\mathcal{B}$ that is necessary and sufficient to render $\mathrm{QCSP}(\mathcal{A}) \subseteq \mathrm{QCSP}(\mathcal{B})$. We prove that $\mathrm{QCSP}(\mathcal{A}) \subseteq \mathrm{QCSP}(\mathcal{B})$, that is all sentences of positive Horn logic true on $\mathcal{A}$ are true on $\mathcal{B}$, iff there is a surjective homomorphism from $\mathcal{A}^{|A|^{|B|}}$ to $\mathcal{B}$. This can be seen as improving an old result of Keisler that shows the former equivalent to there being a surjective homomorphism from $\mathcal{A}^\omega$ to $\mathcal{B}$. We note that this condition is already necessary to guarantee containment of the $\Pi_2$ restriction of the QCSP, that is $\Pi_2$-$\mathrm{CSP}(\mathcal{A}) \subseteq \Pi_2$-$\mathrm{CSP}(\mathcal{B})$. The exponent's bound of ${|A|^{|B|}}$ places the decision procedure for the model containment problem in non-deterministic double-exponential time complexity. We further show the exponent's bound $|A|^{|B|}$ to be close to tight by giving a sequence of structures $\mathcal{A}$ together with a fixed $\mathcal{B}$, $|B|=2$, such that there is a surjective homomorphism from $\mathcal{A}^r$ to $\mathcal{B}$ only when $r \geq |A|$. Secondly, we prove that the entailment problem for positive Horn fragment of first-order logic is decidable. That is, given two sentences $\varphi$ and $\psi$ of positive Horn, we give an algorithm that determines whether $\varphi \rightarrow \psi$ is true in all structures (models). Our result is in some sense tight, since we show that the entailment problem for positive first-order logic (i.e. positive Horn plus disjunction) is undecidable. In the final part of the paper we ponder a notion of Q-core that is some canonical representative among the class of templates that engender the same QCSP. Although the Q-core is not as well-behaved as its better known cousin the core, we demonstrate that it is still a useful notion in the realm of QCSP complexity classifications.Comment: This paper is a considerably expanded journal version of a LICS 2008 paper of the same title together with the most significant parts of a CP 2012 paper from the latter two author

Transverse Instability of Avalanches in Granular Flows down Incline

Avalanche experiments on an erodible substrate are treated in the framework of ``partial fluidization'' model of dense granular flows. The model identifies a family of propagating soliton-like avalanches with shape and velocity controlled by the inclination angle and the depth of substrate. At high inclination angles the solitons display a transverse instability, followed by coarsening and fingering similar to recent experimental observation. A primary cause for the transverse instability is directly related to the dependence of soliton velocity on the granular mass trapped in the avalanche.Comment: 3 figures, 4 pages, submitted to Phys Rev Let

Cryopreservation of cell suspensions and embryogenic calluses of Citrus using a simplified freezing process

Une méthode de congélation simplifiée a été expérimentée avec une suspension cellulaire de mandarine commune et des cals embryogènes de six variétés de #citrus$. Son efficacité est comparable à celle du protocole de congélation standard développé précédemment pour ces matériels, qui nécessitait l'emploi d'un congélateur programmable. La suspension cellulaire peut être congelée sans modifier les conditions originales (0,15 M saccharose +5 % DMSO). Les cals embryogènes de 5 variétés sur les 6 expérimentées résistent à la congélation avec le procédé simplifié. Les résultats optimaux sont obtenus en augmentant la concentration en DMSO à 10 ou 15%. (Résumé d'auteur

Une représentation du risque à l'intersection de l'aléa et de la vulnérabilité: cartographies des inondations lyonnaises

International audienceEssential to risk studies, vulnerability analysis of the assets of an area is often not suitable for practical application. It is usually more an assets census than a real vulnerability assessment, facing a given hazard. Its intersection with the hazards zoning poses also many methodological, cartographic and operational problems. This work starts with the key concepts of risk, thanks to a review of French and international literature study. Then, it provides a procedure which allows precise knowledge of the local vulnerability, available to all types of hazards and applicable to all areas. Finally, in order to get an overall perspective of risk, assets vulnerabilities are crossed with the hazards areas, in accordance to the spatial distribution of both components and using innovative geomatics operations. As part of this study, this methodology will be applied to the rivers flooding and overflowing runoff of the Greater Lyon

Gravitating superconducting strings with timelike or spacelike currents

We construct gravitating superconducting string solutions of the U(1)_{local} x U(1)_{global} model solving the coupled system of Einstein and matter field equations numerically. We study the properties of these solutions in dependence on the ratio between the symmetry breaking scale and the Planck mass. Using the macroscopic stability conditions formulated by Carter, we observe that the coupling to gravity allows for a new stable region that is not present in the flat space-time limit. We match the asymptotic metric to the Kasner metric and show that the relations between the Kasner coefficients and the energy per unit length and tension suggested previously are well fulfilled for symmetry breaking scale much smaller than the Planck mass. We also study the solutions to the geodesic equation in this space-time. While geodesics in the exterior space-time of standard cosmic strings are just straight lines, test particles experience a force in a general Kasner space-time and as such bound orbits are possible.Comment: 16 pages including 14 figure