Alphabeta Math
ExampleConstruction: AI-generatedVerification: AI-generatedPipeline-generatedverified 2026-10-15 (gpt-6-luna, gpt-6.1-sol, and delegated Codex review/repair agents; see completed run evidence)
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.

Two-body symmetry factors and massless daughter rate units

Facts & Assumptions

Given: Assume Countable Choice ACω The Axiom of Countable Choice (ACω). Use the formal scalar coefficient conventions of Scalar symmetry factors and decay coefficient units and Complete two-body phase space and coefficient flux map. Set the equal scalar rest energy to m=0 and take s>0. For scattering, write pi=(Ei,pi) and ki=(εi,ki) with Ei=∣pi∣>0 and εi=∣ki∣>0, and require P=p1+p2=k1+k2 and h(P,P)=s, evaluating the scattering coefficients in the center-of-momentum frame of Complete two-body phase space and coefficient flux map. For decay, take both daughters on that same positive shell with total parent P0=(M0,0), M0>0. Let the constant quartic amplitude λ∈R and cubic parent amplitude GE∈C have the units specified by those suppliers.

[A1]

Countable Choice ACω The Axiom of Countable Choice (ACω) is assumed; no stronger choice axiom is used.

[F1]

Scalar symmetry factors and decay coefficient units: identical and distinguishable scalar scattering coefficients and the equal-daughter decay-rate coefficient.

[F2]

Complete two-body phase space and coefficient flux map: the phase-space integral and the units and definitions of the formal coefficient maps.

Example

Assume Countable Choice, ACω The Axiom of Countable Choice (ACω), as required by the phase-space and coefficient-map suppliers used below.

The massless special case makes the identical-final-state factor and the rate-coefficient units explicit without adding an exponential lifetime assumption.

Verification

1.1givenA1F1algebra

Under [A1], the scalar and phase-space suppliers apply. Setting m=0 in [F1] gives the identical-final total scattering coefficient λ2(ℏc)2/(32πs); the distinguishable coefficient is twice this value. The two differential coefficients have the corresponding 1/(128π2s) and 1/(64π2s) factors.

2.1step 1.1F1F2algebra∎

Setting the daughter rest energy to zero in [F1] gives Γcoeff=∣GE∣2/(32πℏM0). Since GE and M0 are in joules and ℏ is in joule-seconds, the units reduce to s−1. This coefficient does not determine a survival-time law.

Depends on

Dependency tree · 2 levels

Sources