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.
Finite rest-fiber algebra with zero central charge and strict bound
A finite-dimensional N=2 rest-frame supercharge-algebra module in natural units; it demonstrates a strict central-charge bound only and is not a full Poincare representation, a constructed QFT, or evidence for a physical particle.
Example
Let and let with orthonormal basis indexed by subsets and grading . For define when and when . Let be the actual Hilbert adjoint. For put and set , with . Take and . On , these operators satisfy the massive rest-frame supercharge relations with and . Since , the central-charge bound is strict in these rest-frame algebra data, so the mass/central-charge equality condition for BPS saturation is not met. This finite module is a representation of the rest-frame supercharge algebra only; it is not asserted to extend to a full Poincare representation or a physical particle.
Example references
Facts & Assumptions
Given: The -dimensional graded Hilbert space, the four contraction operators and their actual adjoints, , , and .
Assume , inherited from the selected representation and BPS-bound interface (The Axiom of Countable Choice ()): every sequence of nonempty sets has a choice function.
BPS state and central-charge saturation: a nonzero vector in a massive rest fiber is BPS-saturated exactly when ; this algebraic criterion does not assert state existence or stability.
Four-dimensional real extended super-Poincare algebra: , , , , and .
Verification
Given: [A1], [F1], [F2], and the operators in the Example.
For the displayed subset-basis action, removing two distinct labels in opposite orders gives opposite signs, while removing the same label twice gives zero; hence . For , inserting and removing in opposite orders also gives opposite signs. For , if then and , while if the two terms reverse roles. Thus on every basis vector; taking adjoints gives .
Scaling by gives and all same-chirality anticommutators zero. These are exactly the rest-frame relations in [F2] with and .
Since , its operator norm is . By [F1], the mass/central-charge equality condition is , which fails for these rest-frame algebra data. This conclusion concerns only the finite module and does not assert that it is a BPS sector of a full Poincare representation.
The verification concerns only a finite rest-frame module and uses no choice from a family; [A1] is retained as the inherited interface assumption of the BPS definition. The data supply no Lorentz action, full unitary Poincare representation, or physical particle, so the example makes no claim about the spectrum of any QFT.