We implement Genetic Algorithms for triangulations of four-dimensional reflexive polytopes which induce Calabi-Yau threefold hypersurfaces via Batyrev's construction. We demonstrate that such algorithms efficiently optimize physical observables such as axion decay constants or axion-photon couplings in string theory compactifications. For our implementation, we choose a parameterization of triangulations that yields homotopy inequivalent Calabi-Yau threefolds by extending fine, regular triangulations of two-faces, thereby eliminating exponentially large redundancy factors in the map from polytope triangulations to Calabi-Yau hypersurfaces. In particular, we discuss how this encoding renders the entire Kreuzer-Skarke list amenable to a variety of optimization strategies, including but not limited to Genetic Algorithms. To achieve optimal performance, we tune the hyperparameters of our Genetic Algorithm using Bayesian optimization. We find that our implementation vastly outperforms other sampling and optimization strategies like Markov Chain Monte Carlo or Simulated Annealing. Finally, we showcase that our Genetic Algorithm efficiently performs optimization even for the maximal polytope with Hodge numbers $h^{1,1} = 491$, where we use it to maximize axion-photon couplings.
翻译:我们针对四维自反多面体的三角剖分实现了遗传算法,这些剖分通过巴蒂列夫构造诱导出卡拉比-丘三维超曲面。我们证明此类算法能高效优化弦论紧化中的物理可观测量,如轴子衰变常数或轴子-光子耦合强度。在实现中,我们选择了一种三角剖分的参数化方法,通过扩展二维面的精细正则三角剖分,得到同伦不等价的卡拉比-丘三维流形,从而消除了从多面体三角剖分到卡拉比-丘超曲面映射中指数级冗余因子。特别地,我们讨论了该编码方式如何使整个克洛伊泽-斯卡克列表适用于多种优化策略(包括但不限于遗传算法)。为达到最优性能,我们采用贝叶斯优化调整遗传算法的超参数。实验表明,我们的实现显著优于马尔可夫链蒙特卡洛或模拟退火等其他采样与优化策略。最后,我们展示了遗传算法即使在霍奇数 $h^{1,1} = 491$ 的最大多面体案例中仍能高效执行优化,并以此最大化轴子-光子耦合强度。