Search

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., Comment: 62 pages, 16 figures. Supplementary materials: https://github.com/sheride/fuzzy_axions

We construct compactifications of type IIB string theory that yield, at leading order in the $\alpha^\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\"ahler potential at tree level in the string loop expansion but to all orders in $\alpha'$. Each example includes a Klebanov-Strassler throat region containing a single anti-D3-brane, whose supersymmetry-breaking energy, computed at leading order in $\alpha'$, 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., Comment: 64 pages + appendices, 22 figures. 30 candidate de Sitter vacua. Ancillary data: https://github.com/AndreasSchachner/kklt_de_sitter_vacua. v2: typos fixed, references added

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., Comment: 74 pages. Invited chapter for the Handbook of Quantum Gravity (edited by Cosimo Bambi, Leonardo Modesto, and Ilya Shapiro, Springer 2023)

We give a mathematical perspective on string compactifications. Submitted as a chapter in the Encyclopedia of Mathematical Physics., Comment: 27 pages. Chapter prepared for the Encyclopedia of Mathematical Physics 2nd edition

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$., Comment: 40 pages, 1 figure, 5 tables

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., Comment: 46 pages, 18 Figures, one appendix; v2: matches published version; v3: typos corrected

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., Comment: v1: 44 pages, 4 figures; v2: matches published version

We present a method to construct the extended K\"ahler 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\"ahler 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., Comment: 29 pages + appendices, 8 illustrations; v2: matches published version

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., Comment: v1: 42 pages, 2 figures. Software package available at https://cy.tools

We give an overview of the field of quantum gravity, string theory and black holes summarizing various white papers in this subject that were submitted as part of the Snowmass process., Comment: 21 pages; v2, minor changes

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., Comment: 57 pages

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 $\Gamma$. We use the action of $\Gamma$ 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., Comment: 31 pages, 4 figures

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., Comment: Contribution to Snowmass 2021

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., Comment: 15 pages, 8 figures, 2 appendices. v2: typo fixed, references added

We construct a vacuum of string theory in which the magnitude of the vacuum energy is $< 10^{-123}$ in Planck units. Regrettably, the sign of the vacuum energy is negative, and some supersymmetry remains unbroken., Comment: 6 pages. A more detailed analysis appears in our companion paper 2107.09064. v2: typo fixed, results unchanged; approximately matches version published in PRL

We construct supersymmetric $\mathrm{AdS}_4$ vacua of type IIB string theory in compactifications on orientifolds of Calabi-Yau threefold hypersurfaces. We first find explicit orientifolds and quantized fluxes for which the superpotential takes the form proposed by Kachru, Kallosh, Linde, and Trivedi. Given very mild assumptions on the numerical values of the Pfaffians, these compactifications admit vacua in which all moduli are stabilized at weak string coupling. By computing high-degree Gopakumar-Vafa invariants we give strong evidence that the $\alpha'$ expansion is likewise well-controlled. We find extremely small cosmological constants, with magnitude $ < 10^{-123}$ in Planck units. The compactifications are large, but not exponentially so, and hence these vacua manifest hierarchical scale-separation, with the AdS length exceeding the Kaluza-Klein length by a factor of a googol., Comment: 55 pages, 6 figures, one appendix. A summary of these results appears in the companion paper arXiv:2107.09065. Compactification data included in ancillary files. v2: typos fixed, references added. v3: extended discussion, typos fixed, results unchanged; matches version published in JHEP

We perform an extensive analysis of the statistics of axion masses and interactions in compactifications of type IIB string theory, and we show that black hole superradiance excludes some regions of Calabi-Yau moduli space. Regardless of the cosmological model, a theory with an axion whose mass falls in a superradiant band can be probed by the measured properties of astrophysical black holes, unless the axion self-interaction is large enough to disrupt formation of a condensate. We study a large ensemble of compactifications on Calabi-Yau hypersurfaces, with $1 \leq h^{1,1} \leq 491$ closed string axions, and determine whether the superradiance conditions on the masses and self-interactions are fulfilled. The axion mass spectrum is largely determined by the K\"ahler parameters, for mild assumptions about the contributing instantons, and takes a nearly-universal form when $h^{1,1} \gg 1$. When the K\"ahler moduli are taken at the tip of the stretched K\"ahler cone, the fraction of geometries excluded initially grows with $h^{1,1}$, to a maximum of $\approx 0.5$ at $h^{1,1} \approx 160$, and then falls for larger $h^{1,1}$. Further inside the K\"ahler cone, the superradiance constraints are far weaker, but for $h^{1,1} \gg 100$ the decay constants are so small that these geometries may be in tension with astrophysical bounds, depending on the realization of the Standard Model., Comment: 35+23 pages, 23 figures. v2: minor corrections and clarifications

