Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedverified 2026-11-05 (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.

Bosonic Matter Oscillator Modes

Physical scope

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 ℏ=c=1. For target dimension D≥3, a fixed target momentum is a contravariant vector p=(pμ)∈R1,D−1, with pμ=ημνpν and dimension L−1. The parameter α′>0 has dimension L2. Thus the zero modes and oscillator modes below are dimensionless.

For fixed p, take the algebraic open-string matter Fock space generated by α−nμ, n>0, from ∣0;p⟩, with [αmμ,αnν]=mημνδm+n,0, adjoint (αnμ)†=α−nμ, and normal ordering relative to αn∣0;p⟩=0 for n>0. Set α0μ=2α′ pμ for open strings. For closed strings use two independent commuting left/right oscillator families: [αmμ,αnν]=mημνδm+n,0, [α~mμ,α~nν]=mημνδm+n,0, [αmμ,α~nν]=0, (α~nμ)†=α~−nμ, and α0μ=α~0μ=α′/2 pμ. On the finite-particle domain define Lnm=12∑k:αn−k⋅αk: 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 Nlev=∑n>0α−n⋅αn and, for closed strings, N~lev=∑n>0α~−n⋅α~n. These sums act finitely on every finite-particle vector. The oscillator commutators give [Nlev,α−nμ]=nα−nμ and Nlev∣0;p⟩=0, so a monomial α−n1μ1⋯α−nrμr∣0;p⟩ has level n1+⋯+nr; the right-moving closed level is defined in the same way. The per-mode occupation number is n−1α−n⋅αn (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 α′>0, [α′]=L2, and T=(2πα′)−1. 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.

Depends on

Dependency tree · 2 levels

Sources