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.
Scalar symmetry factor and conditional lifetime model
A massless-daughter scalar formal coefficient example. It explicitly adds an exponential survival model before deriving a mean and half-life; the formal rate coefficient by itself implies neither time law.
Statement
Assume Countable Choice, The Axiom of Countable Choice (), as required by the cited phase-space map and the Borel restriction of Lebesgue measure.
Let , dimensionless , parent energy , and in joules. For scattering, take the incoming and outgoing on the positive massless scalar shell, each having , with common total , , and evaluate the coefficient in a proper orthochronous center-of-momentum chart as in the phase-space supplier. For decay, take massless positive-shell daughters summing to the rest parent . With these data the identical final-state quartic total coefficient is and the distinguishable-final coefficient is twice this value. The identical-daughter decay-rate coefficient is Set . For the lifetime calculation only, let be a probability space in the sense of Probability measures and probability spaces: is a sigma-algebra on , and is a countably additive measure with . Let be the sigma-algebra generated by sets for open , as in The Borel sigma-algebra of a topological space. Let be a parent lifetime measured in seconds and measurable in the explicit sense that for every . Define its law by on those Borel sets. Let denote one-dimensional Lebesgue measure from Lebesgue measurable sets, the family , and the restricted set function , restricted to ; this restriction is a measure by Assuming countable choice, every Borel subset of is Lebesgue measurable under the stated Countable Choice assumption. Separately assume the exponential lifetime model, defined by It gives for . Define the mean lifetime as , and define the half-life by . Then the mean lifetime is and the half-life is . The exponential law is not a consequence of the formal coefficient calculation.
Facts & Assumptions
Given: Countable Choice The Axiom of Countable Choice (); the positive-shell scattering and decay data in the Statement, and the scalar amplitude conventions and coefficient maps of Scalar symmetry factors and decay coefficient units, Complete two-body phase space and coefficient flux map, and Formal diagram coefficient-to-observable adoption.
Scalar symmetry factors and decay coefficient units: for identical equal-mass scalars the full-sphere quartic coefficient is ; distinguishable final particles give twice this value. The identical-daughter rate coefficient is .
QFT example units, metric, gauge, and pairing conventions: and ; is in .
Probability measures and probability spaces: a probability space is a triple where is a sigma-algebra on and is a countably additive measure with .
The Borel sigma-algebra of a topological space: the Borel sigma-algebra of a topological space is generated by its open sets.
Lebesgue measurable sets, the family , and the restricted set function : one-dimensional Lebesgue measure is the restriction of Lebesgue outer measure to the Lebesgue sigma-algebra.
Assuming countable choice, every Borel subset of is Lebesgue measurable: under Countable Choice, every Borel subset of is Lebesgue measurable, so denotes its restriction to the stated Borel sigma-algebra.
Formal diagram coefficient-to-observable adoption: formal coefficients are adopted leading readings only; no survival law follows from the rate map.
For the lifetime calculation only, assume the exponential probability law for defined in the Statement, with . This assumption is not part of [A1] or the formal coefficient maps.
Example
The massless special case exposes both the full-sphere identical-particle factor and the distinction between a rate coefficient and a decay law.
Verification
Set the daughter rest energy to zero in [F1]. The square-root threshold factor becomes , so the identical total coefficient is and the distinguishable total is twice that. The cross-section unit is . For the same massless daughter specialization, [F1] gives Its unit is , so it is a rate coefficient. Since , , and , this coefficient is strictly positive.
By [A2], for Borel . Taking gives total mass , and the mean is by integration by parts; since . The survival function is continuous and strictly decreasing from to , so the defining equation for has a unique solution; solving gives . These formulas use [A2], not the formal rate coefficient alone; no experiment or detector record is specified.
Depends on
The Axiom of Countable Choice ()
Probability measures and probability spaces
The Borel sigma-algebra of a topological space
Lebesgue measurable sets, the family , and the restricted set function
Assuming countable choice, every Borel subset of is Lebesgue measurable
QFT example units, metric, gauge, and pairing conventions
Example observable types and scoped meanings
Complete two-body phase space and coefficient flux map
Scalar symmetry factors and decay coefficient units
Formal tree scattering and scalar-decay coefficients
Formal diagram coefficient-to-observable adoption