We obtain constraints from black hole superradiance in an ensemble of compactifications of type IIB string theory. The constraints require knowing only the axion masses and self-interactions, and are insensitive to the cosmological model. We study more than $2 \cdot 10^5$ Calabi-Yau manifolds with Hodge numbers $1\leq h^{1,1}\leq 491$ and compute the axion spectrum at two reference points in moduli space for each geometry. Our computation of the classical theory is explicit, while for the instanton-generated axion potential we use a conservative model. The measured properties of astrophysical black holes exclude parts of our dataset. At the point in moduli space corresponding to the tip of the stretched K\"{a}hler cone, we exclude $\approx 50\%$ of manifolds in our sample at 95% C.L., while further inside the K\"{a}hler cone, at an extremal point for realising the Standard Model, we exclude a maximum of $\approx 7\%$ of manifolds at $h^{1,1}=11$, falling to nearly zero by $h^{1,1}=100$., Comment: 6 pages, 3 figures. v2: expanded dataset; minor corrections and clarifications

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., Comment: 44 pages, 5 figures. v2: extended discussion of near-conifold expansion of prepotential, references added

We study Calabi-Yau threefolds with large Hodge numbers by constructing and counting triangulations of reflexive polytopes. By counting points in the associated secondary polytopes, we show that the number of fine, regular, star triangulations of polytopes in the Kreuzer-Skarke list is bounded above by $\binom{14,111}{494} \approx 10^{928}$. Adapting a result of Anclin on triangulations of lattice polygons, we obtain a bound on the number of triangulations of each 2-face of each polytope in the list. In this way we prove that the number of topologically inequivalent Calabi-Yau hypersurfaces arising from the Kreuzer-Skarke list is bounded above by $10^{428}$. We introduce efficient algorithms for constructing representative ensembles of Calabi-Yau hypersurfaces, including the extremal case $h^{1,1}=491$, and we study the distributions of topological and physical data therein. Finally, we demonstrate that neural networks can accurately predict these data once the triangulation is encoded in terms of the secondary polytope., Comment: 29 pages, 8 figures

We describe a method for finding flux vacua of type IIB string theory in which the Gukov-Vafa-Witten superpotential is exponentially small. We present an example with $W_0 \approx 2 \times 10^{-8}$ on an orientifold of a Calabi-Yau hypersurface with $(h^{1,1},h^{2,1})=(2,272)$, at large complex structure and weak string coupling., Comment: 5 pages, 1 figure. v2: refs added, minor corrections, results unchanged

We develop methods for resummation of instanton lattice series. Using these tools, we investigate the consequences of the Weak Gravity Conjecture for large-field axion inflation. We find that the Sublattice Weak Gravity Conjecture implies a constraint on the volume of the axion fundamental domain. However, we also identify conditions under which alignment and clockwork constructions, and a new variant of N-flation that we devise, can evade this constraint. We conclude that some classes of low-energy effective theories of large-field axion inflation are consistent with the strongest proposed form of the Weak Gravity Conjecture, while others are not., Comment: 42 pages, 6 figures

We analyze the de Sitter construction of \cite{KKLT} using ten-dimensional supergravity, finding exact agreement with the four-dimensional effective theory. Starting from the fermionic couplings in the D7-brane action, we derive the ten-dimensional stress-energy due to gaugino condensation on D7-branes. We demonstrate that upon including this stress-energy, as well as that due to anti-D3-branes, the ten-dimensional equations of motion require the four-dimensional curvature to take precisely the value determined by the four-dimensional effective theory of \cite{KKLT}., Comment: 58 pages. v2: corrected statements about generalized complex geometry. Appendices contain more details of spinor ansatz and of D3-brane potential. Typos fixed, refs added. v3: significant additional results. Appendix A includes analysis of a new term in the Killing spinor equations. Appendix C contains a demonstration of the cancellation of divergences. Conclusions unchanged

