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
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:
- A dimensionless angular coordinate with target . The identification is either derived from a specified gauge identification or explicitly adopted as a model input.
- A positive kinetic coefficient and a declared region on which it is constant, so the local canonical scalar is and its kinetic term is . If moduli vary or several axions mix, the full positive-definite kinetic matrix on the joint field patch is supplied; the formula is then only a local fixed-background normalization, not a global field redefinition.
- A specified finite or infinite set of nonperturbative sources indexed by integer charges , dimensionless actions , phases , and scales . Their declared periodic potential terms are The contribution of this source set is . 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 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.
- 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 , are dimensionless, and have mass dimension one, has mass dimension one, and 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.