Recognition: 1 theorem link
· Lean TheoremTaxonomy of Instanton Corrections in Infinite Distance Limits
Pith reviewed 2026-05-14 21:48 UTC · model grok-4.3
The pith
The Schwinger integral over light towers captures all instantons whose action falls in the window set by the gravity cutoff and lightest mass scale.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Using the BPS-protected higher derivative R^4-term as an exactly solvable example, we analyze which instanton corrections are generated by a one-loop Schwinger integral over the light towers of states that arise in infinite distance limits in moduli space. We find that the Schwinger integral fully captures precisely those instantons whose action lies parametrically in the window (Λ_sp/M_light)^{-1} ≤ S_inst ≤ Λ_sp/M_light. This proposal is supported by considering the entire moduli space of toroidal compactifications in eight dimensions, together with a number of limits in seven dimensions. In each case, integrating out the light towers via the Schwinger integral reproduces the complete贡献 of
What carries the argument
The one-loop Schwinger integral over light towers of states, which reproduces the instanton contributions in the action window (Λ_sp/M_light)^{-1} ≤ S_inst ≤ Λ_sp/M_light
If this is right
- Integrating out light towers via the Schwinger integral gives the full instanton contributions within the specified window.
- The result holds for the entire moduli space of eight-dimensional toroidal compactifications.
- It extends to a number of limits in seven dimensions.
- Recasting in taxonomy classification determines the instantonic spectrum for any infinite distance limit.
Where Pith is reading between the lines
- This mechanism may generalize to other protected quantities or higher-derivative corrections in string theory.
- It could offer a practical method to compute non-perturbative effects in effective theories approaching infinite distance limits without enumerating all instantons.
- Connections might exist to the emergence of light towers as per the distance conjecture, influencing the structure of quantum corrections.
Load-bearing premise
The instanton structure observed in the BPS-protected R^4 term for toroidal compactifications generalizes exactly to arbitrary infinite distance limits in other setups.
What would settle it
An explicit computation in a non-toroidal compactification showing that the Schwinger integral either misses some instantons inside the action window or includes ones outside it.
Figures
read the original abstract
Using the BPS-protected higher derivative $R^4$-term as an exactly solvable example, we analyze which instanton corrections are generated by a one-loop Schwinger integral over the light towers of states that arise in infinite distance limits in moduli space. We find that the Schwinger integral fully captures precisely those instantons whose action lies parametrically in the window $(\Lambda_{\rm sp}/M_{\rm light})^{-1}\le {\rm S}_{\rm inst}\le \Lambda_{\rm sp}/M_{\rm light}$, that is, instantons whose action is bounded by the ratio of the gravity cutoff and the mass scale of the lightest tower. This proposal is supported by considering the entire moduli space of toroidal compactifications in eight dimensions, together with a number of limits in seven dimensions. In each case, integrating out the light towers via the Schwinger integral reproduces the complete contribution of the instantons within the above window. We further recast the proposal in terms of the taxonomy classification, allowing us to determine the emergent instantonic spectrum associated with any infinite distance limit.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims that the one-loop Schwinger integral over light towers of states in infinite distance limits exactly reproduces the instanton corrections to the BPS-protected R^4 term whose actions lie in the parametric window (Λ_sp/M_light)^{-1} ≤ S_inst ≤ Λ_sp/M_light. This is verified by explicit computation across the full 8D toroidal moduli space and selected 7D limits, after which the result is recast in terms of the taxonomy classification to predict the emergent instantonic spectrum for arbitrary infinite distance limits.
Significance. If the central window claim holds beyond the checked cases, the work supplies a concrete, taxonomy-based procedure for identifying which instantons contribute to higher-derivative corrections in any infinite-distance limit. The explicit Schwinger-integral matches in the toroidal examples constitute reproducible evidence for those geometries and could serve as a benchmark for future non-toroidal checks.
major comments (3)
- [Abstract and §1] Abstract and opening paragraphs of §1: the statement that the Schwinger integral 'fully captures precisely those instantons' for arbitrary infinite distance limits rests on the unproven representativeness of the R^4 example; only toroidal compactifications are checked, leaving open the possibility that geometry-specific or non-BPS instantons enter the window in other limits.
- [7D limits section] Section describing the 7D limits: the selected limits are presented as supporting evidence, yet no argument is given that they exhaust the possible infinite-distance behaviors (e.g., those arising from non-toroidal fibrations or Calabi-Yau degenerations), so the extrapolation to the full taxonomy classification remains conditional.
- [Taxonomy recast] Taxonomy recast paragraph (near end of manuscript): the claim that the window selection rule follows from the taxonomy classification independently of the compactification is not derived; it is asserted after the toroidal checks, without a general argument that no additional instantons outside the window are generated by the light towers in non-toroidal geometries.
minor comments (1)
- The notation for the window bounds could be accompanied by a single schematic plot showing the parametric separation between Λ_sp, M_light and the instanton action scale.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and the constructive comments. We address each of the major comments below, clarifying the scope of our claims and indicating the revisions we will make.
read point-by-point responses
-
Referee: [Abstract and §1] the statement that the Schwinger integral 'fully captures precisely those instantons' for arbitrary infinite distance limits rests on the unproven representativeness of the R^4 example; only toroidal compactifications are checked, leaving open the possibility that geometry-specific or non-BPS instantons enter the window in other limits.
Authors: We present our finding as a proposal supported by explicit verification across the entire 8D toroidal moduli space and selected 7D limits, using the BPS-protected R^4 term. The taxonomy provides a general classification of infinite distance limits based on light towers. We acknowledge that only toroidal cases have been checked explicitly and that the general statement is conjectural. We will revise the abstract and opening paragraphs of §1 to stress that this is a proposal based on the toroidal evidence and the taxonomy framework, without claiming a general proof. revision: partial
-
Referee: [7D limits section] the selected limits are presented as supporting evidence, yet no argument is given that they exhaust the possible infinite-distance behaviors (e.g., those arising from non-toroidal fibrations or Calabi-Yau degenerations), so the extrapolation to the full taxonomy classification remains conditional.
Authors: The 7D limits were chosen to cover representative classes of infinite distance limits in the toroidal setting. We agree that they do not exhaust all possible behaviors in more general geometries such as non-toroidal fibrations or Calabi-Yau degenerations. The taxonomy classification is intended to be general, but the extrapolation is indeed based on the checked cases. We will revise the 7D limits section to explain the selection of limits and to note the conditional nature of the general claim, while suggesting future verification in other geometries. revision: yes
-
Referee: [Taxonomy recast] the claim that the window selection rule follows from the taxonomy classification independently of the compactification is not derived; it is asserted after the toroidal checks, without a general argument that no additional instantons outside the window are generated by the light towers in non-toroidal geometries.
Authors: The recast follows from the observation that the one-loop Schwinger integral is determined solely by the spectrum of light towers, which the taxonomy classifies universally, and the window is defined in terms of the general scales Λ_sp and M_light. In all checked cases, the integral reproduces exactly the instantons in that window. We do not provide a geometry-independent derivation that excludes additional contributions in non-toroidal cases. We will revise the taxonomy recast paragraph to frame the selection rule as a conjecture motivated by the explicit results and the structure of the taxonomy, and add a brief heuristic explanation based on the parametric suppression of instantons outside the window. revision: partial
Circularity Check
No significant circularity; derivation grounded in explicit toroidal checks
full rationale
The paper's central proposal—that the one-loop Schwinger integral over light towers reproduces precisely the instantons in the window (Λ_sp/M_light)^{-1} ≤ S_inst ≤ Λ_sp/M_light—is supported by direct computation on the full 8D toroidal moduli space and selected 7D limits, where the instanton spectrum is independently known and matching is verified. The subsequent recasting in taxonomy terms is described as a reorganization of these explicit results rather than a definitional loop or fitted prediction. No self-definitional steps, fitted inputs renamed as predictions, or load-bearing self-citations that reduce the claim to its own inputs appear in the derivation chain. The generalization beyond checked cases is an extrapolation resting on the representativeness of the R^4 example, but this is not a circular reduction by construction.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption BPS protection of the R^4 higher-derivative term makes it exactly solvable
Forward citations
Cited by 1 Pith paper
-
Towards the Realization of the Dark Dimension Scenario in Ho\v{r}ava-Witten Theory
Hořava-Witten theory offers a potential string embedding of the dark dimension by localizing the Standard Model on the 11th interval, with symmetric tadpole cancellation and an infinite-distance limit helping derive t...
Reference graph
Works this paper leans on
-
[1]
On the Geometry of the String Landscape and the Swampland
H. Ooguri and C. Vafa, “On the Geometry of the String Landscape and the Swampland,”Nucl. Phys. B766(2007) 21–33,hep-th/0605264
work page internal anchor Pith review Pith/arXiv arXiv 2007
-
[2]
Emergent strings from infinite distance limits,
S.-J. Lee, W. Lerche, and T. Weigand, “Emergent strings from infinite distance limits,”JHEP02(2022) 190,1910.01135
-
[3]
Black Holes and Large N Species Solution to the Hierarchy Problem
G. Dvali, “Black Holes and Large N Species Solution to the Hierarchy Problem,” Fortsch. Phys.58(2010) 528–536,0706.2050
work page internal anchor Pith review Pith/arXiv arXiv 2010
-
[4]
Black Hole Bound on the Number of Species and Quantum Gravity at LHC
G. Dvali and M. Redi, “Black Hole Bound on the Number of Species and Quantum Gravity at LHC,”Phys. Rev. D77(2008) 045027,0710.4344
work page internal anchor Pith review Pith/arXiv arXiv 2008
-
[5]
G. Dvali and C. Gomez, “Species and Strings,”1004.3744
work page internal anchor Pith review Pith/arXiv arXiv
-
[6]
The Weak Gravity Conjecture and Emergence from an Ultraviolet Cutoff
B. Heidenreich, M. Reece, and T. Rudelius, “The Weak Gravity Conjecture and Emergence from an Ultraviolet Cutoff,”Eur. Phys. J. C78(2018), no. 4, 337, 1712.01868
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[7]
Infinite Distances in Field Space and Massless Towers of States,
T. W. Grimm, E. Palti, and I. Valenzuela, “Infinite Distances in Field Space and Massless Towers of States,”JHEP08(2018) 143,1802.08264
-
[8]
Emergence and the Swampland Conjectures
B. Heidenreich, M. Reece, and T. Rudelius, “Emergence of Weak Coupling at Large Distance in Quantum Gravity,”Phys. Rev. Lett.121(2018), no. 5, 051601, 1802.08698
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[9]
The Swampland: Introduction and Review
E. Palti, “The Swampland: Introduction and Review,”Fortsch. Phys.67(2019), no. 6, 1900037,1903.06239
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[10]
F. Marchesano and L. Melotti, “EFT strings and emergence,”JHEP02(2023) 112, 2211.01409
-
[11]
The emergence proposal in quantum gravity and the species scale,
A. Castellano, A. Herr´ aez, and L. E. Ib´ a˜ nez, “The emergence proposal in quantum gravity and the species scale,”JHEP06(2023) 047,2212.03908
-
[12]
Towers and hierarchies in the Standard Model from Emergence in Quantum Gravity,
A. Castellano, A. Herr´ aez, and L. E. Ib´ a˜ nez, “Towers and hierarchies in the Standard Model from Emergence in Quantum Gravity,”JHEP10(2023) 172,2302.00017
-
[13]
The emergence proposal and the emergent string,
R. Blumenhagen, A. Gligovic, and A. Paraskevopoulou, “The emergence proposal and the emergent string,”JHEP10(2023) 145,2305.10490
-
[14]
Yukawa couplings at infinite distance and swampland towers in chiral theories,
G. F. Casas, L. E. Ib´ a˜ nez, and F. Marchesano, “Yukawa couplings at infinite distance and swampland towers in chiral theories,”JHEP09(2024) 170,2403.09775. 41
-
[15]
Demystifying the Emergence Proposal,
R. Blumenhagen, N. Cribiori, A. Gligovic, and A. Paraskevopoulou, “Demystifying the Emergence Proposal,”JHEP04(2024) 053,2309.11551
-
[16]
R. Blumenhagen, N. Cribiori, A. Gligovic, and A. Paraskevopoulou, “Emergent M-theory limit,”Phys. Rev. D109(2024), no. 2, L021901,2309.11554
-
[17]
On the particle picture of Emergence,
J. Hattab and E. Palti, “On the particle picture of Emergence,”JHEP03(2024) 065, 2312.15440
-
[18]
Emergence in string theory and Fermi gases,
J. Hattab and E. Palti, “Emergence in string theory and Fermi gases,”JHEP07 (2024) 144,2404.05176
-
[19]
Emergent potentials and non-perturbative open topological strings,
J. Hattab and E. Palti, “Emergent potentials and non-perturbative open topological strings,”JHEP10(2024) 195,2408.12302
-
[20]
Notes on integrating out M2 branes,
J. Hattab and E. Palti, “Notes on integrating out M2 branes,”Eur. Phys. J. C85 (2025), no. 1, 107,2410.15809
-
[21]
Emergence of R4-terms in M-theory,
R. Blumenhagen, N. Cribiori, A. Gligovic, and A. Paraskevopoulou, “Emergence of R4-terms in M-theory,”JHEP07(2024) 018,2404.01371
-
[22]
Emergence ofF 4-couplings in heterotic/type IIA dual string theories,
M. Artime, R. Blumenhagen, and A. Paraskevopoulou, “Emergence ofF 4-couplings in heterotic/type IIA dual string theories,”Eur. Phys. J. C85(2025), no. 7, 730, 2504.05392
-
[23]
Emergence of CY triple intersection numbers in M-theory,
R. Blumenhagen and A. Gligovic, “Emergence of CY triple intersection numbers in M-theory,”JHEP10(2025) 048,2506.20725
-
[24]
Comments on the Emergence of 4D Topological Amplitudes in M-Theory,
M. Artime, R. Blumenhagen, A. Gligovic, and P. Leivadaros, “Comments on the Emergence of 4D Topological Amplitudes in M-Theory,”2603.18681
-
[25]
Species scale in diverse dimensions,
D. van de Heisteeg, C. Vafa, M. Wiesner, and D. H. Wu, “Species scale in diverse dimensions,”JHEP05(2024) 112,2310.07213
-
[26]
A. Castellano, A. Herr´ aez, and L. E. Ib´ a˜ nez, “On the species scale, modular invariance and the gravitational EFT expansion,”JHEP12(2024) 019,2310.07708
-
[27]
The double EFT expansion in quantum gravity,
J. Calder´ on-Infante, A. Castellano, and A. Herr´ aez, “The double EFT expansion in quantum gravity,”SciPost Phys.19(2025), no. 4, 096,2501.14880
-
[28]
Laplacians in various dimensions and the swampland,
C. Aoufia, A. Castellano, and L. Ib´ a˜ nez, “Laplacians in various dimensions and the swampland,”JHEP02(2026) 203,2506.03253
-
[29]
UV/IR relations from the worldsheet,
C. Aoufia, I. Basile, G. Leone, and M. Lotito, “UV/IR relations from the worldsheet,” 2603.11157. 42
-
[30]
Emergence of species scale black hole horizons,
J. Calder´ on-Infante, M. Delgado, and A. M. Uranga, “Emergence of species scale black hole horizons,”JHEP01(2024) 003,2310.04488
-
[31]
D-instantons, Strings and M-theory
M. B. Green and P. Vanhove, “D instantons, strings and M theory,”Phys. Lett. B408 (1997) 122–134,hep-th/9704145
work page internal anchor Pith review Pith/arXiv arXiv 1997
-
[32]
M. B. Green, M. Gutperle, and P. Vanhove, “One loop in eleven dimensions,”Phys. Lett. B409(1997) 177–184,hep-th/9706175
work page internal anchor Pith review Pith/arXiv arXiv 1997
-
[33]
The Convex Hull Swampland Distance Conjecture and Bounds on Non-geodesics,
J. Calder´ on-Infante, A. M. Uranga, and I. Valenzuela, “The Convex Hull Swampland Distance Conjecture and Bounds on Non-geodesics,”JHEP03(2021) 299, 2012.00034
-
[34]
M. Etheredge, B. Heidenreich, S. Kaya, Y. Qiu, and T. Rudelius, “Sharpening the Distance Conjecture in diverse dimensions,”JHEP12(2022) 114,2206.04063
-
[35]
Running decompactification, sliding towers, and the distance conjecture,
M. Etheredge, B. Heidenreich, J. McNamara, T. Rudelius, I. Ruiz, and I. Valenzuela, “Running decompactification, sliding towers, and the distance conjecture,”JHEP12 (2023) 182,2306.16440
-
[36]
Entropy bounds and the species scale distance conjecture,
J. Calder´ on-Infante, A. Castellano, A. Herr´ aez, and L. E. Ib´ a˜ nez, “Entropy bounds and the species scale distance conjecture,”JHEP01(2024) 039,2306.16450
-
[37]
Stringy evidence for a universal pattern at infinite distance,
A. Castellano, I. Ruiz, and I. Valenzuela, “Stringy evidence for a universal pattern at infinite distance,”JHEP06(2024) 037,2311.01536
-
[38]
A. Castellano, I. Ruiz, and I. Valenzuela, “Universal Pattern in Quantum Gravity at Infinite Distance,”Phys. Rev. Lett.132(2024), no. 18, 181601,2311.01501
-
[39]
Taxonomy of infinite distance limits,
M. Etheredge, B. Heidenreich, T. Rudelius, I. Ruiz, and I. Valenzuela, “Taxonomy of infinite distance limits,”JHEP03(2025) 213,2405.20332
-
[40]
M. B. Green, S. D. Miller, and P. Vanhove, “Small representations, string instantons, and Fourier modes of Eisenstein series,”J. Number Theor.146(2015) 187–309, 1111.2983
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[41]
BPS Amplitudes, Helicity Supertraces and Membranes in M-Theory
B. de Wit and D. L¨ ust, “BPS amplitudes, helicity supertraces and membranes in M theory,”Phys. Lett. B477(2000) 299–308,hep-th/9912225
work page internal anchor Pith review Pith/arXiv arXiv 2000
-
[42]
N. A. Obers and B. Pioline, “U duality and M theory,”Phys. Rept.318(1999) 113–225,hep-th/9809039
work page internal anchor Pith review Pith/arXiv arXiv 1999
-
[43]
Eisenstein Series and String Thresholds
N. A. Obers and B. Pioline, “Eisenstein series and string thresholds,”Commun. Math. Phys.209(2000) 275–324,hep-th/9903113. 43
work page internal anchor Pith review Pith/arXiv arXiv 2000
-
[44]
IR/UV mixing, towers of species and swampland conjectures,
A. Castellano, A. Herr´ aez, and L. E. Ib´ a˜ nez, “IR/UV mixing, towers of species and swampland conjectures,”JHEP08(2022) 217,2112.10796
-
[45]
Taxonomy of branes in infinite distance limits,
M. Etheredge, “Taxonomy of branes in infinite distance limits,”JHEP10(2025) 200, 2505.10615
-
[46]
Reflections on an M-theoretic Emergence Proposal,
R. Blumenhagen, N. Cribiori, A. Gligovic, and A. Paraskevopoulou, “Reflections on an M-theoretic Emergence Proposal,”PoSCORFU2023(2024) 238,2404.05801
-
[47]
The Swampland Distance Conjecture for K¨ ahler moduli,
P. Corvilain, T. W. Grimm, and I. Valenzuela, “The Swampland Distance Conjecture for K¨ ahler moduli,”JHEP08(2019) 075,1812.07548
-
[48]
A Distance Conjecture for branes,
M. Etheredge, B. Heidenreich, and T. Rudelius, “A Distance Conjecture for branes,” JHEP09(2025) 155,2407.20316
-
[49]
Duality and higher derivative terms in M theory
M. B. Green and P. Vanhove, “Duality and higher derivative terms in M theory,” JHEP01(2006) 093,hep-th/0510027
work page internal anchor Pith review Pith/arXiv arXiv 2006
-
[50]
One-loop four-graviton amplitude in eleven-dimensional supergravity
J. G. Russo and A. A. Tseytlin, “One loop four graviton amplitude in eleven-dimensional supergravity,”Nucl. Phys. B508(1997) 245–259,hep-th/9707134. 44
work page internal anchor Pith review Pith/arXiv arXiv 1997
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.