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.
Moduli domination and reheating constraints in a symbolic model
A symbolic, conditional illustration of the growth of an averaged canonical-scalar-to-radiation density ratio and of a model-selected reheating-temperature requirement. It specifies no compactification, modulus mass, decay-width law, measured BBN threshold, branching ratio, dark-radiation abundance, or universal exclusion of string vacua.
Example
Use units . Let be a nonempty open time interval. In the inherited FLRW convention, and have length dimension, spatial coordinates and are dimensionless, , , and ; is dimensionless. A modulus mode here is the label for one retained real scalar coordinate , locally canonical near a quadratic minimum; the label is compactification-motivated, but no particular compactification is assumed. For each , take target , target metric , scalar coupling , mass constant on , and potential on the field range. The scalar time profile is and its homogeneous spacetime field is .
Take flat, expanding FLRW model data with on a common nonempty open time interval : is a connected smooth three-manifold with flat Riemannian metric , each , , , and the comoving future-directed unit field is . Write . The scalar comoving density and pressure are and .
A pre-decay radiation component means smooth homogeneous profiles , pulled back to by , , with and . It is a perfect fluid carried by , with stress tensor . The scalar and this fluid are the only pre-decay sources, and is their total comoving density.
Let be a nondegenerate compact interval. Use the centered uniform average of width from the averaged-dust result: when . Assume the full smoothness, homogeneous-equation, pointwise adiabatic, total-variation, and window-limit hypotheses of . In particular, for a fixed admissible reference center with positive averaged density, that result gives uniformly over admissible centers. Choose fixed times in , independent of , with and for all sufficiently large .
Set , , and , with . Between and , assume exact separate radiation conservation, , with no energy exchange between the components. Define and suppose . Define the averaged-density diagnostic , using the prescribed smooth pre-decay family on the full centered window ; this is only a pre-decay branch diagnostic, not post-decay scalar data. The averaged-dust result and radiation conservation give , hence . Define averaged modulus domination at by and averaged subdominance by . Thus implies eventual averaged modulus domination and eventual averaged subdominance; if , the limit gives no exact sign conclusion.
At , impose the total-source sudden-decay prescription: and all pre-decay energy is instantaneously matched to an ideal thermal radiation bath with density . Let be the reduced Planck mass, , and take for every . A reheating temperature satisfies . For this globally constant- model the matching equation has a unique positive solution. For a declared model requirement , the equivalent condition is . Here is a model requirement, not a reported BBN threshold. The example gives no universal modulus mass or lifetime, decay-width law, branching ratio, dark-radiation abundance, or exclusion of string compactifications; its density comparison is averaged and leading-order only.
Example references
Facts & Assumptions
Given: A controlled family of averaged quadratic moduli with the same compact interval , fixed times whose windows are admissible and have positive averaged density, a separately conserved radiation component with positive density, , a strictly expanding scale factor, complete sudden decay into radiation, a globally constant for every , and a model-specified threshold .
A quadratic modulus has leading averaged dust behavior: on its prescribed background with metric , under its joint adiabatic, total-variation and centered-window hypotheses, for fixed admissible reference center with positive average and admissible , ; this is a leading-limit result and supplies no finite-parameter dilution error bound.
Reheating temperature in a sudden-decay modulus model: with the smooth scalar-plus-radiation sources and comoving perfect-fluid datum just specified, its actual proof derives from the flat-FLRW Einstein component and, for any positive temperature satisfying total-energy matching, derives the stated formula. Its Statement does not assert existence for a temperature-dependent ; the constant- root is established locally below.
Between the fixed times and , radiation satisfies exactly, while the averaged modulus dilution is only the leading limit supplied by [F1]; the scale factor is strictly increasing and no energy exchange between the components occurs.
At the fixed , the sudden-decay assumptions of [F2] apply for each , with , for every , and a model requirement rather than a reported measurement.
Verification
To apply [F1] for the stated general , construct an auxiliary spacetime with prescribed metric and homogeneous scalar , using exactly the given time functions, masses and widths. The assumed scalar ODE, smoothness, expansion, all joint pointwise, total-variation and window limits, and the selected admissible positive-density windows hold unchanged on this auxiliary background. Its density and pressure profiles are exactly and by their defining formulas, so its centered averages equal those on . Thus [F1] applies on and yields for the original profiles as well; no Einstein equation on is needed. Define . By [A1], . The densities used as denominators are positive, so division gives .
By [F2] and [A2], the matching equation reduces to . Both coefficient and right-hand side are positive. Therefore this equation has the unique positive root , so the constant- reheating temperature exists and is unique.
If , step 1.1 gives . By the definitions in the Statement, implies eventual averaged modulus domination and implies eventual averaged subdominance; when , this leading limit gives no exact sign conclusion.
By step 1.2, . Since , is equivalent to raising both sides to the fourth power; rearranging with gives exactly . Conversely, reversing these positive operations recovers the temperature inequality. This threshold equivalence is exact in the globally constant- model.
Remarks
The calculation uses no decay-width formula such as ; such a coefficient is channel- and model-dependent. A numerical BBN, baryogenesis, dark-radiation or gravitino constraint would require its own sourced temperature threshold, decay products and thermal-history assumptions. This example only shows how specified requirements propagate through the two conditional A-page results.