Spherical Bayesian mass-mapping with uncertainties: full sky observations on the celestial sphere

Abstract

To date weak gravitational lensing surveys have typically been restricted to small fields of view, such that the $\text{flat-sky approximation}$ has been sufficiently satisfied. However, with Stage IV surveys ($\text{e.g. LSST}$ and $\text{Euclid}$) imminent, extending mass-mapping techniques to the sphere is a fundamental necessity. As such, we extend the sparse hierarchical Bayesian mass-mapping formalism presented in previous work to the spherical sky. For the first time, this allows us to construct $\text{maximum a posteriori}$ spherical weak lensing dark-matter mass-maps, with principled Bayesian uncertainties, without imposing or assuming Gaussianty. We solve the spherical mass-mapping inverse problem in the analysis setting adopting a sparsity promoting Laplace-type wavelet prior, though this theoretical framework supports all log-concave posteriors. Our spherical mass-mapping formalism facilitates principled statistical interpretation of reconstructions. We apply our framework to convergence reconstruction on high resolution N-body simulations with pseudo-Euclid masking, polluted with a variety of realistic noise levels, and show a significant increase in reconstruction fidelity compared to standard approaches. Furthermore we perform the largest joint reconstruction to date of the majority of publicly available shear observational datasets (combining DESY1, KiDS450 and CFHTLens) and find that our formalism recovers a convergence map with significantly enhanced small-scale detail. Within our Bayesian framework we validate, in a statistically rigorous manner, the community's intuition regarding the need to smooth spherical Kaiser-Squires estimates to provide physically meaningful convergence maps. Such approaches cannot reveal the small-scale physical structures that we recover within our framework.

References in corpus (66)

