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.
String Tension Alpha Prime
Units and tension convention for the flat tensile bosonic-string model in the declared dimensionless worldsheet coordinates.
Definition
Use units . Adopt a primitive scalar parameter of dimension length squared, and define the string length and the string tension , of dimension energy per length, or in these units. Operationally, is the positive coefficient of the induced worldsheet area in the Nambu–Goto action functional: for the induced metric of the nondegenerate Lorentzian configuration branch, set
Here is any compact worldsheet region with smooth boundary and the square root is positive. Equivalently, the Polyakov normalization names as the coefficient of in its action density. These formulas fix coefficient conventions; adopting stationarity as dynamics is a separate physical postulate. Worldsheet coordinates are dimensionless and has length dimension, so both action functionals are dimensionless. This convention is fixed for the flat tensile bosonic string; it does not define the string coupling or a spacetime Planck scale.