Abstract:Strong gravitational lenses are a singular probe of the universe's small-scale structure $\unicode{x2013}$ they are sensitive to the gravitational effects of low-mass $(<10^{10} M_\odot)$ halos even without a luminous counterpart. Recent strong-lensing analyses of dark matter structure rely on simulation-based inference (SBI). Modern SBI methods, which leverage neural networks as density estimators, have shown promise in extracting the halo-population signal. However, it is unclear whether the constraining power of these models has been limited by the methodology or the information content of the data. In this study, we introduce an accelerator-optimized simulation pipeline that can generate lens images with realistic subhalo populations in a matter of milliseconds. Leveraging this simulator, we identify the main methodological limitation of our fiducial SBI analysis: training set size. We then adopt a sequential neural posterior estimation (SNPE) approach, allowing us to iteratively refine the distribution of simulated training images to better align with the observed data. Using only one-fifth as many mock Hubble Space Telescope (HST) images, SNPE matches the constraints on the low-mass halo population produced by our best non-sequential model. Our experiments suggest that an over three order-of-magnitude increase in training set size and GPU hours would be required to achieve an equivalent result without sequential methods. While the full potential of the existing strong lens sample remains to be explored, the notable improvement in constraining power enabled by our sequential approach highlights that the current constraints are limited primarily by methodology and not the data itself. Moreover, our results emphasize the need to treat training set generation and model optimization as interconnected stages of any cosmological analysis using simulation-based inference techniques.

Impacts of source morphology on the detectability of subhalos in strong lenses

Angular complexity in strong lens substructure detection

Testing strong lensing subhalo detection with a cosmological simulation

Galaxy-galaxy strong lens perturbations: line-of-sight haloes versus lens subhaloes

Substructure Detection in Realistic Strong Lensing Systems with Machine Learning

Measuring the substructure mass power spectrum of 23 SLACS strong galaxy–galaxy lenses with convolutional neural networks

Measuring the Substructure Mass Power Spectrum of 23 SLACS Strong Galaxy-Galaxy Lenses with Convolutional Neural Networks

Effects of Subhalos on Interpreting Highly Magnified Sources Near Lensing Caustics

Gravitational imaging through a triple source plane lens: revisiting the $Λ$CDM-defying dark subhalo in SDSSJ0946+1006

Modelling the line-of-sight contribution in substructure lensing

Gravitational imaging through a triple source plane lens: revisiting the ΛCDM-defying dark subhalo in SDSSJ0946+1006

A Strong Gravitational Lens Is Worth a Thousand Dark Matter Halos: Inference on Small-Scale Structure Using Sequential Methods

Detecting Low-Mass Perturbers in Cluster Lenses using Curved Arc Bases

Scanning For Dark Matter Subhalos in Hubble Space Telescope Imaging of 54 Strong Lenses

The Correspondence Between Convergence Peaks from Weak Lensing and Massive Dark Matter Haloes

Flashlights: Properties of Highly Magnified Images Near Cluster Critical Curves in the Presence of Dark Matter Subhalos

Projection effects in the strong lensing study of subhaloes

Modeling lens potentials with continuous neural fields in galaxy-scale strong lenses

Lensing Diagnostics of Halo Substructure