Papers
Topics
Authors
Recent
Search
2000 character limit reached

Scale-separated vacua with extended supersymmetry

Published 29 Apr 2026 in hep-th | (2604.26755v1)

Abstract: We propose the first examples of scale-separated vacua with extended supersymmetry. They arise as circle compactifications of four-dimensional vacua of massive type IIA supergravity with scale separation, upon introducing additional fluxes and sources. We provide both the ten-dimensional solutions and the three-dimensional effective descriptions in terms of Kähler potential and superpotential. The conformal dimensions of the putative dual two-dimensional field theory appear not to be integers. The superpotential for the additional fluxes of one of our models was guessed by ChatGPT and, to the best of our knowledge, it does not appear in existing literature. Should these vacua be solutions of string theory, they would allow to address the open problem of scale separation from the vantage point of extended supersymmetry.

Summary

  • The paper presents the first explicit AdS3 vacua with extended N=2 supersymmetry and genuine scale separation, achieved via circle compactification of DGKT and CFI models.
  • It introduces new S1 flux components that stabilize additional moduli, ensuring a controlled hierarchy between the AdS length and the Kaluza–Klein scale.
  • Key findings include complete moduli stabilization and non-integer conformal dimensions in the dual CFT, challenging existing swampland conjectures.

Scale-Separated Vacua with Extended Supersymmetry

Introduction and Motivation

The construction of string vacua exhibiting genuine scale separation—the hierarchy between the AdS length and the compactification (Kaluza-Klein) scale—remains of fundamental importance for addressing the emergence of lower-dimensional physics from higher-dimensional string theory. Previous explicit examples of scale-separated vacua are sparse and are predominantly constrained to AdS solutions with minimal supersymmetry. Furthermore, strong swampland conjectures and various bottom-up and holographic arguments have cast doubt on the existence of such vacua with higher supersymmetry. No explicit construction of scale-separated vacua with extended supersymmetry has been presented prior to this work.

The paper "Scale-separated vacua with extended supersymmetry" (2604.26755) constructs and analyzes—for the first time—explicit examples of three-dimensional AdS string vacua with parametric scale separation and N=2\mathcal{N}=2 supersymmetry, originating from circle reductions of four-dimensional massive type IIA flux vacua (DGKT and CFI models) with suitable fluxes and source content. These models bridge significant gaps in the landscape of flux compactifications and string vacua, allowing new perspectives on familiar theoretical questions.

Construction of Models

Circle Compactification of DGKT and CFI

The starting point of the analysis involves the well-known DGKT [DeWolfe:2005uu] and CFI [Camara:2005pr] constructions, which yield four-dimensional N=1\mathcal{N}=1 AdS vacua with all moduli stabilized, realized via toroidal orbifolds of Calabi–Yau threefolds equipped with orientifold O6O6-planes, fluxes, and sources.

The models in this paper are obtained via circle compactification to three dimensions, with an internal space X7=(T6/Γ)×S1X_7 = (T^6/\Gamma) \times S^1 (with Γ=Z32\Gamma = \mathbb{Z}_3^2 for DGKT and Z22\mathbb{Z}_2^2 for CFI), with appropriate modifications of fluxes and the inclusion of additional source contributions.

Additional Fluxes and Sources

A key technical innovation is the introduction of new flux components along the S1S^1, leading to the necessary stabilization of the would-be modulus associated with the extra circle, which would otherwise obstruct scale separation by pinning the AdS curvature to the Kaluza–Klein scale. In both models, the four-form flux F4F_4 is augmented by components corresponding to four-cycles involving the new S1S^1, while H3H_3 is simultaneously generalized to maintain compatibility with orbifold symmetry and orientifold parity constraints. The Bianchi identities and D-brane/O-plane tadpole cancellations are managed by inserting D6-branes and ensuring mutually supersymmetric configurations.

Ten-Dimensional Supergravity and Moduli Stabilization

The analysis pursues explicit solutions to the ten-dimensional (massive type IIA) supergravity equations, implementing the Killing spinor equations, Bianchi identities, and flux quantization conditions. For both the DGKT and CFI-based models, the authors construct the internal metric, harmonic bases of forms, and explicit flux ansätze, confirming algebraically that for large flux quantum numbers, all geometric moduli and the string coupling are stabilized at parametrically large volume and weak coupling. The essential scaling limit is

N=1\mathcal{N}=10

which yields scale separation that becomes arbitrarily sharp as N=1\mathcal{N}=11. The analysis is validated for both untwisted and, qualitatively, for twisted moduli via scaling.

Three-Dimensional Effective Supergravity

N=1\mathcal{N}=12 AdS Vacua and Superpotentials

Dimensional reduction further produces effective N=1\mathcal{N}=13 supergravity models in three dimensions. The authors extract explicit Kähler potentials and superpotentials, constructed by lifting the known four-dimensional effective field theories and incorporating the effects of the new fluxes. In particular, for DGKT, the nontrivial contributions to the three-dimensional superpotential can be deduced from symmetry and matching conditions; in the CFI case, the form of the superpotential was obtained using an LLM (ChatGPT), exhibiting structure not previously derived in the literature.

