JAXVacua — a framework for sampling string vacua

Moduli stabilisation in string compactifications with many light scalars remains a major blind-spot in the string landscape. In these regimes, analytic methods cease to work for generic choices of UV parameters which is why numerical techniques have to be exploited. In this paper, we implement algorithms based on JAX, heavily utilising automatic differentiation, just-in-time compilation and parallelisation features, to efficiently construct string vacua. This implementation provides a golden opportunity to efficiently analyse large unexplored regions of the string landscape. As a first example, we apply our techniques to the search of Type IIB flux vacua in Calabi-Yau orientifold compactifications. We argue that our methods only scale mildly with the Hodge numbers making exhaustive studies of low energy effective field theories with O\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{O} $$\end{document}(100) scalar fields feasible. Using small computing resources, we are able to construct O\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{O} $$\end{document}(106) flux vacua per geometry with h1,2 ≥ 2, vastly out-performing previous systematic searches. In particular, we showcase the efficiency of our methods by presenting generic vacua with fluxes below the tadpole constraint set by the orientifold with up to h1,2 = 25 complex structure moduli.