Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)verified 2026-11-04 (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.

Periodic axion EFT data and sources

Physical scope

Definition of periodic axion-sector EFT data in a declared four-dimensional Einstein-frame regime. It does not assert that any specific compactification realizes the data, that an instanton exists, or that a relic abundance is observed.

Definition

Fix the four-dimensional Einstein-frame scalar EFT conventions of the earlier cosmology EFT datum. A single-axion datum on a stated field patch consists of:

  1. A dimensionless angular coordinate θ with target R/(2πZ). The identification θ∼θ+2π is either derived from a specified gauge identification or explicitly adopted as a model input.
  2. A positive kinetic coefficient f2 and a declared region on which it is constant, so the local canonical scalar is χ=fθ and its kinetic term is −12gμν∂μχ ∂νχ. If moduli vary or several axions mix, the full positive-definite kinetic matrix on the joint field patch is supplied; the formula χ=fθ is then only a local fixed-background normalization, not a global field redefinition.
  3. A specified finite or infinite set of nonperturbative sources indexed by integer charges n∈Z∖{0}, dimensionless actions Sn≥0, phases δn∈R/(2πZ), and scales Λn≥0. Their declared periodic potential terms are Vn(θ)=Λn4e−Sn[1−cos⁡(nθ+δn)]. The contribution of this source set is Vnp(θ):=∑nVn(θ). For an infinite source set, require this series and the termwise series of every derivative in a local angular coordinate to converge uniformly on compact subsets of the stated field patch. Thus Vnp is smooth, as required of the potential in the earlier scalar EFT datum. A harmonic approximation near a chosen minimum is additional model data and is valid only on its stated field range.
  4. If a monodromy branch is used, a separate branch label and its charge/brane data. Such a branch is not identified with a single-valued function on the axion circle and is not one of the periodic terms above.

In natural units ℏ=c=1, θ,n,Sn,δn are dimensionless, f and Λn have mass dimension one, χ has mass dimension one, and Vn has mass dimension four. For multiple axions, the periodicity lattice, kinetic matrix, charge vectors and source actions are all stated in a common basis. No axion mass, instanton action, decay constant, portal, or compactification realization follows from the name axion alone.

Depends on

Dependency tree · 2 levels

Sources