Strong claims are made here: the explicit Kähler and superpotential yield complete classical moduli stabilization, with full agreement between the critical points of the effective three-dimensional theory and the ten-dimensional solutions.

Absence of Partial Supersymmetry Breaking

The possibility that the effective theory could realize extended supersymmetry only partially—by virtue of D-term N=1\mathcal{N}=14 F-term structure—was investigated. Arguments based on the structure of three-dimensional N=1\mathcal{N}=15 supergravity, the structure of the possible isometries, and the explicit forms of the superpotentials preclude any avenue towards partial SUSY breaking: the vacua preserve exactly N=1\mathcal{N}=16 supersymmetry. This is particularly relevant given the intricate relation between scalar potentials and the presence/absence of R-symmetry gaugings and D-terms.

Conformal Dimensions in the Holographic Dual

For both models, the analysis of operator conformal dimensions in the putative dual two-dimensional CFTs reveals a significant result: all computed conformal dimensions are non-integer, in contrast with the four-dimensional DGKT and CFI ancestors. The occurrence of non-integer dimensions demonstrates that neither scale separation nor extended supersymmetry necessarily enforce the integrality condition, deepening the complexity of the AdS/CFT mapping in these vacua.

Implications, Limitations, and Future Work

Significance for the Swampland and String Landscape

These constructions provide explicit counterexamples to the prevailing expectation that scale-separated vacua with extended supersymmetry are either non-existent or belong to the swampland. The models allow for parametric control over moduli stabilization and the UV/IR hierarchy, broadening the landscape of possible phenomenological and holographic studies.

Limitations

Smeared brane and O-plane approximations are employed throughout, as is common in the majority of the literature, but recent progress in localized source backreaction [Junghans:2020acz, Marchesano:2020qvg, Junghans:2023yue] may ultimately require refinement or even modification of the ten-dimensional setups. Moreover, the full inclusion and analysis of the twisted sector, especially in the CFI-based model, is only addressed heuristically.

AI Assistance in Theoretical Developments

Notably, the nontrivial structure of the new superpotential terms for the CFI-based circle compactification was obtained using a LLM (ChatGPT) upon feeding the context and reviewing failed naive analytic attempts. This signals the potential for AI tools to infer nontrivial analytic structures in high-dimensional moduli spaces and effective theories, contingent on researcher supervision and physical consistency requirements. However, this does not in itself constitute a systematic framework for automated model building, and the critical assessment and verification by experts remain indispensable.

Conclusion

This paper provides the first explicit constructions of scale-separated AdSN=1\mathcal{N}=17 vacua with extended (N=1\mathcal{N}=18) supersymmetry in string theory, achieved via circle reductions of four-dimensional type IIA compactifications with new fluxes and sources. The solutions stabilize all moduli at weak coupling and large radius with parametrically tunable separation of scales. The study demonstrates the absence of partial supersymmetry breaking, the emergence of non-integer conformal operator dimensions in the dual CFTs, and highlights the role of computational tools in discovering nontrivial effective superpotentials. This advances the landscape of viable flux compactifications and opens new avenues in the interface between supergravity, swampland constraints, and the application of AI to formal theory.

Paper to Video (Beta)

No one has generated a video about this paper yet.

Whiteboard

No one has generated a whiteboard explanation for this paper yet.

Explain it Like I'm 14

Explaining “Scale-separated vacua with extended supersymmetry”

What this paper is about (big picture)

Our universe looks 3D in space + 1D in time, but string theory naturally lives in 10 dimensions. One way to connect the two is to “curl up” the extra dimensions into tiny shapes (like rolling up a garden hose so tight you don’t notice its thickness). The paper builds two new examples of such curled-up universes where:

  • The “tiny” dimensions are much smaller than the large ones (this is called scale separation).
  • Supersymmetry (a symmetry linking particles of matter and force) is present in an extended form (more than the minimal amount).
  • The spacetime is anti–de Sitter in 3D (AdS3), a curved space that’s important for holography (the AdS/CFT correspondence).

These are the first known examples combining scale separation with extended supersymmetry.


The main goals and questions

The authors set out to:

  • Build string-theory worlds that have strong scale separation and extended supersymmetry at the same time.
  • Do this by starting from two famous 4D models (“DGKT” and “CFI”) and compactifying them further on a circle to make them 3D.
  • Add the right “fluxes” (think of steady magnetic-like fields through the tiny extra dimensions) and “sources” (objects like branes and orientifolds) so all equations and charge balances work.
  • Check two things carefully: 1) The full 10D string equations are satisfied and give AdS3. 2) The 3D “effective theory” (the low-energy description) matches the 10D result and really preserves extended supersymmetry.
  • See what this means for the quantum field theory “on the boundary” via holography, especially the spectrum of “conformal dimensions” (roughly, how heavy or “scaling” operators are).

How they did it (in plain language)

