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.
Type I O9-D9 RR Tadpole Amplitude Data
Source-reported transverse-channel one-loop RR residue data and zero-tadpole consistency condition for the flat ten-dimensional O9-minus Type I model. The item supplies amplitude inputs; it does not solve for N or assert a general orientifold formula.
Postulate
Use the flat ten-dimensional Type I O9-minus/D9 model defined earlier. Let be the number of space-filling D9-branes. To specify the one-loop worldsheets, take the unit square : the annulus is the quotient identifying and leaving the horizontal edges as its two boundary components; the Möbius strip identifies , so the horizontal edges form one boundary component; the Klein bottle makes both identifications and , and has no boundary. These are the compact quotient surfaces used for the Klein-bottle, annulus, and Möbius-strip amplitudes.
In the common transverse-channel normalization of Angelantonj–Sagnotti, each amplitude is written as closed-string propagation with modulus . Define its massless RR residue to be the coefficient of the common massless Ramond–Ramond propagation factor after factoring out the shared transverse-channel integration and character normalization. In this normalization, the residues are Here is the Möbius-strip Chan–Paton sign and is for the negative-charge O9-minus projection. The adopted perturbative consistency condition is vanishing of the total massless RR residue . These are source-reported one-loop amplitude and consistency inputs; no numerical solution for , compactification, or general O-plane charge formula is included here.