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.
Gap closings and Chern regions in the two-band lattice model
Example
Assume Axiom of Choice and Countable Choice. For , consider the two-orbital finite-range Bloch Hamiltonian
on the oriented torus . Its spectral gap closes exactly when . For each fixed outside this set, the lower and upper band Chern numbers in the convention are
| Parameter range | |||
|---|---|---|---|
Each Chern number is constant on its parameter interval. At the three closing values a separated band projector, and therefore its Chern number, is not defined.
Example references
Facts & Assumptions
Given: Axiom of Choice, Countable Choice, the real parameter , the stated Bloch Hamiltonian, the torus orientation, and the Chern convention in the example.
Axiom of Choice and Countable Choice are the principles in The Axiom of Choice and The Axiom of Countable Choice ().
Two-band Chern number and degree formula gives and for when is nowhere zero.
Regular-value formula for degree computes the degree of a smooth map between closed oriented surfaces by the signed number of preimages of any regular value.
Verification
Given: [A1], [F1], [F2], the Bloch matrix, and the standard orientations on the torus and sphere.
Write . The band energies are , so the gap is and closes exactly if all three components vanish. The first two vanish only when each is or modulo ; the third component at is respectively . Thus a zero exists exactly at . For every other fixed , compactness of the torus and continuity give , so the two bands have a uniform gap. The sine and cosine terms are finite Fourier sums with nearest-neighbor support, hence this is a finite-range Hermitian Bloch matrix.
Fix outside the closing set and let . The preimages of under are exactly the four candidate points above for which the third component is positive. Near such a point, use the oriented coordinates at . The derivative matrix is diagonal with entries and , where ; its determinant is nonzero. Therefore is a regular value, and the local orientation signs at , whenever present, are respectively . By [F2], degree is the sum of the signs for those points with .
If , no candidate has and the sum is . If , only contributes, giving . If , contribute . If , all four contribute . Substitution into [F1] gives every table entry. For any two values in one of the four intervals, the closed segment between them remains in that interval; the joint function is positive on the compact torus times that segment, so it has a positive minimum and supplies a gap-preserving deformation.