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
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 , use the homogeneous string-frame cosmic-time metric , with dimensionless and radii . Define scale-factor duality by and the string coupling by . For an isotropic branch let and ; acceleration means , and deceleration means . In cosmic gauge , the comoving observer is , with worldlines at fixed torus coordinates, and the spatial orthonormal fields are . Thus . Use for the metric connection and . The specified comoving orthonormal curvature diagnostic is . The isotropic solution of the adopted tree-level, two-derivative model has an expanding accelerated pre-big-bang branch, but as it reaches and ; its scale-factor-dual, time-reversed partner is for , which is decelerating for and coasting for . 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 and a flat torus with dimensionless coordinates of period . Let be the string length, have units of length squared, and use the dimensionless string-unit time and dimensionless radii . On the interval , the functions are smooth and ; increasing fixes the future direction. The string-frame line element is
Thus , , the lapse , the dilaton , and are dimensionless numerical variables in string units; physical radii are , physical proper time is after setting , and is dimensionless. The metric 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 , and for the isotropic branch. Write the shifted dilaton as . 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 , as toward a strong-coupling, high-curvature boundary at . The branch is related by scale-factor duality followed by time reversal to an expanding branch for , decelerating for and coasting for . The transition to the hot post-big-bang phase and its perturbation-transfer rule are recorded as missing; no bounce is inferred.
Example references
Facts & Assumptions
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.
Adopt the homogeneous toroidal reduced string-frame action , where is the lapse and dots denote . Vary , , and every before setting . There is no matter, flux, or potential in this reduced branch. The reduction is the chosen low-energy model input.
Verification
Given: and the reduced model [A1] on the open branch interval , with future direction increasing .
Variation of [A1] with respect to gives . After fixing , variation with respect to gives , and variation with respect to gives . Combining the lapse constraint with the last equation yields .
Set , , and . Then and , so the lapse constraint holds. Also and , so every reduced Euler-Lagrange equation from step 1.1 holds.
The isotropic scale factor is , and the dilaton is . Hence and . Consequently : the branch expands and accelerates in string-frame proper time as increases.
Scale-factor duality acts by and . It leaves unchanged and reverses every , so the action [A1] and equations in step 1.1 are invariant. Applied to step 2.1 and then time-reversed, it gives , , and . Writing , this branch has and ; it is therefore decelerating for and coasting with zero acceleration for .
Put and use coordinates in cosmic gauge. The metric connection has and (no sum); all other coefficients vanish. The stated curvature convention gives . Lowering the time index and inserting the orthonormal fields gives for every . Its magnitude is . Since , as . Also . Hence the displayed two-derivative, weak-coupling branch exits the regime , at its singular boundary. This calculation supplies neither a nonsingular transition nor perturbation transfer to a post-big-bang phase.