Alphabeta Math
ExampleConstruction: AI-generatedVerification: AI-generatedPipeline-generatedprecheck passverified 2026-11-04 (gpt-6.1-sol)
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

Physical scope

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 ℏ=c=kB=1. Let J⊆R be a nonempty open time interval. In the inherited FLRW convention, t and an have length dimension, spatial coordinates and γ are dimensionless, [φn]=[mn]=mass, [ρϕ,n]=[ρr,n]=[pr,n]=mass4, and [Γn]=[MP]=[T]=mass; g0 is dimensionless. A modulus mode here is the label for one retained real scalar coordinate φn:J→R, locally canonical near a quadratic minimum; the label is compactification-motivated, but no particular compactification is assumed. For each n, take target R, target metric G11=1, scalar coupling K=1, mass mn>0 constant on I, and potential Vn(φ)=mn2φ2/2 on the field range. The scalar time profile is φn∈C∞(J,R) and its homogeneous spacetime field is Φn(t,x)=φn(t).

Take flat, expanding FLRW model data with c=1 on a common nonempty open time interval J: Σ is a connected smooth three-manifold with flat Riemannian metric γ, each an∈C∞(J,(0,∞)), Mn=J×Σ, gn=−dt2+an(t)2γ, and the comoving future-directed unit field is nn=∂t. Write Hn=a˙n/an. The scalar comoving density and pressure are ρϕ,n=(φ˙n2+mn2φn2)/2 and pϕ,n=(φ˙n2−mn2φn2)/2.

A pre-decay radiation component means smooth homogeneous profiles ρ~r,n,p~r,n∈C∞(J,R), pulled back to Mn by πJ:Mn→J, πJ(t,x)=t, with ρr,n>0 and pr,n=ρr,n/3. It is a perfect fluid carried by nn, with stress tensor Tr,nab=(ρr,n+pr,n)nnannb+pr,ngnab. The scalar and this fluid are the only pre-decay sources, and ρtot,n=ρϕ,n+ρr,n is their total comoving density.

Let I⊂J be a nondegenerate compact interval. Use the centered uniform average of width Δn>0 from the averaged-dust result: Qˉn(t)=Δn−1∫t−Δn/2t+Δn/2Qn(s) ds when Wn(t)=[t−Δn/2,t+Δn/2]⊆I. Assume the full smoothness, homogeneous-equation, pointwise adiabatic, total-variation, and window-limit hypotheses of pthm-r5-quadratic-modulus-averaged-dust. In particular, for a fixed admissible reference center with positive averaged density, that result gives an(t)3ρˉϕ,n(t)/(an(t0)3ρˉϕ,n(t0))→1 uniformly over admissible centers. Choose fixed times ti<td in I, independent of n, with Wn(ti),Wn(td)⊆I and ρˉϕ,n(ti),ρˉϕ,n(td)>0 for all sufficiently large n.

Set ai,n=an(ti), ad,n=an(td), and ri,n=ρˉϕ,n(ti)/ρr,n(ti), with 0<ri,n<1. Between ti and td, assume exact separate radiation conservation, ρr,n(t)an(t)4=ρr,n(ti)ai,n4, with no energy exchange between the components. Define qn=ri,nad,n/ai,n and suppose qn→q∈[0,∞). Define the averaged-density diagnostic rn(td−)=ρˉϕ,n(td)/ρr,n(td), using the prescribed smooth pre-decay family on the full centered window Wn(td); this is only a pre-decay branch diagnostic, not post-decay scalar data. The averaged-dust result and radiation conservation give rn(td−)=qn(1+o(1)), hence rn(td−)→q. Define averaged modulus domination at td− by rn(td−)>1 and averaged subdominance by rn(td−)<1. Thus q>1 implies eventual averaged modulus domination and q<1 eventual averaged subdominance; if q=1, the limit gives no exact sign conclusion.

