M-theoretic Emergence Proposal

• The M-theoretic Emergence Proposal is a framework where the entire low-energy effective action arises from integrating out infinite towers of states below the species scale.
• It distinguishes decompactification limits in M-theory from weakly coupled emergent-string regimes by emphasizing the role of BPS towers (M2, M5, and KK modes) in generating UV couplings.
• The proposal is validated by protected gravitational and topological amplitudes, with key calculations using Schwinger-like integrals, contour regularization, and automorphic structures.

Searching arXiv for papers on the M-theoretic Emergence Proposal and closely related developments. The M-theoretic Emergence Proposal is a strong version of the swampland emergence idea specialized to decompactification limits in which an extra eleventh dimension opens up and the eleven-dimensional Planck scale becomes the species scale. In this formulation, the low-energy effective action is not fundamental in the ultraviolet: two-derivative kinetic terms, higher-derivative couplings, and protected topological data are to be generated by integrating out exactly those infinite towers of states whose typical mass scale is at or below the species scale. Recent work has argued that the natural arena for such a proposal is not the weakly coupled emergent-string regime but the M-theory limit of strongly coupled type IIA and related compactifications, where the relevant perturbative towers are Kaluza–Klein modes together with transverse M2- and M5-brane bound states carrying KK momentum (Blumenhagen et al., 2023, Blumenhagen et al., 2024).

1. Conceptual definition and species-scale framework

In the strong form of the Emergence Proposal, there is no fundamental kinetic term in the UV; every two-derivative or “tree-level” kinetic coupling in the IR arises by integrating out an infinite tower of states from some high scale down to the infrared. Within quantum gravity, the natural cutoff is the species scale, defined by the number of light species contributing to loops. In $d$ dimensions, it scales as $$\tilde\Lambda \sim M_{\rm pl} N_{\rm sp}^{-1/(d-2)}$$, and in infinite-distance limits one expects $\tilde\Lambda \to 0$ while towers of states become light (Castellano et al., 2022).

The M-theoretic version sharpens this statement. In the infinite-distance M-theory limit $M_* R_{11} \gg 1$ at fixed lower-dimensional Planck scale, the relevant ultraviolet cutoff is the eleven-dimensional Planck mass $M_*$, and the light towers are those whose masses satisfy $m \lesssim M_*$. The proposal then claims that the entire low-energy effective action of the resulting theory is generated by one-loop fluctuations of these towers. A central distinction emphasized in the literature is that weakly coupled emergent-string limits do not realize the strong form of emergence, because perturbative string theory already contains classical $g_s^{-2}$ terms that are not loop-generated. By contrast, decompactification limits to M-theory are argued to be the natural candidate for a genuine realization of strong emergence (Blumenhagen et al., 2024).

This distinction also fixes the meaning of “perturbative” in the M-theory limit. It does not refer to a worldsheet genus expansion, but to a loop expansion in a would-be M-theory description whose small parameter is associated with the decompactification radius. This suggests a reorganization of perturbation theory around the species-relevant M2/M5/KK spectrum rather than around the fundamental string.

2. Strongly coupled type IIA and the emergent M-theory spectrum

The prototype realization is ten-dimensional type IIA at strong coupling, dual to M-theory on $S^1$. Writing the dimensionless circle radius as $r_{11}=R_{11}M_{11}$, the standard relation is

$g_s = r_{11}^{3/2},$

while the ten- and eleven-dimensional Planck scales satisfy

$$\tilde\Lambda \sim M_{\rm pl} N_{\rm sp}^{-1/(d-2)}$$0

In this limit the emergent species scale in type IIA is the eleven-dimensional Planck scale,

$$\tilde\Lambda \sim M_{\rm pl} N_{\rm sp}^{-1/(d-2)}$$1

so the relevant question is which towers have typical mass scale not larger than $$\tilde\Lambda \sim M_{\rm pl} N_{\rm sp}^{-1/(d-2)}$$2 (Blumenhagen et al., 2023).

The lightest BPS tower is the D0-particle, with

