Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedverified 2026-11-05 (gpt-6.1-sol)
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Compactification-specific uplift source data in a 4D moduli EFT

Physical scope

A definition of source data for a compactification-derived, two-derivative four-dimensional Einstein-frame EFT. It assigns no universal source scaling and asserts no localized solution, uplift, or controlled string vacuum.

Definition

Fix a local field patch and the four-dimensional Einstein-frame normalization of a compactification-derived two-derivative moduli EFT. A compactification-specific uplift source datum is a tuple consisting of a declared source sector and its contribution ΔVsrc(Z,Zˉ)=Df(Z,Zˉ) to the scalar potential on that patch. Here Z=(ZI) is the stated list of retained complex scalar coordinates, D is a real coefficient with units of energy density, and f is a real dimensionless profile in the same coordinates. The tuple records the coefficient normalization and its frame conversion; whether the source is localized or smeared; the warp factor used; worldvolume fields and charges; the induced or shifted tadpole data; and the backreaction and correction terms retained, omitted, or separately bounded.

The profile and coefficient depend on the source action, geometry, warp convention, modulus coordinate, and Weyl normalization. This definition assigns no universal power of the total volume and does not identify a nilpotent-superfield parameterization with a localized string source. It is an EFT input record, not a derivation of that input.

Depends on

Dependency tree · 2 levels

Sources