pith. machine review for the scientific record. sign in

arxiv: 2605.03963 · v2 · submitted 2026-05-05 · ✦ hep-th · hep-ph

Recognition: 2 theorem links

· Lean Theorem

Constraining F-theory Model Building with QCD Axions

Authors on Pith no claims yet

Pith reviewed 2026-05-14 20:49 UTC · model grok-4.3

classification ✦ hep-th hep-ph
keywords F-theoryQCD axionsMSSM modelsKähler moduli spacebase divisorsaxion massdecay constantstring landscape
0
0 comments X

The pith

F-theory models with exact SM spectrum require rigid base divisors due to QCD axion constraints.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper derives the axion coupling to QCD gauge fields and the axion potential from the geometry of F-theory compactifications, using both type IIB and dual M-theory descriptions. It applies these formulas to explicit bases such as projective three-space and Hirzebruch threefolds within the large set of models that realize the exact Standard Model chiral spectrum. Constraints on the Kähler moduli space are extracted from the CP-violating angle, the observed gauge coupling values, and the stretched Kähler cone condition. These bounds force most base divisors to be rigid or rigidified by flux, leaving only limited viable regions. In those regions the QCD axion has a typical mass near 10^{-9} eV and decay constant near 10^{15} GeV.

Core claim

In 4D F-theory MSSM models the axion-QCD coupling and potential are fixed by the base threefold geometry. For the quadrillion landscape models with exact SM spectrum on bases including P^3, P^1 x P^2, the generalized Hirzebruch threefold, and P^1^3, exclusion bounds on the Kähler moduli arise from CP violation, gauge couplings, and the stretched Kähler cone. These bounds require that the set of base divisors be rigid or rigidified by flux.

What carries the argument

The geometric axion potential and coupling to QCD fields extracted from the divisors of the base threefold.

Load-bearing premise

The axion potential and couplings are fully captured by the F-theory geometric data without significant additional contributions from hidden sectors or other non-perturbative effects.

What would settle it

Detection of a QCD axion whose mass or decay constant lies outside the 10^{-9} eV and 10^{15} GeV range in any F-theory model that reproduces the exact SM spectrum.

Figures

Figures reproduced from arXiv: 2605.03963 by Keren Chen, Qinjian Lou, Yi-Nan Wang.

Figure 1
Figure 1. Figure 1: FIG. 1. The experimental exclusion plot of the axion mass view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2. Geometric model over the base threefold view at source ↗
Figure 4
Figure 4. Figure 4: FIG. 4. Geometric model over the base threefold view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3. Geometric model over the base threefold view at source ↗
Figure 5
Figure 5. Figure 5: FIG. 5. Geometric model over the base threefold view at source ↗
Figure 6
Figure 6. Figure 6: FIG. 6. Geometric model over the base threefold view at source ↗
Figure 9
Figure 9. Figure 9: FIG. 9. The case of view at source ↗
Figure 8
Figure 8. Figure 8: , we choose (v 1 , v2 , v2 ) = (1.1, 1.1, 3.0) and assume |C1 cos ψ1| = |C2 cos ψ2| = |C3 cos ψ3| = 1. The action of FIG. 9. The case of B3 = P 1 × P 1 × P 1 with S7 = S9 = −KB, and the divisors [20D1], [20D2], [20D3] rigidified. The axes represent the coefficients of the two-forms in the K¨ahler form dual to D1, D2, D3. The yellow and blue surfaces represent ⟨θQCD⟩ = 10−10. On the side of the θQCD = 10−10… view at source ↗
Figure 10
Figure 10. Figure 10: FIG. 10. The prediction of the axion mass view at source ↗
read the original abstract

