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.
RR Electric Magnetic Dirac Pairing Convention
Adopted minimal Dirac quantization condition for electric and magnetic charges of a mutually dual RR field in the stated source normalization; excludes a global flux-quantization derivation and separately flags the self-dual D3 field.
Postulate
For a mutually electric/magnetic RR pair associated with a Dp and D, , , write the independent field-strength kinetic term as , where is its kinetic normalization. The adopted massless Type IIA and Type IIB bulk actions give for the independent RR forms; the same normalization is used for their dual fields. In the source normalization of Type II Dp Brane DBI WZ Action, set the electric and magnetic charge units to and . Adopt the Dirac lattice Thus the dimensionless source-normalized Dp pairing is ; a pair with product is the minimal nonzero Dirac unit. This is a quantization postulate, not a consequence of local supergravity Bianchi identities alone. It does not derive global RR flux quantization. The Type IIB self-dual five-form case at requires a separate treatment and is not inferred from this convention.