Probing Dark Matter Substructures with Free-Form Modelling: A Case Study of the `Jackpot' Strong Lens

Characterising the population and internal structure of sub-galactic halos is critical for constraining the nature of dark matter. These halos can be detected near galaxies that act as strong gravitational lenses with extended arcs, as they perturb the shapes of the arcs. However, this method is subject to false-positive detections and systematic uncertainties, particularly degeneracies between an individual halo and larger-scale asymmetries in the distribution of lens mass. We present a new free-form lens modelling code, developed within the framework of the open-source software \texttt{PyAutoLens}, to address these challenges. Our method models mass perturbations that cannot be captured by parametric models as pixelized potential corrections and suppresses unphysical solutions via a Matérn regularisation scheme that is inspired by Gaussian process regression. This approach enables the recovery of diverse mass perturbations, including subhalos, line-of-sight halos, external shear, and multipole components that represent the complex angular mass distribution of the lens galaxy, such as boxiness/diskiness. Additionally, our fully Bayesian framework objectively infers hyperparameters associated with the regularisation of pixelized sources and potential corrections, eliminating the need for manual fine-tuning. By applying our code to the well-known `Jackpot' lens system, SLACS0946+1006, we robustly detect a highly concentrated subhalo that challenges the standard cold dark matter model. This study represents the first attempt to independently reveal the mass distribution of a subhalo using a fully free-form approach.