$$\tilde\Lambda \sim M_{\rm pl} N_{\rm sp}^{-1/(d-2)}$$3

which is parametrically below $$\tilde\Lambda \sim M_{\rm pl} N_{\rm sp}^{-1/(d-2)}$$4 at large $$\tilde\Lambda \sim M_{\rm pl} N_{\rm sp}^{-1/(d-2)}$$5. Introducing the emergent coupling

$$\tilde\Lambda \sim M_{\rm pl} N_{\rm sp}^{-1/(d-2)}$$6

one finds for the other type-IIA excitations:

$$\tilde\Lambda \sim M_{\rm pl} N_{\rm sp}^{-1/(d-2)}$$7

$$\tilde\Lambda \sim M_{\rm pl} N_{\rm sp}^{-1/(d-2)}$$8

and for even $$\tilde\Lambda \sim M_{\rm pl} N_{\rm sp}^{-1/(d-2)}$$9,

$\tilde\Lambda \to 0$0

From this scaling, only the D0, D2, and NS5 towers satisfy $\tilde\Lambda \to 0$1. Under IIA/M duality these become transverse M2- and M5-branes carrying discrete KK momentum $\tilde\Lambda \to 0$2 along the M-theory circle, and their bound states form the fundamental perturbative spectrum in the emergent description (Blumenhagen et al., 2023).

A useful contrast is type IIB at $\tilde\Lambda \to 0$3. There the lightest tension is that of the D1-string, with $\tilde\Lambda \to 0$4 and only the D1 tower remaining light, reproducing the familiar self-dual exchange $\tilde\Lambda \to 0$5. This comparison is important because it shows that the M-theoretic proposal is not a generic statement about strong coupling in ten dimensions; it is specifically tied to decompactification and the appearance of an extra dimension (Blumenhagen et al., 2023).

The proposal also excludes incomplete truncations. It has been stressed that any putative perturbative M-theory on $\tilde\Lambda \to 0$6 that keeps only M2-branes, only M5-branes, or only D0-branes is incomplete, because the emergence criterion requires inclusion of all towers below $\tilde\Lambda \to 0$7.

3. Schwinger-like integrals, contour regularization, and period structure

The technical mechanism underlying emergence is a Schwinger-type one-loop integral over the BPS towers. In its standard field-theoretic form, integrating out a tower of particle masses $\tilde\Lambda \to 0$8 gives an expression of the schematic form

$\tilde\Lambda \to 0$9

but the limit $M_* R_{11} \gg 1$0 is ultraviolet-divergent and the polynomial “tree-level” terms are ambiguous in a purely particle description (Hattab et al., 2023).

A central proposal is therefore to complexify the proper time,

$M_* R_{11} \gg 1$1

and define the tree-level contribution by a contour integral around $M_* R_{11} \gg 1$2,

$M_* R_{11} \gg 1$3

where $M_* R_{11} \gg 1$4 is a meromorphic function whose poles at positive integers reproduce the ordinary instanton corrections, while the residue at $M_* R_{11} \gg 1$5 yields the tree-level prepotential exactly. In the resolved-conifold example, the tower consists of one D2-brane wrapping the 2-cycle together with its D0 bound states, and the same single meromorphic integrand simultaneously encodes the instanton series and the polynomial prepotential (Hattab et al., 2023).

In Calabi–Yau compactifications this contour representation is closely related to the period geometry of the holomorphic three-form. The periods

$M_* R_{11} \gg 1$6

determine the prepotential through

$M_* R_{11} \gg 1$7

The contour integral in complex proper time can be recast as an integral representation of these periods, so that the emergent tree-level piece appears as the residue at $M_* R_{11} \gg 1$8 of the same integrand that encodes the IR instanton poles. The interpretation proposed in this framework is that the ultraviolet contribution responsible for the leading polynomial couplings is localized on point intersections of the extended BPS objects. Only at special loci, such as conifold-type degenerations, does a genuine particle picture exist in which an ordinary Schwinger sum suffices without the contour prescription (Hattab et al., 2023).