Step 1: Curling up extra dimensions

  • Start with 10D string theory and first compactify 6 dimensions on a special “orbifolded torus” (a multi-dimensional donut with identified points). This gives known 4D AdS models (DGKT and CFI) that already stabilize all shape and size parameters (“moduli”) and show scale separation.
  • Then compactify one more dimension on a circle to reach 3D AdS (AdS3). The full compact space is now a 7D shape: “orbifolded 6-torus × circle.”

Step 2: Add fluxes and sources so everything is consistent

  • Fluxes are like magnetic fields threading holes in the tiny space. Here the key ones are called F0F_0, H3H_3, and F4F_4.
  • Sources are charged objects: D6-branes (like membranes extended in certain directions) and O6-planes (their orientifold partners with negative charge).
  • There are “charge balance” rules called Bianchi identities and “tadpole” conditions. The authors choose fluxes and branes so these balances hold without needing extra ingredients. For example, they arrange F4H3=0F_4 \wedge H_3 = 0 to avoid needing D2-branes and insert D6-branes to cancel the dF2dF_2 tadpole.

Step 3: Solve the simpler supersymmetry equations

  • Instead of solving all Einstein-like equations at once, they use the fact that supersymmetric solutions satisfy a simpler set of “Killing spinor” equations. Solving these implies the full equations also hold.
  • They work directly in 10D and find explicit solutions with all moduli stabilized.

Step 4: Build and check the 3D effective theory

  • They then derive a 3D effective supergravity with a Kähler potential and a superpotential (these functions encode the forces and mass terms for the light fields).
  • A new twist: the extra fluxes from the circle compactification require new superpotential terms. In one of their models, an extra piece of the superpotential was suggested by ChatGPT and, to their knowledge, hadn’t appeared in the literature before.
  • They compute the 3D scalar potential from this superpotential and show that it matches exactly what comes from the full 10D calculation. This is a strong consistency check.

Checking scale separation by “turning up” flux quanta

  • Fluxes come in integer amounts (like counting how many times a field lines thread a loop). Call a large integer NN the scale of the new fluxes.
  • As NN grows:
    • The tiny 7D internal volume grows like N7/4N^{7/4} (so geometry is large enough for classical math to work).
    • The string coupling gets small like N3/4N^{-3/4} (so quantum corrections are under control).
    • The ratio of the internal size to the AdS radius shrinks like N1/2N^{-1/2}, which means the Kaluza–Klein scale (set by the internal size) is much higher than the AdS curvature scale. That’s the desired “scale separation.”

Ensuring the supersymmetry is extended (and not partially broken)

  • In 3D, “minimal” supersymmetry is called N=1\mathcal{N}=1; “extended” here is N=2\mathcal{N}=2.
  • The authors show that their 3D vacuum is genuinely N=2\mathcal{N}=2:
    • The 10D solution allows at least one supersymmetry; the 3D effective action shows there are two.
    • They check that the new flux effects cannot be mimicked by certain “D-term gaugings,” which could break half the supersymmetry. Since these D-terms can’t reproduce the needed contributions, the superpotential description is the right one and supersymmetry stays extended on the vacuum.

What they found (main results)

  • Two explicit families of AdS3 vacua with extended supersymmetry:
    • DGKT on a circle (based on the T6/Z32T^6/\mathbb{Z}_3^2 orbifold).
    • CFI on a circle (based on the T6/Z22T^6/\mathbb{Z}_2^2 orbifold).
  • Both achieve:
    • Scale separation: the Kaluza–Klein scale is parametrically higher than the AdS curvature scale. Concretely, LKK/LAdSN1/2L_{\mathrm{KK}}/L_{\mathrm{AdS}} \sim N^{-1/2} for large flux integer NN.
    • Full moduli stabilization: the sizes and shapes of the compact space are fixed by the fluxes and sources.
    • Weak coupling and large internal volume for large NN, keeping the analysis under good control.
    • Extended supersymmetry in 3D: N=2\mathcal{N}=2.
  • A precise match between:
    • The 10D supergravity solution (solving supersymmetry and charge constraints), and
    • The 3D effective theory built from a Kähler potential and a superpotential, including new flux-dependent terms.
  • Holography hint: the “conformal dimensions” of dual 2D operators are not integers in these models. That’s a sharp difference from their 4D parents (DGKT/CFI), where certain dual dimensions are integers. So integer spectra are not automatic consequences of scale separation or extended supersymmetry.

Why this matters

  • Scale-separated supersymmetric vacua are rare and debated. Finding the first candidates that also have extended supersymmetry opens a new window to study and test this phenomenon with more theoretical control.
  • AdS3 with N=2\mathcal{N}=2 supersymmetry has a rich holographic (CFT2) structure. These constructions may help us understand how strongly curved spacetimes relate to lower-dimensional quantum field theories, especially with unusual (non-integer) operator dimensions.
  • If these vacua are confirmed to be full string-theory solutions beyond the approximations used, they would be important benchmarks for building realistic or semi-realistic models and for clarifying what is and isn’t possible in string compactification.