In this paper, we investigate axion physics in 4D F-theory MSSM models. We derive the axion coupling term with QCD gauge fields and the axion potential from a top-down perspective, from both IIB superstring and the dual M-theory picture. For the explicit geometric model, we employ the "quadrillion" landscape of 4D F-theory models with the exact Standard Model chiral spectrum, and study simple base threefolds such as $\mathbb{P}^3$, $\mathbb{P}^1\times\mathbb{P}^2$, the generalized Hirzebruch threefold $\tilde{\mathbb{F}}_3$ and $\mathbb{P}^1\times\mathbb{P}^1\times\mathbb{P}^1$. We derive exclusion constraints on the K\"ahler moduli space of the base threefold from the CP violation angle, the Standard Model gauge coupling constants and the stretched K\"{a}hler cone condition. We find stringent constraints on the set of base divisors that should be rigid or rigidified by the inclusion of flux. For the allowed regions of the parameter space, we estimate the typical mass of detectable QCD axions to be around $10^{-9}$eV, and the axion decay constant to be around $f_a\sim 10^{15}$GeV.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. This paper investigates axion physics in 4D F-theory MSSM models. It derives the axion-QCD coupling term and potential from both IIB superstring and M-theory pictures, employing the quadrillion landscape of models with exact SM chiral spectrum on bases such as P^3, P^1 x P^2, the generalized Hirzebruch threefold, and P^1 x P^1 x P^1. Constraints on the Kähler moduli space are obtained from the CP violation angle, SM gauge coupling constants, and stretched Kähler cone condition, leading to requirements that certain base divisors be rigid or rigidified by flux. For allowed parameter regions, the typical QCD axion mass is estimated around 10^{-9} eV and the decay constant around 10^{15} GeV.

Significance. If the central claims hold, this provides a top-down geometric constraint on F-theory model building using axion phenomenology, with the large ensemble of exact-SM-spectrum models offering statistical robustness. The resulting estimates place detectable QCD axions in an experimentally accessible range, which could inform both string model searches and axion detection experiments.

major comments (2)
  1. [Abstract] Abstract and derivation sections: The central mass and f_a estimates rest on the assumption that the axion potential and couplings are fully captured by base threefold geometry plus flux, without significant hidden-sector gauge groups, extra instantons on non-base divisors, or omitted non-geometric effects. No explicit bounds or matching calculation is referenced to justify neglecting these contributions, which directly impacts the quoted values of 10^{-9} eV and 10^{15} GeV.
  2. [Abstract] Abstract: The manuscript states that derivations are performed from IIB and M-theory pictures and that post-hoc exclusions are applied, yet provides no explicit equations, error propagation, or verification that the constraints preserve the central estimates. This absence makes it impossible to confirm that the numerical results are robust rather than artifacts of the fitting procedure.
minor comments (2)
  1. [Abstract] Abstract: The phrase 'stretched Kähler cone condition' should be defined or cross-referenced to a specific equation or prior reference for clarity.
  2. [Abstract] Abstract: The 'quadrillion' landscape ensemble should include a brief citation or definition to orient readers unfamiliar with the specific construction.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of our manuscript and for the constructive comments. We address each major comment below and indicate the revisions we will make to strengthen the presentation of our assumptions and derivations.

read point-by-point responses
  1. Referee: [Abstract] Abstract and derivation sections: The central mass and f_a estimates rest on the assumption that the axion potential and couplings are fully captured by base threefold geometry plus flux, without significant hidden-sector gauge groups, extra instantons on non-base divisors, or omitted non-geometric effects. No explicit bounds or matching calculation is referenced to justify neglecting these contributions, which directly impacts the quoted values of 10^{-9} eV and 10^{15} GeV.

    Authors: We agree that the quoted estimates rely on the dominance of base geometry and flux contributions. Our landscape consists exclusively of models engineered to realize the exact SM chiral spectrum, which excludes additional gauge factors by construction and thereby removes hidden-sector gauge groups. For extra instantons on non-base divisors, the IIB and M-theory derivations in Sections 3 and 4 show that the leading axion potential arises from the base divisors; non-base contributions are either absent or exponentially suppressed in the controlled regime we consider. To make this explicit, we will add a new subsection (in Section 5) providing order-of-magnitude bounds on the neglected terms and confirming they remain subdominant throughout the allowed Kähler moduli regions. revision: yes

  2. Referee: [Abstract] Abstract: The manuscript states that derivations are performed from IIB and M-theory pictures and that post-hoc exclusions are applied, yet provides no explicit equations, error propagation, or verification that the constraints preserve the central estimates. This absence makes it impossible to confirm that the numerical results are robust rather than artifacts of the fitting procedure.

    Authors: The explicit derivations of the axion-QCD coupling and potential from both the IIB and M-theory viewpoints appear in Sections 3 and 4, while the post-hoc constraints (CP phase, gauge couplings, and stretched Kähler cone) and their application to the moduli space are carried out in Section 5. The abstract is a summary and therefore omits equation numbers. We will revise the abstract to include forward references to these sections and add a short paragraph in the conclusions that verifies the central mass and decay-constant estimates remain stable after the constraints are imposed, including a brief discussion of the range of variation within the allowed parameter space. revision: partial

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper derives the axion-QCD coupling term and potential explicitly from the base threefold geometry in both IIB and M-theory pictures, using the quadrillion landscape models as independent geometric input. Experimental quantities (CP angle, gauge couplings) and the stretched Kähler cone condition are applied afterward to constrain the moduli space and identify rigid/rigidified divisors; these inputs do not define the potential by construction. No self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citation chains appear in the described derivation. The mass and decay-constant estimates follow directly from the constrained geometric parameter space under the stated assumptions.