For protected gravitational couplings such as $M_* R_{11} \gg 1$9, a related regularization is used directly on the real Schwinger parameter. The ultraviolet divergence at $M_*$0 is treated by minimal subtraction together with zeta-function regularization, and this has been shown to be equivalent to the Poisson-resummed subtraction familiar from Green–Gutperle-type analyses (Blumenhagen et al., 2024).

4. Protected gravitational couplings and automorphic structure

The most detailed evidence for the M-theoretic proposal comes from the exact computation of $M_*$1 interactions in toroidal compactifications. In the decompactification limit $M_*$2, the coefficient $M_*$3 of the $M_*$4 term is computed from one-loop Schwinger-like integrals over the light towers of KK, transverse M2, and transverse M5 states. After integrating out the non-compact momenta, one obtains expressions of the schematic form

$M_*$5

with the sum constrained by the appropriate BPS conditions (Blumenhagen et al., 2024).

In ten dimensions only the D0 tower contributes. The regulated integral yields

$M_*$6

which reproduces the tree-level type-IIA $M_*$7 coupling from a one-loop M-theory diagram. The familiar one-loop constant $M_*$8 is not generated directly in strict ten-dimensional decompactification and must be recovered by consistency from further compactification (Blumenhagen et al., 2024).

In nine dimensions the charge lattice contains two charges, and after splitting the sum into $M_*$9 and $m \lesssim M_*$0 sectors and Poisson-resumming, one obtains the known result

$m \lesssim M_*$1

In eight dimensions, D0 states alone generate the tree term, ED0 instantons, and logarithmic terms involving $m \lesssim M_*$2, but the full answer requires the addition of the transverse M2/D2 tower. Its Schwinger integral produces the modular logarithm, the world-sheet fundamental-string instantons, and the missing constant $m \lesssim M_*$3, yielding the exact $m \lesssim M_*$4 coupling (Blumenhagen et al., 2024).

For lower dimensions the sums involve multiple BPS constraints and are organized by constrained lattice sums and Eisenstein series. In this language, the M-theory limit yields constrained Eisenstein series of the form $m \lesssim M_*$5 built from the species-relevant particle multiplet, whereas earlier analyses by Kiritsis–Pioline and Obers–Pioline used the full U-duality group and integrated out the full wrapped-brane charge lattice, leading to $m \lesssim M_*$6. The emergent approach argues that heavy longitudinal modes decouple in the decompactification limit; mathematically, the two constrained Eisenstein series coincide after adding the missing one-loop constants in low dimensions, and for $m \lesssim M_*$7 this equality was proven in the cited work of Bossard–Pioline (Blumenhagen et al., 2024).

This automorphic reformulation is significant because it shows that the proposal does not merely reproduce a few asymptotic terms. In the protected $m \lesssim M_*$8 sector it reconstructs the complete coefficient function, including tree-level, one-loop, and space-time instanton contributions.

5. Topological amplitudes, Yukawa couplings, and gauge-sector tests

In four-dimensional $m \lesssim M_*$9 compactifications, the proposal has been extended to topological amplitudes $g_s^{-2}$0. For genus zero, the M-theory sum runs over D2–D0 or M2–KK bound states with charges $g_s^{-2}$1 and central charge

$g_s^{-2}$2

leading to a Schwinger representation for $g_s^{-2}$3. Differentiating three times gives the exact Yukawa coupling

$g_s^{-2}$4

The zero-point piece

$g_s^{-2}$5

is formally divergent because the genus-zero Gopakumar–Vafa invariants grow exponentially. The proposed regularization is to analytically continue the weak-coupling prepotential to a finite-distance degeneration locus, typically a conifold or strong-coupling divisor, expand near the singularity, and remove all divergent terms by minimal subtraction. What remains is precisely the constant term, and in the tested examples it reproduces the classical triple intersection number $g_s^{-2}$6 (Blumenhagen et al., 25 Jun 2025, Artime et al., 19 Mar 2026).