A few key ideas translated

  • Compactification: Curling up extra dimensions into small shapes so they’re invisible at everyday scales.
  • Scale separation: The small dimensions are tiny enough that the energy needed to probe them is much higher than the energy set by the AdS curvature. It lets you talk about lower-dimensional physics without it being blurred by the extra dimensions.
  • Flux: Like a magnetic field threading holes in the compact space; fluxes help stabilize sizes and shapes.
  • Branes and orientifolds: Charged, extended objects that help balance fluxes and make the math consistent.
  • Supersymmetry (SUSY): A symmetry relating matter and force particles; “extended” means more than the minimal number of supercharges, often giving more powerful constraints and cleaner calculations.
  • AdS/CFT (holography): A duality where a gravitational theory in AdS space corresponds to a conformal field theory on its boundary; “conformal dimensions” measure how operators scale in that field theory.

In short, this paper constructs and cross-checks two new string-theory worlds that are both well-separated in scale and preserve extended supersymmetry, and it explores what those worlds might teach us about holography and the limits of string compactification.

Knowledge Gaps

Unresolved knowledge gaps, limitations, and open questions

The points below distill what remains missing, uncertain, or unexplored in the paper, phrased to guide follow-up research:

  • Ten-dimensional localization and warping: the analysis relies on smeared O6/D6O6/D6 sources and sets the warp factor to a constant (eA=1e^A=1). It remains to construct fully localized 10D solutions (on the resolved orbifold) with nontrivial warping, verifying the supersymmetry equations and Einstein equations globally.
  • Flux quantization and explicit integer data: while large-flux scaling is used (e.g., ffN|f| \sim |f'| \sim N) and sign constraints are imposed, explicit integer choices of (f,f,h,h,m,QD6)(f,f',h,h',m,Q_{D6}) obeying flux quantization on the orbifold/resolution cycles, the tadpoles, and the relation $4 f' h + 3 f h' = 0$ are not exhibited. A concrete flux assignment with all constraints checked would make the construction explicit.
  • K-theory and torsion constraints: beyond cohomological tadpoles, the paper does not test K-theory charge cancellation, torsion classes, or induced charges from curvature/WZ couplings on O6/D6O6/D6 in massive IIA. These discrete constraints could obstruct or refine allowed flux/source configurations.
  • Higher-derivative and warping corrections near O6/D6O6/D6: although large volume and weak coupling are achieved, the paper does not quantify α\alpha' and string-loop corrections in the presence of localized O6/D6O6/D6 singularities and Romans mass. A scaling analysis (in NN) of corrections and warping gradients is needed to confirm control.
  • Explicit 10D N=2\,\mathcal{N}=2\, supersymmetry: extended SUSY is inferred from the 3D effective action; a 10D demonstration of two independent Killing spinors (or equivalent G-structure conditions) is not provided. Constructing the second Killing spinor would verify N=2\mathcal{N}=2 directly in 10D.
  • Consistent truncation: the 3D theory used is not shown to be a consistent truncation of the 10D system including the new fluxes and sources. Without proving consistency, heavy modes (KK, twisted, open-string) might source the retained fields. A truncation proof (or higher-dimensional uplift of the 3D solution) is needed.
  • New superpotential terms: the proposed 3D superpotential includes novel terms (with square-root dependence on moduli) for the ff' and hh' fluxes, obtained by guesswork and matched a posteriori. A first-principles derivation from 10D (e.g., generalized geometry/pure spinor formalism, democratic action reduction, or calibration arguments) is missing, as is a discussion of holomorphicity and branch choices.
  • Uniqueness of the effective description: while D-terms and R-symmetry gaugings are argued not to reproduce the needed scalar potential pieces, a complete embedding-tensor/Chern–Simons analysis of all possible gaugings in 3D N=2\mathcal{N}=2 is absent. Establishing the uniqueness of the superpotential-only description would close potential loopholes.
  • Twisted-sector stabilization beyond scaling: the nine twisted moduli are addressed via a local scaling argument inherited from DGKT; a full mass matrix (including mixing with the new circle-dependent fluxes) is not computed. An explicit stabilization analysis on the resolved geometry, with flux quantization and masses, is needed.
  • Open-string sector: positions and gauge moduli of the added D6D6-branes (and potential worldvolume fluxes) are not analyzed beyond the smeared approximation. Their stabilization, mass spectrum, and backreaction when localized remain open.
  • Anisotropy and additional fluxes: the solution assumes isotropy (r1=r2=r3r_1=r_2=r_3) and sets F2=0F_2=0. It is unknown whether anisotropic branches, nonzero F2F_2, geometric fluxes, or non-geometric fluxes admit similar N=2\mathcal{N}=2 scale-separated vacua or affect stability.
  • Global Bianchi identities with localized sources: aside from the smeared BIs (e.g., dF2=H3F0+JdF_2=H_3\wedge F_0+J), a fully localized check—including induced charges and intersections of D6/O6D6/O6 with the resolved cycles—is not performed.
  • Stability beyond the untwisted closed-string sector: the Hessian is evaluated for the closed, untwisted moduli only. A complete spectrum (including twisted moduli, open-string modes, vectors, fermions, and KK towers) and verification of all Breitenlohner–Freedman bounds in AdS3_3 are lacking. The noted tachyonic scalar above the BF bound points to the need for a full stability survey.
  • Nonperturbative decay channels: potential instabilities such as brane/flux annihilation, domain-wall nucleation, or circle-related “bubble of nothing” decays are not investigated. The additional S1S^1 raises questions about nonperturbative stability and boundary conditions.
  • Holography and the dual CFT: beyond noting non-integer operator dimensions for untwisted scalars, the paper does not compute the Brown–Henneaux central charge c=3L/(2G3)c=3L/(2G_3), the spectrum of currents/R-symmetry, or identify candidate N=(1,1)\mathcal{N}=(1,1) SCFTs. Explaining the non-integer dimensions and potential operator mixing requires deeper holographic analysis.
  • Domain-wall bounds and no-go theorems: while the domain-wall bound is said to be satisfied, detailed checks against swampland constraints and no-go arguments for scale separation (including recent refinements) are not provided for the extended-SUSY case.
  • Extension beyond toroidal orbifolds: the constructions are presented in the toroidal orbifold limits of T6/Z32T^6/\mathbb{Z}_3^2 and T6/Z22T^6/\mathbb{Z}_2^2. Whether similar scale-separated N=2\mathcal{N}=2 AdS3_3 vacua exist on generic smooth Calabi–Yau orientifolds (and what topological data are required, e.g., b3b_3^{-} and b4+b_4^{+}) remains to be established.
  • Explicit numerical example: a worked numerical example at moderately large flux (integer data provided), with computed gsg_s, volumes, LKKL_{KK}, LAdSL_{AdS}, and mass spectra, would demonstrate control at finite NN. Such data are not presented.
  • CFI model completeness: the second model (CFI on a circle) is only sketched. Its full 10D solution, 3D effective theory (including the analogue of the new superpotential terms), flux/tadpole analysis, scaling, and operator dimensions remain to be worked out.
  • Duality tests: possible T-dual or mirror descriptions (or M-theory analogues) are not explored. Mapping the solutions to other frames could provide independent checks and insights into generality.
  • Robustness to backreaction of D6/O6D6/O6 placement: the choice of D6D6 orientations is argued to be supersymmetric and anomaly-free (Freed–Witten), but explicit calibrated embeddings, intersection data with resolved cycles, and backreacted geometry are not constructed.
  • Generality of non-integer dimensions: the paper observes non-integer conformal dimensions for untwisted scalars in these N=2\mathcal{N}=2 AdS3_3 vacua, unlike the 4D DGKT/CFI cases. It remains to determine whether this is generic for 3D N=2\mathcal{N}=2 scale-separated vacua or an artefact of the chosen flux/cycle ansatz.

Practical Applications

Immediate Applications

The paper’s main contributions—explicit AdS3 vacua with scale separation and extended supersymmetry, a 10D-to-3D matching with a concrete Kähler potential and superpotential, and the observation of non-integer operator dimensions—enable several deployable workflows and tools today, primarily in academia and software/AI.

  • Benchmark datasets and testbeds for holography and swampland constraints (Academia: high-energy theory, mathematical physics)
    • Use cases:
    • Provide AdS3/N=2 supersymmetric benchmarks with scale separation to test holographic conjectures and swampland/domain-wall bounds (including those in which these vacua already pass).
    • Calibrate bootstrap and spectral methods on 2D CFTs with non-integer operator dimensions (contrasting DGKT/CFI in 4D where dimensions are integers).
    • Tools/workflows:
    • Curate a dataset of these vacua (flux integers, moduli vevs, spectra, operator dimensions) for the AdS3/CFT2 community.
    • Reference pipelines for computing conformal dimensions from the 3D effective theory and for cross-checking via 10D equations.
    • Assumptions/dependencies:
    • Validity of the compactification ansatz and smeared-source approximation in the regime used.
    • Acceptance that AdS vacua (not de Sitter) and their duals are relevant benchmarks for swampland/landscape studies.
  • Reproducible pipeline for 10D→3D effective theory matching (Software for theoretical physics; Academia)
    • Use cases:
    • Adopt the paper’s explicit SU(3)-structure/G2-form basis and isotropic ansatz to automate derivations of Kähler potentials/superpotentials and verify them against 10D Bianchi identities and SUSY equations.
    • Enable students and researchers to reproduce scale-separation scalings and solve F-term conditions programmatically.
    • Tools/products:
    • Open-source code (e.g., Python + SymPy/SageMath/Mathematica) implementing:
    • Differential-form algebra for the chosen orbifolds and orientifold parities.
    • Automated evaluation of tadpoles, Bianchi identities, and bispinor SUSY equations.
    • Symbolic derivation and numerical solving of 3D supergravity potentials.
    • Assumptions/dependencies:
    • Reliance on orbifold limits and isotropic truncations; careful interpretation needed when moving beyond untwisted sectors or local blow-ups.
    • Consistent treatment of flux quantization and source smearing.
  • LLM-in-the-loop discovery for effective superpotentials (Software/AI for scientific R&D; Academia)
    • Use cases:
    • Integrate LLMs to propose candidate superpotential terms subject to symmetry, parity, and scaling constraints—mirroring the paper’s instance where ChatGPT correctly guessed a nontrivial flux term.
    • Rapid hypothesis generation followed by symbolic and numerical verification to accelerate model building.
    • Tools/workflows:
    • “Constrain–Propose–Verify” loop:
    • 1) Encode constraints (orientifold parities, orbifold invariance, dimensional scaling).
    • 2) LLM proposes candidate terms.
    • 3) CAS/SMT/num-solvers verify Bianchi identities, F-terms, and match to 10D reductions.
    • Assumptions/dependencies:
    • Requires robust verification to prevent LLM hallucinations.
    • Institutional policies on AI-assisted discovery and authorship/credit must be observed.
  • High-throughput flux search templates (Software/Optimization; Academia)
    • Use cases:
    • Use the paper’s scaling relations (e.g., N-scaling of fluxes yielding weak coupling, large volume, and KK/AdS scale separation) to seed high-throughput scans for similar vacua in related orientifold/orbifold families.
    • Tools/products:
    • Templates for integer/constraint programming to search flux configurations satisfying tadpoles and SUSY equations, with objective functions targeting scale separation or spectral gaps.
    • Assumptions/dependencies:
    • Computational cost rises quickly with parameter space size; prioritization heuristics and parallelization needed.
    • Global consistency (twisted sectors, localized backreaction) must be audited case-by-case.
  • Educational modules and interactive teaching aids (Education)
    • Use cases:
    • Graduate-level notebooks introducing: flux compactification on orbifolds/orientifolds, SU(3)/G2 structures, 10D/3D matching, scale separation, and AdS3/CFT2 spectral extraction.
    • Products:
    • Jupyter/Colab notebooks with embedded symbolic calculations and sliders for flux integers to visualize moduli and spectra.
    • Assumptions/dependencies:
    • Pedagogical simplifications (e.g., isotropy, smeared sources) should be explicitly flagged.
  • Research policy and best-practice guidance for AI-assisted theory (Policy; Academia/Publishing)
    • Use cases:
    • Establish norms for attribution and verification when AI proposes key terms or steps in derivations (as highlighted by the superpotential example).
    • Promote open data/code to allow external validation of AI-assisted claims.
    • Tools/workflows:
    • Checklists for peer review: disclosure of AI assistance, availability of scripts verifying AI outputs, unit tests for derived expressions.
    • Assumptions/dependencies:
    • Community and journal buy-in; evolving institutional policies on AI usage.

