Alphabeta Math
PostulateStatement: AI-adaptedProof: Not applicablePipeline-generatedprecheck passjudge pass (gpt-6-luna)‡ sources checked 2026-11-04
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.

Adopted two-derivative multi-scalar cosmology EFT

Physical scope

An adopted low-energy Einstein-frame model premise for the stated smooth scalar EFT data: the displayed two-derivative scalar action and compactly supported scalar stationarity, together with the direct Einstein equation at zero cosmological constant. It does not derive either premise, establish EFT control or solution existence, or claim a global string realization or empirical truth.

Postulate

Adopt the following model premise for a datum of Four-dimensional Einstein-frame multi-scalar cosmology EFT data, in the classical low-energy regime and in units ℏ=c=1.

(i) Action and variation class. On a smooth spacetime region U⊆X, use action differences from SEFT=∫U−g[MP22R−12Gij(ϕ)gμν∂μϕi∂νϕj−V(ϕ)+Lother]d4x only through differences for variations supported in a fixed compact subset of the open region U. An admissible scalar variation at ϕ is a jointly smooth map Φ:(−ε,ε)×U→T, ε>0, with Φ(0,x)=ϕ(x) and Φ(s,x)=ϕ(x) for every x∉K and all s, for some compact K⊂U; hold the metric and other fields fixed. Write ϕs(x):=Φ(s,x) and define the action difference by integrating the difference of the displayed Lagrangian volume forms at ϕs and ϕ over U. Stationarity means that the derivative of this difference at s=0 is zero for every such variation. In particular, on any open patch whose field image lies in a target chart, every smooth vector of test functions ηi compactly supported in that patch gives the variation qi(ϕs)=qi(ϕ)+sηi, extended by ϕ elsewhere. For sufficiently small ∣s∣ it remains in the chart: the image of the compact support is compact inside the open chart image and η is bounded. Thus these local variations are admitted. The common compact support and joint smoothness justify differentiating their action difference under the integral. In the matter-free branch Lother=0, the scalar configuration is dynamically admissible only if it is stationary under every compactly supported smooth target-coordinate variation. Stationarity is adopted as a model premise; the field equation obtained from it is derived in Conditional homogeneous multi-field FLRW equations.

(ii) Gravitational field law. Separately adopt the direct Einstein equation of Adopted Einstein field equation in the direct-equation presentation with cosmological parameter Λ=0 and scalar Hilbert stress-energy, with the convention of The Hilbert stress-energy tensor of a metric-dependent action, as source: Gμν=MP−2Tμν. This is the natural-unit form of the cited law with MP2=(8πGN)−1. For a matter-free model, Tμν is only the stress tensor of the scalar sector. If Lother is nonzero, its stress tensor and any direct scalar source terms must be stated and the matter-free deductions on the paired page do not apply without a separate argument. The Einstein equation is adopted directly here; the action display fixes the scalar dynamics and Einstein-frame normalization, and this item does not infer the metric equation by varying the displayed curvature term.

(iii) Regime and epistemic status. The premise is restricted to the declared EFT field and energy range. Whenever retained-mode frequencies or spatial momenta are compared with ΛEFT or an omitted-mode threshold, their values are defined by the application-specific observer and mode prescription required by clause (d) of Four-dimensional Einstein-frame multi-scalar cosmology EFT data, and all scales are expressed in the same named metric frame. The prescribed quantities must lie below the declared cutoff and every omitted-mode threshold. Additional derivative, curvature, string-loop, α′, source, or backreaction bounds are application-specific assumptions, not consequences of this postulate. The adopted action and field law are not derived predictions or reported observations. No existence or uniqueness of solutions, observational fit, or global string compactification is asserted.

Depends on

Dependency tree · 2 levels

Sources