Alphabeta Math
ExampleConstruction: AI-adaptedVerification: AI-generatedPipeline-generatedprecheck passjudge pass (gpt-6-luna)verified 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.

Pre-big-bang dilaton-driven cosmology proposal

Physical scope

Conditional homogeneous string-frame reduced dilaton-gravity branch on a toroidal background. It derives the branch and its scale-factor-dual partner from the stated reduced action; it asserts no controlled high-curvature transition, bounce, global compactification, or observation.

Example

In string units ℓs=α′=1, use the homogeneous string-frame cosmic-time metric dsstr2=−dt2+∑iai(t)2(dxi)2, with dimensionless t,xi and radii ai>0. Define scale-factor duality by (ai,φ)↦(ai−1,φ−2∑ilog⁡ai) and the string coupling by gstring=eφ/2. For an isotropic branch let tphys=ℓst and Hphys:=ℓs−1a˙/a; acceleration means d2a/dtphys2>0, and deceleration means d2a/dtphys2<0. In cosmic gauge N=1, the comoving observer is u=e0^=ℓs−1∂t=∂tphys, with worldlines at fixed torus coordinates, and the spatial orthonormal fields are ei^=(ℓsai)−1∂xi. Thus gstr(ea^,eb^)=diag⁡(−1,1,…,1)ab. Use R(X,Y)Z=∇X∇YZ−∇Y∇XZ−∇[X,Y]Z for the metric connection and Ra^b^c^d^:=gstr(ea^,R(ec^,ed^)eb^). The specified comoving orthonormal curvature diagnostic is Kstr:=∣dHphys/dtphys+Hphys2∣. The isotropic solution of the adopted tree-level, two-derivative model has an expanding accelerated pre-big-bang branch, but as t→0− it reaches gstring→∞ and α′Kstr→∞; its scale-factor-dual, time-reversed partner is a(t)=t1/d for t>0, which is decelerating for d>1 and coasting for d=1. A transition to the post-big-bang hot phase is an additional prescription, and the reduced equations do not establish a nonsingular controlled transition.

Take d≥1 and a flat torus with dimensionless coordinates xi of period 2π. Let ℓs=α′ be the string length, α′ have units of length squared, and use the dimensionless string-unit time t=tphys/ℓs and dimensionless radii ai=Ri/ℓs. On the interval I=(−∞,0), the functions ai,Φ,N are smooth and N>0; increasing t fixes the future direction. The string-frame line element is

dsstr2=ℓs2(−N(t)2dt2+∑i=1dai(t)2(dxi)2),t∈(−∞,0),N(t)>0.

Thus ai, λi:=log⁡ai, the lapse N, the dilaton φ:=2Φ, and t are dimensionless numerical variables in string units; physical radii are ℓsai, physical proper time is ℓst after setting N=1, and gstring:=eΦ=eφ/2 is dimensionless. The metric gstr is the metric carrying the tree-level dilaton prefactor in the adopted action. Here “tree-level” means no string-loop terms are retained, and “two-derivative” means the reduced action contains no terms with more than two time derivatives. A dot in the reduced action means derivative with respect to dimensionless t, and Hphys=ℓs−1a˙/a for the isotropic branch. Write the shifted dilaton as φˉ=φ−∑i=1dλi. In this example the adopted homogeneous, tree-level, two-derivative model is the lapse action in [A1], with its overall positive normalization set to one in string units; it is a reduced model input, not a derivation of a globally consistent string compactification. Its isotropic pre-big-bang branch expands from the regime α′Kstr≪1, gstring≪1 as t→−∞ toward a strong-coupling, high-curvature boundary at t→0−. The branch is related by scale-factor duality followed by time reversal to an expanding branch for t>0, decelerating for d>1 and coasting for d=1. The transition to the hot post-big-bang phase and its perturbation-transfer rule are recorded as missing; no bounce is inferred.

Facts & Assumptions

[F1]

Alternative string-cosmology model data: A datum specifies a metric frame, action and fields, background branch, initial and boundary data, sources and transitions, perturbation variables and transfer, correction-control conditions, and observable outputs; absent transition or transfer data are recorded as missing.

[A1]

Adopt the homogeneous toroidal reduced string-frame action Sred=∫dt N−1e−φˉ(∑i=1dλ˙i2−φˉ˙ 2), where N(t)>0 is the lapse and dots denote d/dt. Vary N, φˉ, and every λi before setting N=1. There is no matter, flux, or potential in this reduced branch. The reduction is the chosen low-energy model input.

Verification

Given: d≥1 and the reduced model [A1] on the open branch interval t<0, with future direction increasing t.

1.1givenA1algebra

Variation of [A1] with respect to N gives φˉ˙ 2=∑iλ˙i2. After fixing N=1, variation with respect to λi gives ddt(e−φˉλ˙i)=0, and variation with respect to φˉ gives 2φˉ¨−φˉ˙ 2−∑iλ˙i2=0. Combining the lapse constraint with the last equation yields φˉ¨=∑iλ˙i2.

2.1A1step 1.1algebra

Set τ=−t>0, λi(t)=−d−1/2log⁡τ, and φˉ(t)=−log⁡τ+φˉ0. Then λ˙i=(d τ)−1 and φˉ˙=τ−1, so the lapse constraint holds. Also λ¨i=φˉ˙λ˙i and φˉ¨=τ−2=∑iλ˙i2, so every reduced Euler-Lagrange equation from step 1.1 holds.

3.1F1step 2.1algebra

The isotropic scale factor is a=eλi=τ−1/d, and the dilaton is φ=φˉ+∑iλi=−(1+d)log⁡τ+φ0. Hence Hphys=1/(d ℓsτ)>0 and dHphys/dtphys=1/(d ℓs2τ2)>0. Consequently a−1d2a/dtphys2=dHphys/dtphys+Hphys2>0: the branch expands and accelerates in string-frame proper time as t increases.

3.2A1step 1.1step 2.1algebra

Scale-factor duality acts by λi↦−λi and φ↦φ−2∑iλi. It leaves φˉ unchanged and reverses every λ˙i, so the action [A1] and equations in step 1.1 are invariant. Applied to step 2.1 and then time-reversed, it gives t>0, a=t1/d, and φ=(d−1)log⁡t+constant. Writing q=1/d, this branch has Hphys=q/tphys>0 and a−1d2a/dtphys2=q(q−1)/tphys2; it is therefore decelerating for d>1 and coasting with zero acceleration for d=1.

4.1F1step 3.1algebra∎

Put b=ℓsa and use coordinates (tphys,xi) in cosmic gauge. The metric connection has Γ0ii=b2Hphys and Γi0i=Γii0=Hphys (no sum); all other coefficients vanish. The stated curvature convention gives R0i0i=∂tphys(b2Hphys)−b2Hphys2=b2(dHphys/dtphys+Hphys2). Lowering the time index and inserting the orthonormal fields gives R0^i^0^i^=−(dHphys/dtphys+Hphys2) for every i. Its magnitude is Kstr=∣dHphys/dtphys+Hphys2∣=(1/d+1/d)/(ℓs2τ2). Since α′=ℓs2, α′Kstr=(1/d+1/d)/τ2→∞ as τ→0+. Also gstring=eφ/2∝τ−(1+d)/2→∞. Hence the displayed two-derivative, weak-coupling branch exits the regime α′Kstr≪1, gstring≪1 at its singular boundary. This calculation supplies neither a nonsingular transition nor perturbation transfer to a post-big-bang phase.

Depends on

Dependency tree · 2 levels

Sources