We show that the Weak Gravity Conjecture (WGC) implies a nontrivial upper bound on the volumes of the minimal-volume cycles in certain homology classes that admit no calibrated representatives. In compactification of type IIB string theory on an orientifold $X$ of a Calabi-Yau threefold, we consider a homology class $[\Sigma] \in H_4(X,\mathbb{Z})$ represented by a union $\Sigma_{\cup}$ of holomorphic and antiholomorphic cycles. The instanton form of the WGC applied to the axion charge $[\Sigma]$ implies an upper bound on the action of a non-BPS Euclidean D3-brane wrapping the minimal-volume representative $\Sigma_{\mathrm{min}}$ of $[\Sigma]$. We give an explicit example of an orientifold $X$ of a hypersurface in a toric variety, and a hyperplane $\mathcal{H} \subset H_4(X,\mathbb{Z})$, such that for any $[\Sigma] \in H$ that satisfies the WGC, the minimal volume obeys $\mathrm{Vol}(\Sigma_{\mathrm{min}}) \ll \mathrm{Vol}(\Sigma_{\cup})$: the holomorphic and antiholomorphic components recombine to form a much smaller cycle. In particular, the sub-Lattice WGC applied to $X$ implies large recombination, no matter how sparse the sublattice. Non-BPS instantons wrapping $\Sigma_{\mathrm{min}}$ are then more important than would be predicted from a study of BPS instantons wrapping the separate components of $\Sigma_{\cup}$. Our analysis hinges on a novel computation of effective divisors in $X$ that are not inherited from effective divisors of the toric variety., Comment: 25 pages

The next generation of instruments designed to measure the polarization of the cosmic microwave background (CMB) will provide a historic opportunity to open the gravitational wave window to the primordial Universe. Through high sensitivity searches for primordial gravitational waves, and tighter limits on the energy released in processes like phase transitions, the CMB polarization data of the next decade has the potential to transform our understanding of the laws of physics underlying the formation of the Universe., Comment: 5 pages + references; Submitted to the Astro2020 call for science white papers

Our current understanding of the Universe is established through the pristine measurements of structure in the cosmic microwave background (CMB) and the distribution and shapes of galaxies tracing the large scale structure (LSS) of the Universe. One key ingredient that underlies cosmological observables is that the field that sources the observed structure is assumed to be initially Gaussian with high precision. Nevertheless, a minimal deviation from Gaussianityis perhaps the most robust theoretical prediction of models that explain the observed Universe; itis necessarily present even in the simplest scenarios. In addition, most inflationary models produce far higher levels of non-Gaussianity. Since non-Gaussianity directly probes the dynamics in the early Universe, a detection would present a monumental discovery in cosmology, providing clues about physics at energy scales as high as the GUT scale., Comment: 5 pages + references; Submitted to the Astro2020 call for science white papers. This version: fixed author list

In axion monodromy inflation, traversing $N$ axion periods corresponds to discharging $N$ units of a quantized charge. In certain models with moving D7-branes, such as Higgs-otic inflation, this monodromy charge is D3-brane charge induced on the D7-branes. The stress-energy of the induced charge affects the internal space, changing the inflaton potential and potentially limiting the field range. We compute the backreaction of induced D3-brane charge in Higgs-otic inflation. The effect on the nonperturbative superpotential is dramatic even for $N=1$, and may preclude large-field inflation in this model in the absence of a mechanism to control the backreaction., Comment: 31 pages

We study the topological properties of Calabi-Yau threefold hypersurfaces at large $h^{1,1}$. We obtain two million threefolds $X$ by triangulating polytopes from the Kreuzer-Skarke list, including all polytopes with $240 \le h^{1,1}\le 491$. We show that the K\"ahler cone of $X$ is very narrow at large $h^{1,1}$, and as a consequence, control of the $\alpha^{\prime}$ expansion in string compactifications on $X$ is correlated with the presence of ultralight axions. If every effective curve has volume $\ge 1$ in string units, then the typical volumes of irreducible effective curves and divisors, and of $X$ itself, scale as $(h^{1,1})^p$, with $3\lesssim p \lesssim 7$ depending on the type of cycle in question. Instantons from branes wrapping these cycles are thus highly suppressed., Comment: 36 pages, 12 figures

