Searcharxiv⌕ Search

arXiv subjects

Liam McAllister

Publications and source records attributed to Liam McAllister.

At least 19 recordsLinked to original sources
arXiv2026

A Supernova Constraint on F-theory

We study constraints on the quantum chromodynamics (QCD) axion in F-theory, a strongly coupled limit of string theory. We build models of QCD from compactifications to four dimensions on elliptic fibrations over toric threefolds $B_3$, characterized by an integer $N=h^{1,1}(B_3)$. The QCD axion mass increases with $N$, and we find that models with sufficiently high $N$ are inconsistent with observations of the neutrino burst from supernova 1987A, disfavoring large regions of the moduli space. Specifically, at least $95\%$ of models with $N \ge 8,791$ -- a regime that arguably contains the vast majority of known F-theory topologies -- have a QCD axion mass $m_{QCD}>15~meV$ and are thus constrained. This limit is independent of cosmology. We only consider weakly-curved threefolds, where $α'$ corrections are plausibly negligible.

hep-th↗
arXiv2025

TASI Lectures on de Sitter Vacua

These lectures provide a self-contained introduction to flux compactifications of type IIB string theory on Calabi-Yau orientifolds. The first lecture begins with geometric foundations, then presents vacuum solutions in Calabi-Yau compactifications, as well as the geometry and physics of the moduli problem. The second lecture develops the classical theory of type IIB flux compactifications, both in ten dimensions and in the four-dimensional effective theory. The third lecture turns to the quantum theory of flux compactifications, including perturbative and non-perturbative corrections. With this foundation, in the fourth lecture we give a detailed treatment of the candidate de Sitter vacua recently constructed in arXiv:2406.13751. These notes are intended to be accessible to graduate students working in adjacent fields, and so extensive background material is included throughout.

hep-th↗
arXiv2025

F-theory Axiverse

We compute the couplings of Ramond-Ramond four-form axions in three ensembles of F-theory compactifications, with up to 181,200 axions. We work in the stretched Kähler cone, where $α'$ corrections are plausibly controlled, and we use couplings to certain non-Abelian sectors as a proxy for couplings to photons. The axion masses, decay constants, and couplings to gauge sectors show striking universality across the ensembles. In particular, the axion-photon couplings grow with $h^{1,1}$, and models in our ensemble with $h^{1,1} \gtrsim$ 10,000 axions are in tension with helioscope constraints. Moreover, under mild assumptions about charged matter beyond the Standard Model, theories with $h^{1,1} \gtrsim$ 5,000 are in tension with Chandra measurements of X-ray spectra. This work is a first step toward understanding the phenomenology of quantum gravity theories with thousands of axions.

hep-th↗
arXiv2024

Fuzzy Axions and Associated Relics

We study fuzzy axion dark matter in type IIB string theory, for axions descending from the Ramond-Ramond four-form in compactifications on orientifolds of Calabi-Yau hypersurfaces. Such models can be tested by cosmological measurements if a significant relic abundance of fuzzy dark matter arises, which we argue is most common in models with small numbers of axions. We construct a topologically exhaustive ensemble of more than 350,000 Calabi-Yau compactifications yielding up to seven axions, and in this setting we perform a systematic analysis of misalignment production of fuzzy dark matter. In typical regions of moduli space, the fuzzy axion, the QCD axion, and other axions have comparable decay constants of $f_a \approx 10^{16}$ GeV. We find that overproduction of heavier axions is problematic, except at special loci in moduli space where decay constant hierarchies can occur: without a contrived reheating epoch, it is necessary to fine-tune initial displacements. The resulting dark matter is typically a mix of fuzzy axions and heavier axions, including the QCD axion. Dark photons are typically present as a consequence of the orientifold projection. We examine the signatures of these models by simulating halos with multiple fuzzy axions, and by computing new cosmological constraints on ultralight axions and dark radiation. We also give evidence that cosmic birefringence is possible in this setting. Our findings determine the phenomenological correlates of fuzzy axion dark matter in a corner of the landscape.

hep-th↗
arXiv2024

Glimmers from the Axiverse

