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.
Hermiticity and CAR of the ordered Ising Majoranas
Statement
For every integer and real , let , , and be the matrices defined for the open transverse Ising chain. Then each is Hermitian and
Statement references
Facts & Assumptions
Given: The finite tensor-product space and ordered operators of Open transverse Ising chain and ordered Majorana operators.
Open transverse Ising chain and ordered Majorana operators: and , with the empty string equal to the identity.
Pauli matrices and the two-qubit exchange operator: the matrices are explicitly displayed; conjugate-transpose gives , , , and direct multiplication of those displayed matrices gives the pairwise relations used below.
Proof
The string is Hermitian, has square , and commutes with and because it acts on different tensor factors. Hence and are Hermitian, and each squares to .
On one site, and . Their sum is zero, so the two distinct operators at the same site anticommute.
Let and choose either or at site and either or at site . The string in the later operator contains exactly one ; all other factors commute across distinct sites, while both and anticommute with by [F2]. Moving the earlier site matrix past the later string therefore contributes exactly one minus sign. Thus every pair of operators at distinct sites anticommutes. Together with the squares from step 1.1 and the same-site computation in step 2.1, this gives the stated CAR for all indices.