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.
Bosonic Matter Oscillator Modes
Algebraic quantization conventions for the flat tensile bosonic open and closed strings at fixed momentum on finite-particle Fock domains; no positivity or measure-existence assertion.
Definition
Use units . For target dimension , a fixed target momentum is a contravariant vector , with and dimension . The parameter has dimension . Thus the zero modes and oscillator modes below are dimensionless.
For fixed , take the algebraic open-string matter Fock space generated by , , from , with , adjoint , and normal ordering relative to for . Set for open strings. For closed strings use two independent commuting left/right oscillator families: , , , , and . On the finite-particle domain define and the independent tilde copy for closed strings; the dot is contraction by , and each sum acts finitely on each state.
Define the weighted matter levels on the algebraic Fock domains by and, for closed strings, . These sums act finitely on every finite-particle vector. The oscillator commutators give and , so a monomial has level ; the right-moving closed level is defined in the same way. The per-mode occupation number is (and its tilde copy); its unweighted sum counts quanta and is not the level. In a transverse sector, the dot in these level formulas is the Euclidean contraction over transverse indices.
Definition references
David Tong, Lectures on String Theory, arXiv:0908.0333v3, full 218-page lecture notes, §§1.4–1.4.1 and 2.1–2.3.3 (PDF file pp.32–34 and 35–52; printed pp.25–27 and 28–45); printed pp.25–27 and 28–45); printed pp.25–27 and 28–45); printed pp.25–27 and 28–45); printed pp.25–27 and 28–45); printed pp.25–27 and 28–45); printed pp.25–27 and 28–45); open/closed oscillator conventions.
Remarks
Flat Bosonic String Model fixes the target as flat Minkowski space with signature and excludes background fields and interactions. String Tension Alpha Prime fixes , , and . Canonical Phase Space Constraints gives only the classical constraint normalization used as formulation context. The oscillator commutators, Fock representation, adjoints, and normal ordering above are adopted algebraic quantization data; they are not consequences of that classical theorem. Open and closed zero-mode factors are kept distinct throughout.