We study axion-photon couplings in compactifications of type IIB string theory. We find that these couplings are systematically suppressed compared to the inverse axion periodicity, as a result of two effects. First, couplings to the QED theta angle are suppressed for axion mass eigenstates that are light compared to the mass scale set by stringy instantons on the cycle supporting QED. Second, in compactifications with many axions the intersection matrix is sparse, making kinetic mixing weak. We study the resulting phenomenology in an ensemble of $200{,}000$ toy models constructed from the Kreuzer-Skarke database up to the maximum Hodge number $h^{1,1}=491$. We examine freeze-in production and decay of thermal axions, birefringence of the cosmic microwave background, X-ray spectrum oscillations, and constraints on the QCD axion from supernovae. We conclude that compactifications in this corner of the landscape involve many invisible axions, as well as a handful that may be detectable via photon couplings.

hep-th↗
arXiv2024

Candidate de Sitter Vacua

We construct compactifications of type IIB string theory that yield, at leading order in the $α^\prime$ and $g_s$ expansions, de Sitter vacua of the form envisioned by Kachru, Kallosh, Linde, and Trivedi. We specify explicit Calabi-Yau orientifolds and quantized fluxes for which we derive the four-dimensional effective supergravity theories, incorporating the exact flux superpotential, the nonperturbative superpotential from Euclidean D3-branes, and the Kähler potential at tree level in the string loop expansion but to all orders in $α'$. Each example includes a Klebanov-Strassler throat region containing a single anti-D3-brane, whose supersymmetry-breaking energy, computed at leading order in $α'$, causes an uplift to a metastable de Sitter vacuum in which all moduli are stabilized. Finding vacua that demonstrably survive subleading corrections, and in which the quantization conditions are completely understood, is an important open problem for which this work has prepared the foundations.

hep-th↗
arXiv2024

Computational Mirror Symmetry

We present an efficient algorithm for computing the prepotential in compactifications of type II string theory on mirror pairs of Calabi-Yau threefolds in toric varieties. Applying this method, we exhibit the first systematic computation of genus-zero Gopakumar-Vafa invariants in compact threefolds with many moduli, including examples with up to 491 vector multiplets.

hep-th↗
arXiv2023

Moduli Space Reconstruction and Weak Gravity

We present a method to construct the extended Kähler cone of any Calabi-Yau threefold by using Gopakumar-Vafa invariants to identify all geometric phases that are related by flops or Weyl reflections. In this way we obtain the Kähler moduli spaces of all favorable Calabi-Yau threefold hypersurfaces with $h^{1,1} \le 4$, including toric and non-toric phases. In this setting we perform an explicit test of the Weak Gravity Conjecture by using the Gopakumar-Vafa invariants to count BPS states. All of our examples satisfy the tower/sublattice WGC, and in fact they even satisfy the stronger lattice WGC.

hep-th↗
arXiv2023

Moduli Stabilization in String Theory

We give an overview of moduli stabilization in compactifications of string theory. We summarize current methods for construction and analysis of vacua with stabilized moduli, and we describe applications to cosmology and particle physics. This is a contribution to the Handbook of Quantum Gravity.

hep-th↗
arXiv2023

Counting Calabi-Yau Threefolds

We enumerate topologically-inequivalent compact Calabi-Yau threefold hypersurfaces. By computing arithmetic and algebraic invariants and the Gopakumar-Vafa invariants of curves, we prove that the number of distinct simply connected Calabi-Yau threefold hypersurfaces resulting from triangulations of four-dimensional reflexive polytopes is 4, 27, 183, 1,184 and 8,036 at $h^{1,1}$ = 1, 2, 3, 4, and 5, respectively. We also establish that there are ten equivalence classes of Wall data of non-simply connected Calabi-Yau threefolds from the Kreuzer-Skarke list. Finally, we give a provisional count of threefolds obtained by enumerating non-toric flops at $h^{1,1} =2$.

hep-th↗
arXiv2022

CYTools: A Software Package for Analyzing Calabi-Yau Manifolds

We provide a user's guide to version 1.0 of the software package CYTools, which we designed to compute the topological data of Calabi-Yau hypersurfaces in toric varieties. CYTools has strong capabilities in analyzing and triangulating polytopes, and can easily handle even the largest polytopes in the Kreuzer-Skarke list. We explain the main functions and the options that can be used to optimize them, including example computations that illustrate efficient handling of large numbers of polytopes. The software, installation instructions, and a Jupyter notebook tutorial can be found at https://cy.tools.

