Alphabeta MathHow 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.
Freed–Witten and Type I Scope Boundary
Source-backed boundary between the oriented Type II D-brane anomaly setup and the separate Type I orientation-reversal projection. It makes no Type I anomaly-cancellation claim.
Remark
Freed and Witten formulate their D-brane anomaly analysis for oriented Type II worldsheets and explicitly exclude orientifolds and Type I strings. Their condition therefore supplies no Type I -projection rule or Type I tadpole calculation. Gimon and Polchinski analyze the latter projection and its consistency conditions as a separate unoriented-string problem. The two source scopes must remain distinct: the oriented Type II anomaly result cannot be extended to Type I by analogy, and the Type I O9/D9 tadpole result does not prove the Type II Freed–Witten condition. This remark makes no claim that Type I has no additional anomaly conditions.
Dependency tree · 0 levels
Nothing. This result depends on no other item in the library.