Differentiable probabilistic programming for strong gravitational lensing

Abstract

The difficult task of observing Dark Matter subhaloes is of paramount importance since it would constrain Dark Matter particle properties (cold or warm relic) and confirm once again the longstanding $\Lambda$CDM model. In the near future the new generation of ground and space surveys will observe thousands of strong gravitational lensing systems providing a unique probe of Dark Matter substructures. Here, we describe a new strong lensing analysis pipeline that combines deep Convolutional Neural Networks with physical models and exploits traditional sampling techniques such as Hamiltonian Monte Carlo. Using simulated strong gravitational lensing systems, we discuss first results and characterize the accuracy of the reconstruction of the main lensing parameters.

arXiv comment8 pages, 5 figures. Proceedings of the 36th International Cosmic Ray Conference (ICRC 2019), Madison, WI, U.S.A

References in corpus (18)

• Unsupervised Representation Learning with Deep Convolutional Generative Adversarial Networks
• Stochastic Backpropagation and Approximate Inference in Deep Generative Models
• A Conceptual Introduction to Hamiltonian Monte Carlo
• A New Era in the Quest for Dark Matter
• The properties of warm dark matter haloes
• Strong Lensing by Galaxies
• Gravitational detection of a low-mass dark satellite at cosmological distance
• Bayesian Strong Gravitational-Lens Modeling on Adaptive Grids: Objective Detection of Mass Substructure in Galaxies
• Fast Automated Analysis of Strong Gravitational Lenses with Convolutional Neural Networks
• FIRE in the Field: Simulating the Threshold of Galaxy Formation
• Inference of the Cold Dark Matter substructure mass function at z=0.2 using strong gravitational lenses
• Constraints on the Dark Matter Particle Mass from the Number of Milky Way Satellites
• Modelling the line-of-sight contribution in substructure lensing
• Low-mass halo perturbations in strong gravitational lenses at redshift z$\sim$0.5 are consistent with CDM
• The Substructure Hierarchy in Dark Matter Haloes
• Data-Driven Reconstruction of Gravitationally Lensed Galaxies using Recurrent Inference Machines
• Differentiable Strong Lensing: Uniting Gravity and Neural Nets through Differentiable Probabilistic Programming
• Numerical Simulations of the Dark Universe: State of the Art and the Next Decade