• Nine-Year Wilkinson Microwave Anisotropy Probe (WMAP) Observations: Cosmological Parameter Results
• Weak Gravitational Lensing
• A direct empirical proof of the existence of dark matter
• The Dark Energy Camera
• KiDS-450: Cosmological parameter constraints from tomographic weak gravitational lensing
• Euclid Definition Study Report
• The Dark Energy Survey Data Release 1
• Bayesian Galaxy Shape Measurement for Weak Lensing Surveys - III. Application to the Canada-France-Hawaii Telescope Lensing Survey
• Gravitational Lensing Analysis of the Kilo Degree Survey
• CFHTLenS: The Canada-France-Hawaii Telescope Lensing Survey - Imaging Data and Catalogue Products
• The first and second data releases of the Kilo-Degree Survey
• The Dark Energy Survey Image Processing Pipeline
• Spherical Needlets for CMB Data Analysis
• A novel sampling theorem on the sphere
• Wavelets, ridgelets and curvelets on the sphere
• E/B decomposition of finite pixelized CMB maps
• Full-sky Gravitational Lensing Simulation for Large-area Galaxy Surveys and Cosmic Microwave Background Experiments
• Sparsity Averaging Reweighted Analysis (SARA): a novel algorithm for radio-interferometric imaging
• Weak lensing analysis in three dimensions
• Cosmological constraints with deep learning from KiDS-450 weak lensing maps
• Calibration of weak-lensing shear in the Kilo-Degree Survey
• CFHTLenS: Mapping the Large Scale Structure with Gravitational Lensing
• Weak Gravitational Lensing
• Proximal Splitting Methods in Signal Processing
• Exact reconstruction with directional wavelets on the sphere
• Asymptotics for spherical needlets
• A New Look at Massive Clusters: weak lensing constraints on the triaxial dark matter halos of Abell 1689, Abell 1835, & Abell 2204
• Dark Energy Survey Year 1 Results: Curved-Sky Weak Lensing Mass Map
• Scalable splitting algorithms for big-data interferometric imaging in the SKA era
• Characterizing the non-linear growth of large-scale structure in the Universe
• Sparsity Averaging for Compressive Imaging
• Uncertainty quantification for radio interferometric imaging: I. proximal MCMC methods
• Hierarchical Cosmic Shear Power Spectrum Inference
• Breaking degeneracies in modified gravity with higher (than 2nd) order weak-lensing statistics
• Testing the Gaussianity of the COBE-DMR data with spherical wavelets
• The Astro-WISE Optical Image Pipeline: Development and Implementation
• Robust sparse image reconstruction of radio interferometric observations with purify
• High Resolution Weak Lensing Mass-Mapping Combining Shear and Flexion
• S2LET: A code to perform fast wavelet analysis on the sphere
• Improving Weak Lensing Mass Map Reconstructions using Gaussian and Sparsity Priors: Application to DES SV
• Localisation of directional scale-discretised wavelets on the sphere
• Uncertainty quantification for radio interferometric imaging: II. MAP estimation
• Simulating full-sky interferometric observations
• MC^2: Mapping the Dark Matter Distribution of the "Toothbrush" Cluster RX J0603.3+4214 with Hubble Space Telescope and Subaru Weak-lensing
• Preparing for the Cosmic Shear Data Flood: Optimal Data Extraction and Simulation Requirements for Stage IV Dark Energy Experiments
• Weak Lensing with Sizes, Magnitudes and Shapes
• Bayesian Methods in Cosmology
• Second-Generation Curvelets on the Sphere
• On the computation of directional scale-discretized wavelet transforms on the sphere
• Hierarchical probabilistic inference of cosmic shear
• Sparse image reconstruction on the sphere: implications of a new sampling theorem
• Directional spin wavelets on the sphere
• KiDS-450: Enhancing cosmic shear with clipping transformations
• Weak lensing peak statistics in the era of large scale cosmological surveys
• ASKI: full-sky lensing map making algorithms
• Efficient Optimal Reconstruction of Linear Fields and Band-powers from Cosmological Data
• A novel sampling theorem on the rotation group
• 3D Reconstruction of the Density Field: An SVD Approach to Weak Lensing Tomography
• Sparse Bayesian mass-mapping with uncertainties: local credible intervals
• The Integrated Bispectrum and Beyond
• Sparse image reconstruction on the sphere: analysis and synthesis
• Jacobi Mapping Approach for a Precise Cosmological Weak Lensing Formalism
• Mapping dark matter on the celestial sphere with weak gravitational lensing
• Data compression on the sphere
• Sparse Bayesian mass-mapping with uncertainties: peak statistics and feature locations
• On the effect of projections on convergence peak counts and Minkowski functionals

Cited by in corpus (17)

• KiDS-1000 Methodology: Modelling and inference for joint weak gravitational lensing and spectroscopic galaxy clustering analysis
• Dark Energy Survey Year 3 results: curved-sky weak lensing mass map reconstruction
• Cosmic Shear Cosmology Beyond 2-Point Statistics: A Combined Peak Count and Correlation Function Analysis of DES-Y1
• Weak lensing mass reconstruction using sparsity and a Gaussian random field
• Avoiding baryonic feedback effects on neutrino mass measurements from CMB lensing
• Higher order statistics of shear field: a machine learning approach
• Almanac: Weak Lensing power spectra and map inference on the masked sphere
• Mapping dark matter on the celestial sphere with weak gravitational lensing
• The FLAMINGO project: Baryonic impact on weak gravitational lensing convergence peak counts
• Differentiable and accelerated spherical harmonic and Wigner transforms
• Posterior sampling for inverse imaging problems on the sphere in seismology and cosmology
• Weak Lensing Trispectrum and Kurt-Spectra
• Scattering Networks on the Sphere for Scalable and Rotationally Equivariant Spherical CNNs
• Sparse image reconstruction on the sphere: a general approach with uncertainty quantification
• Generative modelling for mass-mapping with fast uncertainty quantification
• Sparse Bayesian mass-mapping using trans-dimensional MCMC
• Bayesian variational regularization on the ball