-
Neural Network Field Theories: Non-Gaussianity, Actions, and Locality
Authors:
Mehmet Demirtas,
James Halverson,
Anindita Maiti,
Matthew D. Schwartz,
Keegan Stoner
Abstract:
Both the path integral measure in field theory and ensembles of neural networks describe distributions over functions. When the central limit theorem can be applied in the infinite-width (infinite-$N$) limit, the ensemble of networks corresponds to a free field theory. Although an expansion in $1/N$ corresponds to interactions in the field theory, others, such as in a small breaking of the statist…
▽ More
Both the path integral measure in field theory and ensembles of neural networks describe distributions over functions. When the central limit theorem can be applied in the infinite-width (infinite-$N$) limit, the ensemble of networks corresponds to a free field theory. Although an expansion in $1/N$ corresponds to interactions in the field theory, others, such as in a small breaking of the statistical independence of network parameters, can also lead to interacting theories. These other expansions can be advantageous over the $1/N$-expansion, for example by improved behavior with respect to the universal approximation theorem. Given the connected correlators of a field theory, one can systematically reconstruct the action order-by-order in the expansion parameter, using a new Feynman diagram prescription whose vertices are the connected correlators. This method is motivated by the Edgeworth expansion and allows one to derive actions for neural network field theories. Conversely, the correspondence allows one to engineer architectures realizing a given field theory by representing action deformations as deformations of neural network parameter densities. As an example, $φ^4$ theory is realized as an infinite-$N$ neural network field theory.
△ Less
Submitted 13 December, 2023; v1 submitted 6 July, 2023;
originally announced July 2023.
-
Computational Mirror Symmetry
Authors:
Mehmet Demirtas,
Manki Kim,
Liam McAllister,
Jakob Moritz,
Andres Rios-Tascon
Abstract:
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.
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.
△ Less
Submitted 19 January, 2024; v1 submitted 1 March, 2023;
originally announced March 2023.
-
CYTools: A Software Package for Analyzing Calabi-Yau Manifolds
Authors:
Mehmet Demirtas,
Andres Rios-Tascon,
Liam McAllister
Abstract:
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 th…
▽ More
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.
△ Less
Submitted 7 November, 2022;
originally announced November 2022.
-
PQ Axiverse
Authors:
Mehmet Demirtas,
Naomi Gendler,
Cody Long,
Liam McAllister,
Jakob Moritz
Abstract:
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 gravi…
▽ More
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.
△ Less
Submitted 30 August, 2022; v1 submitted 8 December, 2021;
originally announced December 2021.
-
A Cosmological Constant That is Too Small
Authors:
Mehmet Demirtas,
Manki Kim,
Liam McAllister,
Jakob Moritz,
Andres Rios-Tascon
Abstract:
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.
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.
△ Less
Submitted 10 January, 2022; v1 submitted 19 July, 2021;
originally announced July 2021.
-
Small Cosmological Constants in String Theory
Authors:
Mehmet Demirtas,
Manki Kim,
Liam McAllister,
Jakob Moritz,
Andres Rios-Tascon
Abstract:
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 adm…
▽ More
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 $α'$ 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.
△ Less
Submitted 10 January, 2022; v1 submitted 19 July, 2021;
originally announced July 2021.
-
Superradiance in String Theory
Authors:
Viraf M. Mehta,
Mehmet Demirtas,
Cody Long,
David J. E. Marsh,
Liam McAllister,
Matthew J. Stott
Abstract:
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, unle…
▽ More
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ähler parameters, for mild assumptions about the contributing instantons, and takes a nearly-universal form when $h^{1,1} \gg 1$. When the Kähler moduli are taken at the tip of the stretched Kähler 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ähler 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.
△ Less
Submitted 17 May, 2021; v1 submitted 11 March, 2021;
originally announced March 2021.
-
Superradiance Exclusions in the Landscape of Type IIB String Theory
Authors:
Viraf M. Mehta,
Mehmet Demirtas,
Cody Long,
David J. E. Marsh,
Liam McAllister,
Matthew J. Stott
Abstract:
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 modul…
▽ More
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ähler cone, we exclude $\approx 50\%$ of manifolds in our sample at 95% C.L., while further inside the Kä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$.
△ Less
Submitted 25 April, 2021; v1 submitted 17 November, 2020;
originally announced November 2020.
-
Conifold Vacua with Small Flux Superpotential
Authors:
Mehmet Demirtas,
Manki Kim,
Liam McAllister,
Jakob Moritz
Abstract:
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.
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.
△ Less
Submitted 3 February, 2022; v1 submitted 7 September, 2020;
originally announced September 2020.
-
Bounding the Kreuzer-Skarke Landscape
Authors:
Mehmet Demirtas,
Liam McAllister,
Andres Rios-Tascon
Abstract:
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…
▽ More
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.
△ Less
Submitted 4 August, 2020;
originally announced August 2020.
-
Vacua with Small Flux Superpotential
Authors:
Mehmet Demirtas,
Manki Kim,
Liam McAllister,
Jakob Moritz
Abstract:
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.
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.
△ Less
Submitted 2 February, 2020; v1 submitted 20 December, 2019;
originally announced December 2019.
-
Minimal Surfaces and Weak Gravity
Authors:
Mehmet Demirtas,
Cody Long,
Liam McAllister,
Mike Stillman
Abstract:
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 $[Σ] \in H_4(X,\mathbb{Z})$ represented by a union $Σ_{\cup}$ of holomorphic and a…
▽ More
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 $[Σ] \in H_4(X,\mathbb{Z})$ represented by a union $Σ_{\cup}$ of holomorphic and antiholomorphic cycles. The instanton form of the WGC applied to the axion charge $[Σ]$ implies an upper bound on the action of a non-BPS Euclidean D3-brane wrapping the minimal-volume representative $Σ_{\mathrm{min}}$ of $[Σ]$. 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 $[Σ] \in H$ that satisfies the WGC, the minimal volume obeys $\mathrm{Vol}(Σ_{\mathrm{min}}) \ll \mathrm{Vol}(Σ_{\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 $Σ_{\mathrm{min}}$ are then more important than would be predicted from a study of BPS instantons wrapping the separate components of $Σ_{\cup}$. Our analysis hinges on a novel computation of effective divisors in $X$ that are not inherited from effective divisors of the toric variety.
△ Less
Submitted 19 June, 2019;
originally announced June 2019.
-
The Kreuzer-Skarke Axiverse
Authors:
Mehmet Demirtas,
Cody Long,
Liam McAllister,
Mike Stillman
Abstract:
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ähler cone of $X$ is very narrow at large $h^{1,1}$, and as a consequence, control of the $α^{\prime}$ expansion in string compactification…
▽ More
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ähler cone of $X$ is very narrow at large $h^{1,1}$, and as a consequence, control of the $α^{\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.
△ Less
Submitted 3 August, 2018;
originally announced August 2018.