hep-th↗
arXiv2022

Snowmass Theory Frontier: Astrophysics and Cosmology

We summarize progress made in theoretical astrophysics and cosmology over the past decade and areas of interest for the coming decade. This Report is prepared as the TF09 "Astrophysics and Cosmology" topical group summary for the Theory Frontier as part of the Snowmass 2021 process.

hep-ph↗
arXiv2022

PQ Axiverse

We show that the strong CP problem is solved in a large class of compactifications of string theory. The Peccei-Quinn mechanism solves the strong CP problem if the CP-breaking effects of the ultraviolet completion of gravity and of QCD are small compared to the CP-preserving axion potential generated by low-energy QCD instantons. We characterize both classes of effects. To understand quantum gravitational effects, we consider an ensemble of flux compactifications of type IIB string theory on orientifolds of Calabi-Yau hypersurfaces in the geometric regime, taking a simple model of QCD on D7-branes. We show that the D-brane instanton contribution to the neutron electric dipole moment falls exponentially in $N^4$, with $N$ the number of axions. In particular, this contribution is negligible in all models in our ensemble with $N>17$. We interpret this result as a consequence of large $N$ effects in the geometry that create hierarchies in instanton actions and also suppress the ultraviolet cutoff. We also compute the CP breaking due to high-energy instantons in QCD. In the absence of vectorlike pairs, we find contributions to the neutron electric dipole moment that are not excluded, but that could be accessible to future experiments if the scale of supersymmetry breaking is sufficiently low. The existence of vectorlike pairs can lead to a larger dipole moment. Finally, we show that a significant fraction of models are allowed by standard cosmological and astrophysical constraints.

hep-th↗
arXiv2022

Superpotentials from Singular Divisors

We study Euclidean D3-branes wrapping divisors $D$ in Calabi-Yau orientifold compactifications of type IIB string theory. Witten's counting of fermion zero modes in terms of the cohomology of the structure sheaf $\mathcal{O}_D$ applies when $D$ is smooth, but we argue that effective divisors of Calabi-Yau threefolds typically have singularities along rational curves. We generalize the counting of fermion zero modes to such singular divisors, in terms of the cohomology of the structure sheaf $\mathcal{O}_{\overline{D}}$ of the normalization $\overline{D}$ of $D$. We establish this by detailing compactifications in which the singularities can be unwound by passing through flop transitions, giving a physical incarnation of the normalization process. Analytically continuing the superpotential through the flops, we find that singular divisors whose normalizations are rigid can contribute to the superpotential: specifically, $h^{\bullet}_{+}(\mathcal{O}_{\overline{D}})=(1,0,0)$ and $h^{\bullet}_{-}(\mathcal{O}_{\overline{D}})=(0,0,0)$ give a sufficient condition for a contribution. The examples that we present feature infinitely many isomorphic geometric phases, with corresponding infinite-order monodromy groups $Γ$. We use the action of $Γ$ on effective divisors to determine the exact effective cones, which have infinitely many generators. The resulting nonperturbative superpotentials are Jacobi theta functions, whose modular symmetries suggest the existence of strong-weak coupling dualities involving inversion of divisor volumes.

hep-th↗
arXiv2022

Snowmass White Paper: Cosmology at the Theory Frontier

The precision cosmological model describing the origin and expansion history of the universe, with observed structure seeded at the inflationary cosmic horizon, demands completion in the ultraviolet and in the infrared. The dynamics of the cosmic horizon also suggests an associated entropy, again requiring a microphysical theory. Recent years have seen enormous progress in understanding the structure of de Sitter space and inflation in string theory, and of cosmological observables captured by quantum field theory and solvable deformations thereof. The resulting models admit ongoing observational tests through measurements of the cosmic microwave background and large-scale structure, as well as through analyses of theoretical consistency by means of thought experiments. This paper, prepared for the TF01 and TF09 conveners of the Snowmass 2021 process, provides a synopsis of this important area, focusing on ongoing developments and opportunities.

hep-th↗
arXiv2022

Conifold Vacua with Small Flux Superpotential

We introduce a method for finding flux vacua of type IIB string theory in which the flux superpotential is exponentially small and at the same time one or more complex structure moduli are stabilized exponentially near to conifold points.

hep-th↗