At td, impose the total-source sudden-decay prescription: Hn(td−)=Γn>0 and all pre-decay energy is instantaneously matched to an ideal thermal radiation bath with density ρrad(T)=π2g∗(T)T4/30. Let MP>0 be the reduced Planck mass, MP2=(8πGN)−1, and take g∗(T)=g0>0 for every T>0. A reheating temperature TRH,n>0 satisfies π2g∗(TRH,n)TRH,n4/30=ρtot,n(td−). For this globally constant-g0 model the matching equation has a unique positive solution. For a declared model requirement TRH,n≥Tmin⁡>0, the equivalent condition is Γn≥(π2g0/90)1/2Tmin⁡2/MP. Here Tmin⁡ 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.

Facts & Assumptions

Given: A controlled family of averaged quadratic moduli with the same compact interval I, fixed times ti<td whose windows are admissible and have positive averaged density, a separately conserved radiation component with positive density, 0<ri,n<1, a strictly expanding scale factor, complete sudden decay into radiation, a globally constant g∗(T)=g0>0 for every T>0, and a model-specified threshold Tmin⁡>0.

[F1]

A quadratic modulus has leading averaged dust behavior: on its prescribed background J×R3 with metric −dt2+an(t)2δijdxidxj, under its joint adiabatic, total-variation and centered-window hypotheses, for fixed admissible reference center ti with positive average and admissible td, an(td)3ρˉϕ,n(td)/(an(ti)3ρˉϕ,n(ti))→1; this is a leading-limit result and supplies no finite-parameter dilution error bound.

[F2]

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 ρtot(td−)=3MP2Γn2 from the flat-FLRW 00 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 g∗; the constant-g0 root is established locally below.

[A1]

Between the fixed times ti and td, radiation satisfies ρr,n(t)an(t)4=ρr,n(ti)ai,n4 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.

[A2]

At the fixed td, the sudden-decay assumptions of [F2] apply for each n, with Hn(td−)=Γn>0, g∗(T)=g0>0 for every T>0, and TRH,n≥Tmin⁡ a model requirement rather than a reported measurement.

Verification

1.1givenF1A1algebra

To apply [F1] for the stated general Σ, construct an auxiliary spacetime M^=J×R3 with prescribed metric g^n=−dt2+an(t)2δijdxidxj and homogeneous scalar Φ^n(t,x)=φn(t), 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 ρϕ,n and pϕ,n by their defining formulas, so its centered averages equal those on J×Σ. Thus [F1] applies on M^ and yields ρˉϕ,n(td)=ρˉϕ,n(ti)(ai,n/ad,n)3(1+o(1)) for the original profiles as well; no Einstein equation on M^ is needed. Define rn(t):=ρˉϕ,n(t)/ρr,n(t). By [A1], ρr,n(td)=ρr,n(ti)(ai,n/ad,n)4. The densities used as denominators are positive, so division gives rn(td−)=qn(1+o(1)).

1.2F2A2algebra

By [F2] and [A2], the matching equation reduces to π2g030T4=3MP2Γn2. Both coefficient and right-hand side are positive. Therefore this equation has the unique positive root T∗,n=(90MP2Γn2/(π2g0))1/4=(90/(π2g0))1/4ΓnMP, so the constant-g0 reheating temperature exists and is unique.

2.1step 1.1A1algebra

If qn→q, step 1.1 gives rn(td−)→q. By the definitions in the Statement, q>1 implies eventual averaged modulus domination and q<1 implies eventual averaged subdominance; when q=1, this leading limit gives no exact sign conclusion.

3.1A2step 1.2algebra∎

By step 1.2, TRH,n=(90/(π2g0))1/4ΓnMP>0. Since Tmin⁡>0, TRH,n≥Tmin⁡ is equivalent to raising both sides to the fourth power; rearranging with MP,g0>0 gives exactly Γn≥(π2g0/90)1/2Tmin⁡2/MP. Conversely, reversing these positive operations recovers the temperature inequality. This threshold equivalence is exact in the globally constant-g0 model.

Remarks

The calculation uses no decay-width formula such as Γ∝m3/MP2; 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.

Depends on

Dependency tree · 2 levels

Sources