Alphabeta Math
RemarkRemark: AI-adaptedProof: Not applicablePipeline-generatedjudge 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.

Tensile Bosonic Scope And Frontiers

Physical scope

Scope limits of this flat tensile bosonic-string pair; neighboring worldsheet models are not treated as logical consequences.

Remark

The D=26, a=1 spectrum and no-ghost claims in this lane concern the standard tensile flat bosonic string. Noncritical/Liouville strings, curved-target sigma models, tensionless or Carrollian strings, ambitwistor strings, and worldsheet-emergence constructions use distinct action or constraint systems and are not logical consequences of this flat tensile model.

Remark references

David Tong, Lectures on String Theory, arXiv:0908.0333v3, full 218-page lecture notes, §§2.2–2.4 and 5.1–5.4.3 (PDF file pp.39–54 and 115–131; printed pp.32–47 and 108–124); printed pp.32–47 and 108–124); printed pp.32–47 and 108–124); printed pp.32–47 and 108–124); printed pp.32–47 and 108–124); printed pp.32–47 and 108–124); printed pp.32–48 and 108–124); this source fixes the flat tensile scope and labels the path-integral and BRST limits.

This pair is confined to the free flat tensile Polyakov string with a nondegenerate Lorentzian worldsheet, the standard open/closed oscillator conventions, and the exact source-reading limits recorded in this batch. Its critical-dimension and spectrum claims do not automatically transfer to noncritical/Liouville completions, tensionless or Carrollian strings, ambitwistor models, curved-target sigma models, or other worldsheet gauge complexes. Those cases change model or constraint data and require their own assumptions and arguments. The R1 2026 discovery scan inspected titles and abstracts only; it did not read those papers' technical proofs and supplies no theorem about them.

Dependency tree · 0 levels

Nothing. This result depends on no other item in the library.

Sources