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.
Exact chiral Majorana field with central charge one half
Example
Let be the algebraic exterior algebra on finitely supported half-integer mode labels, with vacuum . For , let act by exterior multiplication by , and let act by contraction with , so Define by and zero on every positive exterior-degree basis vector. The real one-species CAR field is , and its formal vacuum contraction is . Fix the source's complex Euclidean normalization ; then its radial contraction is for . This phase convention does not assert that itself is self-adjoint.
Define fermionic normal ordering by moving all creation modes , , to the left of all annihilation modes , , with a factor for every interchange of two odd modes. Set Every fixed Laurent coefficient of is a finite sum on ; the OPE below is a formal radially ordered expansion, not an analytic convergence claim.
Facts & Assumptions
Given: The half-integer CAR representation on , its vacuum, the phase choice , the normal-ordering rule, and .
Radial quantization of a plane CFT: radial products are expanded with the larger-radius field to the left.
Holomorphic stress-tensor data in a plane CFT: the stress OPE convention is , and -primary weight is the coefficient of the double pole in .
The finite-particle CAR representation, its vacuum, the mode expansion, and the phase are the adopted algebraic model data stated in the Example.
Fermionic normal ordering moves creation modes left of annihilation modes, with a sign for each interchange of two odd modes. The single- and double-contraction signs used below are derived from this rule and the CAR in steps 1.2 and 2.1.
Verification
Given: [F1]–[F2], [A1]–[A2], and the explicitly defined finite-particle CAR domain.
For , , while every other mode pairing has zero vacuum coefficient. Therefore, in , The phase gives the required negative contraction. Differentiation yields
In , contracting the first odd factor across the second gives a minus sign, while the second factor is already adjacent and gives a plus sign. Thus the two single contractions of are
Expanding and gives
Thus the formal stress OPE has the primary-field singular form with coefficient . This identifies the Virasoro weight in the declared stress-OPE convention; this algebraic calculation does not establish the finite passive-coordinate covariance defined by def-cft-2d-primary-field.
For , write , , , and . Move the annihilation modes to the right using [A2]. The possible single pairings AC, AD, BC, BD cross respectively 1, 2, 0, 1 odd factors, so their signs are ; the two double pairings AC·BD and AD·BC have odd and even crossing parity, so their signs are . These exhaust the pairings of the four odd factors, with the uncontracted fully normal-ordered term regular at . The double pairings therefore equal Multiplication by the two stress prefactors gives the central term . The single contractions are Using fermionic antisymmetry and the Taylor expansions the pole terms combine to ; the first single-contraction term has no pole because . Therefore Comparison with [F2] yields , hence .
For fixed integer mode index , the coefficient of is . Terms with both indices negative have only finitely many solutions; terms with both positive also have only finitely many solutions. In a mixed-sign term, the positive-index annihilation operator can act nontrivially on a fixed exterior basis vector only when its label belongs to that vector's finite occupied set, leaving finitely many terms. Hence each stress mode is defined on all of . The finite-particle mode sums establish the formal OPE and its two boundary coefficients , on the specified domain. No conclusion about a full nonchiral theory, a spin-structure sum, analytic convergence, or a physical path integral follows.