Long-Term Applications

The broader impact of these results lies in their potential to shape future research tools, inform condensed-matter/quantum information via AdS3/CFT2, and mature AI-assisted scientific discovery. These require further theoretical development, scaling, and cross-domain validation.

  • AdS3/CFT2 interfaces to condensed matter and quantum information (Academia; Potentially Materials/Quantum Tech)
    • Use cases:
    • Model 1D quantum critical systems, spin chains, or boundary conformal phenomena using AdS3/N=2 holographic duals with non-integer spectral data.
    • Explore holographic error-correcting code architectures tailored to AdS3 geometries with extended SUSY for structured code design.
    • Dependencies:
    • Identification of explicit 2D CFT duals and controlled deformations relevant to real materials.
    • Mapping holographic spectra to experimentally accessible observables remains nontrivial.
  • Automated theory construction platforms (Software/AI; Academia/Industry R&D)
    • Use cases:
    • End-to-end systems that propose compactification ansätze, superpotentials, and flux choices consistent with Bianchi identities/orientifolds, then verify and package effective actions and spectra.
    • Products:
    • Hybrid LLM + theorem-prover + CAS stacks; formalized SUGRA libraries; automated consistency-check modules for tadpoles and anomalies.
    • Dependencies:
    • Formalization of supergravity/string-compactification knowledge in machine-readable form; scalable verification.
  • Landscape exploration and design optimization engines (Software/HPC; Cross-disciplinary optimization)
    • Use cases:
    • High-throughput searches for vacua with targeted properties (e.g., parametric scale separation, extended SUSY), leveraging the paper’s patterns (e.g., flux scaling, parity structures).
    • Transfer of techniques to other integer-constrained design spaces (e.g., network design, code construction), contingent on domain mapping.
    • Dependencies:
    • Efficient heuristics to mitigate combinatorial explosion; improved models for localized backreaction and twisted sectors.
  • Mathematical software for special-geometry and differential-form automation (Software; Academia/Math)
    • Use cases:
    • Automated construction of associative/coassociative form bases consistent with orbifolds/orientifolds and symmetry constraints, generalized beyond toroidal limits.
    • Products:
    • Libraries for SU(3)-structure/G2 computations that plug into effective action generators and verification pipelines.
    • Dependencies:
    • Extension to generic Calabi–Yau/G2 spaces (beyond orbifold limits) and rigorous handling of blow-up modes and metrics.
  • Influence on cosmology and EFT design (Academia)
    • Use cases:
    • Indirect constraints: refine swampland conjectures about scale separation with extended SUSY; guide attempts to engineer (or rule out) uplift mechanisms to de Sitter while tracking stability.
    • Feed into UV-complete EFT construction practices that respect string-theory consistency conditions.
    • Dependencies:
    • Robustness of these AdS vacua beyond isotropic ansätze and smeared-source approximations; feasibility of controlled uplifts without destabilizing moduli.
  • Industry-facing AI for scientific formula discovery (Software/AI; Industry R&D)
    • Use cases:
    • Leverage LLMs trained on physics corpora to propose mathematically consistent expressions in other domains (e.g., control theory, signal processing), using this paper’s success as a case study.
    • Dependencies:
    • Domain-specific constraint encoding and rigorous verification stacks; governance for reliability and IP/credit.
  • Standards and governance for AI-assisted basic research (Policy)
    • Use cases:
    • Develop community standards on disclosure, verification, and archival of AI-generated hypotheses and calculations; shape funding and review criteria for AI+theory projects.
    • Dependencies:
    • Engagement of societies, journals, and funders; harmonization with data/code sharing norms.

