Alphabeta Math
PostulateStatement: Literature-sourcedProof: Not applicablePipeline-generatedprecheck passjudge pass (gpt-6-luna)‡ sources checked 2026-11-04
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

Physical scope

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 N∈Z≥0 be the number of space-filling D9-branes. To specify the one-loop worldsheets, take the unit square S=[0,1]2: the annulus is the quotient identifying (0,y)∼(1,y) and leaving the horizontal edges as its two boundary components; the Möbius strip identifies (0,y)∼(1,1−y), so the horizontal edges form one boundary component; the Klein bottle makes both identifications (0,y)∼(1,y) and (x,0)∼(1−x,1), 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 ℓ>0. 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 rK=16,rA=N264,rM=ϵN,ϵ∈{+1,−1}. Here ϵ is the Möbius-strip Chan–Paton sign and is −1 for the negative-charge O9-minus projection. The adopted perturbative consistency condition is vanishing of the total massless RR residue rK+rA+rM. These are source-reported one-loop amplitude and consistency inputs; no numerical solution for N, compactification, or general O-plane charge formula is included here.

Depends on

Dependency tree · 2 levels

Sources