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.
F4 Finite Vertex Coupling And Net Index
Pure mathematical finite-dimensional examples conditional on the operator lemma; no physical membrane states or vacua are asserted.
Statement
Let be any closed densely defined Fredholm branch operator as in F4 Closed Branch Vertex Supercharge Index. If and , , then for the vertex pair has no even or odd zero state, while for it has one even and one odd zero state. In both cases . If instead , , and , then and an odd cokernel state remains. These are mathematical examples, not membrane vacua.
Facts & Assumptions
Given: A closed densely defined Fredholm operator and the finite vertex spaces and maps specified in the Statement.
For the operator with finite-dimensional and graph-bounded , the closed-branch vertex lemma states (F4 Closed Branch Vertex Supercharge Index).
Proof
Given: The hypotheses and maps in the Statement.
When and , the operator is the direct sum . If , scalar multiplication by is bijective, so the vertex kernel and cokernel both vanish. If , its kernel and cokernel are each . The two zero spaces of the odd operator therefore contain respectively one even and one odd vertex state in the zero case, and none in the nonzero case. Formula [F1] gives in both cases.
If , , and , then . Its kernel is , its range is , and its cokernel is . The range is closed because is closed. Thus its index is , also as [F1] gives. The additional odd cokernel copy of is present regardless of any physical interpretation.