Alphabeta Math
ExampleConstruction: AI-generatedVerification: AI-generatedPipeline-generatedprecheck passjudge pass (gpt-6-luna)
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 N=2 rest-fiber algebra with zero central charge and strict bound

Physical scope

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 M>0 and let K=ΛC4 with orthonormal basis ∣S⟩ indexed by subsets S⊆{1,2,3,4} and grading (−1)∣S∣. For j∈{1,2,3,4} define cj∣S⟩=0 when j∉S and cj∣S⟩=(−1)∣{s∈S:s<j}∣∣S∖{j}⟩ when j∈S. Let cj† be the actual Hilbert adjoint. For I,α∈{1,2} put j=2(I−1)+α and set QαI=2M cj, with Qˉα˙I=(QαI)†. Take Pμ=(M,0,0,0) and ZIJ=0. On D=K, these operators satisfy the massive N=2 rest-frame supercharge relations with η=diag⁡(−1,1,1,1) and ϵ12=1. Since ∥Z∥op=0<M, 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.

Facts & Assumptions

Given: The 16-dimensional graded Hilbert space, the four contraction operators and their actual adjoints, M>0, Pμ=(M,0,0,0), and ZIJ=0.

[A1]

Assume ACω, inherited from the selected representation and BPS-bound interface (The Axiom of Countable Choice (ACω)): every sequence of nonempty sets has a choice function.

[F1]

BPS state and central-charge saturation: a nonzero vector in a massive N=2 rest fiber is BPS-saturated exactly when M=∣z∣; this algebraic criterion does not assert state existence or stability.

[F2]

Four-dimensional real extended super-Poincare algebra: η=diag⁡(−1,1,1,1), ϵ12=1, Qˉ=(Q)†, {QαI,Qˉβ˙J}=−2σαβ˙μPμδIJ, and {QαI,QβJ}=2ϵαβZIJ.

Verification

technique · direct

Given: [A1], [F1], [F2], and the operators in the Example.

1.1givenalgebra

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 {cj,ck}=0. For j≠k, inserting k and removing j in opposite orders also gives opposite signs. For j=k, if j∉S then cjcj†∣S⟩=∣S⟩ and cj†cj∣S⟩=0, while if j∈S the two terms reverse roles. Thus {cj,ck†}=δjkI on every basis vector; taking adjoints gives {cj†,ck†}=0.

2.1F2step 1.1algebra

Scaling by 2M gives {QαI,(QβJ)†}=2MδIJδαβI and all same-chirality anticommutators zero. These are exactly the rest-frame relations in [F2] with ZIJ=0 and P0=−M.

3.1F1step 2.1algebra

Since Z=0, its operator norm is ∥Z∥op=0<M. By [F1], the N=2 mass/central-charge equality condition is M=∣z∣=∥Z∥op, 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.

4.1A1givenstep 3.1∎

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.

Depends on

Dependency tree · 2 levels

Sources