While the string landscape encompasses a vast number of low energy effective field theories, only a small subset of them are phenomenologically viable. The landscape's enormity, with as many as 10272,000 vacua, makes exhaustive searches or random samplings impractical. While in simple string models generic solutions may be found easily, practicioners usually seek to construct solutions having special properties such as weak couplings to ensure theoretical control or similarity to our universe. These additional criteria impose an auxiliary landscape structure (i.e. optimisation target) for which constrained systems of equations must be solved. For this problem, the landscape's vastness is exacerbated by computational complexity; finding specific string vacua appears to be NP-hard, though for some toy examples heuristic algorithms may have success. On this level, the situation of the string landscape is comparable to spin-glass systems and protein folding.


A key objective of my future work is to develop a systematic framework to constructing string vacua utilising the impressive machinary of Artificial Intelligene (AI) and Data Science (DS) techniques. In particular, I explore the effectiveness of multiple search strategies in revealing universal correlations among UV parameters characterising the local structure in the landscape. Recall that, since in String Theory the value of couplings is set by vacuum expectation values of fields, these are highly non-trivial and much sought-after insights. Moreover, combinations of supervised and unsupervised Machine Learning (ML) methods are prerequisites to determine boundaries of physical parameter spaces which is particularly attractive in the context of the landscape-swampland program.


Search for suitable Calabi-Yau orentifolds

Among others, I explore the set of Calabi-Yau hypersurfaces in the Kreuzer-Skarke database using the CYTools software package. For instance, we favour compact geometries that are capable of hosting realistic particle phenomenologies and whose string spectra satisfy bounds from black hole superradiance. However, the issue of efficiently finding background geometries for viable N=1 string compactifications remains largely unexplored. Here, I am interested in developing innovative strategies to obtaining orientifold and D-brane configurations of maximal D3-charge as well as suitable divisor structures with sufficiently many invariant rigid divisors supporting non-perturbative effects for moduli stabilisation. We have merely scratched the surface


Search for fully-stabilised string vacua

Given a background geometry together with an O-plane/D-brane configuration with vanishing tadpoles (i.e. satisfying generalised Gauß' law constraints), a fully-consistent EFT requires the specification of further UV parameters such as fluxes. More generally, the dynamics of the low energy theory needs to be analysed to find vacua with fully stabilised moduli. It remains a top challenge to design efficient optimization methods to search for realistic vacua that may at the same time reveal hidden structure in the landscape. Regarding this latter point, string theorists are interested not only in the construction of realistic vacua but also the statistical distribution surrounding such vacua, which has implications for various dynamics-based proposals for the measure problem. In recent years, stochastic optimisation with Genetic Algorithms (GAs) and Reinforcement Learning (RL) have been utilised to search for viable string vacua, outperforming searches based on Metropolis-Hastings.

Visualisation of GA searches for flux vacua via dimensional reduction using t-SNE. Starting from a random sample of vacua, the GA detects solutions satisfying special search criteria such as small string coupling gs. This is highlighted by the color coding characterising the distance to the optimal solution with blue (red) indicating vacua small (large) distances. Initially, the search leads to many intermediate clusters corresponding to local minima of the fitness function before the population settles to an optimal locus in moduli space. This is visualised by the formation of large clusters of dark blue color in t-SNE.