Axiom & Free-Parameter Ledger

1 free parameters · 2 axioms · 0 invented entities

The central claim rests on the geometric derivation of the axion-QCD coupling from F-theory data, the assumption that the quadrillion models realize exact SM spectrum, and the use of experimental gauge couplings and theta angle as external anchors; no new particles or forces are postulated.

free parameters (1)
  • Kähler moduli values
    Moduli are scanned and constrained by the listed conditions; specific values are not fitted but selected by the exclusion rules.
axioms (2)
  • domain assumption Calabi-Yau threefold geometry with SU(5) or MSSM spectrum realized by the chosen bases
    Invoked when selecting the quadrillion landscape models with exact SM chiral spectrum.
  • domain assumption Axion potential generated solely by QCD instantons without additional hidden-sector contributions
    Used when deriving the potential from the top-down IIB/M-theory picture.

pith-pipeline@v0.9.0 · 5524 in / 1601 out tokens · 70011 ms · 2026-05-14T20:49:27.826221+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

133 extracted references · 95 canonical work pages · 51 internal anchors

  1. [1]

    ln MSUSY MZ = ln(102)≃4.61, ln µ MSUSY = ln(1010)≃23.03

    Lower values of 1/α i:M SUSY = 104 GeV. ln MSUSY MZ = ln(102)≃4.61, ln µ MSUSY = ln(1010)≃23.03. (45) 1 α1 ≃59−3.0−24.2≃31.8,(46) 1 α2 ≃29.6 + 2.3−3.66≃28.2,(47) 1 α3 ≃8.5 + 5.1 + 11.0≃24.6.(48)

  2. [2]

    (−1)-form

    Higher values of 1/α i:M SUSY = 1011 GeV. ln MSUSY MZ = ln(109)≃20.72, ln µ MSUSY = ln(103)≃6.91. (49) 1 α1 ≃59−13.5−7.3≃38.2,(50) 1 α2 ≃29.6 + 10.4−1.10≃38.9,(51) 1 α3 ≃8.5 + 23.1 + 3.3≃34.9.(52) Notice thatα 1 = 5 3 αY with respect to the standard modelU(1) Y normalization. These results show that the gauge couplings ap- proach each other at high energi...

  3. [3]

    O”. is sensitive to the SUSY breaking scale. Therefore, we cannot definitively determine the existence of this kind of model and label it as “O

    There are two divisor classesD 1 =S ∼= P2 andD 2 = H ∼= P1 ×P 1 with the triple intersection numbers onB 3: H3 = 0, S·H 2 = 1, S 2 ·H= 0, S 3 = 0.(110) The canonical basis for divisor and curves are D1 =S , D 2 =H ,C 1 =H·H ,C 2 =S·H ,(111) such thatD i · Cj =δ ij. The K¨ ahler formJis J=v 1[S] +v 2[H].(112) The volume ofB 3 is Vol(B3) = 1 2 v1(v2)2 .(113...

  4. [4]

    (123) We compute the mass and decay constants for the two axions m1 ≈4.0×10 26eV, 1 fa′ 1 ≈3.2×10 −17GeV−1 , m2 ≈1.4×10 −9eV, 1 fa′ 2 ≈2.2×10 −16GeV−1

    tr(F3 ∧F 3). (123) We compute the mass and decay constants for the two axions m1 ≈4.0×10 26eV, 1 fa′ 1 ≈3.2×10 −17GeV−1 , m2 ≈1.4×10 −9eV, 1 fa′ 2 ≈2.2×10 −16GeV−1 . (124) One of these axions is very heavy, from the diagonaliza- tion of mass matrix. For Fig. 4, we choose (v 1, v2) = (2.5,1.2) and assume |C1 cosψ 1|=|C 2 cosψ 2|= 1. The action of two axion...

  5. [5]

    O”. determine the existence of this kind of model. This model is “O

    tr(F3 ∧F 3). (125) We compute the mass and decay constants for the two axions m1 ≈7.3×10 24eV, 1 fa′ 1 ≈2.5×10 −17GeV−1 m2 ≈6.8×10 −10eV, 1 fa′ 2 ≈1.1×10 −16GeV−1 . (126) C. ˜F3 We consider a case withh 1,1 = 2 and a rigid effective divisor. ˜F3 is a toric threefold given by the rays (1,0,0),(0,1,0),(0,0,1),(−1,−1,−3),(0,0,−1).(127) The divisor classes on...

  6. [6]

    (136) The axion masses and decay constants are m1 ≈2.2×10 23eV, 1 fa′ 1 ≈7.0×10 −17GeV−1 , m2 ≈1.6×10 −9eV, 1 fa′ 2 ≈2.6×10 −16GeV−1

    tr(F3 ∧F 3). (136) The axion masses and decay constants are m1 ≈2.2×10 23eV, 1 fa′ 1 ≈7.0×10 −17GeV−1 , m2 ≈1.6×10 −9eV, 1 fa′ 2 ≈2.6×10 −16GeV−1 . (137) D.P 1 ×P 1 ×P 1 This is a case withh 1,1(B) = 3 and no rigid effector divisor.P 1 ×P 1 ×P 1 is a toric threefold given by the rays (1,0,0),(0,1,0),(0,0,1),(−1,0,0),(0,−1,0),(0,0,−1). (138) The divisor cl...

  7. [7]

    (147) We compute the mass and decay constants of three axions m1 ≈5.8×10 12eV, 1 fa′ 1 ≈6.0×10 −17GeV−1 , m2 ≈1.4×10 −9eV, 1 fa′ 2 ≈2.3×10 −16GeV−1 , m3 ≈7.9×10 −16eV, 1 fa′ 3 = 0

    tr(F3 ∧F 3). (147) We compute the mass and decay constants of three axions m1 ≈5.8×10 12eV, 1 fa′ 1 ≈6.0×10 −17GeV−1 , m2 ≈1.4×10 −9eV, 1 fa′ 2 ≈2.3×10 −16GeV−1 , m3 ≈7.9×10 −16eV, 1 fa′ 3 = 0. (148) Note thata ′ 3 does not couple to the Standard Model gauge groups. For the case of Fig. 9, we choose (v 1, v2, v2) = (1.1,1.1,1.9) and assume|C 1 cosψ 1|=|C ...

  8. [8]

    Y”, “O”, and “N

    tr(F3 ∧F 3). (149) 16 We compute the mass and decay constants of three axions m1 ≈1.0×10 −3eV, 1 fa′ 1 ≈4.8×10 −17GeV−1 , m2 ≈7.1×10 −10eV, 1 fa′ 2 ≈1.2×10 −16GeV−1 , m3 ≈2.2×10 −27eV, 1 fa′ 3 = 0. (150) Note thata ′ 3 does not couple to the Standard Model gauge groups. V. FILTER OUT GEOMETRIC BACKGROUND As discussed previously, certain geometric back- gr...

  9. [9]

    This is also important to stabilize all the K¨ ahler moduli

    To have a strong physical constraint on the K¨ ahler moduli space, we should assume that at least h1,1(B3) linearly independent divisors onB 3, called Dα are rigid or rigidified. This is also important to stabilize all the K¨ ahler moduli. In constrast, if the divisors are all non-rigid, noV U V arises from the string theory perspective, and the IR axion ...

  10. [10]

    As shown in Figs 2-6, even if we vary the Pfaffian coefficients by 3 orders of magnitude, the exclusion curves only slightly differ

    The constraint on the K¨ ahler moduli space is in- sensitive to the Pfaffian coefficientsA D. As shown in Figs 2-6, even if we vary the Pfaffian coefficients by 3 orders of magnitude, the exclusion curves only slightly differ

  11. [11]

    N” means that no such “Y

    As forf a, we estimate that the axion decay con- stantf a is generally close to the string scale in the models used in this paper. Form a, it may be sub- ject to further UV corrections, and we generally allow our string-theoretic axions to locate in the right and bottom side of the QCD axion line in Fig 1. We pinpoint the axion mass and axion de- cay cons...

  12. [12]

    R. D. Peccei and H. R. Quinn, CP Conservation in the Presence of Instantons, Phys. Rev. Lett.38, 1440 (1977)

  13. [13]

    R. D. Peccei and H. R. Quinn, Constraints Imposed by CP Conservation in the Presence of Instantons, Phys. Rev. D16, 1791 (1977)

  14. [14]

    A. E. Nelson, Naturally Weak CP Violation, Phys. Lett. B136, 387 (1984)

  15. [15]

    R. D. Peccei, The Strong CP problem and axions, Lect. Notes Phys.741, 3 (2008), arXiv:hep-ph/0607268

  16. [16]

    J. E. Kim and G. Carosi, Axions and the Strong CP Problem, Rev. Mod. Phys.82, 557 (2010), [Erratum: Rev.Mod.Phys. 91, 049902 (2019)], arXiv:0807.3125 [hep-ph]

  17. [17]

    Reece, TASI Lectures: (No) Global Symme- tries to Axion Physics, PoSTASI2022, 008 (2024), arXiv:2304.08512 [hep-ph]

    M. Reece, TASI Lectures: (No) Global Symme- tries to Axion Physics, PoSTASI2022, 008 (2024), arXiv:2304.08512 [hep-ph]

  18. [18]

    Weinberg, A new light boson?, Phys

    S. Weinberg, A new light boson?, Phys. Rev. Lett.40, 223 (1978)

  19. [19]

    Wilczek, Problem of strongpandtinvariance in the presence of instantons, Phys

    F. Wilczek, Problem of strongpandtinvariance in the presence of instantons, Phys. Rev. Lett.40, 279 (1978)

  20. [20]

    Preskill, M

    J. Preskill, M. B. Wise, and F. Wilczek, Cosmology of the Invisible Axion, Phys. Lett. B120, 127 (1983)

  21. [21]

    J. E. Kim, Light Pseudoscalars, Particle Physics and Cosmology, Phys. Rept.150, 1 (1987)

  22. [22]

    Supersymmetry, Axions and Cosmology

    T. Banks, M. Dine, and M. Graesser, Supersymmetry, axions and cosmology, Phys. Rev. D68, 075011 (2003), arXiv:hep-ph/0210256

  23. [23]

    Axions : Theory and Cosmological Role

    M. Kawasaki and K. Nakayama, Axions: Theory and Cosmological Role, Ann. Rev. Nucl. Part. Sci.63, 69 (2013), arXiv:1301.1123 [hep-ph]

  24. [24]

    D. J. E. Marsh, Axion Cosmology, Phys. Rept.643, 1 (2016), arXiv:1510.07633 [astro-ph.CO]

  25. [25]

    I. G. Irastorza and J. Redondo, New experimental ap- proaches in the search for axion-like particles, Prog. Part. Nucl. Phys.102, 89 (2018), arXiv:1801.08127 [hep-ph]

  26. [26]

    Di Luzio, M

    L. Di Luzio, M. Giannotti, E. Nardi, and L. Visinelli, The landscape of QCD axion models, Phys. Rept.870, 1 (2020), arXiv:2003.01100 [hep-ph]

  27. [27]

    K. Choi, S. H. Im, and C. Sub Shin, Recent Progress in the Physics of Axions and Axion-Like Particles, Ann. Rev. Nucl. Part. Sci.71, 225 (2021), arXiv:2012.05029 [hep-ph]

  28. [28]

    J. E. Kim, Weak-interaction singlet and strong CP in- variance, Phys. Rev. Lett.43, 103 (1979)

  29. [29]

    Shifman, A

    M. Shifman, A. Vainshtein, and V. Zakharov, Can con- finement ensure natural cp invariance of strong interac- tions?, Nuclear Physics B166, 493 (1980)

  30. [30]

    M. Dine, W. Fischler, and M. Srednicki, A simple so- lution to the strong cp problem with a harmless axion, Physics Letters B104, 199 (1981)

  31. [31]

    Zhitnitskij, On possible suppression of the axion- hadron interactions, Yad

    A. Zhitnitskij, On possible suppression of the axion- hadron interactions, Yad. Fiz.31, 497–504 (1980)

  32. [32]

    Preskill, M

    J. Preskill, M. B. Wise, and F. Wilczek, Cosmology of the invisible axion, Physics Letters B120, 127 (1983)

  33. [33]

    Abbott and P

    L. Abbott and P. Sikivie, A cosmological bound on the invisible axion, Physics Letters B120, 133 (1983)

  34. [34]

    Dine and W

    M. Dine and W. Fischler, The not-so-harmless axion, Physics Letters B120, 137 (1983)

  35. [35]

    M. I. Vysotsky, Y. B. Zeldovich, M. Y. Khlopov, and V. M. Chechetkin, Some Astrophysical Limitations on Axion Mass, Pisma Zh. Eksp. Teor. Fiz.27, 533 (1978)

  36. [36]

    Z. G. Berezhiani and M. Y. Khlopov, Cosmology of Spontaneously Broken Gauge Family Symmetry, Z. Phys. C49, 73 (1991)

  37. [37]

    Z. G. Berezhiani, A. S. Sakharov, and M. Y. Khlopov, Primordial background of cosmological axions, Sov. J. Nucl. Phys.55, 1063 (1992)

  38. [38]

    M. Y. Khlopov, A. S. Sakharov, and D. D. Sokoloff, The large scale modulation of the density distribu- tion in standard axionic CDM and its cosmological and physical impact, in2nd International Workshop on Birth of the Universe and Fundamental Physics(1998) arXiv:hep-ph/9812286

  39. [39]

    Khlopov, A

    M. Khlopov, A. Sakharov, and D. Sokoloff, The non- linear modulation of the density distribution in stan- dard axionic cdm and its cosmological impact, Nuclear Physics B - Proceedings Supplements72, 105 (1999), proceedings of the 5th IFT Workshop on Axions

  40. [40]

    Khlopov, S

    M. Khlopov, S. Rubin, and A. Sakharov, Primordial structure of massive black hole clusters, Astroparticle Physics23, 265 (2005)

  41. [41]

    Axionlimits,https://cajohare.github.io/ AxionLimits/

  42. [42]

    Choi and J

    K. Choi and J. E. Kim, Harmful Axions in Super- string Models, Phys. Lett. B154, 393 (1985), [Erratum: Phys.Lett.B 156, 452 (1985)]

  43. [43]

    Banks and M

    T. Banks and M. Dine, The Cosmology of string theo- retic axions, Nucl. Phys. B505, 445 (1997), arXiv:hep- th/9608197

  44. [44]

    Couplings and Scales in Strongly Coupled Heterotic String Theory

    T. Banks and M. Dine, Couplings and scales in strongly coupled heterotic string theory, Nucl. Phys. B479, 173 (1996), arXiv:hep-th/9605136

  45. [45]

    J. P. Conlon, The QCD axion and moduli stabilisation, JHEP05, 078, arXiv:hep-th/0602233

  46. [46]

    Axions In String Theory

    P. Svrcek and E. Witten, Axions In String Theory, JHEP06, 051, arXiv:hep-th/0605206

  47. [47]

    String compactification, QCD axion and axion-photon-photon coupling

    K.-S. Choi, I.-W. Kim, and J. E. Kim, String compacti- fication, QCD axion and axion-photon-photon coupling, JHEP03, 116, arXiv:hep-ph/0612107

  48. [48]

    T. W. Grimm, Axion inflation in type II string theory, Phys. Rev. D77, 126007 (2008), arXiv:0710.3883 [hep- th]

  49. [49]

    Gravity Waves and Linear Inflation from Axion Monodromy

    L. McAllister, E. Silverstein, and A. Westphal, Grav- ity Waves and Linear Inflation from Axion Monodromy, Phys. Rev. D82, 046003 (2010), arXiv:0808.0706 [hep- th]

  50. [50]

    String Axiverse

    A. Arvanitaki, S. Dimopoulos, S. Dubovsky, N. Kaloper, and J. March-Russell, String Axiverse, Phys. Rev. D81, 123530 (2010), arXiv:0905.4720 [hep-th]

  51. [51]

    Exploring the String Axiverse with Precision Black Hole Physics

    A. Arvanitaki and S. Dubovsky, Exploring the String Axiverse with Precision Black Hole Physics, Phys. Rev. D83, 044026 (2011), arXiv:1004.3558 [hep-th]

  52. [52]

    B. S. Acharya, K. Bobkov, and P. Kumar, An M Theory Solution to the Strong CP Problem and Constraints on the Axiverse, JHEP11, 105, arXiv:1004.5138 [hep-th]

  53. [53]

    Axions as Quintessence in String Theory

    S. Panda, Y. Sumitomo, and S. P. Trivedi, Axions as Quintessence in String Theory, Phys. Rev. D83, 083506 (2011), arXiv:1011.5877 [hep-th]

  54. [54]

    The type IIB string axiverse and its low-energy phenomenology

    M. Cicoli, M. Goodsell, and A. Ringwald, The type IIB string axiverse and its low-energy phenomenology, 20 JHEP10, 146, arXiv:1206.0819 [hep-th]

  55. [55]

    Searching for axions and ALPs from string theory

    A. Ringwald, Searching for axions and ALPs from string theory, J. Phys. Conf. Ser.485, 012013 (2014), arXiv:1209.2299 [hep-ph]

  56. [56]

    Dark energy from the string axiverse

    M. Kamionkowski, J. Pradler, and D. G. E. Walker, Dark energy from the string axiverse, Phys. Rev. Lett. 113, 251302 (2014), arXiv:1409.0549 [hep-ph]

  57. [57]

    T. C. Bachlechner, C. Long, and L. McAllister, Planckian Axions in String Theory, JHEP12, 042, arXiv:1412.1093 [hep-th]

  58. [58]

    C. Long, L. McAllister, and J. Stout, Systematics of Axion Inflation in Calabi-Yau Hypersurfaces, JHEP02, 014, arXiv:1603.01259 [hep-th]

  59. [59]

    Cosmological window onto the string axiverse and the supersymmetry breaking scale

    L. Visinelli and S. Vagnozzi, Cosmological window onto the string axiverse and the supersymmetry breaking scale, Phys. Rev. D99, 063517 (2019), arXiv:1809.06382 [hep-ph]

  60. [60]

    The Kreuzer-Skarke Axiverse

    M. Demirtas, C. Long, L. McAllister, and M. Still- man, The Kreuzer-Skarke Axiverse, JHEP04, 138, arXiv:1808.01282 [hep-th]

  61. [61]

    Demirtas, N

    M. Demirtas, N. Gendler, C. Long, L. McAllister, and J. Moritz, PQ axiverse, JHEP06, 092, arXiv:2112.04503 [hep-th]

  62. [62]

    Cicoli, A

    M. Cicoli, A. Hebecker, J. Jaeckel, and M. Wittner, Ax- ions in string theory — slaying the Hydra of dark radi- ation, JHEP09, 198, arXiv:2203.08833 [hep-th]

  63. [63]

    Gendler, D

    N. Gendler, D. J. E. Marsh, L. McAllister, and J. Moritz, Glimmers from the axiverse, JCAP09, 071, arXiv:2309.13145 [hep-th]

  64. [64]

    Agrawal, M

    P. Agrawal, M. Nee, and M. Reig, Axion couplings in heterotic string theory, JHEP02, 188, arXiv:2410.03820 [hep-ph]

  65. [65]

    Loladze, A

    V. Loladze, A. Platschorre, and M. Reig, Higher axion strings, JHEP08, 182, arXiv:2503.18707 [hep-ph]

  66. [66]

    Cheng and N

    J. Cheng and N. Gendler, Universality in the axiverse, JHEP11, 012, arXiv:2507.12516 [hep-th]

  67. [67]

    Petrossian-Byrne and G

    R. Petrossian-Byrne and G. Villadoro, Open string ax- iverse, JHEP07, 049, arXiv:2503.16387 [hep-ph]

  68. [68]

    J. N. Benabou, K. Fraser, M. Reig, and B. R. Safdi, String theory and grand unification suggest a submi- croelectronvolt QCD axion, Phys. Rev. D112, 066003 (2025), arXiv:2505.15884 [hep-ph]

  69. [69]

    J. M. Leedom, M. Putti, and A. Westphal, Towards a Heterotic Axiverse, arXiv (2025), arXiv:2509.03578 [hep-th]

  70. [70]

    Reig and T

    M. Reig and T. Weigand, Testing the heterotic string with the axion-photon coupling, JHEP01, 006, arXiv:2509.08042 [hep-th]

  71. [71]

    Agrawal, M

    P. Agrawal, M. Nee, and M. Reig, Axion couplings in Orbifold GUTs, arXiv (2025), arXiv:2511.21830 [hep- ph]

  72. [72]

    M. Jain, E. Sheridan, D. J. E. Marsh, E. Heyes, K. K. Rogers, and A. Schachner, Bayesian inference on Calabi–Yau moduli spaces and the axiverse: ex- perimental data meets string theory, arXiv (2025), arXiv:2512.00144 [hep-th]

  73. [73]

    Evidence for F-Theory

    C. Vafa, Evidence for F theory, Nucl. Phys. B469, 403 (1996), arXiv:hep-th/9602022

  74. [74]

    D. R. Morrison and C. Vafa, Compactifications of F theory on Calabi-Yau threefolds. 1, Nucl. Phys.B473, 74 (1996), arXiv:hep-th/9602114 [hep-th]

  75. [75]

    D. R. Morrison and C. Vafa, Compactifications of F theory on Calabi-Yau threefolds. 2., Nucl. Phys. B476, 437 (1996), arXiv:hep-th/9603161

  76. [76]

    GUTs and Exceptional Branes in F-theory - I

    C. Beasley, J. J. Heckman, and C. Vafa, GUTs and Exceptional Branes in F-theory - I, JHEP01, 058, arXiv:0802.3391 [hep-th]

  77. [77]

    GUTs and Exceptional Branes in F-theory - II: Experimental Predictions

    C. Beasley, J. J. Heckman, and C. Vafa, GUTs and Ex- ceptional Branes in F-theory - II: Experimental Predic- tions, JHEP01, 059, arXiv:0806.0102 [hep-th]

  78. [78]

    Model Building with F-Theory

    R. Donagi and M. Wijnholt, Model Building with F- Theory, Adv. Theor. Math. Phys.15, 1237 (2011), arXiv:0802.2969 [hep-th]

  79. [79]

    T. W. Grimm, The N=1 effective action of F-theory compactifications, Nucl. Phys. B845, 48 (2011), arXiv:1008.4133 [hep-th]

  80. [80]

    The F-theory geometry with most flux vacua

    W. Taylor and Y.-N. Wang, The F-theory geometry with most flux vacua, JHEP12, 164, arXiv:1511.03209 [hep-th]

Showing first 80 references.