Notes on feasibility across applications:

  • Many academic and software applications are immediately viable because the paper provides explicit geometric bases, flux choices, matching 10D/3D actions, and solvable examples with clear scaling limits.
  • Broader cross-domain impacts (condensed matter, quantum information, cosmology) require identifying explicit dual CFTs, extending beyond orbifold limits, addressing twisted-sector stabilization with backreaction, and developing robust AI/formal verification tooling.
  • All applications presuppose the solutions’ consistency within string theory beyond the approximations used and the acceptance of AdS vacua as meaningful theoretical laboratories.

Glossary

  • AdS (anti-de Sitter): A spacetime with constant negative curvature often used in holography. "The vast majority of the existing research in this topic focuses on supersymmetric anti-de Sitter vacua (AdS)."
  • associative three-form: A special closed 3-form defining a G2-structure on a 7-manifold. "Recall that a G2G_2-manifold is associated to an associative three-form Φ\Phi."
  • axions: Pseudoscalar fields arising from higher-form gauge fields upon compactification. "The imaginary parts needed to complete these multiplets are provided by axions arising from the reduction of B2B_2 on the b2DGKT,=3b_2^{DGKT,-}=3 two-cycles and of C3C_3 on the b3DGKT,+=1b_3^{DGKT,+} = 1 three-cycle."
  • BF bound: The Breitenlohner–Freedman stability bound for scalar masses in AdS. "with the conformal dimension smaller that 2 due to a tachyon above the BF bound,"
  • Betti numbers: Topological invariants counting independent harmonic forms (cycles) of a manifold. "The untwisted cohomology of our seven-dimensional manifold \eqref{eq:7Dintspace1} has Betti numbers b1=1b_1=1, b2=3b_2= 3 and b3=5b_3= 5."
  • Bianchi identities: Differential constraints on field strengths ensuring consistency (e.g., charge conservation). "together with the ten-dimensional Bianchi identities,"
  • bispinor equations: Supersymmetry conditions recast as differential-form equations via the Clifford map. "which are sometimes called bispinor equations,"
  • Calabi--Yau threefold: A six-dimensional Ricci-flat Kähler manifold with SU(3) holonomy, often used in string compactifications. "on an orientifold of a Calabi--Yau threefold with O6O6-planes."
  • Chern-Simons terms: Topological terms in three-dimensional gauge theories characterized by a level matrix. "The ΘAB\Theta^{AB} are constants appearing in front of the Chern-Simons terms,"
  • circle compactifications: Reductions of higher-dimensional theories on a circle to obtain lower-dimensional effective theories. "They arise as circle compactifications of four-dimensional vacua"
  • coassociative four-form: The Hodge dual of the associative three-form in G2-structures. "we can identify the coassociative four-form,"
  • conformal dimensions: Scaling dimensions of operators in a conformal field theory. "The conformal dimensions of the putative dual two-dimensional field theory appear not to be integers."
  • DGKT: A specific flux compactification model (DeWolfe–Giryavets–Kachru–Taylor). "We consider massive type IIA supergravity compactified on an orientifold of the toroidal orbifold T6/Z32T^6/\mathbb{Z}_3^2, following DGKT \cite{DeWolfe:2005uu}."
  • D6-branes: Six-dimensional D-branes in string theory sourcing RR fields and charges. "We thus insert D6D6-branes in such a way that they are mutually supersymmetric"
  • dilaton: The scalar field controlling the string coupling in string theory. "where AA is a warp factor and ϕ\phi the dilaton."
  • domain wall bound: A constraint relating scales and charges in AdS compactifications (recently proposed). "It will also satisfy the domain wall bound recently derived in \cite{Cribiori:2026btb},"
  • extended supersymmetry: Supersymmetry with more than the minimal number of supercharges in a given dimension. "scale-separated vacua with extended supersymmetry"
  • Fayet-Iliopoulous term: A constant term in the moment map associated with gauged U(1) symmetries. "where ξ\xi is a real constant, namely the Fayet-Iliopoulous term."
  • Freed-Witten anomalies: Consistency conditions restricting branes in the presence of NSNS flux. "so that we do not have to worry about Freed-Witten anomalies."
  • gauged supergravity: Supergravity theories with gauged isometries, inducing D-terms and Chern–Simons couplings. "we show that the same vacuum cannot be obtained within gauged supergravity,"
  • G₂-manifold: A 7D manifold with G₂ holonomy admitting special forms and minimal supersymmetry. "Recall that a G2G_2-manifold is associated to an associative three-form Φ\Phi."
  • gravitino: The spin-3/2 superpartner of the graviton in supergravity. "the single gravitino of the four-dimensional theory now becomes two gravitini in the three-dimensional theory,"
  • Hodge duality: The correspondence between p-forms and (n−p)-forms in an n-dimensional manifold via the Hodge star. "since the volume form vol7{\rm vol}_7 entering Hodge duality is odd."
  • holography: The AdS/CFT correspondence relating gravity in AdS to a lower-dimensional CFT. "The hope is that holography could give a better understanding of these vacua"
  • Kähler form: The closed (1,1) 2-form defining a Kähler metric on a complex manifold. "The six-dimensional toroidal orbifold is characterized by a holomorphic (3,0)(3,0)-form Ω\Omega and a real K\"ahler form JJ."
  • Kähler potential: A function determining the metric on Kähler moduli space in supersymmetric theories. "The three-dimensional K\"ahler potential has to be"
  • Kaluza--Klein length: The compactification scale associated with extra dimensions. "They are characterized by a scale, the Kaluza--Klein length,"
  • Killing spinor equations: First-order differential equations whose solutions imply preserved supersymmetry. "First, we determine a solution of the ten-dimensional Killing spinor equations,"
  • massive type IIA supergravity: Type IIA supergravity with nonzero Romans mass F₀. "four-dimensional vacua of massive type IIA supergravity"
  • moduli stabilization: Mechanisms (often via fluxes) that fix scalar moduli in compactifications. "with moduli stabilization and scale separation"
  • NS sector: The Neveu–Schwarz sector containing fields like the metric, B-field, and dilaton. "For the NS sector, we have"
  • O6-planes: Orientifold six-planes carrying negative RR charge and tension. "on an orientifold of a Calabi--Yau threefold with O6O6-planes."
  • orbifold: A quotient space with discrete identifications, often introducing fixed-point singularities. "toroidal orbifold T6/Z32T^6/\mathbb{Z}_3^2"
  • orientifold: A projection including worldsheet parity reversing, introducing orientifold planes. "compactified on an orientifold of the toroidal orbifold"
  • orientifold involution: The geometric involution defining the orientifold action. "The orientifold involution acts on the T6T^6 coordinates zi=xi+iyiz_i = x_i + i y_i, i=1,2,3i=1,2,3, as"
  • R-symmetry: An internal symmetry rotating supercharges in supersymmetric theories. "The only remaining option would be to gauge the R-symmetry."
  • RR sector: The Ramond–Ramond sector containing p-form gauge fields and their fluxes. "For the RR sector, we have"
  • RR tadpoles: Anomalous charges requiring cancellation conditions in compactifications with RR fluxes. "H3H_3 enters the various RR tadpoles."
  • scale separation: A hierarchy where the KK scale is much larger than the AdS curvature scale. "Solutions of the equations of motion with this property are said to exhibit scale separation."
  • skew-whiffing: A sign-flip operation producing non-supersymmetric solutions related to supersymmetric ones. "would lead to the ``skew-whiffing'' non-supersymmetric solutions"
  • smeared currents: Effective, distributed source terms approximating localized brane/orientifold charges. "the smeared currents of the D6D6-branes and O6O6-planes are"
  • string-frame metric: The metric in which the dilaton couples directly to the Ricci scalar in the action. "We perform the compactification with the ten-dimensional string-frame metric"
  • superpotential: A holomorphic function governing F-term interactions in supersymmetric effective actions. "we provide the effective K\"ahler potential and superpotential"
  • tadpole: Net charged flux or source requiring cancellation for consistency. "such that the tadpole is canceled with JD2=0J_{D2}=0."
  • toroidal orbifold: An orbifold built as a discrete quotient of a torus. "toroidal orbifold T6/Z32T^6/\mathbb{Z}_3^2"
  • twisted sector: States/moduli localized at orbifold fixed points, appearing after resolution. "Let us briefly discuss the twisted sector."
  • untwisted cohomology: Cohomology classes inherited from the covering torus, not localized at fixed points. "The untwisted cohomology of our seven-dimensional manifold \eqref{eq:7Dintspace1} has Betti numbers"

Open Problems

We haven't generated a list of open problems mentioned in this paper yet.

Collections

Sign up for free to add this paper to one or more collections.

Tweets

Sign up for free to view the 1 tweet with 51 likes about this paper.