Alphabeta Math
Open problemQuestion: Literature-sourcedProof: Not applicablePipeline-generated‡ sources checked 2026-11-05
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.

Emergence proposal for EFT kinetic data and cutoffs

Physical scope

Open proposal that integrating out a specified tower can generate some low-energy kinetic data with cutoff near a species scale; no universal regulator-independent identity is asserted.

Open problem

The Wilsonian cutoff is a chosen positive matching scale below the ultraviolet completion scale. For a declared tower, let N(E) count its species below energy E with a stated degeneracy convention; the species estimate is Λspd−2∼MP,dd−2/N(Λsp), used only parametrically in its stated regime. Here “emergence” means a specified contribution to a Wilsonian kinetic coefficient produced by integrating out declared fields with a declared regulator and matching prescription. That prescription fixes the renormalization scheme and finite counterterms, while ultraviolet boundary data can alter the coefficient.

With those conventions, the open proposal asks whether, in a specified controlled quantum-gravity limit with a known tower, some scalar, gauge and gravitational kinetic data are generated by integrating out that tower, with the cutoff tied to the species scale. The tower, scalar dependence of its masses, number of species, loop order, counterterms, and range of validity must be supplied for any controlled conditional calculation. The proposal does not assert that all kinetic terms vanish at the cutoff or that every coupling is regulator independent.

Status

Status review dated 2025-09-05: the bounded record is Heidenreich–Reece–Rudelius, PDF pp. 1–5; Palti, PDF pp. 128–137; and Lehnert, §II.F, PDF p. 51. Lehnert states that its reviewed literature was published before 2025 (PDF p. 2, note 8). Heidenreich–Reece–Rudelius analyze emergence conditionally on a tower and common strong-coupling/species scale; these estimates and the review do not prove universal, regulator-independent generation of all EFT kinetic data. The tower, matching scheme, counterterms and coupling relation remain formulation-specific in this source set. This item makes no status claim about literature after that cutoff and does not claim an exhaustive search.

Depends on

Dependency tree · 2 levels

Sources