-
sympy2c: from symbolic expressions to fast C/C++ functions and ODE solvers in Python
Authors:
Uwe Schmitt,
Beatrice Moser,
Christiane S. Lorenz,
Alexandre Refregier
Abstract:
Computer algebra systems play an important role in science as they facilitate the development of new theoretical models. The resulting symbolic equations are often implemented in a compiled programming language in order to provide fast and portable codes for practical applications. We describe sympy2c, a new Python package designed to bridge the gap between the symbolic development and the numeric…
▽ More
Computer algebra systems play an important role in science as they facilitate the development of new theoretical models. The resulting symbolic equations are often implemented in a compiled programming language in order to provide fast and portable codes for practical applications. We describe sympy2c, a new Python package designed to bridge the gap between the symbolic development and the numerical implementation of a theoretical model. sympy2c translates symbolic equations implemented in the SymPy Python package to C/C++ code that is optimized using symbolic transformations. The resulting functions can be conveniently used as an extension module in Python. sympy2c is used within the PyCosmo Python package to solve the Einstein-Boltzmann equations, a large system of ODEs describing the evolution of linear perturbations in the Universe. After reviewing the functionalities and usage of sympy2c, we describe its implementation and optimization strategies. This includes, in particular, a novel approach to generate optimized ODE solvers making use of the sparsity of the symbolic Jacobian matrix. We demonstrate its performance using the Einstein-Boltzmann equations as a test case. sympy2c is widely applicable and may prove useful for various areas of computational physics. sympy2c is publicly available at https://cosmology.ethz.ch/research/software-lab/sympy2c.html
△ Less
Submitted 22 March, 2022;
originally announced March 2022.
-
Synergy between cosmological and laboratory searches in neutrino physics
Authors:
Martina Gerbino,
Evan Grohs,
Massimiliano Lattanzi,
Kevork N. Abazajian,
Nikita Blinov,
Thejs Brinckmann,
Mu-Chun Chen,
Zelimir Djurcic,
Peizhi Du,
Miguel Escudero,
Steffen Hagstotz,
Kevin J. Kelly,
Christiane S. Lorenz,
Marilena Loverde,
Pablo Martínez-Miravé,
Olga Mena,
Joel Meyers,
Walter Pettus,
Ninetta Saviano,
Anna M. Suliga,
Volodymyr Takhistov,
Mariam Tórtola,
José W. F. Valle,
Benjamin Wallisch
Abstract:
The intersection of the cosmic and neutrino frontiers is a rich field where much discovery space still remains. Neutrinos play a pivotal role in the hot big bang cosmology, influencing the dynamics of the universe over numerous decades in cosmological history. Recent studies have made tremendous progress in understanding some properties of cosmological neutrinos, primarily their energy density. Up…
▽ More
The intersection of the cosmic and neutrino frontiers is a rich field where much discovery space still remains. Neutrinos play a pivotal role in the hot big bang cosmology, influencing the dynamics of the universe over numerous decades in cosmological history. Recent studies have made tremendous progress in understanding some properties of cosmological neutrinos, primarily their energy density. Upcoming cosmological probes will measure the energy density of relativistic particles with higher precision, but could also start probing other properties of the neutrino spectra. When convolved with results from terrestrial experiments, cosmology can become even more acute at probing new physics related to neutrinos or even Beyond the Standard Model (BSM). Any discordance between laboratory and cosmological data sets may reveal new BSM physics and/or suggest alternative models of cosmology. We give examples of the intersection between terrestrial and cosmological probes in the neutrino sector, and briefly discuss the possibilities of what different laboratory experiments may see in conjunction with cosmological observatories.
△ Less
Submitted 26 December, 2023; v1 submitted 14 March, 2022;
originally announced March 2022.
-
Symbolic Implementation of Extensions of the $\texttt{PyCosmo}$ Boltzmann Solver
Authors:
Beatrice Moser,
Christiane S. Lorenz,
Uwe Schmitt,
Alexandre Refregier,
Janis Fluri,
Raphael Sgier,
Federica Tarsitano,
Lavinia Heisenberg
Abstract:
$\texttt{PyCosmo}$ is a Python-based framework for the fast computation of cosmological model predictions. One of its core features is the symbolic representation of the Einstein-Boltzmann system of equations. Efficient $\texttt{C/C++}$ code is generated from the $\texttt{SymPy}$ symbolic expressions making use of the $\texttt{sympy2c}…
▽ More
$\texttt{PyCosmo}$ is a Python-based framework for the fast computation of cosmological model predictions. One of its core features is the symbolic representation of the Einstein-Boltzmann system of equations. Efficient $\texttt{C/C++}$ code is generated from the $\texttt{SymPy}$ symbolic expressions making use of the $\texttt{sympy2c}$ package. This enables easy extensions of the equation system for the implementation of new cosmological models. We illustrate this with three extensions of the $\texttt{PyCosmo}$ Boltzmann solver to include a dark energy component with a constant equation of state, massive neutrinos and a radiation streaming approximation. We describe the $\texttt{PyCosmo}$ framework, highlighting new features, and the symbolic implementation of the new models. We compare the $\texttt{PyCosmo}$ predictions for the $Λ$CDM model extensions with $\texttt{CLASS}$, both in terms of accuracy and computational speed. We find a good agreement, to better than 0.1% when using high-precision settings and a comparable computational speed. Links to the Python Package Index (PyPI) page of the code release and to the PyCosmo Hub, an online platform where the package is installed, are available at: https://cosmology.ethz.ch/research/software-lab/PyCosmo.html.
△ Less
Submitted 17 June, 2022; v1 submitted 15 December, 2021;
originally announced December 2021.
-
EuCAPT White Paper: Opportunities and Challenges for Theoretical Astroparticle Physics in the Next Decade
Authors:
R. Alves Batista,
M. A. Amin,
G. Barenboim,
N. Bartolo,
D. Baumann,
A. Bauswein,
E. Bellini,
D. Benisty,
G. Bertone,
P. Blasi,
C. G. Böhmer,
Ž. Bošnjak,
T. Bringmann,
C. Burrage,
M. Bustamante,
J. Calderón Bustillo,
C. T. Byrnes,
F. Calore,
R. Catena,
D. G. Cerdeño,
S. S. Cerri,
M. Chianese,
K. Clough,
A. Cole,
P. Coloma
, et al. (112 additional authors not shown)
Abstract:
Astroparticle physics is undergoing a profound transformation, due to a series of extraordinary new results, such as the discovery of high-energy cosmic neutrinos with IceCube, the direct detection of gravitational waves with LIGO and Virgo, and many others. This white paper is the result of a collaborative effort that involved hundreds of theoretical astroparticle physicists and cosmologists, und…
▽ More
Astroparticle physics is undergoing a profound transformation, due to a series of extraordinary new results, such as the discovery of high-energy cosmic neutrinos with IceCube, the direct detection of gravitational waves with LIGO and Virgo, and many others. This white paper is the result of a collaborative effort that involved hundreds of theoretical astroparticle physicists and cosmologists, under the coordination of the European Consortium for Astroparticle Theory (EuCAPT). Addressed to the whole astroparticle physics community, it explores upcoming theoretical opportunities and challenges for our field of research, with particular emphasis on the possible synergies among different subfields, and the prospects for solving the most fundamental open questions with multi-messenger observations.
△ Less
Submitted 19 October, 2021;
originally announced October 2021.
-
Reconstruction of the neutrino mass as a function of redshift
Authors:
Christiane S. Lorenz,
Lena Funcke,
Matthias Löffler,
Erminia Calabrese
Abstract:
We reconstruct the neutrino mass as a function of redshift, z, from current cosmological data using both standard binned priors and linear spline priors with variable knots. Using cosmic microwave background temperature, polarization and lensing data, in combination with distance measurements from baryonic acoustic oscillations and supernovae, we find that the neutrino mass is consistent with…
▽ More
We reconstruct the neutrino mass as a function of redshift, z, from current cosmological data using both standard binned priors and linear spline priors with variable knots. Using cosmic microwave background temperature, polarization and lensing data, in combination with distance measurements from baryonic acoustic oscillations and supernovae, we find that the neutrino mass is consistent with $\sum m_ν(z)$ = const. We obtain a larger bound on the neutrino mass at low redshifts coinciding with the onset of dark energy domination, $\sum m_ν(z = 0)$ < 1.46 eV (95% CL). This result can be explained either by the well-known degeneracy between $\sum m_ν$ and $Ω_Λ$ at low redshifts, or by models in which neutrino masses are generated very late in the Universe. We finally convert our results into cosmological limits for models with non-relativistic neutrino decay and find $\sum m_ν$ < 0.21 eV (95% CL), which would be out of reach for the KATRIN experiment.
△ Less
Submitted 29 November, 2021; v1 submitted 26 February, 2021;
originally announced February 2021.
-
Core Cosmology Library: Precision Cosmological Predictions for LSST
Authors:
Nora Elisa Chisari,
David Alonso,
Elisabeth Krause,
C. Danielle Leonard,
Philip Bull,
Jérémy Neveu,
Antonia Villarreal,
Sukhdeep Singh,
Thomas McClintock,
John Ellison,
Zilong Du,
Joe Zuntz,
Alexander Mead,
Shahab Joudaki,
Christiane S. Lorenz,
Tilman Troester,
Javier Sanchez,
Francois Lanusse,
Mustapha Ishak,
Renée Hlozek,
Jonathan Blazek,
Jean-Eric Campagne,
Husni Almoubayyed,
Tim Eifler,
Matthew Kirby
, et al. (5 additional authors not shown)
Abstract:
The Core Cosmology Library (CCL) provides routines to compute basic cosmological observables to a high degree of accuracy, which have been verified with an extensive suite of validation tests. Predictions are provided for many cosmological quantities, including distances, angular power spectra, correlation functions, halo bias and the halo mass function through state-of-the-art modeling prescripti…
▽ More
The Core Cosmology Library (CCL) provides routines to compute basic cosmological observables to a high degree of accuracy, which have been verified with an extensive suite of validation tests. Predictions are provided for many cosmological quantities, including distances, angular power spectra, correlation functions, halo bias and the halo mass function through state-of-the-art modeling prescriptions available in the literature. Fiducial specifications for the expected galaxy distributions for the Large Synoptic Survey Telescope (LSST) are also included, together with the capability of computing redshift distributions for a user-defined photometric redshift model. A rigorous validation procedure, based on comparisons between CCL and independent software packages, allows us to establish a well-defined numerical accuracy for each predicted quantity. As a result, predictions for correlation functions of galaxy clustering, galaxy-galaxy lensing and cosmic shear are demonstrated to be within a fraction of the expected statistical uncertainty of the observables for the models and in the range of scales of interest to LSST. CCL is an open source software package written in C, with a python interface and publicly available at https://github.com/LSSTDESC/CCL.
△ Less
Submitted 5 April, 2019; v1 submitted 14 December, 2018;
originally announced December 2018.
-
Time-varying neutrino mass from a supercooled phase transition: current cosmological constraints and impact on the $Ω_m$-$σ_8$ plane
Authors:
Christiane S. Lorenz,
Lena Funcke,
Erminia Calabrese,
Steen Hannestad
Abstract:
In this paper we investigate a time-varying neutrino mass model, motivated by the mild tension between cosmic microwave background (CMB) measurements of the matter fluctuations and those obtained from low-redshift data. We modify the minimal case of the model proposed by Dvali and Funcke (2016) that predicts late neutrino mass generation in a post-recombination cosmic phase transition, by assuming…
▽ More
In this paper we investigate a time-varying neutrino mass model, motivated by the mild tension between cosmic microwave background (CMB) measurements of the matter fluctuations and those obtained from low-redshift data. We modify the minimal case of the model proposed by Dvali and Funcke (2016) that predicts late neutrino mass generation in a post-recombination cosmic phase transition, by assuming that neutrino asymmetries allow for the presence of relic neutrinos in the late-time Universe. We show that, if the transition is supercooled, current cosmological data (including CMB temperature, polarization and lensing, baryon acoustic oscillations, and Type Ia supernovae) prefer the scale factor $a_s$ of the phase transition to be very large, peaking at $a_s\sim 1$, and therefore supporting a cosmological scenario in which neutrinos are almost massless until very recent times. We find that in this scenario the cosmological bound on the total sum of the neutrino masses today is significantly weakened compared to the standard case of constant-mass neutrinos, with $\sum m_ν<4.8$~eV at 95\% confidence, and in agreement with the model predictions. The main reason for this weaker bound is a large correlation arising between the dark energy and neutrino components in the presence of false vacuum energy that converts into the non-zero neutrino masses after the transition. This result provides new targets for the coming KATRIN and PTOLEMY experiments. We also show that the time-varying neutrino mass model considered here does not provide a clear explanation to the existing cosmological $Ω_m$-$σ_8$ discrepancies.
△ Less
Submitted 14 December, 2018; v1 submitted 5 November, 2018;
originally announced November 2018.
-
The impact of relativistic effects on cosmological parameter estimation
Authors:
Christiane S. Lorenz,
David Alonso,
Pedro G. Ferreira
Abstract:
Future surveys will access large volumes of space and hence very long wavelength fluctuations of the matter density and gravitational field. It has been argued that the set of secondary effects that affect the galaxy distribution, relativistic in nature, will bring new, complementary cosmological constraints. We study this claim in detail by focusing on a subset of wide-area future surveys: Stage-…
▽ More
Future surveys will access large volumes of space and hence very long wavelength fluctuations of the matter density and gravitational field. It has been argued that the set of secondary effects that affect the galaxy distribution, relativistic in nature, will bring new, complementary cosmological constraints. We study this claim in detail by focusing on a subset of wide-area future surveys: Stage-4 cosmic microwave background experiments and photometric redshift surveys. In particular, we look at the magnification lensing contribution to galaxy clustering and general relativistic corrections to all observables. We quantify the amount of information encoded in these effects in terms of the tightening of the final cosmological constraints as well as the potential bias in inferred parameters associated with neglecting them. We do so for a wide range of cosmological parameters, covering neutrino masses, standard dark-energy parametrizations and scalar-tensor gravity theories. Our results show that, while the effect of lensing magnification to number counts does not contain a significant amount of information when galaxy clustering is combined with cosmic shear measurements, this contribution does play a significant role in biasing estimates on a host of parameter families if unaccounted for. Since the amplitude of the magnification term is controlled by the slope of the source number counts with apparent magnitude, $s(z)$, we also estimate the accuracy to which this quantity must be known to avoid systematic parameter biases, finding that future surveys will need to determine $s(z)$ to the $\sim$5-10\% level. On the contrary, large-scale general-relativistic corrections are irrelevant both in terms of information content and parameter bias for most cosmological parameters, but significant for the level of primordial non-Gaussianity.
△ Less
Submitted 14 February, 2018; v1 submitted 6 October, 2017;
originally announced October 2017.
-
Distinguishing between Neutrinos and time-varying Dark Energy through Cosmic Time
Authors:
Christiane S. Lorenz,
Erminia Calabrese,
David Alonso
Abstract:
We study the correlations between parameters characterizing neutrino physics and the evolution of dark energy. Using a fluid approach, we show that time-varying dark energy models exhibit degeneracies with the cosmic neutrino background over extended periods of the cosmic history, leading to a degraded estimation of the total mass and number of species of neutrinos. We investigate how to break deg…
▽ More
We study the correlations between parameters characterizing neutrino physics and the evolution of dark energy. Using a fluid approach, we show that time-varying dark energy models exhibit degeneracies with the cosmic neutrino background over extended periods of the cosmic history, leading to a degraded estimation of the total mass and number of species of neutrinos. We investigate how to break degeneracies and combine multiple probes across cosmic time to anchor the behaviour of the two components. We use Planck CMB data and BAO measurements from the BOSS, SDSS and 6dF surveys to present current limits on the model parameters, and then forecast the future reach from the CMB Stage-4 and DESI experiments. We show that a multi-probe analysis of current data provides only marginal improvement on the determination of the individual parameters and no reduction of the correlations. Future observations will better distinguish the neutrino mass and preserve the current sensitivity to the number of species even in case of a time-varying dark energy component.
△ Less
Submitted 25 August, 2017; v1 submitted 2 June, 2017;
originally announced June 2017.