This program has been checked in explicit one-parameter and two-parameter examples. For the quintic and related one-modulus cases, the regularization can be implemented equivalently in complex-structure or Kähler moduli space, and in both descriptions minimal subtraction leaves exactly the classical cubic term. For $g_s^{-2}$7, the procedure reproduces

$g_s^{-2}$8

while for $g_s^{-2}$9 it yields

$S^1$0

matching the known intersection data (Blumenhagen et al., 25 Jun 2025).

The same logic has been extended to the one-loop prepotential $S^1$1. In the one-modulus case,

$S^1$2

with $S^1$3. The Schwinger integral now has a logarithmic divergence, and recovering the linear term requires a regulator choice $S^1$4. With that choice, the divergent terms and the constant anomaly cancel and one obtains exactly the classical coefficient $S^1$5 (Artime et al., 19 Mar 2026).

A complementary test comes from a protected gauge coupling: the six-dimensional $S^1$6 term in heterotic $S^1$7 on $S^1$8, dual to strongly coupled type IIA on K3. In the M-theory representation the exact amplitude is written as a Schwinger integral over D0, D2, and D4 charges subject to the BPS constraint

$S^1$9

The M-theoretic proposal asserts that longitudinally wrapped M5-branes, equivalently wrapped D4-branes, are heavier than the species scale and should be excluded. The explicit instanton expansion shows that all D4 terms cancel pairwise, sector by sector, while the remaining D0/D2 sums reproduce the full exact result. This is the first gauge-sector test exhibiting the decoupling of heavy longitudinal M5/D4 states in a concrete protected amplitude (Artime et al., 7 Apr 2025).

6. Status, interpretations, and open problems

The current status is explicitly exploratory. A recurring theme in the literature is that the proposal is supported by nontrivial protected computations but does not yet constitute a complete formulation of M-theory. The evidence is strongest for BPS-protected couplings: $r_{11}=R_{11}M_{11}$0 terms in toroidal compactifications, cubic and linear topological couplings in four-dimensional $r_{11}=R_{11}M_{11}$1 compactifications, and protected $r_{11}=R_{11}M_{11}$2 amplitudes in dual heterotic/type-IIA settings (Blumenhagen et al., 2024, Artime et al., 19 Mar 2026).

Several misconceptions are addressed directly in the papers. One is that the relevant infinite-distance limit should be an emergent-string limit; the opposite conclusion is emphasized, namely that decompactification to M-theory is the natural setting because the perturbative string description already contains classical terms and therefore cannot realize strong emergence. Another is that the perturbative spectrum can be truncated to a single tower such as D0 or M2 states; the species-scale criterion instead selects the full set of transverse M2/M5/KK towers below $r_{11}=R_{11}M_{11}$3 (Blumenhagen et al., 2024, Blumenhagen et al., 2023).

The main unresolved issues concern generality, regularization, and non-BPS sectors. Explicit topological-amplitude checks are mostly for one-parameter Calabi–Yau threefolds, while higher $r_{11}=R_{11}M_{11}$4 cases require further control over which codimension-two degeneration and which approach path should be used. For genus-zero amplitudes the regularization appears regulator-independent and therefore highly predictive, but for $r_{11}=R_{11}M_{11}$5 the choice of $r_{11}=R_{11}M_{11}$6 is essential, so predictivity is partially lost. Beyond these protected sectors, extending emergence to non-BPS couplings, to higher genus $r_{11}=R_{11}M_{11}$7 with $r_{11}=R_{11}M_{11}$8, and ultimately to the Einstein–Hilbert term remains open (Artime et al., 19 Mar 2026).

A plausible implication is that the proposal is less a statement about a specific amplitude than about a reorganization of perturbation theory in quantum gravity near decompactification limits. In that reading, the appearance of classical lower-dimensional couplings from one-loop sums over species-relevant towers is not accidental but a structural feature of M-theory corners of moduli space. Whether this can be elevated from a family of exact protected checks to a complete microscopic formulation remains an open problem.