We prove a formula for the Hodge numbers of square-free divisors of Calabi-Yau threefold hypersurfaces in toric varieties. Euclidean branes wrapping divisors affect the vacuum structure of Calabi-Yau compactifications of type IIB string theory, M-theory, and F-theory. Determining the nonperturbative couplings due to Euclidean branes on a divisor $D$ requires counting fermion zero modes, which depend on the Hodge numbers $h^i({\cal{O}}_D)$. Suppose that $X$ is a smooth Calabi-Yau threefold hypersurface in a toric variety $V$, and let $D$ be the restriction to $X$ of a square-free divisor of $V$. We give a formula for $h^i({\cal{O}}_D)$ in terms of combinatorial data. Moreover, we construct a CW complex $\mathscr{P}_D$ such that $h^i({\cal{O}}_D)=h_i(\mathscr{P}_D)$. We describe an efficient algorithm that makes possible for the first time the computation of sheaf cohomology for such divisors at large $h^{1,1}$. As an illustration we compute the Hodge numbers of a class of divisors in a threefold with $h^{1,1}=491$. Our results are a step toward a systematic computation of Euclidean brane superpotentials in Calabi-Yau hypersurfaces., Comment: 67 pages, 10 figures

We consider cosmological evolution from the perspective of quantum information. We present a quantum circuit model for the expansion of a comoving region of space, in which initially-unentangled ancilla qubits become entangled as expansion proceeds. We apply this model to the comoving region that now coincides with our Hubble volume, taking the number of entangled degrees of freedom in this region to be proportional to the de Sitter entropy. The quantum circuit model is applicable for at most 140 $e$-folds of inflationary and post-inflationary expansion: we argue that no geometric description was possible before the time $t_1$ when our comoving region was one Planck length across, and contained one pair of entangled degrees of freedom. This approach could provide a framework for modeling the initial state of inflationary perturbations., Comment: v2, minor corrections

We examine the relaxion mechanism in string theory. An essential feature is that an axion winds over $N \gg 1$ fundamental periods. In string theory realizations via axion monodromy, this winding number corresponds to a physical charge carried by branes or fluxes. We show that this monodromy charge backreacts on the compact space, ruining the structure of the relaxion action. In particular, the barriers generated by strong gauge dynamics have height $\propto e^{-N}$, so the relaxion does not stop when the Higgs acquires a vev. Backreaction of monodromy charge can therefore spoil the relaxion mechanism. We comment on the limitations of technical naturalness arguments in this context., Comment: 1+45 pages, 4 appendices, 5 figures

We initiate a comprehensive survey of axion inflation in compactifications of type IIB string theory on Calabi-Yau hypersurfaces in toric varieties. For every threefold with $h^{1,1} \le 4$ in the Kreuzer-Skarke database, we compute the metric on K\"ahler moduli space, as well as the matrix of four-form axion charges of Euclidean D3-branes on rigid divisors. These charges encode the possibility of enlarging the field range via alignment. We then determine an upper bound on the inflationary field range $\Delta \phi$ that results from the leading instanton potential, in the absence of monodromy. The bound on the field range in this ensemble is $\Delta \phi \lesssim 0.3 M_{\rm{pl}}$, in a compactification where the smallest curve volume is $(2\pi)^2\alpha'$, and we argue that the sigma model expansion is adequately controlled. The largest increase resulting from alignment is a factor $\approx 2.6$. We also examine a set of threefolds with $h^{1,1}$ up to $100$ and characterize their axion charge matrices. We discuss how our findings could be modified by the effects of orientifolding, seven-branes, and fluxes., Comment: 28 pages, 6 figures, 1 table

Several recent works have claimed that the Weak Gravity Conjecture (WGC) excludes super-Planckian displacements of axion fields, and hence large-field axion inflation, in the absence of monodromy. We argue that in theories with $N\gg1$ axions, super-Planckian axion diameters $\cal{D}$ are readily allowed by the WGC. We clarify the nontrivial relationship between the kinetic matrix $K$ --- unambiguously defined by its form in a Minkowski-reduced basis --- and the diameter of the axion fundamental domain, emphasizing that in general the diameter is not solely determined by the eigenvalues $f_1^2 \le ... \le f_N^2$ of $K$: the orientations of the eigenvectors with respect to the identifications imposed by instantons must be incorporated. In particular, even if one were to impose the condition $f_NM_{pl}$ does not immediately imply the existence of unsuppressed higher harmonic contributions to the potential. Finally, we argue that in effective axion-gravity theories, the zero-form version of the WGC can be satisfied by gravitational instantons that make negligible contributions to the potential., Comment: 20 pages, 2 figures