Alphabeta Math
ExampleConstruction: AI-adaptedVerification: AI-generatedPipeline-generatedprecheck pendingjudge 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.

Two-mode fermionic oscillator for the N=1 rest algebra

Example

Let M>0 and let H=Λ∗C2 have orthonormal occupation basis ∣n1,n2⟩ for n1,n2∈{0,1}. Define fermionic annihilation operators by a1∣n1,n2⟩=n1∣0,n2⟩ and a2∣n1,n2⟩=(−1)n1n2∣n1,0⟩, and let aα∗ be their Hilbert adjoints. Set P0=MI, Pj=0, all central charges to zero, and Qα=2Maα, Qˉα˙=Qα∗ with dotted index corresponding to the same α. Give H the parity (−1)n1+n2. This finite-dimensional rest fiber is a positive representation of the N=1 supercharge anticommutators in the stated mostly-plus convention; it has two even and two odd states. Use natural units ℏ=c=1, so M has mass dimension one and each displayed supercharge has mass dimension one-half. It is only a rest-algebra fiber and asserts no full spacetime representation.

Example references

Martin, §§1 and 3.1.

Gates et al., §§3.2–3.3.

Four-dimensional real extended super-Poincare algebra: Four-dimensional real extended super-Poincare algebra.

Square roots exist: a unique a≥0 with (a)2=a; the positives are {x2:x≠0}: Square roots exist: a unique a≥0 with (a)2=a; the positives are {x2:x≠0}.

Hilbert space: Hilbert space.

Real and complex inner-product spaces and their induced length: Real and complex inner-product spaces and their induced length.

Facts & Assumptions

Given: M>0, the four-dimensional complex Hilbert space with the stated orthonormal basis, its fermionic operators, and the N=1 algebra convention.

[F1]

Four-dimensional real extended super-Poincare algebra: at rest, P0=−M, Pj=0, and {Qα,Qˉβ˙}=−2σαβ˙μPμ with σ0=I2; the N=1 central-charge-free same-chirality anticommutators vanish.

Verification

Given: [F1], [F2], and the four basis vectors in the Example.

1.1givenF2algebra

The occupation formulas give a1∗∣0,0⟩=∣1,0⟩, a1∗∣0,1⟩=∣1,1⟩, a2∗∣0,0⟩=∣0,1⟩, and a2∗∣1,0⟩=−∣1,1⟩, with creation zero when its mode is occupied. Thus a1 removes the first occupied mode without sign and a2 removes the second with the sign (−1)n1. If i=j, applying aiai∗+ai∗ai to a basis vector gives that vector: when mode i is empty only the first term returns it, and when occupied only the second does. If i≠j, the two orders remove and insert distinct modes with opposite signs from the displayed (−1)n1 rule, so they cancel. Therefore {ai,aj∗}=δijI. Two annihilations or two creations also anticommute, since exchanging their order changes the same occupation sign and repeated creation or annihilation is zero.

2.1F1step 1.1algebra

Scaling the CAR by 2M gives {Qα,Qˉβ˙}=2MδαβI. By [F1], the rest right-hand side is −2σαβ˙0P0=2MδαβI. The vanishing same-chirality anticommutators follow from the two-annihilation and two-creation relations in step 1.1, and all central charges were set to zero. Thus every stated rest anticommutator holds.

3.1givenstep 1.1algebra∎

Each annihilation or creation changes n1+n2 by one, so every Qα and Qˉα˙ reverses parity. The four occupation vectors have parities +,−,−,+, giving two states in each sector. The common domain is all of finite-dimensional H, so all products and adjoints used above are defined.

Depends on

Dependency tree · 2 levels

Sources